Symmetries and Higher-Form Connections in Derived Differential Geometry

기술 요약: 유도 미분 기하학에서의 대칭성과 고차 형식 연결 (Symmetries and Higher-Form Connections in Derived Differential Geometry)

저자: Severin Bunk, Lukas Müller, Joost Nuiten, Richard J. Szabo

1. 문제 제기

본 논문은 미분 기하학 내의 **주 $\infty$-번들(principal $\infty$-bundles)**에 대한 일반적이고 내재적인 연결(connection) 정의가 결여되어 있다는 문제를 다룬다. 리 군(Lie group) 구조를 가진 고전적인 주 번들의 연결은 아티야 알제브로이드(Atiyah algebroid)와 평행 이동(parallel transport)을 통해 잘 이해되어 있으나, 고차 번들(예: 거브(gerbes), 고차 게이지 장)에 대한 기존의 정의들은 리 $n$-군(Lie $n$-groups)이나 교차 모듈(crossed modules)과 같은 특정한 구조 군에 의존하거나, 플랫 연결($\infty$-local systems)로 제한되는 경우가 많다. 또한, 기존의 접근 방식들은 미분 가능한 대칭성과 연결 데이터(connection data)를 동일한 층위에서 다루는 통일된 프레임워크가 부족하며, 특히 일반적인 유도 스택(derived stacks)에 의해 분류되는 번들에 대해서는 그러하다. 핵심 질문은 다음과 같다: 어떻게 하면 고전적인 리 알제브로이드 관점을 일반화하여, 가장 일반적인 형태의 주 $\infty$-번들에 대한 연결을 정의할 수 있는가?

2. 방법론

저자들은 **유도 미분 기하학(derived differential geometry)**과 **$L_\infty$-알제브로이드($L_\infty$-algebroids)**의 호모토피 이론에 기반한 프레임워크를 개발한다. 이들의 접근 방식은 다음 단계들을 거친다:

• 유도 기하학적 설정: 저자들은 미분 가능한 $C^\infty$-환(dg $C^\infty$-rings)으로 모델링된 유도 미세화 매니폴드(inf-manifolds)인 $\text{InfMfd}$ $\infty$-범주를 활용한다. 이를 통해 탄젠트 복합체(tangent complex)가 잘 작동하는 견고한 변형 이론(deformation theory)을 구축한다.
• 형식적 미분(Formal Differentiation): 매니폴드 $M$에서 변형 이론(구체적으로 Schlessinger 조건과 탄젠트 표현 가능성을 만족하는 스택)을 가진 스택 $X$로의 사상 $x: M \to X$에 대한 형식적 미분 절차를 확립한다. 이 미분 과정은 상대적 탄젠트 복합체(relative tangent complex) $T(M/X)$를 산출한다.
• 아티야 $L_\infty$-알제브로이드: $T(M/X)$가 $M$ 상의 완전한 $L_\infty$-알제브로이드로 자연스럽게 리프트됨을 증명한다. 이 대상은 $x$에 의해 분류되는 기하학적 구조의 미분 가능한 대칭성을 인코딩하는 아티야 $L_\infty$-알제브로이드이다.
• 연결의 정의: **$p$-형 연결($p$-form connection)**은 단순히 미분 형식들의 집합이 아니라, $L_\infty$-알제브 로이드 간의 사상으로 정의된다. 구체적으로, 이는 아티야 $L_\infty$-알제브로이드의 **$p$차 분할(order $p$ splitting)**이다. 이는 탄젠트 번들의 $p$차 절단(order $p$ truncation)(이하 $Q(p)TM$으로 표기)에서 아티야 $L_\infty$-알제브로이드 $T(M/X)$로의 사상으로 정식화된다.
• 곡률 및 플랫성(Curvature and Flatness): $p$-형 연결의 곡률은 연결을 $(p+1)$차 연결으로 리프트하는 데 발생하는 장애물(obstruction)로 정의된다. 이 정식화는 가짜-곡률 조건(fake-curvature condition)(즉, 낮은 차수의 장의 세기가 높은 차수의 내부 미분과 일치해야 한다는 조건)을 자연스럽게 강제하는데, 이는 연결들이 미세한 평행 이동으로서 구성되기 때문이다.

3. 주요 기여 및 결과

A. 이론적 프레임워크

