On a Conjecture of Dyer on the Join in the Weak Order of a Coxeter group

Basic Information

• Paper ID: 2510.11446
• Title: On a Conjecture of Dyer on the Join in the Weak Order of a Coxeter group
• Authors: Riccardo Biagioli, Lorenzo Perrone
• Classification: math.CO (Combinatorics), math.GR (Group Theory)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11446
• Conference: FPSAC 2025 (37th International Conference on Formal Power Series and Algebraic Combinatorics)

Abstract

This paper investigates several conjectures proposed by Dyer in the theory of weak order on Coxeter groups. One conjecture asserts that the extended weak order forms a lattice, while another provides an algebraic-geometric description of the join of two elements in this poset. The former was recently proved by Barkley and Speyer for the affine type. This paper establishes the latter conjecture for type A and type I Coxeter groups. Additionally, the authors verify the conjecture for types $H_3$ and $F_4$ using Sage software.

Research Background and Motivation

Problem Background

1. Coxeter Group Theory: Coxeter groups are abstract groups defined by simple presentations and are fundamental in multiple areas of mathematics, including classical examples such as dihedral groups and symmetry groups of regular polyhedra.
2. Weak Order Theory: One of the most important partial orders on Coxeter groups is the (right) weak order, defined via the prefix property: $u ≤_R v$ if and only if every reduced expression of $u$ is a prefix of some reduced expression of $v$.
3. Extended Weak Order: Dyer introduced the concept of extended weak order, defined on biclosed subsets of the positive root system $Φ^+$, denoted $(B(Φ^+), ⊆)$.

Research Motivation

1. Theoretical Refinement: When $W$ is finite, the weak order $(W, ≤_R)$ is a lattice; when $W$ is infinite, $(W, ≤_R)$ is never a lattice. The extended weak order provides a more general framework.
2. Conjecture Verification: Dyer proposed two important conjectures:
   • The extended weak order forms a lattice for every Coxeter system
   • The join of two biclosed sets in the extended weak order has a specific algebraic-geometric characterization
3. Partial Progress: The first conjecture was recently proved by Barkley and Speyer for the affine type, but the second conjecture remains open even for finite Coxeter systems.

Core Contributions

1. Theoretical Proof: Proves Dyer's conjecture on joins (Conjecture D) for type A and type I Coxeter groups
2. Equivalence Establishment: Proves the equivalence between Dyer's original conjecture and Hohlweg's reformulation (Conjecture H) in the finite case
3. Computational Verification: Verifies the conjecture for types $H_3$ and $F_4$ using Sage software
4. Methodological Innovation: Provides a combinatorial approach based on Bruhat paths to analyze the join operation

Detailed Methodology

Problem Formulation

The paper studies the join operation in the weak order on finite Coxeter groups $(W,S)$, specifically proving that for $u, v ∈ W$: $T_L(u ∨_R v) = T ∩ V_W(u,v)$ where $T_L(w)$ is the left descent set of $w$, and $V_W(u,v)$ is the set of vertices on all $(u,v)$-Bruhat paths.

Core Concepts

1. Inversion Sets and Biclosed Sets

• Inversion Set: For any $w ∈ W$, define $Φ_w = Φ^+ ∩ w(Φ^-)$
• Biclosed Set: A subset $A ⊆ Φ^+$ that is both closed and coclosed
• Key Lemma: Finite biclosed sets are precisely inversion sets (Lemma 2.2)

2. Bruhat Paths

• Definition: A $(u,v)$-Bruhat path is a directed path in the Bruhat graph starting from the identity $e$, with edge labels in $T_L(u) ∪ T_L(v)$
• Geometric Significance: Paths encode all possible ways to reach specific reflections

Model Architecture

1. Conjecture Reformulation

The original Conjecture D, defined through a function $τ: P(Φ^+) → P(W)$, is reformulated as Conjecture H using Bruhat paths.

2. Equivalence Proof Framework

Establishes a bijection $φ: α ↦ s_α$ between $Φ^+$ and the reflection set $T$, converting from root system language to group-theoretic language.

Technical Innovations

1. Path Analysis Method

• Introduces the concept of palindromic Bruhat paths
• Proves that any left descent can be reached via palindromic paths

2. Combinatorial Techniques

• For dihedral groups: exploits structural properties of reduced expressions
• For symmetric groups: combines transitive closure theory with inversion statistics

Experimental Setup

