[論文レビュー] Completeness of translation-invariant ideals in groups

Тарас Банах, Nadya Lyaskovska|arXiv (Cornell University)|Nov 19, 2009

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

ひとこと要約

この論文は、特にパッキング指数に基づく完全性と位相的・測度論的性質との関係を含め、群における平行移動不変イデアルの多様な完全性概念を導入し、分析している。主な貢献は、任意の群における小集合のイデアルが、特定のハウスドルフ的、極端に不連結的で、完全有界な左不変位相のもとで、 nowhere dense 集合のイデアルと一致することの証明であり、不変イデアルの構造を一般化するパッキング完全性イデアルの階層の確立である。

ABSTRACT

We introduce and study varions notions of completeness of translation-invariant ideals in groups.

研究の動機と目的

• 群における平行移動不変イデアルの、位相的・測度論的・パッキングに基づく完全性概念を形式化し、研究すること。
• 特定の完全有界で左不変で極端に不連結な位相のもとで、群における小集合のイデアルが nowhere dense 集合の族に一致することを特徴づけること。
• 自明なイデアル {∅} から生成されるパッキング完全性イデアルの階層を、特に可換群と非可換群において調査すること。
• 特に整数群 ℤ におけるこれらのイデアルのボレル複雑性と組合せ的構造に関する未解決問題に取り組むこと。

提案手法

• 群 $G$ の部分集合 $A$ に対するパッキング指数 $\mathrm{Pack}_n(A)$ の概念を導入し、あるイデアル的意味で重複のない形でどれだけの $A$ の平行移動を収容できるかを測定する。
• 超限再帰を用いて $\mathrm{Pack}_n$-完全化を定義する：$\mathcal{I}_\alpha$ は、すべての $\beta < \alpha$ に対して $\mathcal{I}_\beta$-パッキング指数が無限大であるような集合 $A$ を含む最小の加法的族であり、初期値として $\mathcal{I}_0 = \mathcal{I}$ をとる。
• 完全有界で左不変な位相 $\tau$ に対して、$U$ を $\tau$ で開集合、$A$ を小集合とするとき、集合 $U \setminus A$ が生成する位相 $\tau_s$ を用いて、小集合のイデアルを nowhere dense 集合の族として特徴づける。
• プロタソフの極端に不連結で完全有界な位相に関する結果を応用し、このような位相のもとで小集合のイデアルが nowhere dense 集合のイデアルに一致することを示す。
• $\mathcal{I}_{<\omega_1} = \bigcup_{\alpha < \omega_1} \mathcal{I}_\alpha$ として定義されるイデアルの階層が、イデアル $\mathcal{I}$ の $\mathrm{Pack}_{<\omega}$-完全化であることを示し、すべての $n \geq 2$ に対して $\mathrm{Pack}_n$-完全であることを示す。
• 特に $\mathbb{Z}$ や自由群 $F_2$ を含む群において、これらのイデアルの振る舞いを分析し、可換群と非可換群の状況を区別する。

実験結果

リサーチクエスチョン

• RQ1 整数群 $\mathbb{Z}$ における小集合のイデアルは、ある正則で完全有界な左不変位相のもとで nowhere dense 集合のイデアルと等しいか？
• RQ2 $\mathbb{Z}$ において、$n \geq 2$ に対して $\mathrm{Pack}_n(\mathcal{I}_0)$ は互いに相異なるか？また、$\mathrm{Pack}_{<\omega}(\mathcal{I}_0)$ とは異なるか？
• RQ3 $\mathrm{Pack}_{<\omega}(\mathcal{I}_0) \neq \mathcal{N}$ は成り立つか？ここで $\mathcal{N}$ は絶対零集合のイデアルである。
• RQ4 $\mathrm{Pack}_{<\omega}(\mathcal{I}_0)$ および $n \geq 2$ に対して $\mathrm{Pack}_n(\mathcal{I}_0)$ のボレル複雑性は何か？これらはcoanalyticであるか？
• RQ5 群 $G$ が可換であるのは、$\mathrm{Pack}_{<\omega}(\mathcal{I}_0) \subset \mathcal{S}$ であるときか？ここで $\mathcal{S}$ は小集合のイデアルである。

主な発見

• 任意の群 $G$ における小集合のイデアル $\mathcal{S}$ は、特定のハウスドルフ的で極端に不連結で完全有界な左不変位相 $\tau_s$ のもとで、$G$ の nowhere dense 部分集合のイデアルと正確に一致する。
• $\mathcal{I}_0 = \{\emptyset\}$ である自明なイデアルの $\mathrm{Pack}_{<\omega}$-完全化は、$G$ に自由群 $F_2$ を含むならば $\mathcal{P}(G)$ に等しいが、$G$ が可換である場合には $\mathcal{S}$ に含まれる。
• 任意の不変イデアル $\mathcal{I}$ に対して、$\mathrm{Pack}_n$-完全化 $\mathrm{Pack}_n(\mathcal{I})$ は $\bigcup_{\alpha < \omega_1} \mathcal{I}_\alpha$ に等しく、ここで $\mathcal{I}_\alpha$ は $\beta < \alpha$ に対する $\mathcal{I}_\beta$-パッキング指数に基づく再帰的定義により与えられる。
• 可換群 $G$ に対して、小集合のイデアル $\mathcal{S}$ はカントール立方体 $\{0,1\}^G$ の $F_{\sigma\delta}$-部分集合であることが示され、ボレル複雑性が低いことが示唆される。
• $\mathbb{Z}$ において、$n \geq 2$ に対して $\mathrm{Pack}_n(\mathcal{I}_0)$ は厳密に増加し、互いに相異なる。また、$\mathrm{Pack}_{<\omega}(\mathcal{I}_0) \neq \mathcal{N}$ である。ここで $\mathcal{N}$ は絶対零集合のイデアルである。
• 絶対零集合のイデアル $\mathcal{N}$ はcoanalyticである。さらに、$G$ が可換で可算であるとき、$\mathrm{Pack}_{<\omega}(\mathcal{I}_0)$ もcoanalyticである。