[论文解读] Deformation invariance of rational pairs

Lindsay Crowl Erickson|arXiv (Cornell University)|Jul 1, 2014

Algebraic Geometry and Number Theory参考文献 10被引用 4

一句话总结

本文建立了有理对的形变不变性，推广了Elkik在1978年关于有理奇点的结果。通过使用节俭解析和对数对偶性，证明了若一个平坦族$(X,D)$在光滑点$s \in S$处的纤维是有理的，则$(X,D)$在该纤维附近也是有理的，从而将有理奇点理论推广到含Cartier除子的对上。

ABSTRACT

Rational pairs, recently introduced by Kollár and Kovács, generalize rational singularities to pairs $(X,D)$. Here $X$ is a normal variety and $D$ is a reduced divisor on $X$. Integral to the definition of a rational pair is the notion of a thrifty resolution, also defined by Kollár and Kovács, and in order to work with rational pairs it is often necessary to know whether a given resolution is thrifty. In this paper we present several foundational results that are helpful for identifying thrifty resolutions and analyzing their behavior. We also show that general hyperplane sections of rational pairs are again rational. In 1978, Elkik proved that rational singularities are deformation invariant. Our main result is an analogue of this theorem for rational pairs: given a flat family $X o S$ and a Cartier divisor $D$ on $X$, if the fibers over a smooth point $s\in S$ form a rational pair, then $(X,D)$ is also rational near the fiber $X_s$.

研究动机与目标

• 将有理奇点的形变不变性推广到有理对$(X,D)$的情形，其中$D$是一个约化的Weil除子。
• 开发识别节俭解析的基础工具，这对于将有理奇点的结果推广到对至关重要。
• 建立一个类似于Bertini的定理，证明有理对的一般超平面截痕仍是有理的。
• 证明有理性在平坦族中保持不变，将Elkik定理推广到对的情形。

提出的方法

• 使用节俭解析——满足两个条件的解析：在$(X,D)$的snc支集的各层通点上为同构，且在解析中各层通点上也为同构——以确保与对偶性和消去定理的兼容性。
• 应用Grothendieck对偶性，关联典范层$\omega_Y(B)$与$\omega_X(D)$，其中对数迹映射提供了它们之间的单射态射。
• 构造一个涉及对偶层的直接像的交换图，并使用蛇形引理分析映射$f_*\omega_Y(B) \to \omega_X(D)$的余核。
• 在纤维$X_s$的点处局部化，并应用Nakayama引理，证明余核在邻域内消失，从而证明对偶层的同构。
• 利用每个对数解析（即在$Y$上总除子为snc的弱对数解析）自动满足节俭性的第二个条件，使得此类解析可在形变论证中使用。
• 借助Bertini型定理（定理4.4）证明，有理对的一般超平面截痕仍是有理的，这支持了在正规情形下的形变结果。

实验结果

研究问题

• RQ1 在什么条件下，一对$(X,D)$的解析是节俭的，以及如何验证该性质？
• RQ2 有理对的性质在超平面截痕下是否保持稳定？
• RQ3 一对$(X,D)$的有理性是否在平坦形变下保持不变，特别是当在光滑点上的纤维是有理的？
• RQ4 有理奇点的形变不变性是否可推广到含Cartier除子$D$的对$(X,D)$？

主要发现

• 本文证明了有理对具有形变不变性：若平坦族$X \to S$在光滑点$s \in S$处的纤维是有理的，则$(X,D)$在$X_s$附近也是有理的。
• 证明了所有满足$Y$上$B + \operatorname{Ex}(f)$为snc条件的对数解析自动是节俭的，从而简化了节俭性的验证。
• 证明了一个Bertini型定理：射影有理对的一般超平面截痕仍是有理的。
• 在$S$为曲线的正规情形下，形变不变性意味着$X_s$附近的所有纤维都是有理对。
• $f_*\omega_Y(B) \to \omega_X(D)$的自然映射的余核在$X_s$的邻域内消失，这意味着$\omega_X(D) \simeq f_*\omega_Y(B)$，从而确认了有理性。
• 利用对数迹映射和Grothendieck对偶性提供了一个稳健的框架，用于分析有理对情境下的对偶层。