Mumford-Tate Conjecture Research Articles

Algebraic cycles on Gushel-Mukai varieties

We study algebraic cycles on complex Gushel-Mukai (GM) varieties. We prove the generalised Hodge conjecture, the (motivated) Mumford-Tate conjecture, and the generalised Tate conjecture for all GM varieties. We compute all integral Chow groups of GM varieties, except for the only two infinite-dimensional cases (1-cycles on GM fourfolds and 2-cycles on GM sixfolds). We prove that if two GM varieties are generalised partners or generalised duals, their rational Chow motives in middle degree are isomorphic.

ON THE ESSENTIAL TORSION FINITENESS OF ABELIAN VARIETIES OVER TORSION FIELDS

AbstractThe classical Mordell–Weil theorem implies that an abelian variety A over a number field K has only finitely many K-rational torsion points. This finitude of torsion still holds even over the cyclotomic extension $K^{\mathrm {cyc}}=K{\mathbb Q}^{\mathrm {ab}}$ by a result of Ribet. In this article, we consider the finiteness of torsion points of an abelian variety A over the infinite algebraic extension $K_B$ obtained by adjoining the coordinates of all torsion points of an abelian variety B. Assuming the Mumford–Tate conjecture, and up to a finite extension of the base field K, we give a necessary and sufficient condition for the finiteness of $A(K_B)_{\mathrm tors}$ in terms of Mumford–Tate groups. We give a complete answer when both abelian varieties have dimension at most 3, or when both have complex multiplication.

Determining monodromy groups of abelian varieties

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 groups are connected and reductive and thus can be expressed in terms of root datum. These groups are conjecturally linked with algebraic cycles and in particular we obtain a probabilistic algorithm to compute the dimension of the Hodge classes of our abelian variety for any fixed degree.

Galois representations on the cohomology of hyper-K\xe4hler varieties

We show that the André motive of a hyper-Kähler variety X over a field K subset {mathbb {C}} with b_2(X)>6 is governed by its component in degree 2. More precisely, we prove that if X_1 and X_2 are deformation equivalent hyper-Kähler varieties with b_2(X_i)>6 and if there exists a Hodge isometry f:H^2(X_1,{mathbb {Q}})rightarrow H^2(X_2,{mathbb {Q}}), then the André motives of X_1 and X_2 are isomorphic after a finite extension of K, up to an additional technical assumption in presence of non-trivial odd cohomology. As a consequence, the Galois representations on the étale cohomology of X_1 and X_2 are isomorphic as well. We prove a similar result for varieties over a finite field which can be lifted to hyper-Kähler varieties for which the Mumford–Tate conjecture is true.

The Mumford-Tate conjecture implies the algebraic Sato-Tate conjecture of Banaszak and Kedlaya

The algebraic Sato-Tate conjecture was initially introduced by Serre and then discussed by Banaszak and Kedlaya. This note shows that the Mumford-Tate conjecture for an abelian variety A implies the algebraic Sato-Tate conjecture for A. The relevance of this result lies mainly in the fact that the list of known cases of the Mumford-Tate conjecture was up to now a lot longer than the list of known cases of the algebraic Sato-Tate conjecture.

Anderson 𝑡-modules with thin 𝑡-adic Galois representations

Pink has given a qualitative answer to the Mumford-Tate conjecture for Drinfeld modules in the 90s. He showed that the image of the p \mathfrak {p} -adic Galois representation is p \mathfrak {p} -adically open in the motivic Galois group for any prime p \mathfrak {p} . In contrast to this result, we provide a family of uniformizable Anderson t t -modules for which the Galois representations of their t t -adic Tate-modules are “far from” having t t -adically open image in their motivic Galois groups. Nevertheless, the image is still Zariski-dense in the motivic Galois group which is in accordance to the Mumford-Tate conjecture. For the proof, we explicitly determine the motivic Galois group as well as the Galois representation for these t t -modules.

Deformation Principle and André motives of Projective Hyperkähler Manifolds

Abstract Let $X_1$ and $X_2$ be deformation equivalent projective hyperkähler manifolds. We prove that the André motive of $X_1$ is abelian if and only if the André motive of $X_2$ is abelian. Applying this to manifolds of $\mbox {K3}^{[n]}$, generalized Kummer and OG6 deformation types, we deduce that their André motives are abelian. As a consequence, we prove that all Hodge classes in arbitrary degree on such manifolds are absolute. We discuss applications to the Mumford–Tate conjecture, showing in particular that it holds for even degree cohomology of such manifolds.

Identifying central endomorphisms of an abelian variety via Frobenius endomorphisms

Assuming the Mumford–Tate conjecture, we show that the center of the endomorphism ring of an abelian variety defined over a number field can be recovered from an appropriate intersection of the fields obtained from its Frobenius endomorphisms. We then apply this result to exhibit a practical algorithm to compute this center.

