[논문 리뷰] Deformations of compact holomorphic Poisson manifolds and algebraic Poisson schemes

Chunghoon Kim|arXiv (Cornell University)|2014. 03. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 5

한 줄 요약

이 학위논문은 코다이라-스펜서와 그로텐디크의 변형 이론 프레임워크를 확장하여 컴팩트한 헬름홀로픽 파울슨 다양체와 대수적 파울슨 스킴에 대한 변형 이론을 개발한다. 파울슨 구조를 포함하도록 확장된 이론을 통해, 파울슨 해석적 가족을 도입하고, 절단된 헬름홀로픽 파울슨 코homology와 파울슨 코다이라-스펜서 사상(맵)을 사용하여 무한소 변형을 연구하며, 파울슨 변형을 제어하는 미분가환 리 대수를 구성한다. 주요 결과로는 $HP^1(X,\Lambda_0) = 0$일 때 유니버설 파울슨 변형의 존재성이 입증된다.

ABSTRACT

In this thesis, we study deformations of compact holomorphic Poisson manifolds and algebraic Poisson schemes in the framework of Kodaira-Spencer's analytic deformation theory and Grothendieck's algebraic deformation theory.

연구 동기 및 목표

• 코다이라-스펜서의 해석적 변형 이론을 파울슨 구조를 포함하도록 확장하여 컴팩트한 헬름홀로픽 파울슨 다양체에 대한 변형 이론을 개발한다.
• 절단된 헬름홀로픽 파울슨 코homology를 사용하고 파울슨 코다이라-스펜서 맵을 정의하여 무한소 파울슨 변형의 프레임워크를 수립한다.
• 지역 아르틴ian $\mathbb{C}$-대수에서의 무한소 파울슨 변형을 제어하는 미분가환 리 대수(dgLa)를 구성한다.
• 첫 번째 파울슨 코hom로지가 0이 되는 조건($HP^1(X,\Lambda_0) = 0$)을 만족할 때 유니버설 파울슨 변형의 존재성을 증명한다.
• 알고리즘적으로 닫힌 체 $k$에 대한 지역 아르틴ian $k$-대수에서 대수적 파울슨 스킴의 변형 이론을 확장하고, 파울슨 변형 함자 $PDef_{(X,\Lambda_0)}$를 정의한다.

제안 방법

• 코다이라-스펜서의 복소 해석적 가족의 일반화로서, 변형 가족 내에 파울슨 구조를 포함하는 파울슨 해석적 가족을 정의한다.
• 절단된 헬름홀로픽 파울슨 코homology를 사용하여 헬름홀로픽 파울슨 다양체의 무한소 변형을 분석한다.
• 변형 매개변수와 파울슨 이중벡터장의 변화 간의 관계를 설명하기 위해 파울슨 코다이라-스펜서 맵을 도입한다.
• 지역 아르틴ian $\mathbb{C}$-대수에서 잔여체가 $\mathbb{C}$인 컴팩트한 헬름홀로픽 파울슨 다양체의 무한소 파울슨 변형을 제어하는 미분가환 리 대수(dgLa)를 구성한다.
• 파울슨 $k$-대수 준동형과 $B$-모듈에 대해 파울슨 접선 복합체와 $PT^i(B/A,M)$를 정의하여 대수적 파울슨 변형을 연구한다.
• 슐레싱거 기준과 파울슨 접선 복합체를 적용하여 대수적 환경에서의 파울슨 변형 함자 $PDef_{(X,\Lambda_0)}$를 분석한다.

실험 결과

연구 질문

• RQ1 표준적인 복소 구조 변형을 넘어서, 컴팩트한 헬름홀로픽 파울슨 다양체의 변형 이론을 어떻게 파울슨 구조를 포함하도록 확장할 수 있는가?
• RQ2 절단된 헬름홀로픽 파울슨 코homology는 무한소 파울슨 변형을 특징짓는 데 어떤 역할을 하는가?
• RQ3 파울슨 코다이라-스펜서 맵은 변형 매개변수와 파울슨 이중벡터장의 변화 사이에 어떤 관계를 맺는가?
• RQ4 어떤 조건이 컴팩트한 헬름홀로픽 파울슨 다양체에 대한 유니버설 파울슨 변형의 존재를 보장하는가?
• RQ5 지역 아르틴ian $k$-대수에서 대수적 환경에서 파울슨 변형 함자 $PDef_{(X,\Lambda_0)}$는 어떻게 구성하고 분석할 수 있는가?

주요 결과

• 파울슨 해석적 가족은 코다이라-스펜서의 해석적 가족의 일반화로서 성공적으로 정의되었으며, 변형 과정에 파울슨 구조를 포함한다.
• 컴팩트한 헬름홀로픽 파울슨 다양체의 무한소 파울슨 변형은 절단된 헬름홀로픽 파울슨 코homology에 의해 제어되며, 파울슨 코다이라-스펜서 맵이 핵심 연결 맵으로 작용한다.
• 파울슨 변형의 적합성 조건은 코homological 프레임워크를 통해 유도되었으며, 이는 변형 과정의 일관성을 보장한다.
• 지역 아르틴ian $\mathbb{C}$-대수에서 잔여체가 $\mathbb{C}$인 경우, 무한소 파울슨 변형을 제어하는 미분가환 리 대수가 구성되었다.
• 컴팩트한 헬름홀로픽 파울슨 다양체 $(X,\Lambda_0)$에 대해 $HP^1(X,\Lambda_0) = 0$일 때 유니버설 파울슨 변형이 존재함을 입증하여 핵심 존재 결과를 확인하였다.
• 대수적 환경에서는 파울슨 변형 함자 $PDef_{(X,\Lambda_0)}$가 잘 정의되었으며, 파울슨 접선 복합체와 $PT^i$ 코homology를 통해 장애이론이 개발되었다.