The Reidemeister and the Nielsen numbers: growth rate, asymptotic behavior, dynamical zeta functions and the Gauss congruences

本論文は、有限プリュファーランクを持つねじれなし冪零群の自己準同型対およびコンパクトな-nil-多様体上の写像対に対して、ライデマイスター数とニールセン数の成長率、漸近挙動、ガウス合同式、およびニールセン一致ゼータ関数の有理性を動的な観点から研究し、それらの存在と性質を証明するものである。

要約

🎈 論文のテーマ：「動きの痕跡」を数える

Imagine you have a rubber sheet (a shape) and you stretch, twist, or fold it.
Imagine you have a rubber sheet (a shape) and you stretch, twist, or fold it.
**「ゴムシートを伸ばしたり、ねじったり、折りたたんだりする」**と想像してください。

このとき、シート上の点々が元の位置に戻ったり、別の点と重なり合ったりする瞬間があります。数学者は、この「戻ってくる点」や「重なる点」を**「固定点」**や「一致点」と呼びます。

この論文の著者たちは、以下の 2 つの重要な「数え方」に注目しています。

1. レイデマイスター数（Reidemeister number）: 「同じような動きをする点のグループ」が全部でいくつあるか？
   • 例え: 混雑した駅で、同じ方向に歩いている人たちの「グループ」を数えるようなものです。
2. ニールセン数（Nielsen number）: その中で、実際に「消すことができない（避けられない）」重要なグループがいくつあるか？
   • 例え: 駅の人混みの中で、どうやっても避けられない「必ずぶつかるポイント」がいくつあるか？

---

🚀 この論文が解明した 3 つのすごいこと

著者たちは、これらの数を「1 回」「2 回」「3 回」と何回も繰り返して計算したとき、どうなるかを研究しました。

1. 成長のスピード（Growth Rate）：「爆発的に増えるのか？」

ある操作を繰り返すたびに、これらの「点のグループ」の数はどうなるでしょうか？

• 一定のまま？
• ゆっくり増える？
• それとも爆発的に増える？

この論文では、**「ある特定の条件（数学的には『ねじれのない nilpotent 群』と呼ばれる世界）を満たせば、その増え方のスピード（成長率）は必ず一定の値に落ち着く」**ことを証明しました。

• 例え: 人口増加率のように、「毎年 1.5 倍ずつ増える」という決まった法則が見つかったのです。

2. ガウスの合同式（Gauss Congruences）：「数字の隠れたリズム」

数学には「ガウスの合同式」という、整数が持つ不思議なリズム（法則）があります。
この論文は、「レイデマイスター数」という一見バラバラに見える数も、実はこのリズムに従っていることを証明しました。

• 例え: 一見するとランダムに降っている雨粒のように見えても、実は「3 秒おきに 1 滴、5 秒おきに 2 滴」という隠れたリズムがあることを発見したようなものです。

3. ゼータ関数の有理数化（Rationality）：「複雑な曲線は実は直線？」

「ゼータ関数」というのは、無限に続く数列を 1 つの式（関数）で表す魔法のような道具です。
通常、無限に続く数列は複雑すぎて、きれいな式で表せません。しかし、この論文は**「ニールセン数という数列は、実はきれいな分数（有理関数）で表せる」**ことを示しました。

• 例え: 複雑怪奇な迷路の地図が、実は「A 地点から B 地点へは直進」という単純なルールで書けていた、という驚きです。

---

🌍 なぜこれが重要なのか？（日常へのつながり）

一見すると「ゴムシート」や「数字のグループ」の話は現実離れしているように思えますが、実は**「動的システム（時間とともに変化するシステム）」**の理解に直結しています。

• 天気予報: 大気の流れがどう変化するか。
• 経済モデル: 市場の価格がどう変動するか。
• 物理学: 粒子がどう動き回るか。

これらすべては「ある状態から次の状態へ移る動き」としてモデル化できます。この論文で扱っている「レイデマイスター数」や「ニールセン数」は、**「そのシステムがどれくらい複雑に動き、どれくらい予測不能か（エントロピー）」**を測るものさしなのです。

