Relying on recent advances in the theory of motives we develope a general formalism for derived categories of motives with Q-coefficients on perfect (ind-)schemes. As an application we give a motivic refinement of Zhu's geometric Satake equivalence for Witt vector affine Grassmannians in this set-up.
This paper studies Artin-Tate motives over number rings. As a subcategory of geometric motives, the triangulated category of Artin-Tate motives DATM(S) is generated by motives of schemes that are finite over the base S. After establishing stability of these subcategories under pullback and pushforward along open and closed immersions, a motivic t-structure is constructed. Exactness properties of these functors familiar from perverse sheaves are shown to hold in this context. The cohomological dimension of mixed Artin-Tate motives is two, and there is an equivalence of the triangulated category…
For a number field, we have a Tannaka category of mixed Tate motives at our disposal. We construct p-adic points of the associated Tannaka group by using p-adic Hodge theory. Extensions of two Tate objects yield functions on the Tannaka group, and we show that evaluation at our p-adic points is essentially given by the inverse of the Bloch-Kato exponential map.
In this paper, we construct an object of the abelian category of mixed Tate motive associated to multiple zeta values. as a consequence, we prove the inequality of the dimension of the vector space generated by multiple zeta values, which is conjectured by Zagier. (Some errors was corrected from the first version. Namely, we changed the definition of the boundary $\bold B^0$.)
Recently, the author defined multiple Dedekind zeta values \cite{MDZF} associated to a number $K$ field and a cone $C$. In this paper we construct explicitly non-trivial examples of mixed Tate motives over the ring of integers in $K$, for a real quadratic number field $K$ and a particular cone C. The period of such a motive is a multiple Dedekind zeta values at $(s_1,s_2)=(1,2)$, associated to the pair $(K;C)$, times a nonzero element of $K$.
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.
We define Euclidean scissor congruence groups for an arbitrary algebraically closed field F and propose their conjectural description. We suggest how they should be related to mixed Tate motives over dual numbers for F.
We construct derived fundamental group schemes for Tate motives over connected smooth schemes over fields. We show that there exists a pro affine derived group scheme over the rationals such that its category of perfect representations models the triangulated category of rational mixed Tate motives. Under a hypothesis which is weaker than an integral version of the Beilinson-Soule vanishing conjecture we show that there is an affine derived group scheme over the integers such that its perfect representations model Tate motives with integral coefficients. The hypothesis is for example fulfilled…
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.
Let k be a number field, and let S be a finite set of k-rational points of P^1. We relate the Deligne-Goncharov contruction of the motivic fundamental group of X:=P^1_k- S to the Tannaka group scheme of the category of mixed Tate motives over X.
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\}$.
We prove a few results concerning the notions of finite dimensionality of mixed Tate motives in the sense of Kimura and O'Sullivan. It is shown that being oddly or evenly finite dimensional is equivalent to vanishing of certain cohomology groups defined by means of Levine weight filtration. We then explain the relation to the Grothendieck group of the triangulated category D of mixed Tate motives. This naturally gives rise to a λ-ring structure on K_0(D).
We first study the weight structure on the triangulated category of Artin-Tate motives over a perfect base field k, building on results of Bondarko's. We then study the t-structure on the triangulated category of Artin-Tate motives, when k is algebraic over the rationals, generalizing a result of Levine's. We finally study the interaction of the weight structure and the t-structure. When k is a number field, this will give a useful criterion identifying the weight structure via realizations.
Using Beilinson's theory of f-categories, we prove that the triangulated category of Tate motives over a field k is equivalent to the bounded derived category of its heart, provided that k is algebraic over the rationals. This answers a question asked by Levine.
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).
This thesis is concerned with the mixed Tate property of reductive algebraic groups $G$, which in particular guarantees a Chow Kunneth property for the classifying space $BG$. Toward this goal, we first refine the construction of the compactly supported motive of a quotient stack. In the first section, we construct the compactly supported motive $M^c(X)$ of an algebraic space $X$ and demonstrate that it satisfies expected properties, following closely Voevodsky's work in the case of schemes. In the second section, we construct a functorial version of Totaro's definition of the compactly suppor…
A natural place to study the Chow ring of the classifying space $BG$, for $G$ a linear algebraic group, is Voevodsky's triangulated category of motives, inside which Morel and Voevodsky, and Totaro have defined motives $M(BG)$ and $M^c(BG)$, respectively. We show that, for any group $G$ of order $p^3$ over a field of characteristic not $p$ which contains a primitive $p^2$-th root of unity, the motive $M(BG)$ is a mixed Tate motive. We also show that, for a finite group $G$ over a field of characteristic zero, $M(BG)$ is a mixed Tate motive if and only $M^c(BG)$ is a mixed Tate motive.
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.
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.
In a number of recent works [6, 7] the authors have introduced and studied a functor $\mathcal{F}_k$ which associates to each loose graph $Γ$ -which is similar to a graph, but where edges with $0$ or $1$ vertex are allowed - a $k$-scheme, such that $\mathcal{F}_k(Γ)$ is largely controlled by the combinatorics of $Γ$. Here, $k$ is a field, and we allow $k$ to be $\mathbb{F}_1$, the field with one element. For each finite prime field $\mathbb{F}_p$, it is noted in [6] that any $\mathcal{F}_k(Γ)$ is polynomial-count, and the polynomial is independent of the choice of the field. In this note, we s…
Let $G$ be a reductive algebraic group over a perfect field $k$ and $\cG$ a $G$-bundle over a scheme $X/k$. The main aim of this article is to study the motive associated with $\cG$, inside the Veovodsky Motivic categories. We consider the case that $\charakt k=0$ (resp. $\charakt k\geq 0$), the motive associated to $X$ is geometrically mixed Tate (resp. geometrically cellular) and $\cG$ is locally trivial for the Zariski (resp. étale) topology on $X$ and show that the motive of $\cG$ is geometrically mixed Tate. Moreover for a general $X$ we construct a nested filtration on the motive associa…
We develop the theory of Milnor-Witt motives and motivic cohomology. Compared to Voevodsky's theory of motives and his motivic cohomology, the first difference appears in our definition of Milnor-Witt finite correspondences, where our cycles come equipped with quadratic forms. This yields a weaker notion of transfers and a derived category of motives that is closer to the stable homotopy theory of schemes. We prove a cancellation theorem when tensoring with the Tate object, we compare the diagonal part of our Milnor-Witt motivic cohomology to Minor-Witt K-theory and we provide spectra represen…
We study Tate motives with integral coefficients through the lens of tensor triangular geometry. For some base fields, including the field of algebraic numbers and the algebraic closure of a finite field, we arrive at a complete description of the tensor triangular spectrum and a classification of thick tensor ideals.
Two different constructions of an invariant of an odd dimensional hyperbolic manifold in the K-group $K_{2n-1}(\bar \Bbb Q)\otimes \Bbb Q$ are given. The volume of the manifold is equal to the value of the Borel regulator on that element. The scissor congruence groups in non euclidian geometries are studied and their relationship with algebraic K-theory of the field of complex numbers is discussed.
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.
The category of effective $Witt$-motives $DWM^-(k)$ with functor $WM\colon Sm_k\to DWM^-(k)$ defining motives of smooth affine varieties for perfect field $k$, $char k\neq 2$ is constructed. In the construction Voevodsky-Suslin method is applyed to a category of $Witt$-correspondence between affine smooth varieties $WCor_k$ that morphisms are defined by class in $Witt$-group of quadratic space $(P,q_P)$ with $P$ being $k[X\times Y]$-module finitely generated projective over $k[X]$ and $q_P\colon P\to Hom_{k[X]}(P,k[X])$ being $k[X\times Y]$-liner isomorphism. And the natural isomorphism $$Hom_…
In a previous work, the author have built two families of distinguished algebraic cycles in Bloch-Kriz cubical cycle complex over the projective line minus three points. The goal of this paper is to show how these cycles induce well-defined elements in the $\HH^0$ of the bar construction of the cycle complex and thus generated comodules over this $\HH^0$, that is a mixed Tate motives as in Bloch and Kriz construction. In addition, it is shown that out of the two families only ones is needed at the bar construction level. As a consequence, the author obtains that one of the family gives a basis…
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.
We consider categories of equivariant mixed Tate motives, where equivariant is understood in the sense of Borel. We give the two usual definitions of equivariant motives, via the simplicial Borel construction and via algebraic approximations of it. The definitions turn out to be equivalent and give rise to a full six-functor formalism. For rational étale motives over a finite field or the homotopical stable algebraic derivator arising from the semisimplified Hodge realization, the equivariant mixed Tate motives provide a graded version of the equivariant derived category. We show that, in suff…
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 …
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…
The goal of this paper is to give an explicit description of the triangulated categories of Tate and Artin-Tate motives with finite coefficients Z/m over a field K containing a primitive m-root of unity as the derived categories of exact categories of filtered modules over the absolute Galois group of K with certain restrictions on the successive quotients. This description is conditional upon (and its validity is equivalent to) certain Koszulity hypotheses about the Milnor K-theory/Galois cohomology of K. This paper also purports to explain what it means for an arbitrary nonnegatively graded …
We define the categories of log motives and log mixed motives. The latter gives a new formulation for the category of mixed motives. We prove that the former is a semisimple abelian category if and only if the numerical equivalence and homological equivalence coincide, and that it is also equivalent to that the latter is a Tannakian category. We discuss various realizations, formulate Tate and Hodge conjectures, and verify them in curve case.
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 study the Milnor-Witt motives which are a finite direct sum of $\mathbb{Z}(q)[p]$ and $\mathbb{Z}/η(q)[p]$. We show that for MW-motives of this type, we could determine an MW-motivic cohomology class in terms of a motivic cohomology class and a Witt cohomology class. We define the motivic Bockstein cohomology and show that it corresponds to subgroup of Witt cohomology, if the MW-motive splits as above. As an application, we give the splitting formula of Milnor-Witt motives of Grassmannian bundles and complete flag bundles. This in particular shows that the integral cohomology of real comple…
The category of effective Grothendieck-Witt-motives $\mathbf{DM}^{GW}_{\mathrm{eff},-}(k)$ (and Witt-motives $\mathbf{DM}^W_{\mathrm{eff},-}(k)$) by Voevodsky-Suslin method starting with some category of GW-correspondences (and Witt-correspondences) over a perfect field $k$, $char\,k\neq 2$, is defined. The functor $M^{GW}_{eff}\colon Sm_k\to \mathbf{DM}^{GW}_{\mathrm{eff},-}(k)$ of Grothendieck-Witt-motives of smooth varieties is computed and it is proved that for any smooth scheme $X$ and homotopy invariant sheave with GW-transfers $F$ $$ Hom_{\mathbf{DM}^{GW}_{\mathrm{eff},-}(k)}(M^{GW}_{ef…
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 apply Wildeshaus's theory of motivic intermediate extensions to the motivic decomposition conjecture, formulated by Deninger-Murre and Corti-Hanamura. We first obtain a general motivic decomposition for the Chow motive of an arbitrary smooth projective family $f:X \rightarrow S$ whose geometric fibers are Tate. Using Voevodsky's motives with rational coefficients, the formula is valid for an arbitrary regular base $S$, without assuming the existence of a base field or even of a prime integer $\ell$ invertible on $S$. This result, and some of Bondarko' ideas, lead us to a generalized formula…
We give an alternative construction of the Betti realization functor on the derived category of motives of complex algebraic varieties via the category of CW complexes instead of the category of complex analytic spaces. In particular we show that the functor we define via the category of CW complexes coincide with Ayoub's one. We deduce from this construction that Ayoub's realization functor on geometric motives factors trough Nori motives and that the image of this functor on the morphisms between the motive of a point and a shift of a Tate twist of the motive with compact support of a comple…
We propose a construction of a tensor exact category F_X^m of Artin-Tate motivic sheaves with finite coefficients Z/m over an algebraic variety X (over a field K of characteristic prime to m) in terms of etale sheaves of Z/m-modules over X. Among the objects of F_X^m, in addition to the Tate motives Z/m(j), there are the cohomological relative motives with compact support M_cc^m(Y/X) of varieties Y quasi-finite over X. Exact functors of inverse image with respect to morphisms of algebraic varieties and direct image with compact supports with respect to quasi-finite morphisms of varieties Y\to …
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é.
In this note, we introduce and study position space Feynman quadrics that are the loci of divergences of the position space Feynman integrals for Euclidean massless scalar quantum field theories. We prove that the Feynman quadrics define objects in the category of mixed Tate motives for complete graphs with a bound on the number of vertices. This result shows a strong contrast with the graph hypersurfaces approach which produces also non-mixed Tate examples.
Over the past fifteen years or so, Minhyong Kim has developed a framework for making effective use of the fundamental group to bound (or even compute) integral points on hyperbolic curves. This is the third installment in a series whose goal is to realize the potential effectivity of Kim's approach in the case of the thrice punctured line. As envisioned in the last installment, we construct an algorithm whose output upon halting is provably the set of integral points, and whose halting would follow from conjectures. Our results go a long way towards achieving our goals over the rationals, whil…