[論文レビュー] On the volume of graded linear series and Monge-Ampère mass

Tomoyuki Hisamoto|arXiv (Cornell University)|Jan 20, 2012

Geometry and complex manifolds参考文献 18被引用数 4

ひとこと要約

本稿では、与えられた線束上の滑らかなヘルミート計量に関連する均衡計量のモンジュ＝アンペール質量として、滑らかな射影代数的多様体上のグレード付き線形系列の体積を解析的に記述する公式を確立する。主な結果は、この均衡計量の非多価的モンジュ＝アンペール測度の積分として体積が得られることを示しており、複素代数幾何における既存の結果を一般化し、正性や体積推定を局所的・解析的に研究するためのツールを提供する。

ABSTRACT

We give an analytic description for the volume of a graded linear series.

研究の動機と目的

• 複素多様体上のグレード付き線形系列の体積を、多価的ポテンシャル論を用いて解析的に特徴づけること。
• 均衡計量の構成を導入することで、線束の体積に関する既知の結果を、適切なグレード付き線形系列へと拡張すること。
• 漸近的代数的不変量（体積）と特異計量との間の関係を、モンジュ＝アンペール理論を通じて確立すること。
• 幾何的仮定の下で、均衡計量の正則性および連続性の性質を調査すること。

提案手法

• 各 $ W_k $ に属するセクションのスケーリングされた対数ノルムの上界の上半連続包として、均衡計量 $ P_W\varphi $ を定義する。この定義は $ L^2 $-ノルムの制約のもとで行われる。
• Bedford–Taylor理論を用いて、非多価的モンジュ＝アンペール積 $ \mathrm{MA}(P_W\varphi) = (dd^c P_W\varphi)^n $ を定義し、これが有限総質量をもつ正の測度であることを保証する。
• Ohsawa–Takegoshi の $ L^2 $-拡張定理を用いて、制御された $ L^2 $-ノルムと点별下界を持つテストセクションを構成する。
• 解体写像による計量のプッシュフォワードを用いて、多様体 $ X $ の幾何とターゲット多様体 $ Y $ の幾何を関連づけ、拡張技法を可能にする。
• $ L^2 $-手法によるベルグマンカーネルの一様推定を確立し、計量 $ \varphi_k $ が現在の意味で $ P_W\varphi $ に収束することを示す。
• 有理写像の双有理性仮定を用いて、$ \dim W_k $ の増大度と $ \mathrm{MA}(P_W\varphi) $ の質量を比較することで、体積公式を証明する。

実験結果

リサーチクエスチョン

• RQ1 グレード付き線形系列の体積は、線束上の滑らかなヘルミート計量に関連する標準的特異計量のモンジュ＝アンペール質量として表現可能か？
• RQ2 均衡計量 $ P_W\varphi $ が連続性または正則性を示すために必要な幾何的条件は何か？
• RQ3 均衡計量はオクウンコフ体およびグレード付き線形系列の漸近的不変量とどのように関係するか？
• RQ4 完全線形系列のケースに限らず、モンジュ＝アンペール測度による体積公式は有効か？
• RQ5 一般の有限生成グレード付き線形系列に対して、均衡計量の正則性を確立できるか？

主な発見

• 双有理性仮定のもとで、グレード付き線形系列 $ W $ の体積は、その均衡計量の非多価的モンジュ＝アンペール測度の全質量に等しい：$ \mathrm{vol}(W) = \int_X \mathrm{MA}(P_W\varphi) $。
• 均衡計量 $ P_W\varphi $ は擬・シュワルツ関数であり、そのモンジュ＝アンペール現在は適切に定義され、有限質量をもつ。
• $ W $ が有限生成であり、$ \mathrm{Proj}\, W $ が正規であるとき、均衡計量 $ P_W\varphi $ は空でないザリスキ開部分集合上で連続である。
• 証明は $ L^2 $-拡張技法に依拠しており、重いベルグマンカーネルの漸近展開を避けることで、先行研究と比較して議論を簡略化する。
• 体積公式は、全セクション環の部分代数に対しても成立し、完全線形系列の結果を一般化する。
• Ohsawa–Takegoshi を用いたテストセクションの構成により、$ L^2 $-ノルムと点別下界が一様に制御され、体積推定が可能になる。