Search

For a classical group $G$ and a Coxeter element $c$ of the Weyl group, it is known that the coordinate ring $\mathbb{C}[G^{e,c^2}]$ of the double Bruhat cell $G^{e,c^2}:=B\cap B_-c^2B_-$ has a structure of cluster algebra of finite type, where $B$ and $B_-$ are opposite Borel subgroups. In this article, we consider the case $G$ is of type ${\rm B}_r$, ${\rm C}_r$ or ${\rm D}_r$ and describe all the cluster variables in $\mathbb{C}[G^{e,c^2}]$ as monomial realizations of certain Demazure crystals., Comment: arXiv admin note: text overlap with arXiv:1703.08323, arXiv:1604.05956

Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$, $B$ and $B_-$ be its two opposite Borel subgroups. For two elements $u$, $v$ of the Weyl group $W$, it is known that the coordinate ring ${\mathbb C}[G^{u,v}]$ of the double Bruhat cell $G^{u,v}=BuB\cap B_-vB_-$ is isomorphic to a cluster algebra $\mathcal{A}(\textbf{i})_{{\mathbb C}}$ [arXiv:math/0305434, arXiv:1602.00498]. In the case $u=e$, $v=c^2$ ($c$ is a Coxeter element), the algebra ${\mathbb C}[G^{e,c^2}]$ has only finitely many cluster variables. In this article, for $G={\rm SL}_{r+1}(\mathbb{C})$, we obtain explicit forms of all the cluster variables in $\mathbb{C}[G^{e,c^2}]$ by considering its additive categorification via preprojective algebras, and describe them in terms of monomial realizations of Demazure crystals.

For well-generated complex reflection groups, Chapuy and Stump gave a simple product for a generating function counting reflection factorizations of a Coxeter element by their length. This is refined here to record the number of reflections used from each orbit of hyperplanes. The proof is case-by-case via the classification of well-generated groups. It implies a new expression for the Coxeter number, expressed via data coming from a hyperplane orbit; a case-free proof of this due to J. Michel is included.

In this article we give a simple, almost uniform proof that the lattice of noncrossing partitions associated with a well-generated complex reflection group is lexicographically shellable. So far a uniform proof is available only for Coxeter groups. In particular we show that, for any complex reflection group $W$ and any element $x\in W$, every $x$-compatible reflection order is a recursive atom order of the corresponding interval in absolute order. Since any Coxeter element $\gamma$ in any well-generated complex reflection group admits a $\gamma$-compatible reflection order, the lexicographic shellability follows from a well-known result due to Bj\"orner and Wachs., Comment: This article was withdrawn, since the generalized statement that any compatible order below some reflection group element in absolute order is a recursive atom order is wrong. A counterexample is for instance the absolute order interval between the identity and the longest element in $H_3$. The statement for Coxeter elements is probably true. Comments welcome

Let $\Gamma$ be a finite subgroup of SU(2) and let $\widetilde {\Gamma} = \{\gamma_i\mid i\in J\}$ be the unitary dual of $\Gamma$. The unitary dual of SU(2) may be written $\{\pi_n\mid n\in \Bbb Z_+\}$ where $dim \pi_n = n+1$. For $n\in \Bbb Z_+$ and $j\in J$ let $m_{n,j}$ be the multiplicity of $\gamma_j$ in $\pi_n|\Gamma$. Then we collect this branching data in the formal power series, $m(t)_j = \sum_{n=0}^{\infty}m_{n,j} t^n$. One shows that there exists a polynomial $z(t)_j$ and known positive integers $a,b$ (independent of $j$) such that $m(t)_j = {z(t)_j \over (1-t^a)(1-t^b)}$. The problem is the determination of the polynomial $z(t)_j$. If $o\in J$ is such that $\gamma_o$ is the trivial representation, then it is classical that $z(t)_o = 1 +t^h$ for a known integer $h$. The problem reduces to case where $\gamma_j$ is nontrivial. The McKay correspondence associates to $\Gamma$ a complex simple Lie algebra $\g$ of type A-D-E. We explicitly determine $z(t)_j$ for $j\in J-\{o\}$ using the orbits of a Coxeter element on the set of roots of $\frak{g}$. Mysteriously the polynomial $z(t)_j$ has arisen in a completely different context in some papers of Lusztig. Also Rossmann has recently shown that the polynomial $z(t)_j$ yields the character of $\gamma_j$., Comment: 13 pages, plain.tex

The Lie algebraic structures of the S-matrices for the affine Toda field theories based on the dual pairs (X_N^{(1)}, Y_M^{(l)}) are discussed. For the non-simply-laced horizontal subalgebra X_N and the simply-laced horizontal subalgebra Y_M, we introduce a ``q-deformation'' of a Coxeter element and a ``p-deformation'' of a twisted Coxeter element respectively. Using these deformed objects, expressions for the generating function of the multiplicities of the building block of the S-matrices are obtained. The relation between the deformed version of Dorey's rule and generalized Dorey's rule due to Chari and Pressley are discussed., Comment: 16 pages, latex, no figures

