Moufang polygon

Last updated

In mathematics, Moufang polygons are a generalization by Jacques Tits of the Moufang planes studied by Ruth Moufang, and are irreducible buildings of rank two that admit the action of root groups. In a book on the topic, Tits and Richard Weiss [1] classify them all. An earlier theorem, proved independently by Tits and Weiss, [2] [3] showed that a Moufang polygon must be a generalized 3-gon, 4-gon, 6-gon, or 8-gon, so the purpose of the aforementioned book was to analyze these four cases.

Contents

Definitions

Moufang 3-gons

A Moufang 3-gon can be identified with the incidence graph of a Moufang projective plane. In this identification, the points and lines of the plane correspond to the vertices of the building. Real forms of Lie groups give rise to examples which are the three main types of Moufang 3-gons. There are four real division algebras: the real numbers, the complex numbers, the quaternions, and the octonions, of dimensions 1,2,4 and 8, respectively. The projective plane over such a division algebra then gives rise to a Moufang 3-gon.

These projective planes correspond to the building attached to SL3(R), SL3(C), a real form of A5 and to a real form of E6, respectively.

In the first diagram[ clarification needed what diagram?] the circled nodes represent 1-spaces and 2-spaces in a three-dimensional vector space. In the second diagram[ clarification needed what diagram?] the circled nodes represent 1-space and 2-spaces in a 3-dimensional vector space over the quaternions, which in turn represent certain 2-spaces and 4-spaces in a 6-dimensional complex vector space, as expressed by the circled nodes in the A5 diagram. The fourth case — a form of E6 — is exceptional, and its analogue for Moufang 4-gons is a major feature of Weiss's book.

Going from the real numbers to an arbitrary field, Moufang 3-gons can be divided into three cases as above. The split case in the first diagram exists over any field. The second case extends to all associative, non-commutative division algebras; over the reals these are limited to the algebra of quaternions, which has degree 2 (and dimension 4), but some fields admit central division algebras of other degrees. The third case involves "alternative" division algebras (which satisfy a weakened form of the associative law), and a theorem of Richard Bruck and Erwin Kleinfeld [4] shows that these are Cayley-Dickson algebras. [5] This concludes the discussion of Moufang 3-gons.

Moufang 4-gons

Moufang 4-gons are also called Moufang quadrangles. The classification of Moufang 4-gons was the hardest of all, and when Tits and Weiss started to write it up, a hitherto unnoticed type came into being, arising from groups of type F4. They can be divided into three classes:

There is some overlap here, in the sense that some classical groups arising from pseudo-quadratic spaces can be obtained from quadrangular algebras (which Weiss calls special), but there are other, non-special ones. The most important of these arise from algebraic groups of types E6, E7, and E8. They are k-forms of algebraic groups belonging to the following diagrams: E6 E7 E8. The E6 one exists over the real numbers, though the E7 and E8 ones do not. Weiss calls the quadrangular algebras in all these cases Weiss regular, but not special. There is a further type that he calls defective arising from groups of type F4. These are the most exotic of all—they involve purely inseparable field extensions in characteristic 2—and Weiss only discovered them during the joint work with Tits on the classification of Moufang 4-gons by investigating a strange lacuna that should not have existed but did.

The classification of Moufang 4-gons by Tits and Weiss is related to their intriguing monograph in two ways. One is that the use of quadrangular algebras short-cuts some of the methods known before. The other is that the concept is an analogue to the octonion algebras, and quadratic Jordan division algebras of degree 3, that give rise to Moufang 3-gons and 6-gons.

In fact all the exceptional Moufang planes, quadrangles, and hexagons that do not arise from "mixed groups" (of characteristic 2 for quadrangles or characteristic 3 for hexagons) come from octonions, quadrangular algebras, or Jordan algebras.

Moufang 6-gons

Moufang 6-gons are also called Moufang hexagons. A classification of Moufang 6-gons was stated by Tits, [6] though the details remained unproven until the joint work with Weiss on Moufang Polygons.

Moufang 8-gons

Moufang 8-gons are also called Moufang octagons. They were classified by Tits, [7] where he showed that they all arise from Ree groups of type 2F4.

Quadrangular algebras

A potential use for quadrangular algebras is to analyze two open questions. One is the Kneser-Tits conjecture [8] that concerns the full group of linear transformations of a building (e.g. GLn) factored out by the subgroup generated by root groups (e.g. SLn).

The conjecture is proved for all Moufang buildings except the 6-gons and 4-gons of type E8, in which case the group of linear transformations is conjectured to be equal to the subgroup generated by root groups. For the E8 hexagons this can be rephrased as a question on quadratic Jordan algebras, and for the E8 quadrangles it can now be rephrased in terms of quadrangular algebras.

Another open question about the E8 quadrangle concerns fields that are complete with respect to a discrete valuation: is there, in such cases, an affine building that yields the quadrangle as its structure at infinity?

See also

