[논문 리뷰] Lie II theorem for Lie algebroids via higher groupoids

Chenchang Zhu|arXiv (Cornell University)|2006. 12. 31.

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

한 줄 요약

이 논문은 임의의 리 대수다발(whether integrable or not)을 통합할 수 있는 균일한 소스-2연결 리 2군oids—즉, 균일한 W-군oids라 불리는 것—를 구성하여 리 대수다발에 대한 리 II 정리의 일반화를 제시한다. 이는 리 대수다발의 준동형이 이러한 고차 군oids 간의 준동형으로 유일하게 올라가는 것을 증명하며, 고차 미분 스택의 맥락에서 고전적인 리 II 정리를 일반화하고 완전한 함의적 통합 절차를 제공한다.

ABSTRACT

Following Sullivan's spacial realization of a differential algebra, we construct a universal integrating Lie 2-groupoid for every Lie algebroid. Then We show that unlike Lie algebras which one-to-one correspond to simply connected Lie groups, Lie algebroids (integrable or not) one-to-one correspond to a sort of etale Lie 2-groupoids with 2-connected source fibres. Finally, we discuss how to lift Lie algebroid morphisms to Lie 2-groupoid morphisms (Lie II Theorem).

연구 동기 및 목표

• 고전적인 리 II 정리—리 대수 준동형과 리 군 준동형 간의 관계—를 리 대수다발과 고차 군oids의 맥락으로 확장한다.
• 모든 리 대수다발이 고전적으로 리 군oids로 통합되지 않기 때문에, 미분 스택의 범주에서 균일한 통합 객체를 도입하여 이 문제를 해결한다.
• 리 대수다발과 소스 섬유가 2연결인 특수한 종류의 에탈리 리 2군oids 사이의 일대일 대응을 수립한다. 이는 리 III 정리의 일반화이다.
• 리 대수다발 준동형이 균일한 통합 리 2군oids 준동형으로 함의적으로 올라가는 함의적 통합 절차를 제공한다.

제안 방법

• 정점에서 0이 되는 리 대수다발 준동형 $ T\triangle^i \to A $로부터 구성된 단순형 집합 $ S(A) $를 정의하여, $ A $-경로와 $ A $-호모토피를 코딩한다.
• $ S(A) $에 칸 치환(Kan replacement)을 적용하여 균일한 리 2군oids $ \mathcal{G}(A) $를 얻으며, 이는 소스-2연결이다.
• 스택 기반의 군oids와 모리타 동치를 사용하여 $ \mathcal{G}(A) $를 미분 가능 스택에서의 군oids로 표현함으로써 기하학적 및 호모토피적 구조와의 호환성을 확보한다.
• 예를 들어 $ TS^2 $에 대해 $ \tilde{S}^2 \times \tilde{S}^2 / B\mathbb{Z} $와 같은 기저와 중심 확장을 포함하는 군oids 표현을 통해 균일한 W-군oids $ \mathcal{G}(A) $를 정의한다.
• 호모토피 정확열과 스택 이론적 방법을 사용하여, $ \mathcal{G}(A) $가 소스 섬유가 2연결인 임의의 리 대수다발 $ A $를 통합하는 균일한 객체임을 증명한다.
• 모든 리 대수다발 준동형 $ A \to B $가 유일하게 $ \mathcal{G}(A) \to \mathcal{G}(B) $의 리 2군oids 준동형으로 올라간다는 것을 증명함으로써, 이 맥락에서 리 II 정리가 성립함을 보인다.

실험 결과

연구 질문

• RQ1 고전적 의미에서 통합 가능하지 않은 리 대수다발에 대해서도 균일한 통합 객체를 구성할 수 있는가?
• RQ2 리 대수다발에 대해 단순연결된 리 군의 일반화가 되는 올바른 고차 군oids의 구조는 무엇인가?
• RQ3 리 대수다발 준동형이 함의적으로 통합 객체의 준동형으로 어떻게 올라갈 수 있는가?
• RQ4 특히 $ \pi_2 $와 같은 고차 호모토피 군은 리 대수다발의 통합 과정에서 어떤 역할을 하는가?
• RQ5 $ \mathcal{G}(A) $의 구성은 파오송 시그마 모델이나 호프 피복과 같은 알려진 기하적 객체와 어떻게 관련이 있는가?

주요 결과

• 리 대수다발 $ A $에서 유도된 균일한 W-군oids $ \mathcal{G}(A) $는 소스-2연결이며, 이는 소스 섬유의 $ \pi_1 $와 $ \pi_2 $가 자명함을 의미하여 최대한의 연결성을 확보한다.
• 접선다발 $ TS^2 $의 경우, 균일한 통합 리 2군oids는 $ \tilde{S}^2 \times \tilde{S}^2 / B\mathbb{Z} $이며, 여기서 $ \tilde{S}^2 $는 호프 피복에 해당하는 $ B\mathbb{Z} $-기저이고, 이 객체의 소스 섬유에서 $ \pi_2 $는 자명하다.
• 리 대수다발의 경로와 호모토피를 담은 단순형 집합 $ S(A) $에 대해 칸 치환을 적용함으로써 유도된 스택 기반 리 2군oids는 $ A $를 균일하고 함의적으로 통합한다.
• 균일한 W-군oids $ \mathcal{G}(A) $는 $ A $가 고전적 의미에서 통합 가능하지 않더라도, 미분 스택으로의 전환을 통해 $ A $를 완전히 통합한다.
• 이 맥락에서 리 II 정리는 성립한다: 모든 리 대수다발 준동형 $ A \to B $는 유일하게 $ \mathcal{G}(A) \to \mathcal{G}(B) $의 리 2군oids 준동형으로 올라간다. 이는 고전 결과의 일반화이다.
• $ \mathcal{G}(TS^2) $의 호모토피 군은 $ \pi_2(\text{소스 섬유}) = \pi_1(B\mathbb{Z}) = \mathbb{Z} $를 만족하지만, 총 소스 섬유의 $ \pi_2 $는 $ B\mathbb{Z} $-작용으로 인해 자명하여 2연결임이 확인된다.