Embeddable partial groups

この論文は、部分群が群に埋め込めることと積の一意性が同値であるという古典的定理を記録し、埋め込み不可能な部分群の例を調査するとともに、部分群の群への埋め込み可能性がその簡約の群への埋め込み可能性と同値であることを示しています。

要約

1. 舞台設定：不完全なルールブック（部分群）

まず、「部分群」とは何か想像してみてください。
通常の「群（Group）」とは、足し算や掛け算のような計算ルールがすべて定義されていて、どんな数字を組み合わせても必ず答えが出、かつ逆算もできるような、完璧なルールブックです。

一方、**「部分群（Partial Group）」は、「部分的なルールブック」**です。

• 「A と B を足せば C になる」は書かれている。
• でも、「D と E を足す」のはルールに載っていない（定義されていない）。
• さらに、「F と G を足す」のは載っているが、その答えが「H」か「I」か、書き方が二通りあるかもしれない。

この論文は、**「この不完全なルールブックを、完璧なルールブック（通常の群）の中に埋め込む（埋め込む＝矛盾なく拡張する）ことができるか？」**という問いに答えています。

2. 核心の発見：「括弧のつけ方」がすべて

論文の冒頭にある「昔から言われている定理」を、料理に例えてみましょう。

• 状況: 食材（数字や記号）を並べて料理（計算）をします。
• 問題: 「A, B, C」を料理する場合、
  • 方法 1: (A と B を混ぜてから) C を加える
  • 方法 2: A を (B と C を混ぜたもの) に加える
    というように、**「どこを先に混ぜるか（括弧のつけ方）」**によって、手順が異なります。

通常、完璧なルールブックでは、どちらの順序で混ぜても**「最終的な味（答え）」は同じ**になります（これを「結合律」と言います）。

しかし、部分群では、ルールが不完全なので、**「ある順序で混ぜると『美味しい（答えがある）』のに、別の順序だと『焦げる（答えがない）』」**ということがあります。

論文の結論（定理）：

「部分群を完璧な群に直せるかどうかは、**『同じ食材の並びに対して、異なる混ぜ方（括弧のつけ方）をしたときに、答えが『1 つだけ』に決まっているか』**で判断できる」

もし、A, B, C という並びに対して、「先に A と B を混ぜる」と「先に B と C を混ぜる」の両方が可能で、かつ答えが違ってしまうなら、それは**「絶対に完璧な群には直せない（埋め込めない）」**という「欠陥品」です。逆に、どんな混ぜ方をしても答えが 1 つに決まれば、それは「直せる」のです。

3. 逆説的な例：「長い道」の罠

著者たちは、この「直せない」例を、あえて**「 universial counterexample（普遍的な反例）」**として作りました。

• 比喩: 2 つの地点（A と B）があります。
  • 道 1: A → 小径 → B
  • 道 2: A → 長い迂回路 → B
  • 通常、地図（群）では、A から B への道は「1 つの経路」しか存在しません。
  • しかし、部分群の世界では、**「長い迂回路をたどると、実は A と B は同じ場所だった」**と気づくまで、A と B は別物に見えます。

論文では、**「どのくらい長い迂回路（ジグザグな道）をたどれば、2 つの道が同じだとわかるか」**を研究しました。

• 例 1: すぐに同じだとわかる。
• 例 2: 100 回も迂回しないと、実は同じ道だと気づかない。

この「迂回する長さ」を制御して、**「どんな長さのジグザグ道でも作れる」**ような、完璧に「直せない」部分群のモデルを構築しました。これにより、「直せる部分群」の集合を、数学的に厳密に定義（直交性クラス）できるようになりました。

4. 最後のオチ：「縮小」すればわかる

論文の最後には、もう一つ面白い発見があります。

• 部分群（Partial Groupoid）: 複数の場所（頂点）がある、複雑な迷路のようなもの。
• 部分群（Partial Group）: すべての場所を**「1 つの点」**に潰して、単純化したもの。

定理：

「複雑な迷路（部分群）が、完璧な群に直せるかどうかは、**『その迷路をすべて 1 つの点に潰した単純なバージョン（部分群）』**が直せるかどうかで決まる」

