[논문 리뷰] Higher derived brackets

Ezra Getzler|arXiv (Cornell University)|2010. 10. 28.

Advanced Topics in Algebra참고 문헌 5인용 수 25

한 줄 요약

이 논문은 미분 가환 리 대수 $L_{\bullet}$ 의 양의 계수 부분에 대해 $L_{\infty}$-대수의 체계적 구성법을 제안하며, 베르누이 수를 통해 정의된 고차 유도 브라켓을 사용한다. 주요 결과는 파وان 근사 다각형의 유도 브라켓 구성법과 코르탕 대수에서 유도된 리 2-대수를 일반화하며, 고차 브라켓의 성립 조건이 고차 브라켓의 공리가 만족됨을 직접적으로 증명함으로써, 그린 지지자와 베르누이 수의 성질을 이용한 고차 지지자 항등식을 통해 입증된다.

ABSTRACT

We show that there is a sequence of operations on the positively graded part of a differential graded algebra making it into an L-infinity algebra. The formulas for the higher brackets involve Bernoulli numbers. The construction generalizes the derived bracket for Poisson manifolds, and the Lie 2-algebra associated to a Courant algebroid constructed by Roytenberg and Weinstein.

연구 동기 및 목표

• 도함수의 차수가 1인 미분 가환 리 대수에서의 유도 브라켓 구성법을 임의의 양의 계수를 가진 경우로 일반화하기 위해.
• 유도 브라켓 형식에서 $L_{\infty}$-대수의 구성법을 고차원 요소를 포함하는 고차 브라켓으로 확장하기 위해.
• 유도된 대수의 $L_{\infty}$-대수 공리가 고차 지지자 항등식과 베르누이 수의 조합 항등식을 이용해 직접적으로 증명되도록 하기 위해.
• 베르누이 수가 고차 브라켓의 구조에 어떻게 나타나는지 명확히 하여, 그 출현이 미분 가환 리 대수의 구조에서 유래됨을 보여주기 위해.

제안 방법

• $L_{\bullet}$ 의 양의 계수 부분인 $\mathbb{L} = \tau_{>0}L$ 에서 $L_{\infty}$-대수의 구조를 정의하기.
• $n$번째 고차 브라켓을 $\{a_0,\dots,a_n\} = b_n \sum_{\pi \in S_{n+1}} (-1)^\varepsilon [[\dots[Da_{\pi_0}, a_{\pi_1}], \dots], a_{\pi_n}]$ 로 구성하며, 여기서 $b_n = \frac{(-1)^n B_n}{n!}$ 이고 $B_n$ 은 베르누이 수이다.
• 브라켓 연산의 고차 대칭성을 다루기 위해 코스쿨 부호 규칙을 적용하기.
• 기초가 되는 미분 가환 리 대수 $L$ 에서의 고차 지지자 항등식을 적용하여 $L_{\infty}$-대수의 관계를 검증하기.
• 지지자 규칙 기여를 분해하기 위해 보조 텐서 표현 $\mathbf{Z}_{n,j,k}$ 를 도입하고, 그 대칭성과 재귀적 성질을 활용하기.
• 생성 함수 $f(x) = \frac{x}{e^x - 1} + \frac{x}{2}$ 를 사용하여 $s,t$ 에 관한 다항식이 $s+t-1$ 에 의해 생성된 이상에 속함을 보여, 전체 지지자 규칙의 영성 증명하기.

실험 결과

연구 질문

• RQ1 미분 가환 리 대수에서 차수 1을 초월하는 요소에 대해 파وان 다각형의 유도 브라켓 구성법을 어떻게 일반화할 수 있는가?
• RQ2 베르누이 수는 $L_{\infty}$-대수에서 유도된 고차 브라켓의 구조에 어떤 역할을 하는가?
• RQ3 $L_{\infty}$-대수의 구조가 미분 가환 리 대수의 양의 절단 부분에 대해 직접적으로 구성되고 검증될 수 있는가? 매핑 콘 구조에 의존하지 않고도 가능한가?
• RQ4 고차 유도 브라켓 구성법이 리 $n$-대수를 유도하는 데에는 어떤 조건이 필요한가?
• RQ5 $\mathbf{Z}_{n,j,k}$ 텐서와 관련된 조합 항등식이 $L_{\infty}$-대수의 지지자 항등식을 어떻게 확보하는가?

주요 결과

• $\mathbb{L} = \tau_{>0}L$ 에서의 $L_{\infty}$-대수의 구조는 공식 $\{a_0,\dots,a_n\} = b_n \sum_{\pi} (-1)^\varepsilon [[\dots[Da_{\pi_0}, a_{\pi_1}], \dots], a_{\pi_n}]$ 을 통해 명시적으로 구성되며, 여기서 $b_n = \frac{(-1)^n B_n}{n!}$ 이다.
• 0차 및 1차 브라켓은 각각 $|a| > 1$ 인 경우 $\{a\} = \delta a$ 와 $\{a_0,a_1\} = \frac{1}{2} \left( [Da_0,a_1] - (-1)^{|a_0|} [a_0, Da_1] \right)$ 로 명시적으로 주어진다.
• 3차 브라켓은 $\{a_0,a_1,a_2\} = \frac{1}{12} \sum_{\pi} (-1)^\varepsilon \left( [[Da_{\pi_0},a_{\pi_1}],a_{\pi_2}] \text{ 및 순열} \right)$ 로 주어지며, 부호는 코스쿨 규칙에 따라 결정된다.
• 고차 지지자 항등식은 $j,k$ 를 인덱스로 하는 기여 항목으로 분해하고, $s,t$ 에 관한 다항식이 $s+t-1$ 에 의해 생성된 이상에 속함을 보여, 생성 함수 $f(x) = \frac{x}{e^x - 1} + \frac{x}{2}$ 를 사용하여 검증된다.
• 만약 $L^i = 0$ for $i > 2$ 라면, 이 구성은 코르탕 대수에서 유도된 리 2-대수의 구조를 복원하며, 이는 루이텐버그와 웨인슈타인의 이전 결과와 일치함을 확인한다.
• 이 방법은 피오렌차와 마네티의 연구에서 사용된 매핑 콘 구성법에 의존하지 않고도 $L_{\infty}$-대수 공리의 직접적 증명을 제공하며, 결과적으로 그들의 구성과 차수 이동을 제외하고 동일한 구조를 얻음을 보여준다.