Editing Building (mathematics) (section)

==Overview==

[[File:Bruhat-Tits-tree-for-Q-2.png|thumb|The Bruhat&ndash;Tits tree for the 2-adic Lie group {{math|SL(2,''Q''<sub>2</sub>)}}.]]

The notion of a building was invented by [[Jacques Tits]] as a means of describing [[group of Lie type|simple algebraic groups]] over an arbitrary [[field (mathematics)|field]]. Tits demonstrated how to every such [[group (mathematics)|group]] {{mvar|G}} one can associate a [[simplicial complex]] {{math|Δ {{=}} Δ(''G'')}} with an [[Group action (mathematics)|action]] of {{mvar|G}}, called the '''spherical building''' of {{mvar|G}}. The group {{mvar|G}} imposes very strong combinatorial regularity conditions on the complexes {{math|Δ}} that can arise in this fashion. By treating these conditions as axioms for a class of simplicial complexes, Tits arrived at his first definition of a building. A part of the data defining a building {{math|Δ}} is a [[Coxeter group]] {{mvar|W}}, which determines a highly symmetrical simplicial complex {{math|Σ {{=}} Σ(''W'',''S'')}}, called the ''Coxeter complex''. A building {{math|Δ}} is glued together from multiple copies of {{math|Σ}}, called its ''apartments'', in a certain regular fashion. When {{mvar|W}} is a finite Coxeter group, the Coxeter complex is a topological sphere, and the corresponding buildings are said to be of '''spherical type'''. When {{mvar|W}} is an [[affine Weyl group]], the Coxeter complex is a subdivision of the affine plane and one speaks of '''affine''', or '''Euclidean''', buildings. An affine building of type {{math|''Ã''<sub>1</sub>}} is the same as an infinite [[tree (graph theory)|tree]] without terminal vertices.

Although the theory of semisimple algebraic groups provided the initial motivation for the notion of a building, not all buildings arise from a group. In particular, [[projective plane]]s and [[generalized quadrangle]]s form two classes of graphs studied in [[incidence geometry]] which satisfy the axioms of a building, but may not be connected with any group. This phenomenon turns out to be related to the low rank of the corresponding Coxeter system (namely, two). Tits  proved a remarkable theorem: all spherical buildings of rank at least three are connected with a group; moreover, if a building of rank at least two is connected with a group then the group is essentially determined by the building ({{harvnb|Tits|1974}}).

Iwahori–Matsumoto, Borel–Tits and Bruhat–Tits demonstrated that in analogy with Tits' construction of spherical buildings, affine buildings can also be constructed from certain groups, namely, reductive algebraic groups over a [[local field|local non-Archimedean field]]. Furthermore, if the split rank of the group is at least three, it is essentially determined by its building. Tits later reworked the foundational aspects of the theory of buildings using the notion of a '''chamber system''', encoding the building solely in terms of adjacency properties of simplices of maximal dimension; this leads to simplifications in both spherical and affine cases. He proved that, in analogy with the spherical case, every building of affine type and rank at least four arises from a group.