The Wallace problem and countably compact torsion-free Abelian groups in ZFC

기술 요약: ZFC 내에서의 왈레스 문제와 가산 컴팩트 잉여 없는 아벨 군

1. 문제 및 배경
본 논문은 위상 대수학 및 집합론적 위상 수학 분야에서 수십 년 동안 해결되지 않았던 두 가지 상호 연결된 난제를 다룬다. 이 문제들은 모두 선택 공리를 포함한 체르멜로-프렝켈 집합론(ZFC) 내에서 미해결 상태로 남아 있었다.

• 왈레스 문제 (The Wallace Problem): 1955년 A. D. 왈레스는 모든 하우스도르프 가산 컴팩트 위상 반군(topological semigroup)이 양방향 취소 법칙(two-sided cancellation)을 만족할 때 반드시 위상 군(topological group)이어야 하는가라는 질문을 던졌다. 이러한 반군의 반례를 "왈레스 반군"이라 부른다. 이러한 반군의 구성은 연속체 가설(CH)이나 마틴의 공리(MA)와 같은 추가적인 집합론적 가설 하에서는 가능했으나, ZFC 내에서 왈레스 반군의 존재 여부는 73년 동안 미해결 과제로 남아 있었다.
• 비잉여(Non-Torsion) 가산 컴팩트 군의 존재성: 반 더 벤(van Douwen)과 컴포트(Comfort)가 제기한 이와 관련된 문제는, 자명하지 않은 수렴 수열(nontrivial convergent sequences)이 없는 비잉여 가산 컴팩트 위상 군의 존재 여부에 관한 것이다. 본 연구 이전까지, 자명하지 않은 수렴 수열이 없는 가산 컴팩트 군의 ZFC적 구성은 잉여 군(torsion groups)에 국한되어 있었다. 구체적으로, $\mathfrak{c}$개의 생성원을 갖는 자유 아벨 군 $Z(\mathfrak{c})$나 실수 군 $\mathbb{R}$이 그러한 위상을 ZFC 내에서 허용하는지는 알려져 있지 않았다.

2. 방법론
저자들은 대수적 임베딩, 균등 유한 근사, 그리고 "블록 울트라필터(block ultrafilters)"를 이용한 초한 재귀적 구성을 결endo 하여 필요한 위상들을 구축한다.

• 대수적 축소 (Algebraic Reduction): 저자들은 먼저 임의의 가산도 $\mathfrak{c}$인 잉여 없는 아벨 군 $G$가 $Z(\mathfrak{c}) \leq G \leq Q(\mathfrak{c})$를 만족하도록 하여 $Q(\mathfrak{c})$의 부분군으로 임베딩될 수 있음을 확립한다. 이를 통해 문제를 특정 기저 구조를 가진 $\mathbb{Q}$ 위의 벡터 공간 맥락에서 다룰 수 있게 한다.
• 균등 유한 크로네커 보조정리 (Uniform Finite Kronecker Lemma): 중심적인 기술적 도구는 유한 버전의 균등 크로네커 정리(보조정리 3.1)이다. 이 보조정리는 아벨 군의 임의의 유한 집합과 원군(circle group) $\mathbb{T}$의 임의의 목표값에 대하여, 목표값들이 유계 계수를 가진 정수 관계를 만족하는 한, 해당 목표값들을 근사하는 $\mathbb{T}$로의 준동형 사상을 찾을 수 있음을 보장한다. 이는 스톤-바이어슈트라스 정리와 아르첼라-아스콜리 컴팩트성 논증에 의존한다.
• 유계 삭제 및 독립성 (Bounded Deletion and Independence): 무한 구성을 처리하기 위해, 저자들은 조합론적 삭제 논증(보조정리 4.4)을 사용한다. 유한 집합 $A$와 거대한 집합 $X$가 주어졌을 때, 유계 정수 관계에 대해 $A$로부터 "독립적"인 거대한 부분집합 $Y \subseteq X$를 식별한다. 이를 통해 $Y$ 위에서는 작으면서 $A$ 위에서의 값은 보존하는 준동형 사상들을 구성할 수 있다.
• 블록 울트라필터 및 초한 재귀 (Block Ultrafilters and Transfinite Recursion): 구성은 $G$의 모든 단사 수열을 $(s_\alpha)_{\alpha < \mathfrak{c}}$로 열거함으로써 진행된다. 각 수열에 대해, 저자들은 자연수 $\mathbb{N}$ 위에 "블록" 구조를 정의하고 자유 울트라필터 $p_\alpha$를 연관시킨다. 그들은 준동형 사상들의 수열 $\psi_l: G \to \mathbb{T}$를 재귀적으로 구성하여 이들이 점별(pointwise)로 극한 준동형 사상 $\psi$로 수렴하게 한다. 이 구성은 모든 비영(non-zero) $x \in G$에 대하여 $\psi_x(x) \neq 0$인 준동형 사상 $\psi_x$가 존재함을 보장하며, 모든 수열 $s_\alpha$에 대하여 구성된 위상하의 울트라필터 극한이 특정 비영 원소(구체적으로 기저 벡터 $e_{\iota(\alpha)}$)로 수렴하게 한다. 최종 위상 $\tau_G$는 $\{ \psi_x : x \in G \setminus \{0\} \}$가 곱 공간 $\mathbb{T}^{G \setminus \{0\}}$으로 매핑되는 일련의 준동형 사상들에 의해 유도되는 초기 위상이다.

