[논문 리뷰] Rigidity of locally free Lie group actions and leafwise cohomology

Shigenori Matsumoto|arXiv (Cornell University)|2010. 02. 02.

Advanced Algebra and Geometry참고 문헌 14인용 수 4

한 줄 요약

이 논문은 매끄러운 다양체 위에서 아벨 및 솔vable 리 군의 국소 자유 작용에 대한 매개변수 고정성 조건을 수립하며, 잎맞춤 코homology를 핵심 도구로 사용한다. 군 작용이 기저 행렬이 기약이고 나쁜 유사근을 갖는 하이퍼볼릭 자기동형사상에서 유래할 경우, 작용은 매개변수 고정성이 있으며, 추가로 양성 조건이 만족되면 $C^\infty$ 고정성이 된다. 결과는 분할의 최소성으로 확장되며, 잎들이 최소 표면이 되게 하는 리만계량의 존재성과 관련된다.

ABSTRACT

Relations between parameter rigidity of locally free Lie group actions on closed manifolds and the 1st leafwise cohomology of the orbit foliations are discussed. Some computational results of the leafwise cohomology are included.

연구 동기 및 목표

• 매끄러운 다양체 위에서 아벨 및 솔vable 리 군의 국소 자유 작용에 대한 매개변수 고정성의 충분조건을 수립하기.
• 잎맞춤 코homology가 군 작용과 궤도 분할의 고정성 특성화에 어떻게 기여하는지 조사하기.
• 특히 관련 선형 단일화의 스펙트럼 성질과 연관하여 이러한 작용이 언제 $C^\infty$ 고정성이 되는지 결정하기.
• 고정성의 기하적 의미, 특히 모든 잎들이 최소 표면이 되게 하는 리만계량의 존재성과 관련하여 탐구하기.

제안 방법

• 군 작용에 의한 유도되는 분할에 대해, 군 작용에 관하여 불변인 미분형식을 사용하여 잎맞춤 코homology를 정의한다.
• 다양체 위에서 잎맞춤 부피형식이 닫힌 형식으로 확장될 수 있다는 코homological 조건을 사용하여 분할의 최소성 여부를 결정한다.
• $C^\infty$ 동역학 및 분할 이론의 결과, 특히 El Kacimi와 Nicolau의 궤도 분할 고정성 정리들을 적용한다.
• 유동의 횡단면에서의 첫 번째 재진입 시간 함수를 분석하여, 매개변수 고정성을 형태 $f = g \circ R_\alpha - g + c$의 코homological 방정식으로 환원한다.
• 고유값에 대한 수론적 조건(나쁜 유사근)을 활용하여 코homological 방정식의 해가 존재함을 보장하고, 이를 통해 매개변수 고정성을 확보한다.
• 다양체의 $H^p(M;\mathbb{R})$ 에서 분할의 $H^p(\mathcal{F})$ 로의 호모모르피즘 $r_*$ 의 전사성을 분할의 전체 최소성의 기준으로 사용한다.

실험 결과

연구 질문

• RQ1 닫힌 다양체 위에서 솔vable 리 군의 국소 자유 작용이 언제 매개변수 고정성이 되는가?
• RQ2 잎맞춤 코homology는 군 작용의 고정성과 불변 리만계량의 존재성과 어떻게 관련되는가?
• RQ3 토러스 위의 선형 분할이 언제 전체적으로 최소화 가능하며, 기울기 행렬의 디오판틴 유사근 유형은 어떤 역할을 하는가?
• RQ4 $C^\infty(M)$ 내의 부분공간들의 합 $\{Y(f)\}$ 와 $\{S(f)\}$ 가 닫혀 있는가, 그리고 이는 분할의 기하학에 어떤 의미를 갖는가?

주요 결과

• 하이퍼볼릭 $SL(2,\mathbb{Z})$-자기동형사상의 매핑 토러스 위에서의 국소 자유 $GA$-작용은 Ghys에 의해 전역 고정성이 있음이 입증됨.
• 2-토러스 위의 크로네커 흐름의 경우, 기울기 $\alpha$ 가 나쁜 유사근일 때, 즉 어떤 $C>0$, $\rho>0$ 와 모든 $k \in \mathbb{Z} \setminus \{0\}$ 에 대해 $\|k\alpha\|_{S^1} > C|k|^{-\rho}$ 를 만족할 때 매개변수 고정성이 성립함.
• 단일화 행렬 $A$ 의 특성다항식이 $\mathbb{Q}$ 위에서 기약일 경우, $G$-작용은 매개변수 고정성임.
• 모든 고유값이 양수이고 특성다항식이 기약일 경우, $G$-작용은 $C^\infty$ 고정성임. 이는 매개변수 고정성과 궤도 분할 고정성을 결합한 결과임.
• 하이퍼볼릭 곡면의 단위 접선다양체 위에서 아노소프 유동으로 유도된 분할 $\mathcal{W}^s$ 는 전체적으로 최소화 가능함. 이는 코homological 사상 $r_*$ 가 전사이기 때문이다.
• 닫힌 3-다양체 위에서 기하학적 흐름의 분할 $\mathcal{F}^s$ 는 거의 전체적으로 최소화 가능함. 왜냐하면 $r_*: H^2(M;\mathbb{R}) \to \mathcal{H}^2(\mathcal{F}^s)$ 가 동형이기 때문이다.