つまり、**「迷路が複雑だからといって、本質的な問題が解決されるわけではない」**ということです。単純化してチェックすれば、元々の複雑な迷路も直せるかどうかが一発でわかります。

まとめ：この論文は何を伝えているのか？

1. ルールチェック: 「部分群」が本当の「群」になれるかどうかは、**「計算順序を変えても答えが 1 つに決まっているか」**という単純なテストで判断できる。
2. 反例の作成: 「直せない」部分群の例を、数学的に完璧に作ることができた。
3. 単純化の力: 複雑な構造を単純化（縮小）すれば、その本質的な「直せるかどうか」が見えてくる。

一言で言うと：
「ルールが不完全なゲームでも、**『どの手順でやっても結果が同じ』**という性質を守っていれば、それは立派なゲーム（群）に成長できる。でも、手順によって結果が変わってしまうなら、それは欠陥品で、どんなに頑張っても完璧なゲームにはなれないよ」ということを、数学的に証明した論文です。

技術概要

埋め込み可能な部分群（Partial Groups）に関する論文の技術的サマリー

論文タイトル: EMBEDDABLE PARTIAL GROUPS
著者: Philip Hackney, Justin Lynd, Edoardo Salati
概要: 本論文は、部分群（partial groups）および部分群圏（partial groupoids）が通常の群（または群圏）に埋め込めるための必要十分条件を確立し、その非埋め込み性の普遍的反例を構成・分類するものです。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細を記述します。

---

1. 問題設定 (Problem)

部分群（Chermak の定義に基づく）は、群の公理を部分的に満たす代数構造であり、特に $p$-局所群論や融合系（fusion systems）の理論において重要な役割を果たします。しかし、すべての部分群が何らかの群に埋め込める（すなわち、ある群の部分集合として、その群の演算と整合的に振る舞う）わけではありません。

従来の知見（folklore theorem）では、「部分群が群に埋め込めるための障害は、ある単語（word）に対して異なる括弧付け（parenthesization）を行った際に、定義された積が異なってしまうことである」と考えられていました。しかし、この逆（「積の一意性が保たれれば埋め込み可能である」）が一般的に成り立つかどうか、また、その証明がどのように行われるかは明確ではありませんでした。また、可逆性を仮定しない場合（部分群圏）や、より一般的な構造における同様の条件も未解決でした。

2. 手法と枠組み (Methodology)

著者らは、対称集合（symmetric sets）という枠組みを用いて問題を定式化しています。これは、可逆性をモデル化するための簡便な拡張であり、シンプリシャル集合（simplicial sets）の一般化です。

• 対称集合と部分群圏: 部分群圏を「棘のある（spiny）」対称集合として定義し、その下位構造としてシンプリシャル集合（edgy 条件を満たすもの）を扱います。
• 反射（Reflection）と基本群圏: シンプリシャル集合の圏から圏（Cat）への反射 $\tau: \text{sSet} \to \text{Cat}$（Gabriel & Zisman に由来）を利用します。部分群圏 $X$ の基本群圏 $\tau X$ を構成し、$X$ が $\tau X$ に埋め込めるかどうかを調べます。
• 単語と関係関係: 1-単体（1-simplices）の列である「単語」の集合 $W(X)$ を定義し、2-単体（2-simplices）を用いた内側面写像（inner face maps）による関係 $\leadsto$（積の簡約）を導入します。
• 直交性（Orthogonality）: 埋め込み可能な部分群圏の圏を、特定の写像集合に対する「直交性クラス（orthogonality class）」として記述します。

3. 主要な貢献と結果 (Key Contributions and Results)

A. 埋め込み可能性の必要十分条件（定理 2 と系 3）

著者らは、以下の重要な定理を証明しました。

• 定理 2: 部分群圏 $X$ において、2 つの 1-単体 $f, g$ が基本群圏 $\tau X$ 内で等しい（$[f]=[g]$）ならば、$f$ と $g$ の間に「単語 $w$ を介した関係 $f \leadsto w \leadsto g$」が存在する。
  • これは、2 つの経路が群内で等しくなるためには、単純な「折れ線（zig-zag）」ではなく、特定の単語による変換経路で結ばれている必要があることを示しています。
