Motives

L. Barbieri-Viale

2024-03-27

Abstract:Making a survey of recent constructions of universal cohomologies we suggest a new framework for a theory of motives in algebraic geometry.

Algebraic Geometry,Category Theory,K-Theory and Homology,Number Theory

What problem does this paper attempt to address?

Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes

Marco Robalo

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

2013-06-17

Abstract:Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with a left Quillen monoidal map $\V\to Sp^{\Sigma}(\V,X)$ sending $X$ to an invertible object. In this paper we use the recent developments in the subject of Higher Algebra to understand the nature of this construction. Every symmetric monoidal model category has an underlying symmetric monoidal $(\infty,1)$-category and the first notion should be understood as a mere "presentation" of the second. Our main result is the characterization of the underlying symmetric monoidal $\infty$-category of $Sp^{\Sigma}(\V,X)$, by means of a universal property inside the world of symmetric monoidal $(\infty,1)$-categories. In the process we also describe the link between the construction of ordinary spectra and the one of symmetric spectra. As a corollary, we obtain a precise universal characterization for the motivic stable homotopy theory of schemes with its symmetric monoidal structure. This characterization trivializes the problem of finding motivic monoidal realizations and opens the way to compare the motivic theory of schemes with other motivic theories. As an application we provide a new approach to the theory of noncommutative motives by constructing a stable motivic homotopy theory for the noncommutative spaces of Kontsevich. For that we introduce an analogue for the Nisnevich topology in the noncommutative setting. Our universal property for the classical theory for schemes provides a canonical monoidal map towards these new noncommutative motives and allows us to compare the two theories.

Algebraic Geometry,Category Theory
Motives, mapping class groups, and monodromy

Daniel Litt

2024-09-04

Abstract:We survey some recent developments at the interface of algebraic geometry, surface topology, and the theory of ordinary differential equations. Motivated by "non-abelian" analogues of standard conjectures on the cohomology of algebraic varieties, we study mapping class group actions on character varieties and their algebro-geometric avatar -- isomonodromy differential equations -- from the point of view of both complex and arithmetic geometry. We then collect some open questions and conjectures on these topics. These notes are an extended version of my talk at the April 2024 Current Developments in Mathematics conference at Harvard.

Algebraic Geometry,Geometric Topology,Number Theory
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
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
Semi-algebraic motives

Annette Huber

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

2020-07-20

Abstract:We define a category of motives for semi-algebraic spaces and show that it is trivial. This implies that there is no good extension of algebraic de Rham cohomology to semi-algebraic spaces compatible with the period isomorphism.

Algebraic Geometry
Generic motives and motivic cohomology of fields

F. Déglise

2024-08-12

Abstract:These notes are devoted to the study of generic motives and their application to the structure of the motivic cohomology of fields. Related to Voevodsky's homotopy $t$-structure on motivic complexes, generic motives are also central to the conjectural motivic $t$-structure, as was shown by Beilinson. Morphisms of generic motives are closely related to the functoriality of Rost's cycle modules. e obtain some new computations of generic motives, and deduce computations of morphisms of generic motives, which draw a conjectural picture. The structure of generic motives reflects into that of motivic cohomology of fields. After giving a new argument for determining weights in the K-theory of number fields using Borel's isomorphism, we deduce that many motivic cohomology groups of fields have infinite rank, usually of the same cardinality as the field itself. As an example motivic cohomology groups of the real or complex numbers are shown to be uncountable in many degrees and twists. Despite these results, we formulate a hope on their behavior with respect to transcendental elements, providing a counterpart to the Beilinson-Soulé vanishing conjecture.

Algebraic Geometry
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
Universal Weil cohomology

L. Barbieri-Viale,B. Kahn

2024-03-02

Abstract:We construct a new Weil cohomology for smooth projective varieties over a field, universal among Weil cohomologies with values in rigid additive tensor categories. A similar universal problem for Weil cohomologies with values in rigid abelian tensor categories also has a solution. We give a variant for Weil cohomologies satisfying more axioms, like Weak and Hard Lefschetz. As a consequence, we get a different construction of André's category of motives for motivated correspondences and show that it has a universal property. This theory extends over suitable bases.

Algebraic Geometry,Category Theory,K-Theory and Homology,Number Theory
Algebraic part of motivic cohomology with compact supports

Tohru Kohrita,with an appendix by Bruno Kahn

2024-04-11

Abstract:Motivated by Murre's work on universal regular homomorphisms on Chow groups in codimension $2,$ we generalize the algebraic equivalence relation and regular homomorphisms to the context of Voevodsky motives over a field. In the Nisnevich topology, we prove the existence of \emph{universal} regular homomorphisms for a certain class of motivic cohomology groups, recovering Murre's theorem and the existence of Picard and Albanese varieties as special cases. This class also includes interesting cases such as higher Chow groups and Milnor $K$-groups. The appendix by Kahn proves that, for étale motives, universal regular homomorphisms exist for all geometric motives and compares them with those in the Nisnevich topology when both exist.

