Profinite isomorphisms, stable commutator length, and fixed point properties

本論文は、Rips 構成と双曲的仮想特殊群に対する反復群論的デーン充填を組み合わせることで、安定交換子長さ、準準同型、および特定の固定点性質などが有限群による同型では決定されないことを示し、Echtler と Kammeyer の問いに答えています。

要約

この論文は、数学の「群論（グループ理論）」という分野における非常に難しい問題を扱っていますが、その核心は**「外見がそっくりな二つのグループを、実は中身は全く違うと証明する」**という話です。

著者のFrancesco Fournier-Facioさんは、この不思議な現象を「プロ有限同型（Profinite Isomorphism）」という難しい言葉で説明していますが、ここではもっと身近な例えを使って、この研究が何を成し遂げたのかを解説します。

1. 物語の舞台：「完璧なコピー」と「隠された秘密」

まず、**「プロ有限完備（Profinite Completion）」というものを想像してください。
これは、あるグループ（数学的な集合）の「すべての有限な断片（パズルのピース）」**を集めて作られた「完全なコピー」のようなものです。

• グループ Aとグループ Bという二つのグループがあったとします。
• もし、これらを細かく切り分けてできる「すべての有限なパズル」が、A と B で完全に同じだった場合、数学者たちは「これらはプロ有限同型だ（外見は同じだ）」と言います。

これまでの常識では、「パズルのピースが全部同じなら、完成した絵（グループの性質）も同じはずだ」と考えられていました。しかし、この論文は**「それは違う！パズルは同じでも、完成した絵は全く違うものが作れる！」**と証明しました。

2. 登場する二人の兄弟：「G（お兄さん）」と「N（弟）」

著者は、**「G」と「N」**という二つのグループを作りました。

• NはGの中に含まれる「弟」のような存在（部分群）です。
• 驚くべきことに、NとGの「パズルピース（有限な断片）」は100% 一致しています。つまり、プロ有限の視点で見れば、N と G は双子です。

しかし、**「中身（性質）」**を見ると、二人は全くの別人です。

🧊 N（弟）：静かで、動き回れないグループ

N は非常に「静か」で「硬直した」グループです。

• 動きがない： 特定の空間（双曲空間やキューブの箱）に置くと、N は必ず「一点に固まって動かなくなる」性質を持っています（固定点性質）。
• 自由がない： 複雑な動きをする「自由な部分」を持っていません。
• 安定している： 「安定交換子長さ（scl）」という値がゼロです。これは「混乱や複雑さ」を表す指標ですが、N は全く混乱していません。

🌪️ G（お兄さん）：活発で、自由なグループ

一方、G は「N の双子」ですが、性格は真逆です。

• 動き回る： 空間の中で自由に動き回ることができます（ローソドロミックな要素を持つ）。
• 自由がある： 複雑な動きをする自由な部分を持っています。
• 不安定： 「安定交換子長さ」が無限大にまで大きくなり、非常に複雑で混乱した構造を持っています。

結論： 「パズルのピース（有限な断片）が同じだからといって、グループの性質（プロ有限不変量）が同じとは限らない！」というのが、この論文の最大の発見です。

3. どうやってこんなことをしたの？（魔法のレシピ）

では、どうやって「パズルは同じなのに、中身が違う」グループを作ったのでしょうか？
著者は、**「Rips 構成（リプス構成）」という魔法の道具と、「群論的デーン充填（Group-theoretic Dehn filling）」**という技術を組み合わせて使いました。

🏗️ ステップ 1：土台を作る（Rips 構成）

まず、ある「お兄さん（G）」と「弟（N）」のペアを作ります。この段階では、二人とも「活発で、動き回る」性格を持っています。

🔨 ステップ 2：弟を「縛り上げる」（Dehn filling）

ここがポイントです。著者は、「弟（N）」だけを少しずつ「縛り上げる」作業を繰り返します。

• 弟の動きを制限する「新しいルール（関係式）」を、N だけに追加していきます。
• このルール追加の仕方が巧妙で、**「弟の動きを完全に止める（固定点性質を持たせる）」一方で、「お兄さんの自由な動きには影響を与えない」**ように調整します。
• さらに、このルール追加を**「無限に繰り返す」**ことで、弟（N）は最終的に「完全に静止し、自由な動きを失った状態」になります。

🪞 ステップ 3：プロ有限の視点では変化なし

不思議なことに、この「縛り上げ」の作業は、「パズルピース（有限な断片）」の集まりには影響を与えません。

• 弟（N）がどれだけ動きを制限されても、それを「有限の大きさ」で観測しても、お兄さん（G）と区別がつかないのです。
• だから、プロ有限の視点では「N と G は同じ双子」のままですが、実際には「N は動けないのに、G は元気いっぱい」という状態になります。

4. この発見がなぜ重要なのか？

この研究は、数学界で長年疑問に思われていたいくつかの質問に**「NO」**という答えを出しました。

