# Tits building

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A building is a pair consisting of a simplicial complex and a family of subcomplexes (appartments) satisfying the following conditions: i) each simplex of or of any appartment is contained in a maximal simplex (a chamber), and each chamber of or has the same finite dimension (the rank of the building); ii) each appartment is connected, in the sense that for any two chambers , in there is a sequence of chambers of starting with and ending with , the intersection of any two successive members of which is an -simplex; iii) any -simplex of (respectively, of any appartment ) is contained in more than chambers of (respectively, in exactly chambers of ); iv) any two chambers , of are contained in some appartment; and v) if two simplices , of are contained in two appartments , , then there is an isomorphism from onto fixing both and pointwise.

### Example 1.

Let be a vector space, let consist of all chains of non-zero subspaces of (ordered by inclusion), and let each appartment consist of all those chains consisting of subspaces spanned by the non-empty subsets of some basis of . Then , together with these subcomplexes, is a building.

### Example 2.

More generally, let be a group with a Tits system , let be the disjoint union of all the cosets , , , ordered by reverse inclusion, and let appartments be the sets , . Then , equipped with these appartments, is a building whose rank is that of the Tits system. Moreover, in this situation is transitive on the pairs consisting of an appartment and a chamber of that appartment.

If is a building, then all appartments are isomorphic to the simplicial complex determined by a Coxeter group — the Weyl group of the building, and unique up to isomorphism — as follows: simplices are the right cosets of the subgroups generated by non-empty subsets of , where cosets are again ordered by reverse inclusion. In Example 2 this Weyl group is the same as that of the Tits system. A building is called spherical or affine if its Weyl group is. Affine buildings of rank are just trees in which each vertex is adjacent to at least others.

Buildings are geometric or combinatorial versions of Tits systems. The most important buildings arise from Tits systems associated with algebraic groups (cf. Algebraic group), although not all buildings do. The two main theorems concerning buildings are classification theorems due to J. Tits [a4], [a5]: 1) any spherical building of rank having an indecomposable Weyl group is isomorphic to the building determined by the Tits system of a simple algebraic group; and 2) if is an affine building of rank having an indecomposable Weyl group, and if each -simplex is contained in a finite number of chambers, then is isomorphic to the complex determined by the affine Tits system of a simple algebraic group over a complete local field. These results stem from the fact that a great deal of geometric information is encoded in the building axioms. In fact, 1) can be viewed as a vast generalization of the classical result that a suitable axiomatization of the notion of projective space leads to a classification in terms of the standard vector space model (cf. Example 1). By contrast, spherical buildings of rank , and affine buildings of rank , are too wild to be classifiable: there are many constructions, including free ones. Moreover, spherical buildings of rank with as Weyl group the symmetric group on letters correspond naturally to projective planes (incident point-line pairs of a plane corresponding to chambers, cf. also Projective plane).

Buildings are important for the study of the internal structure, representation theory and geometry of simple algebraic groups. They play important roles in the study of finite simple groups and finite geometries as well as in various cohomological questions.

How to Cite This Entry:
Tits building. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Tits_building&oldid=11283
This article was adapted from an original article by W.M. Kantor (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article