[논문 리뷰] On the unirationality of higher dimensional Ueno-type manifolds

Fabrizio Catanese, Keiji Oguiso외 1명|arXiv (Cornell University)|2015. 06. 05.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 4

한 줄 요약

이 논문은 순환군의 순차적 작용에 의한 $E(6)^4$의 몫의 최소 해소인 Ueno 유형의 다양체 $X_{4,6}$의 유일리성(unirationality)을 증명한다. 여기서 $E(6)$는 등비항형 타원곡선이다. 증명은 좌표 간의 대칭 관계를 통한 유리 피브레이션의 구성과 대각선 입체 초곡면의 기하학적 분석에 기반하며, $X_{4,6}$가 삼차 다항식으로 정의된 애매한 교차를 갖는 아핀 공간 내의 완전교차임을 보여준다.

ABSTRACT

We prove the unirationality of the Ueno-type manifold $X_{4,6}$. $X_{4,6}$ is the minimal resolution of the quotient of the Cartesian product $E(6)^4$, where $E(6)$ is the equianharmonic elliptic curve, by the diagonal action of a cyclic group of order 6 (having a fixed point on each copy of $E(6)$). We collect also other results, and discuss several related open questions.

연구 동기 및 목표

• Ueno 유형 다양체 $X_{4,6}$의 유일리성 증명, 이는 순환군의 차수 6의 대각선 작용에 의한 $E(6)^4$의 몫의 최소 해소이다.
• 유한군 작용을 통한 아벨 다양체로부터 생성된 고차원 칼라비-유아 타입 다양체에서의 유리성과 유일리성에 대한 이해를 확장한다.
• Ueno와 오구이고가 제기한 $3 \leq n \leq 5$에 대해 $X_{n,6}$의 분리 가능한 유일리성에 관한 열린 문제를 다루며, 특히 $n=4$와 $n=5$의 경우에 중점을 둔다.
• 유리 사상, 블로우업, 비라션 불변량과 같은 기하학적 및 대수적 도구를 제공하여 복소기하학 및 대수기하학에서 유사한 몫 구성에 적용 가능하도록 한다.

제안 방법

• 대칭 좌표 $s_3, s_4, s_5$와 $w_2, w_3, w_4, w_5$를 도입하여 $X_{4,6}$의 함수체를 매개변수화함으로써 유리 피브레이션을 구성한다.
• 함수체 확장 $k(X_{4,6}) = k(s_3, s_4, w_2, w_3, w_4)$를 정의하며, 이는 $w_i^3 - 1$과 $s_3, s_4$에 대한 유리함수를 포함하는 삼차 관계에 기반한다.
• 변수 $w_2, w_3, w_4, w_5$에 대한 대각선 삼차 방정식으로 정의된 초곡면 $H$를 분석하며, 계수들이 $s_3, s_4, s_5$에 대한 삼차 다항식인 완전교차를 이룬다.
• $H$의 유리적 구조를 $
  \mathbb{P}^2 \to \mathbb{P}^2$로 가는 유리 사상 $\phi$에 매핑하며, 이 사상은 7개의 기저점이 있는 삼차 형식으로 정의되며, 블로우업을 통해 차수 2의 델 페초 표면을 얻는다.
• $\phi$의 분지다발은 6개의 직선을 포함하는 육차 곡선이며, 그 분지집합은 $\mathcal{B} = \{abc(a+b+c) = 0\}$로 주어지며, 이는 차수 4 곡선을 정의한다.
• 델 페초 표면의 이중 쌍대 구조를 이용하여 $X_{4,6}$의 함수체가 $\mathbb{P}^2$의 함수체 위에서 유리적임을 보여, 유일리성의 증명을 완성한다.

실험 결과

연구 질문

• RQ1 이미 $X_{3,6}$가 유리적임이 알려져 있으므로, Ueno 유형 다양체 $X_{4,6}$는 유일리성을 갖는가?
• RQ2 이 논문에서 $X_{4,6}$의 유일리성 증명에 사용된 방법을 $X_{5,6}$의 유일리성 증명으로 확장할 수 있는가?
• RQ3 $X_{4,6}$는 유리적인가, 아니면 유리 매개변수화가 존재하지 않고 유일리성 매개변수화만 존재하는가?
• RQ4 지에르 스키 인벌로션과 차수 2의 델 페초 표면은 $X_{4,6}$의 비라션 기하학에서 어떤 역할을 하는가?
• RQ5 $GL(n, \mathbb{Z})$와 원분환에 의해 유도되는 대칭성은 이러한 다양체의 유리성과 유일리성과 어떻게 관련되는가?

주요 결과

• $X_{4,6}$는 좌표 $s_3, s_4, w_2, w_3, w_4$ 간의 대칭 관계를 통한 유리 피브레이션의 구성으로 인해 유일리성임이 입증된다.
• $k(X_{4,6})$의 함수체는 두 개의 이차수 $(3,3)$ 삼차 관계를 만족하며, 이는 $X_{4,6}$가 $\mathbb{A}^7$ 내의 완전교차와 비라션적임을 보여준다.
• $\mathbb{P}^2 \to \mathbb{P}^2$로 가는 삼차 형식에 의해 정의된 유리 사상 $\phi$는 기저점 7개를 가지며, 그 블로우업은 차수 2의 델 페초 표면을 생성한다. 이 표면은 $\mathcal{B} = \{abc(a+b+c) = 0\}$로 분지된 $\mathbb{P}^2$의 이중 쌍대이다.
• $\phi$의 분지다발은 6개의 직선을 포함하는 육차 곡선이며, 이 표면 위의 엄격한 변환은 점 $e, e_1, e_2, e_3$ 위에서 $(-1)$-곡선을 포함한다. 이는 이중 쌍대 구조를 확인한다.
• $n=5$에 동일한 방법을 적용하면 $X_{5,6}$의 비라션 모델이 $\mathbb{A}^7$ 내에서 $s_3, s_4, s_5, w_2, w_3, w_4, w_5$에 대한 두 개의 삼차 방정식으로 정의된 완전교차로 얻어지며, 이는 $X_{5,6}$의 잠재적 유일리성에 대한 시사를 제공한다.
• 이 구성은 $X_{4,6}$가 $K$-유리적이지 않음을 확인한다. 특정 유리함수에 대해 제곱이 아닌 조건이 성립함으로써, 이 경우 유일리성은 유리성으로 이어지지 않음을 보여준다.