Revised Demailly's Affineness Criterion and Algebraization of Entire Grauert Tubes

技術的概要：修正されたデマイヨのアフィン性基準と完全グロート管の代数化

問題提起
本論文は、バーンズ（Burns）の 1982 年の予想、すなわち、特定のシュタイン構造を備えた実解析的リーマン多様体 $(M, g)$ の接束 $T^\infty M$（完全グロート管）がアフィン代数多様体であるかどうかを問う問題に取り組む。シュタイン多様体はアフィン多様体の解析的 analogue であるが、前者は任意の正則関数によって定義され、後者よりも一般的に柔軟である。この予想は、同次複体モンジュ・アンペール（HCMA）方程式の解析的条件とアフィン性という代数的特性との間に深い関連があることを示唆している。

アギラール（Aguilar）やバーンズによるこの問題への以前の試みは、デマイヨ（Demailly）の 1985 年のアフィン性基準に依存していた。この基準は、厳密多重劣調和な Exhaustion 関数 $\phi$ と、特定の成長条件およびリッチ曲率の上限を満たす関数 $\psi$ の存在を要求する。文献で指摘されている障害は、$M$ の体積形式の解析接続から導かれる $\psi$ の自然な候補が、特異集合 $S$ に沿って極を持つことである。その結果、必要な関数 $\psi$ は $S$ 上で $-\infty$ となり、元の基準が適用不可能となる。

手法
著者は二重のアプローチを採用する。第一に、特異性を許容するデマイヨの基準の一般化版を確立し、第二に、この基準を完全グロート管の特定の幾何学に適用する。

1. 修正されたアフィン性基準：本論文は、有限モンジュ・アンペール体積を持つシュタイン多様体 $X$ に対するデマイヨの基準の修正版（定理 1.2）を導入する。リッチ上限を全域で満たす大域関数 $\psi$ を要求する代わりに、新しい基準は特異集合 $S = \{x \mid e^{-2\psi} \notin L^1_{loc}(x)\}$ を許容する。

   • 手法は、重み付き $L^2$ 評価（ボンビエリ・ホルマンダー・スコダ型）を用いて、$S$ で消えるが $X \setminus S$ の特定の点 $p$ で非零となる正則関数 $b_p$ を構成する。
   • 多様体を開集合 $X \setminus b_p^{-1}(0)$ に制限することで、特異点集合が「切り出され」、これらの開部分集合がアフィン多様体と正則同型であることを証明するためにデマイヨの元の議論を適用できる。
   • 論文はさらに、コホモロジー的な仮定の下での $X \setminus S$ の大域構造を解析し、それが正規アフィン多様体のザリスキ開集合として埋め込み可能であることを示す。

2. グロート管への適用：著者は完全グロート管 $TM$ に対して必要な幾何学的データを構成する。

   • 厳密多重劣調和な Exhaustion：$\phi = \log(1 + \cosh(\sqrt{2E}))$ という関数を定義する。ここで $E$ は運動エネルギーである。
   • 複素化された計量：基底計量 $g$ をモンジュ・アンペール葉（複素化された測地線）に沿って有理的に拡張することで、非退化な有理 $(2,0)$ テンソル $g_C$ を構成する。
   • リッチ上限関数：$\psi = -\log \|\det(g_C)\|_\beta$ を定義する。ここで $\beta = dd^c e^\phi$ である。著者は、$\psi$ が要求される成長条件 $\psi \leq A\phi + B$ およびリッチ曲率の上限 $Ric(\beta) + \frac{1}{2}dd^c\psi \geq 0$ を（超関数の意味で）満たすことを証明する。
   • 特異性の同定：基準が失敗する集合 $S$ は、$\det(g_C)$ の極集合、すなわち「管特異性」として正確に同定される。

主要な結果

• 定理 1.2（修正されたアフィン性基準）：シュタイン多様体 $X$ が有限モンジュ・アンペール体積を持ち、集合 $S$ の外でリッチ上限を満たす関数 $\psi$ を許容する場合、$X \setminus S$ はアフィン多様体のザリスキ開集合によって被覆されることを確立する。もし $S = \emptyset$ でありコホモロジーが有限次元であれば、$X$ はアフィンである。
• 定理 1.3（完全グロート管の代数化）：任意の完全グロート管 $TM$に対して、計量$g$は有理テンソル$g_C$に拡張される。$S$を$\det(g_C)$の極集合とする。任意の点$p \in TM \setminus S$に対して、$TM \setminus b_p^{-1}(0)$が滑らかなアフィン多様体と正則同型となるような正則関数$b_p$が存在する。さらに、$TM \setminus S$ はそのようなアフィン開集合によって被覆されるシュタイン多様体である。
• 大域アフィン性への反例：本論文は、管特異性 $S$ が空でない具体的な例（$d \neq 0$ である回転面 $M_d$）を提供する。これらの場合、平行ベクトル場の遷移行列 $\Phi'$ が退化し、$\det(g_C)$ が極を持つようになる。これは、バーンズ予想が（$S$ に関するさらなる条件なしに）$TM$ 自身がアフィンであるという最も強い形で成り立たないことを示している。

意義と主張
本論文は、バーンズ予想に対する「部分的な回答」を提供すると主張している。それは、完全グロート管が（管特異性 $S$ である）余次元 1 の部分集合の「外側」でアフィンであることを確立するものである。その意義は以下の点にある。

1. デマイヨの基準の一般化：修正された基準（定理 1.2）は、リッチポテンシャル $\psi$ に関する正則性の要件を緩和して特異性を許容するものとして提示されており、独立した関心を持つツールである。これにより、代数化手法を適用できる多様体のクラスが拡大する。
2. 障害の明確化：この研究は、複素化された計量の行列式の極集合である管特異性 $S$ を、グロート管の完全なアフィン性に対する正確な障害として特定する。それは、アギラール・バーンズのアプローチの失敗を、これらの極の存在に直接結びつける。
3. 良好な複素化への関連：この結果は、もし管特異性 $S$ が空であることが示されるか（あるいは $TM \setminus S$ のコホモロジーが特定の有限性条件を満たす場合）、バーンズ予想は完全グロート管を許容する多様体に対する良好な複素化予想を意味する可能性を示唆している。

著者はバーンズ予想の完全な解決については控えめであり、完全な証明には特異点集合 $S$ のトポロジーと構造に対するより深い理解が必要であり、それに対する一般的な制御手法は現在存在しないと指摘している。論文は、$TM \setminus S$ のコホモロジーに関する問いと、$S$ を排除するために計量を変形する可能性について問いかけることで締めくくられている。