Characterization of cyclically fully commutative elements in finite and affine Coxeter groups

An element of a Coxeter group W is fully commutative if any two of its reduced decompositions are related by a series of transpositions of adjacent commuting generators. An element of a Coxeter group W is cyclically fully commutative if any of its cyclic shifts remains fully commutative. These elements were studied in Boothby et al.. In particular the authors enumerated cyclically fully commutative elements in all Coxeter groups having a finite number of them. In this work we characterize and enumerate cyclically fully commutative elements according to their Coxeter length in all finite or affine Coxeter groups by using a new operation on heaps, the cylindric transformation. In finite types, this refines the work of Boothby et al., by adding a new parameter. In affine type, all the results are new. In particular, we prove that there is a finite number of cyclically fully commutative logarithmic elements in all affine Coxeter groups. We study afterwards the cyclically fully commutative involutions and prove that their number is finite in all Coxeter groups.

[1]  Victor Reiner,et al.  Toric partial orders , 2012, 1211.4247.

[2]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..

[3]  C. Kenneth Fan,et al.  A Hecke algebra quotient and properties of commutative elements of a Weyl group , 1995 .

[5]  Sabrina Hirsch,et al.  Reflection Groups And Coxeter Groups , 2016 .

[6]  A. Björner,et al.  Combinatorics of Coxeter Groups , 2005 .

[7]  J. Humphreys Reflection groups and Coxeter groups: Hecke algebras and Kazhdan–Lusztig polynomials , 1990 .

[8]  On the cyclically fully commutative elements of Coxeter groups , 2012, 1202.6657.

[9]  R. Richardson Conjugacy classes of involutions in Coxeter groups , 1982, Bulletin of the Australian Mathematical Society.

[10]  Generating series of cyclically fully commutative elements is rational , 2016, 1612.03764.

[11]  Christopher R. H. Hanusa,et al.  The enumeration of fully commutative affine permutations , 2009, Eur. J. Comb..

[12]  Riccardo Biagioli,et al.  Combinatorics of fully commutative involutions in classical Coxeter groups , 2015, Discret. Math..

[13]  Bridget Eileen Tenner Pattern avoidance and the Bruhat order , 2007, J. Comb. Theory, Ser. A.

[14]  David E. Speyer Powers of Coxeter elements in infinite groups are reduced , 2007, 0710.3188.

[15]  Riccardo Biagioli,et al.  Fully commutative elements in finite and affine Coxeter groups , 2014 .

[16]  J. Stefan Über die Theorie der Eisbildung , 1890 .

[17]  T. Marquis Conjugacy classes and straight elements in Coxeter groups , 2013, 1310.1021.

[18]  John R. Stembridge,et al.  Some combinatorial aspects of reduced words in finite Coxeter groups , 1997 .

[19]  John R. Stembridge,et al.  On the Fully Commutative Elements of Coxeter Groups , 1996 .

[20]  John R. Stembridge The Enumeration of Fully Commutative Elements of Coxeter Groups , 1998 .

[21]  C. KENNETH FAN,et al.  STRUCTURE OF A HECKE ALGEBRA QUOTIENT , 1996 .