[논문 리뷰] The sh-Lie algebra perturbation Lemma

Johannes Huebschmann|arXiv (Cornell University)|2007. 10. 10.

Advanced Topics in Algebra인용 수 4

한 줄 요약

이 논문은 체인 복합체의 고전적 펌터베이션 보조정리가 호모토피 리 대수의 맥락으로 확장된 sh-Lie (L∞) 대수에 대해 성립함을 보여준다. ℚ를 포함하는 환 위에서 체인 복합체의 수축가 존재할 경우, 원래 복합체 위에 sh-Lie 대수의 구조가 주어지면 더 작은 복합체 위에도 자연스러운 sh-Lie 대수의 구조가 유도되며, 이는 리 대수의 트위스팅 코체인과 그 수반을 통해 실현되는 sh-동치를 통해 호모토피 아래에서 대수적 구조를 유지한다.

ABSTRACT

Let R be a commutative ring which contains the rationals as a subring and let g be a chain complex. Suppose given an sh-Lie algebra structure on g, that is, a coalgebra perturbation of the coalgebra differential on the cofree coaugmented differential graded cocommutative coalgebra T' on the suspension of g and write the perturbed coalgebra as T". Suppose, furthermore, given a contraction of g onto a chain complex M. We show that the data determine an sh-Lie algebra structure on M, that is, a coalgebra perturbation of the coalgebra differential on the cofree coaugmented differential graded cocommutative coalgebra S' on the suspension of M, a Lie algebra twisting cochain from the perturbed coalgebra S" to the loop Lie algebra L on the perturbed coalgebra T", and an extension of this Lie algebra twisting cochain to a contraction of chain complexes from the Cartan-Chevalley-Eilenberg coalgebra on L onto S" which is natural in the data. For the special case where M and g are connected we also construct an explicit extension of the perturbed retraction to an sh-Lie map. This approach includes a very general solution of the master equation.

연구 동기 및 목표

• 체인 복합체에 대한 고전적 펌터베이션 보조정리를, 엄밀한 대수적 항등식의 실패에서 기인하는 고차 호모토피를 포함하는 sh-Lie 대수의 맥락으로 일반화한다.
• 코미티티브 코알제브라 간 사상의 호모토피가 일반적으로 sh-Lie 대수의 구조를 유지하지 못하는 미묘한 문제를 다루며, 이를 해결하기 위한 정교한 프레임워크가 필요하다는 점을 밝힌다.
• 주어진 수축과 코알제브라의 펌터베이션을 이용해, sh-Lie 대수의 구조를 지닌 더 큰 복합체 𝔤와 체인 복합체 M 사이의 자연스러운 sh-동치를 구성한다.
• 연결성 조건 하에서 재접합 사상의 명시적 sh-역을 제공함으로써, 동치가 계산 가능하고 대수적 구조를 유지함을 보장한다.

제안 방법

• 대수적 구조를 복합체 간에 옮기기 위해 대칭 코알제브라 함자 𝒮ᶜ, 스uspension 연산자 s, 루프 리 대수 함자 ℒ, 분류 코알제브라 함자 𝒞를 사용한다.
• 원래의 펌터베이션 ∂가 𝔤에 의해 유도된, 𝒮ᶜ[sM] 위의 미분에 대한 코알제브라의 펌터베이션 𝒟를 통해 M 위에 sh-Lie 대수의 구조를 정의한다.
• M과 𝔤 사이의 호모토피 수준의 대수적 동치를 코어하는 Lie 대수 트위스팅 코체인 τ: 𝒮ᶜ𝒟[sM] → ℒ𝒮ᶜ∂[s𝔤]를 구성한다.
• 𝒮ᶜ𝒟[sM]와 𝒞[ℒ𝒮ᶜ∂[s𝔤]] 사이에 체인 복합체의 수축을 확립하며, 이때 포함사상 𝒯: 𝒮ᶜ𝒟[sM] → 𝒞[ℒ𝒮ᶜ∂[s𝔤]]는 coaugmented dg 코알제브라의 사상이다.
• 보편 트위스팅 코체인의 수반을 이용해 루프 대수의 분류 코알제브라와 대칭 코알제브라 사이의 호환성을 확보함으로써, sh-구조와의 일致를 보장한다.
• M과 𝔤가 연결되어 있을 경우, Lemma 4.2를 적용해 트위스팅 코체인들 사이의 명시적 호모토피 hC를 구성함으로써, 재접합 사상에 대한 명시적 sh-역을 얻는다.

실험 결과

연구 질문

• RQ1 체인 복합체에 대한 고전적 펌터베이션 보조정리를, 호모토피 아래에서 sh-Lie 대수의 구조를 유지하는 방식으로 어떻게 확장할 수 있는가?
• RQ2 체인 복합체의 수축이 더 작은 복합체 위에 잘 정의된 sh-Lie 대수의 구조를 유도하기 위한 조건는 무엇인가?
• RQ3 두 sh-Lie 대수 사이에 자연스러운 sh-동치를 구성할 수 있는가? 만약 가능하면, 이는 어떻게 대수적으로 표현되는가?
• RQ4 재접합 사상이 고차 호모토피를 통해 명시적 sh-동형사상으로 승격될 수 있는 조건는 무엇인가?
• RQ5 왜 난이도 있는 호모토피의 개념은 sh-Lie 대수의 구조를 유지하지 못하며, 이를 어떻게 고차 호모토피 구성(예: BΩ𝒮ᶜ를 통한)으로 해결할 수 있는가?

주요 결과

• 𝔤 위의 sh-Lie 대수의 구조는 𝒮ᶜ[sM] 위의 미분에 대한 코알제브라의 펌터베이션 𝒟를 통해 M 위에 자연스러운 sh-Lie 대수의 구조로 유도된다.
• 수축의 데이터와 𝔤 위의 sh-Lie 대수의 구조는 M과 𝔤 사이의 호모토피 동치를 코어하는 Lie 대수 트위스팅 코체인 τ: 𝒮ᶜ𝒟[sM] → ℒ𝒮ᶜ∂[s𝔤]를 결정한다.
• τ의 수반은 coaugmented dg 코알제브라의 사상인 𝒯: 𝒮ᶜ𝒟[sM] → 𝒞[ℒ𝒮ᶜ∂[s𝔤]]를 유도하며, 이는 체인 복합체 사이의 수축을 확립한다.
• 이 수축은 데이터에 대해 자연스럽고, (M, 𝒟)와 (𝔤, ∂) 사이의 sh-동치를 실현하며, 대수적 구조가 호모토피 아래에서 유지된다.
• M과 𝔤가 연결되어 있을 경우, 트위스팅 코체인들 사이의 호모토피 hC를 통해 재접합 사상에 대한 명시적 sh-역이 구성되며, 이는 동치가 계산 가능함을 보장한다.
• 이 구성은 난이도 있는 호모토피가 sh-Lie 대수의 세계를 빠져나가는 반면, 고차 호모토피 구성(예: BΩ𝒮ᶜ를 통한)은 이러한 구조를 sh-대상의 범주 안에 유지함을 보여준다.