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

基本信息

• 论文ID: 2510.11446
• 标题: On a Conjecture of Dyer on the Join in the Weak Order of a Coxeter group
• 作者: Riccardo Biagioli, Lorenzo Perrone
• 分类: math.CO (组合数学), math.GR (群论)
• 发表时间: 2025年10月13日 (arXiv预印本)
• 论文链接: https://arxiv.org/abs/2510.11446
• 会议: FPSAC 2025 (第37届形式幂级数与代数组合学国际会议)

摘要

本文研究Dyer在Coxeter群弱序理论中提出的若干猜想。其中一个猜想断言扩展弱序构成格，另一个猜想提供了该偏序集中两个元素连接的代数几何描述。前者最近由Barkley和Speyer针对仿射型得到了证明。本文针对A型和I型Coxeter群建立了后一个猜想。此外，作者还通过Sage软件验证了该猜想在$H_3$和$F_4$型中的有效性。

研究背景与动机

问题背景

1. Coxeter群理论: Coxeter群是由简单表示定义的抽象群，在数学多个领域中具有基础重要性，包括二面群和正多面体的对称群等经典例子。
2. 弱序理论: Coxeter群上最重要的偏序关系之一是(右)弱序，可通过前缀性质定义：$u ≤_R v$当且仅当$u$的任何约化表达式都是$v$的某个约化表达式的前缀。
3. 扩展弱序: Dyer引入了扩展弱序的概念，定义在正根系统$Φ^+$的双闭子集上，记为$(B(Φ^+), ⊆)$。

研究动机

1. 理论完善: 当$W$有限时，弱序$(W, ≤_R)$是格；当$W$无限时，$(W, ≤_R)$永远不是格。扩展弱序提供了更一般的框架。
2. 猜想验证: Dyer提出两个重要猜想：
   • 扩展弱序对每个Coxeter系统都构成格
   • 两个双闭集合在扩展弱序中的连接具有特定的代数几何刻画
3. 部分进展: 第一个猜想最近被Barkley和Speyer针对仿射型证明，但第二个猜想即使对有限Coxeter系统也仍然开放。

核心贡献

1. 理论证明: 针对A型和I型Coxeter群证明了Dyer关于连接的猜想(Conjecture D)
2. 等价性建立: 证明了Dyer的原始猜想与Hohlweg重新表述的猜想(Conjecture H)在有限情形下的等价性
3. 计算验证: 通过Sage软件验证了猜想在$H_3$和$F_4$型中的有效性
4. 方法创新: 提供了基于Bruhat路径的组合学方法来分析连接运算

方法详解

任务定义

研究有限Coxeter群$(W,S)$中弱序的连接运算，具体要证明：对于$u, v ∈ W$，有 $T_L(u ∨_R v) = T ∩ V_W(u,v)$ 其中$T_L(w)$是$w$的左反射集，$V_W(u,v)$是所有$(u,v)$-Bruhat路径的顶点集合。

核心概念

1. 反演集与双闭集

• 反演集: 对任意$w ∈ W$，定义$Φ_w = Φ^+ ∩ w(Φ^-)$
• 双闭集: 子集$A ⊆ Φ^+$既是闭的又是余闭的
• 关键引理: 有限双闭集恰好是反演集(Lemma 2.2)

2. Bruhat路径

• 定义: $(u,v)$-Bruhat路径是Bruhat图中从单位元$e$开始，边标签属于$T_L(u) ∪ T_L(v)$的有向路径
• 几何意义: 路径编码了到达特定反射的所有可能方式

模型架构

1. 猜想重新表述

原始猜想D通过函数$τ: P(Φ^+) → P(W)$定义连接，重新表述为猜想H使用Bruhat路径刻画。

2. 等价性证明框架

通过建立$Φ^+$与反射集$T$之间的双射$φ: α ↦ s_α$，将根系统语言转换为群论语言。

技术创新点

1. 路径分析方法

• 引入回文Bruhat路径概念
• 证明任何左反射都可通过回文路径到达

2. 组合学技巧

