[論文レビュー] Notes on duality theories of abelian groups

Gábor Lukács|ArXiv.org|May 5, 2006

Advanced Topology and Set Theory参考文献 19被引用数 5

ひとこと要約

この論文は、アーベル位相群の双対性理論について、Pontryagin双対性およびその圏論的・位相的基盤に焦点を当て、自己完結的で初等的な導入を提供する。Pontryagin双対を、円周群 𝕋 への連続的特徴の空間として、コンパクト開位相を備えたものとして確立し、極集合、評価写像、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.

研究の動機と目的

• アーベル位相群の双対性理論について、自己完結的かつアクセス可能な導入を提供すること、特に大学院生を対象にすること。
• Pontryagin双対性に関する現代的で初等的な教科書の不足を補うために、基礎的概念の体系的展開を提供すること。
• コンパクト開位相、極集合、評価準同型の役割が双対性理論において果たす意義を明確にすること。
• 特にk-空間および指数可能性の文脈において、位相的および圏論的構造の相互作用を明らかにすること。
• 前コンパクト群、核的群、局所的群のさらなる研究の土台を、基礎的な明確さに重点を置いて築くこと。

提案手法

• 位相的アーベル群 A のPontryagin双対を、A/N_A から円周群 𝕋 への連続準同型の空間として定義し、コンパクト開位相を備える。
• コンパクト開位相をコンパクト集合上で一様収束する位相として用い、評価写像の連続性を保証する。
• 準凸性および前コンパクト性を調べるための基本的道具として、極集合 S^▶ および Φ^◀ を導入する。
• 評価準同型 e: A → 𝔻(Â) を、双対の双対への連続写像として特徴づけ、k-位相下での重要な性質を示す。
• ハウスドルフ空間に k-化ファンクターを適用して、ハウスドルフ k-空間の圏を構成し、直積閉性を保証する。
• ハウスドルフ k-空間の圏が直積閉であり、内部ホムがコンパクト開位相の k-化 k(𝒞(X,Y)) で与えられることを確立する。

実験結果

リサーチクエスチョン

• RQ1 Pontryagin双対性を、大学院生が理解しやすい自己完結的で初等的な形でどのように提示できるか？
• RQ2 コンパクト開位相は、双対群の定義および評価写像の連続性を保証するために果たす役割は何か？
• RQ3 極集合と準凸性は、双対群における前コンパクト性およびコンパクト性とどのように関係するか？
• RQ4 評価写像 A → 𝔻(Â) がどのような意味で連続であるのか、またいつ位相的同型となるのか？
• RQ5 位相空間の k-化は、位相群の圏における指数可能性および直積閉性とどのように関係するか？

主な発見

• ハウスドルフなアーベル群 A のPontryagin双対 Â は、A/N_A から 𝕋 への連続的特徴 χ の群であり、コンパクト開位相を備える。
• 評価写像 e: A → 𝔻(Â) は連続であり、そのコンパクト部分集合への制限も連続であるため、k-連続である。
• 極集合 S^▶ および Φ^◀ はそれぞれの位相で閉じており、特に Â 上の点別収束位相において S^▶ は閉じている。
• A に離散位相を備えた双対空間 Â_d はコンパクトであり、自然な写像 Â → Â_d は連続である。
• ハウスドルフ k-空間の圏は直積閉であり、内部ホムが k(𝒞(X,Y)) で与えられることにより、評価写像がコンパクト部分集合上で連続であることが保証される。
• k-化ファンクター k: Haus → kHaus はコリフレクターであり、k-空間は k-連続写像がハウスドルフ空間へと連続であるという性質を満たす。