On Tate Milnor-Witt Motives

Jean Fasel,Nanjun Yang

2023-12-07

Abstract:Over Euclidean fields, we prove that extensions and direct summands of MW-motives $\mathbb{Z}(i)[2i]$ are direct sums of $\mathbb{Z}(i)[2i]$, $\mathbb{Z}/2^r\eta(i)[2i]$ and $\mathbb{Z}/\textbf{l}[i]$, where $l$ is odd and $\textbf{l}=\sum_{i=0}^{l-1}\epsilon^i$.

Algebraic Geometry,K-Theory and Homology

What problem does this paper attempt to address?

Mixed Tate motives and cyclotomic multiple zeta values of level $2^n$ or $3^n$

Minoru Hirose

2024-08-29

Abstract:Let $N$ be a power of $2$ or $3$, and $\mu_{N}$ the set of $N$-th roots of unity. We show that the ring of motivic periods of Mixed Tate motives over $\mathbb{Z}[\mu_{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}[\mu_{N},\frac{1}{N}]$ on the motivic fundamental group of $\mathbb{G}_{m}-\mu_{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 other levels.

Number Theory
Motivic Gauss and Jacobi sums

Noriyuki Otsubo,Takao Yamazaki

2024-04-09

Abstract:We study the Gauss and Jacobi sums from a viewpoint of motives. We exhibit isomorphisms between Chow motives arising from the Artin-Schreier curve and the Fermat varieties over a finite field, that can be regarded as (and yield a new proof of) classically known relations among Gauss and Jacobi sums such as Davenport-Hasse's multiplication formula. As a key step, we define motivic analogues of the Gauss and Jacobi sums as algebraic correspondences, and show that they represent the Frobenius endomorphisms of such motives. This generalizes Coleman's result for curves. These results are applied to investigate the group of invertible Chow motives with coefficients in a cyclotomic field.

Number Theory,Algebraic Geometry,K-Theory and Homology
Milnor-Witt motivic cohomology and linear algebraic groups

Keyao Peng

2024-10-21

Abstract:This article presents two key computations in MW-motivic cohomology. Firstly, we compute the MW-motivic cohomology of the symplectic groups $Sp_{2n}$ for any $n\in\mathbb{N}$ using the $Sp$-orientation and the associated Borel classes. Secondly, following the classical computations and using the analogue in $\mathbb{A}^1$-homotopy of the Leray spectral sequence, we compute the $\eta$-inverted MW-motivic cohomology of general Stiefel varieties, obtaining in particular the computation of the $\eta$-inverted MW-motivic cohomology of the general linear groups $GL_n$ and the special linear groups $SL_n$ for any $n\in\mathbb{N}$. Finally, we determine the multiplicative structures of these total cohomology groups.

Algebraic Geometry
Generalized Motives through Witt Vectors

Xin Tong

2024-07-02

Abstract:We generalize condensed motives, through Witt vectors and the associated moduli stacks of generalized line bundles.

Algebraic Geometry,Number Theory
Higher Tate traces of Chow motives

Charles De Clercq,Anne Quéguiner-Mathieu

2024-07-01

Abstract:We establish the complete classification of Chow motives of projective homogeneous varieties for $p$-inner semi-simple algebraic groups, with coefficients in $\mathbb{Z}/p\mathbb{Z}$. Our results involve a new motivic invariant, the Tate trace of a motive, defined as a pure Tate summand of maximal rank. They apply more generally to objects of the Tate subcategory generated by upper motives of irreducible, geometrically split varieties satisfying the nilpotence principle. Using Chernousov-Gille-Merkurjev decompositions and their interpretation through Bialynicki-Birula-Hesselink-Iversen filtrations due to Brosnan, we then generalize the characterization of the motivic equivalence of inner semi-simple groups through the higher Tits $p$-indexes. We also define the motivic splitting pattern and the motivic splitting towers of a summand of the motive of a projective homogeneous variety, which correspond for quadrics to the classical splitting pattern and Knebusch tower of the underlying quadratic form.

Algebraic Geometry
Triangulated categories of mixed motives

Denis-Charles Cisinski,Frédéric Déglise

DOI: https://doi.org/10.1007/978-3-030-33242-6

2019-06-27

Abstract:This book discusses the construction of triangulated categories of mixed motives over a noetherian scheme of finite dimension, extending Voevodsky's definition of motives over a field. In particular, it is shown that motives with rational coefficients satisfy the formalism of the six operations of Grothendieck. This is achieved by studying descent properties of motives, as well as by comparing different presentations of these categories, following and extending insights and constructions of Deligne, Beilinson, Bloch, Thomason, Gabber, Levine, Morel, Voevodsky, Ayoub, Spitzweck, Röndigs, Østvær, and others. In particular, the relation of motives with $K$-theory is addressed in full, and we prove the absolute purity theorem with rational coefficients, using Quillen's localization theorem in algebraic $K$-theory together with a variation on the Grothendieck-Riemann-Roch theorem. Using resolution of singularities via alterations of de Jong-Gabber, this leads to a version of Grothendieck-Verdier duality for constructible motivic sheaves with rational coefficients over rather general base schemes. We also study versions with integral coefficients, constructed via sheaves with transfers, for which we obtain partial results. Finally, we associate to any mixed Weil cohomology a system of categories of coefficients and well behaved realization functors, establishing a correspondence between mixed Weil cohomologies and suitable systems of coefficients. The results of this book have already served as ground reference in many subsequent works on motivic sheaves and their realizations, and pointers to the most recent developments of the theory are given in the introduction.

Algebraic Geometry,K-Theory and Homology
A-upper motives

Charles De Clercq,Nikita Karpenko,Anne Quéguiner-Mathieu

2024-09-30

Abstract:Let $E/F$ be a finite field extension with every intermediate field being Galois over $F$. Given a reductive group $G$ over $F$ such that $G_E$ is of inner type, we define its A-upper motives. These motives are indecomposable and naturally related with the indecomposable summands in the motives of spectra of intermediate fields in $E/F$. We show that motives of projective homogeneous varieties under $G$ are isomorphic to direct sums of Tate shifts of A-upper motives. Based on that, we get a classification of the motives of projective homogeneous varieties under absolutely simple groups of type not $^6\!D_4$, by means of their higher Artin-Tate traces. We also show how Tits indexes over suitable field extensions determine motivic equivalence classes for these algebraic groups.

Algebraic Geometry
Mumford-Tate groups of 1-motives and Weil pairing

Cristiana Bertolin,Patrice Philippon

DOI: https://doi.org/10.1016/j.jpaa.2024.107702

2024-09-04

Abstract:We show how the geometry of a 1-motive $M$ (that is existence of endomorphisms and relations between the points defining it) determines the dimension of its motivic Galois group ${\mathcal{G}}{\mathrm{al}}_{\mathrm{mot}}(M)$. Fixing periods matrices $\Pi_M$ and $\Pi_{M^*}$ associated respectively to a 1-motive $M$ and to its Cartier dual $M^*,$ we describe the action of the Mumford-Tate group of $M$ on these matrices. In the semi-elliptic case, according to the geometry of $M$ we classify polynomial relations between the periods of $M$ and we compute exhaustively the matrices representing the Mumford-Tate group of $M$. This representation brings new light on Grothendieck periods conjecture in the case of 1-motives.

Algebraic Geometry,Number Theory
Motivic interpretations for iterated integrals on some specific algebraic curves

Eisuke Otsuka

2024-08-29

Abstract:Multiple zeta values (MZVs for short) can be represented as iterated integrals of $\mathbb{Q}$-rational algebraic differential forms on $\mathbb{P}^1(\mathbb{C})\setminus\{0, 1, \infty\}$. This interpretation allows us to consider MZVs geometrically, and this is one of the motivations for Deligne--Goncharov, Terasoma et al. to give motivic interpretations of MZVs by using the theory of mixed Tate motives and the motivic fundamental groups. In this paper, we consider the iterated integrals on some rational curves over $\mathbb{Q}$ and study their arithmetic properties. They are an extension of MZVs and also include some other known special values such as multiple $\widetilde{T}$-values. Furthermore, we give motivic interpretations of them by investigating a relationship with motivic iterated integrals given by Goncharov. At this point, it is important to consider the base expansion and the Galois invariant part of the space of motivic iterated integrals. Finally, we denote that a motivic interpretation of the alternating multiple mixed values can be given by the same method. Our results also extend a part of author's previous work.

Number Theory
A motivic Fundamental Lemma

Arthur Forey,François Loeser,Dimitri Wyss

DOI: https://doi.org/10.48550/arXiv.2308.12195

2023-08-23

Abstract:In this paper we prove motivic versions of the Langlands-Shelstad Fundamental Lemma and Ngô's Geometric Stabilization. To achieve this, we follow the strategy from the recent proof by Groechenig, Wyss and Ziegler which avoided the use of perverse sheaves using instead $p$-adic integration and Tate duality. We make a key use of a construction of Denef and Loeser which assigns a virtual motive to any definable set in the theory of pseudo-finite fields.

Algebraic Geometry,Logic,Number Theory
Integral mixed motives in equal characteristic

Denis-Charles Cisinski,Frédéric Déglise

DOI: https://doi.org/10.48550/arXiv.1410.6359

2015-06-23

Abstract:For noetherian schemes of finite dimension over a field of characteristic exponent $p$, we study the triangulated categories of $\mathbf{Z}[1/p]$-linear mixed motives obtained from cdh-sheaves with transfers. We prove that these have many of the expected properties. In particular, the formalism of the six operations holds in this context. When we restrict ourselves to regular schemes, we also prove that these categories of motives are equivalent to the more classical triangulated categories of mixed motives constructed in terms of Nisnevich sheaves with transfers. Such a program is achieved by comparing these various triangulated categories of motives with modules over motivic Eilenberg-MacLane spectra.

Algebraic Geometry
Explicit reciprocity laws and Iwasawa theory for modular forms

Matthew Emerton,Robert Pollack,Tom Weston

2024-10-10

Abstract:We prove that the Mazur-Tate elements of an eigenform $f$ sit inside the Fitting ideals of the corresponding dual Selmer groups along the cyclotomic $\mathbb Z_p$-extension (up to scaling by a single constant). Our method begins with the construction of local cohomology classes built via the $p$-adic local Langlands correspondence. From these classes, we build algebraic analogues of the Mazur-Tate elements which we directly verify sit in the appropriate Fitting ideals. Using Kato's Euler system and explicit reciprocity laws, we prove that these algebraic elements divide the corresponding Mazur-Tate elements, implying our theorem.

Number Theory
Motivic Lefschetz theorem for twisted Milnor hypersurfaces

Rui Xiong,Kirill Zainoulline

2024-04-11

Abstract:We show that the Grothendieck-Chow motive of a smooth hyperplane section $Y$ of an inner twisted form $X$ of a Milnor hypersurface splits as a direct sum of shifted copies of the motive of the Severi-Brauer variety of the associated cyclic algebra $A$ and the motive of its maximal commutative subfield $L\subset A$. The proof is based on the non-triviality of the (monodromy) Galois action on the equivariant Chow group of $Y_L$.

Algebraic Geometry
Motivic complexes over finite fields and the ring of correspondences at the generic point

James S. Milne,Niranjan Ramachandran

DOI: https://doi.org/10.48550/arXiv.math/0607483

2008-05-03

Abstract: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).

Algebraic Geometry,Number Theory
Chow-Lefschetz motives

Bruno Kahn

DOI: https://doi.org/10.1016/j.indag.2024.04.007

2024-05-07

Abstract:We develop Milne's theory of Lefschetz motives for general adequate equivalence relations and over a not necessarily algebraically closed base field. The corresponding categories turn out to enjoy all properties predicted by standard and less standard conjectures, in a stronger way: algebraic and numerical equivalences agree in this context. We also compute the Tannakian group associated to a Weil cohomology in a different and more conceptual way than Milne's case-by-case approach.

Algebraic Geometry
Carlitz twists: their motivic cohomology, regulators, zeta values and polylogarithms

Quentin Gazda,Andreas Maurischat

2023-09-20

Abstract: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 denominator of Bernoulli-Carlitz numbers and the Fitting ideal of class modules is a special zeta value. We also express the regulator of $\underline{A}(n)$ for positive $n$ in terms of generalized Carlitz polylogarithms; after establishing their algebraic relations using difference Galois theory together with the Anderson-Brownawell-Papanikolas criterion, we prove that the regulator is an isomorphism if, and only if, $n$ is prime to the characteristic.

Algebraic Geometry,Number Theory
Motives, Periods, and Functoriality

Pierre Deligne,A. Raghuram

2024-03-06

Abstract:Given a pure motive $M$ over $\mathbb{Q}$ with a multilinear algebraic structure $\mathsf{s}$ on $M$, and given a representation $V$ of the group respecting $\mathsf{s}$, we describe a functorial transfer $M^V$. We formulate a criterion that guarantees when the two periods of $M^V$ are equal. This has an implication for the critical values of the $L$-function attached to $M^V.$ The criterion is explicated in a variety of examples such as: tensor product motives and Rankin-Selberg $L$-functions; orthogonal motives and the standard $L$-function for even orthogonal groups; twisted tensor motives and Asai $L$-functions.

Number Theory,Algebraic Geometry,Representation Theory
Polylogarithm Variations and Motivic Extensions of $\mathbb{Q}$ by $\mathbb{Q}(m)$

Eric Hopper

2023-07-29

Abstract:Deligne and Goncharov constructed a neutral tannakian category of mixed Tate motives unramified over $\mathbb{Z}[\mu_N,1/N]$. Brown and Hain--Matsumoto computed the depth 2 quadratic relations of the motivic Galois group of this category for $N = 1$. We take the first steps in generalizing their results to all $N \ge 1$ by realizing the generators of the motivic Galois group by derivations on the Lie algebra of the unipotent fundamental group of a restriction of the Tate elliptic curve. This representation is compatible with a natural identification of the odd rational $K$-groups of the rings $\mathbb{Z}[\mu_N,1/N]$ with spaces of $\Gamma_1(N)$ Eisenstein series, thus inducing a natural action of the prime to $N$ part of the Hecke algebra on the $K$-groups. We establish these results by first showing the inclusion of $\mathbb{P}^1 - \{0,\mu_N,\infty\}$ into the nodal elliptic curve with a cyclic subgroup of order $N$ removed induces a morphism of mixed Tate motives on unipotent fundamental groups and then by computing the periods of the limit mixed Hodge structure of an elliptic polylogarithm variation of MHS over the universal elliptic curve of $Y_1(N)$.

Algebraic Geometry,Number Theory
An introduction to mixed Tate motives

Clément Dupont

2024-04-05

Abstract:Mixed Tate motives are central objects in the study of cohomology groups of algebraic varieties and their arithmetic invariants. They also play a crucial role in a wide variety of questions related to multiple zeta values and polylogarithms, algebraic K-theory, hyperbolic geometry, and particle physics among others. This survey article is an introduction to mixed Tate motives and their many facets. It was written for the proceedings of the Summer School on Motives and Arithmetic Groups held in Strasbourg in June 2022.

Algebraic Geometry,K-Theory and Homology,Number Theory

On Tate Milnor-Witt Motives

Mixed Tate motives and cyclotomic multiple zeta values of level $2^n$ or $3^n$

Motivic Gauss and Jacobi sums

Milnor-Witt motivic cohomology and linear algebraic groups

Generalized Motives through Witt Vectors

Higher Tate traces of Chow motives

Triangulated categories of mixed motives

A-upper motives

Mumford-Tate groups of 1-motives and Weil pairing

Motivic interpretations for iterated integrals on some specific algebraic curves

A motivic Fundamental Lemma

Integral mixed motives in equal characteristic

Explicit reciprocity laws and Iwasawa theory for modular forms

Motivic Lefschetz theorem for twisted Milnor hypersurfaces

Motivic complexes over finite fields and the ring of correspondences at the generic point

Chow-Lefschetz motives

Carlitz twists: their motivic cohomology, regulators, zeta values and polylogarithms

Motives, Periods, and Functoriality

Polylogarithm Variations and Motivic Extensions of $\mathbb{Q}$ by $\mathbb{Q}(m)$

An introduction to mixed Tate motives