[논문 리뷰] Deligne groupoid revisited

Paul Bressler, Alexander Gorokhovsky외 2명|arXiv (Cornell University)|2012. 11. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 3

한 줄 요약

이 논문은 차수 ≥ −1에 집중된 노름화된 미분 호모로지 군대(Lie algebra, DGLA)에 관련된 딜레인 2군대의 단순 복합체 신장과 히니치가 도입한 g-값을 가진 미분 형식의 단순 복합체 사이의 호모토피 동치를 확립한다. 이 결과는 이전에 DGLA가 비음성 차수에 집중된 경우에 대해 히니치가 확립한 동치를 일반화하며, 변형 이론적 구조와 미분 형식 사이에 호모토피 이론적 다리를 제공한다. 이는 콘체비치의 형식성 정리를 통한 대수와 게르베의 형식적 변형 이론에 적용 가능하다.

ABSTRACT

We show that for a differential graded Lie algebra $\mathfrak{g}$ whose components vanish in degrees below -1 the nerve of the Deligne 2-groupoid is homotopy equivalent to the simplicial set of $\mathfrak{g}$-valued differential forms introduced by V.Hinich.

연구 동기 및 목표

• 차수 ≥ −1에서의 노름화된 DGLA에 대해 관련된 두 개의 단순 복합체 사이의 호모토피 동치를 확립하는 것: 딜레인 2군대의 신장과 히니치의 단순 복합체 Σ(𝔤).
• 히니치의 이전 결과(비음성 차수에 집중된 DGLA에 대해 유효)를 차수 −1에서 비영인 성분이 존재하는 경우로 확장하는 것.
• 노름화된 𝔪에 대해 DGLA 𝔤⊗𝔪의 딜레인 2군대가 L∞- quasi-isomorphism을 통해 Σ(𝔤⊗𝔪)의 호모토피 유형으로부터 등가성까지 재구성될 수 있음을 보여주는 것.
• 특히 콘체비치의 형식성 정리의 맥락에서, 결합 대수와 대수적 스택의 형식적 변형 이론을 위한 호모토피 이론적 프레임워크를 제공하는 것.

제안 방법

• 증명은 Σ(𝔤)와 𝔑MC²(𝔤)를 모두 제3의 중간 단순 복합체로의 자연스러운 호모토피 동치를 구성함으로써, 이 둘 사이의 상호 호모토피 동치를 확립한다.
• 2군대의 단순 복합체 신장과 호모토피 일관성 신장의 구성 방법을 사용하여 고차 범주적 구조를 단순 복합체로 모델링한다.
• 핵심 기술적 단계는 각 n에 대해 포함사상 [0] → [n]과 0에서의 평가를 통해 유도된 DGLA의 quasi-isomorphism을 통해, MC²(𝔤) → MC²(Ωₙ⊗𝔤)의 함자에서 2군대의 동치가 성립한다는 것을 보이는 것이다.
• DGLA (Ωₙ⊗𝔤, d+δ)가 평가 사상 ev₀를 통해 (𝔤, δ)와 quasi-isomorphic이며, 이는 차수 −1과 0에서 관련된 코homology 군에 대해 동형을 유도한다는 사실을 활용한다.
• Maurer–Cartan 원소 μ의 자동사상 군이 exp(𝔨⁻¹)가 ker(δ_μ⁻¹) 위에 작용하는 것으로 표현되며, 이 작용이 quasi-isomorphism 하에 유지된다는 것을 보여준다.
• Duskin의 신장 이론과 호모토피 일관성 신장 이론의 결과를 적용하며, DGLA의 quasi-isomorphism이 그에 대응하는 MC²-군대에 대해 동치를 유도한다는 사실을 사용한다.

실험 결과

연구 질문

• RQ1 DGLA 𝔤의 성분이 −1 이하 차수에서 0이 되는 경우, 딜레인 2군대의 단순 복합체 신장과 히니치의 단순 복합체 Σ(𝔤) 사이의 호모토피 동치가 성립하는가?
• RQ2 Σ(𝔤)와 𝔑MC²(𝔤) 사이의 호모토피 동치는 DGLA가 비음성 차수에 집중된 경우를 초월하여 성립하는가?
• RQ3 체 k 위의 대수 A에 대해, 노름화된 k-대수 𝔪에 의해 왜곡된 변형 2군대는 Σ(𝔤(A)⊗𝔪)의 호모토플 유형으로부터 등가성까지 복원 가능한가?
• RQ4 L∞-quasi-isomorphism은 Σ(𝔤)와 MC²(𝔤)의 신장 구조와 어떻게 상호작용하는가?
• RQ5 단순 DGLA Ωₙ⊗𝔤는 MC²(𝔤)와 Σ(𝔤)의 호모토플 유형을 연결하는 데 어떤 역할을 하는가?

주요 결과

• 모든 노름화된 DGLA 𝔤에 대해, 𝔤ⁱ = 0 (i < −1)일 때, 단순 복합체 𝔑MC²(𝔤)와 Σ(𝔤)는 호모토피 동치이다.
• 각 n에 대해, 함자 MC²(𝔤) → MC²(Ωₙ⊗𝔤)는 포함사상 [0] → [n]을 통해 유도된 DGLA의 quasi-isomorphism (𝔤, δ) → (Ωₙ⊗𝔤, d+δ)에 의해 2군대의 동치이다.
• 평가 사상 ev₀: Ωₙ⊗𝔤 → 𝔤는 DGLA의 quasi-isomorphism이며, 그 역은 포함사상으로 주어지며, 이는 차수 −1과 0에서 관련 코homology 군에 대해 동형을 유도한다.
• MC²(𝔤)의 Maurer–Cartan 원소 μ의 자동사상 군은 exp(𝔨⁻¹)가 ker(δ_μ⁻¹) 위에 작용하는 것으로 표현되며, 이 구조는 quasi-isomorphism 하에 유지된다.
• 호모토플 카테고리(등가류의 집합)에 유도된 사상은 전단사이며, 자동사상 군대에 유도된 사상은 동치이다.
• 결과적으로, 체 k 위의 대수 A에 대해 노름화된 k-대수 𝔪에 의해 왜곡된 변형 2군대가, 𝔤가 𝔤(A)⊗𝔪와 L∞-대역동치일 경우, Σ(𝔤⊗𝔪)와 호모토피 동치임을 시사한다.