Search Results

This chapter presents various results about quadratic forms of type F₄. The Moufang quadrangles of type F₄ were discovered in the course of carrying out the classification of Moufang polygons and gave rise to the notion of a quadratic form of type F₄. The chapter begins with the notation stating that a quadratic space Λ‎ = (K, L, q) is of type F₄ if char(K) = 2, q is anisotropic and: for some separable quadratic extension E/K with norm N; for some subfield F of K containing K² viewed as a vector space over K with respect to the scalar multiplication (t, s) ↦ t²s for all (t, s) ∈ K x F; and for some α‎ ∈ F* and some β‎ ∈ K*. The chapter also considers a number of propositions regarding quadratic spaces and discrete valuations.

This chapter deals with the residues of a Bruhat-Tits building whose building at infinity is an exceptional quadrangle. It begins with the remark that if Λ‎ is an arbitrary quadratic space of type Eℓ for ℓ = 6, 7 or 8 or of typeF₄ over a field K that is complete with respect to a discrete valuation, and if in the F4-case the subfield F is closed with respect to this valuation and if Δ‎ is the corresponding Moufang quadrangle of type Eℓ or F₄, then there always exists a unique affine building Ξ‎ such that Δ‎ is the building at infinity of Ξ‎ with respect to its complete system of apartments. The chapter also considers the standard embedding of the apartment A in the Euclidean plane which takes the intersection of A and R to the set of eight triangles containing the origin. Finally, it describes a Moufang polygon with two root group sequences.

This chapter presents various results about quadratic forms over a field complete with respect to a discrete valuation. The discussion is based on the assumption that K is a field of arbitrary characteristic which is complete with respect to a discrete valuation ν‎ and uses the usual convention that ν‎(0) = infinity. The chapter starts with a notation regarding the ring of integers of K and the natural map from it to the residue field, followed by a number of propositions regarding an anisotropic quadratic space. These include an anisotropic quadratic space with residual quadratic spaces, an unramified quadratic space of finite dimension, unramified finite-dimensional anisotropic quadratic forms over K, unramified anisotropic quadratic forms and a bilinear form, and a round quadratic space over K. The chapter concludes with a theorem that there exists an anisotropic quadratic form over K, unique up to isometry, and is non-singular.

This chapter summarizes the results about the residues of Bruhat-Tits buildings other than those associated with the exceptional Moufang quadrangles examined in previous chapters. It first considers cases, for which it assumes that Λ‎ is complete with respect to a discrete valuation in an appropriate sense. It then presents the Coxeter diagram of Ξ‎ and the vertex set S of such diagram, along with the J-residue of the building Ξ‎, which is called a gem if J is the complement in the S of a special vertex. The chapter also discusses the structure of the gems of Ξ‎ as well as cases in which the pseudo-quadratic space is defined to be ramified or unramified.

This chapter deals with the case that the building at infinity of the Bruhat-Tits building Ξ‎ is a Moufang quadrangle of type E⁶, E₇, and E₈. It begins with a hypothesis that takes into account a quadratic space of type Eℓ for ℓ = 6, 7 or 8, K which is complete with respect to a discrete valuation, the two residues of Ξ‎, and the two root group sequences of a Moufang polygon. It then considers the case that Ξ‎ is an unramified quadrangle if the proposition δ‎_Ψ‎ = 2 holds. It also explains two other propositions: Ξ‎ is a semi-ramified quadrangle if δ‎_Λ‎ = 1 and δ‎_Ψ‎ = 2 holds, and a ramified quadrangle if δ‎_Λ‎ = δ‎_Ψ‎ = 1 holds.

This chapter deals with the case that the building at infinity Λ‎ of the Bruhat-Tits building Ξ‎ is a Moufang quadrangle of type F₄. It begins with the hypothesis stating that Λ‎ = (K, L, q) is a quadratic space of type F₄, K is complete with respect to a discrete valuation ν‎ and F is closed with respect to ν‎, Λ‎ is the Moufang quadrangle corresponding to a root group sequence, and R₀ and R₁ as the two residues of Ξ‎. The chapter also considers the theorem supposing that Λ‎ is of type F₄ and that R₀ and R₁ are not both indifferent, and claims that both cases really occur. Finally, it presents the proposition that R₀ and R₁ are both indifferent if and only if q is totally wild.