dg Lie 대수의 Quillen 동형 범주 명시적 구성

초록

이 논문은 두 dg Lie 대수 (\g_1,\g_2) 사이의 (L_\infty) 사상들을 Maurer‑Cartan 방정식의 해와 동일시하고, 차수 0 성분의 지수 작용에 의한 게이지 변환을 “동형 관계”로 정의한다. 이 관계로 몫을 취한 범주는 잘 정의됨을 증명하고, 이는 dg Lie 대수와 그 사상들의 준동형사상(quasi‑isomorphism)으로 만든 로컬라이제이션과 동등함을 보인다. 또한 Quillen이 제시한 동형 개념이 위에서 정의한 게이지 동형과 일치함을 확인한다. 마지막으로 이 결과가 V. Dolgushev의 예측을 증명함을 알린다.

상세 분석

논문은 먼저 두 dg Lie 대수 (\g_1,\g_2) 사이의 모든 (L_\infty) 사상을 하나의 dg Lie 대수 (\mathcal{B}(\g_1,\g_2))의 Maurer‑Cartan 원소와 일대일 대응시킨다. 여기서 (\mathcal{B}(\g_1,\g_2)^0)는 차수 0 성분이며, 그 지수 (\exp(\mathcal{B}(\g_1,\g_2)^0))는 (MC(\mathcal{B})\subset\mathcal{B}^1)에 자연스러운 게이지 작용을 제공한다. 이 작용을 통해 두 (L_\infty) 사상이 서로 연결될 수 있는 “동형 관계”를 정의하고, 그 동형 관계에 대한 동치류를 사상의 동등성으로 삼는다. 중요한 기술적 난관은 이 관계가 합성에 대해 잘 정의되는가, 즉 범주의 구조를 보존하는가 하는 점이다. 저자는 합성 전후에 발생하는 교환 법칙과 연관된 고차 연산자를 정밀히 추적하여, 게이지 동형이 합성과 교환을 모두 보존함을 보인다.

다음 단계에서는 이 동형 관계에 의해 형성된 범주 (\mathsf{Ho}_{\mathrm{gauge}}(\mathrm{dgLie}))가 기존에 알려진 Quillen‑Hinich 동형 범주와 동등함을 증명한다. 이를 위해 먼저 dg Lie 대수와 그 사상들의 카테고리 (\mathrm{dgLie})를 준동형사상(Quasi‑isomorphisms)으로 로컬라이즈한 범주 (\mathrm{dgLie}