[논문 리뷰] Rigidity for $C^1$ actions on the interval arising from hyperbolicity I: solvable groups

Christian Bonatti, Ignacio Monteverde외 2명|arXiv (Cornell University)|2013. 09. 20.

Mathematical Dynamics and Fractals참고 문헌 15인용 수 9

한 줄 요약

이 논문은 단순히 $C^1$ 동역학을 갖는 가환-순환 군의 행동에 대해, 순환 생성자가 가환 부분군 위에서 초구형으로 작용할 경우의 강성 결과를 확립한다. 이러한 행동은 매끄럽지 않은 경우에도 정확한 다항계수 제어를 통해 애니피드 행동과 위상적으로 동치임을 보이며, 초구형 동역학과 초지수적 성장의 조합을 통해 예외적인 최소 집합과 유한 궤도의 존재를 배제한다.

ABSTRACT

We consider Abelian-by-cyclic groups for which the cyclic factor acts by hyperbolic automorphisms on the Abelian subgroup. We show that if such a group acts faithfully by $C^1$ diffeomorphisms of the closed interval with no global fixed point at the interior, then the action is topologically conjugated to that of an affine group. Moreover, in case of non-Abelian image, we show a rigidity result concerning the multipliers of the homotheties, despite the fact that the conjugacy is not necessarily smooth. Some consequences for non-solvable groups are proposed. In particular, we give new proofs/examples yielding the existence of finitely-generated, locally-indicable groups with no faithful action by $C^1$ diffeomorphisms of the interval.

연구 동기 및 목표

• 가환-순환 군의 $C^1$ 행동을 초구형 조건 하에서 구조적으로 분류하기.
• 매끄러운 동치가 없더라도 애니피드 군으로의 위상 동치를 확립하기.
• 반복된 행동 하에서 이동 벡터와 도함수의 동역학을 분석하여 예외적인 최소 집합을 배제하기.
• 비가환 이미지에 대해 다항계수 행동을 제어함으로써 강성 결과를 확장하기.
• 특히 국소적으로 지표가 있는 상황에서, $C^1$ 행동을 갖지 않는 새로운 예와 증명을 제공하기.

제안 방법

• 가환 부분군 위에서 작용하는 행렬 $A$ 의 초구형 성질을 이용하여 도함수 성장과 궤도 확장을 제어하기.
• 특성값이 1이 아닌 조건 하에서 $\log(Da)$ 의 평균이 0임과 유일한 에르고딕성에 의해 $Da^n$ 의 초지수적 성장 추정을 적용하기.
• 정규화된 이동 벡터 $\vec{\tau}_{x_n}$ 를 구성하고, 안정/비안정 부분공간에 수렴하는 성질을 분석하기.
• 이중 노름 $\|\cdot\|_*$ 에서 콘 필드와 콘의 확장/수축 성질을 이용하여 벡터 방향을 제어하기.
• $|Da^n|$ 이 초지수적으로 성장하지 않음을 이용하여, 이동 벡터가 비안정 방향으로 수렴할 경우 도함수 성장과 모순이 발생함을 도출하기.
• 서스턴 안정성과 캔틀웰-콘론의 기법을 $C^1$ 행동에 비틀어 적용하여 비자명한 동역학을 다루기.

실험 결과

연구 질문

• RQ1 가환-순환 군의 $C^1$ 행동이 어떤 조건에서 애니피드 행동과 위상적으로 동치가 되는가?
• RQ2 가환 부분군 위에서의 행동의 초구형 성질이 $C^1$ 군 행동의 강성에 어떤 영향을 미치는가?
• RQ3 도함수 제어와 초지수적 성장의 조합을 통해 유한 궤도와 예외적인 최소 집합의 부재를 입증할 수 있는가?
• RQ4 동치의 다항계수는 비가환 $C^1$ 행동에 대해 어떤 제약을 가하는가?
• RQ5 국소적으로 지표가 있는, 유한 생성된 군 중에서 $C^1$ 행동을 갖지 않는 군은 무엇이며, 그 이유는 무엇인가?

주요 결과

• 만약 $G = \mathbb{Z} \ltimes_A H$ 의 $C^1$ 행동이 내부 전역 고정점을 갖지 않고 $A$ 가 초구형인 경우, 그 행동은 애니피드 행동과 위상적으로 동치이다.
• 비가환 이미지에 대해서도, 매끄러운 동치가 없더라도 동치의 다항계수는 엄격하게 제약을 받는다.
• 예외적인 최소 집합의 부재는 모순에 의해 입증된다: 이동 벡터가 비안정 방향으로 수렴하면, 도함수 성장은 $Da^n$ 의 초지수적 성장과 모순된다.
• 정규화된 이동 벡터 $\vec{\tau}_{x_n}$ 는 초기 방향에 따라 $A^T$ 의 비안정 또는 안정 부분공간으로 수렴한다.
• 증명은 이중 노름 $\|\cdot\|_*$ 에서의 콘 추론에 기반하며, $E^u$ 근처의 작은 콘 안의 벡터는 역행렬 반복에서 확장됨을 보여준다.
• 이 결과는 $A$ 가 모듈러스가 1인 고유값을 갖지 않으며, $H$ 가 전체 $\mathbb{Q}$-랭크 $d$ 를 갖는다는 가정 하에 성립한다. 이는 충분한 동역학을 보장한다.