[논문 리뷰] Negative curves on surfaces and applications to hermitian locally symmetric spaces

Ted Chinburg, Matthew Stover|arXiv (Cornell University)|2011. 05. 05.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 표면 S가 충분히 많은 음의 자기교차를 가진 곡선을 포함하고 있다면, 그러한 곡선들의 효과적 조합 중에서 일부는 양의 자기교차를 가짐을 증명한다. ℂ 위에서 이는 기본군의 이미지가 유한하고, 알바네제 다양체가 곡선 정규화의 아벨 다양체를 통해 분해됨을 의미하며, 이는 두 상반평면의 곱 또는 복소 하이퍼볼릭 평면에 의해 균일화되는 허미트 국소 대칭 공간에 응용된다.

ABSTRACT

Let $S$ be a smooth projective surface over a field $k$. In this paper we show that if $\mathcal{F}$ is a set of irreducible curves on $S$ such that sufficiently many curves in $\mathcal{F}$ have negative self-intersection, then there exist two curves $C_1, C_2 \in \mathcal{F}$ and integers $a, b\ge 1$ such that the effective divisor $a C_1 + b C_2$ has positive self-intersection. When $k = \mathbb{C}$, this implies that the image of the map $\pi_1(C_1 \cup C_2) o \pi_1(S)$ of topological fundamental groups has finite index and that the Albanese variety of $S$ is a quotient of the direct sum of the Jacobians of the normalizations of $C_1$ and $C_2$. We then give some applications of these results to the geometry of smooth projective surfaces uniformized by either the product of two upper half planes or the complex hyperbolic plane.

연구 동기 및 목표

• 매끄럽고 사영적인 표면에서 많은 음의 곡선을 가진 표면의 기하학적 및 위상수학적 함의를 이해하는 것.
• 표면에서 음의 자기교차를 가진 곡선의 존재가 기본군과 알바네제 다양체에 미치는 영향을 조사하는 것.
• 이러한 결과를 두 상반평면의 곱 또는 복소 하이퍼볼릭 평면에 의해 균일화되는 표면에 적용하는 것.
• 곡선 구성과 곡선 정규화의 아벨 다양체를 통한 알바네제 다양체의 구조 사이의 연결 고리를 설정하는 것.

제안 방법

• 체 k 위의 매끄럽고 사영적인 표면 S에서 기약 곡선의 교차 이론을 분석한다.
• 집합 F에 속한 곡선들의 수와 자기교차의 음의 정도에 기반한 기준을 적용하여, 두 곡선 C₁, C₂ 및 양의 정수 a, b가 존재하여 (aC₁ + bC₂)² > 0임을 유도한다.
• k = ℂ인 경우 위상수학적 및 호지 이론적 추론을 사용하여 π₁(C₁ ∪ C₂) → π₁(S) 사상의 이미지가 π₁(S)에서 유한 지수를 가짐을 유도한다.
• 알바네제 다양체 이론을 적용하여 Alb(S)가 C₁ 및 C₂의 정규화 아벨 다양체의 직합의 몫임을 보인다.
• 일반 결과를 두 상반평면의 곱 또는 복소 하이퍼볼릭 평면에 의해 균일화되는 허미트 국소 대칭 공간에 적용한다.
• 교차 이론과 대수적 표면의 기본군의 구조에 관한 기초 결과에 의존한다.

실험 결과

연구 질문

• RQ1 표면 S 위의 음의 자기교차를 가진 곡선 집합에 대해 어떤 조건이 성립할 경우, 두 곡선의 양의 조합이 양의 자기교차를 가지는가?
• RQ2 두 음의 곡선의 합집합의 기본군 사상 이미지가 표면의 기본군에서 유한 지수를 가지는 경우 어떤 위상수학적 함의가 발생하는가?
• RQ3 표면의 알바네제 다양체는 음의 자기교차를 가진 두 곡선의 정규화 아벨 다양체와 어떻게 관련되는가?
• RQ4 이러한 결과는 두 상반평면의 곱 또는 복소 하이퍼볼릭 평면에 의해 균일화되는 표면에 어떤 기하학적 제약을 가하는가?
• RQ5 표면 위의 음의 곡선 기하학으로부터 알바네제 다양체의 구조를 복원할 수 있는가?

주요 결과

• 표면 S 위의 집합 F에 속한 곡선이 충분히 많고 모두 음의 자기교차를 가진다면, F에 속하는 두 곡선 C₁, C₂ 및 정수 a, b ≥ 1이 존재하여 효과적 다항식 aC₁ + bC₂가 양의 자기교차를 가짐을 보여준다.
• ℂ 위에서 π₁(C₁ ∪ C₂) → π₁(S) 사상의 이미지는 π₁(S)에서 유한 지수를 가짐을 보여준다.
• S의 알바네제 다양체는 C₁ 및 C₂의 정규화 아벨 다양체의 직합의 몫이다.
• 이 결과들은 두 상반평면의 곱 또는 복소 하이퍼볼릭 평면에 의해 균일화되는 매끄럽고 사영적인 표면에 적용된다.
• 이러한 곡선 구성의 존재는 표면의 위상수학적 및 기하학적 구조에 강력한 제약을 가하며, 특히 허미트 국소 대칭 공간의 맥락에서 그러한 제약이 뚜렷하다.
• 결과들은 곡선의 대수기하학과 기본군 및 알바네제 다양체의 전반적 구조 사이의 깊은 상호작용을 보여준다.