On common extensions of valued fields

Preliminaries

10.23943/princeton/9780691161686.003.0002 ◽

2017 ◽

Author(s):

Ehud Hrushovski ◽

François Loeser

Keyword(s):

Valued Fields ◽

Definable Set ◽

Valued Field ◽

Galois Coverings ◽

Definable Type ◽

Definable Sets ◽

Background Material

This chapter provides some background material on definable sets, definable types, orthogonality to a definable set, and stable domination, especially in the valued field context. It considers more specifically these concepts in the framework of the theory ACVF of algebraically closed valued fields and describes the definable types concentrating on a stable definable V as an ind-definable set. It also proves a key result that demonstrates definable types as integrals of stably dominated types along some definable type on the value group sort. Finally, it discusses the notion of pseudo-Galois coverings. Every nonempty definable set over an algebraically closed substructure of a model of ACVF extends to a definable type.

Download Full-text

Existence

10.23943/princeton/9780691166902.003.0016 ◽

2017 ◽

Author(s):

Bernhard M¨uhlherr ◽

Holger P. Petersson ◽

Richard M. Weiss

Keyword(s):

Division Algebra ◽

Quadratic Forms ◽

Structure Theorem ◽

Quadratic Extension ◽

Quadratic Space ◽

Division Algebras ◽

Separable Extension ◽

Valued Fields ◽

Quaternion Division Algebra

This chapter proves that Bruhat-Tits buildings exist. It begins with a few definitions and simple observations about quadratic forms, including a 1-fold Pfister form, followed by a discussion of the existence part of the Structure Theorem for complete discretely valued fields due to H. Hasse and F. K. Schmidt. It then considers the generic unramified cases; the generic semi-ramified cases, the generic ramified cases, the wild unramified cases, the wild semi-ramified cases, and the wild ramified cases. These cases range from a unique unramified quadratic space to an unramified separable quadratic extension, a tamely ramified division algebra, a ramified separable quadratic extension, and a unique unramified quaternion division algebra. The chapter also describes ramified quaternion division algebras D₁, D₂, and D₃ over K containing a common subfield E such that E/K is a ramified separable extension.

Download Full-text