[논문 리뷰] The moduli space of germs of generic families of analytic diffeomorphisms unfolding a parabolic fixed point

Colin Christopher, Christiane Rousseau|ArXiv.org|2008. 09. 12.

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

한 줄 요약

이 논문은 코드림이 1인 파라볼릭 고정점의 일반적인 1파arameter 가역 해석 동형사상 가닥의 완전한 모듈리 공간을 수립한다. ε-평면에서의 섹터 간 겹침을 분석하고, 보편 커버에서 한 바퀴를 돈 후 두 개의 Ecalle-Voronin 모듈러스 대표를 비교함으로써, 모듈러스가 ε에 대해 1/2-합산 가능하고, 비합산 방향이 고정점의 실수 고유값과 일치할 경우에만 필요하고 충분한 일致 조건을 도출한다. 이 조건은 해석적 편미분을 통해 모듈러스가 실현 가능함을 보장하며, 완전한 실현 가능성의 조건을 제공한다.

ABSTRACT

In this paper we describe the moduli space of germs of generic families of analytic diffeomorphisms which unfold a parabolic fixed point of codimension 1. In [MRR] (and also [R]), it was shown that the Ecalle-Voronin modulus can be unfolded to give a complete modulus for such germs. The modulus is defined on a ramified sector in the canonical perturbation parameter $\eps$. As in the case of the Ecalle-Voronin modulus, the modulus is defined up to a linear scaling depending only on $\eps$. Here, we characterize the moduli space for such unfoldings by finding the compatibility conditions on the modulus which are necessary and sufficient for realization as the modulus of an unfolding. The compatibility condition is obtained by considering the region of sectorial overlap in $\eps$-space. This lies in the Glutsyuk sector where the two fixed points are hyperbolic and connected by the orbits of the diffeomorphism. In this region we have two representatives of the modulus which describe the same dynamics. We identify the necessary compatibility condition between these two representatives by comparing them both with their common Glutsyuk modulus. The compatibility condition implies the existence of a linear scaling for which the modulus is 1/2-summable in $\eps$, whose direction of non-summability coincides with the direction of real multipliers at the fixed points. Conversely, we show that the compatibility condition (which implies the summability property) is sufficient to realize the modulus as coming from an analytic unfolding, thus giving a complete description of the space of moduli.

연구 동기 및 목표

• 코드림이 1인 파라볼릭 고정점을 편미분하는 일반적인 1-매개변수 해석적 동형사상 가닥의 모듈리 공간을 특성화하는 것.
• 주어진 모듈러스가 실제로 해석적 편미분으로부터 유래될 수 있는 데 필요한 필수 조건을 규명하는 것.
• 특히 ε-매개변수 공간에서의 단형성 문제로 인해 열려 있던 Ecalle-Voronin 모듈러스의 실현 가능성 문제를 해결하는 것.
• Glutsyuk 영역의 역학을 통해 유도된 일치 조건이 매개변수 ε에 대한 모듈러스의 1/2-합산 가능성과 동치임을 증명하여, 모듈러스 공간의 완전한 기술을 완성하는 것.

제안 방법

• 두 고정점이 모두 쌍곡적이며 궤도로 연결되어 있는 Glutsyuk 영역에서의 역학을 분석하여, ε = 0 주변의 해석적 연장으로 유도된 두 모듈러스 대표를 비교한다.
• 두 모듈러스 대표를 Glutsyuk 모듈러스의 공통된 특성으로 비교함으로써, ε의 리만 면 전반에서 일관성을 확보하기 위한 일치 조건을 유도한다.
• Glutsyuk 영역에서 고정점 근처의 재규격화된 복귀 사상이 선형화 가능하므로, 선형화 지도가 해석적 불변량이 됨을 이용한다.
• 두 고정점에 관련된 호로니 맵 γ⁰과 γ^∞ 사이의 관계로서 일치 조건을 유도하며, 이는 L_C-동형에 대한 함수방정식을 포함한다.
• 일치 조건이 모듈러스가 ε에 대해 1/2-합산 가능하고, 비합산 방향이 고정점의 고유값의 실수 방향과 일致할 경우에 해당됨을 보여준다.
• 이 합산 조건이 모듈러스가 해석적 편미분으로부터 유래될 수 있도록 하는 데 필수적이고 충분함을 증명함으로써, 모듈러스 공간의 기술을 완성한다.

실험 결과

연구 질문

• RQ1 어떤 일치 조건을 만족해야 모듈러스가 1-매개변수 해석적 가닥에서 파라볼릭 고정점의 편미분으로서 실현 가능한가?
• RQ2 ε-매개변수 공간에서의 단형성이 서로 다른 차트 간 Ecalle-Voronin 모듈러스의 일관성에 어떤 영향을 미치는가?
• RQ3 모듈러스가 실현 가능함을 보장하는 정확한 해석적 조건(합산성에 기반)은 무엇인가?
• RQ4 이러한 편미분의 모듈러스 공간이 단일한 해석적 조건으로 완전히 특성화될 수 있는가?
• RQ5 모듈러스 대표가 ε에 대해 해석적일 조건은 무엇이며, 이는 편미분의 구조와 어떻게 관련되는가?

주요 결과

• Glutsyuk 영역에서 모듈러스 대표를 비교함으로써 도출된 일치 조건은 해석적 편미분으로서의 모듈러스 실현 가능성에 대해 필요하고 충분하다.
• 이 일치 조건은 모듈러스가 ε에 대해 1/2-합산 가능하고, 비합산 방향이 두 고정점의 고유값의 실수 방향과 일致할 경우에 해당된다.
• 모듈러스 공간은 모듈러스가 ε에 대해 1/2-합산 가능하고, 지정된 비합산 방향을 가져야 하며, 이는 단형성에 의해 일관성을 보장함으로써 완전히 특성화된다.
• 이 결과는 모듈러스가 추가 매개변수에 대해 해석적으로 의존하므로 '모듈러스 공간'이라는 용어가 타당함을 정당화하며, 실현 가능성 조건은 합산성 특성에 의해 완전히 기술된다.
• 특수한 경우에 ψ⁰ 또는 ψ^∞ 대표 중 하나가 선형인 경우, 유일하게 실현 가능한 가닥은 정리 6.14에서 기술된 바와 동일하며, 이 경우에 대해 추측을 확인한다.
• 일치 조건에서 유도된 함수방정식의 해는 주어진 조건 하에서 유일하며, 특정 형태의 호로니 맵, 예를 들어 b_s가 첫 번째로 0이 아닌 계수일 경우 m_{(1-s)b_s, s-1}과 대응한다.