scholarly journals Parabolic Double Cosets in Coxeter Groups

10.37236/6741 ◽  
2018 ◽  
Vol 25 (1) ◽  
Author(s):  
Sara C. Billey ◽  
Matjaž Konvalinka ◽  
T. Kyle Petersen ◽  
William Slofstra ◽  
Bridget E. Tenner

Parabolic subgroups $W_I$ of Coxeter systems $(W,S)$, as well as their ordinary and double quotients $W / W_I$ and $W_I \backslash W / W_J$, appear in many contexts in combinatorics and Lie theory, including the geometry and topology of generalized flag varieties and the symmetry groups of regular polytopes. The set of ordinary cosets $w W_I$, for $I \subseteq S$, forms the Coxeter complex of $W$, and is well-studied. In this article we look at a less studied object: the set of all double cosets $W_I w W_J$ for $I, J \subseteq S$. Double cosets are not uniquely presented by triples $(I,w,J)$. We describe what we call the lex-minimal presentation, and prove that there exists a unique such object for each double coset. Lex-minimal presentations are then used to enumerate double cosets via a finite automaton depending on the Coxeter graph for $(W,S)$. As an example, we present a formula for the number of parabolic double cosets with a fixed minimal element when $W$ is the symmetric group $S_n$ (in this case, parabolic subgroups are also known as Young subgroups). Our formula is almost always linear time computable in $n$, and we show how it can be generalized to any Coxeter group with little additional work. We spell out formulas for all finite and affine Weyl groups in the case that $w$ is the identity element.


2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Sara Billey ◽  
Matjaz Konvalinka ◽  
T. Kyle Petersen ◽  
William Slofstra ◽  
Bridget Tenner

International audience Parabolic subgroups WI of Coxeter systems (W,S) and their ordinary and double cosets W/WI and WI\W/WJ appear in many contexts in combinatorics and Lie theory, including the geometry and topology of generalized flag varieties and the symmetry groups of regular polytopes. The set of ordinary cosets wWI , for I ⊆ S, forms the Coxeter complex of W , and is well-studied. In this extended abstract, we look at a less studied object: the set of all double cosets WIwWJ for I,J ⊆ S. Each double coset can be presented by many different triples (I, w, J). We describe what we call the lex-minimal presentation and prove that there exists a unique such choice for each double coset. Lex-minimal presentations can be enumerated via a finite automaton depending on the Coxeter graph for (W, S). In particular, we present a formula for the number of parabolic double cosets with a fixed minimal element when W is the symmetric group Sn. In that case, parabolic subgroups are also known as Young subgroups. Our formula is almost always linear time computable in n, and the formula can be generalized to any Coxeter group.



10.37236/1871 ◽  
2005 ◽  
Vol 11 (2) ◽  
Author(s):  
John R. Stembridge

It is a well-known theorem of Deodhar that the Bruhat ordering of a Coxeter group is the conjunction of its projections onto quotients by maximal parabolic subgroups. Similarly, the Bruhat order is also the conjunction of a larger number of simpler quotients obtained by projecting onto two-sided (i.e., "double") quotients by pairs of maximal parabolic subgroups. Each one-sided quotient may be represented as an orbit in the reflection representation, and each double quotient corresponds to the portion of an orbit on the positive side of certain hyperplanes. In some cases, these orbit representations are "tight" in the sense that the root system induces an ordering on the orbit that yields effective coordinates for the Bruhat order, and hence also provides upper bounds for the order dimension. In this paper, we (1) provide a general characterization of tightness for one-sided quotients, (2) classify all tight one-sided quotients of finite Coxeter groups, and (3) classify all tight double quotients of affine Weyl groups.



Author(s):  
Eva Viehmann

Abstract The set of Newton strata in a given Iwahori double coset in the loop group of a reductive group $G$ is indexed by a finite subset of the set $B(G)$ of Frobenius-conjugacy classes. For unramified $G$, we show that it has a unique minimal element and determine this element. Under a regularity assumption, we also compute the dimension of the corresponding Newton stratum. We derive corresponding results for affine Deligne–Lusztig varieties.



2000 ◽  
Vol 52 (2) ◽  
pp. 265-292 ◽  
Author(s):  
Michel Brion ◽  
Aloysius G. Helminck

