[논문 리뷰] Beta-conjugates of real algebraic numbers as Puiseux expansions

Jean-Louis Verger-Gaugry|arXiv (Cornell University)|2011. 05. 03.

Mathematical Dynamics and Fractals인용 수 5

한 줄 요약

이 논문은 실수 대수적 수 β > 1의 베타-공액수를 파리 상부 함수와 β의 최소다항식의 역수로부터 유도된 (0, 1/β)에서의 곡선의 펄스-확장(Puiseux expansion)을 이용한 기하적 프레임워크를 제안한다. 이 프레임워크는 베타-공액수가 펄스-지점의 분해로 표현되며, 파리 수의 동적 제타함수 ζβ(z)에 대한 곱공식을 유도하고, 파리 다항식의 인수분해가 이러한 확장의 공액류와 어떻게 연결되는지를 규명한다.

ABSTRACT

The beta-conjugates of a base of numeration $β> 1$, $β$ being a Parry number, were introduced by Boyd, in the context of the Rényi-Parry dynamics of numeration system and the beta-transformation. These beta-conjugates are canonically associated with $β$. Let $β> 1$ be a real algebraic number. A more general definition of the beta-conjugates of $β$ is introduced in terms of the Parry Upper function $f_β(z)$ of the beta-transformation. We introduce the concept of a germ of curve at $(0,1/β) \in \mathbb{C}^{2}$ associated with $f_β(z)$ and the reciprocal of the minimal polynomial of $β$. This germ is decomposed into irreducible elements according to the theory of Puiseux, gathered into conjugacy classes. The beta-conjugates of $β$, in terms of the Puiseux expansions, are given a new equivalent definition in this new context. If $β$ is a Parry number the (Artin-Mazur) dynamical zeta function $ζ_β(z)$ of the beta-transformation, simply related to $f_β(z)$, is expressed as a product formula, under some assumptions, a sort of analog to the Euler product of the Riemann zeta function, and the factorization of the Parry polynomial of $β$ is deduced from the germ.

연구 동기 및 목표

• Parry 수를 초월하여 모든 실수 대수적 수 β > 1에 대해 베타-공액수의 정의를 일반화하기 위해.
• 펄스-확장 이론을 통한 대수곡선의 특이점 이론을 활용하여, 베타-공액수의 기하적 기원을 규명하기 위해.
• Parry 수의 아틴-마즈르 동적 제타함수 ζβ(z)를 펄스-공액류에 대한 유한한 곱으로 표현하기 위해.
• 파리 다항식의 인수분해를 곡선의 기저의 기약성 분해와 공액류에 따라 연결하기 위해.
• 갈루아 공액수와 베타-공액수의 상호작용이 단위원에서의 등분포 현상과 극한 동역학에 어떻게 영향을 미치는지 탐구하기 위해.

제안 방법

• Parry 상부 함수 fβ(z)와 β의 최소다항식의 역수로부터 ℂ²에서 (0, 1/β)를 중심으로 하는 곡선의 기저 Gβ를 정의한다.
• 펄스의 정리에 따라 기저를 기약성분으로 분해하고, 모노드로미 작용에 의해 공액류로 묶는다.
• 베타-공액수를 Gβ의 펄스-확장에서 발생하는 상쇄점들의 역수로 식별한다.
• fβ(z)를 ℚ[X][Y]에서의 기약인수로 분해하는 표준적 분해을 이용하여 ζβ(z)에 대한 곱공식을 도출한다.
• 펄스-공액류의 유리성과 유한 차수 체 확장 L/ℚ을 가정하여 기약인수 πj*를 펄스-공액류와 연결한다.
• ζβ(z)에 대한 곱공식을 v / (Pβ*(z) ⋅ ∏j ∏yi∈Cj (z - 1/β - yi(Pβ*(z)))) 로 유도하며, 여기서 v = (1 - z^k)^{-1} 이고, k는 주기성에 따라 m 또는 p+1이다.

실험 결과

연구 질문

• RQ1 실수 대수적 수 β > 1에 대해, β의 동적 제타함수와 관련된 기저의 펄스-확장으로써 베타-공액수를 기하학적으로 정의할 수 있는가?
• RQ2 기저 Gβ의 펄스-확장의 공액류는 β의 파리 다항식의 인수분해와 어떻게 관련되는가?
• RQ3 Parry 수에 대해, 펄스-확장과 그 공액류의 관점에서 동적 제타함수 ζβ(z)의 구조는 어떠한가?
• RQ4 펄스-급수 계수 체 L이 파리 다항식의 기약인수 πj*가 ℚ[X][Y]에 속하도록 보장하는 조건은 무엇인가?
• RQ5 베타-공액수와 갈루아 공액수가 극한 과정에서 단위원에서의 등분포에 어떻게 영향을 미치는가?

주요 결과

• β > 1에 대해, 베타-공액수는 (0, 1/β)에서의 기저 Gβ의 펄스-확장에서 발생하는 상쇄점들의 역수로 재정의된다.
• Parry 수에 대해, 동적 제타함수 ζβ(z)는 L-유리 공액류의 유한한 곱으로 표현되며, 상쇄점과 갈루아 공액수의 역수에 극점이 존재한다.
• L-유리 공액류의 수 e는 e = σ < deg β 를 만족하며, 여기서 σ는 파리 다항식의 인수분해에서의 기약인수의 수이다.
• 파리 다항식의 기약인수 πj*는 순서를 제외하고 πj*(X) = ∏_{yi∈Cj} (X - 1/β - yi(Pβ*(X))) 로 주어진다.
• ζβ(z)의 곱공식에서 자연스러운 항인 v는 (1 - z^k)^{-1} 이며, k는 단순한 Parry 수일 경우 m이고, 비단순한 경우 p+1이다.
• fβ(z)의 자연경계 |z| = 1이 모든 펄스-요소에 대해 자연경계가 되지 않을 수 있으며, 이는 일부 분지가 fβ(z)의 해석적 정의역을 초월할 수 있음을 시사한다.