For each field k, we define an abelian category of rationally decomposed mixed motives with integer coefficients. When k is finite, we show that the category is Tannakian, and we prove formulas relating the behaviour of zeta functions near integers to certain Ext groups.
This is the submitted version, with minor corrections and additions from the first version.
We give a natural construction of unramified over Z framed mixed Tate motives, whose periods are the multiple zeta values. Namely, for each convergent multiple zeta-value we define two boundary divisors A and B in the moduli space M_{0,n+3} of stable curves of genus zero. The corresponding multiple zeta-motive is the n-th cohomology of the pair (M_{0,n+3} -A,B).
We study a family of mixed Tate motives over $\mathbb{Z}$ whose periods are linear forms in the zeta values $ζ(n)$. They naturally include the Beukers-Rhin-Viola integrals for $ζ(2)$ and the Ball-Rivoal linear forms in odd zeta values. We give a general integral formula for the coefficients of the linear forms and a geometric interpretation of the vanishing of the coefficients of a given parity. The main underlying result is a geometric construction of a minimal ind-object in the category of mixed Tate motives over $\mathbb{Z}$ which contains all the non-trivial extensions between simple objec…
Let $k$ be a totally real number field. For every odd $n\geq 3$, we construct a Dedekind zeta motive in the category $\MT(k)$ of mixed Tate motives over $k$. By directly calculating its Hodge realisation, we prove that its period is a rational multiple of $π^{n[k:\Q]}ζ^*_k(1-n)$, where $ζ^*_k(1-n)$ denotes the special value of the Dedekind zeta function of $k$. We deduce that the group $\Ext^1_{\MT(k)} (\Q(0),\Q(n))$ is generated by the cohomology of a quadric relative to hyperplanes. This proves a surjectivity result for certain motivic complexes for $k$ that have been conjectured to calculat…
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…
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.
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…
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…
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 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\}$.
Spencer Bloch and the author formulated a general conjecture (Tamagawa number conjecture) on the relation between values of zeta functions of motives and arithmetic groups associated to motives. We discuss this conjecture, and describe some application of the philosophy of the conjecture to the study of elliptic curves.
We discuss the formalism of Iwasawa theory descent in the setting of the localized K_1-groups of Fukaya and Kato. We then prove interpolation formulas for the `leading terms' of the global Zeta isomorphisms that are associated to certain Tate motives and of the p-adic L-functions that are associated to certain critical motives.
We propose a conjecture on special values of $ L $-functions in a function field context with positive characteristic coefficients. For $ M $ a uniformizable $ t $-motive with everywhere good reduction we conjecture a relation between the value of the Goss $ L $-function $ L(M^\vee, s) $ at $ s = 0 $ and the uniformization of the abelian $ t $-module associated with $ M $. When $ M $ is a power of the Carlitz $ t $-motive the conjecture specializes to a theorem of Anderson and Thakur on Carlitz zeta values. Beyond this case we present numerical evidence.
This paper draws connections between the double shuffle equations and structure of associators; universal mixed elliptic motives as defined by Hain and Matsumoto; and the Rankin-Selberg method for modular forms for $SL_2(\mathbb{Z})$. We write down explicit formulae for zeta elements $σ_{2n-1}$ (generators of the Tannaka Lie algebra of the category of mixed Tate motives over $\mathbb{Z}$) in depths up to four, give applications to the Broadhurst-Kreimer conjecture, and completely solve the double shuffle equations for multiple zeta values in depths two and three.
The algebra of big zeta values we introduce in this paper is an intermediate object between multiple zeta values and periods of the multiple zeta motive. It consists of number series generalizing multiple zeta values, the simplest examples, which are not multiple zeta series, are Tornheim sums. We show that convergent big zeta values are periods of the moduli space of stable curves of genus zero on one hand and multiple zeta values on the other hand. It gives an alternative way to prove that any such period may be expressed as a rational linear combination of multiple zeta values and a simple …
This survey article is the written version of two talks given at the Journées X-UPS 2019 "Périodes et transcendance" at École polytechnique. We give a gentle introduction to the study of multiple zeta values, from Euler's solution to the Basel problem to modern Galois theoretic tools. We emphasize the role of the theory of motives which conjecturally controls the structure of the algebra of multiple zeta values.
In this paper, we give a natural construction of mixed Tate motives whose periods are a class of iterated integrals which include the multiple polylogarithm functions. Given such an iterated integral, we construct two divisors $A$ and $B$ in the moduli spaces $\mathcal{\bar{M}}_{0,n}$ of $n$-pointed stable curves of genus 0, and prove that the cohomology of the pair $(\mathcal{\bar{M}}_{0,n}-A,B-B\cap A)$ is a framed mixed Tate motive whose period is that integral. It generalizes the results of A. Goncharov and Yu. Manin for multiple zeta values. Then we apply our construction to the dilogarit…
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 calculate the Beilinson regulators of motives associated to Fermat curves and express them by special values of generalized hypergeometric functions. As a result, we obtain surjectivity results of the regulator, which support the Beilinson conjecture on special values of L-functions.
The integral $t$-motivic cohomology and the class module of a (rigid analytically trivial) Anderson $t$-motive were introduced by the first author in [Gaz22b]. This paper is devoted to their determination in the particular case of tensor powers of the Carlitz $t$-motive, namely, the function field counterpart $\underline{A}(n)$ of Tate twists $\mathbb{Z}(n)$. We find out that these modules are in relation with fundamental objects of function field arithmetic: integral $t$-motivic cohomology governs linear relations among Carlitz polylogarithms, its torsion is expressed in terms of the denomina…
We study the multiplicities of pure motives modulo numerical equivalence, which are defined as scalars comparing the tannakian trace with the ring-theoretic trace. Our general set-up is that of a rigid semi-simple tensor category such that End(1) is a field of characteristic 0. The main result is that, due to the existence of a Weil cohomology theory (to be defined appropriately in the general set-up), the multiplicities are integers. This property is sufficient for the rationality (and functional equation) of the zeta function of an (invertible) endomorphism. We also show that the classical e…
The purpose of this paper is to give a formula for the leading coefficient at $s=1$ of the $L$-function of one-motives over function fields in terms of Weil-étale cohomology, generalizing the Weil-étale version of the Birch and Swinnerton-Dyer conjecture in the authors' previous work. As a consequence we express the Tamagawa number of a torus introduced by Ono-Oesterlé in terms of Weil-étale cohomology, and reprove their Tamagawa number formula.
The article is dedicated to the memory of George Voronoi. It is concerned with ($p$-adic) $L$-functions (in partially ($p$-adic) zeta functions) and cyclotomic ($p$-adic) (multiple) zeta values. The beginning of the article contains a short summary of the results on the Bernoulli numbers associated with the studies of George Voronoi. Results on multiple zeta values have presented by D. Zagier, by P. Deligne and A.Goncharov, by A. Goncharov, by F. Brown, by C. Glanois and others. S. Ünver have investigated p-adic multiple zeta values in the depth two. Tannakian interpretation of p-adic multiple…
This paper intends to give a mathematical explanation for results on the zeta-function of some families of varieties recently obtained in the context of Mirror Symmetry. In doing so, we obtain concrete and explicit examples for some results recently used in algorithms to count points on smooth hypersurfaces in P^n. In particular, we extend the monomial-motive correspondence of Kadir and Yui and we give explicit solutions to the p-adic Picard-Fuchs equation associated with monomial deformations of Fermat hypersurfaces. As a by-product we obtain Poincare Duality for the Rigid cohomology of certa…
We describe an explicit `higher rank' Iwasawa theory for zeta elements associated to the multiplicative group over abelian extensions of general number fields. We then show that this theory leads to a concrete new strategy for proving special cases of the equivariant Tamagawa number conjecture. As a first application of this approach, we use it to prove new cases of the conjecture for Tate motives over natural families of abelian CM extensions of totally real fields for which the relevant $p$-adic $L$-functions possess trivial zeroes.
We recognize certain special hypergeometric motives, related to and inspired by the discoveries of Ramanujan more than a century ago, as arising from Asai $L$-functions of Hilbert modular forms.
We conjecture that special elements associated with rank-one motives are obtained $p$-adically from Rubin-Stark elements by means of a precise `higher-rank Soulé twist' construction. We show this conjecture incorporates a variety of known results and existing predictions and also gives rise to a concrete strategy for proving the equivariant Tamagawa Number Conjecture for rank-one motives. We then use this approach to obtain new evidence in support of the equivariant Tamagawa Number Conjecture in the setting of CM abelian varieties.
We study the hypergeometric functions associated to five one-parameter deformations of Delsarte K3 quartic hypersurfaces in projective space. We compute all of their Picard--Fuchs differential equations; we count points using Gauss sums and rewrite this in terms of finite field hypergeometric sums; then we match up each differential equation to a factor of the zeta function, and we write this in terms of global L-functions. This computation gives a complete, explicit description of the motives for these pencils in terms of hypergeometric motives.
We define a generalisation of the completed Riemann zeta function in several complex variables. It satisfies a functional equation, shuffle product identities, and has simple poles along finitely many hyperplanes, with a recursive structure on its residues. The special case of two variables can be written as a partial Mellin transform of a real analytic Eisenstein series, which enables us to relate its values at pairs of positive even points to periods of (simple extensions of symmetric powers of the cohomology of) the CM elliptic curve corresponding to the Gaussian integers. In general, the t…
The special uniformity of zeta functions claims that pure non-abelian zeta functions coincide with group zeta functions associated to the special linear groups. Naturally associated are three aspects, namely, the analytic, arithmetic, and geometric aspects. In the first paper of this series, we expose intrinsic geometric structures of our zetas by counting semi-stable bundles on curves defined over finite fields in terms of their automorphism groups and global sections. We show that such a counting maybe read from Artin zetas which are abelian in nature. This paper also contains an appendix wr…
We study the asymptotical behaviour of the moduli space of morphisms of given anticanonical degree from a rational curve to a split toric variety, when the degree goes to infinity. We obtain in this case a geometric analogue of Manin's conjecture about rational points of bounded height on varieties defined over a global field. The study is led through a generating series whose coefficients lie in a Grothendieck ring of motives, the motivic height zeta function. In order to establish convergence properties of this function, we use a notion of eulerian motivic product. It relies on a constructio…
This is a sequel to our previous paper (joint with Furusho). It will give a more natural framework for constructing elements in the Hopf algebra of framed mixed Tate motives according to Bloch and Kriz. This framework allows us to extend our previous results to interpret all multiple zeta values (including the divergent ones) and the multiple polylogarithms in one variable as elements of this Hopf algebra. It implies that the pro-unipotent completion of the torsor of paths on projective line minus three points, is a mixed Tate motive in the sense of Bloch-Kriz. Also It allows us to interpret t…
We study Galois descents for categories of mixed Tate motives over $\mathcal{O}_{N}[1/N]$, for $N\in \left\{2, 3, 4, 8\right\}$ or $\mathcal{O}_{N}$ for $N=6$, with $\mathcal{O}_{N}$ the ring of integers of the $N^{\text{th}}$ cyclotomic field, and construct families of motivic iterated integrals with prescribed properties. In particular this gives a basis of honorary multiple zeta values (linear combinations of iterated integrals at roots of unity $μ_{N}$ which are multiple zeta values). It also gives a new proof, via Goncharov's coproduct, of Deligne's results: the category of mixed Tate mot…
We study the depth filtration on multiple zeta values, the motivic Galois group of mixed Tate motives over $\mathbb{Z}$ and the Grothendieck-Teichmüller group, and its relation to modular forms. Using period polynomials for cusp forms for $\mathrm{SL}_2(\mathbb{Z})$, we construct an explicit Lie algebra of solutions to the linearized double shuffle equations, which gives a conjectural description of all identities between multiple zeta values modulo $ζ(2)$ and modulo lower depth. We formulate a single conjecture about the homology of this Lie algebra which implies conjectures due to Broadhurst…
We develop a framework to investigate conjectures on congruences between the algebraic part of special values of $L$-functions of congruent motives. We show that algebraic local Euler factors satisfy precise interpolation properties in $p$-adic families of motives and that algebraic $p$-adic $L$-functions exist in quite large generality for $p$-adic families of automorphic motives. We formulate two conjectures refining (and correcting) the currently existing formulation of the Equivariant Tamagawa Number Conjecture with coefficients in Hecke algebras and pointing out the links between conjectu…
We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective schemes. In particular, if Tate's conjecture holds and rational and numerical equivalence agree up to torsion, then the groups H^i_c(X_ar,Z(n)) are finitely generated, form an integral version of l-adic cohomology with compact support, and admit a formula for the special values of the zeta-function of X.
The p-cohomology of an algebraic variety in characteristic p lies naturally in the category $D_{c}^{b}(R)$ of coherent complexes of graded modules over the Raynaud ring (Ekedahl-Illusie-Raynaud). We study homological algebra in this category. When the base field is finite, our results provide relations between the the absolute cohomology groups of algebraic varieties, log varieties, algebraic stacks, etc. and the special values of their zeta functions. These results provide compelling evidence that $D_{c}^{b}(R)$ is the correct target for p-cohomology in characteristic p.
We study special values of zeta functions of singular varieties over finite fields. We give a new formula of special values by constructing a morphism of homology theories, which we call regulator, from higher Chow group to weight homology. Our regulator is defined by using the notion of weight complex for varieties over a perfect field, which was introduced by Gillet and Soule. The main idea of the proof of our formula of special values is to use weight spectral sequence of homology theories, whose E1 terms are homology groups for smooth projective schemes. Also, to calculate special values, …
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…
Brown showed that the affine ring of the motivic path torsor $π_1^{\text{mot}}(\mathbb{P}^1 \backslash \left\{0,1,\infty\right\}, \vec{1}_0, -\vec{1}_1)$, whose periods are multiple zeta values, generates the Tannakian category $\mathsf{MT}(\mathbb{Z})$ of mixed Tate motives over $\mathbb{Z}$. Brown also introduced multiple modular values, which are periods of the relative completion of the fundamental group of the moduli stack $\mathcal{M}_{1,1}$ of elliptic curves. We prove that all motivic multiple zeta values may be expressed as $\mathbb{Q}[2 πi]$-linear combinations of motivic iterated Ei…
We describe some new general constructions of $p$-adic $L$-functions attached to certain arithmetically defined complex $L$-functions coming from motives over $\bold Q$ with coefficiens in a number field $T$, with $[T:\bold Q]<\infty$. These constructions are equivalent to proving some generalized Kummer congruences for critical special values of these complex $L$-functions.
We show that the l-adic realizations of certain Picard 1-motives associated to a G-Galois cover of smooth, projective curves defined over an algebraically closed field are G-cohomologically trivial, for all primes l. In the process, we generalize a well-known theorem of Nakajima on the Galois module structure of certain spaces of Kahler differentials associated to the top curve of the cover, assuming that the field of definition is of characteristic p. If the cover and the Picard 1-motive are defined over a finite field and if G is abelian, we compute the first Fitting ideal of each l-adic rea…
Let X be a complete, geometrically irreducible, singular, algebraic curve defined over a field of characteristic p big enough. Given a local ring O_{P,X} at a rational singular point P of X, we attached a universal zeta function which is a rational function and admits a functional equation if O_{P,X} is Gorenstein. This universal zeta function specializes to other known zeta functions and Poincare series attached to singular points of algebraic curves. In particular, for the local ring attached to a complex analytic function in two variables, our universal zeta function specializes to the gene…
We construct the p-adic zeta function for a one-dimensional (as a p-adic Lie extension) non-commutative p-extension of a totally real number field such that the finite part of its Galois group is a pgroup with exponent p. We first calculate the Whitehead groups of the Iwasawa algebra and its canonical Ore localisation by using Oliver-Taylor's theory upon integral logarithms. This calculation reduces the existence of the non-commutative p-adic zeta function to certain congruence conditions among abelian p-adic zeta pseudomeasures. Then we finally verify these congruences by using Deligne-Ribet'…
The volume of the unit sphere in every dimension is given a new interpretation as a product of special values of the zeta function of $\mathbb{Z}$, akin to volume formulas of Minkowski and Siegel in the theory of arithmetic groups. A product formula is found for this zeta function that specializes to Catalan numbers. Moreover, certain closed-form expressions for various other zeta values are deduced, in particular leading to an alternative perspective on Euler's values of the Riemann zeta function.