Notes and references

  1. ↑ Tits, Jacques; Weiss, Richard (2013) [2002]. Moufang Polygons. Springer Monographs in Mathematics. Springer. ISBN   978-3-662-04689-0.
  2. ↑ Tits, Jacques (1976). "Non-existence de certains, polygones généralisés, I, II". Inventiones Mathematicae . 36 (1): 275–284. Bibcode:1976InMat..36..275T. doi:10.1007/BF01390013. S2CID   189829929.51 (3), (1979) 267–269 doi : 10.1007/BF01389919.
  3. ↑ Weiss, Richard (1979). "The nonexistence of certain Moufang polygons". Inventiones Mathematicae. 51 (3): 261–6. Bibcode:1979InMat..51..261W. doi:10.1007/BF01389918. S2CID   120137397.
  4. ↑ Bruck, Richard H.; Kleinfeld, Erwin (1951). "The structure of alternative division rings". Proceedings of the American Mathematical Society . 2 (6): 878–890. doi: 10.2307/2031702 . JSTOR   2031702. MR   0045099.
  5. ↑ Kleinfeld, Erwin (1951). "Alternative division rings of characteristic 2". Proceedings of the National Academy of Sciences of the United States of America . 37 (12): 818–820. Bibcode:1951PNAS...37..818K. doi: 10.1073/pnas.37.12.818 . MR   0041834. PMC   1063478 . PMID   16589035.
  6. ↑ Tits, J. (1976). "Classification of buildings of spherical type and Moufang polygons: a survey". Colloquio Internazionale sulle Teorie Combinatorie. 2. pp. 229–246. OCLC   313112178.
  7. ↑ Tits, J. (1983). "Moufang octagons and Ree groups of type 2F4". Amer. J. Math. 105 (2): 539–594. doi:10.2307/2374268. JSTOR   2374268.
  8. ↑ Jacques, Jacques (1977). "Groupes de whitehead de groupes algébriques simples sur un corps [d'après V. P. Platonov et al.]". Séminaire Bourbaki 1976/77 Exposés 489–506. Lecture Notes in Mathematics. Springer. pp. 218–236. ISBN   978-3-540-35719-3.

Further reading

Related Research Articles

In mathematics, the octonions are a normed division algebra over the real numbers, a kind of hypercomplex number system. The octonions are usually represented by the capital letter O, using boldface O or blackboard bold . Octonions have eight dimensions; twice the number of dimensions of the quaternions, of which they are an extension. They are noncommutative and nonassociative, but satisfy a weaker form of associativity; namely, they are alternative. They are also power associative.

<span class="mw-page-title-main">Jacques Tits</span> Belgian mathematician (1930–2021)

Jacques Tits was a Belgian-born French mathematician who worked on group theory and incidence geometry. He introduced Tits buildings, the Tits alternative, the Tits group, and the Tits metric.

In mathematics, a building is a combinatorial and geometric structure which simultaneously generalizes certain aspects of flag manifolds, finite projective planes, and Riemannian symmetric spaces. Buildings were initially introduced by Jacques Tits as a means to understand the structure of isotropic reductive linear algebraic groups over arbitrary fields. The more specialized theory of Bruhat–Tits buildings plays a role in the study of p-adic Lie groups analogous to that of the theory of symmetric spaces in the theory of Lie groups.

<span class="mw-page-title-main">Root system</span> Geometric arrangements of points, foundational to Lie theory

In mathematics, a root system is a configuration of vectors in a Euclidean space satisfying certain geometrical properties. The concept is fundamental in the theory of Lie groups and Lie algebras, especially the classification and representation theory of semisimple Lie algebras. Since Lie groups and Lie algebras have become important in many parts of mathematics during the twentieth century, the apparently special nature of root systems belies the number of areas in which they are applied. Further, the classification scheme for root systems, by Dynkin diagrams, occurs in parts of mathematics with no overt connection to Lie theory. Finally, root systems are important for their own sake, as in spectral graph theory.

<span class="mw-page-title-main">Dynkin diagram</span> Pictorial representation of symmetry

In the mathematical field of Lie theory, a Dynkin diagram, named for Eugene Dynkin, is a type of graph with some edges doubled or tripled. Dynkin diagrams arise in the classification of semisimple Lie algebras over algebraically closed fields, in the classification of Weyl groups and other finite reflection groups, and in other contexts. Various properties of the Dynkin diagram correspond to important features of the associated Lie algebra.

F<sub>4</sub> (mathematics) 52-dimensional exceptional simple Lie group

In mathematics, F4 is the name of a Lie group and also its Lie algebra f4. It is one of the five exceptional simple Lie groups. F4 has rank 4 and dimension 52. The compact form is simply connected and its outer automorphism group is the trivial group. Its fundamental representation is 26-dimensional.

E<sub>6</sub> (mathematics) 78-dimensional exceptional simple Lie group

In mathematics, E6 is the name of some closely related Lie groups, linear algebraic groups or their Lie algebras , all of which have dimension 78; the same notation E6 is used for the corresponding root lattice, which has rank 6. The designation E6 comes from the Cartan–Killing classification of the complex simple Lie algebras (see Élie Cartan § Work). This classifies Lie algebras into four infinite series labeled An, Bn, Cn, Dn, and five exceptional cases labeled E6, E7, E8, F4, and G2. The E6 algebra is thus one of the five exceptional cases.

