[논문 리뷰] Transverse measures, the modular class, and a cohomology pairing for Lie algebroids

Sam Evens, Jiang-Hua Lu외 1명|ArXiv.org|1996. 10. 16.

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

한 줄 요약

이 논문은 리 대수총의 모듈라 클래스를 그 첫 번째 리 대수총 코homology 군 내의 자연스러운 원소로 정의한다. 이는 리 대수총이 선다발 $ Q_A = \wedge^{\text{top}}A \otimes \wedge^{\text{top}}T^*P $ 위에 자연스러운 표현을 가지며 유도되는 것으로, 유한 차원 리 대수의 코homology 이중성과 유사한 Poincaré 유형의 이중성 쌍을 정의한다. 이는 특히 헬로모르픽 경우에서 모듈라 클래스가 첫 번째 체르누 클래스와 연결됨을 보여준다.

ABSTRACT

We show that every Lie algebroid $A$ over a manifold $P$ has a natural representation on the line bundle $Q_A = \wedge^{top}A \otimes \wedge^{top} T^*P$. The line bundle $Q_A$ may be viewed as the Lie algebroid analog of the orientation bundle in topology, and sections of $Q_A$ may be viewed as transverse measures to $A$. As a consequence, there is a well-defined class in the first Lie algebroid cohomology $H^1(A)$ called the modular class of the Lie algebroid $A$. This is the same as the one introduced earlier by Weinstein using the Poisson structure on $A^*$. We show that there is a natural pairing between the Lie algebroid cohomology spaces of $A$ with trivial coefficients and with coefficients in $Q_A$. This generalizes the pairing used in the Poincare duality of finite-dimensional Lie algebra cohomology. The case of holomorphic Lie algebroids is also discussed, where the existence of the modular class is connected with the Chern class of the line bundle $Q_A$.

연구 동기 및 목표

• 리 대수총 $ A $ 가 선다발 $ Q_A = \wedge^{\text{top}}A \otimes \wedge^{\text{top}}T^*P $ 위에 자연스러운 표현을 가지도록 정의함으로써, 위상수학에서의 방향성 다발을 일반화한다.
• 이 표현으로부터 유도되는 1-코사이클을 통해 $ H^1(A) $ 내의 원소로 모듈라 클래스를 정의하고, 이가 웨인스타인의 $ A^* $ 위의 파울슨 구조를 통한 이전 정의와 동치임을 보인다.
• 자명한 계수와 계수 $ Q_A $ 를 가진 리 대수총 코homology 공간 간에 자연스러운 이중성 쌍을 구성함으로써, 유한 차원 리 대수의 Poincaré 이중성의 일반화를 수행한다.
• 특히 헬로모르픽 경우에서 모듈라 클래스의 의미를 탐구하며, 이가 $ Q_A $ 의 첫 번째 체르누 클래스와의 관계를 규명한다.

제안 방법

• 선다발 $ Q_A = \wedge^{\text{top}}A \otimes \wedge^{\text{top}}T^*P $ 를 정의하여, 이는 리 대수총의 방향성 다발에 해당하는 일반화이다.
• 이에 대해 $ A $ 가 $ Q_A $ 위에 자연스러운 표현을 구성함으로써, $ C^1(A, Q_A) $ 내의 1-코사이클을 정의할 수 있다.
• 이 1-코사이클을 이용해 $ H^1(A) $, 즉 첫 번째 리 대수총 코homology 군 내의 원소로 모듈라 클래스를 정의한다.
• 자명한 계수 $ \mathbb{R} $ 과 계수 $ Q_A $ 를 가진 코homology 공간 간에 비퇴화된 이중성 쌍을 구성함으로써, Poincaré 이중성의 일반화를 확립한다.
• 이론을 헬로모르픽 리 대수총에 적용하여, 모듈라 클래스가 $ Q_A $ 의 첫 번째 체르누 클래스와 관련이 있음을 보인다.
• 이미 알려진 정의들(특히 $ A^* $ 위의 파울슨 구조를 통한 웨인스타인의 모듈라 클래스 정의)과의 일致성을 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 모든 리 대수총에 대해 자연스러운 선다발을 부여할 수 있으며, 이는 기하학적 또는 코homological 역할을 어떻게 수행하는가?
• RQ2 모듈라 클래스가 $ H^1(A) $ 내에서 가지는 코homological 의미는 무엇이며, 횡단 측도와의 관계는 어떠한가?
• RQ3 다른 계수를 가진 리 대수총 코homology 군 간에 Poincaré 유형의 이중성 쌍을 구성할 수 있는가?
• RQ4 헬로모르픽 경우에서 모듈라 클래스는 어떻게 행동하며, 특성류와의 관계는 무엇인가?
• RQ5 표현 $ Q_A $ 를 통한 모듈라 클래스 정의가 $ A^* $ 위의 파울슨 구조를 통한 정의와 동치인가?

주요 결과

• 선다발 $ Q_A = \wedge^{\text{top}}A \otimes \wedge^{\text{top}}T^*P $ 는 리 대수총 $ A $ 에 대해 자연스러운 표현을 지니며, 이는 $ A $ 와 관련된 자연스러운 기하학적 대상이 된다.
• 모듈라 클래스는 이 표현에 관련된 1-코사이클로부터 유도되는 $ H^1(A) $ 내의 코homology 클래스로 정의되며, 선택에 무관하다.
• 이 모듈라 클래스는 이전에 웨인스타인에 의해 $ A^* $ 위의 파울슨 구조를 통해 정의된 것과 정확히 일치한다.
• 자명한 계수 $ \mathbb{R} $ 과 계수 $ Q_A $ 를 가진 코homology 공간 간에 비퇴화된 이중성 쌍이 구성되었으며, 이는 유한 차원 리 대수의 Poincaré 이중성의 일반화이다.
• 헬로모르픽 경우에서 모듈라 클래스는 $ Q_A $ 의 첫 번째 체르누 클래스와 관련이 있음을 보이며, 이는 특성류 해석을 제공한다.
• 이 이론은 리 대수총 코homology 내에서 횡단 측도와 이중성의 통합적 프레임워크를 제공하며, 고전 결과를 리 대수총 설정으로 일반화한다.