[論文レビュー] Finite index subgroups of R. Thompson's group F

Collin Bleak, Bronlyn Wassink|ArXiv.org|Nov 7, 2007

Fluorine in Organic Chemistry参考文献 4被引用数 10

ひとこと要約

この論文はR.トマソンの群Fのすべての有限指数部分群を分類し、Fに同型であるのはちょうど正の整数a, bに対しK_{(a,b)}である矩形部分群であることを証明する。それ以外の有限指数部分群は、Z×Zにおける部分群の入れ子構造を介して準同型φ:F→Z²によって完全に特定される、Fを有限巡回群で非分裂拡大するものである。

ABSTRACT

The authors classify the finite index subgroups of R. Thompson's group $F$. All such groups that are not isomorphic to $F$ are non-split extensions of finite cyclic groups by $F$. The classification describes precisely which finite index subgroups of $F$ are isomorphic to $F$, and also separates the isomorphism classes of the finite index subgroups of $F$ which are not isomorphic to $F$ from each other; characterizing the structure of the extensions using properties of the structure of the finite index subgroups of $Z imes Z$.

研究の動機と目的

• R.トマソンの群Fのすべての有限指数部分群を分類すること。
• 有限指数部分群の中でFに同型であるものが正確にどれであるかを特定すること。
• Fに同型でない有限指数部分群の同型類を特徴づけること。
• Z×Zの部分群の入れ子構造を用いて、Fに同型でない有限指数部分群の構造を記述すること。
• Fの有限指数部分群に関するビクトル・グーバの質問4.5を解消すること。

提案手法

• φ(f)=(log₂(f′(0)), log₂(f′(1)))によりF→Z²への準同型φを定義し、端点における勾配をマッピングする。
• 矩形部分群K_{(a,b)}=φ⁻¹(⟨(a,0),(0,b)⟩)≤Fを定義し、これらは有限指数部分群である。
• F′≤H for all H∈FIFであるという事実を用いて正規性を保証し、商群による解析を可能にする。
• Hにおける最大の矩形部分群とHを含む最小の矩形群をそれぞれ内側矩形群Inner(H)と外側矩形群Outer(H)として定義する。
• スケーリング写像τ_{(a,b)}と反転写像Revを用いて、非矩形部分群の同型型を分類する。
• 完全列と可換図式を用いて、H≤FとZ²の部分群との関係をφを介して関係づけ、Fに同型でない場合にHが非分裂拡大であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Fの有限指数部分群の中で、F自身に同型であるものはどれか？
• RQ2 Fに同型でないFの有限指数部分群の構造はいかなるものか？
• RQ3 Fに同型でない有限指数部分群の同型類はどのように区別できるか？
• RQ4 準同型φ:F→Z²は、Fの有限指数部分群とZ²の部分群との間に対応をどのように誘導するか？
• RQ5 特に矩形でない場合に、Fの2つの有限指数部分群が同型であるかどうかを決定するのは何によるか？

主な発見

• 有限指数部分群H≤FがFに同型であることと、ある正の整数a, bに対してH=K_{(a,b)}であることは同値である。
• Fに同型でないFのすべての有限指数部分群H≤Fは、Fを有限巡回群で非分裂拡大するものである。
• このような非同型部分群の構造は、φ(H)/φ(Inner(H))という商群Qとして、有限巡回群として完全に特定される。
• 有限指数部分群H≤Fの同型類は、適切なa, bに対するτ_{(a,b)}によるHのスケーリングおよび（必要に応じて）反転後の像の同型型によって決定される。
• 2つの有限指数部分群HとH′が同型であることと、τ_{(a,b)}(H)がτ_{(c,d)}(H′)またはその反転と同型であることは同値である。ここで(a,b)と(c,d)はそれぞれOuter(H)とOuter(H′)から得られる。
• 例から、外側群が異なるが剰余類は同じである部分群は、τ_{(a,b)}によるスケーリング後の像が異なるため、同型でないことが確認される。