[논문 리뷰] Non-Abelian Brill-Noether theory and Fano 3-folds

Shigeru Mukai|ArXiv.org|1997. 04. 15.

Algebraic Geometry and Number Theory참고 문헌 26인용 수 35

한 줄 요약

이 논문은 대수적 곡선 위의 고정된 결정자를 가진 랭크 2 벡터 복합체에 대한 비아벨리안 브릴-노이만 이론을 개발하며, 고전적 브릴-노이만 계류를 일반화하는 타입 II 및 타입 III 계류를 도입한다. 특정 계류, 특히 $M_C(2,K,n)$ for $n = (g-1)/2$가 종수 7 또는 9인 팔란도 3차원 다양체임을 증명하고, 곡선 $C$를 포함하는 K3 곡면이 이중 모듈리 구조를 통해 재구성 가능하며, 이로 인해 비아벨리안 알바네제 사상이 유도됨을 보여준다.

ABSTRACT

A Brill-Noether locus is a subscheme of the moduli of bundles E over a curve C defined by requiring E to have a given number of sections, or homomorphisms from another bundle. There are a number of different types, that can be treated by determinantal methods, with symmetry or skewsymmetry arising from Serre duality. They have many beautiful applications to curves, K3 surfaces and Fano 3-folds.

연구 동기 및 목표

• 곡선 위의 선 복합체가 아닌 안정적인 랭크 2 벡터 복합체와 고정된 결정자를 가진 복합체에 대한 고전적 브릴-노이만 이론을 일반화하기 위해.
• 타입 II 및 타입 III 비아벨리안 브릴-노이만 계류의 기하학을 연구하며, 각각 $\operatorname{hom}(F,E)$와 $h^0(E)$ 조건에 의해 정의됨.
• 이 계류와 팔란도 3차원 다양체 사이의 연결 고리를 확립하여, 특정 계류가 알려진 종수를 가진 팔란도 3차원 다양체임을 보여주기 위해.
• 벡터 복합체 모듈리 공간을 이용한 이중 모듈리 구성으로 K3 곡면을 곡선 $C$에서 재구성함으로써 비아벨리안 알바네제 사상 개발하기.
• 고전적 이중성의 비아벨리안 설정으로의 확장을 위해, 곡선의 비아벨리안 모듈리 공간으로부터 K3 곡면을 복원하기.

제안 방법

• 고정된 결정자를 가진 안정적인 랭크 2 복합체의 모듈리 공간인 $M_C(2,\xi)$ 내에서 $\operatorname{hom}(F,E)$와 $h^0(E)$에 대한 조건을 사용하여 타입 II 및 타입 III 비아벨리안 브릴-노이만 계류 정의하기.
• 행렬식 형식을 사용하여 계류를 기술: 타입 III 계류는 쌍대 복합체 사이의 반대칭 동형사상의 소수의 소멸 조건으로 정의됨.
• 계류가 $\geq n+2$ 차원의 무게 1 자동형 양식 공간을 가지는 불가약한 $\operatorname{SU}(2)$ 표현을 매개변수화한다고 특성화하며, $S_1(\Gamma,\rho)$를 통해 자동형 양식과 연결됨.
• 모듈리 공간 $T = M_C(2,K,n)$에서 곡선 $C$와의 곱 $C \times T$ 위에 일반 벡터 복합체 $\mathcal{E}$를 구성하고, $p \times T$ 위에 제한된 $\mathcal{E}$를 사용하여 분류 사상 $C \to \widehat{T}$ 정의하기.
• 만약 $g \equiv 3 \mod 4$이면 $T = M_C(2,K,n)$는 K3 곡면이며, $\widehat{T} = M_T(2,h_{\det},n)$는 원래 곡선 $C$를 포함하는 K3 곡면과 동형이 되며, 이는 이중 모듈리 이중성의 성립을 보여줌.
• 만약 $g \equiv 1 \mod 4$이면 일반 벡터 복합체 $\mathcal{E}$는 국소적으로만 존재하지만, $\mathbb{P}^1$-_bundle $\mathbb{P}(\mathcal{E})$는 존재하며, K3 곡면은 $T = M_C(2,K,n)$ 위의 $\operatorname{SO}(3)$-복합체 모듈리 공간으로 복원됨.

실험 결과

연구 질문

• RQ1 고전적 브릴-노이만 이론은 곡선 위의 선 복합체가 아닌, 복합체의 모듈리 공간으로 일반화될 수 있는가?
• RQ2 비아벨리안 브릴-노이만 계류의 타입 II 및 타입 III는 팔란도 3차원 다양체를 유도하는가? 만약 그렇다면 어떤 종수의 팔란도 3차원 다양체인가?
• RQ3 곡선 $C$를 포함하는 K3 곡면은 $C$ 위의 복합체 모듈리 공간을 이중 모듈리 구성으로 재구성할 수 있는가?
• RQ4 종수 $g$에 대해 $n = (g-1)/2$일 때, 계류 $M_C(2,K,n)$의 기하학적 및 코homological 구조는 어떠한가?
• RQ5 비아벨리안 알바네제 사상은 K3 곡면의 맥락에서 고전적 이중성과 호모토피 범주론과 어떻게 관련되는가?

주요 결과

• 종수 7인 곡선 $C$에 대해 계류 $M_C(2,K,3)$는 종수 7인 팔란도 3차원 다양체이며, 이는 알려진 팔란도 3차원 다양체가 비아벨리안 브릴-노이만 계류로 재현됨을 보여줌.
• 종수 3인 곡선 위의 안정 복합체 $F$에 대해 계류 $M_C(2,K:\!3F)$는 종수 9인 팔란도 3차원 다양체이며, 이는 비아벨리안 브릴-노이만 이론을 통한 팔란도 3차원 다양체의 두 번째 구성 방법을 보여줌.
• 만약 $g \equiv 3 \mod 4$이면 계류 $M_C(2,K,n)$에서 $n = (g-1)/2$는 K3 곡면이며, 그 위의 결정선 복합체는 종수 $g$의 극화를 유도하여 극화된 K3 곡면이 됨.
• 분류 사상 $C \to \widehat{T} = M_T(2,h_{\det},n)$는 임bedding이며, $C$를 포함하는 모든 K3 곡면은 $\widehat{T}$와 동형이므로, 이는 $C$가 이중 모듈리 구성으로 그를 포함하는 K3 곡면을 결정함을 증명함.
• 만약 $g \equiv 1 \mod 4$이면 일반 벡터 복합체 $\mathcal{E}$는 전역적으로 존재하지 않지만, $\mathbb{P}^1$-bundle $\mathbb{P}(\mathcal{E})$는 존재하며, K3 곡면은 $T = M_C(2,K,n)$ 위의 $\operatorname{SO}(3)$-복합체 모듈리 공간으로 복원됨.
• 모듈리 공간 $S$와 $\widehat{S}$ 위의 코herent sheaf의 호모토피 범주가 동치이며, $g \geq 7$일 때 $S \mapsto \widehat{S}$의 이중성은 순서 2의 치환을 이루며, 고전적 K3 이중성의 일반화임.