[논문 리뷰] Cohomology for almost Lie algebroids

Melchior Grützmann, Xiaomeng Xu|arXiv (Cornell University)|2012. 06. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 초기하학의 Q-구조를 사용하여 약간의 리 대수총괄(Almost Lie algebroids)에 대한 코homology 이론을 제안한다—리 대수총괄의 일반화로, 자코비 항등식을 완화한 것이다. 이 코homology는 약간의 리 대수에서는 자명하지만, 정칙적인 약간의 리 대수총괄에서는 비자명하며, 앵커 사상의 상에 대한 리 대수총괄 코homology를 계산한다. 또한, 프리-코우런트 대수총괄의 디라크 구조를 통해 특이적이고 통합 가능한 분포로까지 확장된다.

ABSTRACT

We give numerous examples of almost Lie algebroids arising as Dirac structures in pre-Courant algebroids, e.g. from twisted Poisson structures, as well as from twisted actions of a Lie algebra. We moreover define a cohomology for them, motivated by a Q-structure, that is trivial for (bundles of) Lie algebras but characterizes the underlying integrable distribution the image of the anchor map.

연구 동기 및 목표

• 약간의 리 대수총괄에 대한 코homology 이론을 개발함으로써, 리 대수총괄의 자코비 항등식을 완화한 일반화를 다루고자 한다.
• 코homological 불변량을 사용하여 앵커 사상의 상을 통합 가능한 분포로 특성화하고자 한다.
• 프리-코우런트 대수총괄의 디라크 구조를 통해 특이적이지만 통합 가능한 분포로 코homological 도구를 확장하고자 한다.
• 완전한 초다양체 형식론에 의존하지 않는 기하학적, 비초기하학적 코homology 표현을 제공하고자 한다.
• 코homology와 AKSZ 구성에 의한 위상적 장 이론 간의 연결 고리를 설정하고자 한다.

제안 방법

• 자코비 항등식을 요구하지 않는 반대칭 브라켓, 앵커 사상, 라이프니츠 법칙을 사용하여 약간의 리 대수총괄을 정의한다.
• 자코비 항등식을 위반하는 정도를 나타내는 자코비레이터(Jacobiator)를 도입하고, 외부 공변 미분에 대해 닫혀 있음을 증명한다.
• 초함수 위의 Q-구조를 사용하여 코homology 복합체를 구성하고, 접근성을 위해 미분기하학으로 제한한다.
• 복합체 $ C^ullet(A, ho) $ 위의 미분 $ D $ 를 정의하며, 앵커와 브라켓에 대한 명시적 공식을 제시한다.
• 정칙적인 약간의 리 대수총괄에서 앵커 사상의 상에 대한 리 대수총괄 코homology를 계산하기 위해 코homology를 사용한다.
• 접선다발의 경우에 코homology가 드 람 코homology와 동형이며, 디라크 구조를 통해 왜곡된 파울슨 구조와 관련지어진다.

실험 결과

연구 질문

• RQ1 약간의 리 대수총괄에 대해 앵커 사상의 상의 통합성과 관련된 코homology 이론을 정의할 수 있는가?
• RQ2 약간의 리 대수총괄의 코homology는 기저가 되는 분포의 리 대수총괄 코homology와 어떻게 관련이 있는가?
• RQ3 약간의 리 대수총괄의 코homological 구조에서 자코비레이터의 역할은 무엇인가?
• RQ4 디라크 구조를 통해 유도된 특이적이지만 통합 가능한 분포에 대해 코homology를 이용하여 불변량을 정의할 수 있는가?
• RQ5 코homology의 배경이 되는 Q-구조는 AKSZ 형식론을 통해 위상적 장 이론을 구성할 수 있는가?

주요 결과

• 약간의 리 대수총괄의 자코비레이터는 외부 공변 미분에 대해 닫혀 있으며, 이는 코homological 프레임워크의 타당성을 뒷받침한다.
• 약간의 리 대수에서는 코homology가 자명하지만, 영이 아닌 앵커 사상이 존재하는 약간의 리 대수총괄에서는 비자명하다.
• 접선다발 $ TM $ 의 경우, 코homology는 드 람 코homology와 동형이다.
• 정칙적인 약간의 리 대수총괄에서는 코homology가 앵커 사상의 상에 대한 리 대수총괄 코homology를 계산한다.
• 특이적이지만 통합 가능한 분포가 앵커 사상의 상으로 표현될 경우, 코homology는 그 분포에 대한 코homology의 후보 정의가 된다.
• 이 구성은 AKSZ 구성과 호환되며, 위상적 장 이론에의 적용 가능성을 시사한다.