AbstractWe study K-orbits in G/P where G is a complex connected reductive group, P ⊆ G is a parabolic subgroup, and K ⊆ G is the fixed point subgroup of an involutive automorphism θ. Generalizing work of Springer, we parametrize the (finite) orbit set K \ G/P and we determine the isotropy groups. As a consequence, we describe the closed (resp. affine) orbits in terms of θ-stable (resp. θ-split) parabolic subgroups. We also describe the decomposition of any (K, P)-double coset in G into (K, B)-double cosets, where B ⊆ P is a Borel subgroup. Finally, for certain K-orbit closures X ⊆ G/B, and for any homogeneous line bundle on G/B having nonzero global sections, we show that the restriction map resX : H0(G/B, ) → H0(X, ) is surjective and that Hi(X, ) = 0 for i ≥ 1. Moreover, we describe the K-module H0(X, ). This gives information on the restriction to K of the simple G-module H0(G/B, ). Our construction is a geometric analogue of Vogan and Sepanski’s approach to extremal K-types.



2013 ◽  
Vol DMTCS Proceedings vol. AS,... (Proceedings) ◽  
Author(s):  
Pietro Mongelli

International audience We give closed combinatorial product formulas for Kazhdan–Lusztig poynomials and their parabolic analogue of type $q$ in the case of boolean elements, introduced in [M. Marietti, Boolean elements in Kazhdan–Lusztig theory, J. Algebra 295 (2006)], in Coxeter groups whose Coxeter graph is a tree. Such formulas involve Catalan numbers and use a combinatorial interpretation of the Coxeter graph of the group. In the case of classical Weyl groups, this combinatorial interpretation can be restated in terms of statistics of (signed) permutations. As an application of the formulas, we compute the intersection homology Poincaré polynomials of the Schubert varieties of boolean elements. Nous donnons des formules combinatoires pour les polynômes de Kazhdan-Lusztig et leurs analogues paraboliques de type $q$ pour les éléments booléens, introduite dans [M. Marietti, Boolean elements in Kazhdan–Lusztig theory, J. Algebra 295 (2006)], dans les groupes de Coxeter dont le graphe de Coxeter est un arbre. Ces formules utilisent les nombres de Catalan et une interprétation combinatoire des graphes du groupe de Coxeter. Dans le cas des groupes de Weyl classiques, cette interprétation combinatoire peut être reformulée en termes de statistiques de permutations avec signe. Avec ces formules, on peut calculer le polynôme de l’intersection homologie de Poincaré pour la variété de Schubert de éléments booléens.



2021 ◽  
Vol 2021 (5) ◽  
Author(s):  
P. Gavrylenko ◽  
M. Semenyakin ◽  
Y. Zenkevich

Abstract We notice a remarkable connection between the Bazhanov-Sergeev solution of Zamolodchikov tetrahedron equation and certain well-known cluster algebra expression. The tetrahedron transformation is then identified with a sequence of four mutations. As an application of the new formalism, we show how to construct an integrable system with the spectral curve with arbitrary symmetric Newton polygon. Finally, we embed this integrable system into the double Bruhat cell of a Poisson-Lie group, show how triangular decomposition can be used to extend our approach to the general non-symmetric Newton polygons, and prove the Lemma which classifies conjugacy classes in double affine Weyl groups of A-type by decorated Newton polygons.



2014 ◽  
Vol 41 (4) ◽  
pp. 911-948 ◽  
Author(s):  
Elizabeth Beazley ◽  
Margaret Nichols ◽  
Min Hae Park ◽  
XiaoLin Shi ◽  
Alexander Youcis


10.37236/9037 ◽  
2020 ◽  
Vol 27 (3) ◽  
Author(s):  
Hiranya Kishore Dey ◽  
Sivaramakrishnan Sivasubramanian

The Eulerian polynomial $A_n(t)$ enumerating descents in $\mathfrak{S}_n$ is known to be gamma positive for all $n$. When enumeration is done over the type B and type D Coxeter groups, the type B and type D Eulerian polynomials are also known to be gamma positive for all $n$. We consider $A_n^+(t)$ and $A_n^-(t)$, the polynomials which enumerate descents in the alternating group $\mathcal{A}_n$ and in $\mathfrak{S}_n - \mathcal{A}_n$ respectively.  We show the following results about $A_n^+(t)$ and $A_n^-(t)$: both polynomials are gamma positive iff $n \equiv 0,1$ (mod 4). When $n \equiv 2,3$ (mod 4), both polynomials are not palindromic. When $n \equiv 2$ (mod 4), we show that {\sl two} gamma positive summands add up to give $A_n^+(t)$ and $A_n^-(t)$. When $n \equiv 3$ (mod 4), we show that {\sl three} gamma positive summands add up to give both $A_n^+(t)$ and $A_n^-(t)$.  We show similar gamma positivity results about the descent based type B and type D Eulerian polynomials when enumeration is done over the positive elements in the respective Coxeter groups. We also show that the polynomials considered in this work are unimodal.



1985 ◽  
Vol 55 (2) ◽  
pp. 103-130 ◽  
Author(s):  
Shin-ichi Kato


Sign in / Sign up

Export Citation Format

Share Document