[논문 리뷰] On smoothness of isometries between orbit spaces

Marcos M. Alexandrino, Alexander Lytchak|arXiv (Cornell University)|2011. 07. 13.

Advanced Algebra and Geometry참고 문헌 19인용 수 10

한 줄 요약

이 논문은 등장하는 등장군 작용의 궤도 공간 간의 등거리사상이 반드시 미분구조를 유지하는지 조사하며, 국소 기하가 컴 pact 군의 표현으로 모델링될 경우 이 성립함을 보여준다. 핵심 결과는 표현의 몫 간 등거리사상이 관계된 다항식을 보존하면 매끄럽다는 것을 증명하며, 이를 통해 무한소적으로 폴라(foliation)인 경우 모린요 추측을 증명한다.

ABSTRACT

We discuss the connection between the smooth and metric structure on quotient spaces, prove smoothness of isometries in special cases and discuss an application to a conjecture of Molino.

연구 동기 및 목표

• 몫 공간의 미터릭 구조가 그 미분구조를 결정하는지, 특히 궤도 공간 간의 등거리사상이 반드시 미분구조를 유지하는지 판단하는 것.
• 특이 리만 군 평탄화와 궤도 공간에서의 미터릭과 미분구조 간의 상호작용을 탐색하는 것.
• 군 표현의 연구로 문제를 축소시켜 등거리사상의 매끄러움에 대한 기하학적 기준을 제시하는 것.
• 특이 리만 군 평탄화의 폐쇄가 특이 리만 군 평탄화임을 증명한 모린요의 추측을 적용하는 것.
• 클래식 결과들인 마이어스-스틴로드 및 쉬벨리의 제약정리 등을 특이 몫과 평탄화의 맥락으로 일반화하는 것.

제안 방법

• 슬라이스 정리와 지수 함수를 이용해 등거리사상의 전역 문제를 표현의 국소 모델로 축소한다.
• 스와르츠 정리에 의해 표현 공간 $V$ 위의 매끄러운 $G$-불변 함수는 불변 다항식의 매끄러운 함수임을 이용한다.
• 표현 $V/G$와 $W/H$의 궤도 공간 간 등거리사상이 불변 다항식을 보존하면 이는 미분구조임을 증명한다.
• 기하학적 해소 기법을 사용해 특이 평탄화를 정규 평탄화로 대체하여 기본 형식과 케일링 장에 관한 기존 결과를 적용할 수 있도록 한다.
• 기본 1형식과 수평 벡터장 간의 쌍대성을 이용해 해소된 공간에서의 매끄러운 구조를 원래 궤도 공간으로 다시 옮긴다.
• 기본 형식과 전형적 시스템 이론을 활용해 무한소적으로 폴라인 평탄화의 폐쇄가 특이 리만 군 평탄화임을 보인다.

실험 결과

연구 질문

• RQ1 몫 공간 $M/G$의 미터릭이 그 미분구조를 결정하는가, 즉 이러한 몫 간의 모든 등거리사상이 미분구조를 유지하는가?
• RQ2 컴 pact 군 표현의 궤도 공간 간 등거리사상이 불변 다항식에 대한 그 행동을 분석함으로써 매끄럽다는 것을 보일 수 있는가?
• RQ3 지오데식선 沿해 다항식 성장하는 함수들이 아르케소프 공간의 미터릭과 미분구조를 얼마나 잘 특징짓는가?
• RQ4 완전한 리만 다양체 위의 특이 리만 군 평탄화의 폐쇄가 스스로 특이 리만 군 평탄화가 되는가, 모린요의 추측이 맞는가?
• RQ5 특히 무한소적으로 폴라인 평탄화의 경우, 기하학적 해소 지도를 통해 몫 공간의 미분구조를 해소된 공간에서 옮길 수 있는가?

주요 결과

• 컴 pact 군 표현의 궤도 공간 $V/G$와 $W/H$ 간의 등거리사상은 오직 그가 생성하는 불변 다항식을 보존할 때에만 미분구조임을 보여준다.
• 몫 공간 $M/G$의 매끄러운 구조는 $M$ 위의 $G$-불변 매끄러운 함수들에 의해 결정되며, 이 구조는 작용이 폴라일 경우 미터릭과 호환된다.
• 모린요의 추측 — 특이 리만 군 평탄화의 폐쇄는 스스로 특이 리만 군 평탄화이다 — 는 무한소적으로 폴라인 평탄화에 대해 성립한다.
• 기하학적 해소 $F: ilde{M} o M$ 는 $M$ 과 $ ilde{M}$ 위의 기본 형식의 층 사이에 전단사 사상을 유도하며, 이를 통해 미분구조를 이전할 수 있다.
• 기본 1형식을 해소된 공간에서 옮긴 후 그 쌍대를 통해 $M$ 위의 매끄러운 수평 벡터장을 구성할 수 있으며, 이는 폐쇄된 평탄화를 생성한다.
• 무한소적으로 폴라인 평탄화의 경우, 폐쇄된 수평 벡터장은 최소 스트라타에 대한 제약 조건으로 유일하게 결정되며, 이는 모린요 이론의 핵심 예측을 확인한다.