On the Mumford–Tate conjecture for hyperkähler varieties

We study the Mumford–Tate conjecture for hyperkähler varieties. We show that the full conjecture holds for all varieties deformation equivalent to either an Hilbert scheme of points on a K3 surface or to O’Grady’s ten dimensional example, and all of their self-products. For an arbitrary hyperkähler variety whose second Betti number is not 3, we prove the Mumford–Tate conjecture in every codimension under the assumption that the Künneth components in even degree of its André motive are abelian. Our results extend a theorem of André.

On the motive of O’Grady’s ten-dimensional hyper-Kähler varieties

We investigate how the motive of hyper-Kähler varieties is controlled by weight-2 (or surface-like) motives via tensor operations. In the first part, we study the Voevodsky motive of singular moduli spaces of semistable sheaves on K3 and abelian surfaces as well as the Chow motive of their crepant resolutions, when they exist. We show that these motives are in the tensor subcategory generated by the motive of the surface, provided that a crepant resolution exists. This extends a recent result of Bülles to the O’Grady-10 situation. In the non-commutative setting, similar results are proved for the Chow motive of moduli spaces of (semi-)stable objects of the K3 category of a cubic fourfold. As a consequence, we provide abundant examples of hyper-Kähler varieties of O’Grady-10 deformation type satisfying the standard conjectures. In the second part, we study the André motive of projective hyper-Kähler varieties. We attach to any such variety its defect group, an algebraic group which acts on the cohomology and measures the difference between the full motive and its weight-2 part. When the second Betti number is not 3, we show that the defect group is a natural complement of the Mumford–Tate group inside the motivic Galois group, and that it is deformation invariant. We prove the triviality of this group for all known examples of projective hyper-Kähler varieties, so that in each case the full motive is controlled by its weight-2 part. As applications, we show that for any variety motivated by a product of known hyper-Kähler varieties, all Hodge and Tate classes are motivated, the motivated Mumford–Tate conjecture 7.3 holds, and the André motive is abelian. This last point completes a recent work of Soldatenkov and provides a different proof for some of his results.

On the geometric Mumford-Tate conjecture for subvarieties of Shimura varieties

We study the image of ℓ \ell -adic representations attached to subvarieties of Shimura varieties Sh K ⁡ ( G , X ) \operatorname {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 ) (G,X) and the subvariety), such image contains the Z ℓ \mathbb {Z}_\ell -points coming from the simply connected cover of the derived subgroup of G G . This can be regarded as a geometric version of the integral ℓ \ell -adic Mumford-Tate conjecture.

On compatibility of the $\ell $-adic realisations of an abelian motive

In this article we introduce the notion of a quasi-compatible system of Galois representations. The quasi-compatibility condition is a slight relaxation of the classical compatibility condition in the sense of Serre. The main theorem that we prove is the following: Let $M$ be an abelian motive, in the sense of Yves Andre. Then the $\ell$-adic realisations of $M$ form a quasi-compatible system of Galois representations. (In fact, we actually prove something stronger. See theorem 5.1.) As an application, we deduce that the absolute rank of the $\ell$-adic monodromy groups of $M$ does not depend on $\ell$. In particular, the Mumford-Tate conjecture for $M$ does not depend on $\ell$.

