Let K be a number field and A an abelian variety over K. We are interested in the following conjecture of Morita: if the Mumford-Tate group of A does not contain unipotent Q-rational points then A has potentially good reduction at any discrete place of K. The Mumford-Tate group is an object of analytical nature whereas having good reduction is an arithmetical notion, linked to the ramification of Galois representations. This conjecture has been proved by Morita for particular abelian varieties with many endomorphisms (called of PEL type). Noot obtained results for abelian varieties without non trivial endomorphisms (Mumford's example, not of PEL type). We give new results for abelian varieties not of PEL type.
We classify the possible Mumford-Tate groups of polarizable rational Hodge structures. Along the way we deduce a polarized Hodge-theoretic analogue of a conjectural property of motivic Galois groups suggested by Serre.
We prove the Mumford-Tate conjecture for those abelian varieties over number fields, whose simple factors of their adjoint Mumford-Tate groups have over $\dbR$ certain (products of) non-compact factors. In particular, we prove this conjecture for the orthogonal case ($B_n$ and $D_n^{\dbR}$ Shimura types). We construct embeddings of Shimura varieties of (whose adjoints are of prescribed abelian type) into unitary Shimura varieties. We also prove two general theorems involving Frobenius tori of abelian varieties over number fields.
We investigate to what extent an abelian variety over a finite field can be lifted to one in characteristic zero with small Mumford-Tate group. We prove that supersingular abelian surfaces, respectively threefolds, can be lifted to ones isogenous to a square, respectively product, of elliptic curves. On the other hand, we show that supersingular abelian threefolds cannot be lifted to one isogenous to the cube of an elliptic curve over the Witt vectors.
We show that the statement analogous to the Mumford-Tate conjecture for abelian varieties holds for 1-motives on unipotent parts. This is done by comparing the unipotent part of the associated Hodge group and the unipotent part of the image of the absolute Galois group with the unipotent part of the motivic fundamental group. Contains an appendix by P. Deligne. In this version: Minor corrections here and there. The Main result about the image of the Galois representations is now enriched by an adelic statement.
We introduce $\ell$-Galois special subvarieties as an $\ell$-adic analog of the Hodge-theoretic notion of a special subvariety. The Mumford-Tate conjecture predicts that both notions are equivalent. We study some properties of these subvarieties and prove this equivalence for subvarieties satisfying a simple monodromy condition. As applications, we show that the $\ell$-Galois exceptional locus is a countable union of algebraic subvarieties and, if the derived group of the generic Mumford-Tate group of a family is simple, its part of positive period dimension coincides with the Hodge locus of p…
We study the image of $\ell$-adic representations attached to subvarieties of Shimura varieties $Sh_K(G,X)$ that are not contained in a smaller Shimura subvariety and have no isotrivial components. We show that, for $\ell$ large enough (depending on the Shimura datum $(G,X)$ and the subvariety), such image contains the $\mathbb{Z}_\ell$-points coming from the simply connected cover of the derived subgroup of $G$. This can be regarded as a geometric version of the integral $\ell$-adic Mumford-Tate conjecture.
Let $Y$ be an abelian variety over a subfield $k \subset \mathbb{C}$ that is of finite type over $\mathbb{Q}$. We prove that if the Mumford-Tate conjecture for $Y$ is true, then also some refined integral and adelic conjectures due to Serre are true for $Y$. In particular, if a certain Hodge-maximality condition is satisfied, we obtain an adelic open image theorem for the Galois representation on the (full) Tate module of $Y$. Our second main result is an (unconditional) adelic open image theorem for K3 surfaces. The proofs of these results rely on the study of a natural representation of the …
This survey describe Hodge, Tate and Mumford-Tate conjectures for abelian varieties. After some preliminaries on endomorphism ring, polarization and algebraic cycles, we state the three conjectures and provide a list of know results. Finally, we explain some links between these conjectures.
We prove the Mumford--Tate conjecture for those abelian varieties over number fields whose extensions to C have attached adjoint Shimura varieties that are products of simple, adjoint Shimura varieties of certain Shimura types. In particular, we prove the conjecture for the orthogonal case (i.e., for the $B_n$ and $D_n^R$ Shimura types). As a main tool, we construct embeddings of Shimura varieties (whose adjoints are) of prescribed abelian type into unitary Shimura varieties of PEL type. These constructions implicitly classify the adjoints of Shimura varieties of PEL type.
We study monodromy action on abelian varieties satisfying certain bad reduction conditions. These conditions allow us to get some control over the Galois image. As a consequence we verify the Mumford--Tate conjecture for such abelian varieties.
The Mumford-Tate conjecture is first proved for CM abelian varieties by H. Pohlmann [Ann. Math., 1968]. In this note we give another proof of this result and extend it to CM motives.
The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using $p$-adic Hodge theory. We show that an unconditional result lies behind this implication: the {\it observability} of arithmetic monodromy groups of geometric origin (in any characteristic) - which leads to a sharpening of Moonen's result. We also discuss another aspect of the Tate conjecture related to the transcendence of $p$-adic periods.
For an abelian surface A over a number field k, we study the limiting distribution of the normalized Euler factors of the L-function of A. This distribution is expected to correspond to taking characteristic polynomials of a uniform random matrix in some closed subgroup of USp(4); this Sato-Tate group may be obtained from the Galois action on any Tate module of A. We show that the Sato-Tate group is limited to a particular list of 55 groups up to conjugacy. We then classify A according to the Galois module structure on the R-algebra generated by endomorphisms of A_Qbar (the Galois type), and e…
Using Calegari's result on the Fontaine-Mazur conjecture, we study the irreducibility of pure, regular, rank 3 weakly compatible systems of self-dual l-adic representations. As a consequence, we prove that the Tate conjecture holds for a family of elliptic surfaces defined over Q with geometric genus bigger than 1.
We prove a portion of a conjecture of B. Conrad, F. Diamond, and R. Taylor, yielding some new cases of the Fontaine-Mazur conjectures, specifically, the modularity of certain potentially Barsotti-Tate Galois representations. The proof follows the template of Wiles, Taylor-Wiles, and Breuil-Conrad-Diamond-Taylor, and relies on a detailed study of the descent, across tamely ramified extensions, of finite flat group schemes over the integers of a local field. This makes crucial use of the filtered ϕ_1-modules of C. Breuil.
Let $X$ be a non-singular projective variety over a number field $K$, $i$ a non-negative integer, and $V_{\A}$, the etale cohomology of $\bar X$ with coefficients in the ring of finite adeles $\A_f$ over $\Q$. Assuming the Mumford-Tate conjecture, we formulate a conjecture (Conjecture 1.2) describing the largeness of the image of the absolute Galois group $G_K$ in $H(\A_f)$ under the adelic Galois representation $ρ_{\A}: G_K -> \Aut(V_{\A})=\GL_n(\A_f)$, where $H$ is the Hodge group. The motivating example is a celebrated theorem of Serre, which asserts that if $X$ is an elliptic curve without…
We make explicit a construction of Serre giving a definition of an algebraic Sato-Tate group associated to an abelian variety over a number field, which is conjecturally linked to the distribution of normalized L-factors as in the usual Sato-Tate conjecture for elliptic curves. The connected part of the algebraic Sato-Tate group is closely related to the Mumford-Tate group, but the group of components carries additional arithmetic information. We then check that in many cases where the Mumford-Tate group is completely determined by the endomorphisms of the abelian variety, the algebraic Sato-T…
A generalized Tate curve is a universal family of curves with fixed genus and degeneration data which becomes Schottky uniformized Riemann surfaces and Mumford curves by specializing moduli and deformation parameters. By considering each generalized Tate curve as a family of degenerating Riemann surfaces, we give explicit formulas of the period isomorphism between its de Rham and Betti cohomology groups, and of the associated objects: Gauss-Manin connection, variation of Hodge structure and monodromy weight filtration. A remarkable fact is that similar formulas hold also for families of Mumfor…
In this paper, we establish a Poitou-Tate's global duality for totally positive Galois cohomology. We illustrate this result in the case of the twisted module "à la Tate" $\mathbb{Z}_{2}(i)$, $i$ integer.
Let $F$ be a number field. These notes explore Galois-theoretic, automorphic, and motivic analogues and refinements of Tate's basic result that continuous projective representations $Gal(\bar{F}/F) \to PGL_n(C)$ lift to $GL_n(C)$. We take special interest in the interaction of this result with algebraicity (on the automorphic side) and geometricity (in the sense of Fontaine-Mazur). On the motivic side, we study refinements and generalizations of the classical Kuga-Satake construction. Some auxiliary results touch on: possible infinity-types of algebraic automorphic representations; comparison …
We construct infinitely ramified Galois representations $ρ$ such that the $a_l (ρ)$'s have distributions in contrast to the statements of Sato-Tate, Lang-Trotter and others. Using similar methods we deform a residual Galois representation for number fields and obtain an infinitely ramified representation with very large image, generalising a result of Ramakrishna.
We establish the finiteness of the kernel and cokernel of the restriction map III^{i}(F,M) ---> III^{i}(K,M)^{G} for i=1 and 2, where M is a (Deligne) 1-motive over a global field F and K/F is a finite Galois extension of global fields with Galois group G.
This paper is a continuation to \cite{Gazaki2017}. For every integer $n\geq 1$, we consider the generalized Galois symbol $K(k;G_1,G_2)/n\xrightarrow{s_n} H^2(k,G_1[n]\otimes G_2[n])$, where $k$ is a finite extension of $\mathbb{Q}_p$, $G_1,G_2$ are semi-abelian varieties over $k$ and $K(k;G_1,G_2)$ is the Somekawa K-group attached to $G_1, G_2$. Under some mild assumptions, we describe the exact annihilator of the image of $s_n$ under the Tate duality perfect pairing, $H^2(k,G_1[n]\otimes G_2[n])\times H^0(k,Hom(G_1[n]\otimes G_2[n],μ_n))\rightarrow\mathbb{Z}/n$. An important special case is …
In this paper we investigate the image of the $l$-adic representation attached to the Tate module of an abelian variety over a number field with endomorphism algebra of type I or II in the Albert classification. We compute the image explicitly and verify the classical conjectures of Mumford-Tate, Hodge, Lang and Tate, for a large family of abelian varieties of type I and II. In addition, for this family, we prove an analogue of the open image theorem of Serre.
Let $A$ be an abelian variety defined over a number field $K$, the number of torsion points rational over a finite extension $L$ is bounded polynomially in terms of the degree $[L:K]$. When $A$ is isogenous to a product of simple abelian varieties of $\GSp$ type, i.e. whose Mumford-Tate group is "generic" (isomorphic to the group of symplectic similitudes) and which satisfy the Mumford-Tate conjecture, we compute the optimal exponent for this bound in terms of the dimensions of the abelian subvarieties of $A$. The result is unconditional for a product of simple abelian varieties with endomorph…
We complete the picture of local and global arithmetic duality theorems for short complexes of finite Galois modules and tori over $p$-adic function fields. In view of the duality theorems, we deduce a $12$-term Poitou--Tate exact sequence which relates global Galois cohomology groups to restricted topological products of local Galois cohomology groups.
The classification of the local Galois representations using $(φ,Γ)$-modules by Fontaine has been generalized by Kisin and Ren over the Lubin-Tate extensions of local fields using the theory of $(φ_q,Γ_{LT})$-modules. In this paper, we extend the work of (Fontaine) Herr by introducing a complex which allows us to compute cohomology over the Lubin-Tate extensions and compare it with the Galois cohomology groups. We further extend that complex to include certain non-abelian extensions. We then deduce some relations of this cohomology with those arising from $(ψ_q,Γ_{LT})$-modules. We also comput…
We prove that the p-adic local Langlands correspondence for GL_2(Q_p) appears in the etale cohomology of the Lubin-Tate tower at infinity. We use global methods using recent results of Emerton on the local-global compatibility and hence our proof applies to local Galois representations which come via a restriction from global pro-modular Galois representations. We also discuss a folklore conjecture which states that the p-adic local Langlands correspondence appears in the de Rham cohomology of the Lubin-Tate tower (Drinfeld tower). We show that a study of the de Rham cohomology for perfectoid …
Let $k$ be a perfect field of characteristic $p > 2$, and let $K$ be a finite totally ramified extension of $W(k)[\frac{1}{p}]$. We prove that the locus of potentially semi-stable $\mathrm{Gal}(\bar{K}/K)$-representations of a given Hodge-Tate type and Galois type is a closed subspace of the universal deformation ring, generalizing the result of Kisin (2007) where $k$ is assumed to be finite.
Let $A$ be an abelian variety defined over a number field $K$. The number of torsion points that are rational over a finite extension $L$ is bounded polynomially in terms of the degree $[L:K]$ of $L$ over $K$. Under the following three conditions, we compute the optimal exponent for this bound, in terms of the dimension of abelian subvarieties and their endomorphism rings. The three hypothesis are the following: $(1)$ $A$ is geometrically isogenous to a product of simple abelian varieties of type I, II or III, according to the Albert classification; $(2)$ $A$ is of "Lefschetz type", that is, t…
Let K/F be a finite Galois extension of global fields with Galois group G and let M be a 1-motive over F. We discuss the kernel and cokernel of the restriction map Sha^{i}(F,M) --> Sha^{i}(K,M)^{G} for i=1 and 2, independently of any finiteness hypotheses. We show that these groups are finite and obtain, in particular, formulas for the corresponding quotient of group orders.
Explicit descriptions of local integral Galois module generators in certain extensions of $p$-adic fields due to Pickett have recently been used to make progress with open questions on integral Galois module structure in wildly ramified extensions of number fields. In parallel, Pulita has generalised the theory of Dwork's power series to a set of power series with coefficients in Lubin-Tate extensions of $\Q_p$ to establish a structure theorem for rank one solvable p-adic differential equations. In this paper we first generalise Pulita's power series using the theories of formal group exponent…
In this paper, we formulate and prove a derived category version of Poitou-Tate duality on Galois cohomology of compact modules (with a continuous Galois action) over a pro-p ring, where p is a prime.
The Tate conjecture has two parts: an assertion (S) about semisimplicity of Galois representations, and an assertion (T) which says that every Tate class is algebraic. We show that in characteristic 0, (T) implies (S). In characteristic p an analogous result is true under stronger assumptions.
In this paper we introduce confluence relations for motivic Euler sums (also called alternating multiple zeta values) and show that all linear relations among motivic Euler sums are exhausted by the confluence relations. This determines all automorphisms of the de Rham fundamental groupoid of $\mathbb{P}^{1}\setminus\{0,\pm1,\infty\}$ coming from the action of the motivic Galois group of mixed Tate motives over $\mathbb{Z}[1/2]$. Moreover, we also discuss other applications of the confluence relations such as an explicit $\mathbb{Q}$-linear expansion of a given motivic Euler sum by their basis…
Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $A$, $B$ be abelian varieties over $K$ of good reduction. For any integer $m\geq 1$, we consider the Galois symbol $K(K;A,B)/m\rightarrow H^2(K,A[m]\otimes B[m])$, where $K(K;A,B)$ is the Somekawa $K$-group attached to $A,B$. This map is a generalization of the Galois symbol $K_2^M(K)/m\rightarrow H^2(K,μ_m^{\otimes 2})$ of the Bloch-Kato conjecture, where $K_2^M(K)$ is the Milnor $K$-group of $K$. In this paper we give a geometric description of the image of this generalized Galois symbol by looking at the Tate duality pairing $H^{2}(K,A[m]…
Let $L/K$ be a Galois extension of local fields of characteristic $0$ with Galois group $G$. If $\mathcal{F}$ is a formal group over the ring of integers in $K$, one can associate to $\mathcal F$ and each positive integer $n$ a $G$-module $F_L^n$ which as a set is the $n$-th power of the maximal ideal of the ring of integers in $L$. We give explicit necessary and sufficient conditions under which $F_L^n$ is a cohomologically trivial $G$-module. This has applications to elliptic curves over local fields and to ray class groups of number fields.
We collect evidence in support of a conjecture of Griffiths, Green and Kerr on the arithmetic of extension classes of limiting mixed Hodge structures arising from semistable degenerations over a number field. After briefly summarizing how a result of Iritani implies this conjecture for a collection of hypergeometric Calabi-Yau threefold examples studied by Doran and Morgan, the authors investigate a sequence of (non-hypergeometric) examples in dimensions 1 through 6 arising from Katz's theory of the middle convolution. A crucial role is played by the Mumford-Tate group (of type G2) of the fami…
In this mostly expository note we explain how Nori's theory of motives achieves the aim of establishing a Galois theory of periods, at least under the period conjecture. We explain and compare different notions periods, different versions of the period conjecture and view the evidence by explaining the examples of Artin motive, mixed Tate motives and 1-motives.
This note provides an insight to the diophantine properties of abelian surfaces with quaternionic multiplication over number fields. We study the fields of definition of the endomorphisms on these abelian varieties and the images of the Galois representations on their Tate modules. We illustrate our results with several explicit examples.
We study the interpolation of Hodge-Tate and de Rham periods over rigid analytic families of Galois representations. Given a Galois representation on a coherent locally free sheaf over a reduced rigid space and a bounded range of weights, we obtain a stratification of this space by locally closed subvarieties where the Hodge-Tate and bounded de Rham periods (within this range) as well as 1-cocycles form locally free sheaves. We also prove strong vanishing results for higher cohomology. Together, these results give a simultaneous generalization of results of Sen, Kisin, and Berger-Colmez. The m…
We construct a family of affinoids in the Lubin-Tate perfectoid space and their formal models such that the middle cohomology of their reductions realizes the local Langlands correspondence and the local Jacquet-Langlands correspondence for the simple supercuspidal representations. The reductions of the formal models are isomorphic to the perfections of some Artin-Schreier varieties, whose cohomology realizes primitive Galois representations. We show also the Tate conjecture for Artin-Schreier varieties associated to quadratic forms.
Let A be an abelian variety defined over a number field K, the number of torsion points rational over a finite extension L is bounded polynomially in terms of the degree [L : K]. When A is isogenous to a product of simple abelian varieties of type I or II in Albert classification and is "fully of Lefschetz type", i.e. whose Mumford-Tate group is the group of symplectic similitudes commuting with endomorphisms and which satisfy the Mumford-Tate conjecture, we compute the optimal exponent for this bound in terms of the dimensions of the abelian subvarieties of A and their rings of endomorphisms.…
In this expository article we explore the relationship between Galois representations, motivic L-functions, Mumford-Tate groups, and Sato-Tate groups, and we give an explicit formulation of the Sato-Tate conjecture for abelian varieties as an equidistribution statement relative to the Sato-Tate group. We then discuss the classification of Sato-Tate groups of abelian varieties of dimension g <= 3 and compute some of the corresponding trace distributions. This article is based on a series of lectures presented at the 2016 Arizona Winter School held at the Southwest Center for Arithmetic Geometry…
We construct a family of affinoids in the Lubin-Tate perfectoid space and their formal models such that the middle cohomology of the reductions of the formal models realizes the local Langlands correspondence and the local Jacquet-Langlands correspondence for simple supercuspidal representations in the case where the dimension of Galois representations is prime to the residue characteristic. The reductions of the formal models are isomorphic to the perfections of Artin-Schreier varieties associated to quadratic forms.
Let F be an unramified extension of Qp. The first aim of this work is to develop a purely local method to compute the potentially Barsotti-Tate deformations rings with tame Galois type of irreducible two-dimensional representations of the absolute Galois group of F. We then apply our method in the particular case where F has degree 2 over Q_p and determine this way almost all these deformations rings. In this particular case, we observe a close relationship between the structure of these deformations rings and the geometry of the associated Kisin variety. As a corollary and still assuming that…
Let K be a number field and {V_l} be a rational strictly compatible system of semisimple Galois representations of K arising from geometry. Let G_l and V_l^ab be respectively the algebraic monodromy group and the maximal abelian subrepresentation of V_l for all l. We prove that the system {V_l^ab} is also a rational strictly compatible system under some group theoretic conditions, e.g., when G_l' is connected and satisfies Hypothesis A for some prime l'. As an application, we prove that the Tate conjecture for abelian variety X/K is independent of l if the algebraic monodromy groups of the Gal…
