[論文レビュー] Formes différentielles réelles et courants sur les espaces de Berkovich

Antoine Chambert-Loir, Antoine Ducros|arXiv (Cornell University)|Apr 27, 2012

Geometry and complex manifolds参考文献 21被引用数 65

ひとこと要約

本稿は、バーキョフスキーの意味における解析的空間上の実微分形式および電流の理論を構築し、実解析的枠組みを通じて非アルキメデス的幾何とアルキメデス的幾何を統一する。ストークスおよびグリーンの公式を確立し、トロピカル化における積分を定義し、特にアラケロフ理論およびベクトル bundle 上の計量の文脈において、非アルキメデス的設定における測度論的構成と整合性を示す。

ABSTRACT

We define a theory of real $(p,q)$-forms and currents on Berkovich spaces which is parallel to the theory of differential forms on complex spaces. It is based on Lagerberg's theory of superforms in tropical geometry and on the consideration of tropicalization maps and skeleta on domains of non archimedean analytic spaces in the sense of Berkovich. We construct canonical calibrations of skeleta of analytic spaces, which give rise to integrals of $(n,n)$-forms, and a variant of Stokes formula. The theory of currents furnishes analogues of the Poincaré-Lelong formula, as well as the formulas of Bochner-Martinelli and Levine. We define a notion of plurisubharmonic functions and develop an analogue of Bedford-Taylor's theory of products of closed positive currents. Smooth metrized line bundles have a Chern form; the integrals of products of these Chern forms is compatible with numerical intersection theory. The case of psh metrics gives rise to Chern currents. In the case of formal metrics, we compute these product currents in terms of intersection numbers of the special fiber. In a final chapter, we detail how the uniformization of abelian varieties allows to study the canonical metrics on their line bundles. The theory allows to reinterpret tropical intersection theory and is presented in the general context of so-called "tropical spaces" which we introduce in a first part of the book.

研究の動機と目的

• バーキョフスキー解析的空間上の実解析的微分形式および電流の理論を発展させ、アラケロフ理論を非アルキメデス的設定へ拡張すること。
• 実微分形式に基づく共通の枠組みを導入することで、アルキメデス的および非アルキメデス的場を統一的に取り扱うこと。
• トロピカル化およびスケルトン上の積分理論を確立し、交差理論および測度論的構成と整合性を保つこと。
• 実解析的手法を用いて、非アルキメデス的文脈における正性、曲率、および擬シュレーディンガー関数を定義し、それらを研究すること。
• 新規に導入された積分理論が、バーキョフスキー空間上の既存の測度と整合することを証明すること、特に離散値環のケースにおいて。

提案手法

• トロピカル化に基づくアプローチを用い、スーパーフォームおよび分区画を介して、バーキョフスキー解析的空間上の (p,q) 型実微分形式を導入する。
• キャリブレーションおよびトロピカル構造を用いて、p 次元部分空間上の (p,n)-形式の積分を構成する。
• テスト形式の空間上の連続線形汎関数として電流を定義し、積分および境界作用素がストークスの公式を満たすようにする。
• トロピカル化に標準的なキャリブレーションを確立し、それによって基礎となる解析的空間の幾何と整合性を保証する。
• ベクトル bundle に計量を備えた場合に理論を適用し、曲率電流を定義し、その正性および還元における振る舞いを研究する。
• ザリスキ＝ライマン空間および形式的計量の理論を用いて、モデルの幾何と一般ファイバー上の解析的構造との関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、バーキョフスキー解析的空間上で非アルキメデス的幾何とアルキメデス的幾何を統一する実解析的微分形式および電流の理論を構築できるか？
• RQ2 この枠組みにおいて、解析的空間のトロピカル化と微分形式の積分の正確な関係は何か？
• RQ3 電流および積分理論は、非アルキメデス的設定における計量を備えたベクトル bundle に拡張可能か？また、曲率および正性とどのように関係するか？
• RQ4 提案されたバーキョフスキー空間上の積分理論は、[22] における既存の測度論的構成とどのように関係するか？
• RQ5 標準的なキャリブレーションが、トロピカル化上の積分の一貫性を保証する役割を果たすのはどのような仕組みか？

主な発見

• 本稿は、バーキョフスキー空間上の実微分形式に対してストークスおよびグリーンの公式の版を確立し、積分理論の基礎的道具を提供する。
• コンパactsな解析的空間上の (n,n)-形式の積分が、[22] の測度論的構成と整合することを証明し、特に離散値環のケースにおいて成立する。
• バーキョフスキー空間上の点 x に対して、[|χ(x)†| : |k†|] は、モデルの特別ファイバーにおける対応する成分の重複度に等しくなる。これにより、値群と幾何的重複度との間に接続が確立される。
• 理論は、トロピカル化に標準的なキャリブレーションを定義し、これによりトロピカルサイクル上の積分が適切に定義され、解析的構造と整合することが保証される。
• 適切な条件下で、計量線分束の曲率電流が正の電流であることが示され、擬シュレーディンガー関数の理論が非アルキメデス的設定へ拡張される。
• コンパクトな解析的空間上の計量線分束に対して、アラケロフ理論的次数が交差理論的次数と一致することを証明し、新規な枠組みが古典的算術幾何と整合することを検証した。