[논문 리뷰] A universal enveloping for L-infinity algebras

Vladimir Baranovsky|ArXiv.org|2007. 06. 11.

Algebraic structures and combinatorial models참고 문헌 7인용 수 6

한 줄 요약

이 논문은 임의의 $L_\infty$-대수 $L$에 대해 대칭 코대수 $\mathrm{Sym}^*_c(sL)$ 위에 $A_\infty$-대수 구조를 구성하며, 고전적 보편 포괄 대수를 일반화한다. 펌둥형 호모로지 이론과 순열체 및 양탁표와 관련된 수축 호모토피를 사용하여, $C(L)$와 보편 포괄 대수 $U(L)$ 사이의 유도 동치를 확립하고, $U(L)$ 위의 $A_\infty$-모듈과 $L$ 위의 $L_\infty$-모듈 사이의 동치를 증명한다. 이 구성은 엄밀한 사상에 대해 함자적이며, 호모토피 호프 대수 구조를 갖춘다.

ABSTRACT

For any L-infinity algebra L, we construct an A-infinity structure on the space of symmetric tensors Sym*(L), which generalizes the classical universal enveloping for Lie algebras. Our construction is based on an invariant homotopy on a cobar construction of the symmetric coalgebra, which is obtained through its relation with permutahedra and Young tableaux.

연구 동기 및 목표

• 고전적 보편 포괄 대수 구성법을 리 대수에서 $L_\infty$-대수로 일반화하기 위해.
• 임의의 $L_\infty$-대수 $L$에 대해 연관된 대칭 코대수 $\mathrm{Sym}^*_c(sL)$ 위에 자연스러운 $A_\infty$-대수 구조를 정의하기 위해.
• $C(L)$와 보편 포괄 대수 $U(L)$ 사이의 유도 동치를 확립하여, BGG 대응을 일반화하기 위해.
• $U(L)$ 위의 $A_\infty$-모듈과 $L$ 위의 $L_\infty$-모듈 사이의 카테고리 동치를 증명하여, 고전적 표현 이론을 호모토피 설정으로 확장하기 위해.

제안 방법

• DG 리 대수의 경우 $U(L)$로의 쿼지-이sov레픽 사상이 알려진 cobar 구성 $\Omega C(L)$를 출발점으로 사용한다.
• 펌둥형 호모로지 이론을 적용하여 $\Omega \mathrm{Sym}^*_c(sL)$ 위의 미분을 변형함으로써 $\mathrm{Sym}^*_c(sL)$ 위에 $A_\infty$-구조를 유도한다.
• 대칭군의 군 호모로지와 순열체 $P_n$의 세포 호모로지에 대한 복합체 $V^{\bigotimes n} \otimes_{k[\Sigma_n]} C_*(P_n)$ 를 통해 $\Omega \mathrm{Sym}^*_c(sV)$ 와의 쿼지-이sov레픽 사상을 확립한다.
• 반순서형 양탁표와 순열체의 조합론과 관련된, 비공식적이지만 함자적인 수축 호모토피를 $\Omega \mathrm{Sym}^*_c(sV)$ 위에 구성한다.
• 왜곡된 코체인 조건을 사용하여 모듈 구조를 정의하고, $A_\infty$ 및 $L_\infty$ 설정에서 미분과의 호환성을 확보하는 텐서곱 $N \otimes_\tau A$ 와 $M \otimes_\tau C$ 를 유도한다.
• 펌둥형 보조정리를 적용하여 $\Omega \mathrm{Sym}^*_c(sL)$ 에서 $\mathrm{Sym}^*_c(sL)$ 로의 $A_\infty$-구조를 이전함으로써, 일반화된 보편 포괄 성질을 만족하는 최종 구조를 확보한다.

실험 결과

연구 질문

• RQ1 리 대수에 대한 고전적 보편 포괄 대수 구성법을 $L_\infty$-대수로 확장할 수 있는가? 이 경우 핵심 대수적 및 호모로지적 성질이 유지되는가?
• RQ2 임의의 $L_\infty$-대수 $L$ 에 대해 연관된 대칭 코대수 $\mathrm{Sym}^*_c(sL)$ 위에 보편 포괄 대수를 일반화하는 자연스러운 $A_\infty$-대수 구조가 존재하는가?
• RQ3 구성된 보편 포괄 대수 $U(L)$ 위의 $A_\infty$-모듈의 유도 범주와 $L$ 위의 $L_\infty$-모듈의 유도 범주 사이에 대응이 존재하는가?
• RQ4 cobar 구성 $\Omega \mathrm{Sym}^*_c(sV)$ 에 대해, 특히 0차 차수에서, 함자적이고 $GL(V)$-불변적인 수축 호모토피를 구성할 수 있는가?
• RQ5 구성된 보편 포괄 대수 $U(L)$ 의 오페라다적 및 호프 대수적 성격은 무엇이며, 이는 호모토피 호프 대수 구조를 갖는가?

주요 결과

• 이 논문은 임의의 $L_\infty$-대수 $L$ 에 대해 $\mathrm{Sym}^*_c(sL}$ 위에 고유한 $A_\infty$-대수 구조를 구성하며, 고전적 보편 포괄 대수를 일반화한다.
• 복합체의 동형이 확립된다: $\Omega \mathrm{Sym}^*_c(sV) \simeq k \oplus \bigoplus_{n \geq 1} \left( V^{\otimes n} \otimes_{k[\Sigma_n]} C_*(P_n) \right)$, 이는 cobar 구성과 순열체 호모로지 사이의 연결고리이다.
• 함자적이며 $GL(L)$-불변적인 수축 호모토피가 $\Omega \mathrm{Sym}^*_c(sL)$ 위에 구성되며, 이는 펌둥형 호모로지 이론을 통해 $A_\infty$-구조를 $\mathrm{Sym}^*_c(sL)$ 로 이전하는 데 기여한다.
• 구성된 보편 포괄 대수 $U(L)$ 는 $C(L)$ 와 $U(L)$ 사이의 유도 동치를 만족하며, BGG 대응을 일반화한다.
• $U(L)$ 위의 $A_\infty$-모듈과 $L$ 위의 $L_\infty$-모듈 사이의 카테고리 동치가 증명되었으며, 고전적 표현 이론을 $L_\infty$-설정으로 확장한다.
• 보편 포괄 대수 $U(L)$ 가 호모토피 호프 대수임을 보였지만, 그 오페라다적 해석은 아직 명확하지 않다.