[논문 리뷰] Even and odd instanton bundles on Fano threefolds of Picard number 1

Daniele Faenzi|arXiv (Cornell University)|2011. 09. 18.

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

한 줄 요약

이 논문은 $\ mathbb{P}^3$에서의 고전적 개념을 일반화하여, Picard 수가 1인 팔로 3차원에서의 짝수 및 홀수 인stanton 번들을 도입한다. 단층과 기하학적 안정성 이론을 사용하여 그 모듈리 공간의 잘 정의된 기하학적 구성요소를 구축하고, 중간 잭비안이 자명한 경우의 매끄럽고 유리적인 성질을 증명하며, $\ mathbb{P}^5$에서 두 개의 이차곡면의 교차에서의 인stanton 번들을 관련된 종수 2 곡선 위의 벡터 번들로 연결한다.

ABSTRACT

We consider an analogue of the notion of instanton bundle on the projective 3-space, consisting of a class of rank-2 vector bundles defined on smooth Fano threefolds X of Picard number one, having even or odd determinant according to the parity of K_X. We first construct a well-behaved irreducible component of their moduli spaces. Then, when the intermediate Jacobian of X is trivial, we look at the associated monads, hyperdeterminants and nets of quadrics. We also study one case where the intermediate Jacobian of X is non-trivial, namely when X is the intersection of two quadrics in P5, relating instanton bundles on X to vector bundles of higher rank on a the curve of genus 2 naturally associated with X.

연구 동기 및 목표

• 지정된 인덱스를 가진 $\ mathbb{P}^3$에서의 인stanton 번들 개념을 Picard 수가 1인 팔로 3차원으로 일반화한다.
• 그러한 3차원에서 $k$-인stanton의 잘 정의된 기하학적 구성요소를 모듈리 공간으로 구축한다.
• 중간 잭비안이 자명한 경우에 이들의 모듈리 공간 기하학을 단층과 초행렬식을 사용하여 분석한다.
• $\ mathbb{P}^5$에서 두 개의 이차곡면의 교차에서의 인stanton 번들과 관련된 종수 2 곡선 위의 벡터 번들 간의 관계를 규명한다.
• 군 작용을 통한 단층 자료의 기하학적 몫으로서 모듈리 공간의 기하학적 기술을 확립한다.

제안 방법

• 팔로 3차원에서의 $k$-인stanton 번들을 안정적인 랭크 2 번들로 정의하며, $F \simeq F^* \otimes \omega_X$ 및 $H^1(X,F) = 0$를 만족하고, $c_1 = 0$ 또는 $-1$이 되도록 스칼라를 조정한다.
• 유도 범주에서의 완전한 강한 예외적 열의 존재를 이용하여, 벡터 공간 $I$, $W$, 및 $U = \operatorname{Hom}_X(\mathscr{E}_2, \mathscr{E}_3)$로부터 단층을 구성한다.
• 사상 $(A,B)$의 다양체 $\hat{\mathscr{Q}}_{X,k}^\circ$를 정의하며, 이는 $A \circ B = 0$를 만족하고, $A$는 전사이며 $B$는 단사임을 조건으로 한다.
• 단체 $\hat{G}_k = \operatorname{GL}(I) \times \operatorname{GL}(W) \times \operatorname{GL}(J)$를 도입하여 $\hat{\mathscr{Q}}_{X,k}^\circ$ 위에 작용시키며, 기하학적 안정성 이론을 통해 인stanton 번들을 매개변수화한다.
• $\hat{\mathscr{Q}}_{X,k}^\circ / \hat{G}_k$가 모듈리 함수를 표현하는 모듈리 공간 $\operatorname{MI}_X(k)$와 동형임을 보인다.
• $\mathscr{Q}_{X,k}^\circ \hookrightarrow \hat{\mathscr{Q}}_{X,k}^\circ$의 닫힌 매장 $\Phi$를 정의하고, $\operatorname{MI}_X(k)$를 $\hat{G}_k$의 부분군 $G_k \subset \hat{G}_k$에 의한 $\mathscr{Q}_{X,k}^\circ$의 몫으로 식별한다.

실험 결과

연구 질문

• RQ1 Picard 수가 1인 팔로 3차원에서의 $k$-인stanton 모듈리 공간 $\operatorname{MI}_X(k)$가 매끄럽고 기하학적으로 기하학적 구성요소를 가질 수 있는 조건은 무엇인가?
• RQ2 중간 잭비안이 자명한 경우, 인stanton 번들 모듈리 공간을 기하학적으로 어떻게 구성할 수 있는가?
• RQ3 $\ mathbb{P}^5$에서 두 개의 이차곡면의 교차에서의 인stanton 번들과 관련된 종수 2 곡선 위의 벡터 번들 간의 관계는 무엇인가?
• RQ4 모듈리 공간 $\operatorname{MI}_X(k)$의 차원은 인덱스 $i_X$와 인stanton 전하 $k$에 따라 어떻게 달라지는가?
• RQ5 인stanton 번들 모듈리 공간을 재수성군의 작용에 의한 단층 자료의 기하학적 몫으로서 기하학적으로 표현할 수 있는가?

주요 결과

• 모듈리 공간 $\operatorname{MI}_X(k)$는 차원 $\delta$를 가진 일반적으로 매끄러운 기하학적 구성요소를 가지며, $\delta = 8k-3$ ($i_X=4$), $6k-6$ ($i_X=3$), $4k-3$ ($i_X=2$), $2k - g_X - 2$ ($i_X=1$)이며, 비어 있지 않은 조건이 명시되어 있다.
• 중간 잭비안이 자명한 팔로 3차원(즉, $\ mathbb{P}^3$, 이차곡면 3차원, $\ mathrm{Gr}(2,5)$의 선형 절단, 종수 12의 소수 팔로 3차원)의 경우, 모듈리 공간 $\operatorname{MI}_X(k)$는 기하학적 몫 $\hat{\mathscr{Q}}_{X,k}^\circ / \hat{G}_k$와 동형이며, 이는 매끄럽고 유리적이다.
• 완전한 강한 예외적 열을 기반으로 한 단층을 사용하며, $I$, $W$, $U$의 차원은 $i_X$와 $k$에 따라 명시적으로 결정되며, 임계값 이상의 $k$에 대해 비어 있지 않음을 보장한다.
• $X$가 $\ mathbb{P}^5$에서 두 개의 이차곡면의 교차인 경우, 논문은 단층 자료를 통해 인stanton 번들을 관련된 종수 2 곡선 위의 높은 랭크의 벡터 번들과 연결한다.
• $\hat{G}_k$의 작용은 $\hat{\mathscr{Q}}_{X,k}^\circ$ 위에서 적절하고, 몫은 기하학적이다. 이는 $\hat{\mathscr{Q}}_{X,k}^\circ / \hat{G}_k$가 인stanton 번들 모듈리 함수를 표현함을 확인한다.
• 명시적인 매장 $\Phi$와 궤도 등가관계를 통해 $\operatorname{MI}_X(k)$는 $\mathscr{Q}_{X,k}^\circ / G_k$의 몫으로 식별되며, $G_k$는 $\hat{G}_k$의 부분군이다.