[論文レビュー] Deformation of Brody curves and mean dimension

Masaki Tsukamoto|ArXiv.org|Dec 3, 2007

Geometric and Algebraic Topology参考文献 8被引用数 4

ひとこと要約

本稿は、$\mathbb{C}$ から $\mathbb{CP}^N$ への正則写像で $|df| \leq 1$ を満たす Brody 曲線—に対して、$L^∞$-に基づく新しい変形理論を構築し、空間 $\mathcal{M}(\mathbb{CP}^N)$ の平均次元に対する下界を確立する。その結果、$\dim(\mathcal{M}(\mathbb{CP}^N):\mathbb{C}) \geq 2e(\mathbb{CP}^N)_{\text{ell}}(N+1)$ が得られ、ここで $e(\mathbb{CP}^N)_{\text{ell}}$ は楕円 Brody 曲線における平均エネルギーの上界である。この結果により、無限次元設定における平均次元に対する初めての明示的下界が得られる。

ABSTRACT

The main purpose of this paper is to show that ideas of deformation theory can be applied to "infinite dimensional geometry". We develop the deformation theory of Brody curves. Brody curve is a kind of holomorphic map from the complex plane to the projective space. Since the complex plane is not compact, the parameter space of the deformation can be infinite dimensional. As an application we prove a lower bound on the mean dimension of the space of Brody curves.

研究の動機と目的

• 無限次元幾何における変形理論を、特に $\mathbb{CP}^N$ 内の Brody 曲線の空間へと拡張すること。
• 無限次元空間の位相的不変量である、空間 $\mathcal{M}(\mathbb{CP}^N)$ の平均次元に対する下界を確立すること。
• 楕円 Brody 曲線の平均エネルギーが、$\mathbb{CP}^1$ 内のすべての Brody 曲線における最大平均エネルギーに等しいという予想を提示・検証すること。
• 平均次元が複素幾何において非自明で計算可能な不変量であることを示すために、エネルギー分布と正則切断とを関連付けること。

提案手法

• 標準的な $L^2$ フレームワークではなく、平均次元解析に適した $L^\infty$-設定を用いた、Brody 曲線の新しい変形理論を構築する。
• Brody 曲線 $f$ の平均エネルギー $e(f)$ を $\limsup_{r\to\infty} \frac{2}{\pi r^2} \int_{|z|<r} |df|^2 \, dxdy$ として定義し、$e(\mathbb{CP}^N)_{\text{ell}}$ を楕円 Brody 曲線全体における上界として導入する。
• コンpact複素3次元多様体 $X = F/\Gamma$ とバナッハ空間 $V$（引き戻しバンドルの有界正則切断の空間）を用いて、$\Lambda$--equivariant な連続埋め込み $\Phi: B_\delta(V) \to \mathcal{M}(X)$ を構成する。
• 距離 $d(u,v) = \sum_{n\geq 1} 2^{-n} \sup_{|z|\leq n} |u(z) - v(z)|$ によって誘導される位相を用い、$V$ の単位球がコンパクトであることを保証することで、次元推定を可能にする。
• 平均次元の不等式 $\dim(\mathcal{M}(X):\Lambda) \geq \dim(B_\delta(V):\Lambda) \geq \lim_{n\to\infty} \frac{1}{n^2} \dim H^0(\mathbb{C}/n\Lambda, \mathcal{O}(\pi_n^*F)) = 2\deg(F)$ を適用する。
• 命題 2.1 の証明において、ブロウワーの不動点定理を用いて、バナッハ空間における単位球の幅次元がその次元に等しいことを示し、平均次元の枠組みを支持する。

実験結果

リサーチクエスチョン

• RQ1 変形理論は、$\mathbb{CP}^N$ 内の Brody 曲線の空間のような無限次元幾何的対象へと拡張可能か？
• RQ2 Brody 曲線の空間の平均次元に対する明確な下界は何か？
• RQ3 $\mathbb{CP}^1$ 内の楕円 Brody 曲線の平均エネルギーは、$\mathbb{CP}^1$ 内のすべての Brody 曲線における最大平均エネルギーに等しいか？
• RQ4 空間 $\mathcal{M}(\mathbb{CP}^N)$ の平均次元は $N$ に対して線形に増加するか？ もしそうであれば、鋭い定数は何か？

主な発見

• Brody 曲線の空間の平均次元は、下界 $\dim(\mathcal{M}(\mathbb{CP}^N):\mathbb{C}) \geq 2e(\mathbb{CP}^N)_{\text{ell}}(N+1)$ を満たし、この文脈における初めての明示的下界を確立する。
• $\mathbb{CP}^1$ に対しては、$4e(\mathbb{CP}^1)_{\text{ell}} \leq \dim(\mathcal{M}(\mathbb{CP}^1):\mathbb{C}) \leq 4e(\mathbb{CP}^1)$ が成り立ち、予想 1.4 が成立するならば、等号が成立する可能性がある。
• 漸近的挙動 $\lim_{N\to\infty} e(\mathbb{CP}^N)_{\text{ell}} = \lim_{N\to\infty} e(\mathbb{CP}^N) = 1$ により、$N$ が大きいとき $\dim(\mathcal{M}(\mathbb{CP}^N):\mathbb{C})/N$ は 2 と 4 の間で有界であり、$\liminf \geq 2$ かつ $\limsup \leq 4$ となる。
• コンパクト複素3次元多様体 $X = F/\Gamma$ に対して $\Lambda$--equivariant 埋め込み $\Phi: B_\delta(V) \to \mathcal{M}(X)$ を構成することで、$\dim(\mathcal{M}(X):\mathbb{C}) > 0$ が得られ、有理曲線を持たない非自明な複素多様体に対しても平均次元が正であることを示す。
• 命題 2.1 の証明において、ブロウワーの不動点定理を用いて、有限次元バナッハ空間における単位球の幅次元がその次元に等しいことを示し、平均次元の枠組みを支持する。
• 本稿は、特に無限次元設定において、$L^\infty$-解析が $L^2$ 理論よりも平均次元の計算に適していることを示している。