The motivic Galois group of mixed Tate motives over $\mathbb{Z}[1/2]$ and its action on the fundamental group of $\mathbb{P}^{1}\setminus\{0,\pm1,\infty\}$
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 and $2$-adic integrality of the coefficients in the expansion.
For a compact Riemann surface $M$ of genus $g\ge 2$, we study the functional equations of the Selberg zeta functions attached with the Tate motives $f$. We prove that certain functional equations hold if and only if $f$ has the absolute automorphy.
We prove that for a compact locally symmetric Riemannian space $M$ of rank 1 there exist infinitely many automorphic Tate motives $f$ such that the generalized Selberg zeta function $Z_{M(f)}(s)$ satisfies a simple functional equation in the sense that it has no gamma factors.
Let $N$ be a power of $2$ or $3$, and $μ_{N}$ the set of $N$-th roots of unity. We show that the ring of motivic periods of Mixed Tate motives over $\mathbb{Z}[μ_{N},\frac{1}{N}]$ is spanned by the motivic cyclotomic multiple zeta values of level $N$. This implies that the action of the motivic Galois group of mixed Tate motives over $\mathbb{Z}[μ_{N},\frac{1}{N}]$ on the motivic fundamental group of $\mathbb{G}_{m}-μ_{N}$ is faithful. This is a generalization of the known results for $N\in\{1,2,3,4,8\}$ by Deligne and Brown. We also discuss cyclotomic multiple zeta values of weight $2$ of oth…
We define the height of a motive over a number field. We show that if we assume the finiteness of motives of bounded height, Tate conjecture for the $p$-adic Tate module can be proved for motives with good reduction at $p$.
In a previous paper we constructed a new class of Iwasawa modules as $\ell$--adic realizations of what we called abstract $\ell$--adic $1$--motives in the number field setting. We proved in loc. cit. that the new Iwasawa modules satisfy an equivariant main conjecture. In this paper we link the new modules to the $\ell$--adified Tate canonical class, defined by Tate in 1960 and give an explicit construction of (the minus part of) $\ell$--adic Tate sequences for any Galois CM extension $K/k$ of an arbitrary totally real number field $k$. These explicit constructions are significant and useful in…
In this paper we propose different notions of F_zeta-geometry, for zeta a root of unity, generalizing notions of F_1-geometry (geometry over the "field with one element") based on the behavior of the counting functions of points over finite fields, the Grothendieck class, and the notion of torification. We relate F_zeta-geometry to formal roots of Tate motives, and to functions in the Habiro ring, seen as counting functions of certain ind-varieties. We investigate the existence of F_zeta-structures in examples arising from general linear groups, matrix equations over finite fields, and some qu…
We establish a generalized Cassels-Tate dual exact sequence for 1-motives over global fields. We thereby extend the main theorem of [4] from abelian varieties to arbitrary 1-motives.
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.
We prove finiteness results for Tate--Shafarevich groups in degree 2 associated with 1--motives, rely them to Leopoldt's conjecture, and present an example of a semiabelian variety with an infinite Tate--Shafarevich group in degree 2. We also establish an arithmetic duality theorem for 1--motives over number fields which complements earlier results of Harari and Szamuely in this direction.
We develop the theory of multiple polylogarithms from analytic, Hodge and motivic point of view. Define the category of mixed Tate motives over a ring of integers in a number field. Describe explicitly the multiple polylogarithm Hopf algebra.
We prove that the category of mixed Tate motives over $\Z$ is spanned by the motivic fundamental group of $\Pro^1$ minus three points. We prove a conjecture by M. Hoffman which states that every multiple zeta value is a $\Q$-linear combination of $ζ(n_1,..., n_r)$ where $n_i\in \{2,3\}$.
K. Kato has recently defined and studied heights of mixed motives and proposed some interesting questions. In this paper, we relate the study of heights to the study of Tamagawa numbers of motives. We also partially answer one of Kato's questions about the number of mixed motives of bounded heights in the case of mixed Tate motives with two graded quotients. Finally, we provide a concrete computation with the number of mixed Tate motives with three graded quotients.
This paper concerns the Algebraic Sato--Tate and Sato--Tate conjectures, based on Serre's original motivic formulation, with an eye towards explicit computations of Sato--Tate groups. We build on the algebraic framework for the Sato--Tate conjecture introduced in a previous paper, which used Deligne's motivic category for absolute Hodge cycles and was restricted to motives of odd weight. Here, we allow general weight and some other motivic categories, notably André's motivic category of motivated cycles; moreover, some results are also new in the odd weight case. The paper consists of two part…
The Tate conjecture for squares of K3 surfaces over finite fields was recently proved by Ito-Ito-Koshikawa. We give a more geometric proof when the characteristic is at least 5. The main idea is to use twisted derived equivalences between K3 surfaces to link the Tate conjecture to finiteness results over finite fields, in the spirit of Tate.
We establish the group-theoretic classification of Sato-Tate groups of self-dual motives of weight 3 with rational coefficients and Hodge numbers h^{3,0} = h^{2,1} = h^{1,2} = h^{0,3} = 1. We then describe families of motives that realize some of these Sato-Tate groups, and provide numerical evidence supporting equidistribution. One of these families arises in the middle cohomology of certain Calabi-Yau threefolds appearing in the Dwork quintic pencil; for motives in this family, our evidence suggests that the Sato-Tate group is always equal to the full unitary symplectic group USp(4).
We make explicit Serre's generalization of the Sato-Tate conjecture for motives, by expressing the construction in terms of fiber functors from the motivic category of absolute Hodge cycles into a suitable category of Hodge structures of odd weight. This extends the case of abelian varietes, which we treated in a previous paper. That description was used by Fite--Kedlaya--Rotger--Sutherland to classify Sato-Tate groups of abelian surfaces; the present description is used by Fite--Kedlaya--Sutherland to make a similar classification for certain motives of weight 3. We also give conditions under…
We give a new formula for the special value at s=2 of the Hasse-Weil zeta function for smooth projective fourfolds under some assumptions (the Tate and Beilinson conjecture, finiteness of some cohomology groups, etc.). Our formula may be considered as a generalization of the Artin-Tate(-Milne) formula for smooth surfaces, and expresses the special zeta value almost exclusively in terms of inner geometric invariants such as higher Chow groups (motivic cohomology groups). Moreover we compare our formula with Geisser's formula for the same zeta value in terms of Weil-étale motivic cohomology grou…
This paper proposes a conjecture on special values of L-functions of geometric motives over Z. This includes L-functions of mixed motives over Q and Hasse-Weil zeta-functions of schemes over Z. We conjecture the following: the order of L(M, s) at s=0 is given by the negative Euler characteristic of motivic cohomology of $M^\vee(-1)$. Up to a nonzero rational factor, the L-value at s=0 is given by the determinant of the pairing of Arakelov motivic cohomology of M with the motivic homology of M. Under standard assumptions concerning mixed motives over Q, $F_p$, and Z, this conjecture is essentia…
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.
In this article on mathematics and music, we explain how one can "listen to motives" as rhythmic interpreters. In the simplest instance which is the one we shall consider, the motive is simply the $H^1$ of the reduction modulo a prime $p$ of an hyperelliptic curve (defined over $\mathbb Q$). The corresponding { time onsets} are given by the arguments of the complex eigenvalues of the Frobenius. We find a surprising relation between mathematical properties of the motives and the ideas on rhythms developed by the composer Olivier Messiaen.
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.
Let T be a Tannakian category over a field k of characteristic 0 and π(T) its fundamental group. In this paper we prove that there is a bijection between the otimes-equivalence classes of Tannakian subcategories of T and the normal affine group sub-T-schemes of π(T). We apply this result to the Tannakian category T_1(k) generated by motives of niveau \leq 1 defined over k, whose fundamental group is called the motivic Galois group G_mot(T_1(k)) of motives of niveau \leq 1. We find four short exact sequences of affine group sub-T_1(k)-schemes of G_mot(T_1(k)), correlated one to each other by in…
We prove that the symmetric monoidal category of mixed motives generated by an abelian variety (more generally, an abelian scheme) can be described as a certain module category. More precisely, we describe it as the category of quasi-coherent complexes over a derived quotient stack constructed from a motivic algebra of the abelian variety. We then study the structure of the motivic Galois groups of their mixed motives. We prove that the motivic Galois group is decomposed into a unipotent part constructed from the motivic algebra, and the reductive quotient which is the Tannaka dual of Grothend…
Let L/K be a finite Galois extension of number fields with Galois group G. Let p be a rational prime and let r be a non-positive integer. By examining the structure of the p-adic group ring Z_p[G], we prove many new cases of the p-part of the equivariant Tamagawa number conjecture (ETNC) for the pair (h^0(Spec(L)(r),Z[G])). The same methods can also be applied to other conjectures concerning the vanishing of certain elements in relative algebraic K-groups. We then prove a conjecture of Burns concerning the annihilation of class groups as Galois modules for a wide class of interesting extension…
We prove several duality theorems for the Galois and etale cohomology of 1-motives defined over local and global fields and establish a 12-term Poitou-Tate type exact sequence. The results give a common generalisation and sharpening of well-known theorems by Tate on abelian varieties as well as results by Tate/Nakayama and Kottwitz on algebraic tori.
Let $R$ be a complete discrete valuation ring with perfect residue field $k$ of positive characteristic $p$ and field of fractions $K$ of characteristic 0. In this paper we consider a $K$-1-motive $M_K$ as in [Ra] and its associated Barsotti-Tate group. This last does not in general extend to a Barsotti-Tate group over $R$. However, with some assumptions, it extends to a logarithmic Barsotti-Tate group over $R$. This follows from [Ra] and Kato's results on finite logarithmic group schemes. Once chosen a uniformizing parameter $π$ of $R$, any logarithmic Barsotti-Tate group over $R$ is describe…
According to a well-known theorem of Serre and Tate, the infinitesimal deformation theory of an abelian variety in positive characteristic is equivalent to the infinitesimal deformation theory of its Barsotti-Tate group. We extend this result to $1$-motives.
The local Tamagawa number conjecure, first formulated by Fontaine and Perrin-Riou, expresses the compatibility of the (global) Tamagawa number conjecture on motivic $L$-functions with the functional equation. The local conjecture was proven for Tate motives over finite unramified extensions $K/\mathbb{Q}_p$ by Bloch and Kato. We use the theory of $(ϕ, Γ_K)$-modules and a reciprocity law due to Cherbonnier and Colmez to provide a new proof in the case of unramified extensions, and to prove the conjecture for the motive $\mathbb{Q}_p(2)$ over certain tamely ramified extensions.
For a field of characteristic zero, M. Levine has proved that his category of triangulated motives is equivalent to the one constructed by V. Voevodsky. In this paper we show that the strategy of Levine's proof can be applied on every perfect field to the categories of triangulated motives with rational coefficients.
Recently, the author defined multiple Dedekind zeta values [5] associated to a number K field and a cone C. These objects are number theoretic analogues of multiple zeta values. In this paper we prove that every multiple Dedekind zeta value over any number field K is a period of a mixed Tate motive. Moreover, if K is a totally real number field, then we can choose a cone C so that every multiple Dedekind zeta associated to the pair (K;C) is unramified over the ring of algebraic integers in K. In [7], the author proves similar statements in the special case of a real quadratic fields for a part…
We define the category of mixed Tate motives over the ring of S-integers of a number field. We define the motivic fundamental group (made unipotent) of a unirational variety over a number field. We apply this to the study of the motivic fundamental group of the projective line punctured at zero, infinity and all N-th roots of unity.
We define motivic multiple polylogarithms and prove the double shuffle relations for them. We use this to study the motivic fundamental group of the multiplicative group - {N-th roots of unity} and relate it to geometry of modular varieties. In particular we get new information about the actionof the Galois group on the pro-l completion of the above fundamental group. This paper is the second part of "Multiple polylogarithms and mixed Tate motives" math.AG/0103059
This is the second installment in a sequence of articles devoted to "explicit Chabauty-Kim theory" for the thrice punctured line. Its ultimate goal is to construct an algorithmic solution to the unit equation whose halting will be conditional on Goncharov's conjecture about exhaustion of mixed Tate motives by motivic iterated integrals (refined somewhat with respect to ramification), and on Kim's conjecture about the determination of integral points via $p$-adic iterated integrals. In this installment we explain what this means while developing basic tools for the construction of the algorithm…
We show that the level 2 case of the cyclotomic Grothendieck-Teichmüller groups introduced by Enriquez coincides with the motivic Galois group of mixed Tate motives over $\mathbb{Z}[1/2]$.
We construct the t-motivic mixed Carlitz zeta category over $\F_q(t)$ and show that it contains all the (mixed) t-motives with Carlitz-Thakur multi-zeta values as periods constructed by Anderson and Thakur. Our construction is canonical and our category is Tannakian and neutral and every object is equipped with a weight filtration whose graded pieces are Carlitz motives over $\F_q(t)$. For any finite separable extension L/\F_q(t) we show that existence of a similar category over $L$ is a consequence of a version of a conjecture of L. Taelman. Along the way we also prove the existence of the ca…
Building upon our arithmetic duality theorems for 1-motives, we prove that the Manin obstruction related to a finite subquotient $\Be (X)$ of the Brauer group is the only obstruction to the Hasse principle for rational points on torsors under semiabelian varieties over a number field, assuming the finiteness of the Tate-Shaferevich group of the abelian quotient. This theorem answers a question by Skorobogatov in the semiabelian case and is a key ingredient of recent work on the elementary obstruction for homogeneous spaces over number fields. We also establish a Cassels-Tate type dual exact se…
Beginning with the conjecture of Artin and Tate in 1966, there has been a series of successively more general conjectures expressing the special values of the zeta function of an algebraic variety over a finite field in terms of other invariants of the variety. In this article, we present the ultimate such conjecture, and provide evidence for it. In particular, we enhance Voevodsky's Z[1/p]-category of etale motivic complexes with a p-integral structure, and show that, for this category, our conjecture follows from the Tate and Beilinson conjectures. As the conjecture is stated in terms of mot…
In this paper, we construct four different theories of integration, two that are for Voevodsky motives, one for mixed $\ell$-adic sheaves, and a fourth theory of integration for rational mixed Hodge structures. We then show that they circumvent some of the complications of classical motivic integration, leading to new arithmetic and geometric results concerning K-equivalent $k$-varieties. For example, in addition to recovering known results regarding K-equivalent smooth projective complex varieties, we show that K-equivalent smooth projective $\mathbb{F}_q$-varieties have isomorphic rational $…
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.
In the mirror symmetry of Calabi-Yau threefolds, the instanton expansion of the prepotential has a constant term that is a rational multiple of $ζ(3)/(2 πi)^3$, the motivic origin of which has been carefully studied in the author's paper with M. Kim. The Gamma conjecture claims that higher zeta values in fact appear in the theory of Calabi-Yau $n$-folds for $n \geq 4$. Moreover, a natural question is whether they also have a motivic origin. In this paper, we will study the limit mixed Hodge structure (MHS) of the Fermat pencil of Calabi-Yau $n$-folds at the large complex structure limit, which…
