Hasse principles for higher-dimensional fields

DOI10.4007/ANNALS.2016.183.1.1MaRDI QIDQ5962624zbMATH OpenOpenAlexFDO

Authors Uwe Jannsen

Publication date 15 February 2016

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

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

zbMATH Keywords

Galois cohomology Hasse principle higher-dimensional fields

Mathematics Subject Classification ID

Galois cohomology (11R34) Étale and other Grothendieck topologies and (co)homologies (14F20) Rational points (14G05)

Abstract: For schemes X over global or local fields, or over their rings of integers, K. Kato stated several conjectures on certain complexes of Gersten-Bloch-Ogus type, generalizing the fundamental exact sequence of Brauer groups for a global field. He proved these conjectures for low dimensions. We prove Kato's conjecture over number fields. In particular this gives a Hasse principle for function fields F over a number field K, involving the corresponding function fields over all completions of K. We get the same results over global fields K of positive characteristic, for coefficients invertible in K. This was proved earlier by M. Kerz and S. Saito, by another method. Finally we obtain a conjecture of Kato over a finite field, and a generalization to finitely generated fields K, assuming resolution of singularities or that the coefficents are invertible in K. The latter case was again obtained earlier by M. Kerz and S. Saito, by different methods.

Review text

The paper is devoted to the proof of several seminal conjectures on local-global principles for higher-dimensional fields. These conjectures, proposed by \textit{K. Kato} [J. Reine Angew. Math. 366, 142--183 (1986; Zbl 0576.12012)], are formulated in terms of Galois cohomology of a function field \(F\) in \(d\) variables over a global field \(K\) under the assumption that \(K/F\) is primary, i.e., \(K\) is separably closed in \(F\).NEWLINENEWLINEConjecture 1 states that the restriction map NEWLINE\[NEWLINE \alpha_n: H^{d+2}(F,\mathbb Z/n\mathbb Z(d+1)) \to \bigoplus_v H^{d+2}(F_v,\mathbb Z/n\mathbb Z(d+1)) NEWLINE\]NEWLINE is injective (here the sum is taken over all places of \(K\), \(F_v=K_v(V\times_K K_v)\), where \(V\) is a geometrically integral model of the field \(F\)). It was proved by Kato (\textit{loc. cit.}) for \(d=1\).NEWLINENEWLINEThe first principal result of the paper under review states that this conjecture holds provided \(n\) is invertible in \(K\). Here are the main steps of the proof. First, the assertion of the conjecture is reduced to another one, where finite coefficients \(\mathbb Z/n\mathbb Z(j)\) are replaced with infinite ones \(\mathbb Q_\ell/\mathbb Z_\ell (j)\). A similar step was made by Kato using the Merkurjev-Suslin theorem whereas Jannsen uses the Bloch-Kato conjecture (now the Voevodsky-Rost theorem). To prove the injectivity theorem for the restriction map with infinite coefficients, one has to use weights, i.e., Deligne's proof of the Weil conjectures, and resolution of singularities to control the weights. In the case of positive characteristic, some problems are to overcome in absence of Hironaka's theorem. For \(\ell\) invertible in \(K\), the author uses a weaker form of resolution, namely the de Jong alteration in a refined version established by Gabber.NEWLINENEWLINESimilarly to the cases \(d=1\) (Colliot-Thélène's appendix to Kato's paper quoted above), and \(d=2\) (\textit{J.-L. Colliot-Thélène} and \textit{U. Jannsen} [C. R. Acad. Sci. Paris Sér. I Math. 312, 759--762 (1991; Zbl 0743.11020)]), natural applications to quadratic forms arise, more precisely to sum of squares. Namely, the author proves that if \(F\) is a finitely generated field of characteristic zero, then the Pythagoras number of \(F\) is finite, and if \(F\) is of transcendence degree \(d\) over \(\mathbb Q\), then any sum of squares in \(F\) is a sum of \(2^{d+1}\) squares, provided \(d\geq 2\). The proof uses a weaker form of Conjecture 1, whose proof only needs the Milnor conjecture (now the Voevodsky theorem). (More elementary methods give the finiteness and the weaker bound \(2^{d+2}\), see \textit{A. Pfister} [Jahresber. DMV 102, 15--41 (2000; Zbl 1140.19300)].)NEWLINENEWLINEThe next Kato's conjecture refers to the cokernel of the above restriction map. Kato proved it for \(d=1\). It is proved unconditionally in the case where \(K\) is a number field, and conditionally on resolution of singularities for \(n\) invertible in \(K\). (Unconditional proofs were given by \textit{M. Kerz} and \textit{S. Saito} [Publ. Math. IHES 115, 123--183 (2012; Zbl 1263.14026)] and by the author [\url{arXiv:0910.2803}].)NEWLINENEWLINEYet another Kato's conjecture, for schemes over finite fields, is proved conditionally on resolution of singularities.

Recommendations

Cites work

Cited in

(20)

This page was built for publication: Hasse principles for higher-dimensional fields

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