The absolute order of a permutation representation of a Coxeter group

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 Calogero–Moser partition and Rouquier families for complex reflection groups

Let W be a complex reflection group. We formulate a conjecture relating blocks of the corresponding restricted rational Cherednik algebras and Rouquier families for cyclotomic Hecke algebras. We verify part of the conjecture in the case that W is a wreath product of a symmetric group with a cyclic group of order l.     

A poset connected to Artin monoids of simply laced type

Let W be a Weyl group whose type is a simply laced Dynkin diagram. On several W-orbits of sets of mutually commuting reflections, a poset is described which plays a role in linear representations of the corresponding Artin group A. The poset generalizes many properties of the usual order on positive roots of W given by height. In this paper, a linear representation of the positive monoid of A is defined by use of the poset.     

A quiver presentation for Solomon's descent algebra

The descent algebra Σ(W) is a subalgebra of the group algebra QW of a finite Coxeter group W, which supports a homomorphism with nilpotent kernel and commutative image in the character ring of W. Thus Σ(W) is a basic algebra, and as such it has a presentation as a quiver with relations. Here we construct Σ(W) as a quotient of a subalgebra of the path algebra of the Hasse diagram of the Boolean lattice of all subsets of S, the set of simple reflections in W. From this construction we obtain some general information about the quiver of Σ(W) and an algorithm for the construction of a quiver presentation for the descent algebra Σ(W) of any given finite Coxeter group W.     

Deformations of permutation representations of Coxeter groups

The permutation representation afforded by a Coxeter group W acting on the cosets of a standard parabolic subgroup inherits many nice properties from W such as a shellable Bruhat order and a flat deformation over ?[q] to a representation of the corresponding Hecke algebra. In this paper we define a larger class of “quasiparabolic” subgroups (more generally, quasiparabolic W-sets), and show that they also inherit these properties. Our motivating example is the action of the symmetric group on fixed-point-free involutions by conjugation.     

The sorting order on a Coxeter group

Let (W,S) be an arbitrary Coxeter system. For each word ω in the generators we define a partial order—called the ω-sorting order—on the set of group elements Wω⊆W that occur as subwords of ω. We show that the ω-sorting order is a supersolvable join-distributive lattice and that it is strictly between the weak and Bruhat orders on the group. Moreover, the ω-sorting order is a “maximal lattice” in the sense that the addition of any collection of Bruhat covers results in a nonlattice.Along the way we define a class of structures called supersolvable antimatroids and we show that these are equivalent to the class of supersolvable join-distributive lattices.     

A note on Weyl groups and root lattices

We follow the dual approach to Coxeter systems and show for Weyl groups that a set of reflections generates the group if and only if the related sets of roots and coroots generate the root and the coroot lattices, respectively. Previously, we have proven if (W, S) is a Coxeter system of finite rank n with set of reflections T and if \(t_1, \ldots t_n \in T\) are reflections in W that generate W, then \(P:= \langle t_1, \ldots t_{n-1}\rangle \) is a parabolic subgroup of (W, S) of rank \(n-1\) (Baumeister et al. in J Group Theory 20:103–131, 2017, Theorem 1.5). Here we show if (W, S) is crystallographic as well, then all the reflections \(t \in T\) such that \(\langle P, t\rangle = W\) form a single orbit under conjugation by P.     

Orbites d'Hurwitz des factorisations primitives d'un élément de Coxeter

We study the Hurwitz action of the classical braid group on factorisations of a Coxeter element c in a well-generated complex reflection group W. It is well known that the Hurwitz action is transitive on the set of reduced decompositions of c in reflections. Our main result is a similar property for the primitive factorisations of c, i.e. factorisations with only one factor which is not a reflection. The motivation is the search for a geometric proof of Chapoton's formula for the number of chains of given length in the non-crossing partitions lattice ${\text{<mi mathsize="small" is="true">NCP</mi>}}_W$. Our proof uses the properties of the Lyashko–Looijenga covering and the geometry of the discriminant of W.     

Pattern avoidance and the Bruhat order

The structure of order ideals in the Bruhat order for the symmetric group is elucidated via permutation patterns. The permutations with boolean principal order ideals are characterized. These form an order ideal which is a simplicial poset, and its rank generating function is computed. Moreover, the permutations whose principal order ideals have a form related to boolean posets are also completely described. It is determined when the set of permutations avoiding a particular set of patterns is an order ideal, and the rank generating functions of these ideals are computed. Finally, the Bruhat order in types B and D is studied, and the elements with boolean principal order ideals are characterized and enumerated by length.     

Monotonicity of strata in the stratification of the cone of totally positive matrices

