From some Pisot numerations to topological groups

기술 요약: 일부 피소트 수 체계로부터 위상군까지

문제 정의
$p$-진 정수(p-adic integers)의 가법군은 고전적으로 유한 군 $\mathbb{Z}/p^n\mathbb{Z}$의 역극한(inverse limit)으로, 또는 기저-$p$ 전개를 통해 유도된 $p$-진 메트릭 하에서 자연수 $\mathbb{N}$의 위상적 완결(topological completion)로 구성된다. 이 구성의 핵심적인 성질은 올림(carry)이 엄격하게 왼쪽으로 전파되어, 비아르키메데스 부등식 $\nu_p(x+y) \geq \min(\nu_p(x), \nu_p(y))$를 만족한다는 것이다.

본 논문은 **피소트 수 체계(Pisot numeration systems)**를 위한 이와 유사한 위상군을 구축하는 문제를 다룬다. 이러한 체계에서는 기저 $p$의 거듭제곱이 피소트 수 $\beta$(그 공액들이 단위 원 내부의 strictly inside the unit disk에 존재하는 대수적 정수 $\beta > 1$)의 최소 다항식에 의해 생성되는 자연수 수열 $(u_n)_{n \geq 0}$로 대체된다. 기저-$p$ 체계와 달리, 피소트 수 체계(예: 제켄도프/피보나치)는 "비표준적"인 올림 전파를 보이며, 즉 올림이 왼쪽과 오른쪽 모두로 이동할 수 있다. 결과적으로, 고전적인 $p$-진 밸류에이션(valuation) 성질이 실패하며, 그 결과로 나타나는 군 구조는 영 차원(zero-dimensional) 위상을 가진 프로파인 군(profinite group)이 아니다. 저자들은 이러한 체계들을 위한 $\mathbb{Z}_p$의 대응물로서 $\mathbb{Z}_U$를 정의하고, 그 위상적 구조를 규명하고자 한다.

방법론
저자들은 다음 단계들을 통해 군 $\mathbb{Z}_U$를 구축한다:

1. quotients를 통한 군 구성:

   • $G$를 성분별 덧셈에 대한 유계 정수 값 수열 $(g_n)_{n \geq 0}$의 아벨 군이라 하자.
   • 표현된 정수의 정규화된 $U$-전개(normalised $U$-expansion)에서 첫 번째 0이 아닌 자릿수의 순서에 기초하여 의사 밸류에이션(pseudo-valuation) $\nu_U$를 정의한다.
   • 영 보존(zero preservation) 개념이 도입된다: $U$가 영을 보존한다는 것은, 유계 성분을 가진 임의의 수열 $g$에 대하여 $\nu_U(g) \geq \text{ord}(g) - K_c$를 만족하는 상수 $K_c$가 존재함을 의미한다. 이 조건은 올림이 오른쪽으로 임의로 멀리 전파되지 않도록 보장한다.
   • 부분군 $H_U \subset G$를 접두사(prefix)의 밸류에이션이 무한대로 발산하는 수열 $g$의 집합으로 정의한다.
   • $U$-진 정수의 군은 몫군(quotient group) $\mathbb{Z}_U := G/H_U$로 정의된다.

2. 위상 구조 및 사상:

   • $\beta$의 공액들에 의해 가중치가 부여된 노름 $\|g\|_U = \sum |g_n| \gamma^n$ (여기서 $\gamma < 1$은 $\beta$의 공액들의 최대 모듈러스)를 사용하여 $G$ 위의 메트릭 위상을 정의한다.
   • 수열을 $\beta$의 공액들을 포함하는 합으로 매핑하는 호모모피즘 $\tilde{\Phi}: G \to \mathbb{C}^k \times \mathbb{R}^\ell$를 구성한다.
   • 부분군 $H_U$의 이미지는 공액들의 거듭제곱에 의해 생성되는 특정 격자 $L$ 내에 존재함을 보인다.
   • 이는 연속적인 군 호모모피즘 $\Phi: \mathbb{Z}_U \to (\mathbb{C}^k \times \mathbb{R}^\ell)/L$를 유도하며, 여기서 공역은 토러스 $\mathbb{T}^{d-1}$이다.

