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

기술적 요약: 콤팩트 리만 곡면 간의 정칙 사상의 개수에 대한 개선된 상한

문제 제기
본 논문은 종수 $g > 1$ 인 고정된 콤팩트 리만 곡면 $X$ 로부터 출발하는 비상수 정칙 사상의 개수에 대한 상한을 설정하는 문제를 다룬다. 드 프랑시스 (de Franchis) 정리는 고정된 대상 $Y$ 에 대해 그러한 사상의 유한성을 보장하며, 또한 그러한 사상을 허용하는 대상 곡면 $Y_i$ 의 개수가 유한함을 보장하지만, 구체적인 과제는 이러한 유한성을 정량화하는 데 있다. 목표는 $X$ 의 특정 복소 구조나 대상 곡면들에 의존하지 않고, 오직 소스 곡면 $X$ 의 종수 $g$ 에만 의존하는 비상수 정칙 사상의 동형류의 총 개수 $\#I(X)$ 에 대한 상한을 유도하는 것이다.

방법론
저자는 복소 기하학, 야코비안 다양체 이론, 그리고 수의 기하학을 종합적으로 활용한다. 핵심 전략은 정칙 미분형식의 풀백 (pullback) 과 야코비안 다양체 간의 관련 준동형사상을 분석하는 것이다.

1. 야코비안 다양체와 엔도모피즘: 본 논문은 정칙 사상 $f: X \to Y$ 와 그들의 야코비안 다양체 간의 준동형사상 $f: J(X) \to J(Y)$ 사이의 대응 관계를 활용한다. 연구는 쌍대 야코비안 다양체 $\hat{J}(X)$ 와 유도된 쌍대 사상에 초점을 맞춘다. 이러한 준동형사상의 유리수 표현은 호몰로지 격자 $H_1(X, \mathbb{Z})$ 에 작용하는 정수 행렬로 간주된다.
2. 로사티 (Rosati) 켤레와 노름: 핵심적인 기술적 도구는 로사티 켤레로, 이를 통해 야코비안의 기본 실수 벡터 공간에 내적과 노름을 정의할 수 있다. 이 구조는 정칙 사상과 관련된 유도된 엔도모피즘의 작용 하에서 벡터의 성장을 제한하는 데 사용된다.
3. 수의 기하학: 증명은 격자의 연속 최소값 (successive minima) 이론을 활용한다. 쌍대 야코비안 다양체의 격자를 고려함으로써, 저자는 $H_1(X, \mathbb{Z})$ 의 원소들의 가능한 "풀백" 개수를 추정한다. 패킹 (packing) 논증을 사용하여 특정 직교성 및 합동 조건을 만족하는 서로 다른 유리수 표현의 개수를 제한한다.
4. 조합적 축소: 문제는 정칙 미분형식의 풀백과 관련하여 특정 성질을 공유하는 사상의 동형류 개수를 세는 문제로 축소된다. 이는 이항 계수를 포함하는 조합적 합으로 이어지며, 이후 반더몽드 (Vandermonde) 의 합성 항등식과 스텔링 (Stirling) 근사를 사용하여 상한이 설정된다.

주요 기여 및 결과
본 논문의 주요 기여는 카니 (Kani, 1986), 알차티와 피롤라 (Alzati and 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}$$

• 이전 상한에 대한 개선: 저자는 $g \to \infty$ 일 때 이 새로운 상한 (1.3) 과 차미조와 푸에르테스 (Chamizo and 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}$ 을 사용하여 합산되고 상한이 설정된다.

의의
본 논문은 종수에만 의존하는 콤팩트 리만 곡면 간의 정칙 사상 개수에 대해 알려진 가장 날카로운 상한을 제공함으로써 의의를 가진다. 이 연구는 수의 기하학 (특히 격자 패킹과 연속 최소값) 을 야코비안 다양체의 대수기하학과 통합하여 이러한 사상의 계수를 정교화함으로써 해당 분야를 발전시켰다. 저자는 카니의 함수체 구성이 $M(g)$ (종수 $g$ 인 모든 곡면에서의 최대 사상 개수) 이 $g$ 에 대한 어떤 다항식으로도 제한될 수 없음을 보이지만, 본 논문은 최첨단 추정치를 개선하는 구체적인 지수적 상한을 제공한다고 지적한다. 증명은 드 프랑시스와 세베리 (Severi) 가 확립한 사상의 유한성에 의존하며, 이러한 기초적인 유한성 정리에 대한 정량적 정교화를 제공한다.