• **「安定交換子長さ（scl）」**はプロ有限不変量か？ → いいえ（N は 0、G は無限大）。
• **「擬準同型（Quasimorphisms）」**という概念はプロ有限不変量か？ → いいえ（N には存在しないが、G には無限にある）。
• **「自由な部分群」**を持つかどうかはプロ有限不変量か？ → いいえ（N は持たないが、G は持つ）。
• 「固定点性質」（特定の空間で止まる性質）はプロ有限不変量か？ → いいえ。

これらは、**「外見（有限な断片）が同じでも、中身（性質）は全く違う」**ことを示す強力な証拠となりました。

まとめ：日常への例え

この論文を一言で言うと、**「双子の兄弟が、同じ服（パズルピース）を着て同じ名前（プロ有限完備）を持っているが、一人は『寝たきり』で、もう一人は『マラソン選手』であることが証明された」**という話です。

これまで数学者たちは、「服と名前が同じなら、中身も同じだろう」と疑っていませんでした。しかし、著者は**「実は、服を脱がずに中身だけ変える魔法（Dehn filling）が存在する」**ことを発見し、数学の「プロ有限 rigidity（剛性）」という分野に大きな衝撃を与えました。

この発見は、群論だけでなく、幾何学や物理学など、数学の様々な分野で「外見と中身」の関係を考える上で、新しい視点を提供するでしょう。

技術概要

論文「Profinite isomorphisms, stable commutator length, and fixed point properties」の技術的概要

著者: Francesco Fournier-Facio
日付: 2026 年 3 月 13 日（arXiv 投稿日）

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

**プロ有限剛性（Profinite Rigidity）**は、有限生成残有限群（finitely generated residually finite group）$G$ の性質が、その有限商の集合（あるいはプロ有限完備 $\hat{G}$）によってどの程度検出できるかを問う群論の中心的なテーマです。
ある群の性質 $P$ が「プロ有限不変量（profinite invariant）」であるとは、$\hat{G} \cong \hat{H}$ ならば、$G$ が $P$ を持つことと $H$ が $P$ を持つことが同値であることを意味します。

これまでに、性質 (T)、固定点性質、有限性性質、共役分離性、$\ell^2$-不変量、順序可能性、アメンナビリティ、第 2 有界コホモロジーなどがプロ有限不変量ではないことが示されています。しかし、以下の重要な性質については、反例の構成が未解決、あるいは部分的にしか示されていませんでした。

• 安定交換子長さ（Stable Commutator Length: scl）の消滅: 群 $G$ において $scl(g)=0$ となるかどうか。
• 非有界準同型写像（Quasimorphisms）の存在: 非有界な準同型写像が存在するかどうか。
• 固定点性質（Fixed Point Properties）:
  • Property NL: 双曲空間上でロキソドロミック（loxodromic）要素を持つ作用を持たない性質。
  • Property FW8: 有限次元 CAT(0) 立方体複体への作用において、大域的固定点を持つ性質。
• 非可換自由部分群の存在: 非可換自由群を部分群として含むかどうか。

特に、Echtler と Kammeyer は「準同型写像（quasimorphisms）の存在がプロ有限不変量かどうか」という問いを提起しており、これが本論文の主要な動機の一つとなっています。

2. 主要な結果（Main Theorem）

著者は、以下の条件を満たす有限生成残有限群 $G$ とその有限生成正規部分群 $N$ の組（Grothendieck 対）を構成しました。

1. プロ有限同型: 包含写像 $N \hookrightarrow G$ はプロ有限完備の同型 $\hat{N} \cong \hat{G}$ を誘導する。
2. 部分群 $N$ の性質:
   • 安定交換子長さ（scl）がすべての元で消滅する（$scl_N(g) = 0$）。
   • 非有界な準同型写像を持たない。
   • 非可換自由部分群を持たない。
   • 双曲空間上でロキソドロミック要素を持つ作用を持たない（Property NL を満たす）。
   • 有限次元 CAT(0) 立方体複体への作用において、大域的固定点を持たない作用を持たない（Property FW8 を満たす）。
   • 完全群（perfect group）であり、$\mathbb{Z}$ への準同型写像を持たない。
3. 群 $G$ の性質:
   • 非有界な scl を持つ。
   • 無限次元の同次準同型写像（homogeneous quasimorphisms）の空間を持つ。
   • 木（tree）上への一般型（general type）作用を持つ。

この結果により、scl の消滅、準同型写像の存在、Property NL、Property FW8、非可換自由部分群の存在のすべてが、プロ有限不変量ではないことが証明されました。

3. 手法と構成の概要

既存のプロ有限不変量の反例構成法（Rips 構成、高階リー群の格子、分岐群など）は、準同型写像の存在や scl の挙動を制御する上で不十分でした。本論文では、以下の新しい手法を組み合わせることでこの問題を解決しました。

