Subgroups with all finite lifts isomorphic are conjugate

技術的概要：すべての有限リフトが同型である部分群は共役である

問題提起
本論文は、群論における部分群の同型性と群拡大におけるその振る舞いの関係に関する根本的な問いに取り組んでいる。具体的には、群 $G$ のすべての有限拡大において同型な前像（リフト）を持つという性質が、$G$ 内においてその部分群が共役であることを意味するかどうかを調査している。

この問いは、$\mathbb{Z}$-剰余類同値の研究に動機づけられている。2 つの部分群 $G_1, G_2 \leq G$ が $\mathbb{Z}$-剰余類同値であるとは、置換加群 $\mathbb{Z}[G/G_1]$ と $\mathbb{Z}[G/G_2]$ が同型であることをいう。共役な部分群は自明に $\mathbb{Z}$-剰余類同値であるが、その逆は一般には成り立たない。Dipendra Prasad によって提起された特定の問い（問い 1.3）は、次のものである：$G$ が有限群であり、$G_1, G_2 \leq G$ が $\mathbb{Z}$-剰余類同値であるならば、$G_1$ と $G_2$ は必然的に同型か？

本研究以前には、非共役な $\mathbb{Z}$-剰余類同値の対の例は極めて少なかった（特に L. Scott によって発見された $PSL(2, 29)$ 内の対）。そのような対において部分群が非同型であるという事実は、未解決問題であった。

手法
著者らは、非共役な部分群を区別する有限群拡大を生成するための構成論的アプローチを採用している。核心的な戦略は、以下の論理的ステップに依存している。

1. プロ有限剛性への還元：著者らはまず、2 つの部分群が非同型なプロ有限完備化を持つならば、それらの前像が非同型となる有限商が存在することを確立している（命題 3.1、系 1.6）。
2. Cornulier の構成：主要定理の証明は、Y. Cornulier の結果（定理 1.2）に基づいており、任意の有限群 $G$ に対して、$G \cong \text{Out}(N)$ となる有限群 $N$ が存在することを述べている。
3. 構成の洗練：著者らは Cornulier の構成に関する Sambale の解説（定理 4.1）を分析・洗練している。彼らは、以下の決定的な性質を持つ特定の有限群 $N$ を構成している（定理 4.2）：
   • $G \cong \text{Out}(N)$。
   • 中心 $Z(N)$ は自明である。
   • $\text{Aut}(N)$ の $N$ に同型な部分群は、内部自己同型群 $\text{Inn}(N)$ だけである。
   • $N$ は超可解である。
4. 拡大群：群 $N$ を用いて、$\tilde{G} = \text{Aut}(N)$ と定義する。核が $N$ となる自然な全射準同型写像 $\phi: \tilde{G} \to G$ が存在する。
5. 背理法：著者らは、前像 $\phi^{-1}(G_1)$ と $\phi^{-1}(G_2)$ が同型であると仮定すると、$\tilde{G}$ をより大きな群に埋め込む HNN 拡大を構成でき、その中で $G_1$ と $G_2$ が共役になることを示すことができる。$N$ の特定の剛性（具体的には、$N$ が $\tilde{G}$ 内のその同型型における唯一の部分群であること）を利用することで、この拡大における共役性が、元の群 $G$ において $G_1$ と $G_2$ が共役であることを強制することを示している。

主要な結果

• 定理 1.1（主要結果）：$G$ を有限群とする。任意の 2 つの非共役な部分群 $G_1, G_2 \leq G$ に対して、前像 $\phi^{-1}(G_1)$ と $\phi^{-1}(G_2)$ が同型ではないような、有限群 $\tilde{G}$ と全射準同型写像 $\phi: \tilde{G} \to G$ が存在する。さらに、$\phi$ の核は超可解に選べる。もし $G$ が可解ならば、$\tilde{G}$ も可解である。
• 定理 1.4（Prasad の問いへの回答）：本論文は問い 1.3 に対して否定的な回答を与える。既知の非共役な $\mathbb{Z}$-剰余類同値の対（$G = PSL(2, 29)$内、ここで$G_1, G_2 \cong A_5$）に定理 1.1 を適用することで、著者らは$\mathbb{Z}$-剰余類同値だが**同型ではない**前像を含む有限群$\tilde{G}$ を構成する。
• 定理 1.7：著者らは、四面体の反射群における指数 2 の部分群である群 $\Gamma$ に関する具体的な応用を示す。彼らは、非共役な $A_5$ 部分群の非同型な前像を持つように $PSL(2, 29)$へ写像する有限商$Q$が$\Gamma$ に存在することを示す。これは、Magma を用いて前像が指数 5 の部分群の数が異なることを示すことで計算機的に検証されている。

意義と関連性
本論文は、数学のいくつかの分野において意義を主張している。

1. 未解決問題の解決：$\mathbb{Z}$-剰余類同値が部分群の同型性を意味しないことを、部分群が非共役である場合であっても示すことで、Prasad の問いに決定的な回答を与える。
2. プロ有限剛性：結果はプロ有限剛性の分野と関連している。本論文は、特定の群（写像類群や非算術格子など）の有限指数部分群が、そのプロ有限完備化によって同型まで決定されるならば、それらの群内の非共役な部分群は有限商によって区別できることを示唆している。
3. アナベリアン幾何学：この研究は Neukirch–Uchida 定理に関連している。著者らは、同定理が絶対ガロア群の非共役な部分群が非同型であることを意味する一方で、自らの結果は群がプロ有限ではなく有限であるという点で、有限群の類似を提供することを指摘している。
4. 数論と幾何学への応用：非同型な $\mathbb{Z}$-剰余類同値の対の存在は、以下の点に影響を及ぼす。
   • 乗法群が同型である非同型な数体の構成。
   • 偏極なしでヤコビ多様体が同型である非同型なリーマン曲面の生成。
   • そのような対から構成される空間のコホモロジーの研究。

主張の謙虚さ
著者らは、結果の範囲について謙虚なトーンを維持している。彼らは明示的に、非共役な部分群を有限リフトを通じて区別する方法を提供する一方で、構成された特定の有限群 $\tilde{G}$ はしばしば巨大であり、必ずしも最小ではないと述べている。また、彼らの構成はすべての有限群に対して機能するが、$\mathbb{Z}$-剰余類同値への特定の応用は、少なくとも 1 つの初期の非共役な対の存在（これは既に知られていた）に依存していると指摘している。本論文は、そのようなすべての対を分類するものではなく、むしろそれらを分離する拡大の存在を確立するものであると主張している。