[論文レビュー] Applications of a grassmannian technique in hypersurfaces

Eric Riedl, David Yang|arXiv (Cornell University)|Jun 6, 2018

Algebraic Geometry and Number Theory参考文献 12被引用数 16

ひとこと要約

本稿は、超曲面を研究するためのグラスマンニアン技法を導入し、非常に一般な超曲面に対して小林予想の簡略化された証明を提供し、完全交差の Chow 同値点を特徴づけ、非常に一般な点におけるセーシャドリ定数をグローバルなセーシャドリ定数と関連付ける。この手法により、パラメータ空間の幾何学を用いて有理同値性と双曲的性を一様に取り扱える。

ABSTRACT

In this paper we further develop a Grassmannian technique used to prove results about very general hypersurfaces and present three applications. First, we provide a short proof of the Kobayashi Conjecture given previous results on the Green-Griffiths-Lang Conjecture. Second, we characterize the dimension of the space of Chow-equivalent points on a very general hypersurface, proving the remaining cases of a conjecture of Chen, Lewis and Sheng and providing a short, alternate proof for many of the already known cases. Finally, we relate Seshadri constants of very general points to Seshadri constants of arbitrary points of very general hypersurfaces.

研究の動機と目的

• 非常に一般な超曲面上の未解決問題を解消するために、グラスマンニアン技法の開発と応用を図ること。
• グリーン＝グリフィス＝ラング予想の先行結果を用いて、小林予想の簡略化された証明を提供すること。
• 非常に一般な完全交差上での固定点と有理同値な点の空間の次元を特徴づけ、チェン・ルイス・シェンの予想の大部分を解消すること。
• 非常に一般な点におけるセーシャドリ定数と超曲面上のグローバルセーシャドリ定数との関係を明らかにすること。
• 直線および曲線のパラメータ空間を用いて、有理同値性と双曲的性を一様かつ幾何学的に取り扱うアプローチを提供すること。

提案手法

• 超曲面上の点を通り通過する直線および曲線をパラメータ化するためのグラスマンニアンパラメータ空間を用い、家族全体にわたる一様な解析を可能にする。
• この技法を用いて、非常に一般な点の性質を、非常に一般な超曲面上の任意の点へと翻訳する。
• カーラビ＝ヤウ完全交差上での点の有理同値性に関するロイトマンの定理を活用し、Chow同値な部分多様体の次元を制限する。
• 普遍族 $ \mathcal{U}_{n,\underline{d}} $ における余次元の推定を用いて、他の点と有理同値である点の集合の次元を制御する。
• パラメータ空間におけるファイバー次元の議論を用いて、一般点におけるセーシャドリ定数とグローバル不変量との関係を確立する。
• 先行研究からの定理 2.3 を用いて、有理同値性または双曲的性が成立しない部分多様体の余次元を制限する。

実験結果

リサーチクエスチョン

• RQ1 グラスマンニアン技法は、非常に一般な超曲面上の双曲的性に関する既存の証明を簡略化できるか？
• RQ2 非常に一般な完全交差上での固定点と有理同値な点の集合の次元は何か？
• RQ3 非常に一般な点におけるセーシャドリ定数は、超曲面のグローバルセーシャドリ定数とどのように関係するか？
• RQ4 グラスマンニアン手法は、チェン＝ルイス＝シェンの有理同値性に関する予想の残りのケースを解消できるか？
• RQ5 グリーン＝グリフィス＝ラング予想の下で、小林予想の最良の境界 $ d \geq 2n-1 $ を証明するためにこの技法を適応できるか？

主な発見

• 本稿は、グラスマンニアン技法を用いて、$ d \geq d_{2n-3} $ の場合に小林予想の新たな、著しく簡略化された証明を提供する。ここで $ d_n = \left\lfloor \frac{n^4}{3}(n\log(n\log(24n)))^n \right\rfloor $ である。
• 多重度 $ (d_1,\dots,d_k) $ の完全交差に対して、固定点 $ p $ と有理同値な点の空間の次元は、$ 2n - k - \sum d_i $ 以下であり、この境界は $ 2n - k - \sum d_i = -1 $ の場合を除き、すべてのケースで達成可能である。
• $ 2n - k - \sum d_i = -1 $ の場合、他の点と有理同値な点の集合は可算個の点の和集合であるが、空でない可能性がある。
• 非常に一般な超曲面 $ X \subset \mathbb{P}^n $ のセーシャドリ定数 $ \epsilon(X) $ は、同じ次数の非常に一般な超曲面が $ \mathbb{P}^{2n-1} $ に存在する場合、その一般点におけるセーシャドリ定数が $ r $ 以上であれば、$ \epsilon(X) \geq r $ が成り立つ。
• この手法により、チェン＝ルイス＝シェンの予想は $ 2n - k - \sum d_i = -1 $ を除くすべてのケースで証明され、従来のホッジ理論的アプローチよりも短い証明が得られる。
• カーラビ＝ヤウの場合（$ 2n - k - \sum d_i = -1 $）には、一般点が他の点と有理同値である例（直線が超曲面を $ d-1 $ 重複度で通る例）により、この技法では完全な予想の証明に失敗する。