[논문 리뷰] Cylinders in del Pezzo fibrations

Adrien Dubouloz, Takashi Kishimoto|arXiv (Cornell University)|2016. 07. 04.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 3

한 줄 요약

이 논문은 수직 아핀 원통을 갖는 델 페초 피브레이션을 완전히 특성화한다: degree $d$인 델 페초 피브레이션 $\pi: V \to W$는 $d \geq 5$ 이고 $\pi$가 유리 섹션을 가질 때이고, 오직 그 때에만 수직 $\mathbb{A}^1$-원통을 포함한다. degree $d \leq 4$인 피브레이션의 경우, 저자들은 전체 공간에 비틀린 원통을 구성하여, 이러한 피브레이션들이 여전히 수직 원통이 없음에도 불구하고 아핀 3차원 다양체를 열린 부분집합으로 포함할 수 있음을 보여준다.

ABSTRACT

We show that a del Pezzo fibration $π$ : V $ ightarrow$ W of degre d contains a vertical open cylinder, that is, an open subset whose intersection with the generic fiber of $π$ is isomorphic to $Z imes\mathbb{A}_{K}^{1}$ for some quasi-projective variety Z defined over the function field K of W , if and only if d $\ge$ 5 and $π$ : V $ ightarrow$ W admits a rational section. We also construct twisted cylinders in total spaces of threefold del Pezzo fibrations $π$ : V $ ightarrow$ P 1 of degree d $\le$ 4.

연구 동기 및 목표

• 델 페초 피브레이션 $\pi: V \to W$가 수직 $\mathbb{A}^1$-원통을 포함하는 조건을 특성화하는 것, 즉 $W$의 함수체 위에서 $Z \times \mathbb{A}^1$와 동형인 열린 부분집합을 포함하는 것.
• degree $d \leq 4$인 델 페초 피브레이션의 전체 공간 내 비틀린 $\mathbb{A}^1$-원통의 존재를 조사하는 것, 이는 수직이 아니지만 여전히 아핀 3차원 다양체를 포함하는 경우이다.
• 델 페초 피브레이션 내 원통의 완전한 분류를 제공하여, 고차원에서의 유니포텐트 군 작용과 비라시오널 기하학에 대한 이해를 확장하는 것.
• degree $d \leq 4$인 델 페초 피브레이션 $\pi: V \to \mathbb{P}^1$의 명시적 가닥을 구성하여, 전체 공간이 $\mathbb{A}^3$와 동형인 열린 부분집합을 포함하는 것.

제안 방법

• 기저 $W$ 위에서의 상대 최소 모형 프로그램(MMP) 기법의 사용, 특히 상대 콘의 극단적 레이와 상대 수축에 초점 맞추기, $\overline{NE}(\tilde{\mathbb{P}}/\mathbb{P}^1)$ 내의 상대 콘의 극단적 레이.
• 유리 사상 $\overline{f}: \mathbb{P}^3 \dashrightarrow \mathbb{P}^1$의 양호한 해소 $\sigma: \tilde{\mathbb{P}} \to \mathbb{P}^3$를 점과 곡선에 대한 연속적인 블로우업을 통해 구성.
• 정규 번들의 계산과 접속 공식을 사용하여, 특정 예외적 초면 $E_6$가 정규 번지 $\mathcal{O}(-1,-1)$를 가진 $\mathbb{P}^1 \times \mathbb{P}^1$과 동형임을 검증하고, 이들이 극단적이고 수축 가능함을 보장.
• $\sigma_6|_{E_6}: E_6 \to L_5$의 제약이 자명한 $\mathbb{P}^1$-_bundle임을 확인하여, 상대 콘의 극단적 레이 식별.
• 상대 MMP를 적용하여 초면 $E_6$를 수축하고, 이는 새로운 3차원 다양체를 만들어 내며, 이는 섬유 구조를 유지하면서 원통 구조가 명백해지게 한다.
• 수직 원통의 존재성이 함수체 $K(W)$ 위에서의 $\mathbb{A}^1$-원통 존재성과 동치임을 이용하여 문제를 섬유별 조건으로 환원하는 것.

실험 결과

연구 질문

• RQ1 델 페초 피브레이션 $\pi: V \to W$가 수직 $\mathbb{A}^1$-원통을 갖는 조건은 무엇인가? 즉, $K(W)$ 위에서 어떤 다양체 $Z$에 대해 $Z \times \mathbb{A}^1$과 동형인 열린 부분집합을 포함하는가?
• RQ2 degree $d \leq 4$인 델 페초 피브레이션 내 수직 원통의 존재에 대한 차단 요소는 무엇인가?
• RQ3 degree $d \leq 4$인 델 페초 피브레이션의 전체 공간 내 비틀린 $\mathbb{A}^1$-원통이 존재할 수 있는가? 특히 수직 원통이 존재하지 않을 경우에도 말이다.
• RQ4 어떻게 $d \leq 4$인 델 페초 피브레이션을 명시적으로 구성하여, 전체 공간이 $\mathbb{A}^3$와 동형인 열린 부분집합을 포함하는가?
• RQ5 유리 섹션의 존재가 델 페초 피브레이션 내 수직 원통 존재성에 어떤 역할을 하는가?

주요 결과

• 델 페초 피브레이션 $\pi: V \to W$는 degree $d \geq 5$ 이고 $\pi$가 유리 섹션을 가질 때이고, 오직 그 때에만 수직 $\mathbb{A}^1$-원통을 포함한다.
• degree $d \leq 4$인 $\mathbb{P}^1$ 위의 델 페초 피브레이션의 경우, 전체 공간의 비유리성과 유리성에 기인한 차단 요소로 인해 수직 $\mathbb{A}^1$-원통이 존재하지 않는다.
• 수직 원통이 없음에도 불구하고, 저자들은 $\pi: V \to \mathbb{P}^1$ degree $d \leq 4$인 명시적 가닥을 구성하여, 전체 공간이 비틀린 $\mathbb{A}^1$-원통을 $\mathbb{A}^3$와 동형으로 포함함을 보였다.
• 이 구성은 $\mathbb{P}^3 \dashrightarrow \mathbb{P}^1$의 유리 사상에 대한 여섯 번의 블로우업을 통한 양호한 해소에 기반하며, 최종적으로 정규 번지 $\mathcal{O}(-1,-1)$를 가진 $E_6 \simeq \mathbb{P}^1 \times \mathbb{P}^1$의 초면에 도달한다.
• $E_6$가 상대 콘의 극단적 초면임을 보여주어, 상대 MMP에서의 수축이 가능함을 보여주며, 이는 전체 공간 내 비틀린 원통의 출현으로 이어진다.
• 최종 구성은 기저의 일반 섬유가 함수체 위에서 $\mathbb{A}^1$-원통을 포함하는 비라시오널 모델을 제공하며, 전체 공간 내 비틀린 $\mathbb{A}^3$-열린 부분집합의 존재를 확인한다.