[论文解读] Rationality does not specialize among terminal varieties

Burt Totaro|arXiv (Cornell University)|Aug 5, 2015

Algebraic Geometry and Number Theory参考文献 9被引用 3

一句话总结

本文证明了理性性在终端极小模型族中并不具备专门化性质，即使在五维及以上情形亦然。通过构造一个具有终端奇点的四次五fold族，表明一般纤维为有理的，而中心纤维（一个非稳定有理四fold的锥）则不是有理的，从而证明在终端代数簇中，有理性不具有专门化性质。

ABSTRACT

A limit of rational varieties need not be rational, even if all varieties in the family are projective and have at most terminal singularities.

研究动机与目标

• 研究在具有轻微奇点（特别是终端奇点）的射影代数簇族中，有理性是否具备专门化性质。
• 解决关于有理性是否在终端四fold或光滑代数簇中专门化的开放性问题。
• 扩展此前关于高维代数簇在对数可极小（canonical）或 klt 奇点下有理性不专门化的结果。
• 在维度 ≥5 的情形下，构造显式例子，证明即使具有终端奇点且一般纤维为有理，有理性仍不专门化。

提出的方法

• 在复仿射直线的扎里斯基开子集上构造 P^6 中四次五fold 的平坦族。
• 通过一个线性系（pencil）定义该族：f_4(x_0,…,x_5) + a·g_3(x_0,…,x_5)·x_6 = 0，其中 f_4 为四次型，g_3 为三次型。
• 证明当 a ≠ 0 时，每个纤维在点 [0,…,0,1] 处具有三重性，满足引理 1.2 中的有理性条件。
• 证明中心纤维（a = 0）是某个非稳定有理四fold 的射影锥，因此不是有理的。
• 建立终端奇点在族中是扎里斯基开的，因此一般纤维为终端。
• 通过将四fold 替换为一个非稳定有理的三fold，将构造推广至具有可极小奇点的四fold。

实验结果

研究问题

• RQ1 在五维或更高维的终端代数簇中，有理性是否专门化？
• RQ2 在终端四fold 或光滑代数簇中，有理性是否专门化？
• RQ3 能否在具有终端奇点的族中展示有理性的不专门化？
• RQ4 是否存在一个终端代数簇族，其一般纤维为有理，而中心纤维不是有理的？
• RQ5 能否通过锥构造将有理性的不专门化性质推广至更高维度？

主要发现

• 通过一个具有有理一般纤维和非有理终端中心纤维的四次五fold族，证明了在维度至少为五的终端代数簇中，有理性不具有专门化性质。
• 中心纤维是某个非稳定有理四fold 的射影锥，由于其双有理等价于 P^1 × Y（其中 Y 拥有非零全纯 1-形式），因此不是有理的。
• 当 a ≠ 0 时，族中每个纤维因在有理点处具有三重性，满足引理 1.2 中的条件，故为有理的。
• 终端奇点在基空间的扎里斯基开邻域中保持不变，因此所有在 C − {0} 上的纤维均为终端。
• 通过使用一个非稳定有理的三fold 作为底，该构造可推广至具有可极小奇点的四fold，从而在四维情形中展示不专门化性质。
• 通过取与 P^m 的积，该例子可推广至所有维度 ≥5 的情形，同时保持中心纤维的非有理性质。