[논문 리뷰] Deformation theory and Lie algebra homology

Vladimir Hinich, Vadim Schechtman|ArXiv.org|1994. 05. 25.

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

한 줄 요약

이 논문은 매끄러운 변형 공간을 가정할 때, 연속적 쌍대공간 $ R_i^* $ 과 유니버설 형식적 변형 환의 0차 리 호모로지 사이에 표준적 동형사상이 존재함을 증명한다. 이는 유한소 자동사상의 층 $ \frak{A}_i $ 와 관련된 dg 리 대수의 구조를 통해 코다이라-스펜서 동형사상을 고차 변형으로 일반화한 것으로, 변형 환 $ R_i $ 의 완전한 기술을 리 호모로지 이론을 통해 제공한다. 이는 톰-설리반-퀴렌 형식론을 통한 dg 리 대수 모델링을 활용한다.

ABSTRACT

A description of a ring of functions on the base of a universal formal deformation for several moduli problems is given. The answer is given in terms of a homology group of a certain dg Lie algebra canonically (up to an essentially unique quasi-isomorphism) associated with a problem.

연구 동기 및 목표

• 매끄러운 스킴 $ X $, $ G $-터소르 $ P $, 또는 쌍 $ (X,P) $ 의 유니버설 형식적 변형 환 $ R_i $ 를, 변형 공간이 매끄러울 경우 리 호모로지의 언어로 기술하는 것.
• 유한소 자동사상의 층 $ \frak{A}_i $ 의 dg 리 대수 모델을 사용하여 고전적 코다이라-스펜서 동형사상을 고차 접선 공간으로 일반화하는 것.
• 변형 환의 연속적 쌍대공간 $ R_i^* $ 과 리 호모로지의 0차 항 $ H^{\text{Lie}}_0(R\Gamma^{\text{Lie}}(X,\frak{A}_i)) $ 사이에 표준적 동형사상을 구축하여, 고전적 변형이론 프레임워크를 확장하는 것.
• 왜곡된 포함 대수와 dg 리 대수의 연결 사상들을 통한 고차 코다이라-스펜서 맵을 활용한 호모로지적 프레임워크를 개발하는 것.

제안 방법

• 유한소 리 대수 층 $ \frak{g} $ 의 체하 복합체에 대해 일반화된 톰-설리반 구성법을 사용하여, $ R\Gamma^{\text{Lie}}(X,\frak{g}) $ 라는 미분가환 리 대수를 구성하고, 이가 체하 복합체와 준동형사상이 되도록 보장한다.
• 이 복합체 $ R\Gamma^{\text{Lie}}(X,\frak{g}) $ 에 쿠이렌의 함자 $ C $ 를 적용하여, 그 호모로지가 리 호모로지 $ H^{\text{Lie}}_i(R\Gamma^{\text{Lie}}(X,\frak{g})) $ 를 주는 필터링이 부여된 복합체를 얻는다.
• dg 리 대수 확장의 콘의 연속적 사상으로서, 체바레브 복합체로 가는 표준적 연결 사상을 정의하여 고차 코다이라-스펜서 맵의 구축을 가능하게 한다.
• 매끄러운 $ S $ 에 대해 $ \cal{D}\mbox{iff}_S $ 와 같은 리 앨베로이드의 왜곡된 포함 대수를 고차 KS 맵의 근원으로 사용한다.
• 변형 공간의 닫힌 점에서의 기하적 기저 변경과 국소 분석을 통해, $ R_i^* \xrightarrow{\sim} H^{\text{Lie}}_0(R\Gamma^{\text{Lie}}(X,\frak{A}_i)) $ 라는 표준적 동형사상을 수립한다.
• 그리고 그 유도된 동형사상들이 그레디에이션 몫에 대해 고전적 코다이라-스펜서 맵을 부호를 제외하고 복원함으로써, 고전적 변형이론과의 일致성을 확인한다.

실험 결과

연구 질문

• RQ1 변형 공간이 매끄러울 경우, 유니버설 형식적 변형 환 $ R_i $ 는 어떻게 대수적으로 기술할 수 있는가?
• RQ2 리 호모로지의 역할은 접선 공간을 넘어서는 고차 변형 데이터를 어떻게 코딩하는가?
• RQ3 고전적 코다이라-스펜서 동형사상은 어떻게 dg 리 대수 모델을 통해 고차 항으로 일반화할 수 있는가?
• RQ4 고차 코다이라-스펜서 맵은 어떻게 dg 리 대수의 확장과 연결 사상으로부터 유도되는가?
• RQ5 연속적 쌍대공간 $ R_i^* $ 와 유한소 자동사상의 층의 리 호모로지 사이의 정확한 관계는 무엇인가?

주요 결과

• 연속적 쌍대공간 $ R_i^* $ 는 0차 리 호모로지 $ H^{\text{Lie}}_0(R\Gamma^{\text{Lie}}(X,\frak{A}_i)) $ 와 표준적 동형사상이 존재하며, 이는 $ R_i $ 의 완전한 대수적 기술을 제공한다.
• 동형사상 $ \kappa: R_i^* \xrightarrow{\sim} H^{\text{Lie}}_0(R\Gamma^{\text{Lie}}(X,\frak{A}_i)) $ 는 리 호모로지의 필터링과 호환되며, 그레디에이션 몫에 대해 동형사상을 유도한다.
• 그레디에이션 몫에 대한 유도된 동형사상 $ \operatorname{gr}^n(R_i) \cong S^n(H^1(X,\frak{A}_i)) $ 는 $ (-1)^n \kappa^1 $ 과 일치하며, 고전적 코다이라-스펜서 맵을 복원한다.
• 선택한 아핀 커버링의 영향 없이 정의되며, 톰-설리반-퀴렌 형식론을 통해 준동형사상에 대한 불변성을 갖는 표준적 객체를 정의한다.
• 이 결과는 $ X $, $ (X,P) $, 그리고 $ X $ 를 고정한 상태에서 $ P $ 의 변형 문제에 대해 모두 성립하며, 조건 $ H^0(X,\frak{A}_i) = 0 $ 이 성립할 경우에 한하여 성립한다.
• 증명은 $ \mathfrak{S}_i $ 의 매끄러움으로부터 유도되며, 이는 $ R_i \cong k[[T_1,\dots,T_n]] $ 를 암시하고, 고차 KS 맵 $ \kappa $ 가 닫힌 점에서의 기하적 피브어로 제한될 경우 동형사상이 된다는 사실에 의존한다.