• 정리 3.2 (미분): 변형 이론을 가진 스택으로의 사상 $x: M \to X$에 대하여, 상대적 탄젠트 복합체 $T(M/X)$가 자연스럽게 완전한 $L_\infty$-알제브로이드 구조를 가짐을 확립한다. 이는 임의의 기하학적 구조에 대해 아티야 $L_\infty$-알제브로이드를 부여하는 함수적 할당을 제공한다.
• 정리 3.12 (대칭성): 아티야 $L_\infty$-알제브로이드 $T(M/X)$의 전역 섹션(global sections)이 번들의 유도 고차 대칭 군(derived higher symmetry group)(즉, 미분동형사상에 의한 모듈라이 공간의 루프 스택)의 $L_\infty$-대수와 동치임을 입증한다. 이는 리 대수가 아티야 알제브로이드의 섹션 공간이라는 고전적 결과를 일반화한다.
• 정의 4.10 (고차 연결): $p$-형 연결의 공간 $\text{Con}_p(x)$를 매핑 공간 $\text{L}_\infty\text{Agd}_M^\infty(Q(p)TM, T(M/X))$로 정의한다. 아티ヤ 알제브로이드가 확립되면 이 정의는 순수하게 대수적이 된다.

B. 고차 $U(1)$-번들에 대한 검증

• 정리 5.20: 저자들은 $(n-1)$-거브(분류 사상 $x: M \to B^n U(1)$)에 대한 아티야 $L_\infty$-알제브로이드를 명시적으로 계산한다. 이들은 유도 미분 기하학적 정식화를 통해 정의된 $p$-형 연결의 공간이 체흐-델뉴(Čech–Deligne) 미분 코사이클을 통해 정의된 $p$-형 연결의 공간과 **정준적으로 동치(canonically equivalent)**임을 증명한다. 이는 새로운 정의를 기존의 알려진 고차 아벨리안 번들 문헌과 대조하여 검증한다.

C. 쿠란트 알제브로이드 및 약한 연결과의 관계

• 고차 쿠란트 알제브로이드: 본 연구를 고차 쿠란트 알제브로이드 이론과 연결한다. 거브와 관련된 고차 쿠란트 알제브로이드의 브래킷(bracket)이 아티야 $L_\infty$-알제브로이드의 리 $n$-대수로 투영됨을 보여준다.
• 약한 연결(Weak Connections): 분류 스택 자체가 아닌, 연결이 고정된 구조의 모듈라이 스택으로부터의 사상을 고려함으로써, 저자들은 연결에 대한 "약화된" 개념을 정의한다. 거브의 연결 구조에 대하여, 약한 1-형 연결이 강화된 커빙(enhanced curving)(표준 커빙에 대칭 2-텐서를 더한 것)에 대응함을 보여주며, 이는 수퍼그래비티(supergravity)에서 $B$-장(B-field)과 메트릭을 통합하는 데 잠재적 응용 가치가 있다.

4. 의의 및 주장

본 논문은 (변형 이론을 허용하는 임의의 유도 스택에 의해 분류되는 번들에 적용 가능한) 주 $\infty$-번들에 대한 최초의 일반적인 연결 정의를 제공한다고 주장한다.

• 통합: 미분 가능한 대칭성과 연결의 개념을 $L_\infty$-알제브로이드라는 단일 프레임워크 아래 통합하여, 고전적인 아티야 알제브로이드 관점을 일반화한다.
• 기존 결과의 회복: 고차 $U(1)$-번들에 대한 체흐-델뉴 설명을 회복함으로써, 저자들은 자신들의 추상적인 유도 기하학적 접근법이 기존의 구체적인 모델들을 포괄하며 일관성이 있음을 입증한다.
• 가짜-플랫성(Fake-flatness): 이 프레임워크는 미세 경로와 그 호모토피를 따라 구성되므로 자연스럽게 가짜-플랫(fake-flat) 연결을 생성한다. 저자들은 "조정된 연결(adjusted connections)"(가짜-곡률을 우회하는 것)이 수퍼그래비티 연구에 중요하지만, 본 연구의 주된 동기는 고차 기하학에서의 평행 이동에 대한 엄밀한 기초를 세우는 것임을 밝힌다.
• 모듈라이 해석: 국소적(local) 모듈리와 전역적(global) 모듈라이 문제 사이의 관계를 명확히 하며, $L_\infty$-대수(전역 대칭)에서 $L_\infty$-알제브로이드(국소 대칭)로의 강화가 어떻게 고차 형식 연결의 정의를 가능하게 하는 메커니즘인지 보여준다.

저자들은 자신들의 접근 방식이 아직 수퍼그래비티 응용에 필요한 조정된 연결 문제를 해결하지는 못했으나, 가장 일반적인 설정에서 고차 연결을 정의하고 연구하기 위한 필수적인 기하학적 인프라를 제공한다고 명시한다.