[논문 리뷰] On homotopy Lie bialgebroids

Denis Bashkirov, Alexander A. Voronov|arXiv (Cornell University)|2016. 12. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 6

한 줄 요약

이 논문은 임의의 차수의 미분 형식을 갖는 기하학적 구조를 다루는 데 사용되는, $L_{\nu}$-이중다발을 도입한다. 이는 그라디에이션 다중다발 위에서 해밀토니안 접근법을 사용하여 리 이중다발의 호모토피 이론적 일반화를 제공한다. $L_{\nu}$-사상은 이동된 코탄젠트 다중다발 위에서 해밀토니안의 일치성에 의해 정의되며, 크라벤코의 $L_{\nu}$-이중대수 개념을 기하학적 맥락으로 확장하고, 파وان 근사 기하학에서 고차원 심플렉틱 구조를 위한 유도 기하학적 프레임워크를 제공한다.

ABSTRACT

A well-known result of A. Vaintrob characterizes Lie algebroids and their morphisms in terms of homological vector fields on supermanifolds. We give an interpretation of Lie bialgebroids and their morphisms in terms of odd symplectic dg-manifolds, building on the approach of D. Roytenberg. This extends naturally to the homotopy Lie case and leads to the notion of $L_\infty$-bialgebroids and $L_\infty$-morphisms between them.

연구 동기 및 목표

• 유도 기하학과 그라디에이션 다중다발을 사용하여 리 이중다발을 호모토피 리($L_{\nu}$) 구조로 일반화하는 것.
• 로이텐버그의 리 이중다발에 대한 해밀토니안 접근법을 $L_{\nu}$-맥락으로 확장하는 것.
• $L_{\nu}$-이중다발 간의 $L_{\nu}$-사상을 이동된 코탄젠트 다중다발 위에서 해밀토니안 함수의 일치성에 의해 정의하는 것.
• 기저 다중다발이 한 점일 경우 크라벤코의 $L_{\nu}$-이중대수 개념을 특수한 경우로 회복하는 것.
• 특히 $L_{\nu}$-구조의 맥락에서, 파وان 기하학의 유도 기하학적 프레임워크를 제공하는 사상의 프레임워크를 마련하는 것.

제안 방법

• 기본 차수 3의 해밀토니안이 만족하는 마우러-카르탕 방정식을 통해, 기저가 있는 기하학적 다중다발 위에서 해밀토니안 접근법을 사용하여 $L_{\nu}$-이중다발을 특성화한다.
• 다중다발 $V^*[1] \oplus V[1]$ 위에서 큰 괄호 구조를 적용하여, $L_{\nu}$-이중대수의 구조를 $\{\chi, \chi\} = 0$의 해로 표현한다.
• 함수 대수 간의 역상과 테일러 전개 사상에 의해 $L_{\nu}$-사상을 정의하며, 이는 해밀토니안과의 일치성을 보장한다.
• 기본 차수 1의 미분을 갖는 미분기하학적 그라디에이션 다중다발의 범주에서 작업하며, 매끄러운 함수 대수로 대칭대수 $S(V^*)$를 사용한다.
• 다중다발 $T^*[2]V[1]$을 $V^*[1] \oplus V[1]$로 식별함으로써, 해밀토니안을 $V[1]$의 대칭거듭제곱 위의 다중선형 연산자로 해석한다.
• 기본 차수 3의 연산자 $\chi \in \prod_{m,n \geq 1} \operatorname{Hom}(S^m(V[1]), S^n(V[-1]))$를 사용한 $L_{\nu}$-대수의 대수적 표현을 채택하며, 이는 $\{\chi, \chi\} = 0$를 만족한다.

실험 결과

연구 질문

• RQ1 어떻게 기하학적 유도 기하학을 사용하여 리 이중다발을 호모토피 리($L_{\nu}$) 구조로 일반화할 수 있는가?
• RQ2 $L_{\infty}$-이중다발 간의 $L_{\infty}$-사상의 적절한 개념은 무엇인가?
• RQ3 그라디에이션 다중다발 위에서의 해밀토니안 형식은 어떻게 $L_{\infty}$-이중다발으로 확장되는가?
• RQ4 크라벤코의 $L_{\infty}$-이중대수 개념은 점 위에서의 $L_{\infty}$-이중다발의 특수한 경우로 복원될 수 있는가?
• RQ5 큰 괄호와 마우러-카르탕 방정식은 어떻게 $L_{\infty}$-이중대수의 구조를 표현하는가?

주요 결과

• 논문은 $T^*[2]V[1]$ 위에서 기본 차수 3의 해밀토니안이 마우러-카르탕 방정식 $\{\chi, \chi\} = 0$을 만족하는 $L_{\infty}$-이중다발을 구성하며, 이는 리 이중다발을 일반화한다.
• $L_{\infty}$-이중다발 간의 $L_{\infty}$-사상은 $f: V[1] \to S(W[1])$인 사상 $f$에 의해 정의되며, $\chi_V \circ f^* \circ T = f^* \circ T \circ \chi_W$를 만족하여 해밀토니안과의 일치성을 보장한다.
• 기저 다중다발이 한 점일 경우, $L_{\infty}$-이중다발의 구조는 크라벤코의 $L_{\infty}$-이중대수 개념으로 축소된다.
• 기본 차수 3의 연산자 $\chi \in \prod_{m,n \geq 1} \operatorname{Hom}(S^m(V[1]), S^n(V[-1]))$로 표현되는 $L_{\infty}$-이중대수의 대수적 표현은 $\{\chi, \chi\} = 0$를 만족하며, 큰 괄호가 연산을 표현한다.
• 이 프레임워크는 $L_{\infty}$-이중대수와 사상에 대한 유도 기하학적 해석을 제공하며, 고전적 파وان 기하학적 그림을 고차원 호모토피 구조로 확장한다.
• 논문은 $L_{\infty}$-이중다발 맥락에서 일관된 사상 프레임워크를 수립하였으며, 이 분야에서 처음으로 $L_{\infty}$-사상의 정의를 제시한다.