[論文レビュー] On identities in Thompson's group

Evgenii S. Esyp|ArXiv.org|Feb 2, 2009

Academic and Historical Perspectives in Psychology被引用数 3

ひとこと要約

この論文は、トマソン群 F が任意の非自明な恒等式を満たさないことを証明している。つまり、有限個の変数における固定された関係が、すべての n 元組の要素に対して成り立つということではない。2 のべきを斜めとする区分的線形同相写像と二進分割に基づく構成的手法を用いて、著者らは任意の n と k に対して、長さ k 未満の関係を満たさない F の n 個の元が存在することを示し、F が強い非恒等的性質を示し、自由群と同様に構造的に豊かであることを確認している。

ABSTRACT

In this article we prove that Thompson's group does not belong to any algebraic variety.

研究の動機と目的

• トマソン群 F が有限個の変数において任意の非自明な恒等式を満たさないことを確立すること。
• 任意の n と k に対して、長さ k 未満の関係を満たさない F の n 個の元が存在することを示すこと。
• 短い関係を破る明示的な元を構成することで、F が非自由であるにもかかわらず恒等式によって制約されないことを証明すること。
• F の構造が十分に複雑であり、自由群と同様に代数的恒等式を避けることができることを示すこと。
• 区分的線形写像と二進分割を用いた構成的証明により、任意の語の評価を実現すること。

提案手法

• 区間 [0,1] を二進区間に分割して、2 のべきを斜めとする区分的線形写像を定義する。
• 長方形図を用いて F の元を表現し、生成子とその逆元が区間に作用する様子を視覚化する。
• 補題 1 を用いて、有限の二進分割上で定義された部分的な区分的線形写像を F の完全な元に拡張する。
• 任意の長さ k の既約語 w(x,y) に対して w(a,b) ≠ 1 となるように、F の元 a と b を定義する。これは w(a,b)(β₁) = β_{k+1} > β₁ であることを保証することで達成される。
• 部分区間上で、制御された斜め（2 のべき）と区間比を 2 のべきの和に分解する帰納的構成を用いる。
• F が捩れがないこと、およびすべての折り目点と斜めが ℤ[1/2] に属することを用いて、適切に定義され、逆写像可能で向きを保つ写像を保証する。

実験結果

リサーチクエスチョン

• RQ1 トマソン群 F は有限個の変数において非自明な恒等式を満たすか？
• RQ2 任意の k に対して、長さ k 未満の関係を満たさない F の元のペアを構成できるか？
• RQ3 2 変数の既約語を、F の非自明な元として実現することは可能か？
• RQ4 F の区分的線形写像の構造は、恒等式が成立しないようにどのように機能するか？
• RQ5 二進分割と区間比は、短い関係を避ける要素を構成する際に果たす役割は何か？

主な発見

• トマソン群 F は、任意の有限個の変数において非自明な恒等式を満たさない。
• 任意の n と k に対して、それらの間に長さ k 未満の関係を満たさない n 個の元が F に存在する。
• 特に、任意の k に対して、長さ k 未満の関係を満たさないような a, b ∈ F のペアが存在する。
• 証明は、任意の長さ k の既約語 w に対して w(a,b) ≠ 1 となる明示的な元 a と b を構成する。
• この構成は、制御された斜めと 2 のべきへの区間の分解を用いた二進分割上の写像を定義することに依存する。
• 鍵となる洞察は、w(a,b) が分割点を前方に動かす作用を示すことであり、これにより恒等写像でないことが保証される。