[논문 리뷰] Deformation-obstruction theory for complexes via Atiyah and Kodaira--Spencer classes

Daniel Huybrechts, Richard Thomas|arXiv (Cornell University)|2008. 05. 22.

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

한 줄 요약

이 논문은 매끄럽고 프로젝티브인 가닥에 대한 완전 복합체에 대한 일반적인 변형-장애 이론을 절단된 Atiyah 및 Kodaira–Spencer 클래스를 사용하여 수립한다. 이는 복합체를 변형할 수 있는 장애 클래스가 이러한 클래스의 곱임을 증명하며, 3차원 다양체 위의 단순 복합체 모듈리 공간에 변형에 관계없이 불변하는 가상 사이클을 구성할 수 있게 한다.

ABSTRACT

We give a universal approach to the deformation-obstruction theory of objects of the derived category of coherent sheaves over a smooth projective family. We recover and generalise the obstruction class of Lowen and Lieblich, and prove that it is a product of Atiyah and Kodaira--Spencer classes. This allows us to obtain deformation-invariant virtual cycles on moduli spaces of objects of the derived category on threefolds.

연구 동기 및 목표

• 매끄럽고 프로젝티브인 가닥 위의 코herent sheaf 유도 범주 객체에 대한 변형 이론의 일반적 프레임워크를 제공하는 것.
• Lowen 및 Lieblich의 기존 장애 이론을 일반화하고 통합하기 위해, 장애를 Atiyah 및 Kodaira–Spencer 클래스의 곱으로 식별하는 것.
• 3차원 다양체 위의 단순 복합체 모듈리 공간에 변형에 관계없이 불변하는 가상 사이클을 구성함으로써, 수량 기하학을 위한 기초 작업을 완성하는 것.
• 매끄러운 임베딩에 의존하지 않도록 하기 위해, 절단된 코 tangent 복합체를 통해 장애 이론이 일반적으로 작동함을 보이는 것.
• 매끄러운 환경 공간에 대한 임베딩에 기반한 원시적인 구성 방법을 사용하여, 고전적 변형 이론을 유도 범주로 확장하는 것.

제안 방법

• 스킴 $ X $ 위의 완전 복합체 $ E $ 에 대해, 임베딩 $ X \subset A $ 에 대한 절단된 cotangent 복합체 $ \mathbb{L}_X = (J/J^2 \to \Omega_A|_X) $ 를 사용하여 $ A(E) \in \operatorname{Ext}^1_X(E, E \otimes \mathbb{L}_X) $ 라는 절단된 Atiyah 클래스를 정의한다.
• 이deal $ I $ 를 가진 square-zero 두르개 두르개 $ X_0 \subset X $ 에 대해, $ \kappa(X_0/X) \in \operatorname{Ext}^1_{X_0}(\mathbb{L}_{X_0}, I) $ 라는 절단된 Kodaira–Spencer 클래스를 도입한다.
• 완전 복합체 $ E_0 $ 가 $ X_0 $ 위에서 변형 가능한지 여부의 장애는 $ \operatorname{Ext}^2_{X_0}(E_0, E_0 \otimes I) $ 에서 Yoneda 곱 $ A(E_0) \cup \kappa(X_0/X) $ 로 주어진다는 것을 증명한다.
• 아핀 기저 위에서 Leray 스펙트럴 시퀀스의 붕괴를 이용하여, 하이퍼코homology 군을 표준적인 Ext 군과 동일시함으로써, 장애가 $ \operatorname{Ext}^2 $ 에 놓여 있음을 보장한다.
• 매끄러운 임베딩을 초월하여 Illusie의 전체 cotangent 복합체 $ L^\bullet_{{\cal M}/B} $ 를 사용한 후 $ \tau^{\geq -1} $ 으로 절단함으로써, 동일한 장애 사상이 복구됨을 보인다.
• 전역 모듈리 공간이 매끄럽게 임베딩 가능하지 않더라도, 모듈리 공간의 아핀 열린 부분집합에서 장애 이론이 여전히 유효하다는 것을 검증한다.

실험 결과

연구 질문

• RQ1 복합체의 변형 이론에서 장애 클래스는 Atiyah 및 Kodaira–Spencer 클래스의 어떤 형태로 일반적으로 표현될 수 있는가?
• RQ2 Square-zero 두르개 두르개 위에서 완전 복합체를 변형할 수 있는 장애는 Atiyah 및 Kodaira–Spencer 클래스의 곱으로 식별될 수 있는가?
• RQ3 언제 장애 이론이 3차원 다양체 위의 복합체 모듈리 공간에 변형에 관계없이 불변하는 가상 사이클을 도출하는가?
• RQ4 모듈리 공간이 매끄러운 환경 공간에 매끄럽게 임베딩 가능하지 않은 경우에도 장애 이론을 구성할 수 있는가?
• RQ5 절단된 cotangent 복합체, Atiyah 클래스, Kodaira–Spencer 클래스의 형태는 Illusie의 전체 유도 구조와 어떻게 관련이 있는가?

주요 결과

• Square-zero 두르개 두르개 $ X_0 \subset X $ 위에서 완전 복합체 $ E_0 $ 를 변형할 수 있는 장애 클래스는 절단된 Atiyah 클래스 $ A(E_0) $ 와 Kodaira–Spencer 클래스 $ \kappa(X_0/X) $ 의 Yoneda 곱으로 주어지며, $ \operatorname{Ext}^2_{X_0}(E_0, E_0 \otimes I) $ 에 속한다.
• 이 장애 클래스는 Lowen 및 Lieblich의 장애 클래스를 복원하고 일반화하며, 실제로 Atiyah 및 Kodaira–Spencer 클래스의 곱임을 확인한다.
• 모듈리 공간 $ \mathcal{M} $ 가 매끄럽게 임베딩 가능하지 않더라도, 전체 cotangent 복합체를 사용하고 $ \tau^{\geq -1} $ 으로 절단함으로써 장애 이론이 유효하다.
• 이 구성은 3차원 다양체 위의 단순 복합체 모듈리 공간에 변형에 관계없이 불변하는 가상 사이클을 도출하며, 수량 기하학의 응용을 위해 필수적이다.
• 장애 이론은 모듈리 공간의 아핀 열린 부분집합으로 제대로 제약을 받으며, 이는 이론이 국소적이며 일반적인 설정에 적용 가능함을 보장한다.
• 절단된 복합체의 사용은 dg 또는 단순 복합체 해상의 필요성을 피함으로써, 프레임워크를 간단하고 계산적으로 접근 가능하게 유지한다.