[논문 리뷰] Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones

Stefan Haller, Josef Teichmann|ArXiv.org|2001. 10. 03.

Advanced Topics in Algebra참고 문헌 5인용 수 7

한 줄 요약

이 논문은 수직 분포가 접선(bundle)을 덮는 다중 섬유다발 구조를 가진 닫힘 매끄러운 다양체에서, 항등사상에 매우 가까운 모든 미분동형사상은 섬유를 보존하는 미분동형사상들의 연속적 분해로 매끄럽게 표현될 수 있음을 증명한다. 이러한 분해와 온전한 역함수 정리( tame inverse function theorems)를 이용해, 저자들은 미분동형사상군이 매끄럽게 완전함(smoother perfect)임을 증명하며, 이러한 미분동형사상들을 표현하기 위해 필요한 교환자(commutators)의 수에 대한 명시적 상한을 제시한다.

ABSTRACT

We show that on a closed smooth manifold $M$ equipped with $k$ fiber bundle structures whose vertical distributions span the tangent bundle, every smooth diffeomorphism $f$ of $M$ sufficiently close to the identity can be written as a product $f=f_1... f_k$, where $f_i$ preserves the $i^{ ext{th}}$-fiber. The factors $f_i$ can be chosen smoothly in $f$. We apply this result to show that on a certain class of closed smooth manifolds every diffeomorphism sufficiently close to the identity can be written as product of commutators and the factors can be chosen smoothly. Furthermore we get concrete estimates on how many commutators are necessary.

연구 동기 및 목표

• 닫힌 다양체에서 섬유다발 분해를 이용하여 미분동형사상군의 매끄러운 완전성을 확립하는 것.
• 항등사상에 가까운 미분동형사상들을 표현하기 위해 필요한 교환자의 수에 대해 명시적이고 정량적인 상한을 제공하는 것.
• 미분동형사상들을 섬유를 보존하는 사상들로 분해하는 것이 미분동형사상에 대해 매끄럽게 이루어질 수 있음을 보여주는 것.
• 기존의 완전성 결과를 홀수 차원의 구와 컴팩트 리군을 포함한 광범위한 다양체의 클래스로 확장하는 것.
• 온전한 프레셰 공간(tame Fréchet spaces)의 범주에서 나쉬–모저 역함수 정리를 적용하여 분해와 교환자 인수분해의 매끄러움을 달성하는 것.

제안 방법

• 무한차원인 미분동형사상군의 성격을 다루기 위해 온전한 프레셰 공간의 범주에서 나쉬–모저 역함수 정리를 활용한다.
• 분해 과정에서 필요한 사상들의 매끄러움과 가역성을 보장하기 위해 온전한 추정과 온전한 동형사상을 적용한다.
• 작은 미분동형사상들을 개별적인 섬유다발 구조를 보존하는 사상들의 곱으로 표현하는 분해 정리를 활용한다.
• 섬유를 보존하는 미분동형사상들이 그들의 수직분포의 단면들로 구성되는 리 부분군을 이룬다는 사실을 활용한다.
• 지표 함수와 붕괴 함수를 이용한 지표화 기법을 통해 국소적 인수분해를 구성한다.
• 분해 결과와 게이지군 및 섬유별 자동사상군의 완전성에 관한 결과를 결합하여 전체 미분동형사상군의 전반적 완전성을 도출한다.

실험 결과

연구 질문

• RQ1 접선(bundle)을 덮는 다수의 섬유다발 구조의 수직분포를 가진 닫힘 다양체에서, 항등사상에 매우 가까운 모든 미분동형사상은 섬유를 보존하는 사상들의 곱으로 표현될 수 있는가?
• RQ2 이러한 분해는 미분동형사상에 대해 매끄럽게 이루어질 수 있는가?
• RQ3 모든 이러한 미분동형사상들은 교환자의 곱으로 표현될 수 있으며, 만약 그렇다면 몇 개의 교환자가 필요한가?
• RQ4 항등사상에 가까운 미분동형사상들을 표현하기 위해 필요한 교환자의 수에 대해 명시적 상한을 유도할 수 있는가?
• RQ5 홀수 차원의 구나 컴팩트 리군과 같은 어떤 다양체 클래스들이 이러한 매끄러운 완전성 결과를 허용하는가?

주요 결과

• 수직분포가 $TM$를 덮는 $k$개의 섬유다발 구조를 가진 닫힘 다양체 $M$에서, 항등사상에 매우 가까운 모든 미분동형사상 $f$는 $f = f_1 \times \times f_k$ 형태의 매끄러운 분해를 가지며, 각 $f_i$는 $i$번째 섬유다발을 보존한다.
• 분해 인자 $f_i$는 $f$에 대해 매끄럽게 의존하므로, 매끄러운 매개변수 공간에서의 결과가 성립함을 보장한다.
• 모든 섬유의 구조군 $\operatorname{Diff}(S_i)$가 매끄럽게 완전하다면, 미분동형사상군 $\operatorname{Diff}(M)$는 매끄럽게 완전하다.
• 홀수 차원의 구 $S^{2n+1}$의 경우, 호프 다발이 섬유다발 구조를 제공하며, 본 논문은 $N_{\operatorname{Diff}(S^{3})} \leq 18$을 보여주어 교환자의 수에 대한 구체적인 상한을 제시한다.
• 컴팩트 리군 $G$의 경우, $TG$를 덮는 $\dim G$개의 $S^1$-다발 구조가 존재하며, 이에 따라 $N_{\operatorname{Diff}(G)} \leq 3(\dim G)^2$의 상한이 도출된다.
• 결과는 게이지군과 벡터다발의 섬유별 구조(예: 계량, 심플렉틱 형식)를 가진 자동사상군으로도 확장되며, 이들 역시 명시적인 교환자 상한을 가진 채로 매끄럽게 완전하다.