scholarly journals Parabolic double cosets in Coxeter groups

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/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.


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.


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.


2019 ◽  
Vol 72 (1) ◽  
pp. 1-55
Author(s):  
Pramod N. Achar ◽  
Simon Riche ◽  
Cristian Vay

AbstractIn this paper we construct an abelian category of mixed perverse sheaves attached to any realization of a Coxeter group, in terms of the associated Elias–Williamson diagrammatic category. This construction extends previous work of the first two authors, where we worked with parity complexes instead of diagrams, and we extend most of the properties known in this case to the general setting. As an application we prove that the split Grothendieck group of the Elias–Williamson diagrammatic category is isomorphic to the corresponding Hecke algebra, for any choice of realization.


2005 ◽  
Vol 79 (1) ◽  
pp. 141-147 ◽  
Author(s):  
Götz Pfeiffer ◽  
Gerhard Röhrle

AbstractThe conjugacy classes of so-called special involutions parameterize the constituents of the action of a finite Coxeter group on the cohomology of the complement of its complexified hyperplane arrangement. In this note we give a short intrinsic characterisation of special involutions in terms of so-called bulky parabolic subgroups.


2019 ◽  
Vol 19 (05) ◽  
pp. 2050082 ◽  
Author(s):  
Pedro A. García-Sánchez ◽  
Andrés Herrera-Poyatos

We introduce the concept of isolated factorizations of an element of a commutative monoid and study its properties. We give several bounds for the number of isolated factorizations of simplicial affine semigroups and numerical semigroups. We also generalize [Formula: see text]-rectangular numerical semigroups to the context of simplicial affine semigroups and study their isolated factorizations. As a consequence of our results, we characterize those complete intersection simplicial affine semigroups with only one Betti minimal element in several ways. Moreover, we define Betti sorted and Betti divisible simplicial affine semigroups and characterize them in terms of gluings and their minimal presentations. Finally, we determine all the Betti divisible numerical semigroups, which turn out to be those numerical semigroups that are free for any arrangement of their minimal generators.


Sign in / Sign up

Export Citation Format

Share Document