Let $E/\mathbb{Q}$ be a totally real number field that is Galois over $\mathbb{Q}$, and let $π$ be a cuspidal, nondihedral automorphic representation of $\mathrm{GL}_2(\mathbb{A}_E)$ that is in the lowest weight discrete series at every real place of $E$. The representation $π$ cuts out a "motive" $M_\mathrm{et}(π^{\infty})$ from the $\ell$-adic middle degree intersection cohomology of an appropriate Hilbert modular variety. If $\ell$ is sufficiently large in a sense that depends on $π$ we compute the dimension of the space of Tate classes in $M_\mathrm{et}(π^{\infty})$. Moreover if the space of Tate classes on this motive over all finite abelian extensions $k/E$ is at most of rank one as a Hecke module, we prove that the space of Tate classes in $M_\mathrm{et}(π^{\infty})$ is spanned by algebraic cycles.
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 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.
We introduce a tensor decomposition of the $\ell$-adic Tate module of an abelian variety $A_0$ defined over a number field which is geometrically isotypic. If $A_0$ is potentially of $\GL_2$-type and defined over a totally real number field, we use this decomposition to describe its Sato--Tate group and to prove the Sato--Tate conjecture in certain cases.
We show that, for an abelian variety defined over a $p$-adic field $K$ which has potential good reduction, its torsion subgroup with values in the composite field of $K$ and a certain Lubin-Tate extension over a $p$-adic field is finite.
Under certain assumptions, we prove an anticyclotomic analogue of the "weak main conjecture" à la Mazur and Tate for modular forms over a large class of cyclic ring class extensions.
We consider Tate cycles on an Abelian variety $A$ defined over a sufficiently large number field $K$ and having complex multiplication. We show that there is an effective bound $C = C(A,K)$ so that to check whether a given cohomology class is a Tate class on $A$, it suffices to check the action of Frobenius elements at primes $v$ of norm $ \leq C$. We also show that for a set of primes $v$ of $K$ of density 1, the space of Tate cycles on the special fibre $A_v$ of the Néron model of $A$ is isomorphic to the space of Tate cycles on $A$ itself.
Let $F$ be a totally real field in which a fixed prime $p$ is inert, and let $E$ be a CM extension of $F$ in which $p$ splits. We fix two positive integers $r,s \in \mathbb N$. We investigate the Tate conjecture on the special fiber of $G(U(r,s) \times U(s,r))$-Shimura variety. We construct cycles which we conjecture to generate the Tate classes and verify our conjecture in the case of $G(U(1,s) \times U(s,1))$. We also discuss the general conjecture regarding special cycles on the special fibers of unitary Shimura varieties.
We prove a natural analogue of the Sato-Tate conjecture for modular forms of weight 2 or 3 whose associated automorphic representations are a twist of the Steinberg representation at some finite place.
Let $F$ be a totally real field in which a prime number $p>2$ is inert. We continue the study of the (generalized) Goren--Oort strata on quaternionic Shimura varieties over finite extensions of $\mathbb F_p$. We prove that, when the dimension of the quaternionic Shimura variety is even, the Tate conjecture for the special fiber of the quaternionic Shimura variety holds for the cuspidal $π$-isotypical component, as long as the two unramified Satake parameters at $p$ are not differed by a root of unity.
Given an elliptic curve with supersingular reduction at an odd prime p, Iovita and Pollack have generalised results of Kobayashi to define even and odd Coleman maps at p over Lubin-Tate extensions given by a formal group of height 1. We generalise this construction to modular forms of higher weights.
We establish formulae for the Iwasawa invariants of Mazur--Tate elements of cuspidal eigenforms, generalizing known results in weight 2. Our first theorem deals with forms of "medium" weight, and our second deals with forms of small slope . We give examples illustrating the strange behavior which can occur in the high weight, high slope case.
Given an abelian variety J and an abelian subvariety A of J over a number field K, we study the visible elements of the Shafarevich-Tate group of A with respect to J over certain number field extension M of K. The notion of visible elements in Shafarevich-Tate group of an abelian variety was introduced by Mazur. In this article, we study the image of Visible elements of A with respect to J under the natural restriction map of the Galois cohomology of A over K to the Galois cohomology of A over M. In particular, for a fixed odd prime p, we investigate the conditions under which visible elements…
In this text, we develop the theory of vectorial modular forms with values in Tate algebras introduced by the first author, in a very special case (dimension two, for a very particular representation of Γ := GL 2 (Fq[$theta$])). Among several results that we prove here, we determine the complete structure of the modules of these forms, we describe their specializations at roots of unity and their connection with Drinfeld modular forms for congruence subgroups of Γ and we prove that the modules generated by these forms are stable under the actions of Hecke operators.
Tate's theorem (Invent. Math. 1966)implies that the Tate conjecture holds for any abelian variety over a finite field whose Q_l-algebra of Tate classes is generated by those of degree 1. We construct families of abelian varieties over finite fields for which this condition fails, but for which we are nevertheless able to prove the Tate conjecture.
This article proves that Tate classes on Siegel modular 3-folds are spanned by the images of Hilbert modular surfaces at degree 2 and by the images of Shimura curves at degree 4. The proof involves a careful study of the period pairing between degree-4 rapidly decreasing cohomological forms and Hilbert modular surfaces.
In two earlier articles, we proved that, if the Hodge conjecture is true for ALL CM abelian varieties over the complex numbers, then both the Tate conjecture and the standard conjectures are true for abelian varieties over finite fields. Here we rework the proofs so that they apply to a single abelian variety. As a consequence, we prove (unconditionally) that the Tate and standard conjectures are true for many abelian varieties over finite fields, including abelian varieties for which the algebra of Tate classes is not generated by divisor classes.
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.
Let $p$ be a prime. Tate and Voloch proved that a point of finite order in the algebraic torus cannot be $p$-adically too close to a fixed subvariety without lying on it. The current work is motivated by the analogy between torsion points on semi-abelian varieties and special or CM points on Shimura varieties. We prove the analog of Tate and Voloch's result in a power of the modular curve Y(1) on replacing torsion points by points corresponding to a product of elliptic curves with complex multiplication and ordinary reduction. Moreover, we show that the assumption on ordinary reduction is nece…
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 study the asymptotic behaviour of the Bloch-Kato-Shafarevich-Tate group of a modular form f over the cyclotomic Zp-extension of Q under the assumption that f is non-ordinary at p. In particular, we give upper bounds of these groups in terms of Iwasawa invariants of Selmer groups defined using p-adic Hodge Theory. These bounds have the same form as the formulae of Kobayashi, Kurihara and Sprung for supersingular elliptic curves.
Let $K/F$ be a finite Galois extension of number fields with Galois group $G$, let $A$ be an abelian variety defined over $F$, and let ${\cyr W}(A_{^{/ K}})$ and ${\cyr W}(A_{^{/ F}})$ denote, respectively, the Tate-Shafarevich groups of $A$ over $K$ and of $A$ over $F$. Assuming that these groups are finite, we derive, under certain restrictions on $A$ and $K/F$, a formula for the order of the subgroup of ${\cyr W}(A_{^{/ K}})$ of $G$-invariant elements. As a corollary, we obtain a simple formula relating the orders of ${\cyr W}(A_{^{/ K}})$, ${\cyr W}(A_{^{/ F}})$ and ${\cyr W}(A_{^{/ F}}^χ)…
We prove the Sato-Tate conjecture for Hilbert modular forms. More precisely, we prove the natural generalisation of the Sato-Tate conjecture for regular algebraic cuspidal automorphic representations of $\GL_2(\A_F)$, $F$ a totally real field, which are not of CM type. The argument is based on the potential automorphy techniques developed by Taylor et. al., but makes use of automorphy lifting theorems over ramified fields, together with a 'topological' argument with local deformation rings. In particular, we give a new proof of the conjecture for modular forms, which does not make use of poten…
In this mostly expository note, we explain a proof of Tate's two conjectures [Tat65] for algebraic cycles of arbitrary codimension on certain products of elliptic curves and abelian surfaces over number fields.
Let $A$ be an abelian variety over a number field $F$ and let $p$ be a prime. Cohen-Lenstra-Delaunay-style heuristics predict that the Tate-Shafarevich group of $A_s$ should contain an element of order $p$ for a positive proportion of quadratic twists $A_s$ of $A$. We give a general method to prove instances of this conjecture by exploiting independent isogenies of $A$. For each prime $p$, there is a large class of elliptic curves for which our method shows that a positive proportion of quadratic twists have nontrivial $p$-torsion in their Tate-Shafarevich groups. In particular, when the modul…
Along the lines of Hodge and Tate conjectures, Beilinson conjectured that in the qth cohomology all the weight 2q Hodge cycles of a smooth complex variety and all the weight 2q Tate cycles of a smooth variety over a finitely generated field comes from the higher Chow groups. For product of curves and semiabelian varieties, Beilinson-Hodge conjecture was shown in a previous paper by the authors. Here both Beilinson-Hodge and Beilinson-Tate conjectures are shown to be true for varieties dominated by product of curves. We also show that lower weight Hodge cycles (resp. Tate cycles) are algebraic …
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 show that, for sufficiently large integers $m$ and $X$, for almost all $a =1, ..., m$ the ratios $a/x$ and the products $ax$, where $|x|\le X$, are very uniformly distributed in the residue ring modulo $m$. This extends some recent results of Garaev and Karatsuba. We apply this result to show that on average over $r$ and $s$, ranging over relatively short intervals, the distribution of Kloosterman sums $$ K_{r,s}(p) = \sum_{x=1}^{p-1} \exp(2 πi (rn + sn^{-1})/p), $$ for primes $p\le T$ is in accordance with the Sato--Tate conjecture.
We prove a finiteness theorem for the first flat cohomology group of finite flat group schemes over integral normal proper varieties over finite fields. As a consequence, we can prove the invariance of the finiteness of the Tate-Shafarevich group of Abelian schemes over higher dimensional bases under isogenies and alterations over/of such bases for the $p$-part. Along the way, we generalize previous results on the Tate-Shafarevich group in this situation.
We investigate the pair correlation statistics for sequences arising from Hecke eigenvalues with respect to spaces of primitive modular cusp forms. We derive the average pair correlation function of Hecke angles lying in small subintervals of $[0,1]$. The averaging is done over non-CM newforms of weight $k$ with respect to $Γ_0(N).$ We also derive similar statistics for Hilbert modular forms and modular forms on hyperbolic 3-spaces.
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…
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.
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 investigate boundedness results for families of holomorphic symplectic varieties up to birational equivalence. We prove the analogue of Zarhin's trick by for $K3$ surfaces by constructing big line bundles of low degree on certain moduli spaces of stable sheaves, and proving birational versions of Matsusaka's big theorem for holomorphic symplectic varieties. As a consequence of these results, we give a new geometric proof of the Tate conjecture for $K3$ surfaces over finite fields of characteristic at least $5$, and a simple proof of the Tate conjecture for $K3$ surfaces with Picard number a…
We produce an integral model for the modular curve $X(Np^m)$ over the ring of integers of a sufficiently ramified extension of $\mathbf{Z}_p$ whose special fiber is a {\em semistable curve} in the sense that its only singularities are normal crossings. This is done by constructing a semistable covering (in the sense of Coleman) of the supersingular part of $X(Np^m)$, which is a union of copies of a Lubin-Tate curve. In doing so we tie together nonabelian Lubin-Tate theory to the representation-theoretic point of view afforded by Bushnell-Kutzko types. For our analysis it was essential to work …
We study the formal neighbourhood of a point in $μ$-ordinary locus of an integral model of a Hodge type Shimura variety. We show that this formal neighbourhood has a structure of a shifted cascade. Moreover we show that the CM points on the formal neighbourhood are dense and that the identity section of the shifted cascade corresponds to a lift of the abelian variety which has a characterization in terms of its endomorphisms in analogy with the Serre-Tate canonical lift of an ordinary abelian variety.
For $N\geq 3$, we show Tate's conjecture for the elliptic modular surface $E(N)$ of level $N$ over $\mathbb{F}_p$ for a prime $p$ satisfying $p\equiv 1\mod N$ outside of a set of primes of density zero. We also prove a strong form of Tate's conjecture for $E(N)$ over any finite field of characteristic $p$ prime to $N$ under the assumption that the formal Brauer group of $E(N)$ is of finite height.
We construct a $(\mathfrak{gl}_2, B(\mathbb{Q}_p))$ and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at $0$ of a sheaf on $\mathbb{P}^1$, landing in the compactly supported completed $\mathbb{C}_p$-cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest weight vector for any overconvergent modular form of infinitesimal weight not equal to $1$. For classical weight $k\geq 2$, the Verma has an algebraic quotient $H^1(\mathbb{P}^1, \mathcal{O}(-k))$, and on …
Associated to an abelian variety over a number field are several interesting and related groups: the motivic Galois group, the Mumford-Tate group, $\ell$-adic monodromy groups, and the Sato-Tate group. Assuming the Mumford-Tate conjecture, we show that from two well chosen Frobenius polynomials of our abelian variety, we can recover the identity component of these groups (or at least an inner form), up to isomorphism, along with their natural representations. We also obtain a practical probabilistic algorithm to compute these groups by considering more and more Frobenius polynomials; the group…
Under a non-torsion assumption on Heegner points, results of Kolyvagin describe the structure of Shafarevich-Tate groups of elliptic curves. In this paper we prove analogous results for ($p$-primary) Shafarevich-Tate groups associated with higher weight modular forms over imaginary quadratic fields satisfying a "Heegner hypothesis". More precisely, we show that the structure of Shafarevich-Tate groups is controlled by cohomology classes built out of Nekovář's Heegner cycles on Kuga-Sato varieties. As an application of our main theorem, we improve on a result of Besser giving a bound on the ord…
We show that there exist non-trivial families of algebraic varieties for which all the fibers above rational points (or even above points of odd degree) are torsors of abelian varieties representing nonzero elements of their Shafarevich-Tate groups.
Let $K$ be a finite extension of $\mathbb{Q}_{p}$ and let $Γ$ be the Galois group of the cyclotomic extension of $K$. Fontaine's theory gives a classification of $p$-adic representations of $\mathrm{Gal}\left(\overline{K}/K\right)$ in terms of $(φ,Γ)$-modules. A useful aspect of this classification is Berger's dictionary which expresses invariants coming from $p$-adic Hodge theory in terms of these $\left(φ,Γ\right)$-modules. In this paper, we use the theory of locally analytic vectors to generalize this dictionary to the setting where $Γ$ is the Galois group of a Lubin-Tate extension of $K$. …
The theory of endoscopy predicts the existence of large families of Tate classes on certain products of Shimura varieties, and it is natural to ask in what cases one can construct algebraic cycles giving rise to these Tate classes. This paper takes up the case of Tate classes arising from the Yoshida lift: these are Tate cycles in middle degree on the Shimura variety for the group $\operatorname{Res}_{F/\mathbb Q} (\operatorname{GL}_2 \times \operatorname{GSp}_4)$, where $F$ is a totally real field. A special case is the family of Tate classes which reflect the appearance of two-dimensional Ga…
