[논문 리뷰] Odd Jacobi manifolds: general theory and applications to generalised Lie algebroids

Andrew James Bruce|arXiv (Cornell University)|2012. 06. 28.

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

한 줄 요약

이 논문은 초다양체 위에서 고전적 잭비 구조의 그라스만-홀드 대응체로, '홀드 잭비 다양체'를 도입한다. 이는 홀드 쇼우텐 구조와 조건을 만족하는 고유한 호모로지 벡터장에 의해 정의되며, 고전적 잭비 항등식과 유사한 조건을 만족한다. 주요 기여는 잭비 대수다발이 자연스럽게 '준 Q-다양체'(곡선 Q-구조)로 나타나며, 일반화된 리 대수다발에 대한 새로운 기하학적 프레임워크를 제공하고, 홀드 심플렉틱 기하학과 양자역학 이론 간의 연결을 확장한다는 것이다.

ABSTRACT

In this paper we define a Grassmann odd analogue of Jacobi structure on a supermanifold. The basic properties are explored. The construction of odd Jacobi manifolds is then used to reexamine the notion of a Jacobi algebroid. It is shown that Jacobi algebroids can be understood in terms of a kind of curved Q-manifold, which we will refer to as a quasi Q-manifold.

연구 동기 및 목표

• 초다양체 위에서 고전적 잭비 구조의 그라스만-홀드 대응체를 개발하여, 홀드 기하학적 구조 이론의 격차를 메운다.
• Jacobi 대수다발의 기하학적 성격을 재해석함으로써, 이를 '준 Q-다양체'(곡선 Q-구조)로 재정의함으로써 명확히 한다.
• 1-코사이클이 존재하는 상황에서 리 대수다발의 개념을 홀드 잭비 기하학의 프레임워크에 자연스럽게 통합한다.
• 특히 Z-중량을 가진 계승 다각형에서의 홀드 초기하학적 구조를 활용하여, 일반화된 리 대수다발에 대한 새로운 시각을 제공한다.
• 홀드 잭비 기하학을 통해 $L_\infty$-대수나 비선형 잭비 대수다발과 같은 고차원 구조의 기초를 마련한다.

제안 방법

• 초다양체 위에서 '거의 쇼우텐 구조'로 불리는, 코탄젠트 배럴의 그라스만-홀드 다항식으로서 차수 2인 구조를 사용하여 홀드 잭비 구조를 정의한다.
• 무게 1인 호모로지 벡터장 $Q$를 도입하며, $[Q, Q] = 0$이 수정 항을 제외하고 성립함을 보여, Q-구조의 일반화를 이룬다.
• 고전적 잭비 항등식과 유사한 조건을 통해 홀드 쇼우텐 구조와 호모로지 벡터장 간의 호환성을 확립한다: $[[S,S]] = 2E \wedge S$ 및 $\mathcal{L}_E S = 0$이며, 여기서 $E$는 $Q$와 관련된 벡터장이다.
• 패리티 반전 함수자 $\Pi$를 사용하여 $\Pi E^*$의 전체 공간을 벡터다발의 쌍대와 연결함으로써, 표준 이중 벡터다발 사상의 구성이 가능해진다.
• 표준 좌표와 무게 할당을 사용하여 $R: T^*(\Pi E^*) \to T^*(\Pi E)$의 심플렉틱 동형사상을 구성하며, 이 사상이 심플렉틱 구조를 유지함을 증명한다.
• 기하학적 자료인 쇼우텐 구조와 호모로지 벡터장이 요구되는 곡선 Q-구조의 공리에 부합함을 보여, 잭비 대수다발을 준 Q-다양체로 재해석한다.

실험 결과

연구 질문

• RQ1 어떻게 초다양체 위에서 고전적 잭비 구조의 그라스만-홀드 대응체를 일관적으로 정의할 수 있는가?
• RQ2 홀드 초기하학적 구조, 예를 들어 준 Q-다양체를 통해 잭비 대수다발의 기하학적 특성은 어떻게 기술할 수 있는가?
• RQ3 1-코사이클이 존재하는 상황에서 리 대수다발의 개념을 홀드 잭비 기하학의 프레임워크에 자연스럽게 통합할 수 있는가?
• RQ4 표준 이중 벡터다발 사상 $R: T^*(\Pi E^*) \to T^*(\Pi E)$는 $T^*(\Pi E^*)$와 $T^*(\Pi E)$ 위의 다양한 홀드 초기하학적 구조를 어떻게 연결하는가?
• RQ5 홀드 잭비 구조는 비선형 또는 고차 호모토피 구조, 예를 들어 $L_\infty$-대수로 일반화될 수 있는가?

주요 결과

• 홀드 잭비 다양체는 그라스만-홀드 쇼우텐 구조 $S$와 $[Q, Q] = 0$이 수정 항을 포함하여 성립하는 호모로지 벡터장 $Q$에 의해 정의되며, 고전적 잭비 구조를 홀드 초기하학적 설정으로 일반화한다.
• 함수 위에서의 관련 홀드 잭비 괄호는 쇼우텐 괄호 공리를 만족하지만, $E = 0$이 아닐 경우 라이프니츠 법칙을 위반함을 보이며, 고전적 잭비 괄호의 라이프니츠 법칙 위반과 유사하다.
• 잭비 대수다발은 '준 Q-다양체'—호모로지 벡터장 $Q$와 호환되는 홀드 쇼우텐 구조 $S$를 가진 초다양체—와 동치임을 보였다. 여기서 $[[S,S]] = 2E \wedge S$ 및 $\mathcal{L}_E S = 0$를 만족한다.
• 표준 이중 벡터다발 사상 $R: T^*(\Pi E^*) \to T^*(\Pi E)$는 심플렉틱 동형사상임을 증명하였으며, 심플렉틱 구조 $dp_A dx^A + d\pi^\alpha d\eta_\alpha$와 $dp_A dx^A + d\pi_\alpha d\xi^\alpha$를 유지한다.
• 좌표의 무게와 그라스만 기수 할당—예를 들어 $\operatorname{w}(\eta_\alpha) = 1$, $\widetilde{\eta}_\alpha = \widetilde{\alpha} + 1$—은 변환 법칙과 심플렉틱 구조의 일관성을 유지하는 데 필수적이다.
• 이 프레임워크는 일반화된 리 대수다발을 자연스럽게 수용하며, 준 Q-구조를 통해 잭비 대수다발의 홀드 초기하학적 실현으로서 그들이 어떻게 나타나는지를 보여준다.