Improved bounds on the number of holomorphic maps between compact Riemann surfaces

技术摘要：紧致黎曼曲面间全纯映射数量的改进界

问题陈述
本文探讨了为从固定亏格 $g > 1$ 的紧致黎曼曲面 $X$ 出发的非常数全纯映射数量建立上界的问题。虽然 de Franchis 定理保证了对于固定目标曲面 $Y$，此类映射的数量是有限的，并且进一步保证了仅有有限多个目标曲面 $Y_i$ 允许存在此类映射，但具体的挑战在于量化这种有限性。本文的目标是推导非常数全纯映射同构类总数 $\#I(X)$ 的上界，该上界仅依赖于源曲面 $X$ 的亏格 $g$，而与 $X$ 的具体复结构或目标曲面无关。

方法论
作者综合运用了复几何、雅可比簇理论以及数论几何。核心策略涉及分析全纯微分形式的拉回以及雅可比簇之间相关的同态。

1. 雅可比簇与自同态：本文利用了全纯映射 $f: X \to Y$ 与其雅可比簇之间的同态 $f: J(X) \to J(Y)$ 之间的对应关系。研究聚焦于对偶雅可比簇 $\hat{J}(X)$ 及其诱导的对偶映射。这些同态的有理表示被视为作用于同调格 $H_1(X, \mathbb{Z})$ 上的整数矩阵。
2. Rosati 对合与范数：关键技术工具是 Rosati 对合，它允许在雅可比簇的底层实向量空间上定义内积和范数。该结构用于界定与全纯映射相关的诱导自同态作用下向量的增长。
3. 数论几何：证明利用了格的下确界（successive minima）理论。通过考虑对偶雅可比簇的格，作者估算了 $H_1(X, \mathbb{Z})$ 中元素可能的“拉回”数量。利用打包论证（packing argument）来界定满足特定正交性和同余条件的不同有理表示的数量。
4. 组合简化：问题被简化为计数具有特定全纯微分形式拉回性质的映射同构类的数量。这导出了一个涉及二项式系数的组合求和，随后利用范德蒙德卷积恒等式（Vandermonde's convolution identity）和斯特林公式（Stirling's approximation）对其进行界定。

主要贡献与结果
本文的主要贡献是推导出了一个新的、更紧致的 $\#I(X)$ 上界，优于 Kani (1986)、Alzati 和 Pirola (1990) 以及作者本人先前工作 (2011) 所建立的结果。

• 主要定理（定理 1.2）：对于亏格 $g > 1$ 的紧致黎曼曲面 $X$，非常数全纯映射的同构类数量满足：
  $$\#I(X) \leq \left[ \sum_{k=4}^{2g} (2g-1)^k \right] \binom{6g-6}{2g-2}$$
  或者，利用二项式系数的渐近界，该式可表示为：
  $$\#I(X) \leq \left[ \sum_{k=4}^{2g} (2g-1)^k \right] \left( \frac{27}{4} \right)^{2g-2}$$

• 对先前界的改进：作者证明了当 $g \to \infty$ 时，这个新界 (1.3) 与 Chamizo 和 Fuertes (2011) 提供的界之比趋于 0。这表明了显著的渐近改进。

• 精细的组合估计：本文通过改进对共享特定微分形式拉回的映射同构类数量的估计，优化了作者先前的工作 [T2]。先前界中的项 $(2g-1)^d$ 被更紧致的组合项 $\binom{4g-4}{d}$ 所取代，随后利用恒等式 $\sum \binom{2g-2}{k}\binom{4g-4}{k} \leq \binom{6g-6}{2g-2}$ 对该项进行求和并界定。

意义
本文声称其重要性在于提供了仅依赖于亏格的紧致黎曼曲面间全纯映射数量的最锐利已知上界。通过将数论几何（特别是格打包和下确界）与雅可比簇的代数几何相结合，以细化这些映射的计数，该工作推动了该领域的发展。作者指出，虽然 Kani 关于函数域的构造表明 $M(g)$（所有亏格为 $g$ 的曲面上映射的最大数量）无法被 $g$ 的任何多项式所界定，但本文提供了一个具体的指数界，改进了最先进的估计。该证明依赖于 de Franchis 和 Severi 所确立的映射有限性，为这些基础有限性定理提供了定量的细化。