[논문 리뷰] A relative version of the ordinary perturbation lemma

Marco Manetti|arXiv (Cornell University)|2010. 02. 03.

Algebraic structures and combinatorial models참고 문헌 12인용 수 3

한 줄 요약

이 논문은 사슬 복합체에 대한 일반적인 페르투르베이션 보조정리의 상대적 버전을 도입하여, $L_{\nu}$-대수에 대한 호모토피 전이 정리의 직접적이고 기본적인 증명을 가능하게 한다. 특정 성질을 갖는 미분 가환 부분공간에 대해 페르투르베이션 보조정리를 적응시킴으로써 저자는 대칭 대수에서의 텐서 기술의 실패를 회피하고, 뿌리가 있는 트리에 대한 재귀 공식을 통해 $L_{\nu}$-구조를 전이하는 함의적 공식을 수립한다.

ABSTRACT

The perturbation lemma and the homotopy transfer for L-infinity algebras is proved in a elementary way by using a relative version of the ordinary perturbation lemma for chain complexes and the coalgebra perturbation lemma.

연구 동기 및 목표

• 대칭 대수에서의 텐서 기술의 실패를 극복함으로써, $L_{\nu}$-대수에 대한 표준 호모토피 전이를 방해하는 문제를 해결한다.
• 고도화된 호모로지적 페르투르베이션 이론에 의존하지 않고, $L_{\nu}$-대수에 대한 호모토피 전이 정리의 직접적이고 기본적인 증명을 제공한다.
• 새로운 미분 $ ild{d}$가 특정 성질을 갖는 부분공간 $A \subset N$ 을 보존할 때 적용 가능한 페르투르베이션 보조정리의 상대적 버전을 수립한다.
• 대칭 코알제브라 $\overline{S}(V)$ 에 대한 포함 사상 $\imath_{\partial}$ 가 사영과 페르투르베이션을 포함하는 재귀 공식을 만족함을 보인다.
• 조합적 트리 전개를 통해 전이 지도가 미분 가환 코알제브라의 사상임을 입증한다.

제안 방법

• 페르투르베이션 $\partial$ 가 사슬 복합체 $N$ 의 미분 가환 부분공간 $A \subset N$ 을 보존함으로써, 호모토피 구조와의 호환성을 확보하는 상대적 페르투르베이션 보조정리를 도입한다.
• 표준 페르투르베이션 보조정리와 코알제브라 페르투르베이션 보조정리를 결합하여, $M$ 에 전이된 미분에 대한 명시적 공식을 유도한다.
• 사영 $p$ 가 $V$ 에로의 사영임을 고려하여, 전이된 포함 사상 $\imath_{\partial}$ 를 재귀적으로 정의한다: $p\imath_{\partial} = p\imath + kp\partial\imath_{\partial}$.
• 특히 $\pi_{\partial}\imath_{\partial} = \text{id}$ 가 $\overline{S}(W)$ 에서 성립함을 이용하여, 전이가 호모토피 상에서 잘 정의되고 역으로 가능함을 보장한다.
• $\imath_{\partial}$ 가 재귀 공식을 만족하는 유일한 대칭 가환 코알제브라의 사상임을 보이며, 이는 뿌리가 있는 트리에 대한 조합적 해석을 갖는다.
• $\imath_{\partial}\colon (\overline{S}(W), d + \pi\partial\imath_{\partial}) \to (\overline{S}(V), d + \partial)$ 가 미분 가환 코알제브라의 사상임을 증명한다.

실험 결과

연구 질문

• RQ1 대칭화에서 실패하는 텐서 기술에 의존하지 않고도, $L_{\infty}$-대수에 대한 호모토피 전이를 증명할 수 있는가?
• RQ2 페르투르베이션이 제어 가능한 호모토피 성질을 갖는 부분공간을 보존할 때 적용 가능한 페르투르베이션 보조정리의 상대적 버전이 존재하는가?
• RQ3 $L_{\infty}$-대수의 전이된 구조가 대칭 코알제브라 설정에서 뿌리가 있는 트리에 대한 재귀 공식으로 묘사될 수 있는가?
• RQ4 대칭 코알제브라 $\overline{S}(V)$ 에 대한 포함 사상 $\imath_{\partial}$ 가 페르투르베이션 하에서도 미분 가환 코알제브라의 구조를 유지하는가?
• RQ5 $L_{\infty}$-대수의 호모토피 분류를 사용하여, $\Pi\imath_{\partial} = \text{id}$ 를 만족하는 호환 가능한 사상 $\Pi\colon \overline{S}(V) \to \overline{S}(W)$ 가 존재함을 보장할 수 있는가?

주요 결과

• 상대적 페르투르베이션 보조정리는 대칭 설정에서 비현실적인 추가 작업이 필요로 하지 않는 $L_{\infty}$-대수에 대한 호모토피 전이 정리의 직접적이고 기본적인 증명을 제공한다.
• 전이된 포함 사상 $\imath_{\partial}\colon \overline{S}(W) \to \overline{S}(V)$ 는 재귀 공식 $p\imath_{\partial} = p\imath + kp\partial\imath_{\partial}$ 를 만족하며, 이는 대칭 가환 코알제브라의 사상으로서 이를 유일하게 결정한다.
• $\imath_{\partial}$ 가 미분 가환 코알제브라의 사상임이 입증되어, $L_{\infty}$-구조와의 호환성을 보장한다.
• $\imath_{\partial}$ 의 재귀 공식은 뿌리가 있는 트리의 합으로서의 조합적 해석을 갖으며, 전이의 명시적 구성법을 제공한다.
• $L_{\infty}$-대수의 호모토피 분류에 의해, $\Pi\imath_{\partial} = \text{id}$ 를 만족하는 사상 $\Pi\colon \overline{S}(V) \to \overline{S}(W)$ 가 존재함이 보장되며, 이는 전이가 잘 행동함을 확인한다.
• 증명 과정에서 $\pi_{\partial}\imath_{\partial} = \text{id}$ 가 $\overline{S}(W)$ 에서 성립함을 보여, 전이가 호모토피 상에서 준역함수임을 확인한다.