[论文解读] Surjective morphisms onto subelliptic varieties

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

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文证明了每个光滑次椭圆簇都存在一个从维数比该簇大一的仿射空间出发的满射态射，且奇异点集映射到整个簇。证明使用了涉及喷射与拉回的代数几何技巧，推广了关于灵活簇的结果，并建立了从零维子概形出发的态射的喷射插值定理。

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.

研究动机与目标

• 解决Arzhantsev与Forstnerič提出的问题：每个光滑次椭圆簇是否都存在一个从仿射空间出发的满射态射。
• 将Arzhantsev关于非常灵活簇是仿射空间像的结果推广到更广泛的光滑次椭圆簇类。
• 以余维数刻画仿射空间之间态射的开像。
• 证明从零维子概形到光滑次椭圆簇的态射的喷射插值定理。

提出的方法

• 利用喷射与喷射族的支配性来刻画代数几何中的次椭圆性。
• 应用Serre的定理A，构造从仿射空间乘积到向量丛拉回的满射光滑态射。
• 在次椭圆簇的恒等态射上构造复合喷射，以生成支配映射。
• 通过仿射子空间的嵌入，将源仿射空间的维数从大的 $\mathbb{A}^N$ 降低至 $\mathbb{A}^{\dim Y + 1}$。
• 利用 $Y$ 的拟紧性，用有限多个仿射子空间在态射下的像覆盖该簇。
• 通过组合一个将不同点映射到覆盖 $Y$ 的不同子空间的嵌入，构造最终的态射 $f: \mathbb{A}^{\dim Y + 1} \to Y$。

实验结果

研究问题

• RQ1 每个光滑次椭圆簇是否都存在一个从仿射空间出发的满射态射，即使在不假设正规性的情况下？
• RQ2 能否以余维数刻画仿射空间之间态射的开像？
• RQ3 从零维子概形到光滑次椭圆簇的态射是否具有喷射插值性质？
• RQ4 是否存在一个独立于解析工具的代数几何证明，以说明到次椭圆簇的满射态射的存在性？
• RQ5 此类满射中源仿射空间的维数能否以目标簇的维数为基准进行有界控制？

主要发现

• 每个光滑次椭圆簇 $Y$ 都存在一个满射态射 $f: \mathbb{A}^{\dim Y + 1} \to Y$，使得 $f(\mathbb{A}^{\dim Y + 1} \setminus \operatorname{Sing}(f)) = Y$。
• 该结果推广了Arzhantsev关于非常灵活簇的定理，并回答了他关于作为仿射空间像的充分条件的问题。
• Zariski开子集 $U \subset \mathbb{A}^n$ 是某个仿射空间上态射的像，当且仅当 $\mathbb{A}^n \setminus U$ 的余维数至少为二。
• 从零维子概形 $Z \subset X$ 到光滑次椭圆簇 $Y$ 的每个态射都可提升为一个态射 $\tilde{f}: X \to Y$。
• 该证明完全是代数几何的，因此可推广到任意代数闭域上的光滑次椭圆簇。
• 该构造避免了使用如同伦Runge逼近定理等解析工具，从而与Forstnerič的原始方法相区别。