[논문 리뷰] Symmetry and colorings: some results and open problems, II

Тарас Банах|arXiv (Cornell University)|2011. 11. 03.

Advanced Topology and Set Theory참고 문헌 23인용 수 9

한 줄 요약

이 논문은 대칭성과 색칠법을 기하학적 및 대수적 구조에서 라모스 이론적 방법을 사용하여 조사하며, 대칭성 측정 공간 $\mathbf{X} = (X,\mu,\mathcal{S})$에 대해 최대 대칭 수 $\mathsf{ms}_r(\mathbf{X})$와 중심극 수 $\mathsf{c}_r^\lambda(\mathbf{X})$를 중심으로 다룬다. 주요 결과로는 히perspace에서 $\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 자유군 $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$일 때 중심극 수 $\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$ 이다.
• 자유군 $F_2$의 중심극 수 $c_2^0(F_2)$는 [29]의 정리 1의 증명에 기반해 최대 4이다.
• 하지만 $c_2^0(F_2)$가 2, 3, 또는 4와 같은지 여부는 여전히 열려있다.