Seminormal bases of cyclotomic Hecke-Clifford algebras

基本信息

• 论文ID: 2502.15170
• 标题: Seminormal bases of cyclotomic Hecke-Clifford algebras
• 作者: Shuo Li (Beijing Institute of Technology), Lei Shi (Max-Planck-Institut für Mathematik)
• 分类: math.RT (Representation Theory), math.GR (Group Theory)
• 提交时间: 2025年3月31日 (v3版本)
• 论文链接: https://arxiv.org/abs/2502.15170

摘要

本文描述了半单分圆Hecke-Clifford超代数简单模的某些基上标准生成元的作用。作为应用，我们明确构造了这些代数的完整原始幂等元集合和半正规基。

研究背景与动机

问题背景

1. 对称群的投影表示理论：Schur在研究对称群Sn的投影表示理论时引入了双覆盖S̃n，将投影表示的研究等价转化为线性表示理论。这导致了对旋转对称群代数CS⁻n的研究。
2. 现有理论的局限性：虽然分圆Hecke代数已有成熟的"胞腔理论"(cellular theory)，但分圆Hecke-Clifford代数由于缺乏"胞腔基"而没有相应的胞腔结构。
3. 半正规基的重要性：在EM, HM1, HM2中，通过半单变形和半正规基为分圆Hecke代数和A型、C型分圆quiver Hecke代数构造了(分次)胞腔基。

研究动机

为了给分圆Hecke-Clifford代数提供"胞腔"结构，自然需要考虑半单变形并构造分圆Hecke-Clifford代数的半正规基。这是本工作的主要动机。

核心贡献

本文的三个主要定理构成了核心贡献：

1. 定理1.1：为简单模D(λ)构造了明确的K-基，并给出了H^f_c(n)的生成元在该基上的明确作用公式。
2. 定理1.2：在分离条件P^•_n(q²,Q) ≠ 0下，构造了H^f_c(n)的完整(超)原始正交幂等元集合和(超)原始中心幂等元集合。
3. 定理1.3：构造了H^f_c(n)的块Bλ的两种半正规基，并给出了基元素的乘法公式。
4. 推广应用：结果适用于一般分圆Hecke-Clifford代数H^f_c(n)、Hecke-Clifford代数H(n)以及退化情形的Sergeev代数。

方法详解

任务定义

研究半单分圆Hecke-Clifford超代数H^f_c(n)的表示理论，特别是：

• 构造简单模的明确基
• 确定标准生成元的作用
• 构造原始幂等元
• 建立半正规基理论

理论框架

1. 代数结构

分圆Hecke-Clifford代数H^f_c(n)由以下生成元和关系定义：

• 偶生成元：T₁,...,Tₙ₋₁, X±₁,...,X±ₙ
• 奇生成元：C₁,...,Cₙ
• 满足特定的超代数关系

2. 组合学基础

根据多项式f的不同形式，对应不同的组合学：

• f = f^(0)_Q：对应P^(0,m)_n = P^m_n（m-多分割）
• f = f^(s)_Q：对应P^(s,m)_n（严格分割与多分割的混合）
• f = f^(ss)_Q：对应P^(ss,m)_n（两个严格分割与多分割的混合）

3. 分离条件

关键技术条件P^•_n(q²,Q) ≠ 0确保了代数的半单性，这等价于对所有λ ∈ P^(•,m)_n，标准表格t的q-序列满足分离性质。

技术创新点

1. 简单模的明确构造

• 利用仿射Hecke-Clifford代数Hc(n)的子代数An的表示理论
• 通过Clifford代数Cn的幂等元分解构造基
• 建立了简单模D(λ)与标准表格和Clifford代数表示的联系

2. 原始幂等元的构造

对T = (t, αt, βt) ∈ Tri₀(λ)，定义：

FT = (Cᵅᵗγt(Cᵅᵗ)⁻¹) · ∏ᵏ⁼¹ⁿ ∏_{b∈B(k), b≠b₊(rest(k))} (X^{νβt(k)}_k - b)/(b₊(rest(k)) - b)

3. 半正规基的双重构造

提供了两种半正规基构造：

• 通过固定w ∈ Std(λ)的"因子化"构造
• 通过约化表达式的直接构造

实验设置

理论验证

本文是纯理论工作，主要通过以下方式验证结果：

