[논문 리뷰] Higher Derived Brackets for Arbitrary Derivations

Theodore Voronov|arXiv (Cornell University)|2004. 12. 09.

Advanced Topics in Algebra참고 문헌 11인용 수 39

한 줄 요약

이 논문은 임의의 유도자 $D$에 의해 생성되는 고차 유도 브라켓을 도입하고 연구한다. 이는 $L = K \oplus V$에서 $V$가 아벨 부분대수인 리 초대수에서 유도된다. 이들 브라켓의 자코비에이터가 $D^2$에 의해 생성되는 브라켓으로 주어진다는 것을 증명하며, 이는 이전의 내부 유도자에 대한 결과를 일반화하고, 콘과 코실린더를 통한 $L_{\infty}$-대수의 관점에서 호모토피 대수학과 연결한다.

ABSTRACT

We introduce and study a construction of higher derived brackets generated by a (not necessarily inner) derivation of a Lie superalgebra. Higher derived brackets generated by an element of a Lie superalgebra were introduced in our earlier work. Examples of higher derived brackets naturally appear in geometry and mathematical physics. From a totally different viewpoint, we show that higher derived brackets arise when one wants to turn the inclusion map of a subalgebra of a differential Lie superalgebra, with a given complementary subalgebra, into a fibration. (For a non-Abelian complementary subalgebra, this leads to a generalization of $L_{\infty}$-algebras with dropped or weakened (anti)symmetry of the brackets.)

연구 동기 및 목표

• 내부 유도자에서의 고차 유도 브라켓 구성 방식을 임의의 유도자로 일반화하는 것.
• 사슬 복합체에서 콘과 코실린더를 통해 고차 유도 브라켓의 호모토피 대수학적 해석을 제공하는 것.
• 만약 $V$가 아벨이 아닐 경우의 고차 유도 브라켓의 대수적 구조를 탐색하여 일반화된 $L_\infty$-대수를 이끌어내는 것.
• 반복된 고유작용과 투영을 통한 $D$의 역할을 통해 $V$ 위의 다중선형 연산을 생성하는 데서의 기여를 명확히 하는 것.

제안 방법

• 다음 공식을 통해 $V$ 위의 $k$-번째 고차 유도 브라켓을 정의한다: $\{a_1,\dots,a_k\}_D := P[[\cdots[D a_1, a_2], \dots], a_k]$, 여기서 $P$는 $K$를 따라 $V$로의 투영이다.
• 모든 브라켓이 잘 정의되고 대칭 브라켓을 허용하기 위해 $V$가 아벨임을 보장하기 위해 $L = K \oplus V$의 분해를 사용한다.
• 고차 브라켓의 자코비에이터가 $D^2$에 의해 생성되는 $(k+1)$-번째 브라켓과 동일하다는 것을 증명하며, 내부 유도자 경우를 일반화한다.
• 고차 브라켓이 확장된 대수적 구조를 유지하는 미분을 갖는 $\Pi L \oplus V$를 코실린더로 간주하여 호모토피 이론적 해석을 제공한다.
• $\operatorname{Der}L \to \operatorname{Vect}V$의 준동형사상을 정의하여 각 유도자 $D$에 대해 $V$ 위의 다중선형 연산의 가족을 할당하며, 이는 $\operatorname{Der}L$ 위의 $L_\infty$-대수를 일반화한다.
• $V$의 아벨 조건을 완화하여 비대칭 고차 유도 브라켓을 연구하고, 리 대수 배경을 가진 새로운 종류의 대수를 이끌어내는 것.

실험 결과

연구 질문

• RQ1 내부 유도자 외에 임의의 유도자 $D$에 의해 생성된 고차 유도 브라켓은 어떻게 행동하는가?
• RQ2 홀수 유도자 $D$에 의해 생성된 고차 유도 브라켓의 자코비에이터는 어떤 대수적 구조를 갖는가?
• RQ3 고차 유도 브라켓은 콘 또는 코실린더를 통해 호모토피 대수학의 프레임워크에서 해석될 수 있는가?
• RQ4 부분대수 $V$가 더 이상 아벨이 아니게 되면 대칭성과 자코비 유사 항등식은 어떻게 변하는가?
• RQ5 고차 유도 브라켓의 구성 방식은 리 초대수의 유도자 대수 $\operatorname{Der}L$와 어떻게 관련되어 있는가?

주요 결과

• 홀수 유도자 $D$에 의해 생성된 고차 유도 브라켓의 자코비에이터는 $D^2$에 의해 생성된 고차 유도 브라켓과 동일하며, 이는 내부 유도자 경우의 결과를 일반화한다.
• $D^2 = 0$이면, $\Pi L \oplus V$ 위의 유도 브라켓은 $L_\infty$-대수를 이루며, 이는 호모토피 대수학적 해석을 제공한다.
• 이 구성은 $\operatorname{Der}L \to \operatorname{Vect}V$의 준동형사상을 정의하며, 각 유도자 $D$에 대해 $V$ 위의 다중선형 연산의 가족을 할당하며, 이는 $\operatorname{Der}L$의 관계를 모방하는 성질을 갖는다.
• 유도 브라켓은 일반화된 대칭 항등식을 만족한다: $\{a_1,\dots,a_i,a_{i+1},\dots,a_k\}_D - (-1)^{\tilde{a}_i\tilde{a}_{i+1}}\{a_1,\dots,a_{i+1},a_i,\dots,a_k\}_D = \{a_1,\dots,[a_i,a_{i+1}],\dots,a_k\}_D$.
• $V$가 아벨이 아니면 고차 유도 브라켓은 대칭적이지 않으며, 리 대수 배경을 가진 새로운 종류의 $L_\infty$-대수의 일반화로 이어진다.
• 호모로지 대수학에서의 표준적인 실린더와 코실린더 구성은, $\Pi L \oplus V$ 위의 미분으로부터 기인하는 유도 브라켓을 설명하는 위상적 프레임워크를 제공한다.