[논문 리뷰] NSS and TAP properties in topological groups close to being compact

Dikran Dikranjan, Dmitri Shakhmatov외 1명|ArXiv.org|2009. 09. 12.

Advanced Topology and Set Theory참고 문헌 11인용 수 6

한 줄 요약

이 논문은 컴팩트성에 가까운 위상군에서 TAP(totally Cauchy productive) 및 NSS(no small subgroups) 성질을 조사하며, 국소적으로 컴팩트이거나 ω-유계인 아벨 군, 그리고 가산 컴팩트 최소 아벨 군에서 TAP와 NSS가 일치함을 증명한다. 이는 [13]의 질문 11.1에 대해 부정적인 답변을 제공함으로써, 일반적으로 TAP가 NSS를 함의하지는 않음을 보여주며, 아벨 설정에서도 마찬가지임을 입증한다.

ABSTRACT

We introduce a notion of productivity (summability) of sequences in a topological group G, parametrized by a given function f : N --> omega+1. The extreme case when f is the function taking constant value omega is closely related to the TAP property, the weaker version of the well-known property NSS. We prove that TAP property coincides with NSS in locally compact groups, omega-bounded abelian groups and countably compact minimal abelian groups. As an application of our results, we provide a negative answer to [13, Question 11.1].

연구 동기 및 목표

• 컴팩트에 가까운 위상군에서 TAP 및 NSS 성질 간의 관계를 명확히 하는 것.
• 특히 아벨 군 및 최소 군에서 컴팩트 유사 성질을 갖는 위상군에서 TAP가 NSS를 함의하는지 조사하는 것.
• 문헌 [13]의 질문 11.1에 대한 부정적인 답변을 제공함으로써, 최소 아벨 군에서 TAP가 NSS를 함의하는지 여부를 해결하는 것.
• TAP가 NSS를 함의하지 않는 군의 예를 제공함으로써, 아벨 설정에서도 일반적으로 TAP가 NSS를 함의하지 않음을 보여주는 것.
• 특히 TAP와 관련된 f_ω 케이스에 초점을 맞춰, 매개변수화된 함수를 통한 위상군 내 수열의 생산성 탐구

제안 방법

• 함수 f: ℕ → ω+1를 사용한 수열 생산성의 매개변수화된 개념을 도입하며, f_ω는 TAP에 대응함.
• Cauchy 생산성 및 생산성 수열을 정의하고, 순서적으로 Weil 완비인 군에서 수렴과의 동치성을 확립함.
• f_ω-생산성 개념을 사용하여, 모든 f_ω-생산성 수열이 수렴하는 군이 TAP 군임을 특성화함.
• 3개의 상호소거된 지지 집합을 사용하여, 컴팩트 아벨 군 K_P 내에 조밀하고 완비되지 않으며 TAP가 아닌 부분군 H_P를 구성함.
• 투영, 군 완비화, 위상적 동형사상 등의 위상적 및 대수적 도구를 활용하여 부분군의 구조를 분석함.
• 보어 위상 및 전결정 위상군 위상에 관한 기존 결과를 활용하여, 아벨 군 위에 비이산적이고 TAP인 위상군 위상을 구성함.

실험 결과

연구 질문

• RQ1 국소적으로 컴팩트 위상군에서 TAP와 NSS가 일치하는가?
• RQ2 ω-유계 아벨 군에서 TAP 성질이 NSS와 동치인가?
• RQ3 가산 컴팩트 최소 아벨 군에서 TAP 성질이 NSS를 함의하는가?
• RQ4 컴팩트 아벨 군 내에 TAP가 아닌 부분군이 존재할 수 있는가? 이는 일반적으로 TAP가 NSS를 함의하지 않음을 보여주는가?
• RQ5 모든 아벨 군이 비이산적이고 전결정 위상인 TAP 위상군 위상을 갖는가?

주요 결과

• 국소적으로 컴팩트 위상군에서 TAP와 NSS가 일치함을 입증하여, 이 클래스에서 그 동치성에 대한 핵심 질문을 해결함.
• ω-유계 아벨 군과 가산 컴팩트 최소 아벨 군에서도 TAP와 NSS가 일치함.
• 컴팩트 아벨 군 K_P의 진부분조밀 부분군 H_P가 TAP가 아니라는 점을 통해, [13, 질문 11.1]에 대한 부정적인 답변을 제공함.
• H_P는 완비가 아니며, 두 개 이상의 비자명한 위상군의 곱과 위상적으로 동형인 부분군을 포함하지 않음.
• 모든 아벨 군은 전결정 TAP 위상군 위상을 갖으며, 이러한 위상은 비이산적이고 메트라이잭션 가능하게 선택할 수 있음.
• 무한 아벨 군 위의 보어 위상은 TAP이며, 비자명한 수렴 수열을 포함하지 않으며, 이는 f_1-Cauchy 생산성 수열이 존재하지 않음을 의미함.