Co-Hopfianity is not a profinite property

この論文は、Wise の Rips 構成を用いて、プロ有限完備が同型であるが、一方はコ・ホプフ的であり他方はそうでないという、2 つの有限生成残留有限群の具体例を構成し、コ・ホプフ性がプロ有限不変量ではないことを示している。

要約

この論文は、数学の「群論（グループ理論）」という分野における、少し不思議で面白い発見について書かれています。専門用語を避け、日常のたとえ話を使って、何が起きたのかをわかりやすく説明します。

1. 物語の舞台：「影」のような世界（有限な世界）

まず、この話の核心にある**「プロ有限完備（Profinite Completion）」**という概念を理解する必要があります。

想像してください。ある巨大な組織（グループ）が 있다고します。この組織はあまりにも複雑で、その全体像を一度に把握するのは不可能です。しかし、この組織には「小さな支部」や「局所的なルール」がたくさんあります。

• プロ有限完備とは、その組織を「小さな支部（有限な部分）」だけを通して見た**「影」**のようなものです。
• 数学的には、「この組織から取り出せるすべての『有限なパターン』を集めたもの」を指します。

通常、もし二つの組織（グループ）が、この「影（プロ有限完備）」を完全に同じように持っているなら、私たちは「あ、これらは実は同じ組織だ！」と推測しがちです。多くの性質（例えば「アベリアンである」とか「可解である」とか）は、この「影」を見れば正確に判断できます。

2. 主人公たちの特徴：「コ・ホプフ性」という性質

この論文で議論されているのは、**「コ・ホプフ性（Co-Hopfian）」という性質です。これを日常用語に翻訳すると、「自己完結性」や「縮まない性質」**のようなものです。

• コ・ホプフなグループ（G）： 「自分自身の中に、自分と全く同じ形をした『小さな自分』を隠し持つことができない」グループです。
  • たとえ話： 自分自身を縮めて、自分のポケットに入れようとしても、入りきらない。つまり、「自分自身より小さな自分」は存在しないのです。
• コ・ホプフではないグループ（H）： 「自分自身の中に、自分と全く同じ形をした『小さな自分』を隠し持つことができる」グループです。
  • たとえ話： 自分自身を縮めて、自分のポケットに入れられる。つまり、「自分自身より小さな自分」が存在するのです。

3. この論文の驚くべき発見

これまでの常識では、「影（プロ有限完備）」が同じなら、そのグループの性質も同じはずだと思われていました。しかし、著者たちは**「コ・ホプフ性」だけは、影からは見分けがつかない**ことを証明しました。

彼らは、以下の条件を満たす 2 つのグループ（G と H）を見つけました。

1. 影が同じ： G と H は、プロ有限完備（プロファイル）が完全に一致しています。外見（有限な部分）から見れば、これらは「双子」です。
2. G は「縮まない」： G はコ・ホプフ性を持っています（自分自身より小さな自分はいない）。
3. H は「縮む」： H はコ・ホプフ性を持っていません（自分自身より小さな自分がいる）。

結論： 「影（プロ有限完備）」が同じでも、グループが「縮むかどうか」という性質は、影からは読み取れません。つまり、**「コ・ホプフ性はプロ有限性質ではない」**のです。

4. 彼らはどうやってこれを実現したのか？（魔法の箱）

彼らは、Wise という数学者が発明した**「Rips 構成」**という魔法の箱を使いました。

• 魔法の箱の仕組み： この箱に、どんな「入力（Q）」を入れれば、それに対応する「出力（G）」と「中身（K）」が出てきます。
  • 出力 G は、非常に堅牢で、縮まない（コ・ホプフな）グループになります。
  • 中身 K は、G の一部ですが、G と同じ「影」を持っています。

彼らは、この箱に**「U」**という特殊なグループを入力しました。

• U の特徴： U は「アサイクリック（循環しない）」という奇妙な性質を持ち、プロ有限完備が「何もない（1）」という状態になっています。

G の作り方：
U を入力して、G を作りました。G は「縮まない」グループになりました。

H の作り方（ここがミソ）：
G の中から、U の一部（A）に対応する部分を取り出して H を作りました。

