[論文レビュー] Algebraically motivated normal functions are algebraic

Jeff Achter, Sebastian Casalaina‐Martin+1 more|arXiv (Cornell University)|Oct 17, 2018

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

ひとこと要約

この論文は、滑らかな複素射影多様体の族における代数的に自明なサイクル類から生じる通常関数が代数的であり、基本体上に定義されることを証明する。チャールズとカー・ピアルシュタインの予想を確立し、それらの零点集合が代数的であり、同様に定義体上に定義されることを示し、Saito、Brosnan-Pearlstein、Schnellの広範な結果の特殊ケースに対する簡潔な証明を提供する。

ABSTRACT

For families of smooth complex projective varieties we show that normal functions arising from algebraically trivial cycle classes are algebraic, and defined over the field of definition of the family. As a consequence, we prove a conjecture of Charles and Kerr-Pearlstein, that zero loci of normal functions arising from algebraically trivial cycle classes are algebraic, and defined over the field of definition of the family. In particular, this gives a short proof of a special, algebraically motivated case of a result of Saito, Brosnan-Pearlstein, and Schnell, conjectured by Green-Griffiths, on zero loci of admissible normal functions.

研究の動機と目的

• 滑らかな複素射影多様体の族における代数的に自明なサイクル類から生じる通常関数の代数的性を確立すること。
• そのような通常関数の零点集合が代数的であり、族の定義体上に定義されることを証明すること。
• Saito、Brosnan-Pearlstein、Schnellの適切な通常関数の零点集合に関する結果の特殊ケースに対する短く直接的な証明を提供すること。
• チャールズとカー・ピアルシュタインの予想（これらの零点集合の代数的性）を確認すること。

提案手法

• 滑らかな複素射影多様体の族における通常関数の理論を用いる。
• 代数幾何の技法を適用し、代数的に自明なサイクルに関連する通常関数が代数的であることを示す。
• サイクルの代数的自明性が、関連する通常関数の代数的性を意味することを活用する。
• 基本体の不変性の議論を用いて、関数およびその零点集合が族の定義体上に定義されることを示す。
• ホッジ構造の変動の構造を用いて通常関数の振る舞いを分析する。
• Saito、Brosnan-Pearlstein、Schnellの既知の結果に依拠しながら、代数的動機付けのケースに対して洗練された証明を提供する。

実験結果

リサーチクエスチョン

• RQ1 代数的に自明なサイクル類から生じる通常関数は、滑らかな複素射影多様体の族において代数的か？
• RQ2 そのような通常関数の零点集合は、基本体上に定義された代数的部分多様体をなすか？
• RQ3 チャールズとカー・ピアルシュタインの予想（これらの零点集合の代数的性）は証明可能か？
• RQ4 サイクルの代数的自明性は、関連する通常関数の代数的性を意味するか？
• RQ5 Saito、Brosnan-Pearlstein、Schnellの適切な通常関数に関する結果の特殊ケースに対して短い証明が可能か？

主な発見

• 代数的に自明なサイクル類から生じる通常関数は代数的であり、族の定義体上に定義される。
• そのような通常関数の零点集合は、族の基本多様体の代数的部分多様体である。
• 零点集合は、族と同じ体上に定義され、算術的構造が保たれる。
• この結果は、チャールズとカー・ピアルシュタインの零点集合の代数的性に関する予想を裏付ける。
• Saito、Brosnan-Pearlstein、Schnellのより一般的な結果に対して、代数的動機付けのケースにおける洗練された代替証明を提供する。
• サイクルの代数的自明性と関連する通常関数の代数的性との強い関係を確立する。