[論文レビュー] Symmetry and colorings: some results and open problems, II

Тарас Банах|arXiv (Cornell University)|Nov 3, 2011

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

ひとこと要約

本稿は、ラマヌジャン的理論的手法を用いて、幾何的・代数的構造における対称性と彩色を調査し、対称性測度空間 $\mathbf{X} = (X,\mu,\mathcal{S})$ のための最大対称性数 $\mathsf{ms}_r(\mathbf{X})$ およびセンター極数 $\mathsf{c}_r^\lambda(\mathbf{X})$ を焦点にしている。主な結果には、双曲空間における $\mathsf{Bc}_r^0(\mathbb{H}^n)$ の評価およびアーベル群における次元対称性数 $\mathsf{mds}_r(G)$ の特徴付けが含まれ、特に自由群におけるセンター極数に関する未解決問題が提示されている。

ABSTRACT

We survey some principal results and open problems related to colorings of geometric and algebraic objects endowed with symmetries, concentrating the exposition on the maximal symmetry numbers of such objects.

研究の動機と目的

• 群作用を伴う幾何的・代数的対象の対称性と彩色に関する主な結果および未解決問題を概説すること。
• 対称性測度空間 $\mathbf{X} = (X,\mu,\mathcal{S})$ における最大対称性数 $\mathsf{ms}_r(\mathbf{X})$ の定義と分析を導入すること。
• 漸近的次元と中心的対称性を備えた群における次元対称性数 $\mathsf{mds}_r(G)$ およびセンター極数 $\mathsf{c}_r^\lambda(G)$ を研究すること。
• 特に非アーベル群（例：$F_2$）におけるセンター極数の有限性および正確な値に関する未解決問題を同定し、提示すること。

提案手法

• 測度 $\mu$ および測度を保存する双射（許容的対称性）の族 $\mathcal{S}$ を備えた対称性測度空間 $\mathbf{X} = (X,\mu,\mathcal{S})$ を定義する。
• ラマヌジャン的原理を用いて、$X$ の $r$-彩色における単色対称部分集合を分析する。
• 任意の可測 $r$-彩色において保証される対称部分集合の測度の上界として、最大対称性数 $\mathsf{ms}_r(\mathbf{X})$ を評価する。
• 群における非加法的測度としての漸近的次元 $\mathrm{asdim}$ を用い、$\mathsf{mds}_r(G)$ および $\mathsf{c}_r^\lambda(G)$ を定義する。
• 集合論的不変量 $\mathrm{non}(\mathcal{M})$ を用いて、双曲空間におけるセンター極数を評価する。
• 既知の漸近的次元および群構造に関する定理を活用し、$\mathsf{mds}_r(G) \geq 0$ を満たす条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 2つの生成元からなる自由群 $F_2$ におけるセンター極数 $\mathsf{c}_2^0(F_2)$ の値は何か？
• RQ2 $r \in \mathbb{N}$ に対して、$\mathsf{c}_r^0(F_2)$ は常に有限か？
• RQ3 どの無限アーベル群 $G$ に対して次元対称性数 $\mathsf{mds}_r(G) \geq 0$ が成り立つか？
• RQ4 $r > 2$ および $n \geq 2$ のとき、$\mathsf{Bc}_r^0(\mathbb{H}^n)$ の正確な値は何か？
• RQ5 $r > 2$ のとき、双曲平面 $\mathbb{H}^2$ におけるセンター極数 $\mathsf{c}_r^\lambda(\mathbb{H}^2)$ はどのように振る舞うか？

主な発見

• 任意の $\lambda \in \{0,1,2\}$ に対して、$\mathsf{c}_1^\lambda(\mathbb{H}^2) = 1$ および $\mathsf{c}_2^\lambda(\mathbb{H}^2) = 3$ である。
• $r, n \geq 2$ のとき、$\mathsf{Bc}_r^0(\mathbb{H}^n)$ は $3 \leq \mathsf{Bc}_r^0(\mathbb{H}^n) \leq \mathrm{non}(\mathcal{M})$ を満たす。ここで $\mathrm{non}(\mathcal{M})$ は $\mathbb{R}$ の非巨大部分集合の最小濃度を表す。
• 無限アーベル群 $G$ に対して、$r \leq r_0(G)$ かつ $G$ が有限生成である、または $r \leq r_0(G)+1$ かつ $G$ が可算、無限生成、かつ有限2-ランクを持つとき、$\mathsf{mds}_r(G) \geq 0$ である。
• $G$ が非可算、または無限の2-ランク $r_2(G)$ を持つならば、$r \leq \max\{\log|G|, r_2(G)\}$ のとき $\mathsf{mds}_r(G) \geq 0$ である。
• 2つの生成元からなる自由群 $F_2$ のセンター極数 $c_2^0(F_2)$ は、[29] の定理1の証明に基づき、4以下である。
• しかし、$c_2^0(F_2)$ が2、3、または4に等しいかどうかは未解決のままである。