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

技術的サマリー：コンパクトリーマン曲面間の正則写像の数に関する改善された上限

問題の定義
本論文は、種数 $g > 1$ の固定されたコンパクトリーマン曲面 $X$ から出発する非定数正則写像の数に対する上限を確立する問題に取り組む。de Franchis の定理は、固定された目標曲面 $Y$ に対してそのような写像の有限性を保証し、さらにそのような写像を許容する目標曲面 $Y_i$ が有限個しかないことを保証するが、具体的な課題はこの有限性を定量化することにある。目標は、源曲面 $X$ の種数 $g$ のみに依存し、$X$ の特定の複素構造や目標曲面には依存しない、非定数正則写像の同型類の総数 $\#I(X)$ に対する上限を導出することである。

手法
著者は、複素幾何学、ヤコビアン多様体の理論、および数の幾何学を統合して用いる。中核的な戦略は、正則微分形式の引き戻しと、ヤコビアン多様体間の関連する準同型を分析することである。

1. ヤコビアン多様体と自己準同型: 本論文は、正則写像 $f: X \to Y$ とそれらのヤコビアン多様体間の準同型 $f: J(X) \to J(Y)$ との対応を利用する。研究は、双対ヤコビアン多様体 $\hat{J}(X)$ と誘導された双対写像に焦点を当てる。これらの準同型の有理数表現は、ホモロジー格子 $H_1(X, \mathbb{Z})$ に作用する整数行列として扱われる。
2. ロサティ対合とノルム: 重要な技術的道具はロサティ対合であり、これによりヤコビアンの基礎となる実ベクトル空間上の内積とノルムを定義できる。この構造は、正則写像に関連する誘導された自己準同型の作用下でのベクトルの成長を制限するために用いられる。
3. 数の幾何学: 証明は、格子の逐次最小値の理論を利用する。双対ヤコビアン多様体の格子を考慮することで、著者は $H_1(X, \mathbb{Z})$ の要素の可能な「引き戻し」の数を推定する。パッキングの議論を用いて、特定の直交性と合同条件を満たす異なる有理数表現の数を制限する。
4. 組合せ論的還元: 問題は、正則微分形式の引き戻しに関する特定の性質を共有する写像の同型類の数を数えることに還元される。これにより、二項係数を含む組合せ論的な和が導かれ、その後、ヴァンデルモンドの畳み込み恒等式とスターリングの近似を用いて制限される。

主要な貢献と結果
本論文の主な貢献は、Kani (1986)、Alzati および Pirola (1990)、および著者自身の以前の研究 (2011) によって確立された既存の結果と比較して、$\#I(X)$ に対するより新しい、より厳しい上限を導出したことである。

• 主要定理 (定理 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}$$

• 既存の上限に対する改善: 著者は、この新しい上限 (1.3) と Chamizo および Fuertes (2011) によって提供された上限との比率が、$g \to \infty$ において 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 による関数体の構成が、種数 $g$ のすべての曲面における写像の最大数 $M(g)$ が $g$ の多項式によって制限できないことを示している一方で、本論文は最先端の推定を上回る具体的な指数関数的上限を提供していると指摘している。証明は、de Franchis および Severi によって確立された写像の有限性に依存しており、これらの基礎的な有限性定理の定量的な精緻化を提供している。