K-Theory and Homology
On topological motives

Luca Barbieri-Viale

DOI: https://doi.org/10.1016/j.topol.2022.108141

IF: 0.583

2022-06-01

Topology and its Applications

Abstract:Following Eilenberg-Steenrod axiomatic approach we construct the universal ordinary homology theory for any homological structure on a given category by representing ordinary theories with values in abelian categories. For a convenient category of spaces we then obtain a universal abelian category which can be actually described for CW-complexes as the category of hieratic modules.

mathematics, applied
Motives of central slope Kronecker moduli

Alexandre Astruc,Frederic Chapoton,Karen Martinez,Markus Reineke

2024-10-10

Abstract:We use dualities of quiver moduli induced by reflection functors to describe generating series of motives of Kronecker moduli spaces of central slope as solutions of algebraic and q-difference equations.

Algebraic Geometry,Representation Theory
A universal characterization of noncommutative motives and secondary algebraic K-theory

Aaron Mazel-Gee,Reuben Stern

2024-07-13

Abstract:We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to Blumberg--Gepner--Tabuada. As a consequence, we obtain a corepresentability theorem for secondary K-theory. We envision this as a fundamental tool for the construction of trace maps from secondary K-theory. Towards these main goals, we introduce a preliminary formalism of "stable $(\infty, 2)$-categories"; notable examples of these include (quasicoherent or constructible) sheaves of stable $\infty$-categories. We also develop the rudiments of a theory of presentable enriched $\infty$-categories -- and in particular, a theory of presentable $(\infty, n)$-categories -- which may be of intependent interest.

K-Theory and Homology,Algebraic Topology,Category Theory
Mixed motives and motivic birational covers

Pablo Pelaez

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

IF: 0.834

2017-07-01

Journal of Pure and Applied Algebra

Abstract:We introduce a tower of localizing subcategories in Voevodsky's big (closed under infinite coproducts) triangulated category of motives. We show that the tower induces a finite filtration on the motivic cohomology groups of smooth schemes over a perfect field. With rational coefficients, this finite filtration satisfies several of the properties of the still conjectural Bloch–Beilinson–Murre filtration.

mathematics, applied
Berkovich Motives

Peter Scholze

2024-12-04

Abstract:We construct a theory of (etale) Berkovich motives. This is closely related to Ayoub's theory of rigid-analytic motives, but works uniformly in the archimedean and nonarchimedean setting. We aim for a self-contained treatment, not relying on previous work on algebraic or analytic motives. Applying the theory to discrete fields, one still recovers the etale version of Voevodsky's theory. Two notable features of our setting which do not hold in other settings are that over any base, the cancellation theorem holds true, and under only minor assumptions on the base, the stable $\infty$-category of motivic sheaves is rigid dualizable.

Algebraic Geometry,K-Theory and Homology,Number Theory
Étale motives of geometric origin

Raphaël Ruimy,Swann Tubach

2024-06-20

Abstract:Over qcqs finite-dimensional schemes, we prove that étale motives of geometric origin can be characterised by a constructibility property which is purely categorical, giving a full answer to the question "Do all constructible étale motives come from geometry?" which dates back to Cisinski and Déglise's work. We also show that they afford the continuity property and satisfy h-descent and Milnor excision.

Algebraic Geometry
Motives of unitary and orthogonal homogeneous varieties

Daniel Krashen

DOI: https://doi.org/10.1016/j.jalgebra.2007.07.008

IF: 0.908

2007-12-01

Journal of Algebra

Abstract:Grothendieck–Chow motives of quadric hypersurfaces have provided many insights into the theory of quadratic forms. Subsequently, the landscape of motives of more general projective homogeneous varieties has begun to emerge. In particular, there have been many results which relate the motive of a one homogeneous variety to motives of other simpler or smaller ones (see for example [N.A. Karpenko, Cohomology of relative cellular spaces and of isotropic flag varieties, Algebra i Analiz 12 (1) (2000) 3–69. [Kar00a]; V. Chernousov, S. Gille, A. Merkurjev, Motivic decomposition of isotropic projective homogeneous varieties, Duke Math. J. 126 (1) (2005) 137–159. [CGM05]; P. Brosnan, On motivic decompositions arising from the method of Białynicki-Birula, Invent. Math. 161 (1) (2005) 91–111. [Bro05]; S. Nikolenko, N. Semenov, K. Zainoulline, Motivic decomposition of anisotropic varieties of type F4 into generalized Rost motives, preprint, Max-Planck-Institut für Mathematik, 90, 2005. [NSZ05]; K.V. Zaĭnullin, N.S. Semenov, On the classification of projective homogeneous varieties up to motivic isomorphism, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 330 (2006) 158–172, 273. [ZS06]; B. Calmès, V. Petrov, N. Semenov, K. Zainoulline, Chow motives of twisted flag varieties, Compos. Math. 142 (4) (2006) 1063–1080. [CPSZ06]; K. Zainoulline, Motivic decomposition of a generalized Severi–Brauer variety, arXiv: math.AG/0601666. [Zai]]). In this paper, we exhibit a relationship between motives of two homogeneous varieties by producing a natural rational map between them. As an application, we compute the Chow group of zero-dimensional cycles on a homogeneous variety associated to a Hermitian form.

