From some Pisot numerations to topological groups

技術要約：一部のピゾット・ヌメレーションから位相群へ

問題提起
$p$進整数環 $\mathbb{Z}_p$ は、有限群 $\mathbb{Z}/p^n\mathbb{Z}$ の逆極限として、あるいは基数 $p$ の展開に基づく $p$ 進距離の下での自然数 $\mathbb{N}$ の位相的完備化として、古典的に構成される。この構成の鍵となる性質は、繰り上がり（キャリー）が厳密に左方向へ伝播することであり、非アルキメデス不等式 $\nu_p(x+y) \geq \min(\nu_p(x), \nu_p(y))$ を満たすことである。

本論文は、このような位相群の類似物を**ピゾット・ヌメレーション（Pisot numerations）**に対して構築することを扱う。このようなシステムでは、基数 $p$ の冪は、その最小多項式がピゾット数 $\beta$（$\beta > 1$ であり、その共役複素数が単位円の内側に存在する代数的整数）の最小多項式である線形回帰列によって生成される自然数の列 $(u_n)_{n \geq 0}$ に置き換えられる。基数 $p$ のシステムとは異なり、ピゾット・ヌメレーション（例えばゼッケンドルフ／フィボナッチ数など）は「非標準的な」繰り上がり伝播を示し、繰り上がりは左右両方向に移動し得る。その結果、古典的な $p$ 進付値の性質は成立せず、得られる群構造は零次元位相を持つプロ有限群にはならない。著者らは、これらのシステムにおける $\mathbb{Z}_p$ の類似物として機能する群 $\mathbb{Z}_U$ を定義し、その位相的構造を特徴付けることを目的としている。

手法
著者らは、以下のステップを通じて群 $\mathbb{Z}_U$ を構成する：

1. 商による群の構成：

   • $G$ を、成分ごとの加法の下での有界な整数値数列 $(g_n)_{n \geq 0}$ のアーベル群とする。
   • 「擬似付値」$\nu_U$ を、表現された整数の正規化された $U$ 展開における最初の非ゼロの桁の次数に基づいて、有限数列上に定義する。
   • **ゼロ保存（zero preservation）**の概念を導入する：ヌメレーション $U$ がゼロを保存するとは、有界な成分を持つ任意の数列 $g$ に対して $\nu_U(g) \geq \text{ord}(g) - K_c$ を満たす定数 $K_c$ が存在することを指す。この条件は、繰り上がりが右方向へ任意に遠くまで伝播しないことを保証する。
   • 部分群 $H_U \subset G$ を、接頭辞の付値が無限大に発散する数列 $g$ の集合として定義する。
   • $U$ 進整数は、商 $\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$ の $\tilde{\Phi}$ による像が、共役の冪によって生成される特定の格子 $L$ 内に存在することを示す。
   • これにより、連続な群準同型 $\Phi: \mathbb{Z}_U \to (\mathbb{C}^k \times \mathbb{R}^\ell)/L$ が誘導され、余域はトーラス $\mathbb{T}^{d-1}$ となる。

3. 条件Fとの等価性：

   • 論文は、ヌメレーション $U$ の「ゼロ保存」という代数的条件と、関連する $\beta$ 展開に関する条件F（Frougny および Solomyak によって導入されたもの）との間の決定的な関連性を確立する。条件Fは、$\mathbb{Z}[\beta] \subset \text{Fin}(\beta)$、すなわち環 $\mathbb{Z}[\beta]$ のすべての要素が有限な $\beta$ 展開を持つことを要求する。
   • 著者らは、$U$ がゼロを保存するための必要十分条件は、関連する $\beta$ が条件Fを満たすことであることを証明する。

主要な貢献と結果

• $\mathbb{Z}_U$ の定義： 本論文は、$\mathbb{Z}_U$ をピゾット・ヌメレーションに対する $\mathbb{Z}_p$ の一般化として機能する位相群として導入する。$\mathbb{Z}_U$ の元は、正規化された桁の無限数列によって表現できることが示されている。
• トーラスへの位相同型：
  • 定理1： $U$ が次数 $d$ のピゾット数 $\beta$ に関連するピゾット・ヌメレーションであり、$U$ がゼロを保存する場合、連続な群全射 $\Phi: \mathbb{Z}_U \to \mathbb{T}^{d-1}$ が存在する。
  • 単モジュラー（Unimodular）の場合： $\beta$ が単モジュラー（$\beta$ のノルムが $\pm 1$）である場合、$\Phi$ は連続な群同型写像となる。したがって、$\mathbb{Z}_U$ は $(d-1)$ 次元のトーラスと位相同型である。
• ゼロ保存の特性化： 論文は、条件Fと結びつけることで、ヌメレーションがゼロを保存するかどうかを判定する手続きを提供している。標準的な $k$-bonacci ヌメレーション（フィボナッチ数を含む）がゼロを保存することを確認している。
• 幾何学的実現： 群 $\mathbb{Z}_U$ は、ユークリッド空間のタイリング（またはトーラスの基本領域）として幾何学的表現を持つ。写像 $\Phi$ は、群の元をトーラス上の点へと送り、正規化された展開の像はタイリング（例：トリボナッチ数の場合のラウジー・フラクタル）を形成する。

意義と主張
著者らは、本研究を、ヌメレーションの代数的構造の理解における空白を埋めるものとして位置づけている。先行研究（Vershik, Rittaud, Vivier など）は、特定のヌメレーションの完備化や Wang タイルとの関連性を探求してきたが、本論文は、ゼロ保存を満たす一般的なクラスのピゾット・ヌメレーションに対して、明示的に群構造を構築している。

論文の主張は以下の通りである：

1. $\mathbb{Z}_U$ の構成は、「自然数のフィボナッチ分解」および同様のシステムの厳密な代数的枠組みを提供し、特性論を超えて明示的な群同型へと移行させるものである。
2. ゼロ保存の条件は、位相群をヌメレーションから構成する文脈において、条件Fの正確な類似物である。
3. $\mathbb{Z}_p$ が零次元であるのに対し、これらの群は、基礎となる数が単モジュラーであるとき、高次元の多様体（トーラス）となる。
4. これらの結果は単なる置換（substitution）ではなく、具体的なヌメレーションに関するものであり、ただし著者らは、自らの結果が $\beta$-置換へと転用可能であり、そのようなシフトがほとんど自己オートモーフィック（almost automorphic）であることを導ける旨を注記している（詳細は今後の研究課題とする）。

論文は、制限事項についても明記している。$\mathbb{Z}_p$ の乗法的構造は、標準的な整数乗算が（ゼロ保存を維持しないため）位相と適合しないことから、自然には $\mathbb{Z}_U$ へと拡張できない。また、代替的な乗算（Knuth のものなど）は分配法則を欠いている。したがって、焦点は厳密に加法的な位相群の構造に置かれている。