3.1 基本的な枠組み：Rips 構成と Grothendieck 対

まず、Rips 構成を用いて、短完全系列 $1 \to N_0 \to G_0 \to Q \to 1$ を構成します。

• $Q$: ヒグマン群（Higman's group）のような、有限商を持たず、$H_2(Q; \mathbb{Z})=0$ であり、かつ無限次元の準同型写像空間を持つ群。
• $G_0$: 双曲的かつ「virtually special」（実質的に特殊）な群。
• $N_0$: $G_0$ の正規部分群。
  この設定により、$N_0 \hookrightarrow G_0$ がプロ有限完備の同型を誘導することが保証されます（Theorem 2.6）。

3.2 核心技術：反復的な群論的デーン充填（Iterated Group-Theoretic Dehn Filling）

初期の $N_0$ は双曲的であり、準同型写像や自由部分群を持ってしまう可能性があります。これを修正するために、Malnormal Special Quotient Theorem（AGM16）を用いた反復的なデーン充填を行います。

1. インダクティブステップ:
   現在の群 $G_i$ と正規部分群 $N_i$ に対して、有限集合 $A \subset N_i$ 上の特定の性質（scl の減少、自由部分群の排除、$\mathbb{Z}$ への写像の排除など）を破壊する関係式を追加します。
2. 関係式の選択:
   • scl の消滅: 特定の元 $a$ に対して、$a^{mq}$ が $a^m$ の共役積として表されるような関係式（小相殺条件 $C'(1/6)$ を満たす）を追加します。これにより、$N/M$ における $scl(a)$ を任意に小さくできます。
   • 自由部分群の排除: 2 元 $a, b$ が自由群を生成しないように、適切な小相殺関係式を追加します。
   • $\mathbb{Z}$ への写像の排除: 部分群の可換化が自明になるように関係式を追加します。
3. 極限の構成:
   このプロセスを無限に繰り返して極限群 $G_\infty$ と $N_\infty$ を得ます。各ステップで $G_i$ は双曲的かつ virtually special であり、残有限性を保ちます。
4. 結果の保証:
   • $N_\infty$ における scl はすべての元で 0 になります（Bavard 双対性により、非有界準同型写像も存在しません）。
   • $N_\infty$ は非可換自由部分群を持たず、Property NL と FW8 を満たします。
   • $G_\infty$ は $Q$ へ射影されるため、$Q$ の性質（無限次元の準同型写像空間など）を継承します。

4. 主要な貢献と新規性

1. Echtler-Kammeyer 問題への回答:
   準同型写像の存在がプロ有限不変量ではないことを初めて示しました。これは、第 2 有界コホモロジーの消滅がプロ有限不変量ではないという既知の結果（EK24）とは独立しており、より強い結果（非有界準同型写像の存在そのもの）を提供します。
2. 固定点性質の反例:
   Property NL（双曲空間へのロキソドロミック作用の欠如）と Property FW8（有限次元 CAT(0) 立方体複体への固定点性質）がプロ有限不変量ではないことを示しました。これは Bridson の結果（固定点性質がプロ有限不変量ではない）を、CAT(0) 立方体複体に限定しつつ、すべての次元を一度にカバーする形で強化するものです。
3. 非可換自由部分群の非不変性の再確認:
   既知の結果（KS23）を再確認しましたが、構成された部分群 $N$ は**非アメンナブル（non-amenable）**である点で異なります。これは、アメンナブルな群と自由部分群を持つ群の区別がプロ有限完備では不可能であることを示唆する重要な点です。
4. 手法の柔軟性:
   反復的なデーン充填と Rips 構成を組み合わせるこの手法は非常に柔軟であり、群の第一-order 理論、コホモロジー次元、Tarski モンスター的な性質など、他の多くの性質を制御可能にします。

5. 意義と今後の展望

本論文は、群論的性質とプロ有限完備の関係に関する理解を深める重要な進展です。特に、安定交換子長さや準同型写像といった、幾何学的・解析的な不変量が、代数的なプロ有限情報からは完全に失われる可能性を示しました。

• 理論的意義: 群の「幾何学的な複雑さ」がプロ有限完備に反映されないことを明確に示し、プロ有限剛性の限界をさらに広げました。
• 今後の課題:
  • 一様完全性（uniform perfectness）や有界生成（bounded generation）がプロ有限不変量かどうかは未解決です。
  • 無限次元 CAT(0) 立方体複体への作用に関する Property FW についても、本手法では解決できていません。
  • 第 2 有界コホモロジーの次元がプロ有限不変量かどうかは、本構成からは直接結論が出せないまま残されています。

総じて、本論文は Rips 構成と Malnormal Special Quotient Theorem を巧みに組み合わせることで、これまでに構成が困難だった「非アメンナブルかつ自由部分群を持たず、かつ準同型写像を持たないが、プロ有限同型な群」という極めて特異な対象を構築することに成功した画期的な研究です。