For a Coxeter element $c$ of a finite Coxeter group, we consider a family of subword complexes parameterized by reduced expressions of the longest element. This family generalizes $c-$cluster complexes. We describe vertices of these complexes in terms of roots of the corresponding root system. We prove that dual polytopes of all such complexes are combinatorial 2-truncated cubes., Comment: Short announcement note published in 2014. Details will appear in forthcoming work

We enumerate factorizations of a Coxeter element in a well generated complex reflection group into arbitrary factors, keeping track of the fixed space dimension of each factor. In the infinite families of generalized permutations, our approach is fully combinatorial. It gives results analogous to those of Jackson in the symmetric group and can be refined to encode a notion of cycle type. As one application of our results, we give a previously overlooked characterization of the poset of $W$-noncrossing partitions., Comment: 43 pages including a 9 page appendix, 6 figures, v2. minor changes including expanded introduction

We consider a class of trigonometric solutions of WDVV equations determined by collections of vectors with multiplicities. We show that such solutions can be restricted to special subspaces to produce new solutions of the same type. We find new solutions given by restrictions of root systems, as well as examples which are not of this form. Further, we consider a closely related notion of a trigonometric $\vee$-system and we show that their subsystems are also trigonometric $\vee$-systems. Finally, while reviewing the root system case we determine a version of (generalised) Coxeter number for the exterior square of the reflection representation of a Weyl group., Comment: 32 pages

In Artin-Tits groups attached to Coxeter groups of spherical type, we give a combinatorial formula to express the simple elements of the dual braid monoids in the classical Artin generators. Every simple dual braid is obtained by lifting an $S$-reduced expression of its image in the Coxeter group, in a way which involves Reading's $c$-sortable elements. It has as an immediate consequence that simple dual braids are Mikado braids (the known proofs of this result either require topological realizations of the Artin groups or categorification techniques), and hence that their images in the Iwahori-Hecke algebras have positivity properties. In the classical types, this requires to give an explicit description of the inverse of Reading's bijection from $c$-sortable elements to noncrossing partitions of a Coxeter element $c$, which might be of independent interest. The bijections are described in terms of the noncrossing partition models in these types. While the proof of the formula is case-by-case, it is entirely combinatorial and we develop an approach which reduces a uniform proof to uniformly proving a lemma about inversion sets of $c$-sortable elements., Comment: 35 pages, 10 Figures

Voronoi and Delaunay (Delone) cells of the root and weight lattices of the Coxeter-Weyl groups W(an) and W(dn) are constructed. The face centered cubic (fcc) and body centered cubic (bcc)lattices are obtained in this context. Basic definitions are introduced such as parallelotope, fundamental simplex, contact polytope, root polytope, Voronoi cell, Delone cell, n-simplex, n-octahedron (cross polytope), n-cube and n-hemicube and their volumes are calculated. Voronoi cell of the root lattice is constructed as the dual of the root polytope which turns out to be the union of Delone cells. It is shown that the Delone cells centered at the origin of the root lattice An are the polytopes of the fundamental weights w1, w2, ..., wn and the Delone cells of the root lattice Dn are the polytopes obtained from the weights w1, wn-1, wn. A simple mechanism explains the tessellation of the root lattice by Delone cells. We prove that the (n-1)-facet of the Voronoi cell of the root lattice An is (n-1)-dimensional rhombohedron and similarly the (n-1) -facet of the Voronoi cell of the root lattice Dn is a dipyramid with a base of (n-2)-cube. Volume of the Voronoi cell is calculated via its (n-1) -facet which in turn can be obtained from the fundamental simplex. Tessellations of the root lattice with the Voronoi and Delone cells are explained by giving examples from lower dimensions. Similar considerations are also worked out for the weight lattices An* and Dn*., Comment: 26 pages, 11 figures