3. 주요 기여 및 결과
주요 기여는 추가적인 집합론적 가정 없이 ZFC 내에서 존재성 문제를 해결한 것이다.

• 정리 1.1: ZFC에서, 가산도가 $\mathfrak{c}$인 모든 잉여 없는 아벨 군은 모든 수렴 수열이 결국 상수인(즉, 자명하지 않은 수렴 수열이 없는) 하우스도르프 가산 컴팩트 군 위상을 갖는다.
  • 이는 자유 아벨 군 $Z(\mathfrak{c})$에 대한 트카첸코(Tkachenko) 문제를 해결한다.
  • 이는 베어-스펙커(Baer–Specker) 군 $Z^\omega$에 대한 문제를 해결한다.
  • 이는 실수 군 $\mathbb{R}$에 대한 문제를 해결한다 ($Q(\mathfrak{c}) \cong \mathbb{R}$인 동형 사상을 통해).
• 따름정리 1.3 (왈레스 반군): $Z(\mathfrak{c})$의 비음의 원소 부분집합 $P$로 구성을 특수화함으로써, 저자들은 양방향 취소 법칙을 만족하는 가환 티코노프(Tychonoff) 가산 컴팩트 위상 반군이 군이 아닌 경우가 ZFC 내에서 존재함을 증명한다. 이는 왈레스의 1955년 질문에 대한 부정적인 답변을 제공한다.
• 추가적인 결과: 본 논문은 주요 정리가 이전에 추가 가설 하에서만 알려졌던 여러 결과들을 함의함을 보여준다:
  • 바일리클릭(bicyclic) 반군을 포함하는 티코노프 가산 컴팩트 위상 반군이 ZFC 내에 존재한다.
  • 함수적 하우스도르프(functionally Hausdorff) 가산 컴팩트 파라토폴로지컬(paratopological) 군이 위상 군이 아닌 경우가 ZFC 내에 존재한다 (구란(Guran)의 질문에 답함).
  • 하우스도르프 가산 컴팩트 모노토닉(monothetic) 위상 모노이드가 위상 군의 부분 모노이드이지만 군은 아닌 경우가 ZFC 내에 존재한다.
  • 모든 무한 닫힌 부분집합이 적어도 $\mathfrak{c}$의 가산도를 갖는 가산 컴팩트 자유 아벨 군이 존재한다.

4. 의의
본 논문은 73년 된 왈레스 반군 문제를 ZFC 내에서 완전히 해결했다고 주장한다. 이 작업 이전에는 이러한 반군의 존재가 더 강한 집합론적 공리 하에서만 알려져 있었다. 잉여 없는 가산 컴팩트 군을 ZFC 내에서 구성함으로써, 저자들은 위상 군론과 반군론 사이의 간극을 메우며, "왈레스 현상"이 특정 집합론적 모델의 산물이 아니라 ZFC 자체의 특징임을 보여준다. 이 연구는 가산 컴팩트 군, 파라토폴로지컬 군, 그리고 적절한 집합들의 구조에 관한 여러 관련 질문들을 통합적으로 해결하였으며, 이러한 구조들의 존재를 가로막는 장애물이 ZFC 자체의 내재적 특성이 아니라 특정 구성 기법의 부재였음을 입증하였다.

저자들은 명시적으로 자신들의 구성이 아벨 군 범주에서 원군 $\mathbb{T}$의 단사성(injectivity)과 삼각 다항식을 통한 조합론적 삭제 논증 및 해석적 근사의 정교한 상호작용에 의존하고 있음을 밝힌다. 이 결과는 연속체 가설이나 마틴의 공리에 의존하지 않는, 제시된 문제들에 대한 결정적인 해답으로 제시된다.