Search

We prove that two reflection factorizations of a parabolic quasi-Coxeter element in a finite Coxeter group belong to the same Hurwitz orbit if and only if they generate the same subgroup and have the same multiset of conjugacy classes. As a lemma, we classify the finite Coxeter groups for which every reflection generating set that is minimal under inclusion is also of minimum size., Comment: 10 pages, 1 figure, comments very much welcome! v2: minor corrections; simplification of one argument in Section 2 (and consequent renumbering)

We prove that the centralizer of a Coxeter element in an irreducible Coxeter group is the cyclic group generated by that Coxeter element., Comment: 10 pages; v2: minor corrections and revision of section 4

In a seminal work, Bessis gave a geometric interpretation of the noncrossing lattice $NC(W)$ associated to a well-generated complex reflection group $W$. Chief component of this was the trivialization theorem, a fundamental correspondence between families of chains of $NC(W)$ and the fibers of a finite quasi-homogeneous morphism, the $LL$ map. We consider a variant of the $LL$ map, prescribed by the trivialization theorem, and apply it to the study of finer enumerative and structural properties of $NC(W)$. In particular, we extend work of Bessis and Ripoll and enumerate the so-called "primitive factorizations" of the Coxeter element $c$. That is, length additive factorizations of the form $c=w\cdot t_1\cdots t_k$, where $w$ belongs to a given conjugacy class and the $t_i$'s are reflections., Comment: Final Version, to appear in Mathematische Annalen

The characterization of orbits of roots under the action of a Coxeter element is a fundamental tool in the study of finite root systems and their reflection groups. This paper develops the analogous tool in the affine setting, adding detail and uniformity to a result of Dlab and Ringel., Comment: Version 1: This is a revised version of the first 1/3 of arXiv:1707.00340. (That paper will also be replaced by a new version, deleting the first 1/3 and with other major revisions). Version 2: Minor corrections to front and back matter. Version 3: Added mention of Dlab and Ringel, who proved essentially the same result in 1976 by a non-uniform argument

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.

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.

Let $\mathfrak{g}$ be a simple Lie algebra of rank $r$ over $\mathbb{C}$, $\mathfrak{h} \subset \mathfrak{g}$ a Cartan subalgebra. We construct a family of $r$ commuting Hermitian operators acting on $\mathfrak{h}$ whose eigenvalues are equal to the coordinates of the eigenvectors of the Cartan matrix of $\mathfrak{g}$., Comment: To Joseph Bernstein on his 70th birthday

Chapuy and Stump have given a nice generating series for the number of factorisations of a Coxeter element as a product of reflections. Their method is to evaluate case by case a character-theoretic expression. The goal of this note is to give a uniform evaluation of their character-theoretic expression in the case of Weyl groups, by using combinatorial properties of Deligne-Lusztig representations., Comment: 5 pages

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

Interchanging character and co-character groups of a torus $T$ over a field $k$ introduces a contravariant functor $T \rightarrow \widehat{T}$. Interpreting $\rho:T\rightarrow {\mathbb C}^\times$, half the sum of positive roots for $T$ a maximal torus in a simply connected semi-simple group $G$ (over ${\mathbb C}$) using this duality, we get a co-character $\widehat{\rho}: {\mathbb C}^\times \rightarrow \widehat{T}$ whose value at $e^{\frac{2 \pi i}{h}}$ ($h$ the Coxeter number) is the Coxeter conjugacy class of the dual group $\widehat{G}$. This point of view gives a rather transparent proof of a theorem of Kostant on the character values of irreducible finite dimensional representations of $G$ at the Coxeter element: the proof amounting to the fact that in $\widehat{G}_{sc}$, the simply connected cover of $\widehat{G}$, there is a unique regular conjugacy class whose image in $\widehat{G}$ has order $h$ (which is the Coxeter conjugacy class).

When W is a finite reflection group, the noncrossing partition lattice NCP_W of type W is a rich combinatorial object, extending the notion of noncrossing partitions of an n-gon. A formula (for which the only known proofs are case-by-case) expresses the number of multichains of a given length in NCP_W as a generalised Fuss-Catalan number, depending on the invariant degrees of W. We describe how to understand some specifications of this formula in a case-free way, using an interpretation of the chains of NCP_W as fibers of a Lyashko-Looijenga covering (LL), constructed from the geometry of the discriminant hypersurface of W. We study algebraically the map LL, describing the factorisations of its discriminant and its Jacobian. As byproducts, we generalise a formula stated by K. Saito for real reflection groups, and we deduce new enumeration formulas for certain factorisations of a Coxeter element of W., Comment: 18 pages. Version 2 : corrected typos and improved presentation. Version 3 : corrected typos, added illustrated example. To appear in Journal of Algebraic Combinatorics

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

We calculate the partition functions of the affine Pasquier models on the cylinder in the continuum limit. We show that the partition function of any affine model may be expressed in terms of the orbit structure of the affine Coxeter element of the Weyl group associated with the defining graph of the model. Some of the consequences of this geometric relationship are explored., Comment: LaTeX, 20 pages. Requires packages: vmargin, theorem, xspace, amsmath, amscd, amssymb, array. Requires and includes custom .sty file

The partition functions of Pasquier models on the cylinder, and the associated intertwiners, are considered. It is shown that earlier results due to Saleur and Bauer can be rephrased in a geometrical way, reminiscent of formulae found in certain purely elastic scattering theories. This establishes the positivity of these intertwiners in a general way and elucidates connections between these objects and the finite subgroups of SU(2). It also offers the hope that analogous geometrical structures might lie behind the so-far mysterious results found by Di Francesco and Zuber in their search for generalisations of these models., Comment: 18 pages