[논문 리뷰] Mather invariant, distortion, and conjugates for diffeomorphisms of the interval

Hélène Eynard-Bontemps, Andrés Navas|arXiv (Cornell University)|2019. 12. 19.

Mathematical Dynamics and Fractals참고 문헌 30인용 수 6

한 줄 요약

이 논문은 구간의 $C^2$ 미분형사에 대해 Mather 불변량과 점점이론적 왜곡 사이의 정확한 연결 고리를 설정하며, 양단점이 포물선이고 Mather 불변량이 자명할 때에만 점점이론적 왜곡이 0이 됨을 증명한다. 이는 $C^2$ 정규성에서 공역의 동형사상에 대한 핵심 장애를 제거하며, $C^1$ 벡터장의 시간-1 사상으로 나타나는 미분형사의 특성화로 확장된다.

ABSTRACT

We relate the Mather invariant of diffeomorphisms of the (closed) interval to their asymptotic distortion. For maps with only parabolic fixed points, we show that the former is trivial if and only if the latter vanishes. As a consequence, we obtain that such a diffeomorphism of the interval with no fixed point in the interior contains the identity in the closure of its C^{1+bv} conjugacy class if and only if it is the time-1 map of a C^1 vector field. A corollary of this is that diffeomorphisms that do not arise from vector fields are undistorted in the whole group of interval interval diffeomorphisms. Several related results in other regularity classes are obtained, and many open questions are addressed.

연구 동기 및 목표

• 구간의 $C^2$ 미분형사에서 Mather 불변량과 점점이론적 왜곡 사이의 관계를 명확히 하는 것.
• 무리수 회전수를 가진 $C^2$ 미분형사의 공역 클래스가 $C^2$ 닫힘에서 항등원을 포함하는지에 대한 열린 문제를 해결하는 것.
• 점점이론적 왜곡과 자명한 Mather 불변량이 동시에 성립할 때, $C^2$ 미분형사가 $C^1$ 벡터장의 시간-1 사상으로 나타나는 조건을 특성화하는 것.
• 이 결과를 미분형사군에서 왜곡된 원소의 연구에 적용하며, 특히 $C^2$ 위상에서의 응용을 다루는 것.

제안 방법

• 구간의 $f \in \mathrm{Diff}_+^{2,\Delta}([0,1])$ 에 대해 점점이론적 왜곡을 $\mathrm{dist}_\infty(f) := \lim_{n\to\infty} \frac{1}{n} \mathrm{var}(\log Df^n)$ 로 정의하고 분석한다.
• Mather 불변량 $M_f$ 는 로테이션에 대해 모듈로 하는 $C^2$ 원주 미분형사로, $C^1$ 공역에 대해 불변이며 $C^2$ 위상에서 연속적이다.
• Mather 불변량을 이용해 $f$ 가 고정한 최소 불변 구간에 따라 점점이론적 왜곡의 국소화 공식을 수립함으로써, 구간 미분형사로의 축소를 가능하게 한다.
• Szekeres 벡터장의 구조를 이용해 $\mathrm{dist}_\infty(f) = 0$ 이 되는 것은 $f$ 가 포물선 고정점을 가지며 Mather 불변량이 자명할 때에만 성립함을 증명한다.
• 이 결과를 응용하여, $f$ 가 비순환적 $C^2$ 중심화자를 가질 경우, 항등원이 그 공역 클래스의 $C^2$ 닫힘에 포함됨을 보인다.
• $C^1$ 공역과 근사 기법을 사용하여 $C^2$ 수렴하는 공역의 근사화를 수행하며, 도함수의 균일 수렴과 리만 합 근사에 의존한다.

실험 결과

연구 질문

• RQ1 무리수 회전수를 가진 $C^2$ 미분형사의 공역 클래스가 $C^2$ 닫힘에서 해당 회전을 포함하는가?
• RQ2 점점이론적 왜곡과 Mather 불변량 사이의 정확한 관계는 무엇인가? ($C^2$ 구간 미분형사에서)
• RQ3 어떤 조건에서 $C^2$ 미분형사가 $C^1$ 벡터장의 시간-1 사상으로 나타나는가?
• RQ4 Mather 불변량의 자명성과 양단점의 포물선성은 점점이론적 왜곡이 0이 되는 것을 완전히 특성화하는가?
• RQ5 비순환적 $C^2$ 중심화자가 존재할 경우, 공역 클래스의 닫힘에 어떤 영향을 미치는가?

주요 결과

• 구간의 $f \in \mathrm{Diff}_+^{2,\Delta}([0,1])$ 에 대해 점점이론적 왜곡이 0이 되는 것은, 양단점이 포물선 고정점이고 $f$ 의 Mather 불변량이 자명할 때에만 성립한다.
• 항등원이 $f$ 의 $C^{1+\mathrm{bv}}$ 공역 클래스의 닫힘에 포함되는 것은, $f$ 가 포물선 양단점과 자명한 Mather 불변량을 가질 때에만 성립한다.
• $C^2$ 구간의 미분형사 $f \in \mathrm{Diff}_+^2([0,1])$ 가 점점이론적 왜곡을 가지지 않기 위한 필요충분조건은, 각 고정점에서 $C^1$-평탄한 $C^1$ 벡터장의 시간-1 사상으로 나타나는 것이다.
• 만약 $f$ 가 무한 순환보다 큰 $C^2$ 중심화자를 가진다면, 항등원은 그 공역 클래스의 $C^2$ 닫힘에 포함된다.
• 이 결과는 [24]에서 제기한, 점점이론적 왜곡이 $C^2$ 미분형사의 공역 문제에서 수행하는 역할에 대한 추측을 확인한다.
• 논문은 Mather 불변량과 왜곡의 상호작용에 기반하여, 공역 클래스가 항등원을 $C^2$ 닫힘에 포함하는 $C^2$ 미분형사의 완전한 특성화를 제공한다.