[论文解读] Log-terminal singularities and vanishing theorems

Hans Schoutens|ArXiv.org|Mar 15, 2003

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

一句话总结

本文通过正特征下弗罗贝尼乌斯自同态的超积，提出了一类关于有限生成$$\mathbb{C}$$-代数中对数终端奇点的新刻画。它建立了关键的消去定理，包括布托类型结果和Tor模的消去性质，并证明了仿射锥顶点为对数终端的射影代数簇的卡瓦马塔-维赫韦格型消去定理，从而证实了史密斯关于光滑法诺簇商的猜想。

ABSTRACT

Generalizing work of Smith and Hara, we give a new characterization of log-terminal singularities for finitely generated algebras over $\mathbb C$, in terms of purity properties of ultraproducts of characteristic $p$ Frobenii. The first application is a Boutôt-type theorem for log-terminal singularities: given a pure morphism $Y o X$ between affine $\mathbb Q$-Gorenstein varieties of finite type over $\mathbb C$, if $Y$ has at most a log-terminal singularities, then so does $X$. The second application is the Vanishing for Maps of Tor for log-terminal singularities: if $A\subset R$ is a Noether Normalization of a finitely generated $\mathbb C$-algebra $R$ and $S$ is a finitely generated $R$-algebra with log-terminal singularities, then the natural morphism $\operatorname{Tor}^A_i(M,R) o \operatorname{Tor}^A_i(M,S)$ is zero, for every $A$-module $M$ and every $i\geq 1$. The final application is the Kawamata-Viehweg Vanishing Theorem for a connected projective variety $X$ of finite type over $\mathbb C$ whose affine cone has a log-terminal vertex (for some choice of polarization). As a smooth Fano variety has this latter property, we obtain a proof of the following conjecture of Smith for quotients of smooth Fano varieties: if $G$ is the complexification of a real Lie group acting algebraically on a projective smooth Fano variety $X$, then for any numerically effective line bundle $\mathcal L$ on any GIT quotient $Y:=X//G$, each cohomology module $H^i(Y,\mathcal L)$ vanishes for $i>0$, and, if $\mathcal L$ is moreover big, then $H^i(Y,\mathcal L^{-1})$ vanishes for $i

研究动机与目标

• 通过弗罗贝尼乌斯自同态的超积中的纯性，提供复代数中对数终端奇点的新型模型论刻画。
• 将布托型定理扩展到$$\mathbb{Q}$$-戈伦斯坦代数之间纯态射情境下的对数终端奇点。
• 在对数终端奇点存在的情况下，建立诺特正规化上Tor模的消去结果。
• 证明仿射锥顶点为对数终端的射影代数簇的卡瓦马塔-维赫韦格型消去定理。
• 证实史密斯关于光滑法诺簇的GIT商上数值有效线丛的上同调消去猜想。

提出的方法

• 利用正特征下弗罗贝尼乌斯自同态的超积来定义并分析刻画复数域上对数终端奇点的纯性条件。
• 应用模型论技术，借助 Łoś 定理，将正特征中的性质传递到特征零。
• 运用纯态射理论，推导出对数终端奇点在$$\mathbb{Q}$$-戈伦斯坦代数之间的纯态射下可下降。
• 当$$S$$在诺特正规化$$A \subset R$$上具有对数终端奇点时，建立自然同态$$\operatorname{Tor}^A_i(M,R) \to \operatorname{Tor}^A_i(M,S)$$在$$i \geq 1$$时为零。
• 将消去结果应用于具有对数终端顶点的射影代数簇的仿射锥，以推导出卡瓦马塔-维赫韦格型消去定理。
• 利用光滑法诺代数簇及其在复化实李群作用下的商的几何性质，验证了史密斯关于上同调消去的猜想。

实验结果

研究问题

• RQ1 有限生成$$\mathbb{C}$$-代数中的对数终端奇点能否通过正特征下弗罗贝尼乌斯自同态的超积来刻画？
• RQ2 具有对数终端奇点的性质是否在$$\mathbb{Q}$$-戈伦斯坦代数之间的纯态射下可下降？
• RQ3 当$$S$$在诺特正规化$$A \subset R$$上具有对数终端奇点时，自然映射$$\operatorname{Tor}^A_i(M,R) \to \operatorname{Tor}^A_i(M,S)$$对所有$$i \geq 1$$是否为零？
• RQ4 对于仿射锥顶点为对数终端的连通射影代数簇$$X$$，卡瓦马塔-维赫韦格消去定理是否成立？
• RQ5 史密斯关于光滑法诺簇的GIT商上数值有效线丛的上同调消去猜想是否成立？

主要发现

• 有限生成$$\mathbb{C}$$-代数中的对数终端奇点由正特征下弗罗贝尼乌斯自同态超积中的纯性所刻画。
• 若$$Y \to X$$是$$\mathbb{C}$$上有限型$$\mathbb{Q}$$-戈伦斯坦代数之间的纯态射，且$$Y$$具有对数终端奇点，则$$X$$也具有对数终端奇点。
• 对于有限生成$$\mathbb{C}$$-代数$$R$$的任意诺特正规化$$A \subset R$$，以及任意具有对数终端奇点的有限生成$$R$$-代数$$S$$，对所有$$i \geq 1$$和所有$$A$$-模$$M$$，有$$\operatorname{Tor}^A_i(M,R) \to \operatorname{Tor}^A_i(M,S)$$为零。
• 对于仿射锥顶点为对数终端的连通射影代数簇$$X$$，对任意数值有效线丛$$\mathcal{L}$$，有$$H^i(X, \mathcal{L}) = 0$$对所有$$i > 0$$成立。
• 史密斯的猜想得到证实：对于复化实李群$$G$$作用在光滑法诺代数簇$$X$$上，若$$\mathcal{L}$$是GIT商$$Y = X//G$$上数值有效且大，则$$H^i(Y, \mathcal{L})$$对$$i > 0$$为零，且$$H^i(Y, \mathcal{L}^{-1})$$对$$i < \dim Y$$也为零。
• 这些结果在正特征方法与复代数几何中奇点和商的消去定理之间建立了新的桥梁。