(weak?) BN-Pair / Tits System for Sporadic Groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T03:08:55Z http://mathoverflow.net/feeds/question/93463 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/93463/weak-bn-pair-tits-system-for-sporadic-groups (weak?) BN-Pair / Tits System for Sporadic Groups Simon Lentner 2012-04-07T21:05:41Z 2012-04-15T17:53:54Z <p>The structure of finite simple groups of Lie type of arbitrary rank can be described well via BN-pairs. BN-pairs basically generalize the Bruhat decomposition of matrices into monomial $N$ and triangular $B$ matrices and come with a "Weyl group" $N/(B\cap N)$, that has to be a Coxeter group.</p> <p>Conversely, Tits showed in 1974 that a group with a spherical BN-pair of rank at least 3 is of "Lie type". (Ironically, the general group identification needed in the classification for lowest rank 3 was the "quasi-thin" case solved last by Aschbacher). </p> <p>Now the existence of a rank 1 BN-pair for a group $G$ is equivalent to the existence of a doubly-transitive action of $G$ on a set $X$ (which can be taken to be $G/B$). This implies that also the sporadic simple Mathieu groups have a BN-pair (of rank 1).</p> <p>Now my question: The construction of the Monster group uses also a rank 1 "BN-construction" that is not proper: The "triality" element in the Weyl group $S_3$ takes the (non-normalizing) role the transpositions ought to have. Sometimes the term "weak BN-pair" is mentioned. However, I could not find a proper definition. Can one briefly explain this concept and how it is related to the usual BN-pairs? Is it as generic or rather ad-hoc? Can one suggest good introductory literature? </p> <p>EDIT: Found e.g. in appendix F of Aschbachers "Classification of Quasithin groups"</p> http://mathoverflow.net/questions/93463/weak-bn-pair-tits-system-for-sporadic-groups/93654#93654 Answer by Simon Lentner for (weak?) BN-Pair / Tits System for Sporadic Groups Simon Lentner 2012-04-10T12:36:58Z 2012-04-10T17:57:43Z <p>Thanx to Humphreys and Koen for providing, that rank 1,2 is "geometrically unsatisfying" in the sense of Tits buildings and suggesting the notion of split BN-pairs as a <strong>tightning</strong>. But looking at the suggested source (and others) I'm less convinced this helps answering the question....(?)</p> <p><strong>Split BN-Pairs of rank 2</strong> (or "Moufang polygons"?) were classified (as you said) by Fong-Seitz and the result is (online e.g. in ">this secondary PDF), that the're basically: </p> <p>$$A_2,\;,B_2,\;^2A_4,\; ^2A_5, \; G_2,\;^3D_4,\;^2F_4$$</p> <p><strong>Split BN-Pairs of rank 1</strong> (or Moufang sets) were shortly before classified by Hering, Kantor, Seitz (online as <a href="http://uoregon.edu/~kantor/PAPERS/BNrank1I.pdf" rel="nofollow">PDF here</a>) as close to (does the occasional double-occurence to above worry me?):</p> <p>$$A_1,\; ^2B_2, \; ^2A_2,\;^2G_2,\;\text{or sharply 2-transitive}$$</p> <p>However none of these appears to me a <strong>sporadic simple group</strong>? It still seems to me, that the prominent $B,N$-construction (e.g. Griess himself) of the monster is rather a <strong>weakening</strong>. Keeping things provable might be the reason for the complicated definition of a <strong>weak BN-Pair</strong> in Aschbachers Book (s.a.)- any clues on this? I couldn't even convince myself this IS the notion we look for?</p> <p>...BUT I found another source: Parker e.g. uses weak BN-pairs of rank 2 (!) to distinguish odd characteristic Lie groups <a href="http://plms.oxfordjournals.org/content/93/2/325.abstract" rel="nofollow">paper e.g. here</a>. And I found (appearently quite different) weak BN-Pairs of odd order p...</p> http://mathoverflow.net/questions/93463/weak-bn-pair-tits-system-for-sporadic-groups/94089#94089 Answer by Dima Pasechnik for (weak?) BN-Pair / Tits System for Sporadic Groups Dima Pasechnik 2012-04-15T05:03:15Z 2012-04-15T17:53:54Z <p>There has been a lot of work done on various generalizations of the concept of the building, to apply them to sporadic groups. These generalizations are variously known as diagram geometries, chamber systems, etc. Names like G.Stroth, S.Smith, M.Ronan, A. Delgado, D. Goldschmidt, B. Stellmacher, etc. spring to mind. There is an "elementary" book on diagram geometries by A.Pasini (a review of the latter is <a href="http://www.ams.org/journals/bull/1997-34-01/S0273-0979-97-00699-X/S0273-0979-97-00699-X.pdf" rel="nofollow"> here.</a>) There is a series of books by A.A.Ivanov (some of them are jointly with S.Shpectorov) developing a theory of this sort to deal with a majority of sporadics. </p> <p>Indeed, one needs a weakening of the classical buildings to cover sporadics. Instead of starting from a weak BN-pair, one can weaken Tits' axioms from his "Local approach to buildings" to develop a theory dealing with sporadics. E.g. Witt designs for Mathieu groups (already from 1938) are extensions (in certain well-defined way) of the affine plane of order 3 and of the projective plane of order 4. Similar things can be done with $HS$, $Suz$, Fischer's sporadic groups, $He$, $McL$, $Co_3$, $Co_2$, and $BM$. (E.g. --- cannot resist citing myself here: the 3-transposition graph for $Fi_{22}$ can be <a href="http://www.sciencedirect.com/science/article/pii/0097316595900624" rel="nofollow">characterized</a> as the extension of the polar space for $U_6(2)$.) This appears to work when the underlying combinatorics is not too complicated (and the corresponding permutation representation has low rank). </p> <p>Regarding the $BN$-pairs approach, I must say I don't recall details, having done very little work on these things in past 15 years. In a nutshell, one cannot hope for "real" apartments, etc., so one instead looks at amalgams of parabolic subgroups. Instead of a definition, let me giev you a toy example, $GL_4(2)$ and its Borel subgroup $B$ (taken to be the upper-traingular matrices, say). Then you have "minimal parabolics" $P_i$, i.e. subgroups generated by $B$ and $e_{i+1,i}$, for $i=1,2,3$ (here $e_{ij}$ denotes the matrix with 1 at position $ij$ and on the main diagonals, and 0s elsewhere). Then, you get maximal parabolics, $P_{ij}$, generated by $P_i\cup P_j$. This is what is called a rank 3 amalgam (as you have 3 minimal parabolics).</p> <p>Your geometry then consists of cosets of $B$, $P_i$'s, $P_{ij}$'s in the whole group and in each other. The amalgam is now the set-theoretic union of $B$, $P_i$'s, $P_{ij}$'s, and you can study its universal completion, i.e. the biggest group where is can be embedded into. By tweaking the groups which can arise as $B$, $P_i$'s, $P_{ij}$'s, one covers more cases than buildings, and tries to stay away from infinite universal completions for ranks at least 3.</p> <p>PS. IMHO, Aschbacher sometimes tends to ignore prior work, re-inventing the wheel in different terminology.</p>