According to a theorem of Bjorner [5], there exists a stratified space whose strata are labeled by the elements of [u, v] for every interval [u, v] in the Bruhat order of a Coxeter group W, and each closed stratum (respectively the boundary of each stratum) has the homology of a ball (respectively of a sphere). In [6], Fomin and Shapiro suggest a natural geometric realization of these stratified spaces for a Weyl group W of a semi-simple Lie group G, and then prove its validity in the case of the symmetric group. The stratified spaces arise as links in the Bruhat decomposition of the totally non-negative part of the unipotent radical of G. In this article, we verify the topological regularity property of the strata formed as a result of Bruhat partial ordering on the elements of theWeyl group (of rank 4) of a semi-simple simply connected algebraic group G which is SL(4,?) in our case here. The Weyl group here is the Coxeter group S ₄.     

Length functions and Demazure operators for G(e,1,n), II

This note is the first part of consecutive two papers concerning with a length function and Demazure operators for the complex reflection group W = G(e, 1, n). In this first part, we study the word problem on W based on the work of Bremke and Malle [BM]. We show that the usual length function ?(W) associated to a given generator set S is completely described by the function n(W), introduced in [BM], associated to the root system of W.In the second part, we will study the Demazure operators of W on the symmetric algebra. We define a graded space H_W in terms of Demazure operators, and show that H_W is isomorphic to the coinvariant algebra S_W, which enables us to define a homogeneous basis on S_W parametrized by w?W.     

The dual braid monoid

We study a new monoid structure for Artin groups associated with finite Coxeter systems. Like the classical positive braid monoid, the new monoid is a Garside monoid. We give several equivalent constructions: algebraically, the new monoid arises when studying Coxeter systems in a “dual” way, replacing the pair (W,S) by (W,T), with T the set of all reflections; geometrically, it arises when looking at the reflection arrangement from a certain basepoint. In the type A case, we recover the monoid constructed by Birman, Ko and Lee.     

Spin models constructed from Hadamard matrices

A spin model (for link invariants) is a square matrix W which satisfies certain axioms. For a spin model W, it is known that W ^T W ^?1 is a permutation matrix, and its order is called the index of W. Jaeger and Nomura found spin models of index?2, by modifying the construction of symmetric spin models from Hadamard matrices. The aim of this paper is to give a construction of spin models of an arbitrary even index from any Hadamard matrix. In particular, we show that our spin models of indices a power of 2 are new.     

Sets of reflections defining twisted Bruhat orders

Twisted Bruhat orders are certain partial orders on a Coxeter system (W,S) associated to initial sections of reflection orders, which are certain subsets of the set of reflections T of a Coxeter system. We determine which subsets of T give rise to a partial order on W in the same way.     

Support properties and Holmgren's uniqueness theorem for differential operators with hyperplane singularities

Let W be a finite Coxeter group acting linearly on Rn. In this article we study the support properties of a W-invariant partial differential operator D on Rn with real analytic coefficients. Our assumption is that the principal symbol of D has a special form, related to the root system corresponding to W. In particular the zeros of the principal symbol are supposed to be located on hyperplanes fixed by reflections in W. We show that conv(suppDf)=conv(suppf) holds for all compactly supported smooth functions f so that conv(suppf) is W-invariant. The main tools in the proof are Holmgren's uniqueness theorem and some elementary convex geometry. Several examples and applications linked to the theory of special functions associated with root systems are presented.     

Causality and strict causality for symmetric bilinear systems

It is shown that if W is a symmetric bilinear operator on a Hilbert resolution space, then the causality and strict causality of W is equivalent to the causality and strict causality of the bipower map $\text{W}\text{?}$ induced by W.     

Symmetric Designs Attached to Four-Weight Spin Models

H. Guo and T. Huang studied the four-weight spin models (X, W ₁, W ₂, W ₃, W ₄;D) with the property that the entries of the matrix W ₂ (or equivalently W ₄) consist of exactly two distinct values. They found that such spin models are always related to symmetric designs whose derived design with respect to any block is a quasi symmetric design. In this paper we show that such a symmetric design admits a four-weight spin model with exactly two values on W ₂ if and only if it has some kind of duality between the set of points and the set of blocks. We also give some examples of parameters of symmetric designs which possibly admit four-weight spin models with exactly two values on W ₂.     

Shortest path poset of Bruhat intervals

We define the shortest path poset SP(u,v) of a Bruhat interval [u,v], by considering the shortest u–v paths in the Bruhat graph of a Coxeter group W, where u,v∈W. We consider the case of SP(u,v) having a unique rising chain under a reflection order and show that in this case SP(u,v) is a Gorenstein^? poset. This allows us to derive the nonnegativity of certain coefficients of the complete cd-index. We furthermore show that the shortest path poset of an irreducible, finite Coxeter group exhibits a symmetric chain decomposition.