• 对二面群：利用约化表达式的结构性质
• 对对称群：结合传递闭包理论和反演统计

实验设置

理论验证

1. A型(对称群): 利用对称群的组合描述和反演统计
2. I型(二面群): 基于生成元的简单结构进行分析
3. 计算验证: 使用Sage软件验证$H_3$和$F_4$型

实现细节

• 对二面群$I_2(m)$：分情况讨论约化表达式的形式
• 对对称群$S_n$：利用传递闭包定理和回文路径构造

实验结果

主要结果

1. 二面群(定理3.1)

对任意$u, v ∈ I_2(m)$，有$T_L(u ∨_R v) = T ∩ V_{I_2(m)}(u,v)$。

证明要点：

• 当$u ≰_R v$且$v ≰_R u$时，连接为最大元$w_0$
• 当存在比较关系时，通过约化表达式的结构分析

2. 对称群(定理4.6)

对任意$σ, τ ∈ S_n$，有$T_L(σ ∨_R τ) = T ∩ V_{S_n}(σ,τ)$。

关键技术：

• 利用已知结果：$T_L(σ ∨_R τ) = (T_L(σ) ∪ T_L(τ))^{tc}$（传递闭包）
• 证明任何$(σ,τ)$-Bruhat路径上的反射都在传递闭包中

构造性证明

定理4.4: 对任意$t ∈ T_L(σ ∨_R τ)$，存在从$e$到$t$的回文$(σ,τ)$-Bruhat路径。

计算验证

通过Sage验证了$H_3$和$F_4$型Coxeter群中猜想的正确性。

相关工作

主要研究方向

1. Coxeter群理论: Björner & Brenti的经典教材提供了基础理论
2. 弱序研究: Dyer的开创性工作建立了扩展弱序理论
3. 仿射情形: Barkley & Speyer最近的工作证明了仿射型的格性质

本文贡献

1. 方法创新: 首次使用Bruhat路径方法分析连接运算
2. 范围扩展: 从仿射型扩展到经典有限型
3. 计算验证: 提供了例外型的数值验证

结论与讨论

主要结论

1. 成功证明了A型和I型Coxeter群中Dyer猜想的正确性
2. 建立了两种表述之间的等价性
3. 提供了基于Bruhat路径的统一分析框架

局限性

1. 范围限制: 目前只覆盖了部分Coxeter群类型
2. 方法依赖: 证明方法高度依赖于具体群的组合描述
3. 技术复杂性: D型的推广面临额外的结构复杂性

未来方向

1. 完全分类: 扩展到所有经典Coxeter群(特别是B型和D型)
2. 统一方法: 寻找不依赖逐案分析的统一证明
3. 几何方法: 探索使用根系统几何或Coxeter排列的方法

深度评价

优点

1. 理论严谨: 证明完整且技术细节充分
2. 方法创新: Bruhat路径方法为该领域提供了新工具
3. 结果重要: 推进了Coxeter群理论的基本问题
4. 验证充分: 理论证明结合计算验证增强了可信度

不足

1. 覆盖有限: 仅处理了部分Coxeter群类型
2. 方法特化: 每种类型需要专门的技术处理
3. 推广困难: 向其他类型的推广并非直接

影响力

1. 理论贡献: 为Coxeter群弱序理论提供了重要进展
2. 方法价值: Bruhat路径分析可能适用于其他问题
3. 实用意义: 为相关计算问题提供了理论基础

适用场景

1. 代数组合学: 研究Coxeter群及其表示
2. 格理论: 分析偏序集的格性质
3. 几何群论: 理解反射群的几何结构

参考文献

关键参考文献包括：

1. Dyer, M. "On the weak order of Coxeter groups" (原始猜想来源)
2. Barkley & Speyer关于仿射型的最新工作
3. Björner & Brenti的Coxeter群组合学经典教材
4. Humphreys的反射群理论基础文献

总体评价: 这是一篇高质量的代数组合学论文，在Coxeter群理论的基本问题上取得了实质性进展。虽然结果的完全性还有待进一步工作，但所提供的方法和部分结果为该领域做出了重要贡献。