Namespaces
Variants
Actions

Difference between revisions of "Tits building"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex done, typo)
Line 1: Line 1:
A building is a pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t0929001.png" /> consisting of a simplicial [[Complex|complex]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t0929002.png" /> and a family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t0929003.png" /> of subcomplexes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t0929004.png" /> (appartments) satisfying the following conditions: i) each simplex of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t0929005.png" /> or of any appartment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t0929006.png" /> is contained in a maximal simplex (a chamber), and each chamber of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t0929007.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t0929008.png" /> has the same finite dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t0929009.png" /> (the rank of the building); ii) each appartment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290010.png" /> is connected, in the sense that for any two chambers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290011.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290012.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290013.png" /> there is a sequence of chambers of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290014.png" /> starting with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290015.png" /> and ending with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290016.png" />, the intersection of any two successive members of which is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290017.png" />-simplex; iii) any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290018.png" />-simplex of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290019.png" /> (respectively, of any appartment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290020.png" />) is contained in more than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290021.png" /> chambers of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290022.png" /> (respectively, in exactly <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290023.png" /> chambers of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290024.png" />); iv) any two chambers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290026.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290027.png" /> are contained in some appartment; and v) if two simplices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290028.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290029.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290030.png" /> are contained in two appartments <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290031.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290032.png" />, then there is an isomorphism from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290033.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290034.png" /> fixing both <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290035.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290036.png" /> pointwise.
+
t0929001.png ~/encyclopedia/old_files/data/T092/T.0902900
 +
65 0 65
 +
{{TEX|done}}
 +
A building is a pair $  ( \Delta ,\  {\mathcal A} ) $
 +
consisting of a simplicial [[Complex|complex]] $  \Delta $
 +
and a family $  {\mathcal A} $
 +
of subcomplexes $  \Sigma $ (
 +
appartments) satisfying the following conditions: i) each simplex of $  \Delta $
 +
or of any appartment $  \Sigma $
 +
is contained in a maximal simplex (a chamber), and each chamber of $  \Delta $
 +
or $  \Sigma $
 +
has the same finite dimension $  l $ (
 +
the rank of the building); ii) each appartment $  \Sigma $
 +
is connected, in the sense that for any two chambers $  C $ ,  
 +
$  D $
 +
in $  \Sigma $
 +
there is a sequence of chambers of $  \Sigma $
 +
starting with $  C $
 +
and ending with $  D $ ,  
 +
the intersection of any two successive members of which is an $  ( l -1) $ -
 +
simplex; iii) any $  ( l -1) $ -
 +
simplex of $  \Delta $ (
 +
respectively, of any appartment $  \Sigma $ )  
 +
is contained in more than $  2 $
 +
chambers of $  \Delta $ (
 +
respectively, in exactly $  2 $
 +
chambers of $  \Sigma $ );  
 +
iv) any two chambers $  C $ ,  
 +
$  D $
 +
of $  \Delta $
 +
are contained in some appartment; and v) if two simplices $  A $ ,  
 +
$  B $
 +
of $  \Delta $
 +
are contained in two appartments $  \Sigma $ ,  
 +
$  \Sigma ^ \prime  $ ,  
 +
then there is an isomorphism from $  \Sigma $
 +
onto $  \Sigma ^ \prime  $
 +
fixing both $  A $
 +
and $  B $
 +
pointwise.
  
 
===Example 1.===
 
===Example 1.===
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290037.png" /> be a vector space, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290038.png" /> consist of all chains of non-zero subspaces of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290039.png" /> (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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290040.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290041.png" />, together with these subcomplexes, is a building.
+
Let $  V $
 +
be a vector space, let $  \Delta $
 +
