[論文レビュー] Surjective morphisms onto subelliptic varieties

Yuta Kusakabe|arXiv (Cornell University)|Dec 13, 2022

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

この論文は、滑らかな部分エリプティック多様体が、その次元より1つ大きい次元のアフィン空間から全射的モルフィズムをもつことを証明している。特異点集合は多様体全体へ写像される。証明はスプライトとプルバックを用いる代数幾何的技法を用い、柔軟多様体に関する結果を一般化し、0次元部分多様体からのモルフィズムのジェット補間を確立する。

ABSTRACT

We prove that every smooth subelliptic variety admits a surjective morphism from an affine space. This result gives partial answers to the questions of Arzhantsev and Forstnerič. As an application, we characterize open images of morphisms between affine spaces. We also obtain the jet interpolation theorem for morphisms from zero-dimensional subschemes of affine varieties to smooth subelliptic varieties.

研究の動機と目的

• アーツァンツェフとフォルストナーイチの提起した問題、すなわち、滑らかな部分エリプティック多様体がアフィン空間から全射的モルフィズムをもつかどうかを解決すること。
• アーツァンツェフの非常に柔軟な多様体がアフィン空間の像であるという結果を、滑らかな部分エリプティック多様体のより広いクラスへ一般化すること。
• アフィン空間間のモルフィズムの開像を、補集合のコディメンジョンの観点から特徴付けること。
• 0次元部分多様体からのモルフィズムに対して、ジェット補間定理を確立すること。

提案手法

• 代数幾何学における部分エリプティシティを特徴付けるために、スプライトおよび支配的スプライト族の概念を用いる。
• セールの定理Aを適用して、アフィン空間の積からベクトルバンドルのプルバックへの全射的滑らかなモルフィズムを構成する。
• 部分エリプティック多様体の恒等モルフィズム上での合成スプライト構成を用いて、支配的写像を生成する。
• $d$次元部分空間のアフィン埋め込みを用いて、大きな $\mathbb{A}^N$ からの元の次元を $\mathbb{A}^{\dim Y + 1}$ へ削減する。
• 多様体 $Y$ の準コンパクト性を用いて、モルフィズムのもとでのアフィン部分空間の像を有限個で被覆する。
• 異なる点が異なる部分空間へ写される埋め込みを合成することで、最終的なモルフィズム $f: \mathbb{A}^{\dim Y + 1} \to Y$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな部分エリプティック多様体は、固有性の仮定なしに、アフィン空間から全射的モルフィズムをもつか。
• RQ2 アフィン空間間のモルフィズムの開像は、補集合のコディメンジョンを用いて代数的に特徴付けられるか。
• RQ3 0次元部分多様体からのモルフィズムに対して、ジェット補間性質は成立するか。
• RQ4 解析的道具に依存しない代数幾何的証明により、部分エリプティック多様体への全射的モルフィズムの存在を示せるか。
• RQ5 このような全射の源となるアフィン空間の次元は、標本多様体の次元の関数として有界化できるか。

主な発見

• 滑らかな部分エリプティック多様体 $Y$ に対して、$f: \mathbb{A}^{\dim Y + 1} \to Y$ が全射的モルフィズムであり、$f(\mathbb{A}^{\dim Y + 1} \setminus \operatorname{Sing}(f)) = Y$ を満たす。
• この結果は、アーツァンツェフの非常に柔軟な多様体に関する定理を一般化し、彼のアフィン空間の像であるための十分条件に関する問題に答えている。
• アフィン空間 $\mathbb{A}^n$ のサブセット $U$ がアフィン空間からのモルフィズムの像であるための必要十分条件は、$\mathbb{A}^n \setminus U$ のコディメンジョンが2以上であることである。
• 滑らかな部分エリプティック多様体 $Y$ への0次元部分多様体 $Z \subset X$ からの任意のモルフィズムは、$\tilde{f}: X \to Y$ への上に持ち上げられる。
• 証明は完全に代数幾何的であり、任意の代数閉体上での滑らかな部分エリプティック多様体へ拡張可能である。
• ホモトピー・ルング近似定理のような解析的道具を避けており、フォルストナーイチの元々のアプローチとは区別される。