[论文解读] The moduli space of germs of generic families of analytic diffeomorphisms unfolding a parabolic fixed point

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

Mathematical Dynamics and Fractals参考文献 4被引用 3

一句话总结

本文確立了通用一參數族解析微分同胚在爆破一個余維1拋物不動點時的完整模空間。透過分析 $ε$-平面上的扇形重疊，並在覆蓋空間中對全圈繞 $ε=0$ 進行 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拋物不動點的模空間進行特徵描述。
• 識別出給定模可被實現為實際解析爆破來源的必要且充分條件。
• 解決解析爆破背景下 Ecalle-Voronin 模可實現性的開放問題，特別是因 $ε$-參數空間中單值性問題所導致的困難。
• 確立由 Glutsyuk 區域動力學導出的相容性條件，等價於模在擾動參數 $ε$ 中的 1/2-可求和性。

提出的方法

• 分析 Glutsyuk 區域中的動力學，該區域中兩個不動點均為雙曲且由軌道連接，以比較通過解析延拓繞 $ε=0$ 獲得的模的兩種代表元。
• 透過它們的共同 Glutsyuk 模比較兩種模代表元，從而推導出在 $ε$ 的黎曼曲面上保持一致性的相容性條件。
• 利用在 Glutsyuk 區域中，靠近不動點的規範化返回映射可線性化的事實，使線性化映射成為解析不變量。
• 將相容性條件表示為與兩個不動點相關的單值映射 $γ^0$ 和 $γ^\infty$ 之間的關係，進而導出涉及 $L_C$-共軛的函數方程。
• 證明相容性條件等價於模在 $ε$ 中的 1/2-可求和性，且非可求和方向與不動點處特徵值的實方向一致。
• 證明此可求和性條件對模可實現為源自解析爆破而言，既是必要也是充分的，從而完整描述模空間。

实验结果

研究问题

• RQ1 模必須滿足何種相容性條件，才能被實現為一參數解析族中拋物不動點的爆破？
• RQ2 在 $ε$-參數空間中的單值性如何影響 Ecalle-Voronin 模在不同坐標圖之間的一致性？
• RQ3 確切的解析條件（以可求和性表達）是什麼，能確保爆破模的可實現性？
• RQ4 這樣的爆破模空間能否由單一解析條件完全特徵化？
• RQ5 模代表元在何種條件下關於 $ε$ 解析？這與爆破結構有何關聯？

主要发现

• 在 Glutsyuk 區域中比較模代表元所導出的相容性條件，對模可實現為源自解析爆破而言，既是必要也是充分的。
• 該相容性條件等價於模在擾動參數 $ε$ 中的 1/2-可求和性，且非可求和方向與兩個不動點處特徵值的實方向一致。
• 模空間完全由模在 $ε$ 中的 1/2-可求和性條件所特徵化，且非可求和方向指定明確，確保在單值變換下的一致性。
• 此結果支持「模空間」一詞的使用，因為模依賴於額外參數解析，且可實現性條件完全由可求和性質捕捉。
• 在特殊情況下，若 $ψ^0$ 或 $ψ^\infty$ 之一代表元為線性，則唯一可實現的族即為定理 6.14 所描述之情形，從而驗證了該情況下的猜想。
• 由相容性條件導出的函數方程在給定約束下解唯一，對應於特定形式的單值映射，例如當 $b_s$ 為第一個非零係數時，為 $m_{(1-s)b_s, s-1}$。