Algebraicity of Hodge classes on some generalized Prym Varieties

技術的概要：ある一般化されたプリム多様体上のホッジ類の代数性

問題提起
本論文は、一般化されたプリム多様体上の特定のホッジ類の代数性に取り組む。具体的には、有限アーベル群 $G$ の非自明な表現に関連するアーベル多様体上で「ワイル型」の方法によって構成された特定のホッジ類が、代数的サイクルによって表されるかどうかを調査する。この研究は、チャド・ショーエン（Chad Schoen）による先行研究を一般化するものである。ショーエンは、巡回被覆（特に原始指標に対して）におけるそのような類の代数性を確立していたが、本研究はそれをより広範なアーベル被覆の文脈へと拡張する。

手法
著者らは、曲線に対する不分岐幾何的類体論に根ざした幾何学的アプローチを採用する。核心的な手法は以下のステップを含む：

1. 幾何学的設定：著者らは、有限アーベル群 $G$ に対する、滑らかな射影曲線のエタール $G$-被覆 $C \to C^1$ を考える。標準的なアベル・ヤコビ写像 $AJ_d: \text{Sym}^d(C^1) \to J(C^1)$ と、その特定の次数、特に $h = 2g(C^1) - 2$ における挙動を利用する。
2. デカルト図式と類体論：中心的な道具は、曲線 $C$、その対称積、およびヤコビアンを結びつけるデカルト図式の構築である。著者らは、曲線の任意のアーベル被覆が、ヤコビアン多様体の有限被覆の基底変換から生じることを示す。この設定により、被覆の対称積のホモロジーとプリム多様体のホモロジーとの関係を導くことができる。
3. コホモロジーの分解：著者らは、対称積 $\text{Sym}^h(C^1)$ のアーベル被覆 $W$ のコホモロジーを解析する。コホモロジー $H^*(W, \mathbb{Q})$ を、$G$ の指標に対応する等質成分に分解する。
4. 写像の因数分解：曲線 $C$ に対するアベル・ヤコビ写像が、被覆 $W$ を通じて因数分解されることを確立する。これには、積 $C^h$ およびその商に対する群 $G$ と対称群 $S_h$ の作用の検討が含まれる。
5. マクドナルドの公式とレフシェッツ作用素：対称積のコホモロジーに関するマクドナルドの公式と、アーベル多様体上のレフシェッツ作用素の性質を用いて、著者らは対称積からの代数的サイクルをプリム多様体へと追跡する。アーベル多様体に関する標準的予想（具体的には、逆レフシェッツ作用素が代数的であるという予想）に依存し、対象となる類の代数性を結論付ける。

主要な貢献と結果

• 定理 1.1（被覆のコホモロジー）：著者らは、$\text{Sym}^h(C^1)$ のアーベル被覆 $W$ のコホモロジーに対するホッジ構造の自然な同型を証明する。具体的には、$n=h$ の場合、コホモロジーは基底対称積のコホモロジーと、和項 $U(-h/2)$ に分裂する。この和項 $U$ は代数的類によって生成され、次元は $|G|-1$ であり、その複素化は $G$ のすべての非自明な指標 $\chi$ に対する $\chi$-等質成分の和に分解する。
• 定理 1.2（ワイル型ホッジ類の代数性）：主要な結果として、プリム多様体 $B$（ノルム写像 $J(C) \to J(C^1)$ の核の連結成分）上の「ワイル型ホッジ類」$U_{\text{Weil}}$ が代数的サイクルによって表されることを確立する。これらの類は、$\mathbb{Q}[G]_{\text{nt}}$ 上の $B$ の第一コホモロジーの非自明部分の最高次外積として定義される。
• ショーエンの研究の一般化：ショーエンの原著は巡回被覆と原始指標に焦点を当てていたが、本論文は任意の有限アーベル群のすべての非自明な指標に対して構成を拡張する。著者らは、必要な代数的サイクルがアベル・ヤコビ写像の幾何学と幾何的類体論から自然に生じることを示し、ショーエンの方法を単純化・一般化する統一的な視点を提供する。

意義と主張
本論文は、プリム多様体上のホッジ類に対する代数的サイクルの構成を一般化し、単純化する代替的な視点を提供すると主張する。不分岐幾何的類体論を通じて問題を枠組みづけることで、著者らはこれらのホッジ類の代数性が、アベル・ヤコビ写像の幾何学とアーベル被覆の構造の直接的帰結であることを示す。

著者らは明示的に、自らのアプローチが以下の点にあると述べている：

• 巡回被覆からアーベル被覆へとショーエンの結果を一般化する。
• 原始指標に限定していたショーエンの巡回被覆の場合とは異なり、すべての非自明な指標を扱う。
• 分岐した設定（モジュラス付きヤコビアンを含む）や高次元の場合（曲面）にも潜在的に適応可能な視点を提供する（ただし、これらは本論文では扱われていない）。
• 逆レフシェッツ作用素の代数性に関するアーベル多様体上の標準的予想に依存する。これはアーベル多様体については既知の結果である。

本論文は、ホッジ予想を完全に一般化して証明するものではなく、一般化されたプリム多様体上の特定の重要なクラスのホッジ類（ワイル型）に対してそれを確認するものであり、それによって予想が成り立つことが知られているケースを拡張するものである。