Arithmetic Fujita approximation over adelic curves

技術要約：アデリック曲線上の算術的藤田近似

問題設定
本論文は、アデリック曲線の枠組みにおけるアレカフ・幾何学（Arakelov geometry）への藤田の近似定理の拡張を扱う。古典的な代数幾何学において、藤田の定理は、大きな（big）線束は、双有理的な修正を経て、アンプルな線束と有効な線束のテンソル積によって、任意の近さで近似できることを主張している。数体上の算術的な設定においては、この予想は以前、ChenおよびYuanによって、それぞれ異なる手法（複数準同型的包絡線および$\mathbb{R}$-フィルタレーション）を用いて確立された。

しかし、数体、関数体、およびその他のアデリック構造を持つ基底を統一する枠組みであるアデリック曲線への一般化は、重大な課題を提示している。具体的には、一般のアデリック曲線では、「ミンコフスキー的性質」（数体の場合に逐次最小値の使用を容易にするもの）が欠如している。さらに、アデリック構造の複雑さ（例：非離散的な$\sigma$-加法族）に起因する、可測性と可積分性の問題が生じる。本論文は、一般的なこの設定において、単なる「相対的」なバージョン（漸近的傾斜に関するもの）ではなく、$\mathbb{R}$-線束に関する完全な算術的藤田近似が成立するかどうかに関する、ChenおよびMoriwakiによる予想を解決することを目的としている。

手法
著者は、$\mathbb{R}$-フィルタレーション、Harder-Narasimhan（ハーディガー・ナラスイマン）フィルタレーション、および自明な値を持つ体（trivially valued field）上の次数付き線形系の構成を組み合わせた多段階の戦略を採用している。

1. 枠組みと仮定： 本研究は、$K$が完全体であり、かつアデリック曲線$S$が特定の技術的条件を満たすという仮定の下で行われる。具体的には、$\sigma$-加法族$\mathcal{A}$が離散的であるか、あるいは全ての$w \in \Omega$に対して$K$が$K_w$において稠密な可算部分体を包含している。これらの条件は、部分空間ノルムおよび商ノルムが可測かつ可積分であることを保証し、アデリック・ベクトル束の構成における障害を回避する。
2. Harder-Narasimhan フィルタリングと $\mathbb{R}$-フィルタリング： 本論文は、$\mathbb{R}$-フィルタリングを通じて定式化された、アデリック・ベクトル束のHarder-Narasimhanフィルタリングを利用する。これにより、最大傾斜および最小傾斜（$\hat{\mu}^{\text{asy}}_{\max}$ および $\hat{\mu}^{\text{asy}}_{\min}$）といった漸近的不変量を定義することが可能となる。
3. 自明な値を持つ体への移行： $S$上の元の級数から、自明な値を持つ体（$S_0$）上の次数付き線形系を構成するという、極めて重要な手法を用いる。$H^0(X, L^{\otimes n})$の全切断空間にHarder-Narasimhanフィルタリングを適用することにより、著者はスペクトルノルムを定義する。これにより、元の級数は$S_0$上の「フィルタリング可能な近似可能次数付き線形系」へと変換される。
4. 次数付き線形系の近似： 著者は、算術的に大きい線束に対して、付随する$S_0$上の次数付き線形系が近似可能であることを証明する。これには、スペクトルノルムが$e^{-D\lambda}$によって抑えられた切断によって定義される部分級数が、アンプルな因子を含むことを示すプロセスが含まれる。このステップは、一般のアデリック曲線において直接的な適用が失敗することを示す反例（例 4.4）に基づき、アデリック設定に適応させた幾何学的コディラ分解の議論に依拠している。
5. $\mathbb{Q}$および$\mathbb{R}$-線束への拡張：
   • $\mathbb{Q}$-線束については、スケーリングにより整数ケースから直接導かれる。
   • $\mathbb{R}$-線束については、連続性の議論を用いる。算術的体積関数は連続であるため、算術的に大きい$\mathbb{R}$-線束は、その差が非ゼロの小さな切断を持つような、算術的に大きい$\mathbb{Q}$-線束によって近似できる。

主要な貢献と結果
主要な結果は、定理 1.1 (定理 5.5) であり、これは固有なアデリック曲線上の算術的に大きい$\mathbb{R}$-線束に対する算術的藤田近似を確立するものである。

• 定理の記述： $S$を、可測性条件を満たす完全体$K$を持つ固有なアデリック曲線とする。$X$を射影多様体とし、$L$を算術的に大きい$\mathbb{R}$-線束とする。任意の$\epsilon > 0$に対して、十分大きな整数$p$と双有理射$v: X' \to X$が存在し、以下を満たす：
  $$v^*(L^{\otimes p}) = A \otimes M$$
  ここで、

  1. $A$は算術的にアンプルな線束である。
  2. $M$は、非ゼロの小さな切断（全ての$w$に対して$\|s\|_{\sup, w} \leq 1$となる全切断$s$）を許容するアデリック$\mathbb{R}$-線束である。
  3. 体積は以下の近似不等式を満たす：
     $$p^{-(\dim(X)+1)} \widehat{\text{vol}}(A) \geq \widehat{\text{vol}}(L) - \epsilon$$

• 一般化： この結果は、ChenおよびYuanによる先行研究（数体の場合を扱ったもの）を一般化し、ChenおよびMoriwakiの2021年の著作 [11, Remark 9.2.7] における予想に対し、肯定的な回答を与えるものである。これは、「相対的藤田近似」（最大傾斜のみを制御するもの）を超え、有効な部分が小さな切断の存在によって制御される完全な分解へと踏み込むものである。

意義
本論文は、アデリック曲線の一般的な設定における藤田近似の妥当性に関するChenおよびMoriwakiの予想に対し、決定的な肯定的回答を提供すると主張している。その意義は以下の点にある：

1. 統一： ミンコフスキー的性質の喪失にもかかわらず、数体、関数体、およびその他のアデリック基底をカバーする統一的な枠組みへと、算術幾何学の基本定理を拡張した。
2. 技術的解決： 条件を課したアデリック曲線を利用し、また自明な値を持つ体上のスペクトルノルム構成を用いることで、可測性と可積分性に関連する特定の障害を克服した。
3. 範囲： 小さな切断を通じて$\mathbb{R}$-束と$\mathbb{Q}$-束の間の架け橋を確立することにより、現代の算術交差理論に不可欠な$\mathbb{R}$-線束を扱うことに成功した。

著者は、この結果が幾何学的な藤田近似の直接的な類似物であり、算術的に大きい束が、有効な方向（小さな切断を持つ束によって表される）に沿ってアンプルな束によって近似可能であることを示しており、それによってアデリック曲線の枠組みにおける算術的正当性の概念の堅牢性を確認していると述べている。