Reconstructing function fields from Milnor K-theory

DOI10.2140/ANT.2021.15.2261MaRDI QIDQ2070897zbMATH OpenOpenAlexWikidataFDO

Authors Anna Cadoret, Alena Pirutka

Publication date 25 January 2022

Published in Algebra \& Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

algebraic dependenceanabelian geometryBass-Tate conjectureBertini theoremBloch-Kato conjecturefunction fieldfundamental theorem of projective geometryMilnor \(K\)-theory

Mathematics Subject Classification ID

Arithmetic theory of algebraic function fields (11R58) (K)-theory of global fields (11R70) Field extensions (12F99) Applications of methods of algebraic (K)-theory in algebraic geometry (14C35) Higher symbols, Milnor (K)-theory (19D45)

Abstract: Let $F$ be a finitely generated regular field extension of transcendence degree $geq2$ over a perfect field $k$. We show that the multiplicative group $F^{i}mes/k^{i}mes$ endowed with the equivalence relation induced by algebraic dependence on $k$ determines the isomorphism class of $F$ in a functorial way. As a special case of this result, we obtain that the isomorphism class of the graded Milnor $K$-ring $K_{\ast }^M(F)$ determines the isomorphism class of $F$, when $k$ is algebraically closed or finite.

Review text

Reconstructing fields from their absolute Galois groups is the classical problem that has initiated the broad field of anabelian Geometry. The paper under review is motivated by the analogous question whether the Milnor \(K\)-ring \(K_*^M(F)\) determines the isomorphism class of the field \(F\). The paper's main outcome is that the Milnor \(K\)-ring modulo the ideal of divisible elements (resp., of torsion elements) determines in a functorial way finitely generated regular field extensions of transcendence degree \(\ge 2\) over algebraically closed fields (resp., over finite fields). The proof is split into two steps. First, the \(n=2\) case of the Bloch-Kato conjecture [\textit{A. S. Merkur'ev} and \textit{A. A. Suslin}, Math. USSR, Izv. 21, 307--340 (1983; Zbl 0525.18008); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 46, No. 5, 1011--1046 (1982)] (resp., of the Bass-Tate conjecture [\textit{J. Tate}, in: Actes Congr. internat. Math. 1970, 1, 201--211 (1971; Zbl 0229.12013)]) implies that the Milnor \(K\)-ring detects algebraic dependence. Second, the paper's main result is that, for perfect fields \(k\) and \(k'\) (of any characteristic) and for finitely generated regular field extensions \(F|k\) and \(F'|k'\) of transcendence degree at least~\(2\), the canonical map \[ \mathrm{Isom}(F|k, F'|k') \rightarrow \overline{\mathrm{Isom}}^{\equiv}(F^\times/k^\times, F'^\times/k'^\times) \] from the set of isomorphisms \(F \overset{\sim}{\rightarrow} F'\) inducing an isomorphism \(k \overset{\sim}{\rightarrow} k'\) to the set of group isomorphisms \(\bar{\psi} \colon F^\times/k^\times \overset{\sim}{\rightarrow} F'^\times/k'^\times\) preserving algebraic dependence (and identifying \(\bar{\psi}\) and \(\bar{\psi}^{-1}\)) is bijective. The fundamental theorem of projective geometry (extended in the paper to infinite field extensions) and a Bertini theorem reduce the proof of this main result to showing that any \(\bar{\psi}\) as above (or \(\bar{\psi}^{-1}\)) maps every line in \(F^\times/k^\times\) whose image contains a (suitably defined) good pair of points isomorphically to a line \(F'^\times/k'^\times\). The proof of the latter is intricate and arguably the most original part of the paper (in positive characteristic). Variants of the main result have previously been proved by \textit{F. Bogomolov} and \textit{Y. Tschinkel} [Surv. Differ. Geom. 13, 223--244 (2009; Zbl 1247.19002)] in characteristic \(0\) and by \textit{A. Topaz} [Math. Ann. 366, No. 1--2, 337--385 (2016; Zbl 1388.12004)] in positive characteristic.

Recommendations

• scientific article; zbMATH DE number 1552471
• scientific article; zbMATH DE number 3865430
• scientific article; zbMATH DE number 124400
• Galois theory and projective geometry
• scientific article; zbMATH DE number 2123634
• scientific article; zbMATH DE number 4181465
• A study on anabelian geometry of higher local fields
• Milnor K₂ and field homomorphisms
• Galois cohomology of certain field extensions and the divisible case of Milnor-Kato conjecture
• Introduction to birational anabelian geometry

Cites work

• Bertini irreducibility theorems over finite fields
• Motivic cohomology with \(\mathbb Z/2\)-coefficients
• On quasi algebraic closure
• On the birational anabelian program initiated by Bogomolov. I
• Reconstructing function fields from rational quotients of mod- Galois groups
• Reduced power operations in motivic cohomology
• Théoremes de Bertini et applications
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Troisième partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(7)

• Milnor K₂ and field homomorphisms
• Reconstruction of higher-dimensional function fields
• Recovering P(X) from a canonical complex field
• Galois theory and projective geometry
• Algebraic K-theory. Abstracts from the workshop held May 8--14, 2022
• MFO-RIMS tandem workshop: Arithmetic homotopy and Galois theory. Abstracts from the MFO-RIMS tandem workshop held September 24--29, 2023
• A Torelli-like theorem for higher-dimensional function fields

This page was built for publication: Reconstructing function fields from Milnor \(K\)-theory

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