[논문 리뷰] Exceptional collections on Dolgachev surfaces associated with degenerations

Yonghwa Cho, Yongnam Lee|arXiv (Cornell University)|2015. 06. 17.

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

한 줄 요약

이 논문은 두 개의 $T_1$-특이점을 가진 특이한 유리 표면의 $\rceil$-Gorenstein 스무딩을 통해 (2,3)-형 타입의 도라코비에 표면에서 최대 길이의 예외적 집합을 구성한다. 해킹의 방법을 사용하여 이러한 특이점에 예외적 벡터(bundle)를 연결함으로써, 저자들은 Néron-Severi 격자를 명시적으로 계산하고, 집합이 전부가 아니라는 것을 증명하며, 이는 유도 범주에 비어 있지 않은 파비안 카테고리가 존재함을 시사한다—이는 코다이라 차원 1인 표면에서 처음으로 이루어지는 구성이다.

ABSTRACT

Dolgachev surfaces are simply connected minimal elliptic surfaces with $p_g=q=0$ and of Kodaira dimension 1. These surfaces were constructed by logarithmic transformations of rational elliptic surfaces. In this paper, we explain the construction of Dolgachev surfaces via $\mathbb Q$-Gorenstein smoothing of singular rational surfaces with two cyclic quotient singularities. This construction is based on the paper by Lee-Park. Also, some exceptional bundles on Dolgachev surfaces associated with $\mathbb Q$-Gorenstein smoothing are constructed based on the idea of Hacking. In the case if Dolgachev surfaces were of type $(2,3)$, we describe the Picard group and present an exceptional collection of maximal length. Finally, we prove that the presented exceptional collection is not full, hence there exist a nontrivial phantom category in the derived category.

연구 동기 및 목표

• 도라코비에 표면의 (2,3)-형, 코다이라 차원 1인 표면의 유도 범주에서 최대 길이의 예외적 집합을 구성하는 것.
• 예외적 집합의 길이가 최대임을 보장하기 위해 $\rceil$-기저를 사용하여 이러한 표면의 Néron-Severi 격자의 명시적 기저를 제공하는 것.
• 특이점에 대한 해킹의 예외적 벡터(bundle) 방법을 적용하여 특이 표면의 일반 선행자에 대한 벡터(bundle)를 구성하는 것.
• 구성된 예외적 집합이 전부인지 조사함으로써 유도 범주의 구조를 탐구하는 것.
• 유도 범주 내에서 비어 있지 않은 파비안 카테고리의 존재를 확립하는 것.

제안 방법

• 두 개의 $T_1$-특이점을 가진 특이한 유리 표면의 $\rceil$-Gorenstein 스무딩을 이용하여 일반 선행자로서 도라코비에 표면을 구성하는 것.
• 해킹의 프레임워크를 적용하여 형식 $\frac{1}{n^2}(1, na-1)$의 각 $T_1$-특이점에 대해 랭크 $n$의 예외적 벡터(bundle)를 연결하는 것. 여기서 $n=2$, $a=1$일 때 (2,3)-형 표면에 해당한다.
• 정규 교차 구성으로 된 중심 선행자 구성: 특이 표면의 정규화와 $n=2$, $a=1$일 때 $\rceil\bb{P}^2$와 동형인 유리 표면 $W$.
• 곡선 $Z$를 따라 $\rceil\bb{O}_{\tilde{X}_0}(D')^{\bigoplus n}$과 $W$ 위의 예외적 벡터(bundle) $G$를 $\rceil\bb{O}_Z(1)^{\bigoplus n}$을 통해 접합하여 중심 선행자 위의 벡터(bundle)를 생성하는 것.
• 접합된 벡터(bundle)를 일반 선행자로 유일하게 변형하여, 매끄러운 도라코비에 표면 위의 랭크 $n=2$인 예외적 벡터(bundle)를 얻는 것.
• Néron-Severi 격자의 분석과 피카르 군의 구조를 활용하여, 라인 번들의 집합을 구성함으로써 최대 길이의 예외적 집합을 형성하는 것.

실험 결과

연구 질문

• RQ1 코다이라 차원 1인 도라코비에 표면의 유도 범주에서 최대 길이의 예외적 집합을 구성할 수 있는가?
• RQ2 예외적 집합의 길이가 최대임을 보장하기 위해 $\rceil$-Gorenstein 스무딩을 통해 유도된 (2,3)-형 도라코비에 표면의 Néron-Severi 격자의 구조는 무엇인가?
• RQ3 특이 표면의 $T_1$-특이점을 가진 $\rceil$-Gorenstein 스무딩의 일반 선행자에서 해킹의 방법으로 구성된 예외적 집합이 전부인가?
• RQ4 특정 도라코비에 표면의 유도 범주, 특히 파비안 카테고리 측면에서의 구조는 어떠한가?
• RQ5 중심 선행자 위의 예외적 벡터(bundle)는 일반 선행자로 어떻게 변형되며, 그 랭크와 기하학적 기원은 무엇인가?

주요 결과

• 도라코비에 표면의 (2,3)-형에서 Néron-Severi 격자는 $\rceil$-Gorenstein 스무딩 과정을 통해 명시적인 $\rceil$-기저를 갖는다.
• 최대 길이 10의 라인 번들의 예외적 집합이 $\rceil\bb{D}^{\rm b}(S)$에 구성되었으며, 이는 코호호모로지 군의 랭크와 일치한다.
• 구성된 예외적 집합은 비어 있지 않은 파비안 카테고리의 존재로 인해 전부가 아니라는 것이 입증되었다.
• 파비안 카테고리가 존재하는 이유는 예외적 집합의 수직 보완이 0이 아니기 때문이다. 이는 집합이 전체 유도 범주를 생성하지 못한다는 것을 의미한다.
• 일반 선행자 위의 예외적 벡터(bundle)는 랭크 2이며, 중심 선행자 위의 접합 데이터로부터 유래한다. $n=2$, $a=1$일 때, $W$ 위의 벡터(bundle)는 $\rceil\bb{T}_{\rceil\bb{P}^2}(-1)$이다.
• 이 구성은 도라코비에 표면의 (2,3)-형에서 비어 있지 않은 파비안 카테고리가 존재함을 확인하며, 이는 코다이라 차원 1인 표면에 대해 이전까지 알려지지 않은 현상이다.