E<sub>8</sub> (mathematics) 248-dimensional exceptional simple Lie group

In mathematics, E8 is any of several closely related exceptional simple Lie groups, linear algebraic groups or Lie algebras of dimension 248; the same notation is used for the corresponding root lattice, which has rank 8. The designation E8 comes from the Cartan–Killing classification of the complex simple Lie algebras, which fall into four infinite series labeled An, Bn, Cn, Dn, and five exceptional cases labeled G2, F4, E6, E7, and E8. The E8 algebra is the largest and most complicated of these exceptional cases.

<span class="mw-page-title-main">ADE classification</span>

In mathematics, the ADE classification is a situation where certain kinds of objects are in correspondence with simply laced Dynkin diagrams. The question of giving a common origin to these classifications, rather than a posteriori verification of a parallelism, was posed in. The complete list of simply laced Dynkin diagrams comprises

E<sub>7</sub> (mathematics) 133-dimensional exceptional simple Lie group

In mathematics, E7 is the name of several closely related Lie groups, linear algebraic groups or their Lie algebras e7, all of which have dimension 133; the same notation E7 is used for the corresponding root lattice, which has rank 7. The designation E7 comes from the Cartan–Killing classification of the complex simple Lie algebras, which fall into four infinite series labeled An, Bn, Cn, Dn, and five exceptional cases labeled E6, E7, E8, F4, and G2. The E7 algebra is thus one of the five exceptional cases.

<span class="mw-page-title-main">Reductive group</span>

In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation that has a finite kernel and is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive.

In mathematics, incidence geometry is the study of incidence structures. A geometric structure such as the Euclidean plane is a complicated object that involves concepts such as length, angles, continuity, betweenness, and incidence. An incidence structure is what is obtained when all other concepts are removed and all that remains is the data about which points lie on which lines. Even with this severe limitation, theorems can be proved and interesting facts emerge concerning this structure. Such fundamental results remain valid when additional concepts are added to form a richer geometry. It sometimes happens that authors blur the distinction between a study and the objects of that study, so it is not surprising to find that some authors refer to incidence structures as incidence geometries.

In mathematics, a Ree group is a group of Lie type over a finite field constructed by Ree from an exceptional automorphism of a Dynkin diagram that reverses the direction of the multiple bonds, generalizing the Suzuki groups found by Suzuki using a different method. They were the last of the infinite families of finite simple groups to be discovered.

<span class="mw-page-title-main">Generalized polygon</span>

In mathematics, a generalized polygon is an incidence structure introduced by Jacques Tits in 1959. Generalized n-gons encompass as special cases projective planes (generalized triangles, n = 3) and generalized quadrangles (n = 4). Many generalized polygons arise from groups of Lie type, but there are also exotic ones that cannot be obtained in this way. Generalized polygons satisfying a technical condition known as the Moufang property have been completely classified by Tits and Weiss. Every generalized n-gon with n even is also a near polygon.

<span class="mw-page-title-main">Exceptional object</span>

Many branches of mathematics study objects of a given type and prove a classification theorem. A common theme is that the classification results in a number of series of objects and a finite number of exceptions — often with desirable properties — that do not fit into any series. These are known as exceptional objects. In many cases, these exceptional objects play a further and important role in the subject. Furthermore, the exceptional objects in one branch of mathematics often relate to the exceptional objects in others.

<span class="mw-page-title-main">Coxeter–Dynkin diagram</span> Pictorial representation of symmetry

In geometry, a Coxeter–Dynkin diagram is a graph with numerically labeled edges representing the spatial relations between a collection of mirrors. It describes a kaleidoscopic construction: each graph "node" represents a mirror and the label attached to a branch encodes the dihedral angle order between two mirrors, that is, the amount by which the angle between the reflective planes can be multiplied to get 180 degrees. An unlabeled branch implicitly represents order-3, and each pair of nodes that is not connected by a branch at all represents a pair of mirrors at order-2.

In mathematics, the Freudenthal magic square is a construction relating several Lie algebras. It is named after Hans Freudenthal and Jacques Tits, who developed the idea independently. It associates a Lie algebra to a pair of division algebras A, B. The resulting Lie algebras have Dynkin diagrams according to the table at the right. The "magic" of the Freudenthal magic square is that the constructed Lie algebra is symmetric in A and B, despite the original construction not being symmetric, though Vinberg's symmetric method gives a symmetric construction.

In geometry, a Moufang plane, named for Ruth Moufang, is a type of projective plane, more specifically a special type of translation plane. A translation plane is a projective plane that has a translation line, that is, a line with the property that the group of automorphisms that fixes every point of the line acts transitively on the points of the plane not on the line. A translation plane is Moufang if every line of the plane is a translation line.

4<sub> 21</sub> polytope

In 8-dimensional geometry, the 421 is a semiregular uniform 8-polytope, constructed within the symmetry of the E8 group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it an 8-ic semi-regular figure.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.