[論文レビュー] Convergence of Harder-Narasimhan polygons

Huayi Chen|ArXiv.org|Jun 18, 2007

Advanced Algebra and Geometry参考文献 10被引用数 3

ひとこと要約

本稿では、各ベクトル bundle に Borel 確率測度を関連付けることによって、幾何的および算術的設定の両方において、正規化されたハーダー＝ナラシムハン多角形の収束を確立する。その中心的結果は、正規化された多角形が一様に凹関数への極限に収束し、関連する測度および分布関数の収束が生じることであり、これは古典的なヒルベルト＝サミュエル漸近展開を t=1 におけるスロープにとどまらず、[0,1] 全体にまで拡張する。この結果は、代数幾何学および算術幾何学における漸近的安定性および退化の研究のための洗練された解析的枠組みを提供する。

ABSTRACT

We establish in this article convergence results of normalized Harder-Narasimhan polygons both in geometric and in arithmetic frameworks by introducing the Harder-Narasimhan filtration indexed by $\mathbb R$ and the associated Borel probability measure.

研究の動機と目的

• 正規化されたハーダー＝ナラシムハン多角形を用いて、古典的なヒルベルト＝サミュエル漸近公式を全次数にとどまらず、[0,1] 全体の点へと拡張すること。
• 中間ランクにおけるハーダー＝ナラシムハン多角形関数の非加法性を克服するため、連続的な $\mathbb{R}$-インデックス付きフィルトレーションを導入すること。
• ハーダー＝ナラシムハン部分商のスロープとランクを用いて、各ベクトルバンドルに Borel 確率測度を定義すること。
• 幾何的および算術的枠組みの両方において、これらの測度の弱収束および正規化された多角形の一様収束を証明すること。
• ポincare 級数および測度論的技法を用いて、準フィルター付きグレード代数の一般化された収束枠組みを確立すること。

提案手法

• 古典的なフラグを実数によってインデックス付けされた連続的フィルトレーションへと拡張することで、ベクトルバンドル上に $\mathbb{R}$-インデックス付きハーダー＝ナラシムハンフィルトレーションを導入する。
• 部分バンドルのランクと次数の凸包をスケーリングすることで、正規化されたハーダー＝ナラシムハン多角形 $P_E(t)$ を定義する。
• 各ベクトルバンドル $E$ に対して、$t_i = \operatorname{rk}E_i / \operatorname{rk}E$ および $\mu_i = \mu(E_i/E_{i-1})$ を用いて、Borel 確率測度 $\nu_E = \sum_{i=1}^n (t_i - t_{i-1}) \delta_{\mu_i}$ を関連付ける。
• 測度 $\nu_E$ の分布関数を用いて、$P_E(t)$ の微分に相当する一般化された逆関数 $f_E^*(t)$ を定義する。
• Lebesgue の収束定理を用いて、分布関数 $f_n^*(t)$ の列が $]0,1[$ 上 almost everywhere で極限関数 $f^*(t)$ に収束することを証明する。
• 積分 $\int_0^t f_n^*(s) ds$ が $\int_0^t f^*(s) ds$ に一様収束することを確立し、これにより正規化された多角形の一様収束が導かれる。

実験結果

リサーチクエスチョン

• RQ1 幾何的設定において、$D \to \infty$ のとき、$\pi_*L^{\times D}$ の正規化されたハーダー＝ナラシムハン多角形は一様に収束するか？
• RQ2 正規化された多角形の収束は、$\mathbb{R}$ 上の関連する Borel 確率測度の収束によって特徴付けられるか？
• RQ3 大きな $D$ におけるハーダー＝ナラシムハンスロープに付随する分布関数の極限挙動は何か？
• RQ4 $\mathbb{R}$-インデックス付きフィルトレーションは、古典的なハーダー＝ナラシムハンフラグをどのように精緻化し、一様収束を可能にするか？
• RQ5 ポincare 級数および測度論的解析を用いて、収束枠組みを準フィルター付きグレード代数へと拡張できるか？

主な発見

• 幾何的設定において、$D \to \infty$ のとき、正規化されたハーダー＝ナラシムハン多角形 $P_{\pi_*L^{\otimes D}}(t)$ は $[0,1]$ 上で凹関数への一様収束を示す。
• 関連する Borel 確率測度 $\nu_{\pi_*L^{\otimes D}}$ は $\mathbb{R}$ 上の極限測度に弱収束し、これはハーダー＝ナラシムハンスロープの極限分布に対応する。
• $[0,1]$ 上の分布関数 $f_n^*(t)$ は、可算な例外集合を除き、$]0,1[$ 上 almost everywhere で極限関数 $f^*(t)$ に収束する。
• 積分 $\int_0^t f_n^*(s) ds$ は $\int_0^t f^*(s) ds$ に一様収束し、これにより正規化された多角形の一様収束が示される。
• 算術的設定においても、算術的ラインバンドルのコホロジー加群のハーダー＝ナラシムハン多角形に同様の収束枠組みが適用可能である。
• 収束結果は、古典的なヒルベルト＝サミュエル漸近公式を一般化し、$t=1$ における全次数から、$[0,1]$ 全体の各中間点 $t$ へと拡張する。