[논문 리뷰] Q-manifolds and Mackenzie theory: an overview

Theodore Voronov|ArXiv.org|2007. 09. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 25인용 수 9

한 줄 요약

이 논문은 맥켄지의 복잡한 이중 리 대수다발 정의와 Q-다양체—무게 +1의 동차 벡장이 있는 슈퍼다양체—를 이용한 간단한 서술 간의 등치성을 확립한다. Q-다양체를 통해 표현할 때 맥켄지의 이중 리 대수다발과 로이텐버그의 드린펠트 이중 구조가 동치임을 보여, 두 개별적으로 보이는 구성이 그레디에이션 슈퍼기하학과 동차 벡장에 기반한 하나의 우아한 프레임워크로 통합됨을 보여준다.

ABSTRACT

This text is meant to be a brief overview of the topics announced in the title and is based on my talk in Vienna (August/September 2007). It does not contain new results (except probably for a remark concerning Q-manifold homology, which I wish to elaborate elsewhere). "Mackenzie theory" stands for the rich circle of notions that have been put forward by Kirill Mackenzie (solo or in collaboration): double structures such as double Lie groupoids and double Lie algebroids, Lie bialgebroids and their doubles, nontrivial dualities for double and multiple vector bundles, etc. "Q-manifolds" are (super)manifolds with a homological vector field, i.e., a self-commuting odd vector field. They may have an extra Z-grading (called weight) not necessarily linked with the Z_2-grading (parity). I discuss double Lie algebroids (discovered by Mackenzie) and explain how this quite complicated fundamental notion is equivalent to a very simple one if the language of Q-manifolds is used. In particular, it shows how the two seemingly different notions of a "Drinfeld double" of a Lie bialgebroid due to Mackenzie and Roytenberg respectively, turn out to be the same thing if properly understood.

연구 동기 및 목표

• 이중 리 대수다발의 복잡한 정의를 Q-다양체의 언어로 단순화하는 것.
• 맥켄지의 이중 리 대수다발과 로이텐버그의 이중 리 대수다발에 대한 서로 다른 서술 간의 개념적·기술적 격차를 해소하는 것.
• 그레디에이션 슈퍼다양체와 동차 벡장을 이용해 이중 리 대수다발의 기하학적으로 직관적인 통합 서술을 수립하는 것.
• n중 리 대수다발 및 그 이중의 고차원 일반화에 대한 개념적 기초를 제공하는 것.
• 이중 리 대수다발의 구조가 Q-다양체 형식에서 이중 리 반대대수다발과 등치됨을 보여, 페어리티 반전을 통해 밝혀내는 것.

제안 방법

• 벡들러 $ E \to M $ 에 대해 $ \Pi E $ 위의 무게 +1의 동차 벡장 $ Q $ 를 갖는 슈퍼다양체인 Q-다양체로 리 대수다발을 표현한다.
• 리 대수다발의 구조와 $ \Pi E $ 위의 무게 +1의 동차 벡장 사이의 등치성, 또는 $ \Pi E^* $ 위의 무게 -1의 쇼우텐 괄호 사이의 등치성을 이용한다.
• 맥켄지의 이중 벡터다발 $ T^*E \to E^* \to M $ 를 $ \Pi^2 $ 를 통해 Q-다양체 프레임워크로 변환하여 $ \Pi^2 T^*E = T^*\Pi E $ 를 도출한다.
• 이중 리 대수다발의 구조 $ T^*E $ 가 두 서로추가되는 동차 벡장 $ X_{H_E} $ 와 $ X_{H_{E^*}} $ 가 각각의 섬유 방향에 대해 정의하는 이중 리 반대대수다발의 구조와 등치임을 보인다.
• 표준 심플렉틱 동형사상 $ T^*\Pi E \cong T^*\Pi E^* $ 를 적용하여, 로이텐버그의 드린펠트 이중을 $ Q = X_{H_E} + X_{H_{E^*}} $ 를 갖는 Q-다양체로 식별하고, 이가 페어리티 반전 후 맥켄지의 구성과 일치함을 보인다.
• 이중 벡터다발에 두 개의 서로추가되는 무게 +1의 동차 벡장이 존재하는 것은 Q-다양체 등치를 통해 이중 리 대수다발에 해당함을 이용한다.

실험 결과

연구 질문

• RQ1 맥켄지의 복잡한 이중 리 대수다발 정의를 슈퍼기하학의 언어로 어떻게 단순화할 수 있는가?
• RQ2 로이텐버그의 Q-다양체 기반 드린펠트 이중과 맥켄지의 리 대수다발의 코탄젠트 이중은 서로 등치되는가?
• RQ3 그레디에이션과 페어리티는 드린펠트 이중의 서로 다른 서술을 통합하는 데 어떤 역할을 하는가?
• RQ4 이중 리 대수다발은 두 개의 서로추가되는 동차 벡장이 있는 Q-다양체로 자연스럽게 기술될 수 있는가?
• RQ5 n중 리 대수다발의 이중의 일반적 구조는 무엇이며, 추가적인 기하적 특성을 갖는 (n+1)-중 구조를 유도하는가?

주요 결과

• 이중 리 대수다발은 각각의 섬유 방향에 대해 무게 +1의 두 서로추가되는 동차 벡장을 갖는 이중 벡터다발과 등치된다.
• Q-다양체를 통해 표현할 때 맥켄지의 이중 리 대수다발과 로이텐버그의 드린펠트 이중은 동치임을 보였다.
• 이중 리 대수다발의 $ T^*E $ 를 통한 구성은 $ T^*\Pi E $ 의 Q-다양체 그림과 등치되며, 동차 벡장 $ X_{H_E} $ 와 $ X_{H_{E^*}} $ 는 각각 $ E $ 와 $ E^* $ 의 리 대수다발 구조에 대응한다.
• 이중 벡터다발 \begin{CD} T^*\Pi E @>{}>> \Pi E^* \\ @VVV @VVV \\ \Pi E @>{}>> M \end{CD} 은 이중 리 반대대수다발이며, 그 기초 구조는 페어리티 반전 후 맥켄지의 이중 리 대수다발과 동형이다.
• 심플렉틱 기하학적으로 $ T^*\Pi E $ 의 표준 심플렉틱 구조는 리 대수다발의 드린펠트 이중의 불변 스칼라 곱과 대응되며 기하학적 연결 고리를 형성한다.
• 일반 원리는 확인되었다: n중 리 대수다발의 이중은 심플렉틱 구조를 갖는 (n+1)-중 리 대수다발을 유도하며, 2002년에 제안된 추측과 맥켄지와의 공동 연구에서 체계화된 바와 같다.