The endomorphism tower of a finite symmetric group

技術要約：有限対称群の自己準同型タワー

問題提起
本論文は、モノイド $M$ の「自己準同型タワー（endomorphism tower）」、すなわち $\text{End}_0(M) = M$ および $i \ge 1$ に対して $\text{End}_i(M) = \text{End}(\text{End}_{i-1}(M))$ と定義されるモノイドの列を調査するものである。有限中心を持つ有限群における「自己同型タワー（automorphism tower）」の挙動はよく理解されている（有限なステップで停止する）が、モノイドにおける自己準同型タワーの挙動はほとんど未開拓のままである。著者らはまず、任意の有限の非自明なモノイドに対して、列 $\text{End}_i(M)$ は決して安定化しない（すなわち、任意の有限な $i$ に対して $\text{End}_i(M) \not\cong \text{End}_{i+1}(M)$ である）ことを確立する。その結果、研究の焦点は、これらのタワーの「単位群（群の単位元となる要素の集合、すなわち自己同型群）」における安定パターンの特定へと移る。主な焦点は、$n \ge 7$ における有限対称群 $S_n$ であり、ここでは自己同型タワーは直ちに終了する（$\text{Aut}(S_n) \cong S_n$）。中心的な問いは、より高いレベル $i$ において $\text{End}_i(S_n)$ の単位群は $S_n$ と同型であり続けるか、ということである。

手法
著者らは、構造的半群論と対称群の特定の性質を組み合わせ、$\text{End}_1(S_n)$、$\text{End}_2(S_n)$、および $\text{End}_3(S_n)$ のモノイドを分析する。

1. 構造的分解： 著者らは、グリーン関係（Green's relations）と冪等元の分類を用いて、モノイドを分割する。$\text{End}_1(S_n)$ については、先行研究に基づき、自己同型、ランク2の特異自己準同型（冪等かつ非冪等）、および零元を区別してその構造を想起する。
2. 特性部分集合と中心化群： 自己準同型モノイド内における「特性部分集合（すべての自己同型によって不変な部分集合）」を特定することが核心的な手法である。著者らは、$n \ge 7$ において $S_n$ が完全群（中心がなく、内的な自己同型のみを持つ）であることを利用し、$\text{Aut}(\text{End}_i(S_n))$ を $S_n$ と、単位群を固定する自己同型の核（kernel）との直積へと分解する。
3. 位数2の要素の中心化群の分析： セクション4.1および5における重要な技術的作業は、$S_n$ における位数2の要素の中心化群の分析に充てられている。著者らは、2つの位数2の要素が入れ子状の中心化群または等しい中心化群を持つ場合、特定のパリティ条件の下で、それらは等しいか、あるいは互いに素でなければならないという補題を証明する。これは、特異自己準同型内での共役類を区別するために極めて重要である。
4. 反復的構成： 著者らは、単位群 $\text{Aut}(S_n)$ および特異部分 $\text{SEnd}(S_n)$ に対する作用に基づいて $\text{End}_2(S_n)$ の要素を明示的に構成する。彼らはランクと核の構造に基づいて自己準同型を分類し、$\text{End}_2(S_n)$ の完全な乗法表を提供する。
5. 自己同型の決定： $\text{End}_3(S_n)$ の単位群（すなわち $\text{Aut}(\text{End}_2(S_n))$）を決定するために、著者らは、単位群 $\text{Aut}(S_n)$ を点ごとに固定する $\text{End}_2(S_n)$ の任意の自己同型が恒等写像であることを系統的に証明する。これは、そのような自己同型が特定の冪等元および特性部分集合を固定しなければならず、最終的にモノイド全体を固定せざるを得ないことを示すことで達成される。

主要な貢献と結果

• 有限モノイドの非安定化： 本論文は、任意の有限の非自明なモノイドの自己準同型タワーは、冪等元の数が各ステップで厳密に増加するため、有限のステップで決して安定化しないことを証明する（命題3.2）。
• $\text{End}_2(S_n)$ の構造： 著者らは、$n \ge 7$ における $\text{End}_2(S_n)$ の要素の完全な記述を提供する。彼らはこれらの自己準同型を異なる家族（自己同型、ランク2の写像、共役類を潰す写像など）に分類し、完全な合成表を提示する（セクション6）。
• 単位群の同型性：
  • $\text{End}_1(S_n)$ の単位群が $S_n$ と同型であることが検証されている。
  • 本論文は $\text{End}_2(S_n)$ の構造を決定し、その単位群 $\text{Aut}(\text{End}_1(S_n))$ が $S_n$ と同型であることを証明する。
  • 決定的なことに、著者らは $\text{End}_3(S_n)$ の構造を決定し、その単位群 $\text{Aut}(\text{End}_2(S_n))$ もまた $S_n$ と同型であることを証明する（定理7.23）。
• 自己同型の特徴付け： 著者らは、$n \ge 7$ において $\text{End}_2(S_n)$ の自己同型群は、$S_n$ 自体の性質を反映して、内的な自己同型のみで構成されることを示す。

意義と主張
著者らは、本研究をモノイドの自己準同型タワー研究の「切り開き（opener）」として位置づけている。$S_n$ の自己同型タワーが最初のステップで安定化することは既知であるが、レベル $i=1$ 以上での自己準同型タワーの挙動はこれまで未知であったことを彼らは認めている。

主な主張される意義は、$\text{End}_2(S_n)$ の要素と構造の決定、および最初の3つのレベル（$i=0, 1, 2$）において単位群が $S_n$ のままであることの検証である。本論文は、このような研究に必要とされる技術を例示していると明言しており、生じる複雑さに注意を払っている。

著者らは、一般論については控えめな姿勢を保っている。彼らは、$\text{Aut}(\text{End}_i(S_n)) \cong S_n$ がすべての $i \ge 3$ に対して成り立つかという未解決の問い（問い8.1）を提起し、一つのレベルから次のレベルへと要素がどのように受け継がれるかについての一般的なパターンはまだ発見されていないと述べている。また、彼らはこの研究を、他の変換モノイド（$T_n$ など）の研究や、無限半群が安定する自己準同型タワーを持ち得るかどうかの調査のための基礎として位置づけている。