[논문 리뷰] On the classification of Regular Lie groupoids

Ieke Moerdijk|arXiv (Cornell University)|2002. 03. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 6

한 줄 요약

이 논문은 정규 리 군oids를 두 부분으로 분해하여 분류한다: 첫째, 에탈 군oids에 대한 비아벨 체히 코homology를 활용한 새로운 코homology 이론을 통해 에탈 군oids의 확장을 분류하는 것; 둘째, 완전한 횡단선에서 전체 다양체로의 확장으로의 내림을 위한 코homological 장벽을 제공하는 것. 장벽이 사라지면, 전역 확장의 집합은 핵 범주 위의 비터소르 군에 대한 주다발을 이룬다.

ABSTRACT

We observe that any regular Lie groupoid G over an manifold M fits
 into an extension K → G → E of a foliation groupoid E by a bundle of
 connected Lie groups K. If F is the foliation on M given by the orbits
 of E and T is a complete transversal to F, this extension restricts to T ,
 as an extension KT → GT → ET of an ´etale groupoid ET by a bundle of
 connected groups KT . We break up the classification into two parts. On
 the one hand, we classify the latter extensions of ´etale groupoids by (nonabelian)
 cohomology classes in a new ˇCech cohomology of ´etale groupoids.
 On the other hand, given K and E and an extension KT → GT → ET over
 T , we present a cohomological obstruction to the problem of whether this
 is the restriction of an extension K → G → E over M; if this obstruction
 vanishes, all extensions K → G → E over M which restrict to a given
 extension over the transversal together form a principal bundle over a
 “group” of bitorsors under K.We observe that any regular Lie groupoid G over an manifold M fits
 into an extension K → G → E of a foliation groupoid E by a bundle of
 connected Lie groups K. If F is the foliation on M given by the orbits
 of E and T is a complete transversal to F, this extension restricts to T ,
 as an extension KT → GT → ET of an ´etale groupoid ET by a bundle of
 connected groups KT . We break up the classification into two parts. On
 the one hand, we classify the latter extensions of ´etale groupoids by (nonabelian)
 cohomology classes in a new ˇCech cohomology of ´etale groupoids.
 On the other hand, given K and E and an extension KT → GT → ET over
 T , we present a cohomological obstruction to the problem of whether this
 is the restriction of an extension K → G → E over M; if this obstruction
 vanishes, all extensions K → G → E over M which restrict to a given
 extension over the transversal together form a principal bundle over a
 “group” of bitorsors under K.

연구 동기 및 목표

• 분류 군oids와 연결된 리 군의 범주를 포함하는 확장으로 정규 리 군oids를 분해하여 분류하는 것.
• 완전한 횡단선 위에서 확장을 분류하기 위한 새로운 비아벨 체히 코homology 이론을 개발하여 에탈 군oids에 적용하는 것.
• 주어진 횡단선 위의 확장을 전체 다양체 위의 전역 확장으로 올리기 위한 코homological 장벽을 제공하는 것.
• 장벽이 사라질 경우, 전역 확장의 모듈리 공간을 핵 범주 위의 비터소르 군에 대한 주다발로 묘사하는 것.

제안 방법

• 다양체 M 위의 정규 리 군oids G를 K → G → E의 확장으로 분해하여, E는 분할 군oids이고 K는 연결 리 군의 범주임을 확인한다.
• E가 M 위에 유도하는 분할 F에 대한 완전한 횡단선 T를 식별하여 분류 문제를 T로 축소한다.
• 에탈 군oids에 대한 새로운 비아벨 체히 코homology 이론을 사용하여 T 위에서의 확장 KT → GT → ET를 분류한다.
• 이 코homology 이론에서, 주어진 T 위의 확장이 M 위의 확장으로 올라가는지 여부를 결정하는 코homological 장벽을 구축한다.
• 장벽이 사라지면, 이러한 전역 확장의 집합을 핵 범주 K 위의 비터소르 군에 대한 주다발로 묘사한다.
• 비터소르의 구조와 군 작용을 활용하여, 장벽이 사라진 조건 하에서 확장의 집합을 매개변수화한다.

실험 결과

연구 질문

• RQ1 정규 리 군oids는 어떻게 그 구조적 확장에 의해 체계적으로 분류될 수 있는가?
• RQ2 에탈 군oids의 확장을 연결된 리 군의 범주로 분류하는 데 어떤 코homological 불변량이 사용되는가?
• RQ3 어떤 조건에서 횡단선 위의 확장이 전체 다양체로의 확장으로 올라갈 수 있는가?
• RQ4 장벽이 사라질 경우, 모든 전역 확장의 기하학적 구조는 어떻게 되는가?
• RQ5 핵 범주 K 위의 비터소르는 이러한 전역 확장의 집합을 어떻게 매개변수화하는가?

주요 결과

• 정규 리 군oids의 분류 문제는 새로운 비아벨 체히 코homology 이론을 통해 에탈 군oids의 확장을 분류하는 것으로 축소된다.
• 완전한 횡단선 T 위의 확장들은 이 새로운 이론의 코homology 클래스로 분류되며, 국소적 분류 메커니즘을 제공한다.
• 동일한 코homology 이론 내에서, 횡단선 위의 확장이 전체 다양체로의 확장으로 올라가는지 여부를 결정하는 코homological 장벽이 존재한다.
• 장벽이 사라지면, 주어진 횡단선 확장을 이루는 전역 확장의 집합은 핵 범주 K 위의 비터소르 군에 대한 주다발을 이룬다.
• 이러한 전역 확장의 모듈리 공간은 비터소르 군에 대한 토르서로 구성되어 있으며, 대칭성과 분류 데이터를 반영한다.
• 이 틀은 횡단선 축소와 코homological 리프팅을 통해 정규 리 군oids에 대한 완전한 장벽 이론적이고 분류 기반의 메커니즘을 수립한다.