• U の中には、**「自分自身を少し変形して、自分より小さな自分に変える」**という操作（共役）ができる部分がありました。
• この操作を G の中にある H に適用すると、H は「自分自身より小さな自分」に変化してしまいます。
• つまり、H は「縮む」グループになってしまいました。

しかし、不思議なことに、H を作っても、G と H の「影（プロ有限完備）」は全く変わりません。なぜなら、U の影が何もない（1）からです。

5. まとめ：何がすごいのか？

この論文は、**「外見（有限な部分）が同じでも、内面（無限な構造）は全く異なる可能性がある」**ことを、非常に鋭い例で示しました。

• 日常のたとえ：
  2 人の双子（G と H）がいて、指紋や DNA（プロ有限完備）が 100% 一致しているとします。
  • 兄（G）は「自分の体を縮めて、自分のポケットに入れようとしても、絶対に無理だ」と言います（コ・ホプフ）。
  • 弟（H）は「実は、自分の体を縮めて、自分のポケットに入れられるんだ」と言います（非コ・ホプフ）。
  • 通常、指紋が同じなら性格や能力も同じだと思われがちですが、この「縮むかどうか」という能力だけは、指紋からは全く読み取れないのです。

著者たちは、この「縮む」という性質が、プロ有限完備という強力なツールでは検出できないことを証明し、数学の「プロ有限刚性（Profinite Rigidity）」の限界を突き止めたのです。

一言で言うと：
「影が同じでも、中身は『縮む』か『縮まない』かで全然違う世界があるよ！」という驚きの発見です。

技術概要

論文「CO-HOPFIANITY IS NOT A PROFINITE PROPERTY」の技術的サマリー

1. 概要と問題提起

本論文は、幾何学的群論における中心的なテーマである「有限生成剩余有限群（finitely generated residually finite groups）の分類」に関連する問題を取り扱っています。具体的には、群の**プロ有限完備（profinite completion）**が、その群の代数的・幾何学的性質をどの程度決定するかという「プロ有限剛性（profinite rigidity）」の問題に焦点を当てています。

• 問題の核心: 2 つの有限生成剩余有限群 $G$ と $H$ が同型なプロ有限完備 $\hat{G} \cong \hat{H}$ を持つ場合、$G$ が特定の性質 $P$ を持つならば、$H$ もまた $P$ を持つでしょうか？もしそうであれば、その性質 $P$ は「プロ有限性質（profinite property）」と呼ばれます。
• 既存の知見: アーベル性、冪零性、多項式性など一部の性質はプロ有限性質であることが知られていますが、アメンナビリティ、Kazhdan の性質 (T)、共役分離性など、多くの幾何学的・漸近的性質はプロ有限性質ではないことが示されています。
• 本研究の目的: **コ・ホップ性（co-Hopfian property）**がプロ有限性質かどうかを決定することです。
  • コ・ホップ性: 群 $G$ が、自分自身と同型な真部分群を持たない性質（任意の単射 $\phi: G \to G$ が全射であること）。
  • ホップ性: 任意の全射 $\phi: G \to G$ が単射である性質（有限生成剩余有限群はマルツェフの定理により常にホップ性を持つが、コ・ホップ性はより繊細）。

2. 主要な結果

著者らは、以下の定理を証明することで、コ・ホップ性がプロ有限性質ではないことを示しました。

定理 1.1 (Theorem 3.1):
有限生成剩余有限群 $G$ と $H$ が存在し、以下の条件を満たす。

1. プロ有限完備が同型である：$\hat{G} \cong \hat{H}$。
2. $G$ はコ・ホップ性を持つ。
3. $H$ はコ・ホップ性を持たない（自分自身に同型な真部分群を含む）。

この結果は、プロ有限完備からコ・ホップ性を検出することが不可能であることを意味します。

3. 手法と構成

本研究の構成は、以下の 3 つの主要な要素を組み合わせたものです。