Given an irreducible well-generated complex reflection group $W$ with Coxeter number $h$, we call a Coxeter element any regular element (in the sense of Springer) of order $h$ in $W$; this is a slight extension of the most common notion of Coxeter element. We show that the class of these Coxeter elements forms a single orbit in $W$ under the action of reflection automorphisms. For Coxeter and Shephard groups, this implies that an element $c$ is a Coxeter element if and only if there exists a simple system $S$ of reflections such that $c$ is the product of the generators in $S$. We moreover deduce multiple further implications of this property. In particular, we obtain that all noncrossing partition lattices of $W$ associated to different Coxeter elements are isomorphic. We also prove that there is a simply transitive action of the Galois group of the field of definition of $W$ on the set of conjugacy classes of Coxeter elements. Finally, we extend several of these properties to Springer's regular elements of arbitrary order., Étant donnés un groupe de réflexion complexe $W$, irréductible et bien engendré, et $h$ son nombre de Coxeter, nous appelons élément de Coxeter un élément régulier (au sens de Springer) d’ordre $h$; ceci est une extension de la notion la plus habituelle d’élément de Coxeter. Nous montrons que l’ensemble de ces éléments de Coxeter forme une seule orbite sous l’action des automorphismes de réflexion de $W$. Pour les groupes de Coxeter et de Shephard, ceci implique qu’un élément $c$ est un élément de Coxeter si et seulement s’il existe un système simple $S$ de réflexions tel que $c$ soit le produit des générateurs dans $S$. Nous déduisons de cette propriété plusieurs autres résultats. En particulier, nous obtenons que tous les treillis de partitions non-croisées de $W$, associés à différents éléments de Coxeter, sont isomorphes. Nous montrons également qu’il existe une action simplement transitive du groupe de Galois du corps de définition de $W$ sur l’ensemble des classes de conjugaison d’éléments de Coxeter. Enfin, nous étendons plusieurs de ces propriétés au cas des éléments réguliers d’ordre quelconque.

Let $G$ be an exceptional simple algebraic group over an algebraically closed field $k$ and suppose that the characteristic $p$ of $k$ is a good prime for $G$. In this paper we classify the maximal Lie subalgebras $\mathfrak{m}$ of the Lie algebra $\mathfrak{g}={\rm Lie}(G)$. Specifically, we show that one of the following holds: $\mathfrak{m}={\rm Lie}(M)$ for some maximal connected subgroup $M$ of $G$, or $\mathfrak{m}$ is a maximal Witt subalgebra of $\mathfrak{g}$, or $\mathfrak{m}$ is a maximal $\it{\mbox{exotic semidirect product}}$. The conjugacy classes of maximal connected subgroups of G are known thanks to the work of Seitz, Testerman and Liebeck--Seitz. All maximal Witt subalgebras of $\mathfrak{g}$ are $G$-conjugate and they occur when $G$ is not of type ${\rm E}_6$ and $p-1$ coincides with the Coxeter number of $G$. We show that there are two conjugacy classes of maximal exotic semidirect products in $\mathfrak{g}$, one in characteristic $5$ and one in characteristic $7$, and both occur when $G$ is a group of type ${\rm E}_7$., Comment: This version is accepted for publication in Journal of the American Mathematical Society; 40 pages

In contrast to the classical and semiclassical settings, the Coxeter element (12...n) which cycles the columns of an mxn matrix does not determine an automorphism of the quantum grassmannian. Here, we show that this cycling can be obtained by defining a cocycle twist. A consequence is that the torus invariant prime ideals of the quantum grassmannian are permuted by the action of the Coxeter element (12...n); we view this as a quantum analogue of the recent result of Knutson, Lam and Speyer that the Lusztig strata of the classical grassmannian are permuted by (12...n)., Comment: 15 pages

Each Coxeter element c of a Coxeter group W defines a subset of W called the c-sortable elements. The choice of a Coxeter element of W is equivalent to the choice of an acyclic orientation of the Coxeter diagram of W. In this paper, we define a more general notion of Omega-sortable elements, where Omega is an arbitrary orientation of the diagram, and show that the key properties of c-sortable elements carry over to the Omega-sortable elements. The proofs of these properties rely on reduction to the acyclic case, but the reductions are nontrivial; in particular, the proofs rely on a subtle combinatorial property of the weak order, as it relates to orientations of the Coxeter diagram. The c-sortable elements are closely tied to the combinatorics of cluster algebras with an acyclic seed; the ultimate motivation behind this paper is to extend this connection beyond the acyclic case., Comment: Final version as published. An error corrected in the previous counterexample, other minor improvements

Given a finite irreducible Coxeter group $W$, a positive integer $d$, and types $T_1,T_2,...,T_d$ (in the sense of the classification of finite Coxeter groups), we compute the number of decompositions $c=\si_1\si_2 cdots\si_d$ of a Coxeter element $c$ of $W$, such that $\si_i$ is a Coxeter element in a subgroup of type $T_i$ in $W$, $i=1,2,...,d$, and such that the factorisation is "minimal" in the sense that the sum of the ranks of the $T_i$'s, $i=1,2,...,d$, equals the rank of $W$. For the exceptional types, these decomposition numbers have been computed by the first author. The type $A_n$ decomposition numbers have been computed by Goulden and Jackson, albeit using a somewhat different language. We explain how to extract the type $B_n$ decomposition numbers from results of B\'ona, Bousquet, Labelle and Leroux on map enumeration. Our formula for the type $D_n$ decomposition numbers is new. These results are then used to determine, for a fixed positive integer $l$ and fixed integers $r_1\le r_2\le ...\le r_l$, the number of multi-chains $\pi_1\le \pi_2\le ...\le \pi_l$ in Armstrong's generalised non-crossing partitions poset, where the poset rank of $\pi_i$ equals $r_i$, and where the "block structure" of $\pi_1$ is prescribed. We demonstrate that this result implies all known enumerative results on ordinary and generalised non-crossing partitions via appropriate summations. Surprisingly, this result on multi-chain enumeration is new even for the original non-crossing partitions of Kreweras. Moreover, the result allows one to solve the problem of rank-selected chain enumeration in the type $D_n$ generalised non-crossing partitions poset, which, in turn, leads to a proof of Armstrong's $F=M$ Conjecture in type $D_n$., Comment: AmS-LaTeX; 65 pages. Final version to appear in Trans. Amer. Math. Soc

