다이섹시어 두라드 게라의 무한소 대칭과 코르텐 대수의 새로운 구축

초록

이 논문은 매니폴드 위의 다이섹시어‑두라드 게라에 대한 무한소 대칭을 정의하고, 이 대칭들이 형성하는 2‑term L∞‑대수 구조를 분석한다. 연결 구조와 커버링을 포함한 경우에는 이러한 대칭을 이용해 코르텐 알gebroid 를 직접 구축함으로써 기존의 Cech‑데이터 기반 접근과의 일치를 보인다.

상세 분석

저자는 먼저 원형(원) 번들 사례를 상세히 검토하여, 번들의 무한소 대칭이 벡터장과 어떻게 대응되는지를 sheaf‑theoretic 관점에서 정리한다. 이를 바탕으로, Dixmier‑Douady 게라 G에 대한 “infinitesimal symmetry” 를 정의하고, 이를 sheaf of groupoids 𝓛_G 로 포장한다. 𝓛_G는 기본적인 투사 functor π:𝓛_G→TM 을 갖으며, 각 벡터장 ξ에 대해 𝓛_G(ξ) 라는 iℝ‑밴드의 gerbe 를 만든다. ξ=0 일 때는 trivial gerbe B(iℝ_M)와 동형이다. 이러한 구조는 “coherent Lie 2‑algebra” 로 해석될 수 있음을 언급하며, 정확한 2‑group 확장
B(iℝ_M) // 𝓛_G // TM
을 제시한다.

다음으로 1‑parameter family {φ_t}⊂Diff(M)와 그에 대한 게라 대칭의 카테고리 𝓛_G({φ_t}) 를 고려하고, 이를 미분하여 𝓛_G(ξ) 로 보내는 “differentiation functor” D를 정의한다. D는 충분히 작은 열린 집합과 작은 t에 대해 카테고리 동형을 제공함으로써, 전통적인 흐름‑통합 정리와 유사한 결과를 얻는다.

연결 구조 A와 커버링 K를 도입하면, 𝓛_G는 더 정교한 sheaf of categories 𝓛(G,A) 로 확장된다. 여기서는 각 벡터장 ξ에 대해 연결된 수평 상승 ξ̂^h 가 존재하고, 그 위에 1‑form의 토르소가 작용한다. 저자는 Cech‑데이터 (g_{ijk},A_{ij}) 를 이용해 𝓛_{gijk} 와 𝓛_{gijk,Aij} 를 구체화하고, 이들이 각각 Lie 2‑algebra 구조를 갖는 것을 증명한다. 특히, (1.8)식의 확장은 연결 구조에 의해 선형적으로 분할되며, 커버링 K의 3‑형식이 이 분할의 장애물임을 보인다.

마지막으로, 이러한 무한소 연결 대칭을 이용해 Courant algebroid E(G,A) 를 직접 구성한다. 구체적으로, 각 ξ에 대해 Ê_ξ = π^{-1}(ξ̂^h) 를 정의하고, 이들의 전단합이 C^∞(M)‑모듈 E(G,A) 를 형성한다. 이 모듈은 정확한 시퀀스
0 → C^∞(T^*M) → E(G,A) → C^∞(TM) → 0
을 만족하고, 자연스러운 브라켓