On de Rham--Witt Cohomology of Classifying Stacks

この論文「On de Rham–Witt Cohomology of Classifying Stacks（分類スタックの de Rham–Witt コホモロジーについて）」は、正標数 $p > 0$ の完全体 $k$ 上の滑らかで固有な多様体におけるHodge–Witt 数の非対称性を示す最初の反例を構成するものである。著者らは、4 次元多様体の第 3 次コホモロジーにおいて、Hodge 対称性（$h^{i,j}_W = h^{j,i}_W$）が成り立たないことを証明し、その次元と次数の両面でこの結果が鋭い（sharp）ことを示している。

以下に、論文の技術的な要約を問題提起、手法、主要な貢献、結果、意義の観点から詳細に記述する。

1. 問題提起 (Problem)

• 背景: 正標数における代数多様体の研究において、de Rham–Witt 複体は重要な役割を果たす。これに関連する数値不変量として、Ekedahl によって導入された Hodge–Witt 数 $h^{i,j}_W(X)$ がある。これは、斜率スペクトル系列やドミノ数（domino numbers）を用いて定義される。
• 既知の事実: Ekedahl は、$X$ が滑らかで固有な $N$ 次元多様体であるとき、Serre 双対性に相当する $h^{i,j}_W = h^{N-i, N-j}_W$ が成り立つことを示した。また、次数 $i+j \le 2$ の場合、あるいは多様体の次元が 3 以下の場合には、Hodge 対称性 $h^{i,j}_W = h^{j,i}_W$ が成り立つことも示されている。
• 未解決の問題: 高次元・高次数において、Hodge 対称性 $h^{i,j}_W = h^{j,i}_W$ が一般に成り立つかどうかは長年の未解決問題であった。Ekedahl 自身は「一般には成り立つ理由はない」とコメントしていたが、具体的な反例は見つかっていなかった。
• 目標: この論文の目的は、Hodge 対称性が破れる具体的な反例を構成し、それがどの次元・次数で初めて現れるかを決定することである。

2. 手法と理論的枠組み (Methodology)

著者らは、Antieau–Bhatt–Mathew [ABM21] の手法を拡張し、以下のような高度な代数的・幾何学的枠組みを用いている。

• de Rham–Witt コホモロジーのスタックへの拡張:
  滑らかな幾何学的 Artin スタック（smooth geometric Artin stacks）に対して de Rham–Witt 複体とそのコホモロジーを定義し、その基本的な性質（Hodge 固有性、コヒーレンス性など）を確立した。特に、Hodge 固有なスタックに対しては、Illusie–Raynaud の意味でコヒーレントな de Rham–Witt コホモロジー群を持つことを示した（定理 4.9）。
• $\infty$-圏論を用いた構造の再構成:
  Ekedahl が 1980 年代に開発した、左付加 $R$-加群（$R$ は Cartier–Dieudonné–Raynaud 環）の圏 $DGr(R)$ 上の深い構造（双対性、Ekedahl の星積、対角 $t$-構造など）を、現代的な $\infty$-圏の言語を用いて再解釈・拡張した。
  • 対角 $t$-構造 (Diagonal t-structure): Ekedahl の対角 $t$-構造を、有界性の条件なしに $DGrc(R)$ 全体に拡張し、その性質を厳密に記述した（定理 3.43）。
  • Künneth 公式: 滑らかなスタックに対して、de Rham–Witt コホモロジーの Künneth 公式（$\hat{\times}^L$ 積）を確立した（定理 4.16）。
• 近似戦略 (Approximation Strategy):
  直接 4 次元多様体を構成するのではなく、まず分類スタック $B\alpha_p$（$\alpha_p$ は加法群の有限平坦群スキーム）の de Rham–Witt コホモロジーを計算する。その後、[ABM21] の戦略に従い、$B\alpha_p \times B\mathbb{G}_m$ を滑らかな固有多様体で「近似」する（Hodge $d$-同値および de Rham–Witt $d$-同値となる射を持つ多様体の存在）。これにより、スタックの非対称性を多様体へ持ち込む。

3. 主要な計算と結果 (Key Results)

