Involution words II: braid relations and atomic structures

Abstract

Involution words are variations of reduced words for twisted involutions in Coxeter groups. They arise naturally in the study of the Bruhat order, of certain Iwahori-Hecke algebra modules, and of orbit closures in flag varieties. Specifically, to any twisted involutions $x$, $y$ in a Coxeter group $W$ with automorphism $\ast$, we associate a set of involution words ${\hat{\mathcal{R}}}_{\ast }(x,y)$. This set is the disjoint union of the reduced words of a set of group elements ${\mathcal{A}}_{\ast }(x,y)$, which we call the atoms of $y$ relative to $x$. The atoms, in turn, are contained in a larger set ${\mathcal{B}}_{\ast }(x,y)\subset W$ with a similar definition, whose elements we refer to as Hecke atoms. Our main results concern some interesting properties of the sets ${\hat{\mathcal{R}}}_{\ast }(x,y)$ and ${\mathcal{A}}_{\ast }(x,y)\subset {\mathcal{B}}_{\ast }(x,y)$. For finite Coxeter groups we prove that ${\mathcal{A}}_{\ast }(1,y)$ consists of exactly the minimal-length elements $w\in W$ such that $w^{\ast }y\le w$ in Bruhat order, and conjecture a more general property for arbitrary Coxeter groups. In type $A$, we describe a simple set of conditions characterizing the sets ${\mathcal{A}}_{\ast }(x,y)$ for all involutions $x,y\in S_n$, giving a common generalization of three recent theorems of Can, Joyce, and Wyser. We show that the atoms of a fixed involution in the symmetric group (relative to $x=1$) naturally form a graded poset, while the Hecke atoms surprisingly form an equivalence class under the "Chinese relation" studied by Cassaigne, Espie, et al. These facts allow us to recover a recent theorem of Hu and Zhang describing a set of "braid relations" spanning the involution words of any self-inverse permutation. We prove a generalization of this result giving an analogue of Matsumoto's theorem for involution words in arbitrary Coxeter groups.

37 pages, 3 figures; v2: minor revisions, typos corrected, references updated

References in corpus (2)

• The On-Line Encyclopedia of Integer Sequences
• Involution words: counting problems and connections to Schubert calculus for symmetric orbit closures

Cited by in corpus (23)

• Involution words: counting problems and connections to Schubert calculus for symmetric orbit closures
• Schur P-positivity and involution Stanley symmetric functions
• Fixed-point-free involutions and Schur P-positivity
• Transition formulas for involution Schubert polynomials
• K-theory formulas for orthogonal and symplectic orbit closures
• A symplectic refinement of shifted Hecke insertion
• On involutions in Weyl groups
• Braid relations for involution words in affine Coxeter groups
• On some actions of the 0-Hecke monoids of affine symmetric groups
• Bumping operators and insertion algorithms for queer supercrystals
• Linear compactness and combinatorial bialgebras
• Atoms for signed permutations
• Involution pipe dreams
• Extending a word property for twisted Coxeter systems
• Stanley symmetric functions for signed involutions
• Highest weight crystals for Schur Q-functions
• Quasiparabolic sets and Stanley symmetric functions for affine fixed-point-free involutions
• Affine transitions for involution Stanley symmetric functions
• $DIII$ clan combinatorics for the orthogonal Grassmannian
• Integral $u$-deformed involution modules
• Combinatorial Models for the Variety of Complete Quadrics
• Schubert polynomial analogues for degenerate involutions
• Crystals for shifted key polynomials