In this article, we investigate the set of $\gamma$-sortable elements, associated with a Coxeter group $W$ and a Coxeter element $\gamma\in W$, under Bruhat order, and we denote this poset by $\mathcal{B}_{\gamma}$. We show that this poset belongs to the class of SB-lattices recently introduced by Hersh and M\'esz\'aros, by proving a more general statement, namely that all join-distributive lattices are SB-lattices. The observation that $\mathcal{B}_{\gamma}$ is join-distributive is due to Armstrong. Subsequently, we investigate for which finite Coxeter groups $W$ and which Coxeter elements $\gamma\in W$ the lattice $\mathcal{B}_{\gamma}$ is in fact distributive. It turns out that this is the case for the "coincidental" Coxeter groups, namely the groups $A_{n},B_{n},H_{3}$ and $I_{2}(k)$. We conclude this article with a conjectural characteriziation of the Coxeter elements $\gamma$ of said groups for which $\mathcal{B}_{\gamma}$ is distributive in terms of forbidden orientations of the Coxeter diagram., Comment: 13 pages, 2 figures

Let $(W,S)$ be a Coxeter system and let $s \in S$. We call $s$ a right-angled generator of $(W,S)$ if $st = ts$ or $st$ has infinite order for each $t \in S$. We call $s$ an intrinsic reflection of $W$ if $s \in R^W$ for all Coxeter generating sets $R$ of $W$. We give necessary and sufficient conditions for a right-angled generator $s \in S$ of $(W,S)$ to be an intrinsic reflection of $W$.

Special matchings are purely combinatorial objects associated with a partially ordered set, which have applications in Coxeter group theory. We provide an explicit characterization and a complete classification of all special matchings of any lower Bruhat interval. The results hold in any arbitrary Coxeter group and have also applications in the study of the corresponding parabolic Kazhdan--Lusztig polynomials., Comment: 19 pages

We obtain vanishing ranges for the mod p cohomology of alternating subgroups of finite p-free Coxeter groups. Here a Coxeter group W is p-free if the order of the product st is prime to p for every pair of Coxeter generators s, t of W. Our result generalizes those for alternating groups formerly proved by Kleshchev-Nakano and Burichenko. As a byproduct, we obtain vanishing ranges for the twisted cohomology of finite p-free Coxeter groups with coefficients in the sign representations. In addition, a weak version of the main result is proved for a certain class of infinite Coxeter groups. (C) 2016 Elsevier Inc. All rights reserved.

For a Coxeter group $(W,S)$, a permutation of the set $S$ is called a Coxeter word and the group element represented by the product is called a Coxeter element. Moving the first letter to the end of the word is called a rotation and two Coxeter elements are rotation equivalent if their words can be transformed into each other through a sequence of rotations and legal commutations. We prove that Coxeter elements are conjugate if and only if they are rotation equivalent. This was known for some special cases but not for Coxeter groups in general.

An action on order ideals of posets considered by Fon-Der-Flaass is analyzed in the case of posets arising from minuscule representations of complex simple Lie algebras. For these minuscule posets, it is shown that the Fon-Der-Flaass action exhibits the cyclic sieving phenomenon, as defined by Reiner, Stanton, and White. A uniform proof is given by investigation of a bijection due to Stembridge between order ideals of minuscule posets and fully commutative Weyl group elements. This bijection is proven to be equivariant with respect to a conjugate of the Fon-Der-Flaass action and an arbitrary Coxeter element. If $P$ is a minuscule poset, it is shown that the Fon-Der-Flaass action on order ideals of the Cartesian product $P \times [2]$ also exhibits the cyclic sieving phenomenon, only the proof is by appeal to the classification of minuscule posets and is not uniform., Une action sur des idéaux d’ordre d’ensembles partiellement ordonnés, qui ont été considérés par Fon-Der-Flaass, est analysée dans le cas des ensembles ordonnés qui proviennent des représentations minuscules d’algèbres de Lie simples complexes. À propos de ces ensembles ordonnés minuscules, il est démontré que l’action Fon-Der-Flaass offre le phénomène du crible cyclique, tel que défini par Reiner, Stanton et White. Une preuve uniforme est donnée par une étude d’une bijection due à Stembridge entre les idéaux d’ordre d’ensembles ordonnés minuscules et les éléments complètement commutatifs du groupe de Weyl. Il est démontré que cette bijection est équivariante en ce qui concerne un conjugué de l’action Fon-Der-Flaass et un élément de Coxeter arbitraire. Si $P$ est un ensemble ordonné minuscule, il est démontré que l’action Fon-Der-Flaass sur des idéaux d’ordre du produit cartésien $P \times [2]$ manifeste le phénomène du crible cyclique aussi, mais la preuve de ce fait est par appel à laclassification des ensembles ordonnés minuscules et n’est pas uniforme.