著者たちは、**「複雑に見える動きの裏には、実はシンプルで美しい数学的な法則（成長率やリズム）が潜んでいる」**ことを突き止めました。

📝 まとめ

この論文は、**「無限に続く複雑な動きのパターンを、数というレンズを通して観察し、その奥に潜む『成長の法則』と『隠れたリズム』を発見した」**という物語です。

• 難解な数学用語 → 「動きのグループ」
• 成長率 → 「爆発的な増え方のスピード」
• ガウスの合同式 → 「数字の隠れたリズム」
• ゼータ関数 → 「複雑な数列をシンプルに表す魔法の式」

数学の美しさは、一見すると無秩序に見える世界の中に、実は完璧な秩序が隠されていることを教えてくれる点にあります。この論文は、その秩序を「ねじれた空間」の世界で見事に解き明かしたのです。

技術概要

この論文「THE REIDEMEISTER AND THE NIELSEN NUMBERS: GROWTH RATE, ASYMPTOTIC BEHAVIOR, DYNAMICAL ZETA FUNCTIONS AND THE GAUSS CONGRUENCES（ライデマイスター数とニールセン数：成長率、漸近挙動、力学系ゼータ関数およびガウス合同式）」は、トポロジカルな固定点理論と群論、特にねじれのない冪零群（torsion-free nilpotent group）上の自己準同型写像の力学系を結びつけた研究です。

以下に、この論文の技術的な詳細な要約を提示します。

1. 研究の背景と問題設定

• 背景: 固定点理論において、ライデマイスター数 $R(f)$ とニールセン数 $N(f)$ は、連続写像 $f$ のホモトピー不変量として重要である。これらは、基本群における「ねじれ共役類（twisted conjugacy classes）」の個数や、その中から「本質的（essential）」なものの個数として代数的に定義される。
• 問題: 写像 $f$ の反復 $f^n$ に対して、ライデマイスター数 $R(f^n)$ やニールセン数 $N(f^n)$ の列がどのように振る舞うか（成長率、漸近挙動）を明らかにすること。特に、2 つの写像 $f, g$ の「一致点（coincidence points）」に関するライデマイスター一致数 $R(f, g)$ とニールセン一致数 $N(f, g)$ の列 $\{R(f^n, g^n)\}$ および $\{N(f^n, g^n)\}$ について、その成長率、ゼータ関数の有理性、およびガウス合同式の成立条件を調べることを目的としている。
• 対象: 有限プルーファランクを持つねじれのない冪零群 $G$ 上の「穏やかな（tame）」準同型写像の対 $(\phi, \psi)$、およびコンパクトな nilmanifold 上の写像の対 $(f, g)$。ここで「tame」とは、すべての $n$ に対してライデマイスター数が有限であることを意味する。

2. 手法と理論的枠組み

著者らは、以下の数学的ツールを組み合わせて解析を行っている：

• 孤立した下中央列（Isolated Lower Central Series）: ねじれのない冪零群 $G$ に対して、通常の下中央列ではなく、商群がねじれのない自由アーベル群となるような「孤立した下中央列」を用いる。これにより、準同型写像をアーベル群の商群上の写像に帰着させ、線形代数（固有値）の手法を適用可能にする。
• p-進数とプロ有限完備化: 群のプロ有限完備化（profinite completion）と p-進数体 $\mathbb{Q}_p$ 上の表現を用いて、ライデマイスター数を p-進ノルムを用いた積の形式で表現する。
• 力学系と位相的エントロピー: 写像の反復による軌道の複雑さを測る位相的エントロピー $h(f)$ と、ライデマイスター数の成長率との関係を、ユニタリ双対（unitary dual）上の写像を通じて考察する。
• ゼータ関数と合同式: ライデマイスター数およびニールセン数の列を生成する「ゼータ関数」を定義し、その有理性（rationality）を調べる。有理性から、数論的なガウス合同式（Gauss congruences）の導出を行う。

3. 主要な結果と貢献

A. ライデマイスター数および一致数の成長率の公式化

