[논문 리뷰] Moduli spaces of rank two aCM bundles on the Segre product of three projective lines

Gianfranco Casnati, Daniele Faenzi외 1명|arXiv (Cornell University)|2014. 04. 04.

Algebraic Geometry and Number Theory참고 문헌 32인용 수 10

한 줄 요약

이 논문은 $ℝ^7$에 포함된 세그레 3차곡선 $F = \mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 상의 랭크 2 아리트메틱 코hen-맥컬레이(aCM) 복합체의 모듈리 공간을 연구한다. 2차 곡면 절단 $Q \subset F$의 기하학과 $Q$ 상의 안정 복합체의 제약을 이용하여, $Q$ 상의 $\mu$-안정 랭크 2 복합체의 모듈리 공간에서 $F$ 상의 한 성분으로의 비라티오널 사상이 구축되며, 이는 해당 모듈리 공간의 유리성과 $\mathbb{P}^3$ 상의 인스턴턴에서 유래하지 않는 새로운 유르히치 복합체의 예를 제시한다. 주요 결과는 특정 채르니 클래스 선택에 대한 모듈리 공간의 유리성이다.

ABSTRACT

Let P^n be the projective space of dimension n on an algebraically closed field of characteristic 0 and F be the image of the Segre embedding of P^1xP^1xP^1 inside P^7. In the present paper we deal with the moduli spaces of locally free sheaves E on F of rank 2 with h^i(F,E(t))=0 for i=1,2 and each integer t.

연구 동기 및 목표

• 세그레 3차곡선 $F = \mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1 \subset \mathbb{P}^7$ 상의 랭크 2 국소 자유 층의 모듈리 공간을 연구하며, 이는 중간 코homology가 없는 aCM 복합체이다.
• 특히 2차 곡면 절단 $Q \subset F$ 상의 제약을 이용한 기하적 방법을 통해 이러한 복합체를 분류하고 구성한다.
• 첫 번째 채르니 클래스 $c_1 = 2h$와 두 번째 채르니 클래스 $c_2 = 2h_2h_3 + 2h_1h_3 + 4h_1h_2$에 대한 특정 선택에 대해 모듈리 공간의 구조, 차원, 그리고 유리성을 규명한다.
• 표준 인스턴턴 가족 이외의 새로운 유르히치 복합체의 예를 $F$ 상에서 구성한다. 이는 $\mathbb{P}^3$ 상의 노울 코어레이션 복합체의 제약으로부터 유래하지 않는다.

제안 방법

• 저자들은 $Q \subset F$ 상의 $\mu$-안정 랭크 2 복합체의 모듈리 공간에서 $F$ 상의 반안정 aCM 복합체의 모듈리 공간으로의 제약 사상을 사용하며, $\sigma: Q \to F$ 의 존재를 이용해 이 사상의 단사성을 증명한다.
• 사상 $e: \mathcal{M}_Q^{\mu s}(0,2) \to \mathcal{M}_F^{ss,U}(2; 2h, 2h_2h_3 + 2h_1h_3 + 4h_1h_2)$ 를 구성하며, 이는 비라티오널이자 전방임을 증명한다.
• Q 상에서 리만-뢰흐와 세르 쌍대성을 이용해 제약된 복합체의 코homology 군을 계산하고, F 상에서 중간 코homology의 소멸을 증명함으로써 aCM 조건을 확인한다.
• 모듈리 공간의 일반 복합체에 대한 모나드 분해를 분석한다: $0 \to \mathcal{O}_F(-h_1 - h_2) \to \mathcal{O}_F^{\oplus 4} \to \mathcal{O}_F(h_1 + h_2) \to 0$, 이로부터 $\mathcal{E}(-h)$ 가 이 복합체의 호모로지로 나타남을 보인다.
• 사상 $e$ 가 비라티오널 동치임을 이용해, $\mathcal{M}_Q^{\mu s}(0,2)$ 의 알려진 유리성으로부터 $F$ 상의 모듈리 공간의 유리성을 도출한다.
• 특정한 $\mathbb{P}^3$ 에서의 제약에 속하지 않는 $Q$ 상의 안정 복합체를 이용하여, $F$ 상의 인스턴턴에서 유래하지 않는 명시적 유르히치 복합체의 예를 구성한다.

실험 결과

연구 질문

• RQ1 세그레 3차곡선 $F = \mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 상의 랭크 2 aCM 복합체의 모듈리 공간의 구조는 어떻게 되는가?
• RQ2 특정 채르니 클래스에 대해 이러한 복합체의 모듈리 공간이 유리함을 입증할 수 있는가?
• RQ3 $\mathbb{P}^3$ 상의 노울 코어레이션 복합체의 제약으로부터 유래하지 않는 $F$ 상의 유르히치 복합체가 존재하는가?
• RQ4 $F$ 상의 2차 곡면 절단 $Q \subset F$ 상의 안정 복합체의 제약은 $F$ 상의 aCM 복합체의 모듈리 공간과 어떻게 관련이 있는가?
• RQ5 $c_1 = 2h$ 및 $c_2 = 2h_2h_3 + 2h_1h_3 + 4h_1h_2$ 에 대해 모듈리 공간의 차원과 기하적 성질은 무엇인가?

주요 결과

• 모듈리 공간 $\mathcal{M}_F^{ss,U}(2; 2h, 2h_2h_3 + 2h_1h_3 + 4h_1h_2)$ 는 $\mathcal{M}_Q^{\mu s}(0,2)$ 와 비라티오널이므로, 이는 이미 알려진 유리 공간임을 고려해 유리적이다.
• 사상 $e: \mathcal{M}_Q^{\mu s}(0,2) \to \mathcal{M}_F^{ss,U}(2; 2h, 2h_2h_3 + 2h_1h_3 + 4h_1h_2)$ 는 단사적이며 전방이며, 두 공간의 차원이 모두 5이므로 비라티오널이다.
• 모듈리 공간의 일반 복합체 $\mathcal{E}$ 는 $\mathcal{E}(-h) \cong \operatorname{Homology}\left(0 \to \mathcal{O}_F(-h_1 - h_2) \to \mathcal{O}_F^{\oplus 4} \to \mathcal{O}_F(h_1 + h_2) \to 0\right)$ 를 만족하며, 이는 모나드 분해를 제공한다.
• 채르니 클래스 $c_1 = 2h$ 및 $c_2 = 2h_2h_3 + 2h_1h_3 + 4h_1h_2$ 를 가진 $F$ 상의 유르히치 복합체가 존재하며, 이는 $\mathbb{P}^3$ 상의 노울 코어레이션 복합체의 제약으로부터 유래하지 않는다. 이는 표준 인스턴턴 가족 이외의 새로운 구성 방법을 보여준다.
• 제약된 복합체의 중간 코homology 가 $F$ 상에서 소멸함을 증명하였으며, 이는 Q 상에서의 세르 쌍대성과 리만-뢰흐 공식을 이용한 코homological 계산을 통해 확인된다.
• 모듈리 공간은 기약적이며 차원이 5이며, 피카르 수가 3인 델 페초 3차곡선에 대한 알려진 결과와 일치한다.