[논문 리뷰] Unirationality of Ueno-Campana's threefold

Fabrizio Catanese, Keiji Oguiso외 1명|arXiv (Cornell University)|2013. 10. 14.

Algebraic Geometry and Number Theory참고 문헌 1인용 수 6

한 줄 요약

이 논문은 Ueno-Campana의 3차다면체가 유리적임을 증명한다. 이를 위해 3차다면체로의 주어진 유리적 사상은 $ℓ^3$에서의 4차 순환 몫을 통한 쌍곡선 다발의 유리 섹션을 통해 구성된다. 핵심 구조는 3차다면체의 함수체를 $ℤ/4\mathbb{Z}$-작용에 대한 불변 부분체로 식별한 후, 섬유곱과 체 확장으로 유리 3차다면체와의 비라소모르적 동치를 보이는 것이다.

ABSTRACT

We shall prove that the threefold studied in the paper "Remarks on an Example of K. Ueno" by F. Campana is unirational. This gives an affirmative answer to a question posed in the paper above and also in the book by K. Ueno, "Classification theory of algebraic varieties and compact complex spaces".

연구 동기 및 목표

• 복소수체 위에서 Ueno-Campana의 3차다면체의 유리성 또는 유리적 성질에 관한 오랫동안 남아있던 문제를 해결하기 위해.
• 세 타원 곡선의 몫의 블로우업으로 얻어진 3차다면체 $X$가 유리적임을 입증하기 위해.
• 함수체의 불변과 섬유곱 구조를 이용한 구성적 증명을 통해 $ℓ^3$에서의 주어진 유리적 사상이 존재함을 보여주기 위해.
• 3차다면체 $X$를 $ℓ^2$ 위의 쌍곡선 다발과 그 유리 섹션과의 관계로 연결함으로써 $X$의 비라소모르적 기하학을 명확히 하기 위해.
• 향후 $X$가 유리적일지라도 유리적일 뿐임을 밝혀내기 위한 기초를 마련하기 위해.

제안 방법

• 3차다면체 $X$의 함수체 $k(X)$를 $Z = C_1 \times C_2 \times C_3$ 위에서 순서 4인 $g$-작용에 대한 고정 부분체 $k(Z)^g$로 식별한다. 여기서 각 $C_i$는 순서 4인 $g$-작용을 가진 종수 1 곡선이다.
• 비율 $b_2 = x_2/x_1$, $b_3 = x_3/x_1$, $a_2 = y_2/y_1$, $a_3 = y_3/y_1$와 불변량 $u_1 = x_1^2$, $w_1 = y_1^4$, $\lambda_1 = x_1 y_1^2$로 생성되는 $k(Z)$의 부분체 $L \subset k(Z)$를 정의한다.
• 갈루아 이론을 이용해 $k(X) = L$임을 증명한다: $[k(Z):k(X)] = 4$, $[k(Z):L] \leq 4$, 그리고 $L \subset k(X)$이므로 $k(X) = L$이다.
• 항등식 $y_1^2 = x_1(x_1^2 - 1)$를 이용해 $w_1$과 $\lambda_1$를 $u_1, b_2, b_3, a_2, a_3$의 유리 함수로 표현함으로써 $L = k(u_1, b_2, b_3, a_2, a_3)$임을 보인다.
• 다음 식으로 정의된 쌍곡선 다발 $H \to \mathbb{A}^2_{b,\beta}$를 구성한다: $a^2\beta(1 - \beta^2) = \alpha^2 b(1 - b^2) + b\beta(b^2 - \beta^2)$, 이는 $X$와 비라소모르적이다.
• 사상 $b = s^2$, $\beta = t^2$를 통해 $Q = H \times_{\operatorname{Spec} k[b,\beta]} \operatorname{Spec} k[s,t]$의 섬유곱을 형성하여, $ℓ^3$과 비라소모르적인 유리 3차다면체 $Q$를 얻는다.

실험 결과

연구 질문

• RQ1 Ueno-Campana의 3차다면체 $X$는 복소수체 위에서 유리적인가?
• RQ2 3차다면체 $X$는 $ℓ^2$ 위의 쌍곡선 다발로 비라소모르적으로 표현될 수 있는가? 이 때 유리 섹션이 존재하는가?
• RQ3 3차다면체의 함수체는 $ℤ/4\mathbb{Z}$-작용에 대한 불변량으로 생성되며, 이를 통해 $ℓ^3$에서의 주어진 유리적 사상이 구성될 수 있는가?
• RQ4 쌍곡선 다발의 순환 쌍대 덮개에서 유리 섹션이 존재하면, 원래의 3차다면체가 유리적임을 의미하는가?
• RQ5 3차다면체 $X$는 유리 기저와의 섬유곱 구조를 통해 유리 다양체와 비라소모르적임을 보일 수 있는가?

주요 결과

• 3차다면체 $X$는 유리적이다: $ℓ^3 \dashrightarrow X$인 주어진 유리적 사상이 존재한다.
• 함수체 $k(X)$는 $L = k(u_1, b_2, b_3, a_2, a_3)$와 같으며, 이는 $g$-작용에 대한 불변 부분체이다.
• 3차다면체 $X$는 $a^2\beta(1 - \beta^2) = \alpha^2 b(1 - b^2) + b\beta(b^2 - \beta^2)$로 정의된 쌍곡선 다발 $H \to \mathbb{A}^2$와 비라소모르적이다. 이 다발은 $k(b,\beta)$ 위에 유리 섹션을 갖지 않는다.
• 사상 $b = s^2$, $\beta = t^2$를 통해 $Q = H \times_{\operatorname{Spec} k[b,\beta]} \operatorname{Spec} k[s,t]$의 섬유곱을 형성하면, $ℓ^3$과 비라소모르적인 유리 3차다면체 $Q$를 얻는다.
• 사영 사상 $Q \to \operatorname{Spec} k[s,t]$의 일반 섬유는 $(a,\alpha) = (s,t)$에서 유리 점을 가지므로, $k(s,t)$ 위에서 $ℓ^1$과 동형이 되며, 이에 따라 $k(Q) \cong k(s,t,v)$이다.
• 이러한 이유로 $Q$는 유리적이며, $Q \to H$는 차수 4의 유한 사상이므로 $H$는 유리적이다. $H$는 $X$와 비라소모르적임을 고려하면, $X$는 유리적임을 유추할 수 있다.