• 定理 7 と 13: ねじれのない有限プルーファランクを持つ冪零群 $G$ 上の穏やかな準同型写像 $\phi$（および対 $(\phi, \psi)$）について、ライデマイスター数 $R(\phi^n)$（および $R(\phi^n, \psi^n)$）の成長率 $R^\infty$ が存在し、閉じた式で与えられることを証明した。
• 式の特徴: 成長率は、群の孤立した下中央列の各アーベル商群 $G_k$ 上で誘導される写像の固有値 $\xi_{k,i}$（および $\eta_{k,i}$）の絶対値の最大値を用いて表現される。
  • 例：$R^\infty(\phi) = \prod_{k} \prod_{i} \max\{|\xi_{k,i}|_\infty, 1\} \times (\text{p-進部分})$
  • 有限生成群の場合、p-進部分は消滅し、複素絶対値の最大値の積のみで表される。

B. 位相的エントロピーとの関係

• 定理 11 と 12: 有限生成アーベル群や冪零群の自己同型写像 $\phi$ について、そのポントリャーギン双対（Pontryagin dual）上の写像 $\hat{\phi}$ が「拡張的（expansive）」かつ「仕様性（specification property）」を持つ場合、ライデマイスター数の成長率は位相的エントロピー $h(\hat{\phi})$ と以下の関係にあることを示した。
  $$R^\infty(\phi) = \exp(h(\hat{\phi}))$$
  これは、代数的な不変量の成長が、力学系の複雑さ（エントロピー）と直接結びついていることを示す重要な結果である。

C. ゼータ関数の有理性とガウス合同式

• 定理 15 と 19: ライデマイスター一致ゼータ関数 $R_{\phi, \psi}(z)$ が有理関数となる条件を明らかにし、その場合にガウス合同式が成り立つことを証明した。
  $$\sum_{d|n} \mu(n/d) R(\phi^d, \psi^d) \equiv 0 \pmod n$$
  ここで $\mu$ はメビウス関数である。これは、整数のガウス合同式や、写像のレフシュツェツ数（Lefschetz numbers）に対するドルド（Dold）合同式の一般化である。
• 定理 22: コンパクトな nilmanifold 上の写像の対 $(f, g)$ についても、同様にニールセン一致ゼータ関数 $N_{f,g}(z)$ の有理性、成長率の存在、およびガウス合同式の成立を証明した。特に、$N(f^n, g^n) = R(f^n_\#, g^n_\#)$ となる条件（定理 21）の下で、群論的な結果を位相的な結果へと転用している。

D. 漸近挙動の構造

• 定理 26 と 27: ライデマイスター一致数およびニールセン一致数の列の漸近挙動について、ゼータ関数が有理である場合、以下の 2 つのいずれかの振る舞いを持つことを示した（Babenko-Bogatyi の結果の一般化）。
  1. 数列を成長率で正規化したものが、ある周期的数列と同じ極限点集合を持つ。
  2. 極限点の集合が区間（interval）を含む。
     これは、固有値の偏角（argument）が有理数か無理数かによって、数列の振る舞いが周期的になるか、連続的な分布を示すかが決まることを意味する。

4. 意義と結論

この論文は、トポロジカル固定点理論と数論的力学系を深く統合した画期的な成果である。

1. 代数的・幾何的・解析的統合: 群論（固有値）、数論（p-進数、合同式）、および力学系（エントロピー、ゼータ関数）という異なる分野の手法を駆使し、ライデマイスター数とニールセン数の詳細な構造を解明した。
2. 一般化: 従来のアーベル群や特定の多様体への結果を、より一般的な「ねじれのない有限プルーファランクを持つ冪零群」および「コンパクトな nilmanifold」へと拡張した。
3. 実用的な公式: 成長率を固有値の関数として明示的に与えたことで、具体的な計算が可能になった。
4. 合同式の証明: 数論的なガウス合同式が、代数的な不変量の列に対して普遍的に成り立つことを示し、固定点理論における数論的構造の重要性を再確認させた。

総じて、この研究は、写像の反復による固定点や一致点の数の分布が、単なる数値の羅列ではなく、背後にある群の構造と力学系の性質によって厳密に制御されていることを示しており、今後のトポロジカルな力学系研究の基礎となる重要な論文である。