[논문 리뷰] The twisting procedure

Vladimir Dotsenko, Sergey Shadrin외 1명|arXiv (Cornell University)|2018. 10. 06.

Advanced Topics in Algebra참고 문헌 16인용 수 9

한 줄 요약

이 논문은 호모토피 대수학에서의 비틀기 절차에 대한 개념적 프레임워크를 제공하며, 미분형 리 대수, 아소시아티브 대수, 그리고 옵레파트의 메우러–카르탕 원소들이 게이지 군 작용을 통해 새로운 호모토피 대수를 생성하는 방식을 보여준다. 이는 옵레파트가 의미 있는 비틀기 절차를 허용하는 조건을 설정하며, 그래프 복합체의 코homology를 계산하여, 비틀어진 BV 옵레파트의 0차 코homology가 제르스텐하버 옵레파트와 동형임을 확인한다. 이는 그로텐디크–타이히뮐러 군에 대한 함의를 지닌다.

ABSTRACT

This paper provides a conceptual study of the twisting procedure, which amounts to create functorially new differential graded Lie algebras, associative algebras or operads (as well as their homotopy versions) from a Maurer--Cartan element. On the way, we settle the integration theory of complete pre-Lie algebras in order to describe this twisting procedure in terms of gauge group action. We give a criterion on quadratic operads for the existence of a meaningful twisting procedure of their associated categories of (homotopy) algebras. We also give a new presentation of the twisting procedure for operads à la Willwacher and we perform new homology computations of graph complexes.

연구 동기 및 목표

• 미분형 대수와 옵레파트에서 비틀기 절차에 대한 개념적이고 함의론적인 프레임워크를 제공하기.
• 그로탄디크–타이히뮐러 군에 대한 함의를 지닌다.
• 완비 프리-리 대수에서의 변형 이론을 개발하여 비틀기 절차의 배경이 되는 게이지 군 작용을 모델링한다.
• 비대칭 옵레파트의 비틀기 절차를 새로운 대수적 표현을 통해 재해석하고 일반화한다.
• 특히, $\Delta$로 표시된 입력의 수에 따라 필터링하는 방식으로 BV 옵레파트의 비틀어진 변형 복합체의 코homology를 계산한다.
• 첫 번째 스펙트럴 시퀀스의 코chain 복합체가 코오그멘티드 코알제브라의 코바르 구조와 동형임을 식별하여 $E^2$-페이지의 코homology를 계산할 수 있도록 한다.
• 완비 프리-리 대수에서의 게이지 작용을 통합하는 데 있어 완비 프리-리 대수의 역할을 설명한다.

제안 방법

• 완비 프리-리 대수의 통합 이론을 개발하여 비틀기 절차의 배경이 되는 게이지 군 작용을 모델링한다.
• 메우러–카르탕 원소들을 비틀기 매개변수로 사용하여, 굴절된 $\mathcal{A}_\infty$- 및 $\mathcal{L}_\infty$-대수에서 비틀기 절차를 게이지 작용으로 정의한다.
• 필터링되고 완비된 콘볼루션 대수의 구조를 기반으로 비대칭 옵레파트에 대한 비틀기 절차의 새로운 표현을 도입한다.
• 스펙트럴 시퀀스를 사용하여 BV 옵레파트의 비틀어진 변형 복합체의 코homology를 계산하며, $\Delta$로 표시된 입력의 수에 따라 필터링한다.
• 첫 번째 스펙트럴 시퀀스의 코chain 복합체가 코오그멘티드 코알제브라의 코바르 구조와 동형임을 식별하여 $E^2$-페이지의 코homology를 계산할 수 있도록 한다.
• 비틀어진 $\mathrm{Tw}\operatorname{BV}(n)$의 코homology는 $\operatorname{Gerst}^+$의 기저 원소 $\lambda^{(\sigma,\bar{0},\bar{*})}$로 생성됨을 보여준다.

실험 결과

연구 질문

• RQ1 비틀기 절차는 호모토피 대수학에서 게이지 군 작용으로 체계적으로 어떻게 이해될 수 있는가?
• RQ2 이차 옵레파트가 그 호모토피 대수학에서 잘 정의된 비틀기 절차를 허용하기 위한 조건은 무엇인가?
• RQ3 BV 옵레파트의 비틀어진 변형 복합체의 코homological 구조는 어떠한가?
• RQ4 비대칭 옵레파트의 비틀기 절차는 그래프 복합체의 호모로지와 그로텐디크–타이히뮐러 군과 어떻게 관련이 있는가?
• RQ5 완비 프리-리 대수는 굴절된 $\mathcal{L}_\infty$-대수에서 게이지 작용을 통합하는 데 어떤 역할을 하는가?

주요 결과

• 비틀어진 BV 옵레파트 $\mathrm{Tw}\operatorname{BV}(n)$의 코homology는 제르스텐하버 옵레파트 $\operatorname{Gerst}^+$와 동형이며, 기저는 $\lambda^{(\sigma,\bar{0},\bar{*})}$로 이루어져 있으며, 여기서 $\bar{*} = (-,\dots,-)$이다.
• 비틀어진 $\mathrm{Tw}\operatorname{BV}$의 코homology를 계산하는 스펙트럴 시퀀스는 $E^2$-페이지에서 붕괴하며, $E^2 \cong \mathrm{H}(\Lambda(J))$는 원소 $\lambda^{(\sigma,\bar{0},\bar{*})}$로 생성된다.
• 변형 복합체의 첫 번째 스펙트럴 시퀀스는 $|x|=0$, $|y|=|z|=1$, $\Delta(y) = x\otimes z - z\otimes x$인 코오그멘티드 코알제브라 $C = \mathbb{k}1 \oplus \mathbb{k}x \oplus \mathbb{k}y \oplus \mathbb{k}z$의 코바르 구조와 동형이다.
• 스펙트럴 시퀀스의 $E^1$-페이지에서의 미분은 $d^1(yZ^kX^l) = (-1)^{l+1}xZ^{k+1}X^l$이고, $d^1(xZ^kX^l) = 0$이며, 이에 따라 $E^2$는 $xX^l$ ($l \geq 0$)로 생성된다.
• $\mathrm{Def}(\mathcal{S}^{-1}\mathcal{L}_\infty \to \operatorname{BV})$의 1차 코homology가 $\mathrm{H}(\mathrm{Tw}\operatorname{BV})$에 작용하는 것은 $\operatorname{Gerst}^+$의 1차 미분 $\mu \mapsto \lambda$에 해당한다.
• $\mathcal{S}^{-1}\mathcal{A}_\infty \to \operatorname{BV}$의 사상에 대한 유일한 비자명한 무한소 변형 클래스는 1차원이며, 이는 $\operatorname{Gerst}^+$의 $\lambda$-연산에 해당한다.