[論文レビュー] On the closure of the positive Hodge locus

Bruno Klingler, Anna Otwinowska|arXiv (Cornell University)|Jan 28, 2019

Algebraic Geometry and Number Theory参考文献 17被引用数 5

ひとこと要約

本稿では、一般のムーディ・タイト群の単純な対合群を仮定する下で、極分類Zホッジ構造の変動における正次元の特別部分多様体の和集合が、基本多様体において代数的かまたはザリスキ・DNAであることを確立する。証明は、o-最小幾何と周期写像の解析を用いて、ホッジ局在のザリスキ閉包が代数的かまたは稠密であることを示し、アーベル多様体のモジュライ空間における特別部分多様体に関する既知の結果を一般化する。

ABSTRACT

Given a variation of Hodge structures on a quasi-projective base $S$, whose generic Mumford-Tate group is non-product, we prove that the (countable) union of positive components of the Hodge locus is either an algebraic subvariety of $S$, or is Zariski-dense in $S$.

研究の動機と目的

• 極分類Zホッジ構造の変動における正次元ホッジ局在のザリスキ閉包の幾何的構造を特定すること。
• 基本多様体Sにおいて、正次元特別部分多様体の和集合が代数的かまたはザリスキ・DNAであるという二分法を確立すること。
• アーベル多様体のモジュライ空間における特別部分多様体に関する既知の結果を、適切なホッジ理論的条件下での任意の基本多様体へ一般化すること。
• 周期写像とその纤维にo-最小的手法を適用し、ホッジ局在の階層構造を分析すること。

提案手法

• 変動Vの周期写像Φ_Sを分析し、それがo-最小構造R_an,expにおいて定義可能であることを用いる。
• 周期写像Φ_Sの纤维の複素次元が少なくともdであるような部分集合S_dにSを階層化し、o-最小チョンの定理により各S_dが閉じた代数的部分多様体であることを示す。
• 自明化定理を適用して、ホッジ局在のザリスキ閉包内の一般点xを通る弱く特別な部分多様体W_xを構成する。
• 特別部分多様体の最大性と一般のムーディ・タイト群の非積分性を用いて、弱く特別な部分多様体が一意に正次元特別部分多様体に含まれることを導く。
• ホッジ局在が代数的でない最小のインデックスiに問題を還元し、その局在がザリスキ・DNAでなければならず、そうでなければ矛盾が生じることを示す。
• ホッジテンソルの構造と特別部分多様体の群論的定義を用いて、局在の幾何とムーディ・タイト群の対合群との関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 Zホッジ構造の変動における正次元特別部分多様体の和集合が、基本多様体において代数的かまたはザリスキ・DNAである条件は何か？
• RQ2 周期写像の幾何がホッジ局在のザリスキ閉包にどのように影響するか？
• RQ3 o-最小幾何を用いて、代数的族におけるホッジ局在の有限性または稠密性に関する結果を証明できるか？
• RQ4 一般のムーディ・タイト群の対合群の単純性がホッジ局在の構造に果たす役割は何か？

主な発見

• 正次元ホッジ局在のザリスキ閉包は、基本多様体Sにおいて閉じた代数的部分多様体か、またはザリスキ・DNAである。
• 一般のムーディ・タイト群の対合群が単純であるならば、正次元特別部分多様体の和集合は代数的か稠密である。
• 周期写像の纤维は、各纤维の次元によって定義される代数的部分集合S_dに階層化され、これらはすべて閉じた代数的部分多様体である。
• ホッジ局在のザリスキ閉包内の一般点に対して、次元が少なくともd+1以上の弱く特別な部分多様体が存在し、それが閉包に含まれる。
• 一般のムーディ・タイト群が非積分的であるという仮定により、弱く特別な部分多様体が一意に正次元特別部分多様体に含まれることが保証される。
• 証明は、ホッジ局在が代数的でない場合に還元され、その場合、閉包がSにおいてザリスキ・DNAであるかぎり、矛盾が生じる。