Fields of dimension one algebraic over a global or local field need not be of type C₁

Diophantine equations in many variables (11D72) Forms of degree higher than two (11E76) Galois cohomology (11R34) Ramification and extension theory (11S15) Valued fields (12J10)

Abstract: Let

(K, v)

be a Henselian discrete valued field with a quasifinite residue field. This paper proves the existence of an algebraic extension

E / K

satisfying the following: (i)

E

has dimension dim

(E) l e 1

, i.e. the Brauer group Br

(E^{p r i m e})

is trivial, for every algebraic extension

E^{p r i m e} / E

; (ii) finite extensions of

E

are not

C_{1}

-fields. This, applied to the maximal algebraic extension

K

of the field

m a t h b b Q

of rational numbers in the field

m a t h b b Q_{p}

of

p

-adic numbers, for a given prime

p

, proves the existence of an algebraic extension

E_{p} / m a t h b b Q

, such that dim

(E_{p}) l e 1

,

E_{p}

is not a

C_{1}

-field, and

E_{p}

has a Henselian valuation of residual characteristic

p

.

Review text

The French mathematician \textit{J.-P. Serre} noted in [Galois cohomology. Transl. from the French by Patrick Ion. Berlin: Springer (1997; Zbl 0902.12004)] that it is not known whether an algebraic extension \(E\) of the field \(\mathbb Q\) of rational numbers is of type \(C_{1}\), provided that \(\dim(E)\leq 1\); he has added that this is not likely to hold in general. The present article answers the question arising from Serre's remark. The answer is unchanged when \(\mathbb Q\) is replaced by any global or local field. The author uses methods of valuation theory, particularly the fact that nontrivial Krull valuations of global fields are discrete with finite residue fields. This paper proves, for \((K,v)\) a Henselian discrete valued field with a quasifinite residue field, the existence of an algebraic extension \(E/K\) satisfying the following: \((i)\) \(E\) has dimension \(\dim(E)\leq 1\); \((ii)\) finite extensions of \(E\) are not \(C_{1}\)-fields. The main results of the article are presented as two theorems. The first theorem being a special case of the second one.

Recommendations

Cites work

Cited in

(1)

Quasifinite fields of prescribed characteristic and Diophantine dimension

This page was built for publication: Fields of dimension one algebraic over a global or local field need not be of type \(C_1\)

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