consist of all chains of non-zero subspaces of $  V $ (
 +
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 $  V $ .  
 +
Then $  \Delta $ ,  
 +
together with these subcomplexes, is a building.
  
 
===Example 2.===
 
===Example 2.===
More generally, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290042.png" /> be a group with a [[Tits system|Tits system]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290043.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290044.png" /> be the disjoint union of all the cosets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290045.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290046.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290047.png" />, ordered by reverse inclusion, and let appartments be the sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290048.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290049.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290050.png" />, equipped with these appartments, is a building whose rank is that of the Tits system. Moreover, in this situation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290051.png" /> is transitive on the pairs consisting of an appartment and a chamber of that appartment.
+
More generally, let $  G $
 +
be a group with a [[Tits system|Tits system]] $  (G,\  B,\  N,\  S) $ ,  
 +
let $  \Delta $
 +
be the disjoint union of all the cosets $  Pg $ ,  
 +
$  B \leq P<G $ ,  
 +
$  g \in G $ ,  
 +
ordered by reverse inclusion, and let appartments be the sets $  \{ {Pn} : {B \leq P<G,  n \in N} \} g $ ,  
 +
$  g \in G $ .  
 +
Then $  \Delta $ ,  
 +
equipped with these appartments, is a building whose rank is that of the Tits system. Moreover, in this situation $  G $
 +
is transitive on the pairs consisting of an appartment and a chamber of that appartment.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290052.png" /> is a building, then all appartments are isomorphic to the simplicial complex determined by a [[Coxeter group|Coxeter group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290053.png" /> — 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290054.png" />, 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290055.png" /> are just trees in which each vertex is adjacent to at least <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290056.png" /> others.
+
If $  ( \Delta ,\  {\mathcal A} ) $
 +
is a building, then all appartments are isomorphic to the simplicial complex determined by a [[Coxeter group|Coxeter group]] $  (W,S) $
 +
— 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 $  S $ ,  
 +
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 $  2 $
 +
are just trees in which each vertex is adjacent to at least $  3 $
 +
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|Algebraic group]]), although not all buildings do. The two main theorems concerning buildings are classification theorems due to J. Tits [[#References|[a4]]], [[#References|[a5]]]: 1) any spherical building of rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290057.png" /> having an indecomposable Weyl group is isomorphic to the building determined by the Tits system of a simple algebraic group; and 2) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290058.png" /> is an affine building of rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290059.png" /> having an indecomposable Weyl group, and if each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290060.png" />-simplex is contained in a finite number of chambers, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290061.png" /> 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|projective space]] leads to a classification in terms of the standard vector space model (cf. Example 1). By contrast, spherical buildings of rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290062.png" />, and affine buildings of rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290063.png" />, are too wild to be classifiable: there are many constructions, including free ones. Moreover, spherical buildings of rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290064.png" /> with as Weyl group the symmetric group on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t092/t092900/t09290065.png" /> letters correspond naturally to projective planes (incident point-line pairs of a plane corresponding to chambers, cf. also [[Projective plane|Projective plane]]).
+
Buildings are geometric or combinatorial versions of Tits systems. The most important buildings arise from Tits systems associated with algebraic groups (cf. [[Algebraic group|Algebraic group]]), although not all buildings do. The two main theorems concerning buildings are classification theorems due to J. Tits [[#References|[a4]]], [[#References|[a5]]]: 1) any spherical building of rank $  l \geq 3 $
 +
having an indecomposable Weyl group is isomorphic to the building determined by the Tits system of a simple algebraic group; and 2) if $  ( \Delta ,\  {\mathcal A} ) $
 +
is an affine building of rank $  l \geq 4 $
 +
having an indecomposable Weyl group, and if each $  (l -1) $ -
 +
simplex is contained in a finite number of chambers, then $  \Delta $
 +
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|projective space]] leads to a classification in terms of the standard vector space model (cf. Example 1). By contrast, spherical buildings of rank $  2 $ ,  
 +
and affine buildings of rank $  3 $ ,  
 +
are too wild to be classifiable: there are many constructions, including free ones. Moreover, spherical buildings of rank $  2 $
 +
with as Weyl group the symmetric group on $  3 $
 +
letters correspond naturally to projective planes (incident point-line pairs of a plane corresponding to chambers, cf. also [[Projective plane|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.
 
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.

Revision as of 21:25, 16 December 2019

t0929001.png ~/encyclopedia/old_files/data/T092/T.0902900 65 0 65 A building is a pair $ ( \Delta ,\ {\mathcal A} ) $ consisting of a simplicial complex $ \Delta $ and a family $ {\mathcal A} $ of subcomplexes $ \Sigma $ ( appartments) satisfying the following conditions: i) each simplex of $ \Delta $ or of any appartment $ \Sigma $ is contained in a maximal simplex (a chamber), and each chamber of $ \Delta $ or $ \Sigma $ has the same finite dimension $ l $ ( the rank of the building); ii) each appartment $ \Sigma $ is connected, in the sense that for any two chambers $ C $ , $ D $ in $ \Sigma $ there is a sequence of chambers of $ \Sigma $ starting with $ C $ and ending with $ D $ , the intersection of any two successive members of which is an $ ( l -1) $ - simplex; iii) any $ ( l -1) $ - simplex of $ \Delta $ ( respectively, of any appartment $ \Sigma $ ) is contained in more than $ 2 $ chambers of $ \Delta $ ( respectively, in exactly $ 2 $ chambers of $ \Sigma $ ); iv) any two chambers $ C $ , $ D $ of $ \Delta $ are contained in some appartment; and v) if two simplices $ A $ , $ B $ of $ \Delta $ are contained in two appartments $ \Sigma $ , $ \Sigma ^ \prime $ , then there is an isomorphism from $ \Sigma $ onto $ \Sigma ^ \prime $ fixing both $ A $ and $ B $ pointwise.

Example 1.

Let $ V $ be a vector space, let $ \Delta $ consist of all chains of non-zero subspaces of $ V $ ( 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 $ V $ . Then $ \Delta $ , together with these subcomplexes, is a building.

Example 2.

More generally, let $ G $ be a group with a Tits system $ (G,\ B,\ N,\ S) $ , let $ \Delta $ be the disjoint union of all the cosets $ Pg $ , $ B \leq P<G $ , $ g \in G $ , ordered by reverse inclusion, and let appartments be the sets $ \{ {Pn} : {B \leq P<G, n \in N} \} g $ , $ g \in G $ . Then $ \Delta $ , equipped with these appartments, is a building whose rank is that of the Tits system. Moreover, in this situation $ G $ is transitive on the pairs consisting of an appartment and a chamber of that appartment.

If $ ( \Delta ,\ {\mathcal A} ) $ is a building, then all appartments are isomorphic to the simplicial complex determined by a Coxeter group $ (W,S) $ — 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 $ S $ , 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 $ 2 $ are just trees in which each vertex is adjacent to at least $ 3 $ 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 $ l \geq 3 $ having an indecomposable Weyl group is isomorphic to the building determined by the Tits system of a simple algebraic group; and 2) if $ ( \Delta ,\ {\mathcal A} ) $ is an affine building of rank $ l \geq 4 $ having an indecomposable Weyl group, and if each $ (l -1) $ - simplex is contained in a finite number of chambers, then $ \Delta $ 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 $ 2 $ , and affine buildings of rank $ 3 $ , are too wild to be classifiable: there are many constructions, including free ones. Moreover, spherical buildings of rank $ 2 $ with as Weyl group the symmetric group on $ 3 $ 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.

References

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