Let $G$ be a finite group with a BN-pair of rank $n$. Let $B$ be the associated Borel subgroup.  

Let $P$ be the poset of *proper* right cosets (i.e. $Kg$ with $K \in [B,G)$ and $g \in G$).  

Let $\hat{P}:= P \cup \{\hat{0}, \hat{1}\}$ be the bounded extension of $P$.


All the following questions are very closely related:


*Question 1.1:* Is $\hat{P}$ Cohen-Macaulay?  

*Question 1.2:* Does $\hat{P}$ admits a dual EL-labeling?


*Question 2.1:* Is the order complex $\Delta(P)$ equal (or equivalent) to the building of the BN-pair (as an abstract simplicial complex)?  

*Question 2.2:* Is the geometric realization $|\Delta(P)|$ homotopic to a wedge of $r \ge 1$ spheres $\mathbb{S}^{n-1}$.  

*Question 2.3*: What is $r$? How to compute it?




---


**Edit (17/11/2016)** 


We are not expert on these questions, but we are also not completely ignorant. All these questions (except perhaps Questions 1.2 and 2.3) should be obvious to experts, and we need their clarification.


*About Question 2.1*:  

The definition of the building associated to a BN-pair (as written in [2, Chapter V], [3, Section 15.5] and [4, Section 5.7]) looks like to the definition of $\Delta(P)$ in [6, Section 1.1], but we are not sure that they are equivalent. One doubt comes from the fact that $\Delta(P)$ is defined from the poset of *proper* cosets, whereas, in [2] and [3], the building seems to be defined for the poset of all the cosets (in [4], it is with proper cosets). Anyway, is the equivalence immediate, or does it need a proof? Any reference? 


*About Question 1.1*:  

In [2, Remark 3 p94] it is written: << If you know what a Cohen-Macaulay complex is, then you can easily deduce from our study of the homotopy type of a building that every building is a Cohen-Macaulay complex. >> This result is written without proof, so it should be obvious to expert also. Anyway, is it explicitly proved in some other reference?  

We are using the definition of Cohen-Macaulay poset of [7]: it is a property of the order complex of all the open intervals of the poset. Assuming that Question 2.1 has a positive answer, then, $\Delta(P)$ is a building, so is a Cohen-Macaulay *complex*. Can we deduce that $\hat{P}$ is a Cohen-Macaulay *poset*?


*About Question 1.2*:  

It is known that a poset admitting a (dual) EL-labeling is Cohen-Macaulay, but the converse is false. So this question seems relevant. Is it an open problem? 


*About Question 2.2*:  

By [2, Theorem 2 p 93], it has a positive answer, if Question 2.1 has so. 


