[论文解读] A geometric characterization of toric singularities

Joaquí­n Moraga, Roberto Svaldi|arXiv (Cornell University)|Aug 3, 2021

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

一句话总结

本文通过引入基于基的对数极小奇点对的复杂度不变量，完整解决了Shokurov关于环状奇点几何刻画的猜想。证明了当该复杂度为零时，态射在形式上同构于环状态射，且边界分量映射到环状不变除子，从而给出了基于双有理几何与类群秩的形式环状性的精确判别准则。

ABSTRACT

Given a projective contraction $π\colon X ightarrow Z$ and a log canonical pair $(X, B)$ such that $-(K_X+B)$ is nef over a neighborhood of a closed point $z\in Z$, one can define an invariant, the complexity of $(X, B)$ over $z \in Z$, comparing the dimension of $X$ and the relative Picard number of $X/Z$ with the sum of the coefficients of those components of $B$ intersecting the fibre over $z$. We prove that the complexity of $(X,B)$ over $z\in Z$ is non-negative and that when it is zero then $(X,\lfloor B floor) ightarrow Z$ is formally isomorphic to a morphism of toric varieties around $z\in Z$. In particular, considering the case when $π$ is the identity morphism, we get a geometric characterization of singularities that are formally isomorphic to toric singularities. This gives a positive answer to a conjecture due to Shokurov.

研究动机与目标

• 通过复杂度不变量解决Shokurov关于环状奇点几何刻画的猜想。
• 基于几何复杂度不变量的非负性与零值，建立态射为形式环状的判别准则。
• 将先前关于Q-因子化与对数极小奇点的结果推广至非Q-因子化情形。
• 证明复杂度为零蕴含形式环状性及广义对中模形式除子的下降性。

提出的方法

• 为基上的对数极小奇点对定义复杂度不变量 $ c_z(X/Z,B) = \dim X + \dim_{\mathbb{Q}} \operatorname{Cl}_{\mathbb{Q}}(X/Z) - \sum_{B_i \cap \pi^{-1}(z) \neq \emptyset} b_i $。
• 利用广义对数极小模型程序的相对版本，分析复杂度不变量在爆破与变换下的行为。
• 构造一个相对 $ \mathbb{A}^1 $-丛 $ C_{\infty} \to X $，将该对提升至更高维设置，以控制复杂度。
• 通过lc位置的结构与广义对中模形式除子的下降性，应用形式环状性的判别准则。
• 利用当复杂度为零时 $ K_X + B \sim_{\mathbb{Q},Z} 0 $ 的事实，通过形变与完备化技术推导出形式环状性。
• 借助态射的交换图，将形式环状性从全空间传递至基，从而证明主定理。

实验结果

研究问题

• RQ1 在闭点 $ z \in Z $ 处，态射 $ \pi: X \to Z $ 何时在形式上同构于环状态射？
• RQ2 在对数极小奇点对的背景下，复杂度不变量 $ c_z(X/Z,B) $ 的精确几何意义是什么？
• RQ3 在何种条件下，复杂度的消失意味着 $ X \to Z $ 是形式环状的且 $ K_X + B \sim_{\mathbb{Q},Z} 0 $？
• RQ4 复杂度不变量能否在不假设 $ \mathbb{Q} $-因子化性的情况下，用于刻画形式同构于环状奇点的奇点？
• RQ5 当 $ c_z(X/Z,B+M) = 0 $ 时，模形式除子 $ M $ 是否在 $ z \in Z $ 的邻域上下降？

主要发现

• 当 $ -(K_X + B) $ 在 $ z \in Z $ 的邻域上为拟有效时，复杂度不变量 $ c_z(X/Z,B) $ 始终非负。
• 若 $ c_z(X/Z,B) = 0 $，则 $ K_X + B \sim_{\mathbb{Q},Z} 0 $，且 $ X \to Z $ 在 $ z $ 处为形式环状。
• 在形式同构下，$ \lfloor B \rfloor $ 的分量被映射到环状不变除子的完备化。
• 该结果推广了Kollár、Mc Kernan–Keel、Prokhorov与Yao的先前工作至非Q-因子化情形。
• 在广义对设置下，当 $ c_z(X/Z,B+M) = 0 $ 时，模形式除子 $ M $ 在 $ z $ 的邻域上下降。
• 证明利用了相对 $ \mathbb{A}^1 $-丛构造，将问题约化至更高维广义对，使得形式环状性可被检测。