[논문 리뷰] Linearization of Regular Proper Groupoids

Alan Weinstein|ArXiv.org|2001. 07. 05.

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

한 줄 요약

이 논문은 궤도에 대한 유한형 조건이 만족될 경우, 정규 적으로 올바른 리 군oids에 대해 선형화 정리를 확립한다. 이는 군oids가 궤도의 정규 벡터다발 위에서 이소트로피 군의 작용에 의한 작용 군oids와 국소적으로 동형임을 보여준다. 증명은 슬라이스 정리와 크라인의 코homology 소멸 정리에 기반한 변형 방법을 결합하여, 슬라이스에서의 선형화를 전체 궤도로 확장한다.

ABSTRACT

Let G be a Lie groupoid over M such that the target-source map from G to M x M is proper. We show that, if O is an orbit of finite type (i.e. which admits a proper function with finitely many critical points), then the restriction G|U of G to some neighborhood U of O in M is isomorphic to a similar restriction of the action groupoid for the linear action of the transitive groupoid G|O on the normal bundle NO. The proof uses a deformation argument based on a cohomology vanishing theorem, along with a slice theorem which is derived from a new result on submersions with a fibre of finite type.

연구 동기 및 목표

• 유한형 궤도 근처에서 정규 적으로 올바른 리 군oids에 대한 국소 선형화 정리를 확립하기.
• 적절한 군행동의 정규형을 일반적인 정규 적으로 올바른 군oids로 일반화하기.
• 군oids가 궤도의 정규 벡터다발 위에서 이소트로피 군의 선형 작용 군oids와 국소적으로 동형임을 증명하기.
• 궤도에 대한 미분위상수학적 유한성 조건이 선형화에 유효함을 보여주기.
• 정규 경우에서 슬라이스에서의 국소 선형화를 전체 궤도로 확장하는 슬라이스 정리 개발하기.

제안 방법

• 궤도의 슬라이스 근처에서 군oids를 선형화하는 문제를 줄이기 위해 슬라이스 정리를 사용하기.
• 크라인의 코homology 소멸 정리를 적용하여 군oids의 구조를 선형 근사로 변형하기.
• 군oids의 정규성 덕분에 슬라이스 제한이 본질적으로 에탈임을 보장하기.
• 이소트로피 군이 궤도의 정규 벡터다발 위에서 작용하는 작용 군oids로 선형 근사를 구성하기.
• 궤도 상에서 유한한 수의 임계점을 가진 적절한 함수의 존재라는 유한성 조건을 사용하여 변형 방법이 적용되도록 보장하기.
• 슬라이스 결과를 궤도의 전이성 구조와 결합하여 이sovomorphism을 궤도의 이웃 분야로 확장하기.

실험 결과

연구 질문

• RQ1 정규 적으로 올바른 리 군oids는 유한형 궤도 근처에서 선형화될 수 있는가?
• RQ2 그러한 선형화가 존재하기 위해 궤도에 필요한 필수 조건은 무엇인가?
• RQ3 군oids에 대한 슬라이스 정리는 전체 군oids의 선형화와 어떻게 관련되는가?
• RQ4 크라인의 코homology 소멸 정리는 선형 모델로의 변형을 어느 정도 가능하게 하는가?
• RQ5 이 맥락에서 궤도의 유한형 조건은 선형화에 대해 자연스럽고 필수적인 요구사항인가?

주요 결과

• 유한형 궤도의 이웃 분야에 제한된 정규 적으로 올바른 리 군oids는 이소트로피 군이 궤도의 정규 벡터다발 위에서 작용하는 작용 군oids와 동형이다.
• 선형화는 크라인의 코homology 소멸 정리에 기반한 변형 방법을 통해 달성된다.
• 슬라이스 정리는 정규 경우에서 군oids의 슬라이스에서의 선형화가 전체 궤도로 확장됨을 보장한다.
• 유한형 조건—궤도 상에서 유한한 수의 임계점을 가진 적절한 함수의 존재—은 이 맥락에서 필수적이며 자연스럽다.
• 결과는 고전적인 적절한 군행동의 선형화를 더 넓은 정규 적으로 올바른 군oids의 맥락으로 일반화한다.
• 증명는 정규 적으로 올바른 군oids가 국소적으로 선형 작용에 의해 모델링됨을 보여주며, 비전이적 군oids로의 정규형 이론을 확장한다.