[논문 리뷰] L-infinity structures on mapping cones

Domenico Fiorenza, Marco Manetti|arXiv (Cornell University)|2006. 01. 13.

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

한 줄 요약

이 논문은 미분 가환 리 대수의 준동형 $χ: L \to M$ 의 사영 맵 콘의 표준적인 $L_\infty$-대수 구조를 구성한다. 이 구조는 $L$ 의 리 대수 구조와 콘의 미분을 모두 올려주는 것으로, 유일성은 $L_\infty$-대수의 동형사상에 대해 성립하며, [19]에서 정의된 변형 함자와 일치한다. 이를 통해 기하학적 변형 함자를 연구하는 데 $L_\infty$-대수 기법을 적용할 수 있다.

ABSTRACT

We show that the mapping cone of a morphism of differential graded Lie algebras $χ\colon L o M$ can be canonically endowed with an $L_\infty$-algebra structure which at the same time lifts the Lie algebra structure on $L$ and the usual differential on the mapping cone. Moreover, this structure is unique up to isomorphisms of $L_\infty$-algebras. The associated deformation functor coincides with the one introduced by the second author in arXiv:math.AG/0507287.

연구 동기 및 목표

• 미분 가환 리 대수 준동형 $\chi: L \to M$ 의 사영 맵 콘 $C_\chi$ 에 표준적인 $L_\infty$-대수 구조를 부여한다.
• 이 구조가 $L$ 의 리 괄호와 $C_\chi$ 의 미분을 모두 올려주는 것을 보장한다.
• 결과적으로 얻어진 변형 함자 $\operatorname{Def}_{\widetilde{C}(\chi)}$ 가 [19]에서 정의된 함자 $\operatorname{Def}_\chi$ 와 동형임을 보이며, 이는 기하학적 변형 문제를 모델링한다.
• 이 $L_\infty$-구조가 $L_\infty$-대수의 동형사상에 대해 유일함을 확립한다.
• 사영 맵 콘에서 유도된 변형 함자에 대해 $L_\infty$-대수의 기법—예를 들어 쿠란시의 지도와 모듈리 공간 기술—를 적용할 수 있는 프레임워크를 제공한다.

제안 방법

• 사영 맵 콘 $C_\chi = L \oplus M[-1]$ 을 정의하고, 미분 $\delta(l,m) = (dl, \chi(l) - dm)$ 를 통해 코호형 복합체를 형성한다.
• 나이브한 괄호는 라이프니츠 법칙을 만족하지만 야코비 항등식은 만족하지 않기 때문에, 이를 고차 괄호를 통해 수정함으로써 $C_\chi$ 에 $L_\infty$-대수 구조를 구성한다.
• 호모토피 이론적 방법을 사용하여 고차 $L_\infty$ 괄호를 명시적으로 기술하며, 이중 항은 나이브 괄호와 일치하고 고차 괄호는 야코비레이터를 수정한다.
• 결과적으로 얻어진 $L_\infty$-대수 $\widetilde{C}(\chi)$ 가 $L_\infty$-대수의 범주에서 동형사상에 대해 유일함을 증명한다.
• $\operatorname{Def}_{\widetilde{C}(\chi)}$ 와 $\operatorname{Def}_\chi$ 가 동형임을 보이며, 이는 비틀린 머르케르-카르탕 방정식의 해에 대한 게이지 동치류를 통해 정의된다.
• 특히, $L_\infty$-대수의 준동형이 변형 함자를 동형으로 이룬다는 사실을 이용하여, 기저 준동형 $\chi$ 에 대한 준동형에 대한 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 미분 가환 리 대수 준동형 $\chi: L \to M$ 의 사영 맵 콘에 표준적인 $L_\infty$-대수 구조를 올려줄 수 있는가? 이는 $L$ 의 리 괄호와 콘의 미분을 모두 올려주는가?
• RQ2 이 $L_\infty$-구조는 $L_\infty$-대수의 동형사상에 대해 유일한가?
• RQ3 이 $L_\infty$-구조와 관련된 변형 함자가 [19]에서 정의된 함자 $\operatorname{Def}_\chi$ 와 일치하는가? 이는 기하학적 변형 문제를 모델링한다.
• RQ4 $L_\infty$-대수의 기법—예를 들어 쿠란시의 지도나 모듈리 공간 기술—을 사영 맵 콘에서 유도된 변형 함자에 적용할 수 있는가?
• RQ5 사영 맵 콘에 정의된 $L_\infty$-구조는 준동형에 대해 함자적이고, 준동형 $\chi$ 의 준동형에 대해 호환되는가?

주요 결과

• 모든 미분 가환 리 대수 준동형 $\chi: L \to M$ 에 대해 사영 맵 콘 $C_\chi$ 는 표준적인 $L_\infty$-대수 구조를 지닌다. 이는 $L$ 의 리 괄호와 $C_\chi$ 의 미분을 모두 올려주며, 정리 1에서 증명된다.
• 이 $L_\infty$-구조는 $L_\infty$-대수의 동형사상에 대해 유일하며, 이는 표준적인 함자 $\widetilde{C}: \mathbf{DGLA}^2 \to \mathbf{L}_\infty$ 를 정의한다.
• 이 $L_\infty$-대수와 관련된 변형 함자 $\operatorname{Def}_{\widetilde{C}(\chi)}$ 는 [19]에서 정의된 함자 $\operatorname{Def}_\chi$ 와 동형이며, 정리 2에서 보였다.
• 이 구성은 $L_\infty$-대수 기법—예를 들어 쿠란시 지도의 호모토피 불변성과 국소 모듈리 공간 기술—을 사영 맵 콘에 기반한 변형 문제에 적용할 수 있게 한다.
• 만약 $\chi$ 가 준동형이면, 유도된 사상 $\widetilde{C}(\chi_1) \to \widetilde{C}(\chi_2)$ 는 $L_\infty$-대수의 선형 준동형이 되며, 이는 변형 함자를 동형으로 이룬다. 이는 정리 8.2에서 보였다.
• 예로서, $A \to B$ 의 서브젝션에서 근 $I$ 를 가진 호크시ลด 코homology의 경우, $K = \operatorname{Hoch}^\bullet(I,B)[-1]$ 에 유도된 $L_\infty$-구조는 $I^2 \neq 0$ 이면 비자명하다. 이는 $f \in H^1(K)$ 에 대해 $[f,f] \neq 0$ 임으로 증명된다.