[논문 리뷰] Notes on duality theories of abelian groups

Gábor Lukács|ArXiv.org|2006. 05. 05.

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

한 줄 요약

이 논문은 아벨 위상군에 대한 이중성 이론에 대한 자가-contained이고 초보자용 소개를 제공하며, 폰트리긴 이중성과 그 카테고리 이론적 및 위상수학적 기초에 중점을 둔다. 논문은 원환면군 𝕋로의 연속적 특징의 공간으로서 폰트리긴 이중성을 정의하고, 컴act-open 위상을 갖춘다. 주요 도구로는 폴라르 집합, 평가 사상, k-공간 등을 개발하며, 대학원생 및 이 분야에 새로 진입하는 연구자들에게 명료성과 접근성에 중점을 둔다.

ABSTRACT

In this notebook, I present duality theory (or theories) of abelian groups with some categorical and categorical topological flavour. I consider writing this notebook as a longer-term project, and its current content and presentation is "under development." In other words, all questions, comments, suggestions, and criticism is more than usually welcome. In Chapter 1, which is the only more-or-less ready part, the evaluation homomorphism A --> A^^ (of a group A into its bidual A^^) is studied, with particular attention to quasi-convexity and special groups (compact, discrete, LCA) and subgroups (open, compact). The treatment of LCA groups is incomplete, but the ultimate goal is to make it as self-contained as possible.

연구 동기 및 목표

• 아벨 위상군에 대한 이중성 이론에 대해 자가-contained이고 접근 가능한 소개를 제공함으로써, 특히 대학원생들을 대상으로 한다.
• 현대적이고 초보자용 교재의 부족을 보완하고 기초 개념의 체계적인 발전을 제공함으로써 폰트리긴 이중성에 대한 현대적이고 초보자용 서적을 제공한다.
• 컴 pact-open 위상, 폴라르 집합, 평가 준동형사상이 이중성 이론에서 수행하는 역할을 명확히 한다.
• 특히 k-공간과 지수 가능성의 맥락에서 위상수학적 및 카테고리 이론적 구조 간의 상호작용을 탐색한다.
• 예비군, 핵심군, 국소적 군의 향후 연구를 위한 기초를 다지며, 기초적 명료성에 중점을 둔다.

제안 방법

• 위상 아벨군 A의 폰트리긴 이중성을 A/N_A에서 원환면군 𝕋로의 연속 준동형사상의 공간으로 정의하고, 컴 pact-open 위상을 부여한다.
• 컴 pact-open 위상을 컴 pacta 위에서의 균일 수렴의 위상으로 사용하여 평가 사상의 연속성을 보장한다.
• 준-볼록성과 예비콤팩트성 연구의 기본 도구로 폴라르 집합 S^▶ 및 Φ^◀를 도입한다.
• A → 𝔻(Â)로의 평가 준동형사상 e를 이중이중의 연속적 사상으로 간주하고, k-위상 하에서의 주요 성질을 규명한다.
• 하우스도르프 공간에 대해 k-화 함수를 적용하여 하우스도르프 k-공간의 카테고리 구축을 통해 카테고리적 닫힘을 확보한다.
• 하우스도르프 k-공간의 카테고리가 카테고리적으로 닫혀 있음을 증명하고, 내부 호모모르피즘을 컴 pact-open 위상의 k-화인 k(𝒞(X,Y))로 주어진다.

실험 결과

연구 질문

• RQ1 폰트리긴 이중성은 어떻게 대학원생들을 대상으로 자가-contained이고 초보자용으로 제시될 수 있는가?
• RQ2 컴 pact-open 위상은 이중군을 정의하고 평가 사상의 연속성을 보장하는 데 어떤 역할을 하는가?
• RQ3 폴라르 집합과 준-볼록성은 이중군에서 예비콤팩트성과 콤팩트성과 어떻게 관련되어 있는가?
• RQ4 평가 사상 A → 𝔻(Â)가 어떤 의미에서 연속적인가, 그리고 언제 위상적 동형사상이 되는가?
• RQ5 위상공간의 k-화는 지수 가능성과 위상군의 카테고리에서의 카테고리적 닫힘과 어떻게 관련되어 있는가?

주요 결과

• 하우스도르프 아벨군 A의 폰트리긴 이중 Â는 연속적 특징 χ: A/N_A → 𝕋로 구성된 군으로, 컴 pact-open 위상이 부여된다.
• 평가 사상 e: A → 𝔻(Â)는 연속적이며, 그 컴 pact 부분집합으로의 제한도 연속적이므로 k-연속적이다.
• 폴라르 집합 S^▶ 및 Φ^◀는 각각의 위상에서 닫혀 있으며, Â 위에서의 점별 수렴 위상에서 S^▶는 닫혀 있다.
• A에 이산 위상을 부여한 이중 Â_드는 컴 pact하며, 자연스러운 사상 Â → Â_드는 연속적이다.
• 하우스도르프 k-공간의 카테고리는 카테고리적으로 닫혀 있으며, 내부 호모모르피즘은 k(𝒞(X,Y))로 주어져 평가 사상이 컴 pact 부분집합에서 연속적임을 보장한다.
• k-화 함수 k: Haus → kHaus는 코레플렉터이며, k-공간은 k-연속적 사상이 하우스도르프 공간으로 가는 경우 연속적임을 만족한다.