[논문 리뷰] Linear topologies on $\Z$ are not Mackey topologies

Lydia Außenhofer, Daniel de la Barrera Mayoral|arXiv (Cornell University)|2011. 07. 13.

Advanced Topology and Set Theory참고 문헌 7인용 수 4

한 줄 요약

이 논문은 정수 ℤ 위의 비이산 선형 위상이 매크리 위상일 수 없음을 보이며, 딕란잔이 제기한 ℤ 위의 p진 위상이 매크리 위상인지 여부에 대한 부정적인 답변을 제시한다. 저자들은 동일한 특성군을 가진 더 엄밀한 미터리작 불가분 국소 준볼록 위상군 위상을 구성함으로써, ℤ 위의 선형 위상이 호환 가능한 위상들 중에서 최대가 아님을 증명함으로써, 매크리 위상이 될 수 없음을 규명한다.

ABSTRACT

In this article it is shown that to every non-discrete Hausdorff linear topology on $\Z$ other metrizable locally quasi-convex group topologies can be associated which are strictly finer than the linear topology and such that the character groups coincide. Applying this result to the $p$-adic topology on $\Z$, we give a negative answer to the question of Dikranjan, whether this topology is Mackey.

연구 동기 및 목표

• 딕란잔이 제기한, ℤ 위의 p진 위상이 매크리 위상인지 여부에 대한 열린 질문을 해결하기 위해.
• ℤ 위의 선형 위상군 위상이 호환 가능한 국소 준볼록 위상들 중에서 최대(즉, 매크리)일 수 있는지 조사하기 위해.
• 특성군과 쌍대성에 관해 ℤ 위의 호환 가능한 위상의 구조를 분석하기 위해.
• 비이산 선형 위상이 매크리 위상이 될 수 없음을 증명하기 위해, 동일한 이중을 가진 더 엄밀한 호환 가능한 위상의 구성함으로써, ℤ 위의 비이산 선형 위상이 매크리 위상이 될 수 없음을 확립하기 위해.

제안 방법

• 아벨 위상군의 쌍대성 이론을 활용하며, 특성군과 호환 가능한 위상의 개념에 중점을 둔다.
• 국소 준볼록 군과 폴라르/프리폴라르 구성의 개념을 적용하여 위상적 성질을 분석한다.
• 주어진 선형 위상 λ에 대해 더 엄밀한 미터리작 불가분 국소 준볼록 위상군 위상 τ를 구성하여 (ℤ, λ)∧ = (ℤ, τ)∧ 가 되도록 한다.
• D∞에 속하는 수열 (b_n)을 사용하여 기저를 정의함으로써 위상 τ_b를 구성하고, c₀(𝕋)로의 포함관계를 통해 특성군과 연관지킨다.
• ℝ/ℤ 내 원소의 정수 배에 대한 추정을 통해, λ가 매크리 위상이라고 가정했을 때 모순를 도출한다.
• c₀(X) 및 그 이중에 관한 결과를 적용하여 ℤ → c₀(𝕋) 포함이 이중적으로 통합되어 있음을 보이고, 필요한 위상 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 ℤ 위의 p진 위상은 매크리 위상인가?
• RQ2 ℤ 위의 비이산 선형 위상 중에서 특성군에 대해 매크리 위상이 될 수 있는가?
• RQ3 호환 가능한 국소 준볼록 위상군 위상 중에서 ℤ 위에 존재하는 미터리작 매크리 위상이 존재하는가?
• RQ4 정수 위에 정의된, 진부분군가 없는 미터리작 전준비밀 위상이 매크리 위상인가?
• RQ5 무리수 α에 대해 k ↦ αk + ℤ로 유도되는 ℤ 위의 위상 λ_α는 매크리 위상인가?

주요 결과

• 비이산 선형 위상은 호환 가능한 국소 준볼록 위상군 위상들 중에서 최대가 아니므로, ℤ 위의 비이산 선형 위상은 매크리 위상이 될 수 없다.
• 비이산 선형 위상 λ가 주어지면, (ℤ, λ)∧ = (ℤ, τ)∧ 가 되는 더 엄밀한 미터리작 불가분 국소 준볼록 위상군 위상 τ가 존재한다.
• ℤ 위의 p진 위상은 매크리 위상이 아니며, 이는 딕란잔의 질문에 대한 부정적인 답변을 제공한다.
• 수열 (b_n) ∈ D∞를 사용하여 위상 τ_b를 정의하고, λ_b < τ_b 이면서도 특성군을 유지함을 보여, 구성에 기반한다.
• 포함 ℤ → c₀(𝕋)는 이중적으로 통합되어 있으며, 이는 증명에서 사용된 쌍대성 추론을 뒷받침한다.
• 핵심적인 모순은 ℝ/ℤ 내 원소의 정수 배에 대한 추정을 통해 발생하며, 이는 어떤 특성군이 𝕋₊로 사상되지 않음을 보여, 준볼록성 위반을 초래한다.