3.1. ウァイスの剩余有限版 Rips 構成 (Wise's residually finite Rips construction)

任意の有限提示群 $Q$ に対して、以下の完全系列が存在するように双曲群 $G$ を構成する手法（Wise [25]）を利用します。
$$1 \to K \to G \xrightarrow{\pi} Q \to 1$$
ここで、

• $K$ は有限生成（3 個の元で生成）。
• $G$ はねじれのない双曲群（torsion-free hyperbolic）、剩余有限。
• $Q$ は任意の有限提示群。

3.2. ブリドソンの普遍的なアサイクリック群 (Bridson's universal acyclic group)

ブリドソン [5] によって構成された、有限提示されたアサイクリック群 $U$ を利用します。この群 $U$ は以下の強力な性質を持ちます。

• アサイクリック性: 全ての $i \ge 1$ に対してホモロジー群 $H_i(U, \mathbb{Z}) = 0$。
• 自明なプロ有限完備: $\hat{U} = 1$。
• 普遍性: 任意の有限提示群が $U$ に埋め込まれる。

3.3. 群 $G$ と $H$ の具体的な構成

1. 群 $G$ の構成:

   • 上記の Rips 構成において $Q = U$ とします。
   • 得られる群 $G$ は、ねじれのない双曲群であり、$G/K \cong U$ となります。
   • Sela の定理（ねじれのない 1 端双曲群はコ・ホップ性を持つ）を用いて、$G$ がコ・ホップ性であることを示します（$G$ が 1 端であることを $K$ の有限生成性と $U$ の無限性から導出）。

2. 群 $H$ の構成:

   • 普遍性により、$U$ 内に $A \cong U$ であり、かつある $t \in U$ に対して $t^{-1}At \subsetneq A$ となる部分群 $A$ と元 $t$ が存在します（Lemma 3.3）。
   • $H$ を $G$ における $A$ の完全原像（preimage）として定義します：$H := \pi^{-1}(A) < G$。
   • $G$ 内の $t$ のリフト $g$ による共役写像 $c_g$ は、$H$ をその真部分群 $c_g(H) = \pi^{-1}(t^{-1}At)$ に同型写像します。
   • したがって、$H$ は自分自身に同型な真部分群を持ち、コ・ホップ性を持ちません。

3. プロ有限完備の同型の証明:

   • Bridson-Grunewald の判定基準（Lemma 2.5）を用います。
   • 完全系列 $1 \to K \to G \to U \to 1$において、$\hat{U}=1$かつ$H_2(U, \mathbb{Z})=0$であるため、$\hat{K} \cong \hat{G}$ が成り立ちます。
   • 同様に、$1 \to K \to H \to A \to 1$において、$A \cong U$より$\hat{A}=1$かつ$H_2(A, \mathbb{Z})=0$であるため、$\hat{K} \cong \hat{H}$ が成り立ちます。
   • 結果として、$\hat{G} \cong \hat{K} \cong \hat{H}$ となります。

4. 追加的な結果

本論文では、主定理の証明過程を利用して、以下の追加結果も示されています。

• Proposition 2.9: トーラル相対双曲性（toral relative hyperbolicity）もプロ有限性質ではない。
  • 構成された $G$ はトーラル相対双曲群ですが、その核 $K$ は有限提示ではないため双曲群ではなく、したがってトーラル相対双曲性を持ちません。しかし $\hat{G} \cong \hat{K}$ であるため、この性質もプロ有限完備では区別できません。
  • 注記：「仮想コンパクト特別群（virtually compact special groups）」のクラス内ではトーラル相対双曲性はプロ有限性質であることが Zalesskii によって示されていますが、一般の有限生成剩余有限群では成り立たないことが本論文で示されました。

5. 意義と結論

• 理論的意義: コ・ホップ性という群論の基本的かつ重要な性質が、プロ有限完備（すなわちすべての有限商の情報）からは決定できないことを初めて示しました。これは、プロ有限完備が群の構造を「完全に」捉えているわけではないことを再確認する重要な結果です。
• 手法の革新性: 従来の Rips 構成の核の構造を詳細に解析する必要がなく、$H$ を $G$ の部分群として構成し、共役による自己埋め込みを直接示すという簡潔かつ強力なアプローチを採用しています。
• 今後の展望: プロ有限剛性が成立するクラスと成立しないクラスの境界をさらに明確にするための基礎的な一歩となりました。

要約すれば、著者らは Wise の Rips 構成と Bridson のユニバーサル群を巧みに組み合わせることで、プロ有限完備が同一でありながら、コ・ホップ性の有無が異なる 2 つの群を構成し、コ・ホップ性がプロ有限性質ではないことを証明しました。