[논문 리뷰] Proper Holomorphic Mappings onto Symmetric Products of a Riemann Surface

Gautam Bharali, Indranil Biswas외 2명|arXiv (Cornell University)|2018. 01. 01.

Meromorphic and Entire Functions인용 수 4

한 줄 요약

이 논문은 비콤팩트 리만 곡면의 n중 대칭곱 사이의 적절한 헬름홀로픽 사상이 강성함을 증명한다: 이러한 사상들은 기본 곡면 사이의 적절한 헬름홀로픽 사상에 의해 유도된다. 핵심 결과는 임의의 적절한 헬름홀로픽 사상 $F: \mathrm{Sym}^n(X) \to \mathrm{Sym}^n(Y)$이 각 인수에서 $F_j: X_j \to Y$의 적절한 헬름홀로픽 사상에 의해 유도됨을 보여주며, 이는 평면 영역에 대한 고전적 결과를 일반화하고, 기존에 콤팩트 리만 곡면에서 관찰된 강성 현상을 비콤팩트 설정으로 확장한다.

ABSTRACT

We show that the structure of proper holomorphic maps between the $n$-fold symmetric products, $n\geq 2$, of a pair of non-compact Riemann surfaces $X$ and $Y$, provided these are reasonably nice, is very rigid. Specifically, any such map is determined by a proper holomorphic map of $X$ onto $Y$. This extends existing results concerning bounded planar domains, and is a non-compact analogue of a phenomenon observed in symmetric products of compact Riemann surfaces. Along the way, we also provide a condition for the complete hyperbolicity of all $n$-fold symmetric products of a non-compact Riemann surface.

연구 동기 및 목표

• 비콤팩트 리만 곡면의 대칭곱 사이의 적절한 헬름홀로픽 사상의 구조를 조사하는 것.
• 유계 평면 도메인과 콤팩트 리만 곡면에 대해 알려진 강성 결과를 비콤팩트 설정으로 확장하는 것.
• 비콤파크트 리만 곡면의 대칭곱이 타우트 또는 코바야시 완비가 되는 조건을 설정하는 것.
• 대칭곱 사이의 임의의 적절한 헬름홀로픽 사상이 인수에서의 적절한 사상에 의해 유도됨을 증명하는 것.
• 콤팩트 리만 곡면에 대한 강성 결과(Fact 1.2)의 비콤팩트 해석을 대칭곱 설정에서 제공하는 것.

제안 방법

• 리만-슈타인 정리의 사용 및 평균값 부등식과 수열 수렴을 통한 변형(분석적 요소 i 및 ii).
• 대칭곱 사상 $\pi_{\mathrm{Sym}}$의 국소 역함수를 사용하여 $F: X \to \mathrm{Sym}^n(Y)$의 국소 리프트를 $Y^n$으로 구성하는 것.
• 리만의 정칙 특이점 제거 정리를 적용하여 곱 도메인에서 유리형 사상을 정칙 사상으로 확장하는 것.
• 단일성 정리와 모노드로미를 사용하여 국소 리프트를 각 좌표에만 의존하는 전역 사상 $F_j: X_j \to Y$로 전역적으로 확장하는 것.
• Y의 초구형성과 Y가 그 콤팩트화에 초구형으로 통합됨을 이용하여 $\tilde{F}_j$를 $X \setminus E$에서 $X_j$로 확장하는 것.
• 원래 사상 $F$의 적절성과 $F_j$의 연속성에 기반하여 유도된 사상 $F_j$들이 적절함을 증명하는 것.

실험 결과

연구 질문

• RQ1 유계 평면 도메인의 대칭곱 사이의 적절한 헬름홀로픽 사상의 강성이 비콤팩트 리만 곡면으로 확장될 수 있는가?
• RQ2 비콤팩트 리만 곡면에 어떤 조건이 성립하면 그 대칭곱이 타우트 또는 코바야시 완비가 되는가?
• RQ3 비콤파크트 리만 곡면의 대칭곱 사이의 모든 적절한 헬름홀로픽 사상은 기본 곡면 간의 적절한 사상에 의해 유도되는가?
• RQ4 특히 리만-허르츠 공식과 종수 제약 조건을 고려할 때, 이러한 사상의 구조는 콤팩트 경우와 어떻게 다를까?
• RQ5 평면 도메인에 사용된 분석 기법이 $C^2$-연속 경계를 가진 일반적인 비콤파크트 리만 곡면으로 어떻게 적용될 수 있는가?

주요 결과

• 경계가 $C^2$-연속인 연결된 경계가 있는 리만 곡면 $X$의 $n$중 대칭곱 $\mathrm{Sym}^n(X)$는 모든 $n \geq 2$에 대해 코바야시 완비이며, 따라서 타우트이다.
• 각 $X_j$가 콤팩트 곡면에서 비어있고 비이산적인 집합을 제거하여 얻은 비콤팩트 리만 곡면이고, $Y$가 경계가 $C^2$-연속인 경계가 있는 리만 곡면인 경우, 임의의 적절한 헬름홀로픽 사상 $F: X_1 \times \cdots \times X_n \to \mathrm{Sym}^n(Y)$은 어떤 적절한 헬름홀로픽 사상 $F_j: X_j \to Y$에 대해 $F = \pi_{\mathrm{Sym}} \circ (F_1, \dots, F_n)$으로 인수분해된다.
• 사상 $F_j$는 $X_j$의 $j$번째 좌표에만 의존하며, 인수분해는 $F_j$의 순열을 제외하고 유일하다.
• $F$의 적절성과 $F_j$의 연속성에 기반하여 각 $F_j$의 적절성이 유도된다.
• 이 결과는 콤팩트 리만 곡면에 대한 강성 결과(Fact 1.2)의 비콤팩트 해석을 제공하며, 이 현상을 비콤파크트 설정으로 확장한다.
• 경계가 $C^2$-연속인 연결된 경계가 있는 리만 곡면 $X$에 대해, 모든 $n \geq 2$에 대해 대칭곱 $\mathrm{Sym}^n(X)$는 완전히 초구형(Kobayashi 완비)이다.