[논문 리뷰] A Class of Strongly Homotopy Lie Algebras with Simplified sh-Lie Structures

Samer Al-Ashhab|ArXiv.org|2003. 08. 17.

Advanced Topics in Algebra참고 문헌 4인용 수 4

한 줄 요약

이 논문은 고차 구조 사상($l_n$ for $n > 3$)이 사라지고, $l_2$와 $l_3$가 도수 0에서만 비자명한 강한 호모토피 리(Sh-Lie) 대수의 일족을 구성한다. 사슬 호모토피 동치와 $l_2 l_1$에 대한 경계 조건을 활용하여, 저자들은 sh-Lie 구조가 크게 단순화됨을 보여준다: 도수 0에서만 $l_2$와 $l_3$가 비자명하고, 모든 고차 사상은 사라지며, $l_2(c,b)$가 0이 아니어도 성립한다. 이는 이전 결과를 더 약한 가정 하에 일반화한다.

ABSTRACT

It is known that a single mapping defined on one term of a differential graded vector space extends to a strongly homotopy Lie algebra structure on the graded space when that mapping satisfies two conditions. This strongly homotopy Lie algebra is nontrivial (it is not a Lie algebra); however we show that one can obtain an sh-Lie algebra where the only nonzero mappings defining it are the lower order mappings. This structure applies to a significant class of examples. Moreover in this case the graded space can be replaced by another graded space, with only three nonzero terms, on which the same sh-Lie structure exists.

연구 동기 및 목표

• 고차 구조 사상이 단순화된 sh-Lie 대수의 일족을 구성하는 것.
• 최소한의 가정 하에 $l_n \equiv 0$ for $n > 3$이고, $l_2 = l_3 = 0$ in degrees $> 0$임을 보이는 것.
• 이전 결과를 일반화하기 위해 $l_2(c,b) = 0$ 조건을 $l_2(c,b)$가 경계이기만 하면 된다는 조건으로 약화시키는 것.
• 오직 세 개의 비자명한 항만을 가지는 최소 차수의 그레이딩된 공간 위에서 이러한 sh-Lie 구조가 존재함을 보이는 것.
• 심플렉틱 다양체와 코homology 복합체와 같은 기하적 맥락에서의 명시적 구성 제공

제안 방법

• 사슬 호모토피 $s$가 도수 0에서 $\lambda \circ \eta - \text{id} = l_1 \circ s$이고, 고차 도수에서 $-\text{id} = l_1 \circ s + s \circ l_1$를 만족함을 이용해, $l_2 = -s \circ l_2 l_1$를 유도적으로 정의한다.
• 레마 2.1을 사용하여 $l_2 l_1$가 경계임을 확인함으로써, $l_2$가 사슬 매핑으로 잘 정의됨을 보장한다.
• 컴ponent $X_1 \otimes X_1$와 $X_2 \otimes X_0$에서 $l_2 l_1$가 영이 되므로, $l_2 = 0$임을 증명한다.
• 자코비 항등식과 리 미분 항등식을 이용해, $l_2 l_2 + l_3 l_1$가 영이 되므로, $l_3 = 0$임을 $X_1 \otimes X_0 \otimes X_0$와 고차 도수에서 보인다.
• 심플렉틱 다양체에서의 파울슨 브라켓과 코homology 복합체를 사용해 명시적 예를 구성한다.
• sh-Lie 구조가 오직 세 개의 비자명한 항만을 가지는 최소 모델로 전이될 수 있음을 보이며, 도수 0에서의 $l_2$와 $l_3$ 사상은 그대로 유지된다.

실험 결과

연구 질문

• RQ1 고차 사상 $l_n$ for $n > 3$가 모두 사라지도록 sh-Lie 대수를 구성할 수 있는가, 즉 $l_2(c,b) \neq 0$이어도 가능한가?
• RQ2 언제 $l_2$와 $l_3$가 도수 0에서만 비자명하고, 모든 고차 도수 사상은 사라지는가?
• RQ3 주어진 sh-Lie 대수를 오직 세 개의 비자명한 그레이딩된 성분만을 가지는 최소 모델로 줄일 수 있는가, 동시에 본질적인 구조를 유지하는가?
• RQ4 사슬 호모토피 $s$와 $l_2 l_1$가 경계임을 가정함으로써 sh-Lie 구조가 어떻게 단순화되는가?
• RQ5 이 구성은 파울슨 브라켓이 있는 심플렉틱 다양체와 같은 기하적 예에 적용 가능한가?

주요 결과

• 논문은 $l_n \equiv 0$ for $n > 3$이고, 모든 도수 $> 0$에서 $l_2 = l_3 = 0$인 sh-Lie 대수를 구성하며, 이로 인해 구조가 크게 단순화된다.
• $l_2$ 사상은 도수 0에서만 비자명하며, $l_2(P\nu, Q\nu) = \omega(\mathbf{E}(Q), \mathbf{E}(P))\nu$로 정의되며, $X_1 \otimes X_1$, $X_2 \otimes X_0$ 및 그 대칭 형태에서는 영이 된다.
• $l_3$ 사상은 도수 0에서만 비자명하며, $l_3(P\nu, Q\nu, R\nu)$는 비자명하지만, 모든 고차 도수에서는 영이 된다.
• sh-Lie 구조는 오직 세 개의 비자명한 항만을 가지는 최소 모델로 전이될 수 있으며, 도수 0에서의 $l_2$와 $l_3$ 사상은 그대로 유지된다.
• 심플렉틱 다양체 예시에서, 도수 1에서 $l_2(f, \beta) = L_{\beta^\#}f$이고, 고차 도수에서는 $l_2 = 0$이며, 자코비 항등식과 리 미분 항등식으로 인해 $l_3 = 0$ on $X_1 \otimes X_0 \otimes X_0$이다.
• 이 구성은 이전 결과에서 요구하던 $l_2(c,b) = 0$ 조건을 $l_2(c,b)$가 경계이기만 하면 된다는 더 약한 조건으로 일반화한다.