From $L_\infty$ algebroids to $L_\infty$ spaces: Part I

기술 요약: $L_\infty$-알제브로이드에서 $L_\infty$-공간으로: 파트 I

문제 제기
본 논문은 양자장론(QFT)의 고전적 해의 형식적 근방에서의 양자화를 기술하기 위해 Costello가 도입한 기존의 $L_\infty$-공간 이론의 한계를 다룬다. Costello의 정식화는 매끄러운 다양체(smooth manifold) 상의 $L_\infty$-공간을 정의한다. 그러나 많은 QFT 응용 사례에서 고전적 해의 가계(family)는 매끄러운 다양체가 아닌 유도된(derived) 매끄러운 다양체(또는 dg 다양체)에 의해 매개변수화된다. 원래의 정식화에서는, 매끄러운 다양체 상의 $L_\infty$-공간의 점의 함자(functor of points)가 멱영 방향(nilpotent directions)에서의 유도된 구조만을 인코딩할 수 있어, 이러한 응용에 필요한 완전한 유도 기하학(derived geometry)을 포착하는 데 실패한다. 저자들은 dg 다양체 상의 $L_\infty$-알제브로이드와 대응하는 $L_\infty$-공간의 개념을 dg 다양체의 설정으로 적응시키고, 이들 사이의 엄밀한 대응 관계를 확립하는 것을 목표로 한다.

방법론
저자들은 **준-dg 다양체(quasi-dg manifolds)**라는 중간 범주를 사용하는 통합된 접근 방식을 채택한다.

1. 준-dg 다양체: cdga(commutative differential graded algebras)의 구조 층을 갖는 링드 공간(ringed spaces) $(C, \mathcal{O}_C)$로 정의된다. 결정적으로, 적절한 dg 아이디얼 $\mathcal{I}_C$에 의해 모듈로(modulo) 되었을 때, 이 공간은 일반적인 dg 다양체로 축소된다. 이 구조는 무한 제트(infinite jets) 및 D-모듈의 언어를 자연스럽게 수용한다.
2. Chevalley–Eilenberg 함자: 저자들은 Chevalley–Eilenberg 대수를 사용하여 범주 간의 함자를 구성한다.
   • $L_\infty$-알제브로이드 $L$을 그에 대응하는 Chevalley–Eilenberg 대수 $(\widehat{\Omega}_L, D_L)$와 연관시킴으로써 $L_\infty$-알제브로이드에서 준-dg 다양체로 가는 함자를 정의한다.
   • 곡선형(curved) $L_\infty$-대수의 Chevalley–Eilenberg 대수를 통해, dg 다양체 상의 $L_\infty$-공간에서 파이브런트(fibrant) 준-dg 다양체로 가는 함자를 정의한다.
3. 제트 공간 함자: "파이브런트(fibrant)" 조건(전이성)을 처리하기 위해, 저자들은 dg 다양체 상의 무한 제트 이론을 활용한다. 저자들은 준-dg 다양체를 파이브런트 준-dg 다양체로 매핑하는 제트 공간 함자 $J^\infty$를 구축한다. 이 함자는 약 동치(weak equivalence)를 탐지하는 약 동치임을 보이며, 파이브런트 대체(fibrant replacement) 역할을 수행한다.

주요 기여 및 결과

1. 범주적 동치:
   본 논문은 세 가지 주요 범주적 동치를 확립한다:

   • $L_\infty\text{Algd} \cong \text{QdgM}_{bp}$: dg 다양체 상의 $L_\infty$-알제브로이드 범주는 기저를 보존하는 사상을 갖는 준-dg 다양체의 범주와 동치이다.
   • $L_\infty\text{Algd}^{\text{fib}} \cong \text{QdgM}_{bp}^{\text{fib}}$: 전이적(transitive) $L_\infty$-알제브로이드의 범주는 파이브런트 준-dg 다양체의 범주와 동치이다.
   • $L_\infty\text{Sp} \cong \text{QdgM}_{bp}^{\text{fib}}$: dg 다양체 상의 $L_\infty$-공간의 범주는 파이브런트 준-dg 다양체의 범주와 동치이다.

   정리 1.1: 결과적으로, 전이적 $L_\infty$-알제브로이드의 범주와 dg 다양체 상의 $L_\infty$-공간의 범주 사이에는 동치가 존재한다. 이 동치는 약 동치를 탐지한다.

