[논문 리뷰] Descent of Deligne groupoids

Vladimir Hinich|ArXiv.org|1996. 06. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 20

한 줄 요약

이 논문은 비음수 차수를 가진 dg 리 대수에 대해 다항식 미분형식 위의 마우러-카르탕 방정식을 통해 칸 단순형식을 부여하는 함자(함자)가 동치류에 대해 총공간 함자와 호모토피 상에서 교환된다는 것을 증명한다. 이는 셰크트만의 추측을 증명하며, 스킴 위의 dg 리 대수의 층에 의해 제어되는 전역 변형 문제들이 유도된 전역 단면에 의해 제어된다는 것을 보여주며, 이는 이전 결과들을 비-스무스 케이스로 일반화한다.

ABSTRACT

To any non-negatively graded dg Lie algebra $g$ over a field $k$ of characteristic zero we assign a functor $Σ_g: art/k o Kan$ from the category of commutative local artinian $k$-algebras with the residue field $k$ to the category of Kan simplicial sets. There is a natural homotopy equivalence between $Σ_g$ and the Deligne groupoid corresponding to $g$. The main result of the paper claims that the functor $Σ$ commutes up to homotopy with the "total space" functors which assign a dg Lie algebra to a cosimplicial dg Lie algebra and a simplicial set to a cosimplicial simplicial set. This proves a conjecture of Schechtman which implies that if a deformation problem is described ``locally'' by a sheaf of dg Lie algebras $g$ on a topological space $X$ then the global deformation problem is described by the homotopy Lie algebra $RΓ(X,g)$.

연구 동기 및 목표

• 셰크트만의 추측을 증명하는 것: 즉, 델리뉴 군족 함자가 총공간 함자와 호모토피 상에서 교환된다는 것.
• 스킴 X 위의 dg 리 대수의 층에 의해 제어되는 전역 변형 문제들이 유도된 전역 단면 $\mathbf{R}\Gamma(X,\mathfrak{g})$에 의해 제어된다는 것을 확립하는 것.
• [HS2]의 정리 8.3을 형식적으로 스무스하지 않은 경우로 일반화하는 것.
• dg 리 대수를 사용하여 형식적 변형 이론에서 내림내림의 호모토피적 프레임워크를 제공하는 것.
• dg 리 대수 $\mathfrak{g}$에 대해 칸 복합체를 부여하는 함자 $\Sigma_{\mathfrak{g}}$가 호모토피 동치인 델리뉴 군족 $\cal C_{\mathfrak{g}}$와 동치라는 것을 보이는 것.

제안 방법

• 널리포텐셜 dg 리 대수 $\mathfrak{g}$의 '내용' $\Sigma(\mathfrak{g})$를 $\Omega_\bullet \otimes \mathfrak{g}$에서의 마우러-카르탕 방정식의 해의 집합으로 정의하며, 이는 칸 단순형식을 이룬다.
• 단순형식 가환 dg 대수 $\Omega_\bullet$를 사용하여 단순형식 dg 리 대수 $\mathfrak{g}_\bullet = \Omega_\bullet \otimes \mathfrak{g}$를 구성한다.
• 자연스러운 사상에 의해 $\Sigma(\mathfrak{g})$가 델리뉴 군족 $\cal C_{\mathfrak{g}}$와 호모토피 동치임을 증명한다.
• 이중단순형식 dg 대수에서의 약한 쌍대성에 대한 기준(보조정리 3.4.8)을 적용하여 총공간 함자가 호모토피 유형을 유지함을 보인다.
• 쿠니히트 공식과 다항식 미분형식의 성질을 사용하여 쌍대성의 약한 성질과 전사성 조건을 검증한다.
• 이중단순형식의 코단순형식 집합에 대한 총공간 함자가 $\Sigma$-함자와 호모토피 상에서 교환된다는 사실을 이용하여 주정리를 증명한다.

실험 결과

연구 질문

• RQ1 dg 리 대수 $\mathfrak{g}$에 대해 칸 단순형식을 부여하는 함자 $\Sigma_{\mathfrak{g}}$는 총공간 함자와 호모토피 상에서 교환되는가?
• RQ2 스킴 X 위의 dg 리 대수의 층 $\mathfrak{g}$에 의해 제어되는 전역 변형 문제는 유도된 전역 단면 $\mathbf{R}\Gamma(X,\mathfrak{g})$로 기술될 수 있는가?
• RQ3 [HS2]의 정리 8.3이 형식적으로 스무스하지 않은 가정 없이도 성립하는가?
• RQ4 커버링 $\{U_i\}$에 대해 $\Gamma(U_i, \mathfrak{g})$에 대응하는 델리뉴 군족은 내림내림 자료의 군족과 동치인가?
• RQ5 dg 리 대수의 내용 $\Sigma(\mathfrak{g})$는 고전적 델리뉴 군족 $\cal C_{\mathfrak{g}}$와 호모토피 동치인가?

주요 결과

• 함자 $\Sigma_{\mathfrak{g}}$는 델리뉴 군족 $\cal C_{\mathfrak{g}}$와 호모토피 동치이며, 이는 변형 함자의 단순형식 모델을 제공한다.
• 주정리는 $\Sigma$가 총공간 함자와 호모토피 상에서 교환된다는 것을 증명하며, 셰크트만의 추측을 증명한다.
• 전역 변형 군족 $F_i$는 자연스럽게 $\mathbf{R}\Gamma^{\operatorname{Lie}}(X,\mathfrak{g}_i)$에 대응하는 델리뉴 군족과 동치이며, 이는 [HS2]의 결과를 비-스무스 케이스로 일반화한다.
• 보조정리 5.2는 $R^* \cong H^\mathrm{Lie}_0(\mathbf{R}\Gamma^{\mathrm{Lie}}(X,\mathfrak{g}_i))$가 형식적 스무스 조건 없이도 성립함을 보여준다.
• 증명은 특정 이중단순형식 dg 대수 간의 사상이 호모토피 이론 기법과 쿠니히트 공식을 통해 약한 쌍대성임을 보여줌으로써 기반을 두고 있다.
• 이 구성은 dg 리 대수를 사용한 변형 문제에 대한 호모토피적 내림내림 이론을 제공하며, 국소적 및 전역적 기술을 통합한다.