Orthogonal Tits Quadrangles

We show that every 4-plump razor-sharp normal Tits quadrangle X is uniquely determined by a non-degenerate quadratic space whose Witt index m is at least 2. If this Witt index is finite, then X is the Tits quadrangle arising from the corresponding building of type B_m or D_m by a standard construction.

Chirality in Geometric Algebra

We define chirality in the context of chiral algebra. We show that it coincides with the more general chirality definition that appears in the literature, which does not require the existence of a quadratic space. Neither matrix representation of the orthogonal group nor complex numbers are used.

CLUSTER ALGEBRAS FROM SURFACES AND EXTENDED AFFINE WEYL GROUPS

We characterize mutation-finite cluster algebras of rank at least 3 using positive semi-definite quadratic forms. In particular, we associate with every unpunctured bordered surface a positive semi-definite quadratic space V , and with every triangulation a basis in V , such that any mutation of a cluster (i.e., a flip of a triangulation) transforms the corresponding bases into each other by partial reflections. Furthermore, every triangulation gives rise to an extended affine Weyl group of type A, which is invariant under flips. The construction is also extended to exceptional skew-symmetric mutation-finite cluster algebras of types E.

Orthogonality spaces of finite rank and the complex Hilbert spaces

An orthogonality space is a set endowed with a symmetric, irreflexive binary relation. By means of the usual orthogonality relation, each anisotropic quadratic space gives rise to such a structure. We investigate in this paper the question to which extent this strong abstraction suffices to characterize complex Hilbert spaces, which play a central role in quantum physics. To this end, we consider postulates concerning the nature and existence of symmetries. Together with a further postulate excluding the existence of nontrivial quotients, we establish a representation theorem for finite-dimensional orthomodular spaces over a dense subfield of [Formula: see text].

Quaternary quadratic lattices over number fields

We relate proper isometry classes of maximal lattices in a totally definite quaternary quadratic space [Formula: see text] with trivial discriminant to certain equivalence classes of ideals in the quaternion algebra representing the Clifford invariant of [Formula: see text]. This yields a good algorithm to enumerate a system of representatives of proper isometry classes of lattices in genera of maximal lattices in [Formula: see text].

Existence

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.

Totally Wild Quadratic Forms of Type E7

This chapter assumes that (K, L, q) is a totally wild quadratic space of type E₇. The goal is to prove the proposition that takes into account Λ‎ of type E₇, D as the quaternion division algebra over K whose image in Br(K) is the Clifford invariant of q, and the trace and trace map. The chapter also considers two other propositions: the first states that if the trace map is not equal to zero, then the Moufang residues R₀ and R₁ are not indifferent; the second states that if the trace map is equal to zero, then the Moufang residues R₀ and R₁ are both indifferent.

Linked Tori, II

This chapter proves several more results about weak isomorphisms between Moufang sets arising from quadratic forms and involutory sets. It first fixes a non-trivial anisotropic quadratic space Λ‎ = (K, L, q) before considering two proper anisotropic pseudo-quadratic spaces. It then describes a quaternion division algebra and its standard involution, a second quaternion division algebra and its standard involution, and an involutory set with a quaternion division algebra and its standard involution. It concludes with one more small observation regarding a pointed anisotropic quadratic space and shows that there is a unique multiplication on L that turns L into an integral domain with a multiplicative identity.

Quadratic Forms of Type F4

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.