2. 파이브런트 대체 함자:
   저자들은 모든 $L_\infty$-알제브로이드의 범주로부터 $L_\infty$-공간의 범주로 가는 충실한(faithful) 함자인 파이브런트 대체 함자($\text{Fib}$)를 구축한다:
   $$\text{Fib}: L_\infty\text{Algd} \xrightarrow{\text{CE}_{\text{Algd}}} \text{QdgM}_{bp} \xrightarrow{J^\infty} \text{QdgM}_{bp}^{\text{fib}} \xrightarrow{\text{CE}_{\text{Sp}}^{-1}} L_\infty\text{Sp}$$
   정리 1.2: 이 함자 $\text{Fib}$는 약 동치를 탐지한다. 이는 $L_\infty$-대수 상에서는 항등 함수로 제한되며, 각 dg 다양체에 대해 그 Fedosov 해상(resolution)을 할당한다.

3. 기술적 발전:

   • Whitehead 유형 정리: "Super Quillen–Suslin 정리"를 활용하여, dg 다양체 상의 그레이디드 벡터 번들의 전사적 사상의 커널이 그 자체로 그레이디드 벡터 번들이 됨을 증명하였다.
   • 곡선형 $L_\infty$-대수: cdga와 dg 아이디얼을 갖는 곡선형 $L_\infty$-대수를 정형화하였으며, 전이적 알제브로이드에 대응하는 $L_\infty$-공간의 맥락에서 곡률 항($l_0$)이 어떻게 발생하는지 보여준다.
   • 제트 공간: 준-dg 벡터 번들을 위한 무한 제트 번들과 연관된 제트 공간의 상세한 구성을 제시하며, 이 제트 공간 함자가 준-dg 다양체 범주에서 파이브런트 대체 역할을 수행함을 증명한다.

의의 및 주장
본 논문은 $L_\infty$-공간을 유도된 설정(dg 다양체)으로 확장함으로써 Costello의 원래 정식화의 한계를 해결한다고 주장한다. 주요 의의는 $L_\infty$-알제브로이드(Lie-theoretic 구조)와 $L_\infty$-공간(함자적/기하학적 구조) 사이의 정밀한 범주적 가교를 유도 기하학의 맥락에서 확립하는 데 있다.

저자들은 이 프레임워크가 Batalin–Vilkovisky 형식론 내에서 분할 함수(partition function)와 관측 가능량(observable)의 "전역화 문제(globalization problem)"에 접근하기 위한 방법론을 제공하기 위해 설계되었다고 명시하며, 특히 유도된 및 스택형 특이점(stacky singularities)을 포함하는 경우를 다룬다고 밝힌다. 저자들은 $L_\infty$-공간으로 넘어가는 것이 특정 구조(예: 특성 클래스 및 시프트된 심플렉틱 구조)를 더 투명하고 계산 가능한 형태로 만든다고 언급한다.

본 논문은 이 시리즈의 파트 I임을 명시한다. 이 논문은 전역화 문제를 직접 해결한다고 주장하는 것이 아니라, 그에 필요한 기초적인 기계론(범주의 동치 및 파이브런트 대체 함자)을 제공하는 것을 목적으로 한다. 언급된 향후 응용 분야로는 코호몰로지 장론(cohomological field theories) 및 코탄젠트 유도 타겟(cotangent derived targets)을 갖는 AKSZ 이론 연구가 있으며, 이들은 1-루프 정확한 양자화(one-loop exact quantization)를 허용한다.