On motivic cohomology with Z/l-coefficients
This paper is a fundamental one which provides the final step to the proof of a long standing conjecture, the Bloch-Kato conjecture, which was announced several years ago. Theorem 1. Let \(k\) be a field of characteristic \(\neq l\), then the norm residue homomorphism \[ K^M_n(k)/l\to H^n_{et}(k, \mu^{\otimes n}_l) \] is an isomorphism for all \(n\). This result is a generalization of the particular case \(l=2\), whose proof appeared in [the author, Publ. Math., Inst. Hautes Étud. Sci. 98, 59--104 (2003; Zbl 1057.14028)]. Here one of the main new results is a theorem which relates two types of cohomological operations in motivic cohomology: one is defined in terms of symmetric power functors in the categories of relative Tate motives and another one in terms of the reduced power operation. Let \(R\) be a ring such that all primes but \(l\) are invertible in \(R\), e.g \(R= \mathbb{Z}_{(l)}\) or \(R= \mathbb{Z}/l\). Using several results about the structure of the symmetric powers \(S^i(M)\), for \(i<l\), when \(M\) is a Tate motive of the form \[ R(p)[2q]\to M\to R(p)[2q+ 1] \] one defines a cohomological operation \[ \Phi_{l-1}: H^{2q+ 1,p}(+,R)\to H^{2q+l,pl}(-, R). \] Then the author proves the following Theorem 2. For any \(n\geq 0\) there exists \(c\in(\mathbb{Z}/l)^*\) such that for any \(\alpha\in\widetilde H^{2n+1,n}({\mathcal X},\mathbb{Z}/l)\) one has \[ \Phi_{l-1}(\alpha)= c\beta P^n(\alpha), \] where \(\beta\) is the Bockstein homomorphism, \(P^n\) is the motivic reduced power operation and \(\widetilde H^{2n+1,n}({\mathcal X},\mathbb{Z}/l)\) are the motivic cohomology groups on pointed simplicial schemes. The proof of the above theorem has a long history: a proof of it appeared in the first version of this paper in 2003 and was based on a lemma, the validity of which is under serious doubt. Then in 2001 C. Weibel suggested another approach of the same result. In the present paper the author uses a modified version of Weibel's approach to prove a new lemma which finally gave a complete proof of Theorem 2. Another fundamental ingredient in the proof of Theorem 1 is the notion of generalized Rost motives, which unify the previously known families of motives, the Rost motives, which appear in the proof for \(l=2\), and the motives of cyclic field extensions of prime degree. Every embedded symplicial scheme \({\mathcal X}\) which has a non-trivial cohomology class of certain bidegree and such that the corresponding class of varieties contains a \(\nu_n\)-variety defines a generalized Rost motive. A smooth projective variety \(X\) is a \(\nu_n\)-variety if \(\dim X= l^n- 1\) and \(\deg(s_{l^n-1}(X)\neq 0\pmod{l^2}\). Here \(s_d(X)\) denotes the \(d\)-th Milnor class of \(X\) in \(H^{2d,d}(X,\mathbb{Z})\), for \(\dim X= d\).
- scientific article; zbMATH DE number 1526538 (Why is no real title available?)
- Lois de groupes et analyseurs
- Massey Higher Products
- Motives over simplicial schemes
- Motivic cohomology with \(\mathbb Z/2\)-coefficients
- Motivic Eilenberg-MacLane spaces
- Norm varieties
- Reduced power operations in motivic cohomology
- Simplicial radditive functors
- The \(K\)-theory of fields in characteristic \(p\)
- The additivity of traces in triangulated categories
- The Bloch-Kato conjecture and a theorem of Suslin-Voevodsky
- The norm residue isomorphism theorem
- The Steenrod algebra and its dual
- The Gersten conjecture for Milnor \(K\)-theory
- Motifs, L-functions, and the K-cohomology of rational surfaces over finite fields
- Motivic decomposition of compactifications of certain group varieties
- Categorical Bockstein sequences
- A finer Tate duality theorem for local Galois symbols
- Rost nilpotence and étale motivic cohomology
- The completion problem for equivariant K-theory
- Motivic cohomology of fat points in Milnor range
- The Galois action on geometric lattices and the mod-\(\ell \) I/OM
- Fitting ideals of isotypic parts of even K-groups
- On the arithmetic of elliptic curves and a homotopy limit problem
- Triple Massey products and absolute Galois groups
- The motivic Steenrod algebra in positive characteristic
- Triple Massey products of weight \((1,n,1)\) in Galois cohomology
- Zero-cycles with coefficients for the second generalized symplectic involution variety of an algebra of degree 4
- A motivic Grothendieck-Teichmüller group
- A topology on Milnor's group of a topological field and continuous joint determinants
- The Geisser-Levine method revisited and algebraic cycles over a finite field
- Reduced power operations in motivic cohomology
- Motivic cohomology with \(\mathbb Z/2\)-coefficients
- Weigth zero motivic cohomology and the general linear group of a simplicial ring
- Motivic periods and Grothendieck arithmetic invariants
- Étale cohomology of arithmetic schemes and zeta values of arithmetic surfaces
- The gamma filtrations for the spin groups
- Hyperdescent and étale K-theory
- Two families of pro-\(p\) groups that are not absolute Galois groups
- An introduction to \(\mathbb{A}^1\)-enumerative geometry. Based on lectures by Kirsten Wickelgren delivered at the LMS-CMI research school ``Homotopy theory and arithmetic geometry -- motivic and Diophantine aspects
- The Chow \(t\)-structure on the \(\infty\)-category of motivic spectra
- Motivic cohomology of fat points in Milnor range via formal and rigid geometries
- On pro-\(p\) groups with quadratic cohomology
- Topological cyclic homology of local fields
- Redshift and multiplication for truncated Brown-Peterson spectra
- Generalized Steinberg relations
- Groups of \(p\)-absolute Galois type that are not absolute Galois groups
- Norm principle for even \(K\)-groups of number fields
- Oriented pro-\(\ell\) groups with the Bogomolov-Positselski property
- Motives and homotopy theory in logarithmic geometry
- Algebraic cobordism and étale cohomology
- On the growth of even \(K\)-groups of rings of integers in \(p\)-adic Lie extensions
- Chow rings of versal complete flag varieties
- Enhanced Koszul properties in Galois cohomology
- C₂-equivariant stable homotopy from real motivic stable homotopy
- Profinite groups with a cyclotomic \(p\)-orientation
- A local to global principle for higher zero-cycles
- Right-angled Artin groups and enhanced Koszul properties
- Koszul algebras and quadratic duals in Galois cohomology
- Applications of the Bloch-Kato conjecture to cohomological invariants and symbol length
- A filtration on the higher Chow group of zero cycles on an abelian variety
- The kernel unipotent conjecture and the vanishing of Massey products for odd rigid fields
- On the behaviour of Brauer \(p\)-dimensions under finitely-generated field extensions.
- 2-cycles on the cubic hypersurfaces of dimension 5
- Milnor-Witt cycle modules
- A Tate duality theorem for local Galois symbols. II. The semi-abelian case
- Orbifold products for higher \(K\)-theory and motivic cohomology
- About Bredon motivic cohomology of a field
- Vanishing of degree 3 cohomological invariants
- On the special values of Artin L-functions for dihedral extensions
- On the \(u\)-invariant of function fields of curves over complete discretely valued fields
- Higher class numbers in extensions of number fields
- The simplicial suspension sequence in \(\mathbb A^1\)-homotopy
- Koszulity of cohomology \( = K(\pi,1)\)-Ness + quasi-formality
- The group of \(K_{1}\)-zero-cycles on the second generalized Severi-Brauer variety of an algebra of index 4
- Witt's cancellation theorem seen as a cancellation
- Unramified cohomology and the entire Hodge conjecture
- Zeta functions of regular arithmetic schemes at \(s=0\)
- Descent for \(K\)-theories
- Unirational threefolds with no universal codimension \(2\) cycle
- Local-global principle for function fields over higher local fields. I
- On the topological computation of \(K_4\) of the Gaussian and Eisenstein integers
- A generalization of Serre's condition (F) with applications to the finiteness of unramified cohomology
- Motivic cohomology, localized Chern classes, and local terms
- Cdh descent, cdarc descent, and Milnor excision
- Mild pro-p groups and the Koszulity conjectures
- Unramified cohomology, integral coniveau filtration and Griffiths groups
- Motivic construction of cohomological invariants
- Étale motives
- Galois equivariance and stable motivic homotopy theory
- The Brauer-Manin pairing, class field theory, and motivic homology
- Rationality problems and conjectures of Milnor and Bloch-Kato
- On the orders of even \(K\)-groups of rings of integers in cyclotomic \(\mathbb{Z}_{p}\)-extensions of \(\mathbb{Q}\)
- Finite generation conjectures for motivic cohomology theories over finite fields
- Bertini theorems and Lefschetz pencils over discrete valuation rings, with applications to higher class field theory
- A genus formula for the wild étale kernel
- Galois groups and cohomological functors
- scientific article; zbMATH DE number 6690775 (Why is no real title available?)
- Period and index, symbol lengths, and generic splittings in Galois cohomology
- Four-fold Massey products in Galois cohomology
- Spinor groups with good reduction
- ÉTALE MOTIVIC COHOMOLOGY AND ALGEBRAIC CYCLES
- Motivic homological stability for configuration spaces of the line
- Algebraic K-theory of group rings and the cyclotomic trace map
- Construction of unipotent Galois extensions and Massey products
- The p-adic Coates-Sinnott conjecture over maximal orders
- Birational invariants and decomposition of the diagonal
- Duality theorems for function fields over higher local fields
- Reconstructing function fields from rational quotients of mod- Galois groups
- The six operations in equivariant motivic homotopy theory
- scientific article; zbMATH DE number 5130694 (Why is no real title available?)
- Detecting fast solvability of equations via small powerful Galois groups
- Motivic homotopy theory of group scheme actions
This page was built for publication: On motivic cohomology with \(\mathbb{Z}/l\)-coefficients
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q640789)
