For W a finite Coxeter group, a formula is found for the size of W equivalence classes of subsets of a base. The proof is a case-by-case analysis using results and tables of Carter and Orlik/Solomon. As a corollary we obtain an alternating sum identity which generalizes a well-known identity from the theory of Coxeter groups.
Let $G$ be a discrete Coxeter group, $G^+$ its alternating subgroup and $\tilde{G}^+$ the spinor cover of $G^+$. A presentation of the groups $G^+$ and $\tilde{G}^+$ is proved for an arbitrary Coxeter system $(G,S)$; the generators are related to edges of the Coxeter graph. Results of the Coxeter--Todd algorithm - with this presentation - for the chains of alternating groups of types A, B and D are given.
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 Coxet…
For a Coxeter system (G,S) the multi-parametric alternating subalgebra H^+(G) of the Hecke algebra and the alternating subgroup B^+(G) of the braid group are defined. Two presentations for H^+(G) and B^+(G) are given; one generalizes the Bourbaki presentation for the alternating subgroups of Coxeter groups, another one uses generators related to edges of the Coxeter graph.
Let $W$ be a right-angled Coxeter group corresponding to a finite non-discrete graph $\mathcal{G}$ with at least $3$ vertices. Our main theorem says that $\mathcal{G}^c$ is connected if and only if for any infinite index quasiconvex subgroup $H$ of $W$ and any finite subset $\{ γ_1, \ldots , γ_n \} \subset W \setminus H$ there is a surjection $f$ from $W$ to a finite alternating group such that $f (γ_i) \notin f (H)$. A corollary is that a right-angled Artin group splits as a direct product of cyclic groups and groups with many alternating quotients in the above sense. Similarly, finitely gene…
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.
The group of alternating colored permutations is the natural analogue of the classical alternating group, inside the wreath product $\mathbb{Z}_r \wr S_n$. We present a 'Coxeter-like' presentation for this group and compute the length function with respect to that presentation. Then, we present this group as a covering of $\mathbb{Z}_{\frac{r}{2}} \wr S_n$ and use this point of view to give another expression for the length function. We also use this covering to lift several known parameters of $\mathbb{Z}_{\frac{r}{2}} \wr S_n$ to the group of alternating colored permutations.
There were defined by R. Shwartz OGS for non-abelian groups, as an interesting generalization of the basis of finite abelian groups. The definition of OGS states that that every element of a group has a unique presentation as a product of some powers of the OGS, in a specific given order. In case of the symmetric groups S_{n} there is a paper of R. Shwartz, which demonstrates a strong connection between the OGS and the standard Coxeter presentation of the symmetric group. The OGS presentation helps us to find the Coxeter length and the descent set of an arbitrary element of the symmetric group…
In a recent paper we claimed that both the group algebra of a finite Coxeter group $W$ as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of centralizers, one for each conjugacy class of elements of $W$, and gave a uniform proof of this claim for symmetric groups. In this note we outline an inductive approach to our conjecture. As an application of this method, we prove the inductive version of the conjecture for finite Coxeter groups of rank up to 2.
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$ d…
In recent papers we have refined a conjecture of Lehrer and Solomon expressing the characters of a finite Coxeter group $W$ afforded by the homogeneous components of its Orlik-Solomon algebra as sums of characters induced from linear characters of centralizers of elements of $W$. Our refined conjecture also relates the Orlik-Solomon characters above to the terms of a decomposition of the regular character of $W$ related to the descent algebra of $W$. A consequence of our conjecture is that both the regular character of $W$ and the character of the Orlik-Solomon algebra have parallel, graded de…
We consider a generalization of the fundamental theorem of finitely generated abelian groups for some non-abelian groups, which is called OGS. First, we consider the dihedral group, which is a non-abelian extension of an abelian group by an involution. Then, we focus on a special case, where the abelian group is cyclic, which is the two-generated Coxeter group I{2}(m). We mention interesting connections between the reduced Coxeter presentation and a particular OGS canonical presentation, which we call the standard OGS canonical presentation. These connections motivate us to offer a generalizat…
Several finite complex reflection groups have a braid group which is isomorphic to a torus knot group. The reflection group is obtained from the torus knot group by declaring meridians to have order $k$ for some $k\geq 2$, and meridians are mapped to reflections. We study all possible quotients of torus knot groups obtained by requiring meridians to have finite order. Using the theory of $J$-groups of Achar and Aubert, we show that these groups behave like (in general infinite) complex reflection groups of rank two. The large family of "toric reflection groups" which we obtain includes, among …
In recent papers we have refined a conjecture of Lehrer and Solomon expressing the character of a finite Coxeter group $W$ acting on the $p$th graded component of its Orlik-Solomon algebra as a sum of characters induced from linear characters of centralizers of elements of $W$. Our refined conjecture relates the character above to a component of a decomposition of the regular character of $W$ related to Solomon's descent algebra of $W$. The refined conjecture has been proved for symmetric and dihedral groups, as well as finite Coxeter groups of rank three and four. In this paper, the second in…
We refine a conjecture by Lehrer and Solomon on the structure of the Orlik-Solomon algebra of a finite Coxeter group $W$ and relate it to the descent algebra of $W$. As a result, we claim that both the group algebra of $W$, as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of element centralizers, one for each conjugacy class of elements of $W$. We give a uniform proof of the claim for symmetric groups. In addition, we prove that a relative version of the conjecture holds for every pair $(W, W_L)$, where $W$ is arbitrary and $W_…
Given a prime, alternating link diagram, we build a special cover of the link complement whose degree is bounded by a factorial function of the crossing number. It follows that a subgroup of the link group of that index embeds into right-angled Artin and Coxeter groups. Corollaries of this result include a quantification of residual finiteness, control of the growth of Betti numbers in covers, and an explicit bound on the rank of a Z-module on which the link group acts faithfully.
Handelman (J. Operator Theory, 1981) proved that if the spectral radius of a matrix $A$ is a simple root of the characteristic polynomial and is strictly greater than the modulus of any other root, then $A$ is conjugate to a matrix $Z$ some power of which is positive. In this article, we provide an explicit conjugate matrix $Z$, and prove that the spectral radius of $A$ is a simple and dominant eigenvalue of $A$ if and only if $Z$ is eventually positive. For $n\times n$ real matrices with each row-sum equal to $1$, this criterion can be declined into checking that each entry of some power is s…
Let $W^c(A_n)$ be the set of fully commutative elements of the Coxeter group $W(A_n)$. Let $$ a_n(q)= \sum_{w \in W^c(A_n)} q^{l(w)} . $$ We compute $a_n(q)$.
The Hecke algebra $\mathbb{C}_q[W]$ of a Coxter group $W$, associated to parameter $q$, can be completed to a von Neumann algebra $\mathcal{N}_q(W)$. We study such algebras in case where $W$ is right-angled. We determine the range of $q$ for which $\mathcal{N}_q(W)$ is a factor, i.e. has trivial center. Moreover, in case of nontrivial center, we prove a result allowing to decompose $\mathcal{N}_q(W)$ into a finite direct sum of factors.
Let D be a connected graph. The Dynkin complex CD(A) of a D-algebra A was introduced by the second author in [TL2] to control the deformations of quasi-Coxeter algebra structures on A. In the present paper, we study the cohomology of this complex when A is the group algebra of a Coxeter group W and D is the Dynkin diagram of W. We compute this cohomology when W is finite and prove in particular the rigidity of quasi-Coxeter algebra structures on kW. For an arbitrary W, we compute the top cohomology group and obtain a number of additional partial results when W is affine. Our computations are c…
In this paper, we use combinatorial group theory and a limiting process to connect various types of hypergeometric series, and of relations among such series. We begin with a set $S$ of 56 distinct translates of a certain function $M$, which takes the form of a Barnes integral, and is expressible as a sum of two very-well-poised $_9F_8$ hypergeometric series of unit argument. We consider a known, transitive action of the Coxeter group $W(E_7)$ on this set. We show that, by removing from $W(E_7)$ a particular generator, we obtain a subgroup that is isomorphic to $W(D_6)$, and that acts intransi…
Dade's conjecture predicts that if p is a prime, then the number of irreducible characters of a finite group of a given p-defect is determined by local subgroups. In this paper we replace $p$ by a set of primes pi and prove a pi-version of Dade's conjecture for pi-separable groups. This extends the (known) p-solvable case of the original conjecture and relates to a pi-version of Alperin's weight conjecture previously established by the authors.
We discuss three important classes of three-qubit entangled states and their encoding into quantum gates, finite groups and Lie algebras. States of the GHZ and W-type correspond to pure tripartite and bipartite entanglement, respectively. We introduce another generic class B of three-qubit states, that have balanced entanglement over two and three parties. We show how to realize the largest cristallographic group $W(E_8)$ in terms of three-qubit gates (with real entries) encoding states of type GHZ or W [M. Planat, {\it Clifford group dipoles and the enactment of Weyl/Coxeter group $W(E_8)$ by…
We say a permutation $π=π_1π_2\cdotsπ_n$ in the symmetric group $\mathfrak{S}_n$ has a peak at index $i$ if $π_{i-1}<π_i>π_{i+1}$ and we let $P(π)=\{i \in \{1, 2, \ldots, n\} \, \vert \, \mbox{$i$ is a peak of $π$}\}$. Given a set $S$ of positive integers, we let $P (S; n)$ denote the subset of $\mathfrak{S}_n$ consisting of all permutations $π$, where $P(π) =S$. In 2013, Billey, Burdzy, and Sagan proved $|P(S;n)| = p(n)2^{n-\lvert S\rvert-1}$, where $p(n)$ is a polynomial of degree $\max(S)- 1$. In 2014, Castro-Velez et al. considered the Coxeter group of type $B_n$ as the group of signed per…
For a finite group $G$, let $N(G)$ denote the set of conjugacy class sizes of $G$. We show that if every finite group $G$ with trivial center such that $N(G)$ equals to $N(Alt_n)$, where $n>1361$ and at least one of numbers $n$ or $n-1$ are decomposed into a sum of two primes, then $G\simeq Alt_n$.