[논문 리뷰] Homotopy Lie algebras and coherent infinitesimal 2-braidings

Cameron James Deverall Kemp|arXiv (Cornell University)|2026. 02. 17.

Homotopy and Cohomology in Algebraic Topology인용 수 0

한 줄 요약

논문은 L-infinity 대수 표현의 대칭 모듀얼 DG-카테고리를 구축하고, infinitesimal 2-braidings를 2-shifted Poisson 구조로부터 도출하며, 그들의 일관성을 증명하고, 표현을 Chevalley–Eilenberg 대수의 세미-프리 DG-모듈과의 관계를 통해 연결한다.

ABSTRACT

Given a homotopy Lie algebra (i.e. an $L_\infty$-algebra) $\mathfrak{g}$, we show concretely how the Lada-Markl $\mathfrak{g}$-modules (i.e. representations) assemble into a symmetric monoidal dg-category. Considering the homotopy 2-category of that dg-category, we construct infinitesimal 2-braidings from 2-shifted Poisson structures then show that such infinitesimal 2-braidings are coherent in Cirio and Faria Martins' sense. We then explicitly determine the differential of the Chevalley-Eilenberg algebra associated with a finite-dimensional homotopy Lie algebra and construct the symmetric monoidal dg-equivalence between the category of representations and the category of semi-free dg-modules over the Chevalley-Eilenberg algebra.

연구 동기 및 목표

• L-infinity 표현을 구조화된 dg-카테고리로 연구하는 동기를 부여하고 고차 표현을 위한 모듈 프레임워크를 추구한다.
• Lada–Markl 데이터와 dg-범주화 확장을 이용하여 g-표현의 대칭 모듀얼 DG-카테고리를 정의하고 구성한다.
• 2-shifted Poisson 구조로부터 infinitesimal 2-braidings를 도입하고 Cirio–Faria Martins의 의미에서 그 일관성을 정립한다.
• Rep(g)와 Chevalley–Eilenberg 대수의 세미-프리 dg-모듈 사이의 관계를 통해 표현론과 파생 기하학을 연결한다.

제안 방법

• bullet/product 형식을 사용하여 n-shifted Poisson 구조를 동형 Lie 대수 g에 부호화한다.
• 대칭 모듀얼 DG-카테고리 Rep(g)와 그 intertwiners를 DG-카테고리로 풍부화된 구조로 명시적으로 정의한다.
• 2-shifted Poisson 구조의 weight-2 성분으로부터 infinitesimal 2-braidings를 구성하고, Maurer–Cartan 구성요소를 통해 일관성을 분석한다.
• Rep(g)와 CE(g)의 세미-프리 DG-모듈 범주 간의 대칭 모듯 DG-동등성을 입증한다.
• 이전 작업의 그래픽 계산법을 활용하여 표현과 모듀얼 구조를 CDGA Cartan 공식에 의존하지 않고 구현한다.

실험 결과

연구 질문

• RQ1 L-infinity 대수의 표현을 어떻게 대칭 모듀얼 DG-카테고리로 조직할 수 있는가?
• RQ2 2-shifted Poisson 구조로부터 생겨나는 infinitesimal 2-braidings를 Cirio–Faria Martins의 의미에서 일관되게 만들 수 있는가?
• RQ3 g의 표현론과 Chevalley–Eilenberg 대수를 통한 파생 기하학 간의 관계는 무엇인가?
• RQ4 Rep(g)와 CE(g)-모듈 사이의 DG-동등성이 세미-프리 DG-모듈 범주와 존재하는가, 어떤 조건 하에서?

주요 결과

• Homotopy Lie algebra g의 표현에 대한 구체적인 대칭 모듀얼 DG-카테고리 Rep(g)가 구성된다.
• 2-shifted Poisson 구조로부터의 infinitesimal 2-braidings가 구축되고 Cirio–Faria Martins의 프레임워크 아래 일관성이 입증된다.
• finite-dimensional g에 대한 Chevalley–Eilenberg 대수의 미분이 명시적으로 결정된다.
• Rep(g)와 CE(g)의 세미-프리 DG-모듈 사이에 대칭 모듯 DG-동등성이 존재한다.