[論文レビュー] Non-genericity phenomenon in some ordered Fraisse classes

Konstantin Slutsky|arXiv (Cornell University)|Oct 4, 2010

Advanced Topology and Set Theory参考文献 8被引用数 3

ひとこと要約

本稿は、順序付き有理数の自己同型群およびランダムに順序付けられた有理数ユリゾフ空間の自己同型群において、すべての2次元的位相的類似性類が劣程度であることを確立する。genericity理論の技術を適応し、Fraïssé系列における統合性の性質を活用することで、著者は、いかなる類似性類も余劣程度でないことを証明し、従来の共役類の劣程度性に関する結果を、より粗いが取り扱いやすい同値関係へと拡張する。

ABSTRACT

We show that every two-dimensional class of topological similarity, and hence every diagonal conjugacy class of pairs, is meager in the group of order preserving bijections of the rationals and in the group of automorphisms of the randomly ordered rational Urysohn space.

研究の動機と目的

• Fraïssé極限の自己同型群における位相的類似性類のgenericity性質を調査すること。
• 既知の共役類の劣程度性に関する結果を、より広範な位相的類似性の文脈へと拡張すること。
• 順序付き有理数やランダムに順序付けられた有理数ユリゾフ空間といった重要な構造において、2次元的位相的類似性類が余劣程度でないことを確立すること。
• 部分的に初等的なペアと語解放を用いた枠組みを構築し、自己同型群におけるgenericな振る舞いを分析すること。

提案手法

• 生成された部分群の同型に基づいて、群の元のn重組みの間の同値関係として位相的類似性を定義する。
• 自由群における短縮語を用いた部分同型の解放の概念を用い、genericな列を構成する。
• 有理数ユリゾフ空間における統合技術を適用し、語作用の下で固定点を保存しながら部分等長写像を拡張する。
• 短縮語のgenericな列の存在を活用して、類似性類の収束性と劣程度性を示す。
• metric統合と等長写像の拡張を用いて、有理数のケースからの証明を、ランダムに順序付けられたユリゾフ空間のmetric的設定へと適応する。
• 任意の部分同型の対に対して、語が定義域上で恒等写像として作用するような拡張と語が存在することを証明し、genericな振る舞いの保証を得る。

実験結果

リサーチクエスチョン

• RQ1 順序付き有理数の自己同型群において、2次元的位相的類似性類は劣程度か？
• RQ2 共役類の劣程度性に関する結果を、Fraïssé極限における位相的類似性類へと強化できるか？
• RQ3 ランダムに順序付けられた有理数ユリゾフ空間の自己同型群においても、同様の劣程度性現象が成立するか？
• RQ4 語解放の手法を等長写像制約を伴うmetric的Fraïssé系列に適応できるか？
• RQ5 これらの自己同型群において、非劣程度な2次元的類似性類の存在に構造的障害はあるか？

主な発見

• 順序を保つ有理数の全単写像の群において、すべての2次元的位相的類似性類は劣程度である。
• ランダムに順序付けられた有理数ユリゾフ空間の自己同型群において、すべての2次元的位相的類似性類は劣程度である。
• 証明技法は、群作用の下で安定化する短縮語のgenericな列を構成することに依拠しており、劣程度性を保証する。
• 部分同型を解放する三つ組 (p', q', w) の存在により、genericityの議論をユリゾフ設定へと拡張可能である。
• 語の拡張と等長写像の拡張における固定点保存に関する補題は、有理数からユリゾフ空間への証明の適応に不可欠である。
• 距離が {0,1,2} に値をとるmetric空間とみなした場合、結果はランダムに順序付けられたランダムグラフへと拡張可能である。