2025-11-20T18:37:15.088352

On the invariants of finite groups arising in a topological quantum field theory

Schroeder, Tong-Viet

In this paper, we consider the properties of finite groups that are witnessed by group invariants arising in the context of Dijkgraaf--Witten theory, a topological quantum field theory, as invariants of surfaces. These invariants can be considered generalizations of the commuting probability, an invariant that has been well studied in the group theory literature.

academic

On the invariants of finite groups arising in a topological quantum field theory

基本信息

论文ID: 2510.14971
标题: On the invariants of finite groups arising in a topological quantum field theory
作者: Christopher A. Schroeder, Hung P. Tong-Viet
分类: math.GR (Group Theory), math.RT (Representation Theory), quant-ph (Quantum Physics)
发表时间: October 17, 2025 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.14971

摘要

本文研究了在Dijkgraaf-Witten理论（一种拓扑量子场论）背景下产生的群不变量所见证的有限群性质，这些不变量作为曲面的不变量。这些不变量可以被视为交换概率的推广，而交换概率是群论文献中被深入研究的一个不变量。

研究背景与动机

核心问题: 本文研究如何利用拓扑量子场论中自然产生的群不变量来刻画有限群的结构性质，特别是交换性、幂零性、超可解性和可解性等性质。
问题重要性:
- 群不变量在推导有限群结构性质方面有着悠久的历史
- 数学与物理的兼容性表明，物理中自然产生的群不变量对刻画群结构应该是有用的
- 这建立了群论与拓扑量子场论之间的新联系
现有方法局限性:
- 传统方法通常通过计算与群相关的对象（如元素、共轭类或不可约特征标）来构造不变量
- 交换概率 d(G) = k(G)/|G| 的研究已经相当成熟，但缺乏更高维度的推广
研究动机:
- 从Dijkgraaf-Witten理论中导出的不变量 qₕ(G) 可以看作交换概率的自然推广
- 探索这些"量子不变量"是否能够见证与交换概率相同的群结构性质

核心贡献

建立了新的群不变量族: 定义了 qₕ(G) := (1/|G|)∑_{χ∈Irr(G)} (1/χ(1))^{2h-2}，其中 h 是亏格参数
证明了广泛的结构判定准则: 将交换概率的经典结果推广到所有亏格 h ≥ 1：
- 如果 qₕ(G) > qₕ(D₈)，则 G 是交换群
- 如果 qₕ(G) > qₕ(S₃)，则 G 是幂零群
- 如果 qₕ(G) > qₕ(A₄)，则 G 是超可解群
- 如果 qₕ(G) > qₕ(A₅)，则 G 是可解群
建立了 p-闭性判定准则: 证明了如果 qₕ(G) > β(h,p)/(p+1)，则 G 有正规的 Sylow p-子群
引入了 p-局部版本: 定义了 qₕ,p'(G) 并证明了相应的 p-可解性判定准则

方法详解

任务定义

研究有限群 G 的不变量 qₕ(G) = (1/|G|)∑_{χ∈Irr(G)} (1/χ(1))^{2h-2}，其中 χ 遍历 G 的所有复不可约特征标，h 是正整数（对应曲面的亏格）。

理论框架

1. 不变量定义

主不变量: qₕ(G) := (1/|G|)∑_{χ∈Irr(G)} (1/χ(1))^{2h-2}
特殊情况: q₀(G) = 1, q₁(G) = k(G)/|G| = d(G)（交换概率）
p-局部版本: qₕ,p'(G) = (1/|G|p')∑_{φ∈IBr(G)} 1/φ(1)^{2h-2}

2. 关键引理

单调性（Lemma 2.2）: 如果 H ≤ G，则 qₕ(H) ≥ qₕ(G) 对所有 h ≥ 1 成立。

证明思路利用了Frobenius互反性和特征标诱导的性质。

3. 技术创新点

最小反例方法: 所有主要定理的证明都采用了最小反例的归纳方法
单调性利用: 通过单调性，最小反例的所有真子群都满足所需性质
特征标度数分析: 深入分析不可约特征标的度数分布

核心定理证明策略

Theorem 1.1(a) - 交换性判定

假设 G 是最小的非交换反例
利用 Gustafson 的结果：d(G) ≤ 5/8
证明 G 必须是幂零的（通过 Sylow 子群的正规性）
证明所有奇阶 Sylow 子群都是交换的
对于 2-群情况，利用 |G'| = 2 得出矛盾

Theorem 1.1(b) - 幂零性判定

利用最小非幂零群的结构理论
证明 G ≅ Q ⋊ P，其中 Q 是奇阶 Sylow 子群，P 是 2 阶循环群
通过特征标度数计算得出 q < 3 的矛盾

实验设置

理论验证

本文主要是理论工作，通过严格的数学证明验证结果。关键验证包括：

边界情况验证: 证明所有判定准则都是最优的
极值群分析: 对于每个判定准则，都找到了达到边界的具体群例子
单调性验证: 证明了 qₕ(G) 关于子群的单调性

计算验证

文中提供了具体群的不变量计算：

D₈: qₕ(D₈) = (1/2)(1 + 1/2^{2h})
S₃: qₕ(S₃) = (1/3)(1 + 1/2^{2h-1})
A₄: qₕ(A₄) = (1/4)(1 + 1/3^{2h-1})
A₅: qₕ(A₅) = 具体的复杂表达式

实验结果

主要结果

1. 结构判定准则的完整推广

所有经典的交换概率判定准则都成功推广到了任意亏格：

群性质	经典结果(h=1)	推广结果(任意h≥1)
交换性	d(G) > 5/8	qₕ(G) > qₕ(D₈)
幂零性	d(G) > 1/2	qₕ(G) > qₕ(S₃)
超可解性	d(G) > 1/3	qₕ(G) > qₕ(A₄)
可解性	d(G) > 1/12	qₕ(G) > qₕ(A₅)

2. p-闭性判定准则

对于素数 p，如果 qₕ(G) > β(h,p)/(p+1)，其中 β(h,p) = 1 + 1/p^{2h-1}，则 G 有正规的 Sylow p-子群。

3. p-可解性判定准则

对于奇素数 p，如果 qₕ,p'(G) > α(h,p)/(p-1)，其中 α(h,p) = (2^{2h-2} + √(p-1))/(2^{2h-2}√(p-1))，则 G 是 p-可解的。

最优性分析

Theorem 1.2 是最优的: 当 p = 2^f - 1 是 Mersenne 素数时，Frobenius 群 G = (C₂)^f ⋊ Cₚ 满足 qₕ(G) = β(h,p)/(p+1) 但没有正规的 Sylow p-子群
Theorem 1.3 对 h=1 是最优的: dₚ'(PSL₂(p)) = 1/(p-1)