[論文レビュー] Log-Riemann Surfaces

Kingshook Biswas, Ricardo Pérez-Marco|arXiv (Cornell University)|Dec 11, 2015

Mathematical Dynamics and Fractals参考文献 33被引用数 17

ひとこと要約

本稿は、整関数および指数積分を研究するための幾何学的・解析的枠組みとして、分岐被覆およびユニフォーム化の観点から、log-Riemann面を導入する。本稿は、局所的環構造による分岐点の特徴付けを通じて、代数的幾何的双対性を確立し、無限大分岐点が、余接空間をその平方で割ったもの（C[z]⊕C^d に同型）のランクによって代数的に特徴づけられることを示す。これは、正則点における有限次元的 C^{d+1} とは対照的である。

ABSTRACT

We introduce the notion of log-Riemann surfaces. These are Riemann surfaces given by cutting and pasting planes together isometrically, and come equipped with a holomorphic local diffeomorphism to C called the projection map, and a corresponding flat metric obtained by pulling back the Euclidean metric. We define ramification points to be the points added in the metric completion of the surface with respect to the induced path metric; any such point has a well-defined order $1 \leq n \leq +\infty$ such that the projection map restricted to a small punctured neighbourhood of the point is an $n-to-1$ covering of a punctured disk in C. We prove that simply connected log-Riemann surfaces with finitely many ramification points are biholomorphic to C and the uniformization, with respect to the distinguished charts on the surface given by the projection map, is given by an entire function of the form $F(z) = \int Q(z)e^{P(z)} dz$ where $P, Q$ are polynomials of degrees equal to the number of infinite and finite order ramification points respectively. We also develop an algebraic theory for such log-Riemann surfaces, defining a ring of functions on the surface with finite values at all ramification points, such that the ring separates all points including the infinite order ramification points.

研究の動機と目的

• 整関数に関連する新しいリーマン面のクラスとして、log-Riemann面の包括的な幾何学的・解析的・代数的理論を構築すること。
• 関連関数環の代数的不変量を用いて、有限および無限大分岐点の性質を特徴づけること。
• 有限および無限大log-Riemann面に対するユニフォーム化定理を確立し、不完全ガンマ関数やエルミート多項式などの特殊関数と関連付けること。
• log-Riemann面における正則関数のグローバルな挙動を捉える、Liouville型定理および構造的環論を提供すること。

提案手法

• 分岐の制御されたユークリッド計量を用いてlog-Riemann面を定義し、log-ユークリッドチャートを用いて分岐点周辺の局所的幾何をモデル化する。
• 分岐被覆および形式的リーマン面理論を用いて、log-Riemann面を代数的曲線およびユニフォーム化と関連付ける。
• 表面における正則関数からなる構造的環 A_S を構成し、コンactified表面 S* の点と最大イデアルが一対一対応することを示す。
• 最大イデアルにおける A_S の局所化および完備化を用いて、余接空間 M/M² を分析し、その次元および構造によって正則点と無限大分岐点を区別する。
• Kobayashi-Nevanlinna ネットおよびコンformal 半径推定を用いて、普遍被覆の境界挙動およびカーネル収束を研究する。
• Schwarz-Christoffel型の公式を用いてユニフォーム化を導出し、ユニフォーム化写像が不完全ガンマ関数などの特殊関数と連関することを示す。

実験結果

リサーチクエスチョン

• RQ1 log-Riemann面の幾何を、有限および無限大分岐点を含む形でどのように形式化できるか？
• RQ2 構造的環における無限大分岐点と正則点を区別する代数的不変量は何か？
• RQ3 log-Riemann面の普遍被覆は、共形的および擬共形的手法によってどの程度記述可能であり、境界挙動はいかなるものか？
• RQ4 ∫ t^j e^{P(t)} dt の無限大における値が、元の多項式 P(t) をどの程度特定するか？
• RQ5 ramificant 行列式およびPicard-Vessiot拡大は、log-Riemann面の微分ガロア理論において果たす役割は何か？

主な発見

• 正則点 w₀ ∈ S における余接空間 M/M² は C^{d+1} に同型であり、有限次元的局所幾何を反映している。
• S* − S に属する無限大分岐点 w₀ において、余接空間 M/M² は C[z] ⊕ C^d に同型であり、指数関数的因子の消滅に起因する無限次元的局所構造を示している。
• 方向 ω_k における値 F_j(∞·ω_k) = ∫₀^z t^j e^{P₀(t)} dt は、正規化された多項式 P₀ を定数倍を除き一意に特定する。
• 2つの正規化多項式 P₀ および Q₀ が、すべての j=0,…,d−1 および k=1,…,d に対して F_j(∞·ω_k) = G_j(∞·ω_k) を満たすならば、e^{P₀(0)}(P₀(z)−P₀(0)) = e^{Q₀(0)}(Q₀(z)−Q₀(0)) が成り立ち、定数項が 0 ならば P₀ = Q₀ である。
• 有限log-Riemann面のユニフォーム化は、Schwarz-Christoffel型の公式により達成され、ユニフォーム化写像は不完全ガンマ関数に関連する連分数展開をもつ。
• 構造的環 A_S はLiouville型定理を満たす：表面における有界正則関数はコンパクト化 S* に拡張可能であり、環構造は最大イデアルおよびramificant 行列式を介して分岐データを符号化する。