Nori 1-motives

DOI10.1007/S00208-014-1069-8MaRDI QIDQ2255282zbMATH OpenOpenAlexFDO

Authors Joseph Ayoub, Luca Barbieri-Viale

Publication date 9 February 2015

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1206.5923

zbMATH Keywords

\(n\)-motivesderived categoriesmotivic cohomologyt-structurestriangulated categories

Mathematics Subject Classification ID

Derived categories and commutative rings (13D09) Transcendental methods, Hodge theory (algebro-geometric aspects) (14C30) Motivic cohomology; motivic homotopy theory (14F42) Algebraic cycles and motivic cohomology ((K)-theoretic aspects) (19E15)

Abstract: Let EHM be Nori's category of effective homological mixed motives. In this paper, we consider the thick abelian subcategory EHM_1 generated by the i-th relative homology of pairs of varieties for i = 0,1. We show that EHM_1 is naturally equivalent to the abelian category M_1 of Deligne 1-motives with torsion; this is our main theorem. Along the way, we obtain several interesting results. Firstly, we realize M_1 as the universal abelian category obtained, using Nori's formalism, from the Betti representation of an explicit diagram of curves. Secondly, we obtain a conceptual proof of a theorem of Vologodsky on realizations of 1-motives. Thirdly, we verify a conjecture of Deligne on extensions of 1-motives in the category of mixed realizations for those extensions that are effective in Nori's sense.

Review text

The category \(\mathcal{M}_1\) of 1-motives was defined in [\textit{P. Deligne}, Publ. Math., Inst. Hautes Étud. Sci. 44, 5--77 (1974; Zbl 0237.14003)]. In one of his letters Deligne recounts what the 1-motives he invented are for. \textit{The motivic philosophy tell us that the groups \(H^n(X)\) attached to a variety \(X\) should come from a `motive' \(H^n_{\mathrm{motivic}}(X)\). For \(X\) projective and smooth and \(n=1\) abelian varieties play this role \(\dots\) The 1-motives play the same role, still for \(n=1\), when \(X\) is no more assumed to be projective and smooth. Grothendieck's theory of pure motives relies on conjectures which remain inaccessible \(\dots\) 1-motives need no conjecture, are related only to \(H^1\), should be a small corner of a theory of mixed motives.} One such a theory has been constructed by Nori (see \textit{N. Fakhruddin}, Notes of Nori's Lectures on Mixed Motives. TIFR, Mumbai (2000)]. It is the abelian category \(\mathbf{EHM}\) of effective homological mixed motives. Fix a base field \(k\) with an embedding \(\sigma:k\hookrightarrow \mathbb C\), consider a \(k\)-scheme \(X\) and a closed subset \(Y\subset X\), we have motives \(\widetilde{H}_i(X,Y;\mathbb Z) \in \mathbf{EHM}\) for all \(i\in \mathbb N\). Their Betti realisations are the usual relative homology groups \(H_i(X(\mathbb C),Y(\mathbb C);\mathbb Z)\). The category \(\mathbf{EHM}_1\) of Nori 1-motives is defined in the present work to be the abelian subcategory of \({\mathbf{EHM}} \) which is generated by the images of \( \widetilde{H}_i(X,Y;\mathbb Z) \in\mathbf{EHM}\) for \(i \leq 1\). The major result of the paper is the proof that \(\mathbf{EHM}_1\) is naturally equivalent to \({}^t\mathcal{M}_1\), this is the category of Deligne's 1-motives with torsion, a generalization of \({}^t\mathcal{M}\) produced by L. Barbieri-Viale, A. Rosenschon and M. Saito [Ann. Math. (2) 158, No. 2, 593--633 (2003; Zbl 1124.14014)]. The roadmap of the demonstration is by a chain of equivalences, \(\mathbf{EHM}_1 \simeq\mathbf{EHM}'_1 \simeq \mathbf{EHM}_1\), where the generators for \(\mathbf{EHM}'_1 \) satisfy the further condition that the dimension of \(X\) is at most \(1\), while for \(\mathbf{EHM}_1 \) the request is that \(X\) is a smooth and affine curve. The key point of the paper is the existence of a canonical functor \(\mathbf{EHM}_1 \to {}^t\mathcal{M}_1 \) which is in fact an equivalence of categories. Morphisms in \({\mathbf{EHM}} \) are formally defined by means of the abstract properties of relative cohomology, so their geometric content is possibly mysterious. One of the merits of this article is to provide such understanding for this corner of Nori's theory.

Recommendations

• scientific article; zbMATH DE number 5194872
• Deligne's conjecture on 1-motives
• A note on 1-motives
• Isomotives of dimension less than or equal to one
• Comparison of the categories of motives defined by Voevodsky and Nori

Cites work

• 1-motivic sheaves and the Albanese functor
• Albanese and Picard 1-motives
• An abelian category of motivic sheaves
• Deligne's conjecture on 1-motives
• Hodge realizations of 1-motives and the derived Albanese
• scientific article; zbMATH DE number 15170 (Why is no real title available?)
• scientific article; zbMATH DE number 1526538 (Why is no real title available?)
• scientific article; zbMATH DE number 1538132 (Why is no real title available?)
• scientific article; zbMATH DE number 2247522 (Why is no real title available?)
• Isomotives of dimension less than or equal to one
• Lecture notes on motivic cohomology
• Mixed motives and their realization in derived categories
• Néron Models
• On the derived category of 1-motives
• Periods and Nori motives
• The \(n\)-motivic \(t\)-structures for \(n=0,1\) and \(2\)
• Théorie de Hodge. III

Cited in

(13)

• The filtered Ogus realisation of motives
• Triangulated categories of relative 1-motives
• Syntactic categories for Nori motives
• Formal Hodge theory
• Comparison of the categories of motives defined by Voevodsky and Nori
• Mini-workshop: 1-motives. Abstracts from the mini-workshop held December 12th -- December 18th.
• Nori Motives of Curves With Modulus and Laumon 1-motives
• A note on 1-motives
• \(\mathbb{T}\)-motives
• Birational maps and Nori motives
• Artin motives in relative Nori and Voevodsky motives
• Isomotives of dimension less than or equal to one
• A remark on \(\operatorname{Ext}\) groups for motives with maximal unipotent radicals

This page was built for publication: Nori 1-motives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2255282)