交代群のmod 2コホモロジー不変量とWitt不変量

基本情報

• 論文ID: 2401.12738
• タイトル: Invariants cohomologiques mod 2 et invariants de Witt des groupes alternés
• 著者: Jean-Pierre Serre
• 分類: math.GR（群論）
• 発表時期: 2024年1月（arXiv v4版は2025年11月7日更新）
• 論文リンク: https://arxiv.org/abs/2401.12738

概要

本論文は交代群 $A_n$ のmod 2コホモロジー不変量（cohomological invariants mod 2）およびWitt不変量を決定する。これはSerre Se 03における対称群 $S_n$ に関する相応する結果の拡張である。

研究背景と動機

研究問題

本論文は交代群 $A_n$ の2つの重要な代数的不変量を研究する：

1. mod 2コホモロジー不変量：$A_n$-トルサー（torseurs）の体拡大に関するコホモロジー的性質を特徴付ける
2. Witt不変量：$A_n$ に関連する二次形式のWitt環の性質を特徴付ける

問題の重要性

1. 理論的意義：交代群は基本的な有限群であり、その不変量理論は代数的位相幾何学と代数幾何学の中心的問題である
2. 対称群との関係：交代群は対称群の指数2の部分群であるが、その不変量構造は本質的に異なる
3. Milnor予想の応用：Voevodskyが証明したMilnor予想を利用してコホモロジー理論とWitt理論の関連性を確立する

既存方法の限界

• 対称群 $S_n$ の不変量は既に Se 03 で完全に決定されている
• 交代群は $S_n$ の部分群として、新しい検出技術が必要である
• 標準的な制限写像の方法は直接適用できない。なぜなら $[S_n:A_n]=2$ は偶数だからである

研究動機

Coxeter群（特に対称群）の不変量理論を交代群に拡張し、より一般的な群に適用可能な「分裂原理」（splitting principle）を発展させる。

核心的貢献

本論文の主な貢献は以下の通りである：

1. $A_n$ のコホモロジー不変量の完全な構造を決定した（定理3.4.1）：
   • $\text{Inv}_k(A_n)$ が $H(k)$-加群として自由加群であり、秩が $1+[\frac{n}{4}]$ であることを証明
   • 明示的な基を提供：$w_{2i}(q^a)$、ただし $0 \leq i \leq [\frac{n}{4}]$
2. $A_n$ のWitt不変量の完全な構造を決定した（定理3.4.2）：
   • $\text{Inv}_k(A_n,W)$ が $W(k)$-加群として自由加群であり、秩が $1+[\frac{n}{4}]$ であることを証明
   • 明示的な基を提供：$\lambda_i q^a$、ただし $0 \leq i \leq [\frac{n}{4}]$
3. 検出定理を確立した（定理4.2.1）：
   • 特殊な2-部分群 $E \subset A_n$（秩 $2[\frac{n}{4}]$ の初等アーベル群）を構成
   • 制限写像 $\text{Inv}_k(A_n,\mathcal{C}) \to \text{Inv}_k(E,\mathcal{C})$ が単射であることを証明
4. トレース形式の精密な性質を与えた（定理6.1.1および6.1.2）：
   • 外幂 $\lambda_j q_L$ が $\lambda_i q_L$（$i \leq [\frac{n}{4}]$）の整係数線形結合で表現できることを証明
   • 生成関数 $\lambda_t(q_L)$ が $(1+t)^{2m+c}$ で割り切れることを証明

方法の詳細

タスク定義

$k$ を特性 $\neq 2$ の体、$G$ を有限群とする。

コホモロジー不変量：各体拡大 $K/k$ に対して、写像 $a_K: \text{Tors}_G(K) \to H^r(K)$ を与え、体拡大と相容的な関手性を満たす。

Witt不変量：同様にWitt環 $W(K)$ への写像として定義される不変量。

核心的対象：

• $q^a \in \text{Inv}_k(A_n,\hat{W})$：トレース形式不変量
• $w_i(q^a) \in \text{Inv}_k^i(A_n)$：Stiefel-Whitney類
• $\lambda_i q^a \in \text{Inv}_k(A_n,W)$：外幂

方法の構造

第1段階：検出部分群の構成

$n$ の分解 $n = 4m + c$（$c \in \{0,1,2,3\}$）に対して、以下を構成する：

1. 分割：$X = \{1,\ldots,n\} = X_0 \cup X_1 \cup \cdots \cup X_m$
   • $X_i = \{4i-3, 4i-2, 4i-1, 4i\}$ for $i=1,\ldots,m$
   • $X_0 = \{4m+1,\ldots,n\}$
