[논문 리뷰] Extension groups of tautological sheaves on Hilbert schemes

Andreas Krug|arXiv (Cornell University)|2011. 11. 18.

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

한 줄 요약

이 논문은 브리지랜드–킹–레어 등가와 L. 스크라의 결과를 이용하여, 매끄럽고 준사영인 표면의 점들에 대한 힐베르트 스킴 위에서 타우토로지컬 층과 왜곡된 타우토로지컬 대상 간의 확장 군에 대한 명시적 공식을 제공한다. 핵심 기여는 이러한 확장 군을 표면 상의 Ext 군과 선다발 간의 Ext 군의 대칭 멱를 포함하는 텐서 곱의 직합으로 표현하는 자연스러운 동형사상이다.

ABSTRACT

We give formulas for the extension groups between tautological sheaves and more general between tautological objects twisted by a determinant line bundle on the Hilbert scheme of points on a smooth quasi-projective surface. We do this using L. Scala's results about the image of tautological sheaves under the Bridgeland-King-Reid equivalence. We also compute the Yoneda products in terms of these formulas.

연구 동기 및 목표

• 매끄럽고 준사영인 표면의 점들에 대한 힐베르트 스킴 위에서 타우토로지컬 층과 왜곡된 타우토로지컬 대상 간의 확장 군을 계산하기.
• 이러한 확장 군을 원래 표면과 그 선다발의 불변량으로 표현하기.
• 힐베르트 스킴의 도파일 카테고리에서의 요네다 곱의 구조를 규명하기.
• 표면의 자명한 캐논리컬 번들 조건이 성립할 경우, 도파일 카테고리 내에서 구면 또는 $\mathbb{P}^n$-대상이 존재하지 않음을 연구하기.

제안 방법

• 힐베르트 스킴의 도파일 카테고리와 표면의 $n$중 곱의 등변 도파일 카테고리 사이의 브리지랜드–킹–레어 등가를 활용하여 관계를 설정한다.
• 타우토로지컬 층의 이미지에 대한 L. 스크라의 결과를 적용하여 Ext 군을 계산한다.
• 표면의 $\mathfrak{S}_n$-클러스터의 보편 가족을 이용해 푸리에-무카이 변환을 통해 타우토로지컬 대상을 정의한다.
• 확장 군의 분해를 $\operatorname{Ext}^*(E^\bullet \otimes L, F^\bullet \otimes M)$과 $\operatorname{Ext}^*(L,M)$의 대칭 멱를 포함하는 직합 형태로 유도한다.
• 힐베르트 스킴의 도파일 카테고리에서의 요네다 곱을 계산하기 위해 $n$중 곱 위에서의 Ext 군의 텐서 곱의 $\mathfrak{S}_n$-불변 원소를 분석한다.
• 군 작용의 대칭성과 순열에 대한 조합적 합을 이용하여 요네다 곱의 구성 요소를 식별한다.

실험 결과

연구 질문

• RQ1 표면 $X$의 유한 복합체 $E^\bullet, F^\bullet$와 선다발 $L,M$에 대해 $\operatorname{Ext}^*((E^\bullet)^{[n]} \otimes \mathcal{D}_L, (F^\bullet)^{[n]} \otimes \mathcal{D}_M)$의 구조는 어떻게 되는가?
• RQ2 힐베르트 스킴의 도파일 카테고리에서의 요네다 곱은 표면의 자료로 어떻게 표현될 수 있는가?
• RQ3 왜곡된 타우토로지컬 대상 $(F^\bullet)^{[n]}$이 $X^{[n]}$에서 구면 또는 $\mathbb{P}^n$-대상이 되지 않는 조건은 무엇인가?
• RQ4 타우토로지컬 층 간의 확장 군은 표면의 불변량의 대칭 멱 성분으로 분해될 수 있는가?
• RQ5 힐베르트 스킴의 맥락에서 타우토로지컬 대상의 정확한 이미지는 브리지랜드–킹–레어 등가에 의해 무엇인가?

주요 결과

• 다음과 같은 자연스러운 등급 벡터 공간 동형사상이 존재한다: $\operatorname{Ext}^*((E^\bullet)^{[n]} \otimes \mathcal{D}_L, (F^\bullet)^{[n]} \otimes \mathcal{D}_M) \cong \operatorname{Ext}^*(E^\bullet \otimes L, F^\bullet \otimes M) \otimes S^{n-1}\operatorname{Ext}^*(L,M) \oplus \operatorname{Ext}^*(E^\bullet \otimes L, M) \otimes \operatorname{Ext}^*(L, F^\bullet \otimes M) \otimes S^{n-2}\operatorname{Ext}^*(L,M)$.
• 표면 $X$의 자명한 캐논리컬 번들 조건이 성립할 경우, $X^{[n]}$ 위의 왜곡된 타우토로지컬 대상은 $\operatorname{D}^b(X^{[n]})$에서 결코 구면 또는 $\mathbb{P}^n$-대상이 아니다.
• 공식은 $E^\bullet = F^\bullet$가 선다발이고 $L=M=\mathcal{O}_X$일 경우, 스크라의 알려진 코homology 공식 (1.1)으로 축소되며, $\operatorname{H}^*(X^{[n]}, F^{[n]}) \cong \operatorname{H}^*(F) \otimes S^{n-1}\operatorname{H}^*(\mathcal{O}_X)$를 복원한다.
• 요네다 곱이 분해에서 기대되는 조합과 일치함으로써, 동형사상은 도파일 카테고리의 자연스러운 구조와 호환됨을 검증하였다.