The Simplicity of the Hodge Bundle

書誌情報

• arXiv: arXiv:2603.19052v3
• 著者: Anand Patel
• 初回投稿日: 2026年3月19日
• 最終更新日: 2026年5月23日（v3）
• 主分類・副分類: math.AG（主分類）
• ライセンス: CC BY 4.0

要約

種数 $g$ の滑らかな複素曲線のモジュライスタック $\mathcal M_g$ 上のHodge束 $Ω_g$ は、曲線 $C$ に正則微分の空間 $H^0(C,ω_C)$ を対応させる階数 $g$ の束である。問題は、この普遍的な束が中間階数の正則部分束を持つかどうかである。

論文は $g\geq2$ でそのような部分束が存在しないことを示す。仮に階数 $r$ の部分束 $V$ があれば、自己同型を持つ各曲線でファイバー $V_C$ は $H^0(C,ω_C)$ の部分表現になる。対合の固定点数に応じたトレースをモジュライ上で比較することで、$r$ に強い算術制約を与える。

決め手は、二つの可換な対合を持ち商が $\mathbb P^1$ となる曲線族と、群 $(\mathbb Z/2\mathbb Z)^2$ の指標分解である。これにより $r$ は $g$ の倍数でなければならず、$0\leq r\leq g$ から自明な二通りしか残らない。

論文自身は、数学的内容がAI agent Aletheiaの出力に由来し、人間の著者が叙述上の調整やコメントを加えたと明示する。本記事はその来歴を結果の数学的主張と区別して記録する。

背景と問題設定

Hodge束のDeligne–Mumfordコンパクト化への標準延長では、楕円曲線を有理曲線へ貼り合わせた境界点とモノドロミーから同様の主張が容易に見える。しかし開モジュライ $\mathcal M_g$ ではその境界論法を直接使えず、内部に十分な自己同型を持つ滑らかな曲線を構成する必要がある。

主結果

Hodge束の単純性（Theorem 1.1）

$g\geq2$ とする。Hodge束 $Ω_g$ は非自明な正則部分束を持たない。すなわち部分束 $V\subset Ω_g$ の階数は

$$ \operatorname{rank}V\in{0,g} $$

に限られる。ここで「simple」は自己準同型環についての通常の用法ではなく、この部分束不存在を意味する。

証明の見取り図

固定点を $2m$ 個持つ対合 $τ$ に対し、$τ^*|_{V_C}$ のトレース $f(m)$ は対応するHurwitz locus上で一定になる。次に商が $\mathbb P^1$ である $(\mathbb Z/2\mathbb Z)^2$-被覆を取り、三つの対合の固定点数 $2m_1,2m_2,2m_3$ を比較する。指標公式と不変微分がないことからトレース間の関係を得て、

$$ f(m)=\frac{r(1-m)}{g} $$

を導く。偶数・奇数それぞれの $g$ で適切な $m$ を代入すると $r\equiv0\pmod g$ となり、主定理が従う。

Introductionは、高次冪 $ω_C^{\otimes n}$ の切断を束ねた場合にはWeierstrass因子から直線部分束が生じ得るため、同じ単純性がそのまま成立しないという今後の問いも挙げる。

原論文との対応

• Abstractページ: arXiv:2603.19052v3
• Introduction: Section 1, pp. 1–2
• Introduction中で言及された主要定理番号: Theorem 1.1
• 論文構成・証明方針の説明: Sections 1.1–1.3, pp. 1–2
• 確認したarXivバージョン: v3（requested_versionが空のため最新）
• 確認したライセンス: CC BY 4.0
• source_scope: Abstract and Introduction