2025-11-24T21:13:17.019964

On character tables for fusion systems

Lawrence, Semeraro
A character table $X$ for a saturated fusion system $\mathcal{F}$ on a finite $p$-group $S$ is the square matrix of values associated to a basis of virtual $\mathcal{F}$-stable ordinary characters of $S$. We investigate a conjecture of the second author which equates the $p$-part of $|\det(X)|^2$ with the product of the orders of $S$-centralisers of fully $\mathcal{F}$-centralised $\mathcal{F}$-class representatives. This statement is exactly column orthogonality for the character table of $S$ when $\mathcal{F}=\mathcal{F}_S(S)$. We prove the conjecture when $\mathcal{F}=\mathcal{F}_S(G)$ is realised by some finite group $G$ with Sylow $p$-subgroup $S$, and for all simple fusion systems when $|S| \le p^4$.
academic

On character tables for fusion systems

基本信息

  • 论文ID: 2510.09277
  • 标题: On character tables for fusion systems
  • 作者: Thomas Lawrence, Jason Semeraro
  • 分类: math.RT (Representation Theory)
  • 发表时间: October 17, 2025 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2510.09277v2

摘要

本文研究有限p-群S上饱和融合系统F的特征标表。对于这样的融合系统，特征标表X是与S的虚拟F-稳定普通特征标的基对应的方阵。作者研究了第二作者提出的一个猜想，该猜想将|det(X)|²的p-部分与完全F-中心化F-类代表元的S-中心化子的阶的乘积联系起来。当F=F_S(S)时，这个陈述恰好是S的特征标表的列正交性。论文证明了当F=F_S(G)由某个有限群G实现且S是G的Sylow p-子群时该猜想成立，并且对所有|S|≤p⁴的简单融合系统也成立。

研究背景与动机

  1. 问题背景: 融合系统是现代表示论和代数拓扑中的重要概念，它抽象了有限群的Sylow子群的共轭作用。特征标表是研究群表示的核心工具，但对于融合系统的特征标表理论还不够完善。
  2. 核心问题: Semeraro猜想(Conjecture 1.1)断言，对于饱和融合系统F在有限p-群S上，其特征标表X满足： ∣XB(F)XB(F)T∣p=∏s∈Fz∣CS(s)∣|X_B(F)X_B(F)^T|_p = \prod_{s \in F^z} |C_S(s)| 其中F^z是完全F-中心化的F-共轭类代表元集合。
  3. 重要性: 该猜想推广了经典群论中特征标表的列正交性关系，为理解融合系统的表示理论提供了新的视角。
  4. 现有局限: 此前该猜想只在一些特殊情况下得到验证，缺乏系统性的证明方法。

核心贡献

  1. 证明了Lawrence-Olsson定理(Theorem 1.2): 当F=F_S(G)是由有限群G实现的融合系统且S是G的Sylow p-子群时，Semeraro猜想成立。
  2. 证明了小阶情况(Theorem 1.3): 对所有简单融合系统且|S|≤p⁴的情况，该猜想成立。
  3. 发展了归纳方法: 提出了通过适当的可实现子系统来构造F-稳定特征标基的技术(Proposition 2.5)。
  4. 完整分类验证: 对p⁴阶p-群上的所有简单异常融合系统进行了逐一验证。

方法详解

任务定义

研究饱和融合系统F在有限p-群S上的虚拟F-稳定特征标环Ch(S)^F，验证其特征标表行列式与中心化子阶乘积的关系。

核心技术框架

1. F-稳定特征标的结构理论

  • 定义不可分解特征标集合Ind(F)
  • 建立Ch(S)^F = ⟨Ind(F)⟩_Z的关系
  • 利用rk_Z(Ch(S)^F) = k(F)的事实，其中k(F)是F-共轭类数目

2. 可实现情况的证明方法

对于F = F_S(G)的情况，关键技术包括：

Brauer特征标刻画: 利用Proposition 2.2，有 Ch(S)F=Z[χ∣S∣χ∈Irr(G)]Ch(S)^F = Z[\chi|_S | \chi \in \text{Irr}(G)]

列正交性: 通过矩阵关系 ((DX)TDX)s,t=δst∣CG(s)∣((DX)^T DX)_{s,t} = \delta_{st}|C_G(s)| 其中D是系数矩阵，X是特征标表。

关键等式: 得到 ∣XXT∣=1∣C∣∏s∈Fz∣CG(s)∣|XX^T| = \frac{1}{|C|} \prod_{s \in F^z} |C_G(s)|

3. 归纳构造方法(Proposition 2.5)

对于异常融合系统，发展了以下技术：

  • 选择适当的可实现子系统N ⊆ F
  • 通过N-稳定基B_N构造F-稳定字符集B_F
  • 利用行变换建立|X_(N)| = ±p·|X_(F)|的关系
  • 通过格的体积关系验证B_F确实是Ch(S)^F的基

