[論文レビュー] Adelic divisors on arithmetic varieties

Atsushi Moriwaki|arXiv (Cornell University)|Feb 8, 2013

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

ひとこと要約

本稿は、数体のすべての完備化（実および非可換完備化を含む）にわたるアーベル的メトリクスを統合することで、古典的アラケロフ理論を拡張し、算術多様体上のアーベル的算術R-カルティエ除集合のより広範な設定へ、算術幾何学の基本的結果（体積関数の連続性、一般化されたホッジ指数定理、フジタの近似定理、ザリスキ分解）を一般化する。この統一的枠組みにおいて、解析的および正性の性質が確立される。

ABSTRACT

In this article, we generalize several fundamental results for arithmetic divisors, such as the continuity of the volume function, the generalized Hodge index theorem, Fujita's approximation theorem for arithmetic divisors and Zariski decompositions for arithmetic divisors on arithmetic surfaces, to the case of the adelic arithmetic divisors.

研究の動機と目的

• C⁰型の算術R-カルティエ除集合に対して成立していた算術交差理論の核心的定理を、より一般的なアーベル的算術R-カルティエ除集合の設定へ拡張すること。
• アーベル的データによる実および非可換メトリクスの統合を通じて、正性および体積論の統一的枠組みを確立すること。
• 算術的表面におけるアーベル的除集合へのザリスキ分解およびネフ性の基準を一般化し、古典的結果をグローバルなアーベル的設定へ拡張すること。
• 離散付値環上のモデルにおけるメトリクスの極限挙動を用いて、相対的ネフなアーベル的除集合を特徴付けること。
• 係数とC⁰ノルムの摂動によって生成される位相における連続性、近似、正性定理の証明を通じて、グローバルなアーベル的アラケロフ理論の基盤を築くこと。

提案手法

• 数体のすべての完備化における解析的化Xの上に定義された連続グリーン関数gを備えた、R-カルティエ除集合Dとペアをなすアーベル的算術R-カルティエ除集合を導入する。
• 完備な離散付値体上のベルコヴィッチ解析的空間を用いて局所グリーン関数を定義し、グローバルなアーベル的メトリクスを構成する。
• de Jongの変形とk◦上でのモデル理論を用いて、中心ファイバー上のメトリクスおよび重複度の挙動を分析する。
• 特別ファイバー上の曲線との交差数を用いた相対的ネフ性の概念を導入し、モデルの系列における極限論法を用いる。
• 係数およびグリーン関数のC⁰ノルムの摂動を制御するε-δ推定を用いて、体積関数の連続性を確立する。
• 被約的モデルと極限過程を用いてネフ近似を構成することで、アーベル的設定におけるフジタの近似およびザリスキ分解の技法を適用する。

実験結果

リサーチクエスチョン

• RQ1 算術R-カルティエ除集合の体積関数の連続性は、アーベル的設定へ拡張可能か？
• RQ2 一般化されたホッジ指数定理は、D^{d+1}の次数とvol(D)との関係において、アーベル的算術除集合に対しても成り立つか？
• RQ3 フジタの近似定理は、アーベル的除集合へ一般化可能か、すなわち、大きなアーベル的除集合は体積の意味でネフなアーベル的除集合によって近似可能か？
• RQ4 算術的表面におけるアーベル的算術除集合に対して、ザリスキ分解は存在するか？また、それが最大のネフ部分除集合をもたらすか？
• RQ5 離散付値環上のモデルにおけるメトリクスの極限挙動によって、相対的ネフなアーベル的除集合はどのように特徴付けられるか？

主な発見

• 体積関数はアーベル的位相で連続であり、係数およびグリーン関数のC⁰ノルムの摂動をε-δ推定で制御できる。
• 一般化されたホッジ指数定理が成立する：相対的ネフなアーベル的除集合Dに対して、deg(D^{d+1}) ≤ vol(D)であり、Dがネフであれば等号が成り立つ。
• フジタの近似定理はアーベル的除集合へ拡張可能である：任意の大きなアーベル的除集合は、被約的モデルを用いた極限過程により、体積の意味でネフなアーベル的除集合によって近似可能である。
• 算術的表面ではザリスキ分解が存在する：任意のアーベル的除集合Dに対して、ネフ部分除集合の集合が空でない限り、Dのうちで最大のネフ部分除集合Q ≤ Dが存在する。
• 相対的ネフなアーベル的除集合Dは、離散付値環上のモデルの系列において、すべてのw∈除集合的付値空間に対してlimₙ mult_w(Lₙ) = mult_w(L)を満たす極限条件によって特徴付けられる。
• 主な特徴付けの証明は、de Jongの変形と、重複度および交差数を制御するための断面分解Pₘ + Fₘの使用に依拠している。