[논문 리뷰] Transitive Lie algebroids - categorical point of view

Александр Сергеевич Мищенко|arXiv (Cornell University)|2010. 06. 24.

Diverse Scientific Research in Ukraine인용 수 5

한 줄 요약

이 논문은 범주론적 프레임워크를 사용하여 전이적 리 대수다발을 분류하며, 매끄러운 다양체에서 전이적 리 대수다발로 가는 호모토피 함자를 풀어내는 데에 사용된다. 고정된 리 대수 $g$를 갖는 전이적 리 대수다발의 동형류는 다양체 $M$와 분류 공간 $
\mathcal{B}_g$ 사이의 호모토피 클래스 $[M, \mathcal{B}_g]$와 대응되며, 이는 $
\mathcal{B}_g$의 코homology를 통해 특성 클래스를 특성화하는 데 기여한다. 핵심 결과는 가환 리 대수 $g$에 대해 평탄한 리 대수다발과 $H^2(M; \bar{g})$의 코homology 클래스를 통한 분류이다. 이 접근법은 자연 변환의 함수론을 사용하여 고전적 특성 클래스 이론을 리 대수다발으로 일반화한다.

ABSTRACT

The intention of this article is to make an attempt of classification of transitive Lie algebroids 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.

연구 동기 및 목표

• 전이적 리 대수다발을 범주론적 및 호모토피적 방법을 사용하여 분류하는 것.
• 고정된 리 대수 $g$를 갖는 전이적 리 대수다발을 위한 분류 공간 $\mathcal{B}_g$를 구성하는 것.
• 리 대수다발의 함수에서 코homology 함수로의 자연 변환으로서 전이적 리 대수다발의 특성 클래스를 정의하는 것.
• 벡터다발에 대한 고전적 특성 클래스 이론을 전이적 리 대수다발의 맥락으로 일반화하는 것.
• 전이적 리 대수다발과 $
  \mathcal{B}_g$로의 사상 호모토피 클래스 사이의 대응을 설정하는 것.

제안 방법

• 매끄러운 사상 $f: M' \to M$에 대해 전이적 리 대수다발에 대한 풀어내기(역상) 구조 $f^{!!}(\mathcal{A})$를 사용하여, 호모토피 함수를 수립한다.
• 앨런 허처의 벡터다발 작업에서 영감을 얻어, 호모토피적인 사상은 동일한 풀어내기를 유도함을 보이며, 이는 함수가 호모토피 불변임을 의미한다.
• 다양체 $M$ 위에서 섬유가 $g$인 전이적 리 대수다발의 동형류 집합 $
  \mathcal{A}(M)$와 동치가 되는 분류 공간 $
  \mathcal{B}_g$를 구성한다.
• 특성 클래스를 함수 $
  \mathcal{A}$에서 코homology 함수 $H^*$로의 자연 변환으로 특성화하며, 찬-웨일 이론과 유사하게 다룬다.
• 자리표시 변경 시 전이 함수 $\varphi_{\beta\alpha}$와 접속 형식 $\omega_{\beta\alpha}$를 분석하며, 자동형사상 $\eta_{\beta}$와 1형식 $\mu_{\beta}$를 포함하는 변환 법칙을 유도한다.
• 가환 리 대수 $g$의 경우, $\varphi_{\beta\alpha}$는 일정하며, $\omega_{\beta\alpha}$는 $C^1(\mathfrak{U}, \Omega^1(\bar{g}))$에서 츄체 코호몰로지 사이클을 정의하며, $d'\omega = d''\omega = 0$을 만족하여 $[\omega] \in H^2(M; \bar{g})$의 클래스를 유도한다.

실험 결과

연구 질문

• RQ1 전이적 리 대수다발을 범주론적 및 호모토피적 도구를 사용하여 어떻게 분류할 수 있는가?
• RQ2 풀어내기 구조가 전이적 리 대수다발에 대한 호모토피 함수를 수립하는 데 어떤 역할을 하는가?
• RQ3 전이적 리 대수다발의 특성 클래스는 함수의 자연 변환으로서 어떻게 유도되는가?
• RQ4 고정된 리 대수 $g$를 갖는 전이적 리 대수다발을 위한 분류 공간 $
  \mathcal{B}_g$의 구조는 무엇인가?
• RQ5 $\mathcal{B}_g$의 코homology는 전이적 리 대수다발의 특성 클래스를 어떻게 캐릭터라이즈하는가?

주요 결과

• 고정된 리 대수 $g$를 갖는 전이적 리 대수다발의 범주론은 다양체 $M$에서 분류 공간 $
  \mathcal{B}_g$로의 사상 호모토피 범주와 동치이며, 즉 $\mathcal{A}(M) \cong [M, \mathcal{B}_g]$이다.
• 가환 리 대수 $g$의 경우, 전이적 리 대수다발은 평탄한 리 대수다발 $\bar{g}$와 $H^2(M; \bar{g})$의 코homology 클래스 $[\omega]$에 의해 분류되며, 이는 츄체 사이클 $\omega_{\beta\alpha}$에서 유도된다.
• 가환 경우 전이 함수 $\varphi_{\beta\alpha}(x)$는 일정하며, 이는 관련 다발 $\bar{g}$가 평탄함을 의미한다.
• 코homology 클래스 $[\omega]$는 자리표시의 선택과 무관하게 잘 정의되며, 변환 법칙이 츄체 사이클 조건을 유지하므로 정의가 타당하다.
• 유도된 다발 $\overline{H_1(g)}$와 $\overline{H^*(g)}$는 평탄하며, 접속 형식 $\omega_{\beta\alpha}$는 코homology 클래스 $[\overline{\omega}] \in H^2(M; \overline{H_1(g)})$를 유도한다.
• 분류는 구조군이 $\widetilde{\mathrm{Aut}(g)}$인 리 대수다발에 의해 결정되며, 이는 호모로지에 대한 작용이 연속이 되게 하는 최소 위상으로 장비되어 있어, 관련 다발의 평탄성을 보장한다.