[논문 리뷰] The Existence of Coupling in the Category of Transitive Lie Algebroid

Xiaoyu Li, A. S. Mishchenko|arXiv (Cornell University)|2013. 06. 23.

Intracerebral and Subarachnoid Hemorrhage Research인용 수 4

한 줄 요약

이 논문은 전이성 리 대체수체와 관련된 접속다발 $TM$와 리 대수다발 $L$ 사이의 결합이 존재하는 데 필요한 필요충분조건을 확립한다. 외부자기동형군을 이산화하는 $\mathrm{Aut}(\mathfrak{g})$에 대한 정밀한 위상을 도입함으로써, 이러한 결합이 존재함과 동시에 $L$가 이 새로운 위상을 지닌 구조군을 갖는 국소적 평탄화를 가질 때에만 존재함을 보여주며, 전이성 리 대체수체의 분류 이론에서의 기본적 문제를 해결한다.

ABSTRACT

The coupling of the tangent bundle $TM$ with the Lie algebra bundle $L$ (K.Mackenzie,2005, Definition 7.2.2) plays the crucial role in the classification of the transitive Lie algebroids for Lie algebra bundle $L$ with fixed finite dimensional Lie algebra $ g$ as a fiber of $L$. Here we give a necessary and sufficient condition for existence such a coupling. Namely we define a new topology on the group $\Aut( g)$ of all automorphisms of Lie algebra $ g$ and show that tangent bundle $TM$ can be coupled with the Lie algebra bundle $L$ if and only if the Lie algebra bundle L admits a local trivial structure with structural group endowed with such new topology. The second version of the article is different from the first because of the improvement of the text by invaluable efforts of professor J.Stasheff, to whom we submit our sincere gratitude.

연구 동기 및 목표

• 전이성 리 대체수체에서 접다발 $TM$와 리 대수다발 $L$ 사이에 결합이 존재하는 조건을 해결하는 것.
• $\mathrm{Aut}(\mathfrak{g})/\mathrm{Int}(\mathfrak{g})$가 이산이 되도록 하는 $\mathrm{Aut}(\mathfrak{g})$에 대한 새로운 위상을 정의하는 것.
• 이 새로운 위상에 대해 $L$의 국소적 평탄화에 기반한 결합 존재 조건을 설정하는 것.
• 맥케이지의 장애이론을 일반화하여, 결합 조건을 명시적이고 필수적인 것으로 만드는 것.

제안 방법

• $\mathrm{Aut}(\mathfrak{g})/\mathrm{Int}(\mathfrak{g})$가 이산이 되도록 하는 더 섬세한 위상 $\mathrm{Aut}(\mathfrak{g})^\delta$를 자동형군 $\mathrm{Aut}(\mathfrak{g})$에 도입하는 것.
• $\varphi: M \to \mathrm{Aut}(\mathfrak{g})$를 미분 가능 함수로 정의하고, 그 조합을 몫사상 $q: \mathrm{Aut}(\mathfrak{g}) \to \mathrm{Aut}(\mathfrak{g})/\mathrm{Int}(\mathfrak{g})$와 분석하는 것.
• $q \circ \varphi$가 국소적으로 상수일 때이고 오직 그 때에만 $\frac{\partial \varphi}{\partial X} \varphi(x)^{-1} \in \mathrm{ad}\,\mathfrak{g}$가 모든 $x \in M$ 및 $X \in T_xM$에 대해 성립함을 증명하는 것.
• 국소적 평탄화와 분할항등식을 사용하여 $L$ 위에 접속 $\nabla$를 구성하고, 자연사상 $\natural$을 통해 다발의 동형사상 $\Xi: TM \to \mathrm{Out}\,\mathcal{D}_{\mathrm{Der}}(L)$를 정의하는 것.
• 각 국소적 평탄화 영역에서 $\Xi$의 곡률 $R^\Xi$가 0이 됨을 보여, $\Xi$가 유효한 결합임을 증명하는 것.
• $U_\alpha \cap U_\beta$에서 $\Xi^\alpha = \Xi^\beta$임을 보장함으로써, 결합이 전역적으로 잘 정의됨을 확립하는 것.

실험 결과

연구 질문

• RQ1 전이성 리 대체수체에서 접다발 $TM$와 리 대수다발 $L$ 사이에 결합이 존재하는 조건은 무엇인가?
• RQ2 자동형군 $\mathrm{Aut}(\mathfrak{g})$는 어떻게 위상화되어야 하며, 외부자기동형군이 이산이 되게 할 수 있는가?
• RQ3 결합 존재성과 이 새로운 위상에 대해 구조군을 갖는 $L$의 국소적 평탄성 사이의 정확한 관계는 무엇인가?
• RQ4 결합 조건을 명시적이고 필수적으로 만들면, 전이성 리 대체수체에 대한 장애이론을 완성할 수 있는가?

주요 결과

• 접다발 $TM$와 리 대수다발 $L$ 사이의 결합이 존재함과 동시에 $L$가 $\mathrm{Aut}(\mathfrak{g})$에 대한 새로운 위상으로 구조군을 갖는 국소적 평탄화를 가질 때에만 존재한다. 이 새로운 위상은 $\mathrm{Aut}(\mathfrak{g})/\mathrm{Int}(\mathfrak{g})$를 이산화한다.
• 결합 존재 조건은 $\mathrm{Aut}(\mathfrak{g})/\mathrm{Int}(\mathfrak{g})$로의 몫사상 $q$와 $\varphi: M \to \mathrm{Aut}(\mathfrak{g})$의 조합 $q \circ \varphi$가 국소적으로 상수임과 동치이다.
• 유도된 다발의 동형사상 $\Xi: TM \to \mathrm{Out}\,\mathcal{D}_{\mathrm{Der}}(L)$의 곡률은 각 국소적 평탄화 영역에서 식별적으로 0이 되며, 이는 $\Xi$가 유효한 결합임을 확인한다.
• 조건 $\nabla_X^\alpha - \nabla_X^\beta \in \mathrm{ad}\,L$ 덕분에 국소적 사상 $\Xi^\alpha$가 겹치는 영역에서 일致하므로, 결합 $\Xi$는 전역적으로 잘 정의되어 있다.
• 이 구성은 주어진 고정된 인접다발 $L$를 갖는 전이성 리 대체수체의 존재에 대한 완전한 기준을 제공하며, 분류 이론에서의 기본적 문제를 해결한다.