We construct complex root spaces remaining invariant under antilinear involutions related to all Coxeter groups. We provide two alternative constructions: One is based on deformations of factors of the Coxeter element and the other based on the deformation of the longest element of the Coxeter group. Motivated by the fact that non-Hermitian Hamiltonians admitting an antilinear symmetry may be used to define consistent quantum mechanical systems with real discrete energy spectra, we subsequently employ our constructions to formulate deformations of Coxeter models remaining invariant under these extended Coxeter groups. We provide explicit and generic solutions for the Schroedinger equation of these models for the eigenenergies and corresponding wavefunctions. A new feature of these novel models is that when compared with the undeformed case their solutions are usually no longer singular for an exchange of an amount of particles less than the dimension of the representation space of the roots. The simultaneous scattering of all particles in the model leads to anyonic exchange factors for processes which have no analogue in the undeformed case., Comment: 32 pages

We introduce $n(n-1)/2$ natural involutions ("toggles") on the set $S$ of noncrossing partitions $\pi$ of size $n$, along with certain composite operations obtained by composing these involutions. We show that for many operations $T$ of this kind, a surprisingly large family of functions $f$ on $S$ (including the function that sends $\pi$ to the number of blocks of $\pi$) exhibits the homomesy phenomenon: the average of $f$ over the elements of a $T$-orbit is the same for all $T$-orbits. We can apply our method of proof more broadly to toggle operations back on the collection of independent sets of certain graphs. We utilize this generalization to prove a theorem about toggling on a family of graphs called "$2$-cliquish". More generally, the philosophy of this "toggle-action", proposed by Striker, is a popular topic of current and future research in dynamic algebraic combinatorics., Comment: 22 pages, 13 figures

We study the non-perturbative dynamics of the two dimensional ${O(N)}$ and Grassmannian sigma models by using compactification with twisted boundary conditions on $\mathbb R \times S^1$, semi-classical techniques and resurgence. While the $O(N)$ model has no instantons for $N>3$, it has (non-instanton) saddles on $\mathbb R^2$, which we call 2d-saddles. On $\mathbb R \times S^1$, the resurgent relation between perturbation theory and non-perturbative physics is encoded in new saddles, which are associated with the affine root system of the ${\frak o}(N) $ algebra. These events may be viewed as fractionalizations of the 2d-saddles. The first beta function coefficient, given by the dual Coxeter number, can then be intepreted as the sum of the multiplicities (dual Kac labels) of these fractionalized objects. Surprisingly, the new saddles in $O(N)$ models in compactified space are in one-to-one correspondence with monopole-instanton saddles in $SO(N)$ gauge theory on $\mathbb R^3 \times S^1$. The Grassmannian sigma models ${ \rm Gr}(N, M)$ have 2d instantons, which fractionalize into $N$ kink-instantons. The small circle dynamics of both sigma models can be described as a dilute gas of the one-events and two-events, bions. One-events are the leading source of a variety of non-perturbative effects, and produce the strong scale of the 2d theory in the compactified theory. We show that in both types of sigma models the neutral bion emulates the role of IR-renormalons. We also study the topological theta angle dependence in both the $O(3)$ model and ${ \rm Gr}(N, M)$, and describe the multi-branched structure of the observables in terms of the theta-angle dependence of the saddle amplitudes., 32 pages, 6 figures

We prove that the degree 2 p − 3 cohomology of any finite group of Lie type over F p r , with coefficients in characteristic p, is nonzero as long as its Coxeter number is at most p. We do this by providing a simple explicit construction of a nonzero element.

