Table of Contents
Fetching ...

Some notes on Pontryagin duality of abelian topological groups

Linus Kramer, Karl Heinrich Hofmann

TL;DR

The paper investigates Pontryagin duality for abelian topological groups beyond local compactness, focusing on abelian pro-Lie groups and the role of $k$-groups. It presents the Leptin–Noble–Banaszczyk exponent-2 example $E$ to show that the duality map $\eta_E$ can be bijective yet discontinuous, with a dense but incomplete dual $\widehat{E}$ and a discrete bidual, illustrating duality pathologies. It then formalizes $k$-groups via the $k$-ification functor $G\mapsto kG$, establishing a coreflective subcategory of topological groups and showing that products of $k$-groups remain $k$-groups, while providing counterexamples like $E$. In the abelian pro-Lie setting, the paper proves that $\eta_G$ is bijective and, under suitable conditions, its inverse is continuous, and it develops a framework in which $k$-group structure interacts with duality through the functors $k(-)$ and $\widehat{(-)}$, culminating in open questions about when $\widehat{\widehat{G}}$ inherits the $k$-group property for abelian pro-Lie $G$. The work clarifies the boundaries of Pontryagin duality beyond locally compact groups and highlights a categorical, $k$-theoretic approach to salvage duality in broader classes of abelian topological groups.

Abstract

We consider several questions related to Pontryagin duality in the category of abelian pro-Lie groups.

Some notes on Pontryagin duality of abelian topological groups

TL;DR

The paper investigates Pontryagin duality for abelian topological groups beyond local compactness, focusing on abelian pro-Lie groups and the role of -groups. It presents the Leptin–Noble–Banaszczyk exponent-2 example to show that the duality map can be bijective yet discontinuous, with a dense but incomplete dual and a discrete bidual, illustrating duality pathologies. It then formalizes -groups via the -ification functor , establishing a coreflective subcategory of topological groups and showing that products of -groups remain -groups, while providing counterexamples like . In the abelian pro-Lie setting, the paper proves that is bijective and, under suitable conditions, its inverse is continuous, and it develops a framework in which -group structure interacts with duality through the functors and , culminating in open questions about when inherits the -group property for abelian pro-Lie . The work clarifies the boundaries of Pontryagin duality beyond locally compact groups and highlights a categorical, -theoretic approach to salvage duality in broader classes of abelian topological groups.

Abstract

We consider several questions related to Pontryagin duality in the category of abelian pro-Lie groups.

Paper Structure

This paper contains 4 sections, 21 theorems, 26 equations.

Key Result

Lemma 1.2

In $E$, every F$_\sigma$-set is closed.

Theorems & Definitions (45)

  • Definition 1.1
  • Lemma 1.2
  • proof
  • Corollary 1.3
  • proof
  • Definition 1.4
  • Lemma 1.5
  • proof
  • Lemma 1.6
  • proof
  • ...and 35 more