[논문 리뷰] Deformation Theory (lecture notes)

M. Doubek, Martin Markl외 1명|ArXiv.org|2007. 05. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 30인용 수 12

한 줄 요약

이 논문은 대수적 구조의 변형을 분류하는 데 있어 메우어-카르탕 방정식의 역할에 초점을 맞춘 변형 이론에 대한 종합적인 소개를 제공한다. $L_∞$-메우어-카르탕 방정식의 해의 모oduli 공간의 호모토피 불변성을 확립하고, 콘체비치의 형식성 정리에 대한 개념적 개요를 제시한다. 이는 다항벡터장과 다항미분 연산자 사이의 $L_∞$-준동형사상에 의해 편미분형식을 갖는 파울리 맨폴드의 변형 양자화의 존재성을 증명한다.

ABSTRACT

First three sections of this overview paper cover classical topics of deformation theory of associative algebras and necessary background material. We then analyze algebraic structures of the Hochschild cohomology and describe the relation between deformations and solutions of the corresponding Maurer-Cartan equation. In Section 6 we generalize the Maurer-Cartan equation to strongly homotopy Lie algebras and prove the homotopy invariance of the moduli space of solutions of this equation. In the last section we indicate the main ideas of Kontsevich's proof of the existence of deformation quantization of Poisson manifolds.

연구 동기 및 목표

• 연결된 대수, 리 대수 및 그 코homological 기초에 대한 자가 포함된 변형 이론의 소개를 제공하기 위해.
• dg-리 대수 및 $L_∞$-대수의 맥락에서 변형과 메우어-카르탕 방정식의 해 사이의 대응을 확립하기 위해.
• 해의 모oduli 공간의 호모토피 불변성을 $L_∞$-메우어-카르탕 방정식의 해에 대해 설명하기 위해.
• 콘체비치의 변형 양자화에 대한 증명을 형식성 정리에 기반해 개괄하기 위해.
• 파울리 맨폴드의 구조 모oduli 공간과 다항벡터장의 메우어-카르탕 공간, 그리고 다항미분 연산자의 모oduli 공간 사이의 연결 고리를 설정하기 위해.

제안 방법

• 무한소 변형을 코homology 클래스와 연결하기 위해, 연결 대수의 고클라르드 코hom로지와 고전적 변형 이론을 사용한다.
• dg-리 대수에서 메우어-카르탕 방정식을 적용하여 형식적 변형을 분류하고, 해들이 변형 데이터를 매개함을 보여준다.
• 메우어-카르탕 방정식을 $L_∞$-대수로 일반화하여 고차원 괄호와 호모토피 호환 조건을 도입한다.
• $L_∞$-준동형사상을 통해 해의 모oduli 공간의 호모토피 불변성을 증명하고, 동치인 $L_∞$-대수가 동치인 변형 모oduli를 유도함을 보여준다.
• 두 개의 $L_∞$-대수를 구성한다: 다각형 $M$ 위의 다항벡터장의 계수 리 대수인 $\mathfrak{g}^\prime$과 $C^\infty(M)$ 위의 다항미분 연산자의 dg-리 대수인 $\mathfrak{g}^{\prime\prime}$.
• 구성 공간 적분과 코homological 기법을 사용하여, 다항벡터장에서 다항미분 연산자로의 자연스러운 사상 $f_1$이 $L_\infty$-준동형사상으로 확장됨을 보여, 콘체비치의 형식성 정리를 확립한다.

실험 결과

연구 질문

• RQ1 메우어-카르탕 방정식의 해는 어떻게 연결 대수의 변형을 분류하는가?
• RQ2 $L_\infty$-대수는 메우어-카르탕 체계를 호모토피-일관된 변형 이론으로 일반화하는 데 어떤 역할을 하는가?
• RQ3 $L_\infty$-메우어-카르탕 방정식의 해의 모oduli 공간은 왜 $L_\infty$-준동형사상에 대해 불변적인가?
• RQ4 형식성 정리가 변형 양자화의 맥락에서 어떤 의미를 가지는가?
• RQ5 콘체비치의 접근에서 다항벡터장과 다항미분 연산자는 $L_\infty$-준동형사상에 의해 어떻게 연결되는가?

주요 결과

• 연결 대수의 변형 모oduli 공간은 그 고클라르드 코chain 복합체에서 메우어-카르탕 방정식의 해에 의해 지배된다.
• 해의 모oduli 공간의 호모토피 불변성은 $L_\infty$-준동형사상을 통해 확립된다.
• glat한 다각형 $M$ 위의 다항벡터장의 계수 리 대수는 메우어-카르탕 방정식의 해를 통해 파울리 맨폴드의 구조를 매개한다.
• $C^\infty(M)$ 위의 다항미분 연산자의 dg-리 대수는 메우어-카르탕 방정식의 해를 통해 스타곱을 매개한다.
• 콘체비치의 형식성 정리는 다항벡터장의 $L_\infty$-대수와 다항미분 연산자의 dg-리 대수 사이의 $L_\infty$-준동형사상을 확립한다.
• 형식성 사상의 선형 부분 $f_1$은 코homology 동형사상이며, 전체 $L_\infty$-구조는 이를 준동형사상으로 확장하여, 임의의 파울리 맨폴드에 대해 변형 양자화의 존재성을 증명한다.