[論文レビュー] Finiteness of the number of compatibly-split subvarieties

Shrawan Kumar, V. B. Mehta|ArXiv.org|Jan 14, 2009

Algebraic Geometry and Number Theory被引用数 9

ひとこと要約

この論文は、正の特性を持つ代数閉体上でのFrobenius分裂スキーム $X$ に対して、与えられたFrobenius分裂に関して、相性のとれた閉部分スキームが有限個であることを証明している。証明は次元に関する帰納法、分裂セクションの局所的解析、および相性のとれた部分多様体が分裂セクションの零点集合内に存在しなければならないという事実に基づき、最終的に次元が低い場合の有限性に帰着される。

ABSTRACT

We show that for a Frobenius split variety, there are only finitely many closed subvarieties which are compatibly-split.

研究の動機と目的

• 正の特性を持つ体上のFrobenius分裂スキームにおける相性のとれた閉部分スキームの有限性を確立すること。
• このような部分多様体が分裂セクションの零点集合に制約されることを示し、それによってその数が制限されることを示すこと。
• 次元に関する帰納法を用いて結果を証明し、問題を次元が低い場合に還元すること。
• タイトな閉包やF純性といった高度な道具に依存しない、完全に代数的幾何学的な証明を提供すること。

提案手法

• スキーム $X$ の次元に関する帰納法を用い、次元が0の基本ケースから始める。
• 任意の相性のとれた既約部分スキーム $Y \subset X$ が、分裂セクション $\bar{\sigma}$ の零点集合 $Z(\bar{\sigma})$ に含まれることを示す重要な補題を適用する。
• 滑らかでない部分 $X^{\operatorname{reg}}$ に分裂を制限し、$\bar{\sigma}^o$ が $F_*(\omega_{X^{\operatorname{reg}}}^{1-p})$ のセクションを定めるものとし、その零点集合を解析する。
• 任意の相性のとれた部分スキーム $Y \subset X$（ただし $Y \neq X$）は、$\bar{\sigma}^o$ の零点集合と $X^{\operatorname{sing}}$ の和集合の閉包に含まれることを示す。
• すべてのこのような相性のとれた部分スキームの和集合の閉包を $Y := \overline{\bigcup_{i \in I} Y_i}$ と定義し、$Y$ が自身も相性のとれた分裂をもち、$\dim X$ より次元が小さいことを証明する。
• $Y$ に対して帰納法の仮定を適用し、集合 $\{Y_i\}$ が有限であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 正の特性体上のFrobenius分裂スキームにおいて、相性のとれた閉部分スキームは有限個であるか？
• RQ2 分裂セクションの零点集合といった幾何的制約によって、相性のとれた部分多様体の集合が制限されるか？
• RQ3 相性のとれた部分多様体が次元が低い部分多様体に含まれるならば、次元に関する帰納法によってその有限性が導かれるか？
• RQ4 分裂セクション $\sigma$ の振る舞いは、可能な相性のとれた部分多様体をどのように制約するか？
• RQ5 タイトな閉包やF純性の技法に依存せずに、有限性の結果を確立できるか？

主な発見

• 任意の代数閉体上、正の特性を持つFrobenius分裂スキーム $X$ に対して、与えられた分裂 $\sigma$ に関して、相性のとれた閉部分スキームは有限個である。
• 任意の既約な相性のとれた部分スキーム $Y \subset X$ は、分裂 $\sigma$ に付随するセクション $\bar{\sigma}$ の零点集合 $Z(\bar{\sigma})$ に含まれる。
• すべての相性のとれた部分スキームの集合は、滑らかでない部分に制限した分裂の零点集合の閉包と $X$ の特異点集合の和集合に含まれる。
• すべてのこのような部分スキームの和集合の閉包 $Y$ は、自身も相性のとれた分裂をもち、次元は $\dim X$ よりも厳密に小さい。
• 次元に関する帰納法により、このような部分スキームの数は有限であることが示され、証明が完了する。
• 結果はタイトな閉包やF純性といった高度な道具に依存せず、関連する研究（例：Schwede, Huneke–Enochs）における別証明によっても示されている。