Torsion for abelian varieties of type III

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: (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, the Mumford–Tate group is the group of symplectic or orthogonal similitudes which commute with the endomorphism ring; (3) A satisfies the Mumford–Tate Conjecture. This result is unconditional for a product of simple abelian varieties of type I, II or III with specific relative dimensions. Further, building on work of Serre, Pink, Banaszak, Gajda and Krasoń, we also prove the Mumford–Tate Conjecture for a few new cases of abelian varieties of Lefschetz type.

Finiteness theorems for K3 surfaces and abelian varieties of CM type

We study abelian varieties and K3 surfaces with complex multiplication defined over number fields of fixed degree. We show that these varieties fall into finitely many isomorphism classes over an algebraic closure of the field of rational numbers. As an application we confirm finiteness conjectures of Shafarevich and Coleman in the CM case. In addition we prove the uniform boundedness of the Galois invariant subgroup of the geometric Brauer group for forms of a smooth projective variety satisfying the integral Mumford–Tate conjecture. When applied to K3 surfaces, this affirms a conjecture of Várilly-Alvarado in the CM case.

On the Hodge, Tate and Mumford-Tate Conjectures for Fibre Products of Families of Regular Surfaces with Geometric Genus 1

The Hodge, Tate and Mumford-Tate conjectures are proved for the fibre product of two non-isotrivial 1-parameter families of regular surfaces with geometric genus 1 under some conditions on degenerated fibres, the ranks of the N\'eron - Severi groups of generic geometric fibres and representations of Hodge groups in transcendental parts of rational cohomology.Let \(\pi_i:X_i\to C\quad (i = 1, 2)\) be a projective non-isotrivial family (possibly with degeneracies) over a smooth projective curve \(C\). Assume that the discriminant loci \(\Delta_i=\{\delta\in C\,\,\vert\,\, Sing(X_{i\delta})\neq\varnothing\} \quad (i = 1, 2)\) are disjoint, \(h^{2,0}(X_{ks})=1,\quad h^{1,0}(X_{ks}) = 0\) for any smooth fibre \(X_{ks}\), and the following conditions hold:\((i)\) for any point \(\delta \in \Delta_i\) and the Picard-Lefschetz transformation \( \gamma \in GL(H^2 (X_{is}, Q)) \), associated with a smooth part \(\pi'_i: X'_i\to C\setminus\Delta_i\) of the morphism \(\pi_i\) and with a loop around the point \(\delta \in C\), we have \((\log(\gamma))^2\neq0\);\((ii)\) the variety \(X_i \, (i = 1, 2)\), the curve \(C\) and the structure morphisms \(\pi_i:X_i\to C\) are defined over a finitely generated subfield \(k \hookrightarrow C\).If for generic geometric fibres \(X_{1s}\) \, and \, \(X_{2s}\) at least one of the following conditions holds: \((a)\) \(b_2(X_{1s})- rank NS(X_{1s})\) is an odd prime number, \(\quad\,\,\) \(b_2(X_{1s})- rank NS(X_{1s})\neq b_2(X_{2s})- rank NS(X_{2s})\); \((b)\) the ring \(End_{ Hg(X_{1s})} NS_ Q(X_{1s})^\perp\) is an imaginary quadratic field, \(\quad\,\, b_2(X_{1s})- rank NS(X_{1s})\neq 4,\) \(\quad\,\, End_{ Hg(X_{2s})} NS_ Q(X_{2s})^\perp\) is a totally real field or \(\,\, b_2(X_{1s})- rank NS(X_{1s})\,>\, b_2(X_{2s})- rank NS(X_{2s})\) ; \((c)\) \([b_2(X_{1s})- rank NS(X_{1s})\neq 4, \, End_{ Hg(X_{1s})} NS_ Q(X_{1s})^\perp= Q\); \(\quad\,\,\) \(b_2(X_{1s})- rank NS(X_{1s})\neq b_2(X_{2s})- rank NS(X_{2s})\),then for the fibre product \(X_1 \times_C X_2\) the Hodge conjecture is true, for any smooth projective \(k\)-variety \(X_0\) with the condition \(X_1 \times_C X_2\) \(\widetilde{\rightarrow}\) \(X_0 \otimes_k C\) the Tate conjecture on algebraic cycles and the Mumford-Tate conjecture for cohomology of even degree are true.

INTEGRAL AND ADELIC ASPECTS OF THE 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$. We also obtain an (unconditional) adelic open image theorem for K3 surfaces. These results are special cases of a more general statement for the image of a natural adelic representation of the fundamental group of a Shimura variety.

Cycles in the de Rham cohomology of abelian varieties over number fields

In his 1982 paper, Ogus defined a class of cycles in the de Rham cohomology of smooth proper varieties over number fields. This notion is a crystalline analogue of$\ell$-adic Tate cycles. In the case of abelian varieties, this class includes all the Hodge cycles by the work of Deligne, Ogus, and Blasius. Ogus predicted that such cycles coincide with Hodge cycles for abelian varieties. In this paper, we confirm Ogus’ prediction for some families of abelian varieties. These families include geometrically simple abelian varieties of prime dimension that have non-trivial endomorphism ring. The proof uses a crystalline analogue of Faltings’ isogeny theorem due to Bost and the known cases of the Mumford–Tate conjecture.

Families of Motives and the Mumford\u2013Tate Conjecture

We give an overview of some results and techniques related to the Mumford–Tate conjecture for motives over finitely generated fields of characteristic 0. In particular, we explain how working in families can lead to non-trivial results.

On the Tate and Mumford–Tate conjectures in codimension 1 for varieties with h2,0=1

We prove the Tate conjecture for divisor classes and the Mumford-Tate conjecture for the cohomology in degree 2 for varieties with $h^{2,0}=1$ over a finitely generated field of characteristic 0, under a mild assumption on their moduli. As an application of this general result, we prove the Tate and Mumford-Tate conjectures for some classes of algebraic surfaces with $p_g=1$.

Torsion pour les variétés abéliennes de type I et II

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. The result is unconditional for a product of simple abelian varieties of type I or II with odd relative dimension. Extending work of Serre, Pink and Hall, we also prove that the Mumford-Tate conjecture is true for a few new cases for such abelian varieties.