2025-11-28T14:31:19.172658

Some notes on Pontryagin duality of abelian topological groups

Kramer, Hofmann

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

academic

Some notes on Pontryagin duality of abelian topological groups

Basic Information

Paper ID: 2510.24540
Title: Some notes on Pontryagin duality of abelian topological groups
Authors: Karl Heinrich Hofmann and Linus Kramer
Classification: math.GR (Group Theory), math.GN (General Topology)
Submission Date: October 28, 2025 to arXiv
Paper Link: https://arxiv.org/abs/2510.24540
Funding Information: Supported by the German Research Foundation (DFG) through the Oberwolfach Mathematical Research Institute

This paper examines several problems related to Pontryagin duality in the category of abelian pro-Lie groups, with particular focus on the continuity of evaluation morphisms, the role of k-groups, and completeness issues in dual categories.

Research Background and Motivation

Core Problems

The paper studies the behavior of Pontryagin duality theory in the broader category beyond locally compact groups, particularly in the category of abelian pro-Lie groups.

Problem Significance

Classical Pontryagin duality works perfectly in the category of locally compact abelian groups:
- The evaluation morphism ηG : G → Ĝ̂ is a topological group isomorphism
- The category is closed under the duality operation
Necessity of transcending local compactness:
- Many important topological groups are not locally compact (e.g., infinite-dimensional vector spaces)
- The category of pro-Lie groups contains all locally compact abelian groups and is closed under limit operations
- This category is complete, providing greater generality than the locally compact group category
Limitations of existing research:
- Even for pro-Lie groups, the evaluation morphism ηG may be discontinuous (as in Leptin's 1955 example)
- The dual Ĝ of a pro-Lie group may be incomplete
- The dual of a pro-Lie group may not be a pro-Lie group (e.g., the dual of R^I is R^(I) with the finest locally convex topology)
- The overall picture of the dual category is neither clear nor complete

Research Motivation

By introducing the k-group concept and studying categorical properties, this paper aims to:

Understand when the evaluation morphism ηG is continuous
Characterize pro-Lie groups satisfying Pontryagin duality
Provide new perspectives on duality theory

Core Contributions

Detailed analysis of the Leptin-Noble-Banaszczyk example: Constructs a non-discrete prodiscrete group E whose evaluation morphism ηE is discontinuous, yet the double dual Ê̂ is discrete
Proves for abelian pro-Lie groups G:
- The evaluation morphism ηG is a bijection and open map
- Its inverse ηG^(-1) is continuous
Introduces categorical analysis of k-groups:
- Proves that k-groups form a coreflective subcategory of the category of topological groups
- Provides the functor k: tg → ktg (which "k-ifies" arbitrary topological groups)
- Proves that products of k-groups are k-groups (simplified proof of Noble's theorem)
Establishes necessary and sufficient conditions for duality theory (Theorem 2.3): For an abelian pro-Lie group G, the following are equivalent:
- G is the character group of some topological abelian group H where ηH is bijective and open
- ηG : G → Ĝ̂ is an isomorphism
Core theorem (Theorem in Introduction):
- (A) For each topological group G, there exists a topological abelian k-group kG, functorially produced by refining the topology
- (B) For each abelian pro-Lie k-group G, the evaluation morphism ηG is an isomorphism
Poses open problems: For an arbitrary abelian pro-Lie group G, is its double dual Ĝ̂ automatically a k-group?

Detailed Methodology

Task Definition

Study the properties of the evaluation morphism ηG : G → Ĝ̂, where:

Ĝ = Hom(G, R/Z) is the character group (with compact-open topology)
ηG(g)(χ) = χ(g) is the evaluation homomorphism

The goal is to characterize when ηG is a (topological group) isomorphism.

Core Concepts

1. k-Continuity and k-Groups

Definition (Noble):

A group homomorphism f : G → H is called k-continuous if its restriction to every compact subset of G is continuous
A topological group G is called a k-group if every k-continuous homomorphism from G is continuous

Key Properties:

All locally compact groups and first-countable groups are k-groups
The evaluation morphism ηG is k-continuous for any topological abelian group (Proposition 4.1)
Therefore, if G is a k-group, then ηG is continuous

2. The k-ification Functor

Construction 3.4: For a topological group G, define kG as:

The underlying group is the same as G
The topology kT = sup{all group topologies with the same compact sets as T}
There exists a natural morphism κG : kG → G (the identity map)

Universal Property (Proposition 3.6): For any k-group H and morphism f : H → G, there exists a unique f' : H → kG such that f = κG ∘ f'.

This gives an adjoint functor pair:

ι : ktg ⇄ tg : k

where ι is the inclusion functor and k is the k-ification functor.

Main Technical Routes

Route 1: Bijectivity and Openness of Evaluation Morphism (Section 2)

Proof strategy of Proposition 2.1:

Represent the pro-Lie group G as a projective limit of Lie groups: G = lim Gj
For each Lie group Gj, ηGj is an isomorphism (classical result)
Use the universal property of limits to construct the morphism η!G : Ĝ̂ → G
Through naturality and uniqueness of limits, prove η!G ∘ ηG = idG
Cite Aussenhofer's result: ηG is surjective
Combine to obtain that ηG is bijective and η!G = ηG^(-1) is continuous

Key Lemma 1.8 (Extension of complete groups): Let T be a topological group, F a complete group, D ⊆ T dense, and ψ : D → F a morphism. Then ψ extends uniquely and continuously to ψ̄ : T → F.

Route 2: Categorical Properties of k-Groups (Section 3)

Theorem 3.7 (Adjointness): The inclusion functor ι : ktg → tg has a right adjoint k : tg → ktg.

Theorem 3.9 (Noble, simplified proof): The product of k-groups is a k-group.

Proof outline:

Let G = ∏(i∈I) Gi where each Gi is a k-group
Define G' = {g ∈ G : supp(g) is countable}
Claim 1: For each kT-neighborhood V, there exists a finite set J such that G'_J ⊆ V (by contradiction)
Claim 2: The kT-closure of G'_J contains ∏(j∈J){ej} × ∏(i∈I-J) Gi
Use these two claims to prove kT = T (the product topology)

Route 3: Necessary and Sufficient Conditions for Duality (Section 2)

Proof of Theorem 2.3:

(1)⇒(2): If G = Ĥ and ηH is bijective and open, then by Corollary 2.2, η̂H^(-1) = ηĤ = ηG
(2)⇒(1): Take H = Ĝ, then Ĥ ≅ Ĝ̂ ≅ G

Technical Innovations

Projective limit method: By decomposing pro-Lie groups as limits of Lie groups, leverage classical duality theory on Lie groups
Categorical framework:
- Identify k-groups as a coreflective subcategory
- Use adjoint functors preserving limits
- Unify various constructions through universal properties
Decomposition of dual morphisms: Introduce commutative diagrams decomposing ηG as:
```
dG = κĜ̂ ∘ kηG = η̂κG ∘ ηkG
```
This decomposition reveals the source of continuity obstructions
Key role of compact sets:
- kT is defined as the supremum of all group topologies with the same compact sets as T
- Use properties of compact sets to establish continuity

Experimental Setup

This is a pure theoretical mathematics paper with no experimental component. The main approaches are:

Counterexample construction: Detailed analysis of the Leptin-Noble-Banaszczyk example
Theorem proving: Rigorous mathematical arguments
Categorical analysis: Abstract structural investigation

Key Example Analysis: The Leptin-Noble-Banaszczyk Group E

Construction (Definition 1.1)

Underlying group: E = Z(2)^(I), where I is the set of all countable ordinals (cardinality ℵ₁)
For α ∈ I, define Hα = {g : gβ = 0, ∀β < α}
Topology: {Hα : α ∈ I} forms a neighborhood base of the identity

Key Properties (Theorem 1.10)

Topological properties:
- E is a non-discrete prodiscrete group (hence pro-Lie)
- Every compact subset is finite (Corollary 1.3)
- Every Fσ-set is closed (Lemma 1.2)
Isomorphic representation (Lemma 1.6): There exists an embedding φ : E → A = ∏(α∈I) Kα (uncountable product of discrete groups) such that φ(E) is a closed subgroup of A
Character group (Proposition 1.7):
```
Ê = ⋃(β∈I) K̂β ⊊ Z(2)^I
```
- Ê is dense but incomplete in Z(2)^I
- Carries pointwise convergence topology
Double dual (Lemma 1.9):
```
Ê̂ ≅ Z(2)^(I) is discrete
```
Evaluation morphism:
- ηE : E → Ê̂ is bijective and open
- But ηE is discontinuous
- ηE^(-1) : Ê̂ → E is continuous
k-group property (Lemma 3.3):
- A is a k-group (as a product of k-groups)
- But the closed subgroup E is not a k-group

Significance of the Example

This example demonstrates:

Evaluation morphisms of pro-Lie groups can be discontinuous
Duals of pro-Lie groups can be incomplete
Closed subgroups of k-groups need not be k-groups
Closed subgroups of reflective groups need not be reflective

Main Results

Result 1: Properties of Evaluation Morphism (Proposition 2.1)

Statement: For all abelian pro-Lie groups G:

ηG : G → Ĝ̂ is bijective
ηG^(-1) : Ĝ̂ → G is a continuous morphism

Significance: Although ηG may be discontinuous, its inverse is always continuous.

Result 2: Necessary and Sufficient Conditions for Duality (Theorem 2.3)

Statement: For an abelian pro-Lie group G, the following are equivalent:

G is the character group of some topological abelian group H where ηH is bijective and open
ηG : G → Ĝ̂ is an isomorphism

Significance: Characterizes when pro-Lie groups satisfy Pontryagin duality.

Result 3: Coreflectivity of k-Groups (Theorem 3.7)

Statement: The inclusion functor ι : ktg → tg has a right adjoint k : tg → ktg.

Corollaries (Remark 3.8):

ktg is a coreflective subcategory in tg
ktg is complete and cocomplete
k preserves limits, ι preserves colimits
Quotient groups of k-groups are k-groups

Result 4: Products of k-Groups (Theorem 3.9)

Statement: The (arbitrary) product of k-groups is a k-group (with product topology).

Significance: This is surprising because:

ι does not preserve limits
Products of k-spaces need not be k-spaces

Result 5: Duality of pro-Lie k-Groups (Proposition 4.2)

Statement: If G is a pro-Lie group and a k-group, then ηG : G → Ĝ̂ is an isomorphism.

Significance: The k-group property is exactly the necessary and sufficient condition for pro-Lie groups to satisfy Pontryagin duality.

Result 6: Equivalent Conditions for Double Dual (Corollary 4.5)

Statement: For an abelian pro-Lie group G, the following are equivalent:

Ĝ̂ is a k-group
κĜ̂ : kĜ̂ → Ĝ̂ is an isomorphism
dG : kG → Ĝ̂ is an open morphism
dG is an isomorphism

Classical Pontryagin Duality

Pontryagin (1930s): Established duality theory for locally compact abelian groups
Kaplan (1948): Proved that products of reflexive groups remain reflexive

Attempts Beyond Local Compactness

Leptin (1955): Constructed an example where the evaluation morphism is discontinuous (the example E in this paper)
Noble (1967, 1970): Introduced k-groups and studied their duality properties
Banaszczyk (1991): Studied additive subgroups of topological vector spaces
Aussenhofer (1999): Proved that ηG is bijective and open for a large class of topological abelian groups (including pro-Lie groups)
Aussenhofer, Dikranjan, Giordano Bruno (2022): Recent monograph

Pro-Lie Group Theory

Hofmann-Morris: The Structure of Pro-Lie Groups systematically develops pro-Lie group theory
The category of pro-Lie groups contains all locally compact groups and weakly complete vector spaces

k-Spaces and k-Groups

Hurewicz: Introduced the concept of k-spaces
Kelley (1955): Discussed k-spaces in topology textbooks
LaMartin (1977): Studied Pontryagin duality in the category of k-groups
Steenrod (1967): Studied categorical properties of k-spaces

Provides systematic categorical analysis of k-groups (previously missing)
Gives a simplified proof of Noble's Theorem 3.9
Unifies Aussenhofer's results within the pro-Lie group framework
Clarifies the central role of k-group property in duality theory

Conclusions and Discussion

Main Conclusions

Fine structure of duality theory:
- For abelian pro-Lie groups, ηG is always bijective and open, but may be discontinuous
- The k-group property is necessary and sufficient for continuity
Categorical viewpoint:
- k-groups form a coreflective subcategory with functor k : tg → ktg
- This provides a standard method to "correct" arbitrary topological groups
Specificity of pro-Lie groups:
- The pro-Lie group category is closed under limits but not under duality
- Every pro-Lie group is "close" to a k-group (via k-ification)

Limitations

Open problems:
- For an arbitrary abelian pro-Lie group G, is Ĝ̂ automatically a k-group? (This is the central unresolved problem)
- An affirmative answer would greatly simplify the theory
Asymmetry of categories:
- The dual of a pro-Lie group need not be a pro-Lie group
- For example, the dual of R^I is R^(I) (with finest locally convex topology), which is not pro-Lie
Complexity of k-groups:
- Closed subgroups of k-groups need not be k-groups (example E)
- This limits the scope of applications
Implicit definition of topology kT:
- kT = sup{all group topologies with the same compact sets as T}
- No explicit description available (unlike k-spaces with Tmax)

Future Directions

Resolution of open problems:
- Prove or disprove: Ĝ̂ is always a k-group (for pro-Lie groups G)
- If true, this would completely characterize the duality theory of pro-Lie groups
Broader categories:
- Study duality properties in other complete categories
- Consider non-abelian cases
Explicit topology descriptions:
- Seek more concrete characterizations of kT
- Computational methods for special cases
Applications:
- Applications in harmonic analysis
- Applications in representation theory

In-Depth Evaluation

Strengths

1. Mathematical Rigor

Complete proofs: All major results have detailed proofs
Clear concepts: Precise definitions and rigorous logic
Thorough counterexamples: The analysis of the Leptin example is very thorough (Section 1)

2. Categorical Insights

Identification of coreflectivity: First explicit categorical characterization of k-groups
Adjoint functors: Simplify proofs and understanding through adjointness
Universal properties: Unify various constructions through universal properties

3. Simplification and Unification

New proof of Noble's theorem: The proof of Theorem 3.9 is clearer than the original
New perspective on Aussenhofer's results: Reformulated within the pro-Lie group framework

4. Problem Awareness

Open problems: Clearly states whether Ĝ̂ is always a k-group
Role of counterexamples: Example E reveals subtle aspects of the theory

5. Literature Review

Historical tracing: From Leptin (1955) to recent research
Comprehensive citations: Covers major work in related fields

Weaknesses

1. Unresolved Core Problem

The central question (whether Ĝ̂ is always a k-group) remains open
This limits the completeness of the theory

2. Lack of Explicit Calculations

The definition of kT is implicit (supremum)
Missing calculations of kT in concrete examples
For example, for example E, kE is discrete, but this is obtained through indirect arguments

3. Non-abelian Cases

Completely restricted to abelian groups
While reasonable (Pontryagin duality is essentially abelian), this limits applications

4. Insufficient Discussion of Applications

Primarily theoretical development
Lacks discussion of applications to harmonic analysis, representation theory, etc.

5. Some Proof Brevity

Lemma 1.8 references external literature
Some technical details could be more detailed

Impact Assessment

Contributions to the Field

Theoretical deepening:
- Clarifies the fine structure of pro-Lie group duality theory
- Provides new tools for studying duality (k-ification functor)
Methodology:
- Demonstrates the power of categorical methods in topological group theory
- The coreflectivity of k-groups may inspire study of other subcategories
Problem-oriented:
- The posed open problems may guide future research directions

Practical Value

Theoretical tools: The k-ification functor provides a standard method to "correct" topological groups
Discrimination criteria: Theorems 2.3 and Corollary 4.5 provide practical criteria for checking duality
Counterexample library: Example E is an important test case for studying duality theory

Reproducibility

Fully reproducible: Pure theoretical results with verifiable proofs
Clear concepts: Definitions and constructions are explicit
Sufficient citations: Background knowledge is clearly referenced

Applicable Scenarios

1. Topological Group Theory Research

Mathematicians studying duality theory
Situations requiring understanding of evaluation morphism properties

2. Harmonic Analysis

Study of Fourier analysis on non-locally compact groups
Infinite-dimensional representation theory

3. Categorical Theory Applications

Study of coreflective subcategories with concrete examples
Practical applications of adjoint functors

4. Topological Vector Spaces

Pro-Lie groups contain weakly complete vector spaces
Potential applications to functional analysis

5. Teaching

Advanced topics in Pontryagin duality theory
Case study of categorical methods

Technical Highlights

1. Clever Application of Projective Limits

In the proof of Proposition 2.1, by representing G as a projective limit of Lie groups, the paper leverages:

Universal property of limits
Right adjoint functors preserve limits
Classical duality theory on Lie groups

This "dimension reduction" strategy is worth emulating.

2. Central Role of Compact Sets

The entire theory revolves around compact sets:

k-continuity: continuity on compact sets
kT: the maximal topology preserving compact sets
Example E: every compact set is finite

This reveals the essential role of compactness in duality theory.

3. Decomposition of Dual Morphisms

Introducing commutative diagrams:

kG ⟶ kĜ̂
↓       ↓
G  ⟶  Ĝ̂

Decomposing ηG as dG = κĜ̂ ∘ kηG clearly locates continuity obstructions.

4. Power of Categorical Methods

Through identifying coreflectivity:

Automatically obtain completeness and cocompleteness
Understand behavior of limits and colimits
Unify various constructions

Connections with Other Work

Relationship with Aussenhofer 1

This paper reformulates Aussenhofer's core results within the pro-Lie group framework
Provides new proof paths (via projective limits)
Emphasizes the role of k-groups (not explicitly discussed by Aussenhofer)

Relationship with Noble 16, 17, 18

Inherits Noble's k-group concept
First systematic categorical analysis
Simplified proof of Theorem 3.9

Relationship with Hofmann-Morris 9, 10

Built on the authors' own pro-Lie group theory
Natural continuation of pro-Lie group theory
Fills gaps in duality theory in 10 Chapter 4

Summary

This paper is an important contribution to topological group duality theory. Through introducing categorical analysis of k-groups, it deepens understanding of Pontryagin duality behavior in the pro-Lie group category. Main achievements include:

Theoretical deepening: Clarifies the central role of k-group property in duality theory
Methodological innovation: Employs categorical tools (coreflectivity, adjoint functors)
Problem clarification: Through detailed analysis of the Leptin example, reveals subtle aspects of the theory
Open problems: Poses the central question of whether Ĝ̂ is always a k-group

Although the core open problem remains unresolved, this paper provides a solid foundation for future research, offering new tools and perspectives. For mathematicians studying topological groups, harmonic analysis, and category theory, this is a paper well worth careful study.

Recommendation Index: ⭐⭐⭐⭐☆ (4.5/5)

Theoretical depth: ⭐⭐⭐⭐⭐
Technical innovation: ⭐⭐⭐⭐
Completeness: ⭐⭐⭐⭐ (affected by open problems)
Readability: ⭐⭐⭐⭐
Potential impact: ⭐⭐⭐⭐