[論文レビュー] Log-terminal singularities and vanishing theorems

Hans Schoutens|ArXiv.org|Mar 15, 2003

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

ひとこと要約

本稿は、正標数におけるフロベニウス準同型の超積を用いて、有限生成な$$\mathbb{C}$$-代数における対数終単 Singularities の新しい特徴付けを提示する。主要な消失定理を確立し、ボトゥー型の結果とトール消失性質を含み、対数終単な頂点をもつ射影的多様体に対してカワマタ＝ヴィエヒェグ型の消失定理を証明し、スミスによる滑らかなファノ多様体の商に関する予想を確認する。

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}$$-ゴレンシュタイン多様体間の純粋準同型の文脈において、ボトゥー型定理を対数終単特徴に拡張すること。
• 対数終単特徴を持つ状況下で、ノエター正規化上でのトールモジュールの消失結果を確立すること。
• 対数終単な頂点をもつアフィン錐をもつ射影的多様体に対して、カワマタ＝ヴィエヒェグ型の消失定理を証明すること。
• 滑らかなファノ多様体の商に関するスミスの予想、すなわち数的効果的ラインバンドルのコホモロジーの消失についての予想を確認すること。

提案手法

• 正標数におけるフロベニウス準同型の超積を用いて、$$\mathbb{C}$$ 上の対数終単特徴を特徴付ける純粋性条件を定義・分析する。
• モデル理論的技法を用いて、正標数から標数0への性質の移行を、Łośの定理を活用して行う。
• $$\mathbb{Q}$$-ゴレンシュタイン多様体間の純粋準同型の理論を用いて、対数終単特徴が純粋写像の下で下がることを示す。
• $$S$$ がノエター正規化 $$A \subset R$$ の上に対数終単特徴を持つとき、任意の $$i \geq 1$$ に対して自然な準同型 $$\operatorname{Tor}^A_i(M,R) \to \operatorname{Tor}^A_i(M,S)$$ が消えることを確立する。
• アフィン錐に対数終単な頂点をもつ射影的多様体に対して、消失結果を適用し、カワマタ＝ヴィエヒェグ型の消失を導出する。
• 滑らかなファノ多様体の幾何的性質と、それらの実リーダイニス群の複素化作用による商の性質を用いて、スミスの予想におけるコホモロジー消失を検証する。

実験結果

リサーチクエスチョン

• RQ1 有限生成な$$\mathbb{C}$$-代数における対数終単特徴は、正標数におけるフロベニウス準同型の超積を用いて特徴付け可能か？
• RQ2 $$\mathbb{Q}$$-ゴレンシュタイン多様体間の純粋準同型の下で、対数終単特徴の性質は保存されるか？
• RQ3 $$S$$ がノエター正規化 $$A \subset R$$ の上に対数終単特徴を持つとき、任意の $$i \geq 1$$ に対して自然な写像 $$\operatorname{Tor}^A_i(M,R) \to \operatorname{Tor}^A_i(M,S)$$ はゼロか？
• RQ4 アフィン錐の頂点が対数終単な、$$\mathbb{C}$$ 上の連結な射影的多様体 $$X$$ に対して、カワマタ＝ヴィエヒェグ型の消失定理は成り立つか？
• RQ5 滑らかなファノ多様体のGIT商における数的効果的ラインバンドルのコホモロジーの消失に関するスミスの予想は正しいか？

主な発見

• 有限生成な$$\mathbb{C}$$-代数における対数終単特徴は、正標数におけるフロベニウス準同型の超積における純粋性によって特徴付けられる。
• $$Y \to X$$ が$$\mathbb{C}$$ 上の有限型$$\mathbb{Q}$$-ゴレンシュタイン多様体間の純粋準同型であり、$$Y$$ が対数終単特徴を持つならば、$$X$$ も対数終単特徴を持つ。
• 任意の有限生成$$\mathbb{C}$$-代数$$R$$ のノエター正規化$$A \subset R$$ および、$$A$$ 上で対数終単特徴を持つ任意の有限生成$$R$$-代数$$S$$ に対して、任意の$$A$$-加群$$M$$ とすべての$$i \geq 1$$ に対して、写像$$\operatorname{Tor}^A_i(M,R) \to \operatorname{Tor}^A_i(M,S)$$ はゼロである。
• $$\mathbb{C}$$ 上の連結な射影的多様体$$X$$ がアフィン錐の頂点に対数終単特徴を持つとき、任意の数的効果的ラインバンドル$$\mathcal{L}$$ に対して$$i > 0$$ のとき$$H^i(X, \mathcal{L}) = 0$$ である。
• スミスの予想は確認された：複素化された実リーダイニス群$$G$$ が滑らかなファノ多様体$$X$$ に代数的に作用するとき、$$\mathcal{L}$$ がGIT商$$Y = X//G$$ 上で数的効果的かつ大きいならば、$$i > 0$$ のとき$$H^i(Y, \mathcal{L})$$ はゼロであり、$$i < \dim Y$$ のとき$$H^i(Y, \mathcal{L}^{-1})$$ もゼロである。
• 本研究は、正標数の手法と複素代数的幾何における消失定理の間の新しい橋渡しを確立し、特徴と商の両方において特に有効である。