Theoretical Verification

1. Type A (Symmetric Groups): Utilizes combinatorial descriptions and inversion statistics of symmetric groups
2. Type I (Dihedral Groups): Analyzes based on the simple structure of generators
3. Computational Verification: Uses Sage software to verify types $H_3$ and $F_4$

Implementation Details

• For dihedral groups $I_2(m)$: case-by-case analysis of reduced expression forms
• For symmetric groups $S_n$: employs transitive closure theorem and palindromic path construction

Experimental Results

Main Results

1. Dihedral Groups (Theorem 3.1)

For any $u, v ∈ I_2(m)$, we have $T_L(u ∨_R v) = T ∩ V_{I_2(m)}(u,v)$.

Proof Highlights:

• When $u ≰_R v$ and $v ≰_R u$, the join is the maximum element $w_0$
• When a comparison relation exists, analysis proceeds through the structure of reduced expressions

2. Symmetric Groups (Theorem 4.6)

For any $σ, τ ∈ S_n$, we have $T_L(σ ∨_R τ) = T ∩ V_{S_n}(σ,τ)$.

Key Techniques:

• Utilizes the known result: $T_L(σ ∨_R τ) = (T_L(σ) ∪ T_L(τ))^{tc}$ (transitive closure)
• Proves that every reflection on any $(σ,τ)$-Bruhat path lies in the transitive closure

Constructive Proof

Theorem 4.4: For any $t ∈ T_L(σ ∨_R τ)$, there exists a palindromic $(σ,τ)$-Bruhat path from $e$ to $t$.

Computational Verification

Verifies the correctness of the conjecture for Coxeter groups of types $H_3$ and $F_4$ using Sage.

Related Work

Main Research Directions

1. Coxeter Group Theory: Björner & Brenti's classical textbook provides foundational theory
2. Weak Order Research: Dyer's pioneering work established the theory of extended weak order
3. Affine Case: Recent work by Barkley & Speyer proves the lattice property for affine type

Contributions of This Paper

1. Methodological Innovation: First application of Bruhat path methods to analyze join operations
2. Scope Extension: Extends from affine type to classical finite types
3. Computational Verification: Provides numerical verification for exceptional types

Conclusions and Discussion

Main Conclusions

1. Successfully proves the correctness of Dyer's conjecture for type A and type I Coxeter groups
2. Establishes equivalence between the two formulations
3. Provides a unified analytical framework based on Bruhat paths

Limitations

1. Scope Restriction: Currently covers only partial Coxeter group types
2. Method Dependence: Proof methods are highly dependent on combinatorial descriptions of specific groups
3. Technical Complexity: Generalization to type D faces additional structural complexity

Future Directions

1. Complete Classification: Extension to all classical Coxeter groups (particularly types B and D)
2. Unified Method: Seek unified proofs that do not rely on case-by-case analysis
3. Geometric Approach: Explore methods using root system geometry or Coxeter arrangements

In-Depth Evaluation

Strengths

1. Theoretical Rigor: Complete proofs with sufficient technical detail
2. Methodological Innovation: Bruhat path methods provide new tools for the field
3. Result Significance: Advances fundamental questions in Coxeter group theory
4. Adequate Verification: Theoretical proofs combined with computational verification enhance credibility

Weaknesses

1. Limited Coverage: Addresses only partial Coxeter group types
2. Method Specialization: Each type requires specialized technical treatment
3. Generalization Difficulty: Extension to other types is not straightforward

Impact

1. Theoretical Contribution: Provides significant progress on weak order theory for Coxeter groups
2. Method Value: Bruhat path analysis may be applicable to other problems
3. Practical Significance: Provides theoretical foundation for related computational problems

Applicable Scenarios

1. Algebraic Combinatorics: Study of Coxeter groups and their representations
2. Lattice Theory: Analysis of lattice properties of posets
3. Geometric Group Theory: Understanding geometric structures of reflection groups

References

Key references include:

1. Dyer, M. "On the weak order of Coxeter groups" (source of original conjecture)
2. Recent work by Barkley & Speyer on the affine type
3. Björner & Brenti's classical textbook on Coxeter group combinatorics
4. Humphreys' foundational literature on reflection group theory

Overall Assessment: This is a high-quality paper in algebraic combinatorics that achieves substantial progress on fundamental questions in Coxeter group theory. While complete resolution of the results requires further work, the methods and partial results provided make important contributions to the field.