리 Lie 2 대수의 사상 통합과 연결 커버 이론

본 논문은 Lie 2‑대수와 Lie 2‑그룹 사이의 사상 통합 문제를 다루면서, 동시에 Lie 2‑그룹의 연결 커버를 함자적으로 구성하는 두 가지 핵심 과제를 제시한다. 서론에서는 약한 사상 f: H→G (두 Lie 2‑그룹 사이) 가 미분화되어 약한 사상 Lie f: Lie H→Lie G 가 된다는 사실을 상기하고, 이 역과정, 즉 Lie 2‑대수 사상을 Lie 2‑그룹 사상으로 ‘통합’하는 것이 목표임을 밝힌다. 기존 연구에서는 경로와 PDE를 이용해 이 문제를 해결했지만, 저자는 보다 형식적이고 함자적인 접근을 시도한다. 핵심 도구는 2‑term L∞‑대수 사이의 ‘버터플라이’(Butterfly)이다. 정의 3.1에 따라 버터플라이는 네 개의 선형 사상(κ, ι, σ, ρ)과 중앙 대수 E에 대한 반대칭 괄호 구조를 포함하는 사다리꼴 다이어그램이다. 이 구조는 두 2‑term L∞‑대수 V, W 사이의 ‘지그재그’ 사상 체계를 한 번에 포착한다. 버터플라이는 두 대수의 복합체가 짧은 정확한 시퀀스를 이루도록 보장하며, 특히 NE‑SW 시퀀스 0→V₁→E→W₀→0 가 짧게 정확함을 요구한다. 버터플라이를 이용해 사상 f = (f₀,f₁,ε) 를 재구성하는 과정은 정리 3.4에 상세히 기술된다. 여기서는 V₁⊕W₀에 새로운 괄호를 정의하고, κ(l)=(-f₁(l),∂l), ι(k)=(k,0), σ(k,x)=x, ρ(k,x)=∂k+f₀(x) 로 설정한다. 이렇게 하면 버터플라이 다이어그램이 자동으로 만족된다. 반대로, 주어진 버터플라이와 섹션 s: W₀→E 가 있으면 f₀=ρ∘s, f₁=s∘∂−κ, ε=