Abstract

Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic group over $L$, the $q$-th Milnor $K$-theory group of $L$ is spanned by the images of the norms coming from finite extensions of $L$ over which $Z$ has a rational point. We also prove a variant of this result for imperfect fields.

Highlights

  • In 1986, in the article [11], Kato and Kuzumaki stated a set of conjectures which aimed at giving a diophantine characterization of cohomological dimension of fields

  • If Z is a scheme of finite type over L, one can introduce the subgroup Nq(Z/L) of KqM (L) generated by the images of the norm morphisms NL′/L when L′ runs through the finite extensions of L such that Z(L′) = ∅

  • For each non negative integer q, we introduce variants of the C1q property and we prove that, contrary to the C1q property, they characterize the cohomological dimension of fields

Read more

Summary

Introduction

In 1986, in the article [11], Kato and Kuzumaki stated a set of conjectures which aimed at giving a diophantine characterization of cohomological dimension of fields. The theorems of Steinberg and Springer (see Section III.2.4 of [18]), which state that, if K is a perfect field with cohomological dimension at most one, every homogeneous space under a linear connected K-group has a zero-cycle of degree 1 (and even a rational point). (1) We first prove that, if P is a finite Galois module over a characteristic 0 field L of cohomological dimension ≤ q + 1 and α is an element in H2(L, P ), KqM (L) is spanned by the images of the norms coming from finite extensions of L trivializing α This requires to use the Bloch-Kato conjecture and some properties of norm varieties that have been established by Rost and Suslin.

Generalities on the cohomological dimension
Proof of the Main Theorem
First step: trivializing Galois cohomology classes
The Galois module Z/lZ
Behaviour with respect to “dévissages”
Second step
Third step
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.