2. 局所群：$A(i) \cong A_4$ は $X \setminus X_i$ を固定
3. 検出群：
   • $E = \prod_{i=1}^m E(i)$、ただし $E(i)$ は $A(i)$ の2-Sylow部分群
   • $E$ は秩 $2m$ の初等アーベル2-群

第2段階：検出定理の証明

重要補題（命題4.3.1）：

• $D = C_{A_n}(s)$（$s$ の中心化子）を構成
• $D$ が $D_r$ 型Coxeter群（$r = n/2$）であることを証明
• $E$ は $D$ の極大立方体（maximal cube）
• $(A_n : D)$ は奇数

分裂原理の応用：

1. $(A_n:D)$ が奇数 $\Rightarrow$ $\text{Res}: \text{Inv}_k(A_n) \to \text{Inv}_k(D)$ は単射
2. Weyl群理論より $\Rightarrow$ $\text{Res}: \text{Inv}_k(D) \to \text{Inv}_k(E)$ は単射
3. 合成により $\text{Res}: \text{Inv}_k(A_n) \to \text{Inv}_k(E)$ は単射

第3段階：不変量の計算

$n = 4m$ の場合：

1. 分解：$A = \prod_{i=1}^m A(i) \cong A_4^m$
2. テンソル積構造（命題1.8.3）： $\text{Inv}_k(A,\mathcal{C}) = \bigotimes_{i=1}^m \text{Inv}_k(A(i),\mathcal{C})$
3. 不変量の対称化：
   • $q^a(d) = \sum_{|I|=d} \bigotimes_{i \in I} q_i^a$ を定義
   • $\{q^a(d): 0 \leq d \leq m\}$ が正規化子不変部分の基であることを証明
4. 制限写像の計算（命題5.3.2）： $\lambda_t(\text{Res}(q^a)) = (1+t)^{2m} \sum_{d \leq m} t^d(1-t)^{2m-2d} q^a(d)$

一般的な $n$ に対する帰納法：$A_{4m}, A_{4m+1}, A_{4m+2}, A_{4m+3}$ の検出群が同じであることを利用。

技術的な革新点

1. 二重転置（bitranspositions）の使用：
   • 対称群が転置を使うのと異なり、交代群は二重転置を使用
   • 二重転置の支持集合は4つの要素を持ち、二重二次拡大に対応
2. Coxeter群の $D$ 型構造：
   • 中心化子が $D_r$ 型群になるよう巧妙に構成
   • $D$ 型群の立方体理論を利用
3. 生成関数の方法：
   • $(1+t)^{2m+c}$ の整除性を利用
   • Taylor展開を通じて漸化式を確立
4. Milnor予想の深い応用：
   • 対称関数の約化和公式（1.1.6）を利用
   • コホモロジー理論とWitt理論の橋渡し（§2）

実験設定

本論文は純粋数学の理論論文であり、数値実験は含まれない。すべての結果は厳密な数学的証明により得られている。

検証方法

• 小さな $n$ 値（例えば $n=4,6,7,10$）に対する明示的計算
• 帰納法による一般的な場合の検証
• 既知の $S_n$ の結果との対照

主要な結果

定理3.4.1（コホモロジー不変量）

$\text{Inv}_k(A_n) \cong H(k) \oplus H(k) \cdot w_2(q^a) \oplus \cdots \oplus H(k) \cdot w_{2[\frac{n}{4}]}(q^a)$

重要な性質：

• 秩 $= 1 + [\frac{n}{4}]$ は $A_n$ における対合共役類の個数に等しい
• $w_i(q^a) = 0$ のとき $i$ が奇数または $i > 2[\frac{n}{4}]$

定理3.4.2（Witt不変量）

$\text{Inv}_k(A_n,W) \cong W(k) \oplus W(k) \cdot \lambda_1 q^a \oplus \cdots \oplus W(k) \cdot \lambda_{[\frac{n}{4}]} q^a$

$S_n$ との対比：

• $S_n$：秩 $= 1 + [\frac{n}{2}]$、基は二次拡大で検出
• $A_n$：秩 $= 1 + [\frac{n}{4}]$、基は二重二次拡大で検出

系3.4.3（全射性）

制限写像 $\text{Res}: \text{Inv}_k(S_n,\mathcal{C}) \to \text{Inv}_k(A_n,\mathcal{C})$ は全射である。

定理6.1.2（生成関数の整除性）

判別式が1の秩 $n$ のétale代数 $L$ に対して、 $\lambda_t(q_L) \equiv 0 \pmod{(1+t)^{2m+c}}$ が成り立つ。ただし $m = [\frac{n}{4}]$、$c = n - 4m$。

具体例（$n=7$）