[論文レビュー] A dynamical characterization of C sets

John H. Johnson|arXiv (Cornell University)|Dec 4, 2011

Advanced Topology and Set Theory参考文献 6被引用数 4

ひとこと要約

この論文は、中央集合定理の結論を満たす組合せ的に定義された集合であるC集合について、半群のStone-Čech compactificationにおける冪等超フィルターとを結びつけることで、動的特徴付けを提供する。主な貢献は、半群の部分集合がC集合であるための必要十分条件を示す定理であり、それは、別の点の戻りの集合がJ集合である条件のもとで、点の戻りの時刻がC集合として現れることを示している。

ABSTRACT

Furstenberg, using tools from topological dynamics, defined the notion of a central subset of positive integers, and proved a powerful combinatorial theorem about such sets. Using the algebraic structure of the Stone-Čech compactification, this combinatorial theorem has been generalized and extended to the Central Sets Theorem. The algebraic techniques also discovered many sets, which are not central, that satisfy the conclusion of the Central Sets Theorem. We call such sets C sets. Since C sets are defined combinatorially, it is natural to ask if this notion admits a dynamical characterization similar to Furstenberg's original definition of a central set? In this paper we give a positive answer to this question by proving a dynamical characterization of C sets.

研究の動機と目的

• C集合についての動的特徴付けが中央集合や準中央集合とは異なり存在しないという問題を扱う。
• C集合と半群作用のコンパクト空間上の動的挙動との間の関係を確立する。
• Furstenbergの中央集合の動的定義を、C集合のより広いクラスへ一般化する。
• C集合が、第二の点の戻りの集合がJ集合であるような動的系における戻り時刻の集合に正確に対応することを証明する。
• Stone-Čech compactificationと冪等超フィルターを用いて、C集合の組合せ的・代数的・動的視点を統合する。

提案手法

• 離散半群SのStone-Čech compactification βSの代数的構造を用いる。
• J集合を、任意の有限集合F ⊆ T = ℕ^Sに対して、パラメータ(m, a, t)が存在し、すべてのf ∈ Fに対してx(m,a,t,f) ∈ Aを満たすような部分集合A ⊆ Sとして定義する。
• フィルター𝒦 = {A ⊆ S : S∖A はJ集合でない}を定義し、それがβSにおける閉包としてコンパクト部分半群J(S)であることを示す。
• 定理4.7を用いて、C集合は、ある冪等超フィルターp ∈ J(S)に対してA ∈ pを満たすような集合A ⊆ Sであることを示す。
• 動的系に関する一般結果（定理3.3）を適用し、C集合が、共通の戻り集合がJ集合であるような系における近傍への戻り時刻として生じることを示す。
• 点x, yと近傍Uを備えた動的系(X, (T_s)_{s∈S})を構成し、{s ∈ S : T_s(x) ∈ U かつ T_s(y) ∈ U} がJ集合であり、A = {s ∈ S : T_s(x) ∈ U} となるようにする。

実験結果

リサーチクエスチョン

• RQ1 組合せ的に中央集合定理に基づいて定義されるC集合は、Furstenbergの中央集合の定義と同様に、動的特徴付け可能か？
• RQ2 ある点の近傍への戻り時刻がC集合に正確に対応するような動的系が存在するか。ただし、第二の点の戻り行動に追加制約が課される。
• RQ3 C集合は、Stone-Čech compactificationにおける冪等超フィルターの代数的構造とどのように関係するか？
• RQ4 J集合は、C集合の組合せ的性質と位相的動的挙動を結ぶ上で果たす役割は何か？
• RQ5 C集合の特徴付けは、βSにおけるコンパクト部分半群と冪等超フィルターを含む一般原理から導出可能か？

主な発見

• 部分集合A ⊆ SがC集合であるための必要十分条件は、動的系(X, (T_s)_{s∈S})と点x, y ∈ X、点yの近傍Uが存在し、{s ∈ S : T_s(x) ∈ U かつ T_s(y) ∈ U} がJ集合であり、A = {s ∈ S : T_s(x) ∈ U} となることである。
• フィルター𝒦 = {A ⊆ S : S∖A はJ集合でない} はS上のフィルターであり、そのβSにおける閉包はコンパクト部分半群J(S)である。J(S)は冪等超フィルターを含む。
• C集合は、ある冪等超フィルターp ∈ J(S)に対してA ∈ pを満たすような集合A ⊆ Sとして、代数的に特徴付けられる。これにより、組合せ論と超フィルター理論との直接的な関係が確立される。
• 本論文で用いられるC集合の定義は、[4]における元の定義と同値である。これは著者の近い著書[10]で証明されている。
• C集合のクラスは中央集合のクラスを真に含む。[6]の例により、中央集合定理が中心性を特徴づけないことが確認された。
• この動的特徴付けは、Furstenbergの元の中央集合の定義を一般化し、より広い組合せ的に豊かな集合のクラスへ動的枠組みを拡張する。