Galois cohomology of a number field is Koszul

DOI10.1016/J.JNT.2014.05.024MaRDI QIDQ741675zbMATH OpenOpenAlexFDO

Authors Leonid Positselski

Publication date 12 September 2014

Published in Journal of Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

class field theoryglobal fieldslocal fieldsGalois cohomologyKoszul algebrasKoszul modulesChebotarev's density theoremcommutative PBW-basesfiltrations on algebrascommutative Gröbner bases

Mathematics Subject Classification ID

Galois cohomology (12G05) Galois cohomology (11R34)

Abstract: We prove that the Milnor ring of any (one-dimensional) local or global field K modulo a prime number l is a Koszul algebra over Z/l. Under mild assumptions that are only needed in the case l=2, we also prove various module Koszulity properties of this algebra. This provides evidence in support of Koszulity conjectures that were proposed in our previous papers. The proofs are based on the Class Field Theory and computations with quadratic commutative Groebner bases (commutative PBW-bases).

Recommendations

• Galois cohomology of fields with a dimension
• Cohomology of number fields
• scientific article; zbMATH DE number 1391019
• On the Galois cohomology group of the ring of integers in an algebraic number field
• Koszul duality and Galois cohomology
• Galois cohomology and class field theory
• Galois cohomology of fields without roots of unity
• A Finiteness Theorem in the Galois Cohomology of Algebraic Number Fields
• Cohomology of Galois extensions
• Sur la cohomologie galoisienne des corps $p$-adiques

Cites work

• scientific article; zbMATH DE number 3933262 (Why is no real title available?)
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 3468937 (Why is no real title available?)
• scientific article; zbMATH DE number 3245597 (Why is no real title available?)
• scientific article; zbMATH DE number 2242607 (Why is no real title available?)
• $ K$-COHOMOLOGY OF SEVERI-BRAUER VARIETIES AND THE NORM RESIDUE HOMOMORPHISM
• Determination of a class of Poincaré series.
• Galois Cohomology
• Galois cohomology of certain field extensions and the divisible case of Milnor-Kato conjecture
• Koszul Duality Patterns in Representation Theory
• Koszul Resolutions
• Koszul duality and Galois cohomology
• Koszul property and Bogomolov's conjecture
• Mixed Artin-Tate motives with finite coefficients
• On motivic cohomology with \(\mathbb{Z}/l\)-coefficients
• Relations between \(K_2\) and Galois cohomology
• The diamond lemma for ring theory

Cited in

(13)

• Enhanced Koszul properties in Galois cohomology
• On pro-\(p\) groups with quadratic cohomology
• Koszul algebras and quadratic duals in Galois cohomology
• Mild pro-\(p\) groups and the Koszulity conjectures
• The symbol length for elementary type pro-\(p\) groups and Massey products
• Right-angled Artin groups and enhanced Koszul properties
• Koszul duality and Galois cohomology
• Canonical resolutions over Koszul algebras
• Artin-Tate motivic sheaves with finite coefficients over an algebraic variety
• One-relator maximal pro-\(p\) Galois groups and the Koszulity conjectures
• Galois module structure of the units modulo \(p^m\) of cyclic extensions of degree \(p^n\)
• Koszulity of cohomology \( = K(\pi,1)\)-Ness + quasi-formality
• MFO-RIMS tandem workshop: Arithmetic homotopy and Galois theory. Abstracts from the MFO-RIMS tandem workshop held September 24--29, 2023

This page was built for publication: Galois cohomology of a number field is Koszul

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