*About Question 2.3*:  

 Let $G$ be a semisimple algebraic group defined over some field $k$. In [5, Section 4, (ii')], Tits states that << A spherical building has the homotopy type of a bouquet of spheres.
Furthermore, the number $N$ of these spheres is easily determined; for instance, if the ground field $k$ is finite of characteristic $p$, $N$ is the $p$-contribution to the order of $G$. >>  

Is there a proof of this statement somewhere? Is it true for any finite group with a BN-pair? Or should we assume $G$ of Lie type? and if so how to compute $r$ (denoted $N$ by Tits) beyond the Lie type?


**References**  

$[1]$ Nicolas Bourbaki, Lie groups and Lie algebras. Chapters 4–6, Elements of Mathematics, 2002.  

$[2]$ Kenneth S. Brown, Buildings, 1989.  

$[3]$ Roger W. Carter, Simple groups of Lie type, 1972.  

$[4]$ Paul Garrett, Buildings and classical groups, 1997.  

$[5]$ J. Tits, On buildings and their applications, Proceedings of the ICM (Vancouver), 1975.  

$[6]$ Michelle L. Wachs, Poset topology: tools and applications, 2007.  

$[7]$ Anders Björner, Adriano M. Garsia, and Richard P. Stanley, An introduction to Cohen-Macaulay partially ordered sets, 1982.




---


**Edit (18/11/2016)** 


*About Question 2.1*:  

According to the notation of [Section 1.1, 6], from a simplicial complex $\Delta\_0$, we can make a poset $P(\Delta\_0)$ called the face poset of $\Delta\_0$, and from a poset $P\_0$, we can make a simplicial complex $\Delta(P\_0)$ called the order complex of $P\_0$. The result is (stated without proof in [Section 1.1, 6]): $$|\Delta\_0| \simeq |\Delta(P(\Delta\_0))|$$ i.e. the geometric realization are homeomorphic. Now take $[H,G]$ a boolean interval of finite groups, $P\_0:=C(H,G)$ the poset of proper right cosets $Kg$, and $P\_0^\*$ the dual of $P\_0$ (reversed order). Then $P\_0^\*$ is naturally the face poset of a simplicial complex, which can be called $P^{-1}(P\_0^\*)$. If $H$ is also a Borel subgroup coming from a BN-pair, then $P^{-1}(P\_0^\*)$ is the simplicial complex structure of the building associated to the BN-pair. By applying the result above, it follows that $$|P^{-1}(P\_0^\*)| \simeq |\Delta(P(P^{-1}(P\_0^\*)))| = |\Delta(P\_0^\*)| \simeq |\Delta(P\_0)|$$
The fact that some references consider all the cosets whereas other references consider only proper cosets, does not matter because $G$ would map to the empty simplex.  

So we have a positive answer to Question 2.1. 




---


**Edit (19/11/2016)** 


*About Question 1.1*:  

Russ Woodroofe has points out to us the reference answering this question:  

Anders Björner, Some combinatorial and algebraic properties of Coxeter complexes and Tits buildings, Adv. in Math. 52 (1984), no. 3, 173–212. 


So now, all the questions have been answered, except Questions 1.2 and 2.3 (in general).



Does the graded face poset of a BN-pair admit a EL-labeling?
Regarding question 1.2
----------------------


I do not know an answer to this, nor whether it has been studied. However, it is known that apartments (i.e. Coxeter complexes) are EL-shellable. 


UPDATE: OK, I am not so sure anymore this is known. I thought the following reference do the right things; but they deal with the Bruhat poset of a Coxeter group, not the Coxeter complex resp. the poset of parabolic subgroups. I am terribly sorry for the confusion. Here are the references in any case:


* M. Dyer, “Hecke algebras and shellings of Bruhat intervals,” Compositio Math. 89(1), 91–115 (1993).


Moreover,


* P. H. Edelman, “The Bruhat order of the symmetric group is lexicographically shellable,” Proc. Amer. Math. Soc. 82(3), 355–358 (1981) [doi:10.2307/2043939].
* R. A. Proctor, “Classical Bruhat orders and lexicographic shellability,” J. Algebra 77(1), 104–126 (1982) [doi:10.1016/0021-8693(82)90280-0].
* A. Björner and M. Wachs, “Bruhat order of Coxeter groups and shellability,” Adv. Math. 43(1), 87–100 (1982) [doi:10.1016/0001-8708(82)90029-9].


Regarding question 2.2
----------------------


This is the Solomon-Tits theorem, for which there are multiple proofs in the literature. For example, see *Chao Ku*, MR 1459131 [**A new proof of the Solomon-Tits theorem**](http://dx.doi.org/10.1090/S0002-9939-98-04453-0), *Proc. Amer. Math. Soc.* **126** (1998), no. 7, 1941--1944..


Regarding question 2.3
----------------------


This follows from the Solomon-Tits theorem plus some knowledge about finite groups of Lie-type.


Specifically, each apartment of a spherical building $\Delta$ of rank $n$ (i.e. a Coxeter complex) is (or rather: its geometric realization is) an $(n-1)$-sphere. Fix a single chamber $c$ (i.e. a maximal simplex), set the of apartments containing $c$ cover the whole building, and the building is homotopic to the wedge of these apartments / spheres.


In particular, the number $r:=r(\Delta)$ you are looking for is equal to the number of apartments through $c$, which is equal to the number of chambers opposite $c$.


To compute $r$ for a finite building $\Delta$, let's first consider the case where your group $G$ is a finite group of Lie type, defined over a field with characteristic $p$. Then essentially, $r$ is equal to the $p$-part of the order of $G$. For a more specific statement, see e.g. Corollary 24.11 in


* Gunter Malle and Donna Testerman (2011). Linear Algebraic Groups and Finite Groups of Lie Type. Cambridge University Press.


What happens here is that whenever you have a group with a *split* BN-pair (i.e. $B=U\ltimes T$, where $T$ is a maximal torus), then the unipotent radical $U$ of the Borel subgroup $B$ acts sharply transitively on the apartments through the chamber corresponding to $B$. In the finite case, then $U=O\_p(B)$ (the largest normal $p$-subgroup of $B$). One can turn this into a formula which, however, depends on the type of the building and size of field of definition. If for example your group is of type $A\_n$, i.e. $G:=SL\_{n+1}(q)$ with $q=p^k$ and $p$ prime, then $U$ is a $p$-Sylow subgroup of $G$. W.l.o.g. it is the subgroup of strict upper triangular matrices, and thus its size (the number $r$ you are looking for) is $q^{n(n-1)/2}$.


Now in general, you can form direct products of buildings to get new buildings, whose rank is the sum of the rank of the factors. On the group side, this corresponds to almost direct products (basically, a central extension of a direct product; think about taking two copies of $SL\_{n+1}(q)$ with non-trivial center, then form a product where you glue them together along the center. That is, form the direct product, then factor out the subgroup $\{ (z,z) \mid z\in Z(SL\_{n+1}(q)\}$.


Anyway: In a product $\Delta:=\Delta\_1\times\cdots\times\Delta\_k$ of buildings, we have $r(\Delta) = r(\Delta\_1)\cdots r(\Delta\_k)$. So one can "easily" reduce to the irreducible case. Note that this something one freuqently does when dealing with problems in buildings / coxeter groups / Lie-type groups: Focus on the irreducible case, and then the general case usually follows in an "obvious" way from this, modulo relatively simple but tedious details.


Note that of course you can form products in cross characteristic, and then the simple trick of taking the $p$-part of the order of $G$ cannot work anymore. Also, you can get factors which are not of algebraic nature, as you could take a product of multiple groups of rank 1 (i.e., Moufang sets), in particular, of sharply 2-transitive groups. The resulting group can have arbitrarily large rank, depending on how many factors you take, an is not of Lie type.


Of course in this case, it's still not hard to compute the number $r$ once you have a decomposition of the group (resp. the building) into its factors: In a Moufang set $X$, all points in $X\setminus\{c\}$ are opposite $c$. Also, there are irreducible buildings of rank 2 which are not of "pure" algebraic type: These "Moufang polygons" have been classified here:


* Jacques Tits and Richard Weiss (2002). Moufang Polygons. Springer Berlin Heidelberg, Berlin, Heidelberg


