Let k be an algebraically closed field of characteristic p>0. Let W(k) be the ring of Witt vectors with coefficients in k. We prove a motivic conjecture of Milne that relates, in the case of abelian schemes, the étale cohomology with $\dbZ_p$ coefficients to the crystalline cohomology with integral coefficients, in the more general context of p-divisible groups endowed with {\it arbitrary} families of crystalline tensors over a finite, discrete valuation ring extension of W(k). This extends a result of Faltings in [Fa2]. As a main new tool we construct global deformations of p-divisible groups endowed with crystalline tensors over certain regular, formally smooth schemes over W(k) whose special fibers over k have a Zariski dense set of k-valued points.
We prove a conjecture of Milne pertaining to the existence of integral canonical models of Shimura varieties of abelian type in arbitrary unramified mixed characteristic $(0,p)$. As an application we prove for $p=2$ a motivic conjecture of Milne pertaining to integral canonical models of Shimura varieties of Hodge type.
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 initiate a study of path spaces in the nascent context of "motivic dga's", under development in doctoral work by Gabriella Guzman. This enables us to reconstruct the unipotent fundamental group of a pointed scheme from the associated augmented motivic dga, and provides us with a factorization of Kim's relative unipotent section conjecture into several smaller conjectures with a homotopical flavor. Based on a conversation with Joseph Ayoub, we prove that the path spaces of the punctured projective line over a number field are concentrated in degree zero with respect to Levine's t-structure f…
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…
Consider the neutral Tannakian category mixed Tate motives over Z, in this paper we suggest a way to understand the structure of depth-graded motivic Lie subalgebra generated by the depth one part. We will show that from an isomorphism conjecture proposed by K. Tasaka we can deduce the F. Brown matrix conjecture and the non-degenerated conjecture about depth-graded motivic Lie subalgebra generated by the depth one part.
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 study the coherent cohomology of automorphic sheaves corresponding to Siegel modular forms $f$ of low weight on ${\rm GSp}(4)$ Shimura varieties. Inspired by the work of Prasanna--Venkatesh on singular cohomology of locally symmetric spaces, we propose a conjecture that explains all the contributions of a Hecke eigensystem to coherent cohomology in terms of the action of a motivic cohomology group. Under some technical conditions, we prove that our conjecture is equivalent to Beilinson's conjecture for the adjoint $L$-function of $f$. We also prove some unconditional results in special case…
In this paper, we construct some maps related to the motivic Galois action on depth-graded motivic multiple zeta values. And from these maps we give some short exact sequences about depth-graded motivic multiple zeta values in depth two and three. In higher depth we conjecture that there are exact sequences of the same type. And we will show from three conjectures about depth-graded motivic Lie algebra we can nearly deduce the exact sequences conjectures in higher depth. At last we give a new proof of the result that the modulo zeta(2)$ version motivic double zeta values is generated by the to…
We construct a period regulator for motivic cohomology of an algebraic scheme over a subfield of the complex numbers. For the field of algebraic numbers we formulate a period conjecture for motivic cohomology by saying that this period regulator is surjective. Showing that a suitable Betti--de Rham realization of 1-motives is fully faithful we can verify this period conjecture in several cases. The divisibility properties of motivic cohomology imply that our conjecture is a neat generalization of the classical Grothendieck period conjecture for algebraic cycles on smooth and proper schemes. Th…
We give an evaluation for the stuffle-regularised $t^{\ast,V}(\{2\}^a,1,\{2\}^b)$ as a polynomial in single-zeta values, $\log(2)$ and $V$. We then apply this to establish some linear independence results of certain sets of motivic multiple $t$ values. In particular, we prove the elements of Saha's conjectural basis are linearly independent, on the motivic level, and that the (suitably regularised) elements $t^\mathfrak{m}(\{1,2\}^\times)$ form a basis for both the (extended) motivic MtV's and the alternating MZV's.
We prove a mixed characteristic analog of the Beilinson-Lichtenbaum Conjecture for p-adic motivic cohomology. It gives a description, in the stable range, of p-adic motivic cohomology (defined using algebraic cycles) in terms of differential forms. This generalizes a result of Geisser from small Tate twists to all twists and uses as a critical new ingredient the comparison theorem between syntomic complexes and p-adic nearby cycles proved recently in Colmez-Niziol.
We prove the conjectured compatibility of $p$-adic fundamental lines with specializations at motivic points for a wide class of $p$-adic families of $p$-adic Galois representations (for instance, the families which arise from $p$-adic families of automorphic representations of the unit group of a quaternion algebra or of a totally definite unitary groups) and deduce the compatibility of the Equivariant Tamagawa Number Conjectures for them. However, we also show that fundamental lines are not compatible with arbitrary characteristic zero specializations with values in a domain in general. This …
We discuss several conjectures about derived equivalent varieties, defined over fields of arbitrary characteristics, and implications among them. In particular we show that the (conjectural) derived invariance of the Hasse-Weil Zeta functions of smooth projective varieties over finite fields, implies the derived invariance of the Hodge diamond of complex algebraic varieties.
In 1985 Kazuya Kato formulated a fascinating framework of conjectures which generalizes the Hasse principle for the Brauer group of a global field to the so-called cohomological Hasse principle for an arithmetic scheme. In this paper we prove the prime-to-characteristic part of the cohomological Hasse principle. We also explain its implications on finiteness of motivic cohomology and special values of zeta functions.
We propose a relationship between the cohomology of arithmetic groups, and the motivic cohomology of certain (Langlands-)attached motives. The motivic cohomology group in question is that related, by Beilinson's conjecture, to the adjoint $L$-function at $s=1$. We present evidence for the conjecture using the theory of periods of automorphic forms, and using analytic torsion.
We propose an action of a certain motivic cohomology group on the coherent cohomology of Hilbert modular varieties, extending conjectures of Venkatesh, Prasanna, and Harris. The action is described in two ways: on cohomology modulo $p$ and over $\mathbb C$, and we conjecture that they both lift to an action on cohomology with integral coefficients. The conjecture is supported by theoretical evidence based on Stark's conjecture on special values of Artin $L$-functions, and by numerical evidence in base change cases.
We prove the modulo $p$ and modulo $p^2$ cases of Igusa's conjecture on exponential sums. This conjecture predicts specific uniform bounds in the homogeneous polynomial case of exponential sums modulo $p^m$ when $p$ and $m$ vary. We introduce the motivic oscillation index of a polynomial $f$ and prove the stronger, analogue bounds for $m=1,2$ using this index instead of the original bounds. The modulo $p^2$ case of our bounds holds for all polynomials; the modulo $p$ case holds for homogeneous polynomials and under extra conditions also for nonhomogeneous polynomials. We obtain natural lower b…
We define a regulator map from the weight n polylogarithmic motivic complex to the weight n Deligne complex of an algebraic variety X. The regulator map is constructed explicitly via the classical polylogarithms with some funny combinations of Bernoulli numbers as coefficients. This leads to conjectures on special values of L-functions at s=n which reduce to Zagier's conjecture when X is of dimension zero over Q. The cone of this map, shifted by one, should be called the Arakelov motivic complex of X. Its last cohomology group is identified with a group of codimension n Arakelov cycles on X.
We study Weil-etale cohomology, introduced by Lichtenbaum for varieties over finite fields. In the first half of the paper we give an explicit description of the base change from Weil-etale cohomology to etale cohomology. As a consequence, we get a long exact sequence relating Weil-etale cohomology to etale cohomology, show that for finite coefficients the cohomology theories agree, and with rational coefficients a Weil-etale cohomology group is the direct sum of two etale cohomology groups. In the second half of the paper we restrict ourselves to Weil-etale cohomology of the motivic complex. …
We formulate an analogue of the archimedean motivic action conjecture of Prasanna--Venkatesh for irregular cohomological automorphic forms on Shimura varieties, which appear on multiple degrees of coherent cohomology of Shimura varieties. Such multiple appearances are due to many infinity types in a single $L$-packet with equal minimal $K$-types. Accordingly, we formulate the conjecture comparing periods of forms of different automorphic representations. We provide evidences for the conjecture by showing its compatibility with existing conjectures on periods of automorphic forms. The conjectur…
Already in the 1960s Grothendieck understood that one could obtain an almost entirely satisfactory theory of motives over a finite field when one assumes the full Tate conjecture. In this note we prove a similar result for motivic complexes. In particular Beilinson's Q-algebra of "correspondences at the generic point" is then defined for all connected varieties. We compute this for all smooth projective varieties (hence also for varieties birational to such a variety).
We introduce the notion of dR-absolutely special subvarieties in motivic variations of Hodge structure as special subvarieties cut out by (de Rham-)absolute Hodge cycles and conjecture that all special subvarieties are dR-absolutely special. This is implied by Deligne's conjecture that all Hodge cycles are absolute Hodge cycles, but is a much weaker conjecture. We prove our conjecture for subvarieties satisfying a simple monodromy condition introduced by Klingler-Otwinowska-Urbanik. We study applications to typical respectively atypical intersections and $\bar{\mathbb{Q}}$-bialgebraic subvarie…
We introduce the Hadamard topology on the Witt ring of rational functions, giving a simultaneous refinement of the weight and point-counting topologies. Zeta functions of algebraic varieties over finite fields are elements of the rational Witt ring, and the Hadamard topology allows for a conjectural unification of results in arithmetic and motivic statistics: The completion of the Witt ring for the Hadamard topology can be identified with a space of meromorphic functions which we call Hadamard functions, and we make the meta-conjecture that any "natural" sequence of zeta functions which conver…
Let $f$ be a cuspidal eigenform of weight two and level $N$, let $p\nmid N$ be a prime at which $f$ is congruent to an Eisenstein series and let $V_f$ denote the $p$-adic Tate module of $f$. Beilinson constructed a class $κ_f\in H^1(\mathbb Q,V_f(1))$ arising from the cup-product of two Siegel units and proved a striking relationship with the first derivative $L'(f,0)$ at the near central point $s=0$ of the $L$-series of $f$, which led him to formulate his celebrated conjecture. In this note we prove two congruence formulae relating the "motivic part" of $L'(f,0) \,(\mathrm{mod} \, p)$ and $L'…
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…
We construct an intermediate cohmology between motivic cohomology and Weil-etale cohomology. Using this, the Bass conjecture on finite generation of motivic cohomology, and the Beilinson-Tate on the finite generation of Weil-etale cohomology are related.
We show that only finitely many complex genus two curves and four punctured spheres admit rank two local systems of geometric origin, and moreover each carries finitely many. This gives further counterexamples to a conjecture of Esnault and Kerz: counterexamples over very general curves were recently obtained by Landesman and Litt. In the second part we prove an analogue of this result in positive characteristic, namely that over $\overline{\mathbb{F}}_p$, only finitely many genus two curves admit non-trivial rank two local systems pulled back from a fixed quaternionic Shimura variety, and the…
In this paper we use ideas of the non-abelian Iwasawa main conjecture to prove a result about the first Galois cohomology of continuous Galois modules V_p(j) for large Tate-twist j and V_p a Q_p vector space. We show that under a technical hypothesis that H^1(K, V_p(j)) is generated by twists of norm-compatible units in an infinite tower of number fields with elements in V_p(j-1). This confirms a consequence of the non-abelian Iwasawa main conjecture. Using the "Bloch-Kato-conjecture" a similar result is proven for motivic cohomology with finite coefficients.
This paper introduces a new cohomology theory for schemes of finite type over an arithmetic ring. The main motivation for this Arakelov-theoretic version of motivic cohomology is the conjecture on special values of $L$-functions and zeta functions formulated by the second author. Taking advantage of the six functors formalism in motivic stable homotopy theory, we establish a number of formal properties, including pullbacks for arbitrary morphisms, pushforwards for projective morphisms between regular schemes, localization sequences, $h$-descent. We round off the picture with a purity result an…
Let $S$ be a Shimura variety with reflex field $E$. We prove that the action of $\operatorname{Gal}(\overline{\mathbb{Q}}/E)$ on $S$ maps special points to special points and special subvarieties to special subvarieties. Furthermore, the Galois conjugates of a special point all have the same complexity (as defined in the theory of unlikely intersections). These results follow from Milne and Shih's construction of canonical models of Shimura varieties, based on a conjecture of Langlands which was proved by Borovoi and Milne.
We prove a formula expressing the motivic integral (\cite{ls}) of a K3 surface over $\bC((t))$ with semi-stable reduction in terms of the associated limit Hodge structure. Secondly, for every smooth variety over a non-archimedean field we define an analogue of the monodromy pairing, constructed by Grothendieck in the case of Abelian varieties, and prove that our monodromy pairing is a birational invariant of the variety. Finally, we propose a conjectural formula for the motivic integral of maximally degenerated K3 surfaces over an arbitrary non-archimedean field and prove this conjecture for K…
We investigate several interrelated foundational questions pertaining to the study of motivic dga's of Dan-Cohen--Schlank [8] and Iwanari [13]. In particular, we note that morphisms of motivic dga's can reasonably be thought of as a nonabelian analog of motivic cohomology. Just as abelian motivic cohomology is a homotopy group of a spectrum coming from K-theory, the space of morphisms of motivic dga's is a certain limit of such spectra; we give an explicit formula for this limit --- a possible first step towards explicit computations or dimension bounds. We also consider commutative comonoids …
In this article, we collect the recent results concerning the representations of integers as sums of an even number of squares that are inspired by conjectures of Kac and Wakimoto. We start with a sketch of Milne's proof of two of these conjectures. We also show an alternative route to deduce these two conjectures from Milne's determinant formulas for sums of $4s^2$, respectively $4s(s+1)$, triangular numbers. This approach is inspired by Zagier's proof of the Kac--Wakimoto formulas via modular forms. We end the survey with recent conjectures of the first author and Chua.
The Broadhurst-Kreimer (BK) conjecture describes the Hilbert series of a bigraded Lie algebra A related to the multizeta values. Brown proposed a conjectural description of the homology of this Lie algebra (homological conjecture (HC)), and showed it implies the BK conjecture. We show that a part of HC is equivalent to a presentation of A, and that the remaining part of HC is equivalent to a weaker statement. Finally, we prove that granted the first part of HC, the remaining part of HC is equivalent to either of the following equivalent statements: (a) the vanishing of the third homology group…
We study the motivic cohomology of the special fiber of quaternionic Shimura varieties at a prime of good reduction. We exhibit classes in these motivic cohomology groups and use this to give an explicit geometric realization of level raising between Hilbert modular forms. The main ingredient for our construction is a form of Ihara's Lemma for compact quaternionic Shimura surfaces which we prove by generalizing a method of Diamond-Taylor. Along the way we also verify the Hecke orbit conjecture for these quaternionic Shimura varieties which is a key input for our proof of Ihara's Lemma.
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…
In 2006, Fukaya and Kato formulated a general conjecture about $p$-adic $L$-functions for a large class of motives and derived a precise conjectural interpolation formula from the ETNC. We study this conjectural $p$-adic $L$-function in the setting of Hida families and compare it to the $p$-adic $L$-function constructed by Kitagawa. A priori it is not clear whether the interpolation formulas coincide, mainly because of the rather inexplicit definition of periods (via comparison isomorphisms) that appear in the general formula. Using $p$-adic Eichler-Shimura isomorphisms and their interpolation…
Recently S. Laporta published a partial result on the fourth order QED contribution to the electron anomalous magnetic moment $g-2$. This result contains explicit polylogarithmic parts with fourth and sixth roots of unity. In this note we convert Laporta's result into the motivic `$f$ alphabet'. This provides a much shorter expression which makes the Galois structure visible. We conjecture the $Q$ vector spaces of Galois conjugates of the QED $g-2$ up to weight four. The conversion into the $f$ alphabet relies on a conjecture by D. Broadhurst that iterated integrals in certain Lyndon words pro…
