[論文レビュー] Conjugacy, roots, and centralizers in Thompson's group $F$

Nick Gill, Ian Short|ArXiv.org|Sep 13, 2007

Geometric and Algebraic Topology参考文献 1被引用数 5

ひとこと要約

この論文は、Thompsonの群Fにおける共役問題を完遂するために、新たな不変量Δを導入し、Fに属する2つの元fとgが共役であるための必要十分条件が、それらの不変量(Σf, Δf)と(Σg, Δg)が等しいことであることを証明した。BrinとSquierの幾何的不変量Σを拡張して、Fに特有の共役データを捉えるためにΔを定義し、単位区間におけるdyadic有理数の区分的線形写像（斜めが2の累乗である）の力学的性質に基づいて、Fにおける共役、根、中心化部分群の完全な特徴付けを可能にした。

ABSTRACT

We complete the program begun by Brin and Squier of characterising conjugacy in Thompson's group $F$ using the standard action of $F$ as a group of piecewise linear homeomorphisms of the unit interval.

研究の動機と目的

• BrinとSquierが開始したが完全に解決されなかったThompsonの群Fにおける共役問題を完遂すること。
• Σが捉えるものとは異なる、Fにおける共役類を区別する新たな不変量Δを定義し、その特徴付けを行うこと。
• 単位区間における区分的線形作用に基づく幾何的・力学的不変量を用いて、Fにおける根と中心化部分群の構造を分析すること。
• 群の幾何的作用に基づき、Fにおける共役、根、中心化部分群に対する完全でアルゴリズム的な解決策を提供すること。

提案手法

• 論文は、BrinとSquierの不変量Σを拡張し、Fにおけるバウンドドメイン上での符号、初期斜め、斜め比関数の性質を捉える。
• 新たな不変量Δを導入し、各バウンドドメインにおける斜め比関数ψf,jの対称性型を記述する。具体的には、有限関数ψf,jのp_i重対称性の数を表す。
• Δは、各バウンドドメインにおける対称性p_iと初期斜め2^{m_i}の指数m_iからなる整数のタプルとして定義される。
• 著者らは、Fにおける2つの元fとgが共役であるための必要十分条件が、fとgがPL+(0,1)で共役であり、かつΔf = Δgであることであることを証明した。この証明には[3, Theorem 5.3]と、斜めの力学的性質の詳細な分析を用いた。
• 根と中心化部分群に関しては、p乗根がFに存在するための必要十分条件が、すべてのm_iとp_iがpで割り切れるということであり、中心化部分群がF^a × ℤ^bに同型であることを示した。ここでaは最大固定区間の数、bはバウンドチェーンの数である。
• 中心化部分群と根の構造は、区間上の作用の力学的性質と、PL+(0,1)における根の一意性に基づき、dyadic有理数のノード制約を用いてFへと拡張された。

実験結果

リサーチクエスチョン

• RQ1 Thompsonの群Fにおける共役を完全に分類するために、Σを超える追加の不変量として何が必要か？
• RQ2 Fの元がF内でp乗根を持つための条件は何か？また、根群R(f)の構造はどのようになるか？
• RQ3 与えられた非自明な元fに対して、Fにおける中心化部分群C(f)の構造は何か？
• RQ4 幾何的不変量ΣとΔがFにおける共役をどのように決定づけるか？また、斜め比関数の対称性の役割は何か？
• RQ5 BrinとSquierのPL+(0,1)における手法をどのように精錬すれば、Fにおける部分群としての完全な共役解が得られるか？

主な発見

• Fに属する2つの元fとgがFで共役であるための必要十分条件は、(Σf, Δf) = (Σg, Δg)であることである。これにより、Fにおける共役問題が完全に解決された。
• 根群R(f)がℤに同型であるための必要十分条件は、整数pがすべての初期斜め指数m_iとすべての斜め比関数の対称性次数p_iを割り切ることである。
• Fにおける中心化部分群C(f)は、fの固定点集合の最大連結開集合の数aと、fのバウンドチェーンの数bを用いて、F^a × ℤ^bに同型である。
• 不変量Δは、各バウンドドメインごとに、斜め比関数ψf,jの最大対称性次数p_iと初期斜め2^{m_i}の指数m_iからなる整数のタプル(p_i, m_i)として定義される。
• fのp乗根がFに存在するための必要十分条件は、pがすべてのm_iおよびすべてのp_iを割り切ることであり、そのような根はPL+(0,1)において一意的であるため、Fにおいても一意的である。
• 中心化部分群の構造は、fと可換な写像が各バウンドチェーン上で根として作用し、各最大固定区間C上でF_C ≅ FとなるF_Cの任意の元として作用しなければならないという事実に起因する。