[논문 리뷰] Elliptic Three-folds I: Ogg-Shafarevich Theory

Igor Dolgachev, Mark Gross|ArXiv.org|1992. 10. 30.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 37

한 줄 요약

이 논문은 타원 3-포장에 대해 오그-샤파레비치 이론을 확장하여, 고차원에서 테이트-샤파레비치 군을 계산할 수 있는 프레임워크를 개발하고, 이를 브라우어 군과 다중 섬유와 연결한다. 고립된 다중 섬유는 특정 코다이라 유형의 충돌에서만 발생할 수 있으며, 이를 통해 비자명한 3- torsion 브라우어 군 ${\bf Z}/3{\bf Z}$ 를 가진 유리성의 새로운 장벽을 제공하는 첫 번째 알려진 유리성의 3-포장의 예를 구성한다.

ABSTRACT

We calculate the Tate-Shafarevich group of an elliptic three-fold $f:X ightarrow S$ when $X$ and $S$ are regular and $f$ is flat, relating it to the Brauer group of $X$ and $S$. We show that given certain hypotheses on $f$, the Tate-Shafarevich group has the interpretation of isomorphism classes of elliptic curves over the function field of $S$ which have the same jacobian as the generic fibre of $f$, and for which there exists a relatively minimal model which has no multiple fibres. We use this to give examples of elliptic fibrations with isolated multiple fibres, and also to give a new counterexample to the Luroth problem in dimension three. This is a revised, hopefully improved, version with a few extra theorems and a few errors corrected.

연구 동기 및 목표

• 곡선 위의 타원 포장에서 고차원 기저로 오그-샤파레비치 이론을 일반화하는 것.
• 다중 섬유와 에탈레 국소 섹션의 관점에서 테이트-샤파레비치 군을 특성화하는 것.
• 비자명한 3- torsion 브라우어 군을 가진 유리성의 3-포장을 구성하여 유리성에 대한 새로운 장벽을 제공하는 것.
• 모리 이론과 미르다 모델을 사용하여 고립된 다중 섬유를 갖지 않는 포장 모델의 존재 조건을 보다 정교하게 이해하는 것.

제안 방법

• 모든 $S$의 점의 에탈레 이웃에서의 기저 변경 이후 자취가 사라지는 웰-샤타레 클래스의 부분군으로서 $\hbox{\tencyr Sh}_{S}(A)$ 를 정의한다.
• 에탈레 코hom로지와 층 이론 기법을 통해 $\hbox{\tencyr Sh}_{S}(A)$ 를 총공간과 기저의 브라우어 군과 연결한다.
• 부드러움과 섬유의 통제를 위해 기저의 블로우업 위에 미르다 모델을 구성하여 테이트-샤파레비치 군의 계산을 가능하게 한다.
• 모리의 최소 모델 프로그램을 사용하여 포장의 구조를 분석하고 고립된 다중 섬유의 가능한 유형을 제한한다.
• codimension-2 점에서 국소 분석을 적용하여 고립된 다중 섬유를 유도하는 디스크리미넌트 성분의 충돌 가능성을 분류한다.
• ${\mathbb P}^2$ 에서의 세 개의 입체의 넷의 재미있는 제타를 통해 유리성의 3-포장을 구성하고, 그 브라우어 군이 $\mathbf{Z}/3\mathbf{Z}$ 임을 보인다.

실험 결과

연구 질문

• RQ1 고차원 기저 위의 타원 포장에 대해 테이트-샤파레비치 군의 구조는 어떻게 되며, 기하 모델을 통해 어떻게 계산할 수 있는가?
• RQ2 타원 3-포장에서 고립된 다중 섬유는 어떤 유형이 발생할 수 있으며, 디스크리미넌트 위치에 대한 조건은 무엇인가?
• RQ3 비자명한 브라우어 군을 가진 유리성의 3-포장을 구성할 수 있으며, 이는 유리성에 대해 어떤 의미를 갖는가?
• RQ4 로그레리즘 변환과 기저 변경은 테이트-샤파레비치 군과 유리 섹션의 존재에 어떻게 영향을 미치는가?

주요 결과

• 테이트-샤파레비치 군 $\hbox{\tencyr Sh}_{S}(A)$ 는 총공간의 브라우어 군 $\mathop{\rm Br}(X)$ 에서 모든 섬유에서 자취가 사라지는 클래스들로 이루어진 부분군과 동형이다.
• 미르다 모델을 가정할 때, 고립된 다중 섬유는 $I_{M_1} + I_{M_2}^*$ (여기서 $M_1$ 이 짝수) 또는 $I_0^* + III$ 의 코다이라 섬유 유형 충돌에서만 발생할 수 있다.
• ${\mathbb P}^2$ 에서의 세 개의 입체의 넷의 재미있는 제타의 재미있는 제타의 브라우어 군은 $\mathbf{Z}/3\mathbf{Z}$ 이며, 비자명한 3- torsion 브라우어 군을 가진 유리성의 3-포장의 첫 번째 예를 제공한다.
• 기저의 디스크리미넌트 위치와 교차하는 곡선 $Z \subset S$ 에 대해 모든 섬유가 기약적이라면, $\hbox{\tencyr Sh}_{S\setminus Z}(A) \cong \hbox{\tencyr Sh}_S(A)$ 이며, 이는 $Z$ 에서의 로그레리즘 변환이 불가능함을 의미한다.
• 사각형 표면 위의 타원 곡선의 넷에서 유도된 재미있는 제타는 라미네이션된 4차 대칭시드로 이루어진 이중 고체와 비라운드 등가이다. 이는 루로스 문제의 알려진 반례이다.
• 재미있는 제타의 유리성은 입체 넷 구성에서 사용된 논증의 변형을 통해 입증되며, 비자명한 브라우어 군으로 인해 유리적이지 않음을 보여준다.