技术创新点

  1. 体积方法: 创新性地使用Z-格的体积概念来处理特征标环的基变换问题。
  2. 分解技术: 对于p⁴阶群上的融合系统，系统地分析了Γ-轨道结构和稳定化子。
  3. 计算机辅助验证: 对小素数情况使用MAGMA软件包进行精确计算验证。

实验设置

研究对象分类

  1. 可实现融合系统: F_S(G)型，其中S是G的Sylow p-子群
  2. 异常融合系统: 无法由有限群实现的融合系统
  3. 简单融合系统: 无非平凡正规子系统的融合系统

具体案例

  • 传递融合系统: F^z = {1,z}的情况，可直接验证
  • PSp₄(p)型系统: 包括F^(1), Op'(F^(1)), G等系统
  • 小阶特殊情况: p=3,5时的例外情况

计算工具

使用MAGMA代数系统及其FusionSystems包进行计算验证。

实验结果

主要结果

Theorem 1.2的证明

通过Proposition 3.2证明了当S是G的Sylow p-子群时(|C|,p)=1，从而： ∣XXT∣p=∏s∈Fz∣CG(s)∣p=∏s∈Fz∣CS(s)∣|XX^T|_p = \prod_{s \in F^z} |C_G(s)|_p = \prod_{s \in F^z} |C_S(s)|

Theorem 1.3的验证

对p⁴阶群上的简单融合系统逐一验证：

  1. F = G情况: 构造了表2中的F-稳定基，验证猜想成立
  2. F = F^(1)情况: 通过表4和表5的字符构造，证明猜想
  3. F = Op'(F^(1))情况: 分p≡1,3(mod 4)两种情况处理
  4. 小素数情况: 通过计算机验证了所有p=3,5的例外情况

具体数值结果

以F = G为例，当p≥5时：

  • |S^F| = |S^N| - 1 = 6
  • 构造的F-稳定基B_F包含6个线性无关的特征标
  • 满足Proposition 2.5的条件，从而猜想成立

重要发现

  1. 非分解性: 发现F^(1)不是分解的融合系统，提供了无穷族非分解异常融合系统的例子。
  2. 饱和性必要: Example 2.6显示对非饱和融合系统猜想不成立。
  3. 计算复杂性: 验证过程需要精确的特征标计算和轨道分析。

相关工作

历史发展

  1. Brauer理论: 经典的特征标理论为本工作提供了基础
  2. Olsson工作: 14中已有类似观察，使用π-块方法
  3. 融合系统理论: Aschbacher-Kessar-Oliver的基础理论框架

本文贡献的定位

  • 首次系统性研究融合系统的特征标表行列式
  • 推广了群特征标表的经典正交性关系
  • 为异常融合系统提供了新的研究工具

结论与讨论

主要结论

  1. 对所有可实现的融合系统，Semeraro猜想成立
  2. 对|S|≤p⁴的所有简单融合系统，猜想成立
  3. 发展了处理异常融合系统的有效方法

局限性

  1. 阶数限制: 目前只处理了p⁴阶以下的情况
  2. 简单性假设: 对一般融合系统的情况还未解决
  3. 计算复杂性: 高阶情况需要更复杂的计算技术

未来方向

  1. 推广到更高阶的p-群
  2. 研究一般(非简单)融合系统的情况
  3. 探索与块理论的更深层联系

深度评价

优点

  1. 理论深度: 将经典表示论与现代融合系统理论巧妙结合
  2. 方法创新: 体积方法和归纳构造技术具有普遍适用性
  3. 计算严谨: 结合理论分析与计算机验证，结果可靠
  4. 完整性: 对相关情况进行了全面分类和验证

不足

  1. 技术门槛: 需要深厚的表示论和融合系统背景
  2. 推广性: 方法对更高阶情况的适用性有待验证
  3. 计算依赖: 部分结果依赖计算机验证，理论证明不够直接

影响力

  1. 理论贡献: 为融合系统表示论提供了新的研究方向
  2. 方法价值: 归纳构造方法可能适用于其他问题
  3. 计算工具: 推动了融合系统计算方法的发展

适用场景

该工作适用于：

  • 有限群表示论研究
  • 代数拓扑中的融合系统应用
  • 块理论和模表示论
  • 计算群论中的特征标计算

参考文献

论文引用了18篇重要文献，包括：

  • Aschbacher-Kessar-Oliver的融合系统基础理论
  • Olsson关于π-块的经典工作
  • Sambale等人的最新相关研究
  • 计算工具MAGMA及相关算法包

该论文在融合系统的表示论研究中具有重要意义，不仅解决了一个具体的猜想，更重要的是发展了研究此类问题的系统方法，为后续研究奠定了坚实基础。