3. Condition F와의 동치성:

   • 저자들은 수 체계 $U$의 "영 보존"이라는 대수적 조건과 연관된 $\beta$-수 체계에 대한 Condition F(Frougny와 Solomyak이 도입한 조건) 사이의 결정적인 연결 고리를 확립한다. Condition F는 $\mathbb{Z}[\beta] \subset \text{Fin}(\beta)$, 즉 $\mathbb{Z}[\beta]$의 모든 원소가 유한한 $\beta$-전개를 가짐을 요구한다.
   • 저자들은 $U$가 영을 보존하는 것이 연관된 $\beta$가 Condition F를 만족하는 것과 동치임을 증명한다.

주요 기여 및 결과

• $\mathbb{Z}_U$의 정의: 본 논문은 $\mathbb{Z}_U$를 피소트 수 체계로 일반화된 $\mathbb{Z}_p$의 대응물로서 도입한다. $\mathbb{Z}_U$의 원소들은 정규화된 자릿수의 무한 수열으로 표현될 수 있음을 보인다.
• 토러스로의 위상적 동형:
  • 정리 1: 만약 $U$가 차수 $d$인 피소트 수 $\beta$와 연관된 피소트 수 체계이고 $U$가 영을 보존한다면, 연속적인 군 에피모피즘(epimorphism) $\Phi: \mathbb{Z}_U \to \mathbb{T}^{d-1}$이 존재한다.
  • 유니모듈러(Unimodular) 케이스: $\beta$가 유니모듈러($\beta$의 노름이 $\pm 1$)인 경우, $\Phi$는 연속적인 군 아이소모피즘(isomorphism)이다. 따라서 $\mathbb{Z}_U$는 $(d-1)$차원 토러스와 위상적으로 동형이다.
• 영 보존의 특성화: 저자들은 Condition F와 연결함으로써 영을 보존하는 수 체계를 판별하는 결정 절차를 제공한다. 이는 표준 $k$-bonacci 수 체계(피보나치 포함)가 영을 보존함을 확인해 준다.
• 기하학적 실현: 군 $\mathbb{Z}_U$는 유클리드 공간의 타일링(또는 토러스의 기본 영역)으로서의 기하학적 표현을 갖는다. 사상 $\Phi$는 군의 원소들을 토러스 상의 점들로 보내며, 여기서 정규화된 전개의 이미지는 타일링(예: Tribonacci의 경우 Rauzy fractal)을 형성한다.

의의 및 주장
저자들은 자신의 연구가 수 체계에 대한 이해의 공백을 메우고 있다고 위치시킨다. Vershik, Rittaud, Vivier 등의 이전 연구들이 특정 수 체계의 완결이나 Wang 타일과의 연결성을 탐구해 왔으나, 본 논문은 영 보존을 만족하는 일반적인 피소트 수 체계에 대한 군 구조를 명시적으로 구축한다.

저자들의 주장은 다음과 같다:

1. $\mathbb{Z}_U$의 구성은 "자연수의 피보나치 분해" 및 유사한 체계들에 대한 엄밀한 대수적 프레임워크를 제공하며, 이는 캐릭터 이론을 넘어 명시적인 군 동형 관계로 나아간다.
2. 영 보존 조건은 $\mathbb{Z}_U$를 구성하는 맥락에서 Condition F의 정확한 대응물이다.
3. $\mathbb{Z}_p$가 영 차원인 것과 달리, 이 군들은 밑수가 유니모듈러일 때 고차원 다양체(토러스)이다.
4. 결과는 단순히 치환(substitution)에 국한된 것이 아니라 수 체계에 특화되어 있으나, 저자들은 자신의 결과가 $\beta$-치환으로 전이되어 그러한 시프트가 거의 자동적(almost automorphic)임을 도출할 수 있음을 언급한다(상세 내용은 향후 연구에서 다룰 예정).

저자들은 한계점을 명시적으로 언급한다: $\mathbb{Z}_p$의 곱셈 구조는 $\mathbb{Z}_U$로 자연스럽게 확장되지 않는데, 이는 표준 정수 곱셈이 위상을 보존하지 않기(영을 보존하지 않기) 때문이다. 또한 Knuth의 곱셈과 같은 대안들도 분배 법칙을 결여하고 있다. 따라서 연구의 초점은 엄격하게 가법적 위상군 구조에 머문다.