A. $B\alpha_p$ の de Rham–Witt コホモロジーの計算

$B\alpha_p$ のコホモロジーは、超特異楕円曲線 $E$ とその相対フロベニウス $g: E \to E^{(1)}$ を用いた Čech nerve による総和として計算される。

• スペクトル系列の解析: 対角 $t$-構造を用いて、$E_1$ ページから $E_2$ ページへの遷移を解析した。
• 非対称性の発見: 次数 $(i, j)$ におけるコホモロジー群 $H^j(W\Omega^\bullet(B\alpha_p))[i, i]$ を計算した結果、以下の構造が得られた（定理 5.11）：
  • $(i, j) = (0, 0)$: $W$
  • $(i, j) = (0, 2)$: $D(\alpha_p)$
  • $(i, j) = (0, 3)$: $U_0$（基本ドミノ）
  • $(i, j) = (1, 1)$: $0$
  • $(i, j) = (1, 2)$: $U_0$（非分裂な短完全列 $0 \to U_{-1} \to E_2^{1,2} \to k(-1)[1] \to 0$ から導かれる）
• Hodge 対称性の破れ: 特に、$h^{0,3}_W$ と $h^{3,0}_W$、$h^{1,2}_W$ と $h^{2,1}_W$ の比較において、対称性が破れていることが示された。具体的には、$h^{0,3}_W = 1$ であるのに対し $h^{3,0}_W = 0$ となり、また $h^{1,2}_W = -2$、$h^{2,1}_W = 1$ となる（負の値はドミノ数の定義によるもので、Hodge 数の非対称性を反映する）。

B. 4 次元多様体への適用

• 定理 1.1 (Corollary 5.12): 任意の正標数 $p$ の完全体 $k$ に対して、滑らかで固有な 4 次元多様体 $X$ が存在し、その Hodge–Witt 数は以下の通りとなる（総次数 $\le 3$）：
  • $h^{0,3}_W = 1, \quad h^{1,2}_W = -2, \quad h^{2,1}_W = 1, \quad h^{3,0}_W = 0$.
  • これにより、$h^{0,3}_W \neq h^{3,0}_W$ および $h^{1,2}_W \neq h^{2,1}_W$ が示され、Hodge 対称性が破れることが証明された。
• 鋭性 (Sharpness): Ekedahl の既知の結果（次元 $\le 3$ または総次数 $\le 2$ では対称性が成り立つ）と照らし合わせると、この反例は次元 4、総次数 3において初めて現れるものであり、この意味で結果は鋭い（sharp）ことが確認された。

4. 意義と貢献 (Significance)

1. 長年の未解決問題の解決: 正標数における Hodge–Witt 数の対称性に関する長年の疑問に決着をつけ、高次元では対称性が一般に成り立たないことを初めて示した。
2. 理論の発展:
   • de Rham–Witt 理論を Artin スタックの文脈に自然に拡張し、そのコホモロジーの計算可能性を確立した。
   • Ekedahl の古典的な結果（双対性、星積、対角 $t$-構造など）を $\infty$-圏の言語で再定式化し、現代的な計算手法（Künneth 公式の一般化など）を可能にした。
3. 手法の革新性: 多様体そのものを直接構成するのではなく、スタックのコホモロジーを精密に計算し、それを多様体に「近似」するという [ABM21] の手法を、より複雑な de Rham–Witt 理論の文脈で成功させた。
4. 数値的不変量の理解: Hodge–Witt 数が単なる Hodge 数の類似ではなく、ドミノ数や斜率多重度を通じて、正標数特有の複雑な構造（非対称性、負の値など）を内包していることを明確に示した。

結論

この論文は、正標数幾何学における Hodge 理論の限界と可能性を再考させる重要な成果である。4 次元という最小の次元で Hodge 対称性が破れることを示すことで、正標数における多様体のコホモロジー理論が、標数 0 の場合とは本質的に異なる豊かな構造を持つことを浮き彫りにした。また、スタック理論と $\infty$-圏論を組み合わせることで、古典的な問題に新しい光を当てた点も高く評価される。