[论文解读] Log-Riemann Surfaces

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

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

一句话总结

本文引入了对数黎曼曲面作为研究整函数与指数积分的几何与分析框架，尤其通过分支覆盖与一致化视角展开。它通过局部环结构刻画分支点，建立了深刻的代数-几何对偶性：证明了无穷分支点可通过余切空间模其平方的秩来代数区分，该秩同构于 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.

研究动机与目标

• 开发对数黎曼曲面的全面几何、分析与代数理论，将其作为与整函数相关联的新一类黎曼曲面。
• 利用关联函数环的代数不变量，刻画分支点（包括有限与无穷）的性质。
• 为有限与无穷对数黎曼曲面建立一致化定理，将其与不完全伽马函数、埃尔米特多项式等特殊函数联系起来。
• 提供一个类Liouville定理与结构环理论，以捕捉这些曲面上全纯函数的全局行为。

提出的方法

• 通过具有受控分支的欧氏度量定义对数黎曼曲面，使用对数欧氏坐标图来建模分支点附近的局部几何。
• 利用分支覆盖与形式黎曼曲面理论，将对数黎曼曲面与代数曲线及一致化联系起来。
• 从曲面上全纯函数构造结构环 A_S，其极大理想对应于紧化曲面 S* 中的点。
• 通过在极大理想处对环 A_S 进行局部化与完备化，分析余切空间 M/M²，依据其维数与结构，区分普通点与无穷分支点。
• 应用Kobayashi-Nevanlinna网络与共形半径估计，研究普遍覆盖的边界行为与核收敛性。
• 通过类似Schwarz-Christoffel的公式推导一致化，并将一致化映射与连分数及特殊函数（如不完全伽马函数）联系起来。

实验结果

研究问题

• RQ1 如何形式化对数黎曼曲面的几何，以同时包含有限与无穷分支点？
• RQ2 在对数黎曼曲面的结构环中，哪些代数不变量可区分无穷分支点与普通点？
• RQ3 在何种程度上可通过共形与拟共形方法描述对数黎曼曲面的普遍覆盖？其边界行为如何？
• RQ4 积分 ∫ t^j e^{P(t)} dt 在无穷远处的取值如何决定其基底多项式 P(t)？
• RQ5 在对数黎曼曲面的微分伽罗瓦理论中，分支行列式与Picard-Vessiot扩张起何作用？

主要发现

• 在普通点 w₀ ∈ S 处，余切空间 M/M² 同构于 C^{d+1}，反映了有限维的局部几何。
• 在无穷分支点 w₀ ∈ S* − S 处，余切空间 M/M² 同构于 C[z] ⊕ C^d，表明由于指数因子趋于零而产生的无穷维局部结构。
• 在方向 ω_k 处，F_j(∞·ω_k) = ∫₀^z t^j e^{P₀(t)} dt 的取值唯一确定了归一化多项式 P₀，至多相差其指数因子的常数倍。
• 若两个归一化多项式 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))，因此若常数项为零，则必有 P₀ = Q₀。
• 有限对数黎曼曲面的一致化通过类似Schwarz-Christoffel的公式实现，且一致化映射可展开为与不完全伽马函数相关的连分数。
• 结构环 A_S 满足类Liouville定理：曲面上有界的全纯函数可延拓至紧化曲面 S*，且环结构通过极大理想与分支行列式编码了分支数据。