[논문 리뷰] Characteristic classes of transitive Lie algebroids. Categorical point of view

A. S. Mishchenko|arXiv (Cornell University)|2011. 11. 29.

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

한 줄 요약

이 논문은 고정된 유한차원 리 대수 구조 $\mathfrak{g}$를 가진 전이적 리 대수다발에 대해 범주론적이고 호모토피론적 프레임워크를 수립하며, 호모토피류를 통한 사상의 집합으로 이러한 대수다발을 분류하는 분류공간 $\cal B_{\mathfrak{g}}$를 구성한다. 전이적 리 대수다발의 특성류는 $\cal B_{\mathfrak{g}} \simeq F(\mathfrak{g}) \times K_{\mathrm{Out}(\mathfrak{g})}(Z\mathfrak{g},2)$의 코homology와 일치하며, 고전적 색-위르의 준동형과 호모토피론적 분류를 통합한다.

ABSTRACT

The talk was done at the International Conference "Analysis, Topology and Applications", Harbin, China, 23.08.2011. Transitive Lie algebroids have specific properties that allow to look at the transitive Lie algebroid as an element of the object of a homotopy functor. Roughly speaking each transitive Lie algebroids can be described as a vector bundle over the tangent bundle of the manifold which is endowed with additional structures. Therefore transitive Lie algebroids admits a construction of inverse image generated by a smooth mapping of smooth manifolds. The intention of my talk is to use a homotopy classification of transitive Lie algebroids due to K.Mackenzie (2005) and on this basis to construct a classifying space. The realization of the intention allows to describe characteristic classes of transitive Lie algebroids form the point of view a natural transformation of functors similar to the classical abstract characteristic classes for vector bundles and to compare them with that derived from the Chern-Weil homomorphism by J.Kubarski (1991).

연구 동기 및 목표

• 고정된 구조 리 대수 $\mathfrak{g}$를 가진 전이적 리 대수다발에 대한 호모토피론적 분류를 개발하기 위해.
• 맥케이너의 호모토피 분류 프레임워크를 사용하여 전이적 리 대수다발을 위한 분류공간 $\cal B_{\mathfrak{g}}$를 구성하기 위해.
• 전이적 리 대수다발의 특성류를 분류공간 $\cal B_{\mathfrak{g}}$의 코homology 원소로 해석하기 위해.
• 색-위르 준동형에서 유도된 특성류와 호모토피 분류에서 유래된 특성류를 비교하기 위해.
• 고전적 색-위르 접근법과 리 대수다발 이론에서 특성류에 대한 범주론적, 함자론적 시각을 통합하기 위해.

제안 방법

• 전이적 리 대수다발을 $E \to TM$로, 근처가 $\mathfrak{g}$인 벡터다발로 정의하고, 반대칭성, 자코비 항등식, 라이프니츠 법칙을 만족하는 리 괄호를 갖도록 한다.
• 매끄러운 다양체에서 전이적 리 대수다발으로의 호모토피 함자 $\cal T\cal L\cal A_{\mathfrak{g}}$를 정의하기 위해 $f^{!!}$의 역상 함자를 사용한다.
• 함자 $\cal T\cal L\cal A_{\mathfrak{g}}$에 대한 호모토피 코일리미트 또는 분류 대상으로서 분류공간 $\cal B_{\mathfrak{g}}$를 구성한다.
• $\cal B_{\mathfrak{g}} \simeq F(\mathfrak{g}) \times K_{\mathrm{Out}(\mathfrak{g})}(Z\mathfrak{g},2)$로 식별하며, 여기서 $F(\mathfrak{g})$는 $\mathfrak{g}$-접속의 공간이고 $K_{\mathrm{Out}(\mathfrak{g})}(Z\mathfrak{g},2)$는 아이レン버그-맥클레인 공간이다.
• 색-위르 준동형 $h_{\cal A}: \bigoplus (\Gamma \bigwedge L^*)^I \to {\cal H}^*(M, {\cal A})$를 적용하여 불변 다항식과 특성류를 연결한다.
• $\cal T\cal L\cal A_{\mathfrak{g}}$ 함자와 코homology 함자 $[-, \cal B_{\mathfrak{g}}]$ 사이의 자연 변환을 확립하여 특성류를 ${\cal H}^*(\cal B_{\mathfrak{g}})$의 원소로 얻는다.

실험 결과

연구 질문

• RQ1 고정된 리 대수 $\mathfrak{g}$를 가진 전이적 리 대수다발은 호모토피론적 방법을 통해 어떻게 동형류에 대해 분류될 수 있는가?
• RQ2 다양체 위의 전이적 리 대수다발을 매개변수화하는 분류공간 $\cal B_{\mathfrak{g}}$의 구조는 무엇인가?
• RQ3 이 호모토피론적 프레임워크 내에서 전이적 리 대수다발의 특성류는 색-위르 준동형과 어떻게 관련이 있는가?
• RQ4 색-위르 구성은 전이적 리 대수다발의 맥락에서 함자론적 자연 변환으로 어떻게 해석될 수 있는가?
• RQ5 분류공간 $\cal B_{\mathfrak{g}}$의 코homological 구조는 무엇이며, 어떻게 특성류를 캐리하는가?

주요 결과

• 고정된 구조 리 대수 $\mathfrak{g}$를 가진 전이적 리 대수다발에 대한 분류공간 $\cal B_{\mathfrak{g}}$는 $F(\mathfrak{g}) \times K_{\mathrm{Out}(\mathfrak{g})}(Z\mathfrak{g},2)$와 호모토피 동치이며, 여기서 $F(\mathfrak{g})$는 $\mathfrak{g}$-접속의 공간이고 $K_{\mathrm{Out}(\mathfrak{g})}(Z\mathfrak{g},2)$는 아이렌버그-맥클레인 공간이다.
• 다양체 $M$ 위의 전이적 리 대수다발에 대한 특성류의 집합은 코homology 링 ${\cal H}^*(\cal B_{\mathfrak{g}})$, 즉 ${\cal H}^*(F(\mathfrak{g}) \times K_{\mathrm{Out}(\mathfrak{g})}(Z\mathfrak{g},2))$와 동형이다.
• 전이적 리 대수다발에 대한 색-위르 준동형은 역상에 대해 자연스럽고, 분류공간 구성과의 호환성을 보장한다.
• 색-위르 준동형에서 유도된 특성류는 자연 변환 $[M, \cal B_{\mathfrak{g}}] \to {\cal H}^*(M, {\cal A})$의 이미지로 식별된다.
• ${\cal H}^2({\cal A}, \rho^T, ZL)$가 커플링 사상 $Coupling(T)$의 섬유 위에서 $\mbox{Obs}(T) = 0$일 때 자유롭고 전이적이며, 이는 분류의 일관성을 확인한다.
• 이 구성은 특성류를 보편 공간의 코homology 원소로 해석하는 범주론적 해석을 제공하며, 벡터다발에 대한 고전 이론을 일반화한다.