[논문 리뷰] Deformation of Dirac structures via $L_\infty$ algebras

Marco Gualtieri, Mykola Matviichuk외 1명|arXiv (Cornell University)|2017. 02. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 1인용 수 3

한 줄 요약

이 논문은 정확한 코우란트 대수에서 디라크 구조의 변형을 제어하는 $L_\infty$ 대수 사이에, 횡단 디라크 또는 거의 디라크 구조의 선택에 관계없이 정규화된 $L_\infty$-동형사상이 존재함을 확립한다. 단순화된 $BV_\infty$-기반 형식과 순수 스핀어 방법을 사용하여, 이러한 대수들이 정규화된 동치임을 증명하며, 이는 형식성 사상과 횡단의 변화에 따른 메우어-카르탕 원소에 대한 명시적 공식을 이끌어내며, (구-)파아송 기하학, 리 대수기, 코다이라-스펜서 이론을 포함한 복소다양체의 변형에 응용된다.

ABSTRACT

The deformation theory of a Dirac structure is controlled by a differential graded Lie algebra which depends on the choice of an auxiliary transversal Dirac structure; if the transversal is not involutive, one obtains an $L_\infty$ algebra instead. We develop a simplified method for describing this $L_\infty$ algebra and use it to prove that the $L_\infty$ algebras corresponding to different transversals are canonically $L_\infty$-isomorphic. In some cases, this isomorphism provides a formality map, as we show in several examples including (quasi)-Poisson geometry, Dirac structures on Lie groups, and Lie bialgebras. Finally, we apply our result to a classical problem in the deformation theory of complex manifolds: we provide explicit formulas for the Kodaira-Spencer deformation complex of a fixed small deformation of a complex manifold, in terms of the deformation complex of the original manifold.

연구 동기 및 목표

• 코우란트 대수에서 횡단 디라크 구조의 선택에 따라 변형 이론이 비정규화되며 발생하는 의존성 문제를 해결하기 위해.
• 다른 횡단 구조에서 유래한 변형 $L_\infty$ 대수 사이에 정규화된 $L_\infty$-동형사상을 구축하기 위해.
• 비통합된 디라크 구조와 곡선형 $L_\infty$ 대수로의 형식의 일반화를 위해.
• 이 동형사상을 적용하여 변형된 복소다양체의 코다이라-스펜서 복합체에 대한 명시적 공식을 도출하기 위해.
• 작은 변형 하에서 복소구조의 변형 복합체에 대해 티안-토도로프 유형의 형식성 결과를 수립하기 위해.

제안 방법

• 코우란트 대수의 클리퍼드 대수의 구조와 순수 스핀어를 사용하여, 변형 $L_\infty$ 대수를 단순화된 방식으로 재구성한다.
• 로이텐베르크의 유도된 괄호 구성의 양자화로 $BV_\infty$ 형식을 적용한다.
• 변형 매개변수 $\varepsilon$ 와 관련된 연산자 $R_\varepsilon$ 로부터 유도된 다중선형 사상 $f_k$ 의 가중치를 통해 $L_\infty$-동형사상을 정의한다.
• 이중선형 연산 $R_\varepsilon(\alpha_1,\alpha_2) = i_\varepsilon(\alpha_1 \wedge \alpha_2) - (i_\varepsilon \alpha_1) \wedge \alpha_2 - \alpha_1 \wedge i_\varepsilon \alpha_2$ 를 사용하여 고차 괄호와 사상 성분을 명시적으로 계산한다.
• 유도된 사상이 $L_\infty$ 사상 공리, 특히 일반화된 자코비 항등식을 만족함을 검증한다.
• 동형사상을 메우어-카르탕 원소에 적용하여, 변형된 해에 대한 전환 공식 $B = (1 + \rho\varepsilon)^{-1}\rho$ 를 유도한다.

실험 결과

연구 질문

• RQ1 디라크 구조의 변형 $L_\infty$ 대수는 횡단 디라크 구조의 선택에 따라 어떻게 달라지는가?
• RQ2 횡단이 분할되지 않더라도, 서로 다른 횡단에서 유도된 변형 대수 사이에 정규화된 $L_\infty$-동형사상을 구성할 수 있는가?
• RQ3 이 동형사상은 파아송 또는 일반화된 복소기하학과 같은 기하학적 맥락에서 형식성 사상으로 이어지는가?
• RQ4 변형된 복소다양체의 코다이라-스펜서 DGLA 는 이 동형사상을 사용하여 원래 DGLA 의 형태로 명시적으로 표현할 수 있는가?
• RQ5 횡단 구조의 변화에 따라 메우어-카르탕 원소에 대한 명시적 전환 법칙은 무엇인가?

주요 결과

• 고정된 디라크 구조 위에서 서로 다른 횡단 디라크 구조에 대응하는 $L_\infty$ 대수는 정규화된 $L_\infty$-동형사상으로 연결되며, 이는 변형 이론의 모호성을 해결한다.
• 이 동형사상은 $BV_\infty$-기반 형식을 통해 명시적으로 구성되며, $L_\infty$ 사상 공리들을 만족하는 다중선형 사상 $f_k$ 의 가중치를 제공한다.
• 메우어-카르탕 원소 $\rho$ 에 대해, 변형된 해는 $B = (1 + \rho\varepsilon)^{-1}\rho$ 로 주어지며, $1 + \rho\varepsilon$ 가 가역적일 경우 수렴한다.
• 이 동형사상은 원래 및 변형된 복소구조의 쇼우텐-니헨후이스 괄호 사이의 티안-토도로프 유형의 공식을 유도한다.
• 원래 괄호와 변형된 괄호에 의해 유도된 코homology 괄호는 서로 동형이며, 이는 코homology 에서 동일한 차단 지도를 유도한다.
• 이 방법은 곡선형 $L_\infty$ 대수에도 적용 가능하며, 원래 복소구조의 변형 복합체를 기반으로 변형된 복소다양체의 코다이라-스펜서 복합체에 대한 명시적 공식을 제공한다.