[論文レビュー] Decomposition of Cellular Balleans

Ihor Protasov, Anastasiia Tsvietkova|arXiv (Cornell University)|Aug 5, 2011

Advanced Topology and Set Theory参考文献 1被引用数 5

ひとこと要約

本稿では、同次的セルラー・バリアンに向けた分解定理を導入し、このようなバリアンが点付き集合の直積に非同相的に分解可能であることを証明している。主な結果は、同じ正則基数の非可算群どうしは非同相なバリアンを有することを示しており、群論における距離構造の漸近的同値性を一般化している。

ABSTRACT

A ballean is a set endowed with some family of its subsets which are called the balls. We postulate the properties of the family of balls in such a way that the balleans can be considered as the asymptotic counterparts of the uniform topological spaces. The isomorphisms in the category of balleans are called asymorphisms. Every metric space can be considered as a ballean. The ultrametric spaces are prototypes for the cellular balleans. We prove some general theorem about decomposition of a homogeneous cellular ballean in a direct product of a pointed family of sets. Applying this theorem we show that the balleans of two uncountable groups of the same regular cardinality are asymorphic.

研究の動機と目的

• 同次的セルラー・バリアンを点付き集合の直積に一般化する分解定理を確立すること。
• 特に群の構造と濃度の観点から、群に付随するバリアンがセルラーである条件を同定すること。
• 同じ正則基数の非可算群のバリアンが非同相であることを証明し、既知の距離的および超距離的バリアンに関する結果を拡張すること。
• 特に共終度と整列済み半径の文脈において、バリアン理論の視点から群の漸近的構造を探索すること。

提案手法

• 本稿では、粗幾何をモデル化する公理を満たす球の族を備えた集合としてバリアンを定義し、一様空間を一般化している。
• セルラー化プロセスを導入し、$\mathcal{B}^\Box$ を $\alpha$-パス連結成分からなるバリアンと定義し、$\mathcal{B}^\Box = \mathcal{B}$ であるとき、バリアンをセルラーと定義している。
• 順序数超限帰納法を用いて、与えられたセルラー・バリアンと点付き集合の直積との間の非同相写像を構成し、半径の整列済み共終部分集合の存在を活用している。
• サイズが $\kappa$ より小さい部分集合を用いて群に基づくバリアン $\mathcal{B}(G,\kappa)$ を定義し、$G$ と $\kappa$ に特定の条件が満たされると、このようなバリアンがセルラーであることを示している。
• 非可算群のバリアン間の非同相性の証明には、基数パラメータ $\kappa_\alpha$ を用いた直積分解を通じて共通の非同相像を構成する。
• 構成では、増加する半径ごとに一対一写像を帰納的に拡張し、写像が球構造を保存することを保証している。

実験結果

リサーチクエスチョン

• RQ1 同次的セルラー・バリアンが点付き集合の直積に分解可能となる条件は何か？
• RQ2 群に基づくバリアン $\mathcal{B}(G,\kappa)$ がセルラーであるのはいつか？ これは群の局所有限性と濃度とどのように関係するか？
• RQ3 同じ正則基数 $\gamma$ を持つ二つの非可算群のバリアンは非同相か？ もしそうなら、どのような構造的条件の下で成立するか？
• RQ4 半径集合の共終度は、バリアンの距離化可能性およびセルラー構造にどのように影響するか？
• RQ5 群の漸近的構造は、特に非可算の場合に、そのバリアンによって完全に捉えられるか？

主な発見

• すべての同次的セルラー・バリアンは、定理2により点付き集合の直積への非同相的分解を許容する。
• 可算な局所有限群 $G$ に付随するバリアン $\mathcal{B}(G)$ は、有限集合の直積と非同相である。
• 任意の正則基数 $\gamma$ を持つ非可算群 $G$ に対して、バリアン $\mathcal{B}(G)$ は $\gamma$ をインデックスとする集合の直積と非同相である。パラメータは部分群のフィルトレーションから導出される。
• 同じ正則基数 $\gamma$ を持つ任意の二つの非可算群は、定理3により非同相なバリアンを有する。内部群構造とは無関係に成立する。
• 可算群ではこの結果は成り立たない：$2^{\aleph_0}$ 個の非非同相な可算局所有限群の族が存在する。
• バリアン $\mathcal{B}(G)$ がセルラーであることは、$\kappa > \aleph_0$ または $\kappa = \aleph_0$ かつ $G$ が局所有限であるときに限り成立する。