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

融合系統の特性標表について

基本情報

論文ID: 2510.09277
タイトル: On character tables for fusion systems
著者: Thomas Lawrence, Jason Semeraro
分類: math.RT（表現論）
発表日時: 2025年10月17日（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⁴のすべての単純融合系に対しても成立することを証明している。

研究背景と動機

問題の背景: 融合系は現代表現論と代数位相幾何学における重要な概念であり、有限群のSylow部分群の共役作用を抽象化したものである。特性標表は群表現の研究における中心的な道具であるが、融合系の特性標表理論はまだ十分に発展していない。
核心問題: Semeraro予想（予想1.1）は、有限p-群S上の飽和融合系Fに対して、その特性標表Xが以下を満たすと主張している： $|X_B(F)X_B(F)^T|_p = \prod_{s \in F^z} |C_S(s)|$ ここでF^zは完全F-中心化されたF-共役類代表元の集合である。
重要性: この予想は古典的群論における特性標表の列直交性関係を一般化し、融合系の表現論の理解に新しい視点を提供する。
既存の限界: これまでこの予想は特殊な場合にのみ検証されており、体系的な証明方法が欠けていた。

核心的貢献

Lawrence-Olsson定理の証明（定理1.2）: F=F_S(G)が有限群Gによって実現される融合系であり、SがGのSylow p-部分群である場合、Semeraro予想が成立することを証明した。
小位数の場合の証明（定理1.3）: |S|≤p⁴のすべての単純融合系に対して、この予想が成立することを証明した。
帰納的方法の開発: 適切な実現可能部分系を通じてF-安定特性標の基を構成する技術を提案した（命題2.5）。
完全な分類検証: p⁴位のp-群上のすべての単純異常融合系について個別に検証を行った。