[논문 리뷰] Completeness of translation-invariant ideals in groups

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

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

한 줄 요약

이 논문은 군 내의 이동 불변 이상수체에 대한 완비성의 여러 개념을 도입하고 분석하며, 특히 패킹 지수 기반 완비성과 위상적 및 측도론적 성질 간의 상호작용에 초점을 맞춘다. 주요 기여는 어떤 군에서도 소수체 이상수체가 특정 하우스도르프, 극단적으로 분리된, 완전히 유계인 왼쪽 불변 위상에서의 비어 있는 닫힘 집합 이상수체와 정확히 일치함을 증명하고, 불변 이상수체의 구조를 일반화하는 패킹-완비 이상수체의 계층을 수립하는 것이다.

ABSTRACT

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

연구 동기 및 목표

• 이동 불변 이상수체에 대한 위상적, 측도론적, 패킹 기반의 다양한 완비성 개념을 체계화하고 연구하기.
• 특정 완전히 유계인, 왼쪽 불변의, 극단적으로 분리된 위상에서 군 내 소수체 이상수체가 비어 있는 닫힘 집합의 가족과 일치함을 특성화하기.
• 비어 있는 이상수체 {∅}에서 유도된 패킹-완비 이상수체의 계층을 연구하기, 특히 아메니타블 및 비아메니타블 군에서의 성질을 고려하기.
• 이러한 이상수체의 보렐 복잡도와 조합론적 구조에 관한 열린 문제를 다루기, 특히 군 ℤ에서의 경우.

제안 방법

• 군 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와 소수체 A에 대해 $U \setminus A$ 를 생성하는 위상 $\tau_s$ 를 사용하여, 소수체 이상수체를 비어 있는 닫힘 집합의 가족으로 특성화한다.
• 프로타소프의 극단적으로 분리된 완전히 유계 위상에 관한 결과를 적용하여, 이러한 위상에서 소수체 이상수체가 비어 있는 닫힘 집합 이상수체와 일치함을 보인다.
• $\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}$ 내 소수체 이상수체가 어떤 규칙적인 완전히 유계인 왼쪽 불변 위상에서 비어 있는 닫힘 집합 이상수체와 일치하는가?
• 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)$ 의 보렐 복잡도는 얼마인가? 이들은 공분석적인가?
• RQ5 군 $G$ 가 $\mathrm{Pack}_{<\omega}(\mathcal{I}_0) \subset \mathcal{S}$ 를 만족하면 아메니타블인가, 여기서 $\mathcal{S}$ 는 소수체 이상수체인가?

주요 결과

• 어느 군 $G$ 에서든 소수체 이상수체 $\mathcal{S}$ 는 특정 하우스도르프, 극단적으로 분리된, 완전히 유계인 왼쪽 불변 위상 $\tau_s$ 에서 비어 있는 닫힘 부분집합 이상수체와 정확히 일치한다.
• $\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$-패킹 지수를 기반으로 재귀적으로 정의된다.
• 소수체 이상수체 $\mathcal{S}$ 는 가산 군 $G$ 에 대해 캄토 큐브 $\{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}$ 은 공분석적이고, $G$ 가 가산적이고 아메니타블이면 $\mathrm{Pack}_{<\omega}(\mathcal{I}_0)$ 도 공분석적이다.