[논문 리뷰] Global rigidity of conjugations for locally non-discrete subgroups of Diff^w(S^1)

Anas Eskif, Julio C. Rebelo|arXiv (Cornell University)|2015. 07. 14.

Mathematical Dynamics and Fractals참고 문헌 10인용 수 3

한 줄 요약

이 논문은 원주 $S^1$의 실해석적 미분동형사상의 군 ${\rm Diff}^\omega(S^1)$의 유한생성이며 국소적으로 $C^2$-비이산인 부분군에 대해 전역적인 위상적 강성성을 확립한다. 공식화된 이터레이티드 커뮤테이터 기법과 $C^3$-정규화 기법을 융합하여, 두 such 군을 상호변환하는 호메오모르피즘이 반드시 실해석적임을 증명함으로써, 매끄럽게 굴곡된 원주 동역학 이론에서 핵심적인 강성 문제를 해결한다.

ABSTRACT

We prove a global topological rigidity theorem for locally $C^2$-non-discrete subgroups of the group of real analytic diffeomorphisms of the circle.

연구 동기 및 목표

• 유한생성되고 국소적으로 $C^2$-비이산인 ${\rm Diff}^\omega(S^1)$의 부분군에 대해 전역적인 위상적 강성 정리를 확립하기.
• 이러한 군들 사이의 위상적 동형사상이 반드시 실해석적 미분동형사상임을 보이기.
• 동일한 비이산 조건 하에 하이퍼볼릭 군의 ${\rm Diff}^\omega(S^1)$로의 표현에 이 강성을 확장하기.
• 반복된 커뮤테이터 수열의 붕괴를 방지하는 데 있어 해석성의 역할을 명확히 하기.
• $C^1$-설정에서의 방법의 한계를 다루고 고차 정규성으로의 개선 방향을 제안하기.

제안 방법

• 고차 도함수를 다루기 위해 Faà di Bruno 공식을 활용한 이터레이티드 커뮤테이터를 통한 군 원소의 정규화.
• 커뮤테이터 수열에서 도함수의 성장을 조절하기 위해 스케일링을 위한 정규화 사상 $x \mapsto \lambda x$ 적용.
• 항등원에 대해 $C^2$-근접일 때 $D^3[f_1,f_2]$에 대한 추정을 통해 반복 커뮤테이터의 $C^3$-노름에서 기하급수적 감쇠를 확립.
• $r \geq 2$에 대해 국소 $C^r$-비이산성에서 국소 $C^{r+1}$-비이산성이 유도됨을 보이는 귀납적 증명.
• 정적 측도 이론과 Ghys의 $C^\infty$-접촉 결과를 활용하여 $C^\infty$-닫힘에서 항등원으로 붕괴되는 것을 방지.
• 이전 연구에서의 벡터장 기법과 $C^3$-정규화를 융합하여 위상적 동형사상을 해석적 동형사상으로 상향시킴.

실험 결과

연구 질문

• RQ1 두 ${\rm Diff}^\omega(S^1)$의 부분군 사이의 위상적 동형사상이 언제 반드시 실해석적일까?
• RQ2 $C^2$-비이산 조건을 $C^1$-비이산 군으로 약화하거나 확장할 수 있는가? 이 경우에도 강성이 유지되는가?
• RQ3 반복된 커뮤테이터 수열이 군의 닫힘에서 항등원으로 붕괴되지 않도록 보장하기 위해 해석성이 수행하는 역할은 무엇인가?
• RQ4 커뮤테이터 이터레이션과 스케일링을 통한 정규화가 고차 정규성을 어떻게 유지하는가?
• RQ5 이 방법은 아벨이 아니며 비하이퍼볼릭인 군이나 고차원 아벨 작용으로까지 어떻게 확장될 수 있는가?

주요 결과

• 두 유한생성되고 국소적으로 $C^2$-비이산인 ${\rm Diff}^\omega(S^1)$의 부분군을 상호변환하는 임의의 호메오모르피즘은 반드시 실해석적 미분동형사상이어야 한다.
• 스케일링 사상 $x \mapsto \lambda x$ 하에서 반복 커뮤테이터의 $C^3$-노름은 $\lambda^{2n} < 1/10$ 조건을 만족할 경우 기하급수적으로 감쇠한다.
• $r \geq 2$에 대해 국소 $C^r$-비이산성이 도함수 추정의 귀납적 적용을 통해 국소 $C^{r+1}$-비이산성이 유도됨을 보였다.
• 스케일링이 일阶 도함수를 제어하지 못하므로 $C^1$-설정에서는 방법이 실패하며, 이는 근본적인 장벽임을 시사한다.
• 해석성 조건은 군의 닫힘이 항등원으로 붕괴되는 것을 방지하기 위해 필수적이며, Ghys의 $C^\infty$-접촉 결과로 이를 입증하였다.
• 결론 C는 위상적 동형사상인 해석적 $S^1$-포장 다발의 Godbillon-Vey 계수가, 홀로노미가 국소적으로 $C^2$-비이산일 경우에 동일함을 확인한다.