We introduce the Double leaves basis, a combinatorial basis for the Hom spaces between two Bott-Samelson-Soergel bimodules. As an application we give a combinatorial algorithm to find, for any given Weyl or affine Weyl group, the set of primes for which Soergel's conjecture hold. This conjecture for Weyl groups is equivalent to a part of Lusztig's conjecture and for affine Weyl groups implies (and is probably equivalent to) the full Lusztig conjecture. Following this double leaves approach G. Williamson found counterexamples to Lusztig's conjecture. The double leaves basis has found other spectacular applications in the recent proof by B. Elias and G. Williamson of the positivity of the coefficients of Kazhdan-Lusztig polynomials for any Coxeter system and in their algebraic proof of Kazhdan-Lusztig conjecture., Comment: Added an Appendix proving that Soergel bimodules for Weyl groups are well behaved in positive characteristic

If $(W,S)$ is a right-angled Coxeter system and $W$ has no $\mathbb Z^3$ subgroups, then it is shown that the absence of an elementary separation property in the presentation diagram for $(W,S)$ implies all CAT(0) spaces acted on geometrically by $W$ have locally connected CAT(0) boundary. It was previously known that if the presentation diagram of a general right-angled Coxeter system satisfied the separation property then all CAT(0) spaces acted on geometrically by $W$ have non-locally connected boundary. In particular, this gives a complete classification of the right-angled Coxeter groups with no 3-flats and with locally connected boundary., Comment: 28 pages, 11 figures

The objective of this paper is to detect which combinatorial properties of a regular graph can completely determine the geodesic growth of the right-angled Coxeter or Artin group this graph defines, and to provide the first examples of right-angled and even Coxeter groups with the same geodesic growth series., Comment: 27 pages, 5 figures. Some typos and minor errors were corrected

This paper considers Weyl modules for a simple, simply connected algebraic group over an algebraically closed field $k$ of positive characteristic $p\not=2$. The main result proves, if $p\geq 2h-2$ (where $h$ is the Coxeter number) and if the Lusztig character formula holds for all (irreducible modules with) regular restricted highest weights, then any Weyl module $\Delta(\lambda)$ has a $\Delta^p$-filtration, namely, a filtration with sections of the form $\Delta^p(\mu_0+p\mu_1):=L(\mu_0)\otimes\Delta(\mu_1)^{[1]}$, where $\mu_0$ is restricted and $\mu_1$ is arbitrary dominant. In case the highest weight $\lambda$ of the Weyl module $\Delta(\lambda)$ is $p$-regular, the $p$-filtration is compatible with the $G_1$-radical series of the module. The problem of showing that Weyl modules have $\Delta^p$-filtrations was first proposed as a worthwhile ("w\"unschenswert") problem in Jantzen's 1980 Crelle paper., Comment: Latest version corrects minor mistakes in previous versions. A reference is made to Williamson's recent arXiv posting, providing some relevant discussion in a footnote. [Comments on earlier versions: Previous v. 1 with minor errors and statements corrected. Improved organization. Should replace v. 2 which is an older version (even older than v.1) and was mistakenly posted.]

For an arbitrary Coxeter group $W$, David Speyer and Nathan Reading defined Cambrian semilattices $C_{\gamma}$ as certain sub-semilattices of the weak order on $W$. In this article, we define an edge-labelling using the realization of Cambrian semilattices in terms of $\gamma$-sortable elements, and show that this is an EL-labelling for every closed interval of $C_{\gamma}$. In addition, we use our labelling to show that every finite open interval in a Cambrian semilattice is either contractible or spherical, and we characterize the spherical intervals, generalizing a result by Nathan Reading., Pour tout groupe de Coxeter $W$, David Speyer et Nathan Reading ont défini les demi-treillis Cambriens comme certains sous-demi-treillis de l’ordre faible sur $W$. Dans cet article, nous définissons un étiquetage des arêtes basé sur la réalisation des demi-treillis Cambriens en termes d’éléments$\gamma$-triables, et prouvons que c’est un étiquetage EL pour tout intervalle fermé de $C_{\gamma}$. Nous utilisons de plus cet étiquetage pour ontrer que tout intervalle ouvert fini dans un demi-treillis Cambrien est soit contractile soit sphérique, et nous caractérisons les intervalles sphériques,généralisant ainsi un résultat de Nathan Reading.

A permutation representation of a Coxeter group $W$ naturally defines an absolute order. This family of partial orders (which includes the absolute order on $W$) is introduced and studied in this paper. Conditions under which the associated rank generating polynomial divides the rank generating polynomial of the absolute order on $W$ are investigated when $W$ is finite. Several examples, including a symmetric group action on perfect matchings, are discussed. As an application, a well-behaved absolute order on the alternating subgroup of $W$ is defined., Comment: 23 pages, 1 figure, revised version to be published in J. Algebraic Combinatorics

