[논문 리뷰] Higher Derived Brackets and Deformation Theory I

Füsun Akman, Lucian M. Ionescu|ArXiv.org|2005. 04. 26.

Geometric and Algebraic Topology참고 문헌 14인용 수 8

한 줄 요약

이 논문은 가환 결합 대수에서 고차 미분 연산자의 세 정의가 동치임을 증명하고, 미분가환대수의 코homology에서 기반을 두고, 제곱이 0인 기댓값이 있는 기댓값을 갖는 미분가환대수의 코homology에서 sh-Lie 대수를 구성하는 코homological 기반의 방법을 제안한다. 주요 기여는 유한한 아벨 부분대수를 넘어서는 일반적인 프레임워크를 제공하며, 이는 미분 정점 연산자 대수에 적용 가능하고, 코homology에서 $L_∞$-구조를 유도한다.

ABSTRACT

The existing constructions of derived Lie and sh-Lie brackets involve multilinear maps that are used to define higher order differential operators. In this paper, we prove the equivalence of three different definitions of higher order operators. We then introduce a unifying theme for building derived brackets and show that two prevalent derived Lie bracket constructions are equivalent. Two basic methods of constructing derived strict sh-Lie brackets are also shown to be essentially the same. So far, each of these derived brackets is defined on an abelian subalgebra of a Lie algebra. We describe, as an alternative, a cohomological construction of derived sh-Lie brackets. Namely, we prove that a differential algebra with a graded homotopy commutative and associative product and an odd, square-zero operator (that commutes with the differential) gives rise to an sh-Lie structure on the cohomology via derived brackets. The method is in particular applicable to differential vertex operator algebras.

연구 동기 및 목표

• 가환 결합 대수에서 고차 미분 연산자의 세 가지 별개의 정의가 동치임을 통합하고 증명하는 것.
• 미분가환대수의 코homology에서 sh-Lie(또는 $L_∞$) 대수를 구성하는 코homological 프레임워크를 수립하는 것.
• 코homology를 이용하여 기존 접근 방식의 제한점인 아벨 부분대수를 넘어서는 유도 브라켓 구성법을 확장하는 것.
• 이 구성법이 미분 정점 연산자 대수 및 토폴로지컬 정점 연산자 대수에 적용 가능한지 보여주는 것.
• 코homology에서의 유도 브라켓 구성법이 코homology에서 곱이 가환적이고 결합법칙을 만족할 경우 일관된 $L_∞$-구조를 유도함을 보여주는 것.

제안 방법

• 다중선형 사상에 대한 대수적 항등식과 귀납법을 사용하여 고차 미분 연산자의 세 정의가 동치임을 증명한다.
• 단위를 갖는 왼쪽 전-라이 대수의 내적 대수를 왼쪽 곱셈 사상의 리 부분대수와 보완 공간으로 분해한다.
• 기댓값 $d$가 유도자일 때 공식 $[da, b]$를 통해 유도 브라켓을 정의하고, 코스만-슐라츠바흐와 보로노프의 구성법이 동치임을 보인다.
• 유도 브라켓 $\Phi^{r}_{\Delta}$를 다음의 재귀식을 통해 구성한다: $\Phi^{r+1}(a_1,\dots,a_{r+1}) = \Phi^{r}(a_1,\dots,a_r a_{r+1}) - \Phi^{r}(a_1,\dots,a_r)a_{r+1} \pm a_r \Phi^{r}(a_1,\dots,a_{r-1},a_{r+1})$.
• 미분 $Q$의 핵과 상에 대해 유도 브라켓이 보존됨을 확인하여, 코homology $H(V,Q)$에서 잘 정의됨을 보장한다.
• 기댓값이 제곱이 0인 기댓값 $\Delta$를 갖는 미분 정점 연산자 대수에 이 구성법을 적용하여 코homology에서 $L_\infty$-구조를 얻는다.

실험 결과

연구 질문

• RQ1 가환 결합 대수에서 고차 미분 연산자의 세 표준 정의가 동치인가?
• RQ2 코homology를 통해 아벨 부분대수에서의 유도 브라켓 구성법을 비아벨 설정으로 일반화할 수 있는가?
• RQ3 기댓값이 제곱이 0인 기댓값 $\Delta$를 갖는 미분대수가 코homology에서 $L_∞$-구조를 유도하는 조건은 무엇인가?
• RQ4 코스만-슐라츠바흐와 보로노프의 유도 브라켓 구성법이 동일한 대수적 구조에 적용되었을 때, 그 관계는 무엇인가?
• RQ5 미분 VOA의 코hom로 $L_∞$-대수를 유도 브라켓을 통해 실현하는 데서 코homology의 역할은 무엇인가?

주요 결과

• 다중선형 사상, 반복 유도자, 라이프니츠 법칙에 기반한 고차 미분 연산자의 세 정의는 등가 정리에 의해 동치임이 증명되었다.
• 코스만-슐라츠바흐와 보로노프의 유도 브라켓 구성법은 기저 대수적 구조의 변화를 통해 동치임이 입증되었다.
• 코homological 유도 브라켓 정리에 따르면, $Q$가 기댓값이 제곱이 0인 기댓값이고 $\Delta$가 $Q$와 가환하는 기댓값이 제곱이 0인 연산자일 경우, $\Phi^{r}_{\Delta}$는 $H(V,Q)$에 $L_\infty$-구조를 유도한다.
• 유도 브라켓 $\Phi^{r}_{\Delta}$는 귀납법에 의해 $\ker(Q)$와 $\operatorname{im}(Q)$를 모두 보존하므로, 코homology에서 잘 정의된 연산으로 내림려 한다.
• 기댓값이 0인 기댓값이 제곱이 0인 기댓값 $\Delta$를 갖는 미분 정점 연산자 대수의 경우, 코homology에서 $L_\infty$-구조가 유도된다.
• 만약 $\Delta$가 기댓값 $v_k$를 갖는 정점 연산자의 모드이고 $k \geq 1$일 경우, 모든 $n$-항 브라켓은 $n > k+1$일 때 0이 되며, 이는 유한 생성된 $L_\infty$-구조를 제공한다.