• 系 3（埋め込み可能性の判定）: 部分群圏 $X$ が群圏に埋め込めるための必要十分条件は、以下のいずれかが成り立つことです。
  1. $X$ がその基本群圏 $\tau X$ に埋め込める。
  2. すべての 1-単体が「happy（幸せ）」である（すなわち、異なる積の順序によって同じ 1-単体が得られる「sad（悲しい）」1-単体が存在しない）。
  3. すべての単語が「kind（親切）」である（異なる括弧付けによって異なる結果になる「mean（意地悪）」単語が存在しない）。

これにより、「各単語に対して、括弧付けの選び方に関わらず積が一意に定まる（存在すれば）」ことが、埋め込み可能性の必要十分条件であることが示されました。これは Baer や Tamari の古典的な結果を、多対象（many-object）の文脈で再発見・一般化したものです。

B. 普遍的反例の構成と直交性記述

埋め込み不可能な部分群圏の「普遍的反例」を構成しました。

• NAT,T' の構成: 正 $n+1$ 角形の 2 つの異なる三角分割（triangulations）$T, T'$ に対応する部分群圏 $N_{T,T'}$ を定義します。
• 定理 13 と命題 17: 部分群圏 $X$ が埋め込み可能であることは、すべての「適合する（compatible）」三角分割の対 $(T, T')$ に対して、写像 $N_{T,T'} \to X$ が「長い辺（long edges）」を同一視する（つまり、異なる積の順序が同じ結果を与える）ことと同値です。
• これにより、埋め込み可能な部分群圏の圏は、特定の写像集合 $\{N_{T,T'} \to A_{T,T'}\}$ に対する直交性クラスとして具体的に記述されます。

C. 次数（Degree）の計算

対称集合の「次数（degree）」という不変量（[12] に由来）を計算しました。

• 命題 18: 三角分割の対 $(T, T')$ が「円錐（cone）」を持たない場合、$N_{T,T'}$ の次数は 2 です。円錐を持つ場合は 3 です。
• 命題 20: 部分群圏が「$\diamond$ 条件」（$ab$ と $bc$ が定義されるとき、$(ab)c$ と $a(bc)$ の存在・一致に関する条件）を満たすことと、次数が 2 であることは同値です。
• これらの結果は、非埋め込み性の「深さ」を次数という指標で定量化するものです。

D. 簡約（Reduction）と埋め込み可能性

• 定理 26: 部分群圏 $X$ が群圏に埋め込めることは、その「簡約（reduction）」（すべての頂点を同一視して得られる部分群）が群に埋め込めることと同値です。
• これは、多対象の埋め込み問題が、単一対象の埋め込み問題（部分群の埋め込み）に帰着されることを示しており、理論的な簡素化をもたらします。

4. 意義 (Significance)

1. 古典的結果の一般化と厳密化: Baer や Tamari の結果を、部分群（単一対象）から部分群圏（多対象）へ一般化し、シンプリシャル集合の言語を用いて厳密に証明しました。特に、「積の一意性」が埋め込み可能性の完全な特徴付けであることを示しました。
2. 圏論的記述の確立: 埋め込み可能な対象の圏を、直交性クラスとして記述することで、圏論的な操作（反射、局所化など）を適用可能にしました。
3. p-局所群論への応用: 部分群は融合系（fusion systems）の理論、特に連結局所性（localities）やリンク系（linking systems）の理解に不可欠です。本論文の結果は、これらの構造がどのようにして群に埋め込まれるか（あるいは埋め込めないか）を解析するための強力なツールを提供します。例えば、Benson-Solomon 融合系などの特定の例において、基本群の計算や構造の理解に寄与します。
4. 反例の体系的な理解: 埋め込み不可能な構造を「三角分割の対」という幾何学的な対象として分類し、その複雑さを「次数」で評価する枠組みを提供しました。

総じて、本論文は部分群論の基礎的な構造を明確にし、代数幾何学、ホモトピー論、および有限群論の交差点において重要な理論的基盤を築いたと言えます。