[论文解读] Jimm, a Fundamental Involution

A. Muhammed Uludağ, Hakan Ayral|arXiv (Cornell University)|Jan 14, 2015

Mathematical Dynamics and Fractals参考文献 43被引用 6

一句话总结

本文引入了 'jimm'，一种由 PGL(2,Z) 的外自同构诱导的实直线上的基本对合，其在有理数处不连续，但保持实二次无理数，并与伽罗瓦作用交换。该对合将高斯连分数映射共轭为具有无限不变测度的间歇性动力系统，将其与 Mayer 转移算子及 Lewis 的函数方程联系起来，并展现出 Beatty 分划中的对偶性以及几乎处处导数为零的性质。

ABSTRACT

We study the involution of the real line induced by the outer automorphism of the extended modular group PGL(2,Z). This `modular' involution is discontinuous at rationals but satisfies a surprising collection of functional equations. It preserves the set of real quadratic irrationalities mapping them in a highly non-obvious way to each other. It commutes with the Galois action on real quadratic irrationals. More generally, it preserves set-wise the orbits of the modular group, thereby inducing an involution of the moduli space of real rank-two lattices. It induces a duality of Beatty partitions of the set of positive integers. This involution conjugates (though not topologically) the Gauss' continued fraction map to an intermittent dynamical system on the unit interval with an infinite invariant measure. The transfer operator (resp. the functional equation) naturally associated to this dynamical system is closely related to the Mayer transfer operator (resp. the Lewis' functional equation). We give a description of this involution as the boundary action of a certain automorphism of the infinite trivalent tree. We prove that its derivative exists and vanishes almost everywhere. It is conjectured that algebraic numbers of degree at least three are mapped to transcendental numbers under this involution.

研究动机与目标

• 研究由 PGL(2,Z) 的外自同构导出的实直线上一种奇异对合的动力与算术性质。
• 理解该对合对连分数的作用，特别是对二次无理数和有理数的作用。
• 建立其与已知动力系统（如高斯映射和具有无限不变测度的间歇映射）的联系。
• 探讨其在实秩二格的模空间中的作用及其在无限三价树边界上的作用。
• 考察其在数论中的影响，包括代数数的度数 ≥3 时被映射为超越数的猜想。

提出的方法

• 通过对连分数展开的变换定义该对合：[n₀,n₁,n₂,…] ↦ [1_{n₀−1},2,1_{n₁−2},2,1_{n₂−2},…]，其中 nᵢ ≥ 2，对负或零索引应用归一化规则。
• 将该映射扩展至 ℝ̂ = ℝ ∪ {∞}，在有理数和高贵数处赋予两个值，并选择其一以得到上半连续函数。
• 将该对合作为无限三价树上自同构的边界作用实现，将其与几何群论联系起来。
• 推导出函数方程与转移算子，显示出与 Mayer 转移算子及 Lewis 函数方程的深刻联系。
• 证明该对合保持 PGL(2,Z)-轨道，从而在正整数的 Beatty 分划上诱导出对偶性。
• 证明该对合的导数存在且几乎处处为零，尽管其在有理数和高贵数处存在不连续性。

实验结果

研究问题

• RQ1 对合 'jimm' 如何作用于实数的连分数展开，特别是对二次无理数和有理数？
• RQ2 'jimm' 与高斯连分数映射之间的动力关系是什么？它是否共轭于一个间歇系统？
• RQ3 'jimm' 是否与实二次无理数上的伽罗瓦作用交换？它在格的模空间中如何保持 PGL(2,Z)-轨道？
• RQ4 'jimm' 作为无限三价树边界上作用的几何实现是什么？
• RQ5 是否存在一个数论猜想，即在 'jimm' 下，度数至少为三的代数数被映射为超越数？

主要发现

• 对合 'jimm' 以非显然且高度结构化的方式将实二次无理数映射为其他实二次无理数，保持其算术本质。
• 它与实二次无理数上的伽罗瓦作用交换，表明存在深刻的算术不变性。
• 该对合将高斯连分数映射共轭为 [0,1] 上具有无限不变测度的间歇性动力系统。
• 与此系统相关的转移算子与 Mayer 转移算子密切相关，其函数方程与 Lewis 的方程一致。
• 该对合的导数存在且几乎处处为零，尽管其在有理数和高贵数处存在不连续性。
• 提出一个猜想：在 'jimm' 下，度数至少为三的代数数被映射为超越数。