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.
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.
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.
|[a1]||F. Bruhat, J. Tits, "Groupes réductifs sur un corps local, I. Données radicielles valuées" Publ. Math. IHES , 41 (1972) pp. 5–251 MR0125887|
|[a2]||W.M. Kantor, "Generalized polygons, SCABs and GABs" L.A. Rosati (ed.) , Buildings and the Geometry of Diagrams (CIME Session, Como 1984) , Lect. notes in math. , 1181 , Springer (1986) pp. 79–158 MR0843390 Zbl 0599.51015|
|[a3]||M.A. Ronan, "Buildings: main ideas and applications" Bull. London Math. Soc. (To appear) MR1148671 MR1139056 Zbl 0786.51012 Zbl 0753.51009|
|[a4]||J. Tits, "Buildings of spherical type and finite BN-pairs" , Lect. notes in math. , 286 , Springer (1986) MR0470099 Zbl 0295.20047|
|[a5]||J. Tits, "Immeubles de type affine" L.A. Rosati (ed.) , Buildings and the Geometry of Diagrams (CIME Session, Como 1984) , Lect. notes in math. , 1181 , Springer (1986) pp. 159–190 MR0843391 Zbl 0611.20026|
Tits building. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Tits_building&oldid=21949