1. 一致性检验：验证构造的幂等元满足幂等性和正交性
2. 维数计算：验证构造的基的维数与理论预期一致
3. 作用公式验证：确认生成元作用公式的正确性

特殊情形验证

• 当f = x-1时，H^f_c(n)退化为Hecke-Clifford代数H(n)
• 当q = 1时，对应Sergeev代数Cn ⋊ CSn
• 验证这些特殊情形下结果的正确性

实验结果

主要理论结果

1. 简单模结构（定理4.7）

D(λ)具有K-基：

⊔_{t∈Std(λ)} {CᵝᵗCᵅᵗvt | βt ∈ Z₂([n]\Dt), αt ∈ Z₂(ODt)}

生成元的作用公式：

• Xi · CᵝᵗCᵅᵗvt = b^{-νβt(i)}_{t,i} CᵝᵗCᵅᵗvt
• 详细的Ci和Ti作用公式

2. 原始幂等元（定理4.15）

• {FT | T ∈ Tri₀(P^{•,m}_n)}构成完整的(超)原始正交幂等元集
• {Fλ | λ ∈ P^{•,m}_n}构成完整的(超)原始中心幂等元集

3. 半正规基乘法公式

对dλ = 0的情形：

f^w_{S,T} f^w_{U,V} = δT,U c^w_T f^w_{S,V}

对dλ = 1的情形：

f^w_{S,Ta} f^w_{U,Vb} = δT₀,U (-1)^{|αt|>d(t,t^λ)(it)} c^w_T f^w_{S,Va+b}

应用结果

1. 子代数分析

构造并分析了以下子代数链：

Z(H^f_c(n))₀ ⊂ G^f_n ⊂ P^f_n ⊂ C_{H^f_c(n)}(P^f_n) ⊂ A^f_n ⊂ H^f_c(n)

2. 反对合作用

计算了反对合*在半正规基上的作用，提供了明确的变换公式。

相关工作

历史发展

1. Schur的工作：建立了对称群投影表示与旋转群代数的联系
2. Nazarov等：发展了Sergeev代数的表示理论
3. Jones-Nazarov：研究了Hecke-Clifford代数
4. Brundan-Kleshchev：建立了分圆Hecke-Clifford代数理论

现有方法对比

• 优势：首次为分圆Hecke-Clifford代数提供了完整的半正规基理论
• 创新：明确的构造方法和计算公式
• 推广：统一处理了非退化和退化情形

结论与讨论

主要结论

1. 成功构造了分圆Hecke-Clifford代数的半正规基
2. 提供了完整的原始幂等元集合
3. 建立了与Hecke-Clifford代数和Sergeev代数的联系
4. 为未来的"胞腔基"理论奠定了基础

局限性

1. 要求分离条件P^•_n(q²,Q) ≠ 0
2. 仅处理了半单情形
3. 胞腔基理论尚未完全建立

未来方向

1. 发展完整的胞腔基理论
2. 研究非半单情形
3. 探索与quiver Hecke超代数的联系
4. 应用于模分支规则的研究

深度评价

优点

1. 理论完整性：提供了从基础构造到应用的完整理论框架
2. 计算明确性：所有构造都有明确的公式和算法
3. 统一性：统一处理了多种相关代数
4. 技术创新：巧妙结合了Clifford代数和Hecke代数理论

不足

1. 技术门槛高：需要深厚的代数表示论背景
2. 计算复杂：某些公式较为复杂，实际计算困难
3. 应用范围：主要是理论结果，实际应用有限

影响力

1. 理论贡献：填补了分圆Hecke-Clifford代数半正规基理论的空白
2. 方法价值：提供的技术方法可推广到其他超代数
3. 后续研究：为胞腔基理论和模表示论提供了重要工具

适用场景

1. 代数表示论研究
2. 对称群和相关群的表示理论
3. 量子群和分类化理论
4. 组合数学中的对称函数理论

参考文献

论文包含68篇参考文献，涵盖了代数表示论、Hecke代数、Clifford代数等相关领域的重要工作，体现了研究的深度和广度。

总体评价：这是一篇高质量的代数表示论理论论文，填补了分圆Hecke-Clifford代数半正规基理论的重要空白，技术深入且结果完整，对该领域的发展具有重要推动作用。