[论文解读] An Inductive Approach to Coxeter Arrangements and Solomon's Descent Algebra

J. Matthew Douglass, Götz Pfeiffer+1 more|arXiv (Cornell University)|Jan 1, 2011

Advanced Combinatorial Mathematics参考文献 5被引用 2

一句话总结

本文提出了一种归纳方法来证明猜想A，该猜想认为有限考克斯eter群的群代数和奥尔利克-索洛蒙代数可分解为共轭类中心化子的诱导一维表示。通过为抛物子群引入猜想的相对版本，作者证明了该猜想对所有秩≤2的考克斯eter群成立，为反射群理论中更广泛验证奠定了基础。

ABSTRACT

In a recent paper we claimed that both the group algebra of a finite Coxeter group $W$ as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of centralizers, one for each conjugacy class of elements of $W$, and gave a uniform proof of this claim for symmetric groups. In this note we outline an inductive approach to our conjecture. As an application of this method, we prove the inductive version of the conjecture for finite Coxeter groups of rank up to 2.

研究动机与目标

• 开发一个归纳框架，以证明猜想A，即有限考克斯eter群的群代数和奥尔利克-索洛蒙代数可分解为共轭类中心化子的诱导一维表示。
• 为配对(W, WL)的形式化相对猜想，其中WL是W的抛物子群，以实现归纳约化。
• 验证所有秩≤2的抛物子群的相对猜想（猜想C），从而为猜想A建立基础情形。
• 通过诱导特征标和下降代数结构，将特征标理论方法从对称群推广到一般有限考克斯eter群。

提出的方法

• 为配对(W, WL)形式化一个相对猜想（猜想C），其中WL是W的抛物子群，涉及从WL中元素中心化子诱导的特征标。
• 利用W的下降代数及其通过拟幂等元分解为投射本原模的结构，分析群代数的结构。
• 将奥尔利克-索洛蒙代数A(W)视为复化反射排列补集的上同调环，并将其模结构与诱导特征标关联。
• 应用涉及符号特征标ǫ和特征标αw在w的1-特征空间上的特征标公式，将ωW与ρW与诱导表示关联。
• 利用正规化子结构NW(WL) = WL ⋊ NL以及NL在WL上的作用，通过陪集代表元将特征标从CWL(st)扩展到CW(st)。
• 通过区分情形证明秩2抛物子群的猜想：WL为A1×A1型和WL为I2(m)型且m为奇数的情形，使用幂等基和特征标扩展。

实验结果

研究问题

• RQ1 能否通过抛物子群对有限考克斯eter群的群代数和奥尔利克-索洛蒙代数分解为来自中心化子的诱导一维表示进行归纳证明？
• RQ2 相对猜想（猜想C）是否对所有满足WL是秩≤2抛物子群的配对(W, WL)成立？
• RQ3 中心化子上的特征标ϕw和ψw如何与符号特征标ǫ和行列式αw在诱导表示背景下关联？
• RQ4 正规化子NW(WL)及其NL作用在下降代数和奥尔利克-索洛蒙代数中的角色是什么，以支持归纳证明？
• RQ5 奥尔利克-索洛蒙代数A(WL)的结构能否用于验证秩2抛物子群中元素w的特征标恒等式ψw = ϕwǫαw？

主要发现

• 对于任意有限考克斯eter群W中的所有秩2抛物子群WL，猜想C成立，通过分析WL的类型情形得证。
• 当WL为A1×A1型时，由于中心的、尖锐的元素st，猜想平凡成立，其中ϕw = ǫL且ψw = 1L。
• 当WL为I2(m)型且m为奇数时，通过将特征标ϕ(st)j从CWL(st)扩展到CW(st)，并验证特征标恒等式eψL = eϕLǫSαL，猜想成立。
• 证明依赖于群代数和奥尔利克-索洛蒙代数的顶成分在正规化子NL作用下保持稳定，从而实现一致的特征标扩展。
• C⟨st⟩的幂等基{fj}以及wL和n ∈NL对aL = asat的作用在验证奥尔利克-索洛蒙代数的特征标恒等式中起关键作用。
• 结果确认了所有秩≤2的有限考克斯eter群的猜想A，为一般猜想提供了基础情形。