[논문 리뷰] Instanton bundles on $\mathbb{P}^1 imes\mathbb{F}_1$

Vincenzo Antonelli, Gianfranco Casnati외 1명|arXiv (Cornell University)|2021. 01. 01.

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

한 줄 요약

이 논문은 $ℚ^1 \times \mathbb{F}_1$ 상의 인스탄톤(bundle)에 대한 단항술적 묘사를 수립하며, 모든 그러한 인스탄톤(bundle)이 자유층을 가지는 모나드의 코homology로 나타남을 증명한다. 임의의 허용 가능한 두 번째 체른 클래스를 가진 인스탄톤(bundle)에 대한 모듈리 성분을 구축하고, 최소 인스탄톤(bundle)이 aCM임을 보이며, 그들의 모듈리 공간을 완전히 묘사한다.

ABSTRACT

In this paper we deal with a particular class of rank two vector bundles (\emph{instanton} bundles) on the Fano threefold of index one $F:=\mathbb{F}_1 imes \mathbb{P}^1$. We show that every instanton bundle on $F$ can be described as the cohomology of a monad whose terms are free sheaves. Furthermore we prove the existence of instanton bundles for any admissible second Chern class and we construct a nice component of the moduli space where they sit. Finally we show that minimal instanton bundles (i.e. with the least possible degree of the second Chern class) are aCM and we describe their moduli space.

연구 동기 및 목표

• Fano 3차 곡면 $\mathbb{P}^1 \times \mathbb{F}_1$ 상의 인스탄톤(bundle)을 모나드를 통해 묘사하기.
• 모든 허용 가능한 두 번째 체른 클래스 $c_2(E) = \alpha\ell\xi - \beta e\xi + \gamma\ell^2$에 대해 인스탄톤(bundle)의 존재성을 증명하기.
• 이러한 인스탄톤(bundle)에 대한 모듈리 공간의 특징 있는 성분을 구축하기.
• 최소 인스탄톤(bundle)이 산술적으로 코hen-맥컬레이(аCM)임을 보이고, 그들의 모듈리 공간을 묘사하기.
• 인스탄톤(bundle)과 약한 윤리드(bundle) 사이의 관계를 분석하며, 특히 인덱스가 1인 Fano 3차 곡면의 맥락에서 고려하기.

제안 방법

• 저자들은 $\mathbb{P}^1 \times \mathbb{F}_1$ 상에서 정의된 직선(bundle)의 직합으로 이루어진 모나드 $C^{-1} \to C^0 \to C^1$를 정의하며, 정수 $\alpha, \beta, \gamma, \delta, \epsilon$가 특정 부등식을 만족하도록 한다.
• 주어진 $c_2(E)$를 가진 모든 인스탄톤(bundle) $E$가 이러한 모나드의 코homology와 동형임을 증명하며, $\delta = h^1(F, E(-e))$ 및 $\epsilon = h^1(F, E(-e - \xi))$임을 보인다.
• 세르 대응을 이용해, 모든 허용 가능한 $c_2(E)$에 대해 $\mu$-안정 인스탄톤(bundle)의 구체적 예를 구성하며, 이러한 모나드의 존재성을 보장한다.
• 모나드의 코hom로직 성질을 분석하고, $A(F) \cong \pi^*A(\mathbb{P}^1) \otimes p^*A(\mathbb{F}_1)$의 차수 분해를 이용해 교차수를 계산하며 체른 클래스 조건을 확인한다.
• 모나드의 코homology가 $\mu$-준안정(bundle)이 되기 위한 필요충분조건은 $h^1(E(-e))$ 및 $h^1(E(-e - \xi))$에 대한 코hom로직 제약 조건을 만족하는 것임을 증명한다.
• 틀어짐을 통한 연결을 통해 인스탄톤(bundle)과 약한 윤리드(bundle)를 연관시키며, 이러한 범주에서 약한 윤리드 성질을 만족하는 조건을 분석한다.

실험 결과

연구 질문

• RQ1 모든 $\mathbb{P}^1 \times \mathbb{F}_1$ 상의 인스탄톤(bundle)은 자유층을 가지는 모나드의 코homology로 표현될 수 있는가?
• RQ2 두 번째 체른 클래스 $c_2(E) = \alpha\ell\xi - \beta e\xi + \gamma\ell^2$가 어떤 값일 때 인스탄톤(bundle)이 존재하는가?
• RQ3 최소 인스탄톤(bundle)(최소 $c_2$를 가진 경우)는 산술적으로 코헨-맥컬레이(аCM)인가?
• RQ4 $\mathbb{P}^1 \times \mathbb{F}_1$ 상의 인스탄톤(bundle)의 모듈리 공간의 구조는 어떠한가?
• RQ5 특히 인덱스가 1인 경우에, 틀어짐을 통한 인스탄톤(bundle)과 약한 윤리드(bundle) 사이에 대응 관계가 존재하는가?

주요 결과

• 모든 인스탄톤(bundle) $E$는 $c_2(E) = \alpha\ell\xi - \beta e\xi + \gamma\ell^2$를 가진 $\mathbb{P}^1 \times \mathbb{F}_1$ 상에서 자유층을 가지는 모나드 $C^{-1} \to C^0 \to C^1$의 코homology와 동형이다.
• 부등식 $\alpha \geq 3$, $\gamma \geq 2$, $\alpha + \gamma \geq 6$, $\alpha - \beta \geq 2$, $\epsilon \geq 2 - \beta - \gamma$, $\delta \geq 1 - \beta$를 만족하는 모든 정수 $\alpha, \beta, \gamma$에 대해, 해당 $c_2(E)$를 가진 $\mu$-안정 인스탄톤(bundle)이 존재한다.
• 최소 인스탄톤(bundle)(최소 $c_2$를 가진 경우)는 산술적으로 코헨-맥컬레이(аCM)이며, 그들의 모듈리 공간은 명시적으로 묘사된다.
• 인스탄톤(bundle)의 모듈리 공간은 모나드 데이터로 매개변수화된 특징 있는 성분을 포함하며, 이 성분은 기껏해야 기하학적으로 연결되어 있고 일반적으로 매끄럽다.
• 저자들은 $\mathbb{P}^1 \times \mathbb{F}_1$ 상의 최소 인스탄톤(bundle)이 $\mathcal{O}_F(2\xi)$로 틀어짐을 거친 후 약한 윤리드 성질을 만족하며, 이 성질이 모나드 구성 과정에서 유지됨을 보였다.
• 논문은 $i_X = 1$일 때 모든 약한 윤리드(bundle)가 인스탄톤(bundle)의 틀어짐으로서 유도되지 않음을 확인하며, 일반적으로 역방향은 성립하지 않음을 보였다.