We study the cohomology with modular coefficients of Deligne-Lusztig varieties associated to Coxeter elements. Under some torsion-free assumption on the cohomology we derive several results on the principal l-block of a finite reductive group G(F_q) when the order of q modulo l is assumed to be the Coxeter number. These results include the determination of the planar embedded Brauer tree of the block (as conjectured by Hiss, L\"ubeck and Malle) and the derived equivalence predicted by the geometric version of Brou\'e's conjecture., Comment: v2: minor corrections (including the Brauer tree of 2G2)

We present a simple formula for the expected number of inversions in a permutation of size $n$ obtained by applying $t$ random (not necessarily adjacent) transpositions to the identity permutation. More general, for any finite irreducible Coxeter group belonging to one of the infinite families (type A, B, D, and I), an exact expression is obtained for the expected length of a product of $t$ random reflections., Comment: 11 pages

In this paper we determine the support of the irreducible spherical representation (i.e., the irreducible quotient of the polynomial representation) of the rational Cherednik algebra of a finite Coxeter group for any value of the parameter c. In particular, we determine for which values of c this representation is finite dimensional. This generalizes a result of Varagnolo and Vasserot (2009) [20], who classified finite dimensional spherical representations in the case of Weyl groups and equal parameters (i.e., when c is a constant function). Our proof is based on the Macdonald–Mehta integral and the elementary theory of distributions., National Science Foundation (U.S.) (Grant DMS-0504847), National Science Foundation (U.S.) (Grant DMS-0854764)

We construct a non-chiral current algebra in two dimensions consistent with conformal invariance. We show that the conformal current algebra is realized in non-linear sigma-models on supergroup manifolds with vanishing dual Coxeter number, with or without a Wess-Zumino term. The current algebra is computed using two distinct methods. First we exploit special algebraic properties of supergroups to compute the exact two- and three-point functions of the currents and from them we infer the current algebra. The algebra is also calculated by using conformal perturbation theory about the Wess-Zumino-Witten point and resumming the perturbation series. We also prove that these models realize a non-chiral Kac-Moody algebra and construct an infinite set of commuting operators that is closed under the action of the Kac-Moody generators. The supergroup models that we consider include models with applications to statistical mechanics, condensed matter and string theory. In particular, our results may help to systematically solve and clarify the quantum integrability of PSU(n|n) models and their cosets, which appear prominently in string worldsheet models on anti-deSitter spaces., Comment: 33 pages, minor corrections

We provide involutory symmetric generating sets of finitely generated Coxeter groups, fulfilling a suitable finiteness condition, which in particular is fulfilled in the finite, affine and compact hyperbolic cases., Comment: 11 pages, 11 figures

We study weight posets of weight multiplicity free (=wmf) representations $R$ of reductive Lie algebras. Specifically, we are interested in relations between $\dim R$ and the number of edges in the Hasse diagram of the corresponding weight poset, $# E(R)$. We compute the number of edges and upper covering polynomials for the weight posets of all wmf-representations. We also point out non-trivial isomorphisms between weight posets of different irreducible wmf-representations. Our main results concern wmf-representations associated with periodic gradings or Z-gradings of simple Lie algebras. For Z-gradings, we prove that $0< 2dim R-# E(R) < h$, where $h$ is the Coxeter number of $\mathfrak g$. For periodic gradings, we prove that $0\le 2dim R-# E(R)$., 18 pages

We generalize some identities and q-identities previously known for the symmetric group to Coxeter groups of type B and D. The extended results include theorems of Foata and Sch\"utzenberger, Gessel, and Roselle on various distributions of inversion number, major index, and descent number. In order to show our results we provide caracterizations of the systems of minimal coset representatives of Coxeter groups of type B and D., Comment: 18 pages, 2 figures

Let W be a Coxeter group with Coxeter generators S. The rank of the Coxeter system (W,S) is the cardinality |S| of S. The Coxeter system (W,S) has finite rank if and only if W is finitely generated. If (W,S) has infinite rank, then |S| = |W|, since every element of W is represented by a finite product of elements of S. Thus if W is not finitely generated, the rank of (W,S) is uniquely determined by W. If W is finitely generated, then W may have sets of Coxeter generators S and S' of different ranks. In this paper, we determine the set of all possible ranks for an arbitrary finitely generated Coxeter group W., Comment: 21 pages

We continue the study of the maximally clustered elements for simply laced Coxeter groups which were recently introduced by Losonczy. Such elements include as a special case the freely braided elements of Losonczy and the author, which in turn constitute a superset of the $iji$-avoiding elements of Fan. Our main result is to classify the MC-finite Coxeter groups, namely those Coxeter groups having finitely many maximally clustered elements. Remarkably, any simply laced Coxeter group having finitely many $iji$-avoiding elements also turns out to be MC-finite., Comment: Approximately 18 pages, AMSTeX. One non-essential figure

We study the minimal length elements in some double cosets of Coxeter groups and use them to study Lusztig's $G$-stable pieces and the generalization of $G$-stable pieces introduced by Lu and Yakimov. We also use them to study the minimal length elements in a conjugacy class of a finite Coxeter group and prove a conjecture in \cite{GKP}., Comment: 35 pages

We prove that, apart from some well-known low-dimensional examples, any compact hyperbolic Coxeter polytope has a pair of disjoint facets. This is one of very few known general results concerning combinatorics of compact hyperbolic Coxeter polytopes. We also obtain a similar result for simple non-compact polytopes., Comment: v3: accepted version, updated according to referee's comments. 37 pages, a lot of figures. To appear in J. Combinatorial Theory A

We show that for piecewise hereditary algebras, the periodicity of the Coxeter transformation implies the non-negativity of the Euler form. Contrary to previous assumptions, the condition of piecewise heredity cannot be omitted, even for triangular algebras, as demonstrated by incidence algebras of posets. We also give a simple, direct proof, that certain products of reflections, defined for any square matrix A with 2 on its main diagonal, and in particular the Coxeter transformation corresponding to a generalized Cartan matrix, can be expressed as $-A_{+}^{-1} A_{-}^t$, where A_{+}, A_{-} are closely associated with the upper and lower triangular parts of A., Comment: 12 pages, (v2) revision, to appear in Linear Algebra and its Applications

We explain a strategy for a proof of the positivity of all coefficients of Kazhdan-Lusztig-polynomials for arbitrary Coxeter groups by constructing spaces whose dimensions we conjecture to be these coefficients., Comment: Version accepted to be published, with corrected proofs and enhanced results

An axiomatic approach to the representation theory of Coxeter groups and their Hecke algebras was presented in [1]. Combinatorial aspects of this construction are studied in this paper. In particular, the symmetric group case is investigated in detail. The resulting representations are completely classified and include the irreducible ones., Comment: 24 pages, shorter background; to appear in J. Algebra

We show that the order dimension of the weak order on a Coxeter group of type A, B or D is equal to the rank of the Coxeter group, and give bounds on the order dimensions for the other finite types. This result arises from a unified approach which, in particular, leads to a simpler treatment of the previously known cases, types A and B. The result for weak orders follows from an upper bound on the dimension of the poset of regions of an arbitrary hyperplane arrangement. In some cases, including the weak orders, the upper bound is the chromatic number of a certain graph. For the weak orders, this graph has the positive roots as its vertex set, and the edges are related to the pairwise inner products of the roots., Comment: Minor changes, including a correction and an added figure in the proof of Proposition 2.2. 19 pages, 6 figures

With the aim of extending the gauge theory -- matrix model connection to more general matter representations, we prove that for various two-index tensors of the classical gauge groups, the perturbative contributions to the glueball superpotential reduce to matrix integrals. Contributing diagrams consist of certain combinations of spheres, disks, and projective planes, which we evaluate to four and five loop order. In the case of $Sp(N)$ with antisymmetric matter, independent results are obtained by computing the nonperturbative superpotential for $N=4,6$ and 8. Comparison with the Dijkgraaf-Vafa approach reveals agreement up to $N/2$ loops in matrix model perturbation theory, with disagreement setting in at $h=N/2+1$ loops, $h$ being the dual Coxeter number. At this order, the glueball superfield $S$ begins to obey nontrivial relations due to its underlying structure as a product of fermionic superfields. We therefore find a relatively simple example of an ${\cal N}=1$ gauge theory admitting a large $N$ expansion, whose dynamically generated superpotential differs from the one obtained in the matrix model approach., Comment: 20 pages, harvmac. v2: added comments and references

We compute glueball superpotentials for four-dimensional, N=1 supersymmetric gauge theories, with arbitrary gauge groups and massive matter representations. This is done by perturbatively integrating out massive, charged fields. The Feynman diagram computations simplify, and are related to the corresponding matrix model. This leads to a natural notion of ``projection to planar diagrams'' for arbitrary gauge groups and representations. We discuss a general ambiguity in the glueball superpotential W(S) for terms, S^n, whose order, n, is greater than the dual Coxeter number. This ambiguity can be resolved for all classical gauge groups, (A,B,C,D), via a natural embedding in an infinite rank supergroup. We use this to address some recently raised puzzles. For exceptional groups, we compute the superpotential terms for low powers of the glueball field and propose an all-order completion for some examples including N=1^* for all simply-laced groups. We also comment on compactification of these theories to lower dimensions., Comment: 56 pages, 3 figures, harvmac. v3: note added (at end of introduction)

We provide an explicit bijection between the ad-nilpotent ideals of a Borel subalgebra of a simple Lie algebra g and the orbits of \check{Q}/(h+1)\check{Q} under the Weyl group (\check{Q} being the coroot lattice and h the Coxeter number of g). From this result we deduce in a uniform way a counting formula for the ad-nilpotent ideals., Comment: AMS-TeX file, 9 pages; revised version. To appear in Journal of Algebra