[논문 리뷰] Intrinsic brackets and the $L_\infty$-deformation theory of bialgebras

Martin Markl|arXiv (Cornell University)|2004. 11. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 23인용 수 7

한 줄 요약

이 논문은 코チェ인 복합체 위에 $L_\infty$-구조를 통해 이원대수(cohomology)에 대한 리 괄호를 정의한다—이를 내재 괄호(intrinsic bracket)라 부른다. 이는 고흐시ลด 코호몰로지에서의 고전적 내재 괄호를 제르스텐하버-샤크 코호몰로지로 확장함을 증명하며, 장기간 미해결이었던 문제를 해결한다. $L_\infty$-마스터 방정식이 이원대수의 변형 이론을 제어함을 보이며, 이는 이전의 최소 모델 및 프롭(resolution) 연구 결과로부터 유도된 명시적 공식을 포함한다.

ABSTRACT

We show that there exists a Lie a bracket on the cohomology of any type of (bi)algebras over an operad or a PROP, induced by a strongly homotopy Lie structure on the defining cochain complex, such that the associated "quantum" master equation captures deformations. This in particular implies the existence of a Lie bracket on the Gerstenhaber-Schack cohomology of a bialgebra that extends the classical intrinsic bracket on the Hochschild cohomology, giving an affirmative answer to an old question about the existence of such a bracket.

연구 동기 및 목표

• 프롭 또는 오페라드 위에서 (이)원대수의 코호몰로지에 대해 코체인 복합체 위의 $L_\infty$-구조를 이용하여 리 괄호를 정의한다.
• 관련된 $L_\infty$-마스터 방정식이 이원대수의 변형 이론을 포괄함을 보인다.
• 이원대수의 제르스텐하버-샤크 코호몰로지에 고클시ลด 코호몰로지의 고전적 내재 괄호를 확장하는 리 괄호가 존재하는지 여부라는 오랜 미해결 문제를 해결한다.
• 이전 연구 [24]와 최소 모델 구성 결과를 이용하여 내재 괄호의 명시적 공식을 제공한다.
• 특히 $\mathcal{A}$ss-이원대수의 경우, 이원대수의 코호몰로지가 이 괄호를 유도하는 자연스러운 $L_\infty$-대수의 구조를 지닌다는 것을 보여준다.

제안 방법

• 이원대수의 구조를 제어하는 프롭 ${\sf P}$의 최소 모델 $({\sf M}, \partial)$을 사용한다.
• 코체인 복합체 $C^*_{{\sf P}}(V;V)$는 그린드-도이저의 유도자들 $\operatorname{Der}({\sf M}, \operatorname{End}_V)$의 스uspended 버전으로 정의되며, 차수 +1의 미분 $\delta_{{\sf P}}$를 갖는다.
• 최소 모델을 통해 코체인 복합체 위에 $L_\infty$-구조가 유도되며, 이는 모델의 미분 $\partial$로부터 고차 괄호가 유도된다.
• 코호몰로지 위에 $L_\infty$-구조를 코호몰로지로 올려 올리는 방식으로 내재 리 괄호를 얻는다. 이는 코호몰로지가 최소 모델로부터 유도된 그린드-리 대수의 구조를 상속한다는 사실에 기반한다.
• $\mathcal{A}$ss-이원대수의 경우, 코체인 복합체는 제르스텐하버-샤크 복합체와 동형이며, 괄호는 그 코호몰로지 위에서 알려진 괄호로 줄어든다.
• 이 증명은 이원대수의 프롭 ${\sf DB}$의 최소 모델에 대한 필터링된 그레디에이션으로부터 유도된 바이코호몰로지의 스펙트럴 시퀀스 추론에 기반한다.

실험 결과

연구 질문

• RQ1 이원대수의 제르스텐하버-샤크 코호몰로지에 고클시ลด 코호몰로지의 고전적 내재 괄호를 확장하는 리 괄호가 존재하는가?
• RQ2 코호몰로지적 $L_\infty$-구조로부터 유도된 $L_\infty$-마스터 방정식이 이원대수의 변형 이론을 포괄할 수 있는가?
• RQ3 이원대수 코호몰로지의 내재 괄호는 최소 모델의 선택과 무관하게 함의적이고 함의적일 수 있는가?
• RQ4 이원대수를 제어하는 프롭의 알려진 해상도로부터 내재 괄호의 명시적 공식을 어떻게 도출할 수 있는가?
• RQ5 이원대수의 프롭 ${\sf DB}$의 최소 모델은 코체인 복합체 위의 $L_\infty$-구조를 실현하는 데 어떤 역할을 하는가?

주요 결과

• 모든 프롭 또는 오페라드 위의 (이)원대수의 코호몰로지는 코체인 복합체 위의 $L_\infty$-구조에 의해 유도되는 자연스러운 리 괄호—내재 괄호—를 지닌다.
• 특히 $\mathcal{A}$ss-이원대수의 제르스텐하버-샤크 코호몰로지에 대한 내재 괄호는 고클시ลด 코호몰로지의 고전적 내재 괄호를 확장한다.
• $L_\infty$-마스터 방정식은 코체인 복합체와 관련되어 있으며, 이는 이원대수의 변형 이론을 제어한다.
• 이 구성은 임의의 특성수가 0인 체 위에서 유효하며, 놀랍게도 정수 위에서도 성립한다.
• 이원대수의 프롭 ${\sf DB}$의 최소 모델이 ${\sf B}$-자유 최소 모델임을 보이며, 스펙트럴 시퀀스 추론을 통해 그 호모로지가 ${\sf DB}$와 동형임을 증명한다.
• 내재 괄호의 명시적 공식은 [24]의 결과를 이용하여, 다이어그램 형태의 확장된 제르스텐하버-샤크 미분을 통해 제공된다.