[論文レビュー] Moduli space of Brody curves, energy and mean dimension

Masaki Tsukamoto|ArXiv.org|Jun 20, 2007

Algebraic Geometry and Number Theory参考文献 6被引用数 5

ひとこと要約

本稿では、複素射影空間内のBrody曲線に対して「平均エネルギー」の概念を導入し、その曲線のモジュライ空間の平均次元に対して定量的な上界を確立する。平均エネルギーを特徴関数 $ T(r,f) $ の成長率と関連させることで、鋭い推定式 $ Dim( M(X): C) \leq 2e(X) \cdot \sup_{u\in C^h} \dim_{ C} d\alpha^{-1}(u) $ を得る。ここで $ e(X) $ は平均エネルギーであり、$ \alpha $ はアーベル写像である。

ABSTRACT

We study the mean dimension of the moduli space of Brody curves. We introduce the notion of "mean energy" and show that this can be used to estimate the mean dimension.

研究の動機と目的

• Brody曲線のモジュライ空間の無限次元幾何を研究するための新しい不変量「平均エネルギー」を定義すること。
• Brody曲線のモジュライ空間 $ \mathcal{M}(X) $ の平均次元を、平均エネルギーを主要な道具として用いて推定すること。
• 特に複素トーラスおよびホロモルフィック1形式の文脈において、平均エネルギーと平均次元の間の定量的関係を確立すること。
• エネルギーに基づく不変量を用いて、有限次元のインデックス理論的アイデアを無限次元設定に一般化すること。
• 平均次元が平均エネルギーおよびアーベル写像のファイバーの複素次元の定数倍によって上から有界であることを証明すること。

提案手法

• Brody曲線 $ f $ の平均エネルギー $ e(f) $ を、$ \limsup_{r\to\infty} \frac{2}{\pi r^2} T(r,f) $ として定義する。ここで $ T(r,f) $ はネヴァンリンナ理論における特徴関数である。
• プロジェクト型多様体 $ X $ の平均エネルギーを $ e(X) = \sup_{f\in\mathcal{M}(X)} e(f) $ と定義し、$ X $ 内のBrody曲線の最大漸近的エネルギー密度を測る。
• モジュライ空間 $ \mathcal{M}(X) $ にコンパクト開位相を導入し、$ \mathbb{C} $-不変なコンパクト空間とみなす。平均次元は $ \mathbb{C} $-同変次元として定義する。
• 格子離散化を適用する：格子 $ \Lambda \subset \mathbb{C} $ に対して、$ \lambda \in \Lambda $ における $ df $ の評価により $ S: \mathcal{M}(X) \to (TX)^\Lambda $ を定義する。$ |\mathbb{C}/\Lambda| > 1/e(X) $ ならば、この写像は位相的埋め込みとなる。
• アーベル写像 $ \alpha: X \to \mathrm{Alb}(X) $ 及びその微分 $ d\alpha $ を用いて、$ \mathbb{C} $ 上のホロモルフィック1形式を定数形式に関連づけ、$ S $ の像を $ A: (BX)^\Lambda \to D^\Lambda $ のファイバーに制限する。
• 像の逆像 $ A^{-1}(\Delta) $ の次元を、$ d\alpha^{-1}(u) $ の複素次元を用いて上から抑え、最終的に平均次元に対する上界を得る。

実験結果

リサーチクエスチョン

• RQ1 平均エネルギーはBrody曲線に対してどのように不変量として定義可能であり、幾何学的・解析的意味は何か？
• RQ2 平均エネルギーとBrody曲線モジュライ空間の平均次元の間にはどのような関係があるか？
• RQ3 $ \mathcal{M}(X) $ の平均次元は、特にアーベル写像を通じて、$ X $ の幾何学的性質によって上から束縛可能か？
• RQ4 平均エネルギーは、Brody曲線モジュライ空間の漸近的複雑性をどの程度制御するか？
• RQ5 平均エネルギー概念には有限次元的類似または無限次元インデックス理論的解釈が存在するか？

主な発見

• Brody曲線の平均エネルギー $ e(f) $ は $ 0 \leq e(f) \leq 1 $ を満たし、任意の非退化な射影的多様体 $ X \subset \mathbb{C}P^N $ に対して $ e(X) = \sup_{f\in\mathcal{M}(X)} e(f) $ は $ 0 < e(X) < 1 $ としてwell-definedな不変量である。
• 任意の滑らかで連結な射影的多様体 $ X $ に対して、$ \mathcal{M}(X) $ の平均次元は $ \dim(\mathcal{M}(X):\mathbb{C}) \leq 2e(X) \cdot \sup_{u\in\mathbb{C}^h} \dim_{\mathbb{C}} d\alpha^{-1}(u) $ を満たす。ここで $ h = \dim H^{1,0}(X) $ である。
• この上界は鋭い性質を持つ。すなわち、$ e(X) $ は最適な定数である。任意の $ \varepsilon > 0 $ に対して、$ |\mathbb{C}/\Lambda| > 1/(e(X)+\varepsilon) $ を満たす格子 $ \Lambda \subset \mathbb{C} $ が存在し、離散化写像が位相的埋め込みとなる。
• すべての $ X \subset \mathbb{C}P^N $ に対して平均エネルギー $ e(X) $ は1未満であるため、モジュライ空間 $ \mathcal{M}(X) $ の平均次元は厳密に最大値未満である。
• 証明は、$ \mathbb{C} $ 上の有界なホロモルフィック1形式が定数であるという事実に依存しており、これにより $ S $ の像が $ (BX)^\Lambda $ の有限codimension部分空間に含まれる。
• 平均次元が有限であるための必要十分条件は $ e(X) = 0 $ であり、これは $ X $ が一点またはアーベル多様体が自明である場合に限る。それ以外の場合は無限大だが、エネルギー上限公式により有界である。