Metric entropy of the space of holomorphic functions

技術要約：正則関数の空間における計量エントロピー

問題設定
本論文は、正則関数の空間の計量エントロピー（または$\varepsilon$-エントロピー）の漸近的挙動に関する、コルモゴロフによる古典的な問題を取り上げている。具体的には、次元 $n$ のシュタイン多様体 $X$ 内の領域 $\Omega$ と、コンパクトで非プルリカルな部分集合 $K \subset \Omega$ が与えられたとき、$\varepsilon \to 0$ における $H_\varepsilon(A^\Omega_K, C(K))$ の成長率を調査している。ここで、$A^\Omega_K$ は、$\Omega$ に正則に拡張可能であり、かつ $\Omega$ 上で有界（値が1以下）であるような $K$ 上の連続関数の集合を表す。モンテルの定理によりこの集合のコンパクト性は保証されているが、このコンパクト性の定量的な割合（集合を覆うために必要な $\varepsilon$-球の数）を測定することは、複素解析における中心的な課題である。

先行研究では、$\mathbb{C}$（Babenko, Erokhin）や $\mathbb{C}^n$（Zakharyuta, Nivoche, Bandtlow-Nivoche）における漸近性が確立されており、それらはしばしばベルグマン・ワイル公式のような明示的な公式や、特定のプルリ・ポテンシャル論的予想に依拠していた。しかし、グローバルな座標系や明示的な積分公式が存在しない任意のシュタイン多様体へとこれらの結果を拡張することは、依然として未解決の課題であった。

手法
著者は、任意のシュタイン多様体から、代数的および幾何学的なツールがより利用しやすい設定へと問題を還元するための多段階の還元戦略を用いている。

1. アフィン多様体およびルンゲ領域への還元:
   Stoutによる結果と厳密なハイパー凸領域の性質を用いることで、問題は、周囲の空間 $X$ がアフィン多様体（$\mathbb{C}^m$ の部分多様体）であり、$\Omega$ が厳密なルンゲ領域である場合にまで還元される。これにより、正則関数の空間 $H^0(\Omega)$ を有限次元近似空間で置き換えることが可能となる。

2. 多項式近似:
   正則関数の空間は、有界な次数の多項式空間 $A^k[X]$ によって近似される。Siciakによる最適多項式近似の結果（アフィン多様体へZeriahiによって拡張されたもの）を活用し、次数 $k$ が $\varepsilon^{-1}$ の対数スケールで増大する場合、正則関数の空間の $\varepsilon$-エントロピーは、これらの多項式部分空間の $\varepsilon$-エントロピーと漸近的に等価であることを確立する。

3. 体積比と単位球:
   有限次元多項式空間の計量エントロピーは、二つの異なる上限ノルム（一つは $K$ 上、もう一つは $\Omega$ 上）によって定義される単位球の体積比に関連付けられる。このステップでは、有限次元ベクトル空間のエントロピーに関する推定（命題 2.1）を利用し、ジョン・エリプソイド定理を用いて、一般的なノルムをエルミートノルムに関連付ける。

4. モンジュ・アンペール・エネルギーへの接続:
   これら二つの単位球の体積比は、BermanおよびBoucksomによる定理を通じて、相対モンジュ・アンペール・エネルギーに関連付けられる。このエネルギーは、相対極値関数（Siciak-Zaharuta関数） $V_\Omega$ および $V_{cK, \Omega}$ を用いて定義される。

5. エネルギーと容量の関連付け:
   極めて重要な技術的貢献は、相対モンジュ・アンペール・エネルギーが、$c \to 0$ としたときの $c^{n+1}$ による正規化において、相対容量 $C(K, \Omega)$ に収束することを証明することである。これにより、グローバルな幾何学的エネルギー（$\mathbb{C}^m$ への埋め込みに依存する）と、固有の相対容量（周囲の多様体に依存しない）の間の溝を埋める。

主要な結果
主定理（定理 1.1）は、計量エントロピーの漸近的挙動に対して鋭い境界を与える：

$$\frac{2C(K, \Omega)}{(n+1)!} \le \liminf_{\varepsilon \to 0} \frac{H_\varepsilon(A^\Omega_K, C(K))}{(\log \varepsilon^{-1})^{n+1}} \le \limsup_{\varepsilon \to 0} \frac{H_\varepsilon(A^\Omega_K, C(K))}{(\log \varepsilon^{-1})^{n+1}} \le \frac{2C(K, \hat{\Omega})}{(n+1)!}$$

ここで：

• $C(K, \Omega)$ は、ハイパー凸領域による枯渇によって定義される相対容量である。
• $\hat{\Omega}$ は $\Omega$ のホロモルフィー的包絡（envelope of holomorphy）である。
• $C(K, \hat{\Omega})$ は包絡に対する相対容量である。

系および特定のケース:

• 厳密なハイパー凸領域: $\Omega$ が厳密にハイパー凸である場合、ホロモルフィー的包絡は（自己同型を除いて）$\Omega$ と一致するため、境界は正確な極限へと収束する：
  $$\lim_{\varepsilon \to 0} \frac{H_\varepsilon(A^\Omega_K, C(K))}{(\log \varepsilon^{-1})^{n+1}} = \frac{2C(K, \Omega)}{(n+1)!}$$
  この結果は、$\mathbb{C}^n$ における既知の知見を任意のシュタイン多様体へと拡張するものである。
• 定量的ルンゲ特性: 本論文はまた、$\Omega$ 上の関数と、周囲の多様体 $X$ へ拡張可能な関数との間の不一致を、$\Omega$ のホロモルフィック・ハルの容量に関連付ける、定量的ルンゲ特性（定理 8.2）も導出している。

意義および主張
本論文は、$\mathbb{C}^n$ 内の領域に対するコルモゴロフの問題に対する新しい独立した解を提供し、さらに重要なことに、これを任意のシュタイン多様体へと拡張することを主張している。その意義は以下の点にある：

1. 一般化: 以前のアプローチは（Bergman-Weilのような）$\mathbb{C}^n$ 特有の明示的な積分公式に依存していたが、本手法は問題をアフィン多様体へと還元し、プルリ・ポテンシャル論を利用することで、一般的なシュタイン多様体に対しても機能する。
2. 概念的な明晰さ: 本研究は、エントロピーの推定において相対容量が現れることへの概念的な説明を提供している。以前は、この接続は特殊なケース（例：解析的多面体）における明示的な計算を通じて確立されていたが、ここでは相対モンジュ・アンペール・エネルギーを通じて導かれ、容量がこのエネルギーの極限として自然に現れることが示されている。
3. 堅牢性: 証明は、元の領域がハイパー凸であっても、ホロモルフィー的包絡が必ずしもハイパー凸ではない可能性という微妙な問題を、ハイパー凸な枯渇を用いた極限プロセスを利用することで処理している。

著者は、この結果が $\mathbb{C}^n$ における既知のケースと一致していることを述べているが、同時に、周囲の空間が $\mathbb{C}^n$ であることを必要としない統一的な枠組みを提供しており、これにより、ユークリッド空間には必ずしも埋め込まれないがシュタイン多様体には埋め込まれるような領域に対しても、問題に対処している。