[논문 리뷰] Jimm, a Fundamental Involution

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

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

한 줄 요약

이 논문은 PGL(2,Z)의 외부 자명변환에 의해 유도되는 실수 직선 위의 기본적 인벌루션 'jimm'을 소개한다. 이 인벌루션은 유리수에서 이산적으로 작용하지만 실수 이차 무리수를 유지하고 갈루아 작용과 가환한다. 이는 가우스의 연분수 변환을 무한 불변 측도를 가진 간헐적 동역학계로 공역시키며, 메이어 전이 연산자와 루이스의 함수방정식과 연결된다. 또한 비트 파artition 사이의 이중성과 거의 everywhere에서 도함수가 0이 되는 성질을 보인다.

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)의 외부 자명변환에서 유도되는 실수 직선 위의 이국적인 인벌루션의 동역학적 및 산술적 성질을 조사하는 것.
• 이 인벌루션이 연분수 전개, 특히 이차 무리수와 유리수에 대해 어떻게 작용하는지 이해하는 것.
• 이 인벌루션과 기존의 동역학계, 예를 들어 가우스 변환과 무한 불변 측도를 가진 간헐적 맵 사이의 연결 고리를 설정하는 것.
• 실수 랭크-2 격자들의 모듈리 공간에서의 역할과 무한 삼중수 나무의 경계에서의 작용을 탐구하는 것.
• 수론적 함의를 고려하여, 차수 ≥3인 대수적 수가 'jimm'에 의해 초월수로 매핑된다는 추측을 다루는 것.

제안 방법

• 연분수 전개에 대한 변환을 통한 인벌루션 정의: nᵢ ≥ 2일 때 [n₀,n₁,n₂,…] ↦ [1_{n₀−1},2,1_{n₁−2},2,1_{n₂−2},…], 음수 또는 0 인덱스에 대한 정규화 규칙 적용.
• 모든 ℝ̂ = ℝ ∪ {∞}로의 확장에서, 유리수와 노블 수에서 두 값이 존재하며, 상부 하우스도르프 연속 함수를 얻기 위해 선택을 한다.
• 무한 삼중수 나무 위의 자명변환의 경계 작용으로서 인벌루션을 실현하여 기하군론과 연결한다.
• 함수방정식과 전이 연산자를 유도하여, 메이어 전이 연산자와 루이스의 함수방정식과 깊은 연결 고리를 보여준다.
• 인벌루션이 PGL(2,Z)-오빗을 유지하며, 양의 정수의 비트 파artition에 대해 이중성을 유도함을 보여준다.
• 인벌루션의 도함수가 존재하고 거의 모든 곳에서 0이 됨을 증명함. 이는 유리수와 노블 수에서의 이산성에도 불구하고 성립한다.

실험 결과

연구 질문

• RQ1 인벌루션 'jimm'은 실수의 연분수 전개, 특히 이차 무리수와 유리수에 대해 어떻게 작용하는가?
• RQ2 'jimm'과 가우스 연분수 변환 맵 사이의 동역학적 관계는 무엇이며, 간헐적 시스템으로 공역되는가?
• RQ3 'jimm'은 실수 이차 무리수 위의 갈루아 작용과 가환하는가? 그리고 격자들의 모듈리 공간에서 PGL(2,Z)-오빗을 어떻게 유지하는가?
• RQ4 'jimm'은 어떻게 무한 삼중수 나무의 경계에서의 작용으로 기하학적으로 실현되는가?
• RQ5 차수 ≥3인 대수적 수가 'jimm'에 의해 초월수로 매핑된다는 수론적 추측이 존재하는가?

주요 결과

• 인벌루션 'jimm'은 실수 이차 무리수를 비명백한, 매우 구조적인 방식으로 다른 실수 이차 무리수로 매핑하며, 그 산술적 성질을 유지한다.
• 이 인벌루션은 실수 이차 무리수 위의 갈루아 작용과 가환하므로 깊은 산술 불변성을 나타낸다.
• 이 인벌루션은 가우스 연분수 변환 맵을 [0,1]에서 무한 불변 측도를 가진 간헐적 동역학계로 공역시킨다.
• 이 시스템과 관련된 전이 연산자는 메이어 전이 연산자와 매우 밀접하게 관련되어 있으며, 함수방정식은 루이스의 방정식과 일치한다.
• 인벌루션의 도함수는 존재하며 거의 모든 곳에서 0이 된다. 이는 유리수와 노블 수에서의 이산성에도 불구하고 성립한다.
• 차수 3 이상인 대수적 수가 'jimm'에 의해 초월수로 매핑된다는 추측을 수립한다.