Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

On the defect in the generalized Grunwald--Wang problem

David Harari, Tamás Szamuely

Abstract

The classical Grunwald--Wang theorem asserts that, unless we are in the so-called special case, local cyclic Galois extensions at finitely many completions of a number field can be approximated by a global cyclic extension. In the special case the obstruction is measured by a group of order 2. It has been known for a long time that the Grunwald--Wang theorem extends to a very general context of valued fields. Therefore it is natural to ask whether in the special case the obstruction is always measured by a finite group and if so, is the order of this group bounded independently of the number of places under consideration. We show that the answer to both questions is negative in general, already for rational function fields and discrete valuations coming from points of the affine line. This has some interesting links to the arithmetic of function fields over Q or Q_p.

On the defect in the generalized Grunwald--Wang problem

Abstract

The classical Grunwald--Wang theorem asserts that, unless we are in the so-called special case, local cyclic Galois extensions at finitely many completions of a number field can be approximated by a global cyclic extension. In the special case the obstruction is measured by a group of order 2. It has been known for a long time that the Grunwald--Wang theorem extends to a very general context of valued fields. Therefore it is natural to ask whether in the special case the obstruction is always measured by a finite group and if so, is the order of this group bounded independently of the number of places under consideration. We show that the answer to both questions is negative in general, already for rational function fields and discrete valuations coming from points of the affine line. This has some interesting links to the arithmetic of function fields over Q or Q_p.
Paper Structure (5 sections, 12 theorems, 14 equations)

This paper contains 5 sections, 12 theorems, 14 equations.

Table of Contents

  1. Introduction
  2. Preliminaries
  3. The general construction
  4. Arithmetic base fields
  5. Proof.

Key Result

Theorem 1.2

There exists a field $k$ of characteristic zero such that for every finite set $T$ of discrete valuations of $K:=k(t)$ coming from rational points of ${\bf P}^1_k$ the diagonal map has infinite cokernel, provided $T$ has at least 2 elements.

Theorems & Definitions (22)

  • Theorem 1.2
  • Theorem 1.3
  • Corollary 1.4
  • Corollary 1.5
  • Lemma 2.1
  • proof
  • Corollary 2.2
  • Corollary 2.3: ctsja, Proposition 8.4 (ii)
  • proof
  • Corollary 2.4
  • ...and 12 more