[논문 리뷰] On the deformation theory of pair (X, E)

Si Li|ArXiv.org|2008. 09. 02.

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

한 줄 요약

이 논문은 $X$가 매끄럽고 사영인 스킴이고 $E$가 흑색 복합체인 쌍 $(X, E)$에 대한 절대 변형-장애 이론을 개발한다. 이는 Illusie의 Atiyah 클래스와 Huybrechts 및 Thomas의 상대 장애 이론을 사용한다. 주요 기여는 $E$, 쌍 $(X,E)$, $X$의 변형 이론이 극한 범주 내의 정확한 삼각형을 통해 유도된 장애 이론으로 연결되어 장기 정확한 수열을 이룬다는 것을 보여주는 것이다. 이는 벡터 번들의 경우 알려진 결과를 일반화한다.

ABSTRACT

Huybrechts and Thomas recently constructed relative obstruction theory of objects of the derived category of coherent sheaves over smooth projective family. In this paper, we use this construction to obtain the absolute deformation-obstruction theory of the pair (X, E), with X smooth projective scheme and E perfect complex, and show that the obstruction theories for E, (X,E), and X fit into exact triangle as derived objects on the moduli space.

연구 동기 및 목표

• 쌍 $(X, E)$에 대한 절대 변형-장애 이론을 구축하는 것. 여기서 $X$는 매끄럽고 사영인 스킴이며, $E$는 흑색 복합체이다.
• Illusie의 Atiyah 클래스를 통해 Huybrechts와 Thomas의 상대 장애 이론을 절대 경우로 확장하는 것.
• 유도 범주에서의 정확한 삼각형을 통해 $E$, 쌍 $(X,E)$, $X$의 변형 이론이 어떻게 관련되어 있는지 보여주는 것.
• 첫 번째 순서 미분 연산자로 표현된 복합체 $G$를 명시적으로 기술함으로써, 벡터 번들의 경우 알려진 결과를 회복하는 것.

제안 방법

• Illusie의 Atiyah 클래스 $A(E) \in \mathrm{Ext}^1_X(E, E \otimes L^\bullet_X)$를 사용하여 극한 범주에서 $R\mathcal{H}om(E,E)[-1] \to \Omega_X$의 사상 정의하기.
• 이 사상의 사영 콘 $G$를 구성하여 쌍 $(X,E)$의 변형 이론을 제어하기.
• $(X,E)$의 변형의 온전한 공간을 $\mathrm{Ext}^1_X(G, \mathcal{O}_X)$로 식별하고, 장애 공간을 $\mathrm{Ext}^2_X(G, \mathcal{O}_X)$로 식별하기.
• 정확한 삼각형 $R\mathcal{H}om(E,E)[-1] \to \Omega_X \to G \to R\mathcal{H}om(E,E)$를 수립하여, $E$, $(X,E)$, $X$의 변형 함수들을 연결하는 장기 정확한 수열을 유도하기.
• 만약 $E$가 벡터 번들이라면, $G$가 첫 번째 순서 미분 연산자의 층 $D(E)$와 준동형임을 보여주어 고전 결과를 복원하기.
• Verdier 쌍대성과 유도된 푸시포워드를 사용하여 장애 이론을 상대 모듈리 공간과 연결하고, 일반 가족을 통해 구성의 타당성을 검증하기.

실험 결과

연구 질문

• RQ1 만약 $X$가 매끄럽고 사영이며 $E$가 흑색 복합체라면, 쌍 $(X, E)$의 절대 변형 이론은 어떻게 구성할 수 있는가?
• RQ2 유도 범주론적으로 $E$, 쌍 $(X,E)$, $X$의 변형 이론 간의 정확한 관계는 무엇인가?
• RQ3 Huybrechts와 Thomas의 상대 장애 이론은 쌍 $(X,E)$에 대한 절대 장애 이론을 도출하기 위해 어떻게 확장될 수 있는가?
• RQ4 왜 $E$의 Atiyah 클래스는 쌍 $(X,E)$를 변형하는 데 장애를 어떻게 캡슐화하는가?
• RQ5 유도 정확한 삼각형 구성은 고전적인 결과를 복원하는가? 예를 들어, 온전한 공간이 $H^1(X, D(E))$임을 보장하는가?

주요 결과

• 쌍 $(X,E)$의 변형 이론은 Atiyah 클래스 사상 $R\mathcal{H}om(E,E)[-1] \to \Omega_X$의 유도 사영 콘 $G$에 의해 지배되며, 온전한 공간은 $\mathrm{Ext}^1_X(G, \mathcal{O}_X)$이고, 장애 공간은 $\mathrm{Ext}^2_X(G, \mathcal{O}_X)$이다.
• 정확한 삼각형 $R\mathcal{H}om(E,E)[-1] \to \Omega_X \to G \to R\mathcal{H}om(E,E)$는 $E$, $(X,E)$, $X$의 변형 함수들을 연결하는 장기 정확한 수열을 유도한다.
• 만약 $E$가 벡터 번들이라면, 복합체 $G$는 첫 번째 순서 미분 연산자 층 $D(E)$와 준동형이므로, 온전한 공간은 $H^1(X, D(E))$이고, 장애 공간은 $H^2(X, D(E))$이며, 고전 결과를 복원한다.
• 이 구성은 Huybrechts와 Thomas의 상대 장애 이론을 절대 경우로 일반화하여, 쌍 $(X,E)$의 모듈리 공간에 대한 표준적인 절대 장애 이론을 제공한다.
• $Def_E \to Def_{(X,E)} \to Def_X$의 변형 함수들은 유도 범주 내의 정확한 삼각형의 구조를 반영하는 장기 정확한 수열을 유도한다.
• 이 방법은 흑색 복합체 전반에 걸쳐 일관되며, 벡터 번들의 경우 알려진 결과를 복원하므로, 이 틀이 강력하고 일반적임을 보여준다.