mathematics
On the Voevodsky motive of the moduli stack of vector bundles on a curve

Victoria Hoskins,Simon Pepin Lehalleur

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

2019-10-10

Abstract:We define and study the motive of the moduli stack of vector bundles of fixed rank and degree over a smooth projective curve in Voevodsky's category of motives. We prove that this motive can be written as a homotopy colimit of motives of smooth projective Quot schemes of torsion quotients of sums of line bundles on the curve. When working with rational coefficients, we prove that the motive of the stack of bundles lies in the localising tensor subcategory generated by the motive of the curve, using Bialynicki-Birula decompositions of these Quot schemes. We conjecture a formula for the motive of this stack, and we prove this conjecture modulo a conjecture on the intersection theory of the Quot schemes.

Algebraic Geometry
Birational motives, I: pure birational motives

Bruno Kahn,R. Sujatha

DOI: https://doi.org/10.2140/akt.2016.1.379

2015-10-28

Abstract:This is a considerably expanded version of the "pure" part of our 2002 preprint. We define a category of pure birational motives over a field, depending on the choice of an adequate equivalence relation on algebraic cycles. It is obtained by "killing" the Lefschetz motive in the corresponding category of effective motives. For rational equivalence, it encompasses Bloch's decomposition of the diagonal. We study the induced Chow-Künneth decompositions in this category, and establish relationships with Rost's cycle modules and the Albanese functor for smooth projective varieties.

Algebraic Geometry
Motivic nearby cycles functors, local monodromy and universal local acyclicity

Benedikt Preis

2023-05-05

Abstract:In this thesis we give two applications of Ayoub's motivic nearby cycles functor: First we give a generalization of Grothendieck's classical local monodromy theorem. In the classical setup we show that the inertia group acts quasi-unipotently on the étale cohomology of sheaves 'coming from motives'. Second we study the notion of universal local acyclicity for motives and show that for étale motives universal local acyclicity over an excellent 1- dimensional regular base scheme is detected by the motivic nearby cycles functor. Along the way we prove properties of the motivic nearby cycles functor which might be of independent interest. In particular we show that with rational coefficients the unipotent motivic nearby cycles functor is a direct summand of the total motivic nearby cycles functor.

Algebraic Geometry
Some arithmetic and geometric aspects of algebraic cycles and motives

Giuseppe Ancona

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

2023-01-06

Abstract:This is my habilitation thesis. As the tradition wants, I tried to give an introduction of my field of research. I post it on the ArXiv with the hope it can be useful to young researchers looking for a short and friendly text on cohomologies of algebraic varieties, periods, algebraic cycles and motives. I might one day find the energy to expand these notes and maybe translate them in English. In the meantime, please feel free to ask questions. The first sections of this text propose an introduction to the theory, I tried to present points of view and examples which are not always stressed in the literature. A leitmotif of the thesis is the difference between phenomena in characteristic zero and those in positive characteristic. The main results are: the standard conjecture of Hodge type for abelian foufolds; the construction of a class of $p$-adic periods controlled by motivic Galois groups and for which it is possible to formulate a $p$-adic analog of the Grothendieck period conjecture; the standard conjecture of Lefschetz type for the Laza--Saccà--Voisin varieties and the Chow-Künneth conjecture for commutative group schemes. The techniques are based on $p$-adic Hodge theory, representation theory, perverse sheaves and motivic complexes à la Voevodsky.

Algebraic Geometry,Number Theory

Motives

Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes

Motives, mapping class groups, and monodromy

Triangulated categories of mixed motives

Motives, Periods, and Functoriality

Semi-algebraic motives

Generic motives and motivic cohomology of fields

An introduction to mixed Tate motives

Universal Weil cohomology

Algebraic part of motivic cohomology with compact supports

On topological motives

Motives of central slope Kronecker moduli

A universal characterization of noncommutative motives and secondary algebraic K-theory

Mixed motives and motivic birational covers

Berkovich Motives

Étale motives of geometric origin

Motives of unitary and orthogonal homogeneous varieties

On the Voevodsky motive of the moduli stack of vector bundles on a curve

Birational motives, I: pure birational motives

Motivic nearby cycles functors, local monodromy and universal local acyclicity

Some arithmetic and geometric aspects of algebraic cycles and motives