pith. sign in

arxiv: 2510.24540 · v2 · submitted 2025-10-28 · 🧮 math.GR · math.GN

Some notes on Pontryagin duality of abelian topological groups

Linus Kramer , Karl Heinrich Hofmann This is my paper

Pith reviewed 2026-05-18 03:36 UTC · model grok-4.3

classification 🧮 math.GR math.GN
keywords Pontryagin dualitypro-Lie groupsabelian topological groupsduality theorytopological groups
0
0 comments X

The pith

Pontryagin duality raises several questions when extended to the category of abelian pro-Lie groups.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines multiple questions about Pontryagin duality inside the category of abelian pro-Lie groups. This category consists of groups that arise as inverse limits of Lie groups and sits between locally compact abelian groups and more general topological groups. A sympathetic reader would care because the setting might let duality hold with many of its classical features intact while applying to a larger collection of examples.

Core claim

Several questions related to Pontryagin duality are considered and compared inside the category of abelian pro-Lie groups, with explicit attention to how the theory behaves relative to the classical case of locally compact abelian groups.

What carries the argument

The category of abelian pro-Lie groups, which serves as the ambient setting for posing and comparing duality questions.

If this is right

  • Duality statements can be formulated directly for pro-Lie groups and checked against known locally compact examples.
  • Reflexivity and other duality properties may hold under additional restrictions within this category.
  • New families of reflexive groups become available for study beyond the locally compact ones.
  • Comparisons may clarify which features of duality depend on local compactness versus pro-Lie structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The pro-Lie category could serve as a test bed for seeing which parts of classical duality survive without local compactness.
  • Concrete inverse-limit constructions might yield explicit examples where duality either succeeds or breaks in controlled ways.
  • If the questions receive positive answers, duality techniques could transfer to certain infinite-dimensional Lie groups that arise as pro-Lie limits.

Load-bearing premise

The category of abelian pro-Lie groups supplies a natural and well-behaved setting in which Pontryagin duality can be meaningfully discussed and compared with the classical locally compact case.

What would settle it

An explicit abelian pro-Lie group whose Pontryagin dual fails to recover the original group or violates a key property expected from the locally compact case would show the setting does not work as hoped.

read the original abstract

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

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The manuscript is a short collection of exploratory notes that raises several open questions about Pontryagin duality in the category of abelian pro-Lie groups and compares this setting to the classical Pontryagin duality for locally compact abelian groups.

Significance. The work does not establish new theorems, construct functors, or provide counterexamples. Its potential significance lies in identifying directions for extending duality theory beyond the locally compact case, but this remains speculative until the posed questions are resolved by subsequent research.

minor comments (1)
  1. The abstract and introduction could more explicitly list the specific questions being considered to help readers assess the scope of the notes.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for reviewing our manuscript and for the constructive summary. We agree that the work is exploratory and consists of notes posing open questions rather than proving theorems. We address the referee's observations below.

read point-by-point responses

  1. Referee: The manuscript is a short collection of exploratory notes that raises several open questions about Pontryagin duality in the category of abelian pro-Lie groups and compares this setting to the classical Pontryagin duality for locally compact abelian groups.

    Authors: We accept this description. The manuscript is deliberately framed as notes whose primary purpose is to formulate questions about the extent to which Pontryagin duality extends to abelian pro-Lie groups. We believe that clearly stated open questions can serve a useful role in directing future research in this area. revision: no

  2. Referee: The work does not establish new theorems, construct functors, or provide counterexamples. Its potential significance lies in identifying directions for extending duality theory beyond the locally compact case, but this remains speculative until the posed questions are resolved by subsequent research.

    Authors: We agree that the manuscript contains no new theorems, functors, or counterexamples; that is consistent with its stated aim as a collection of notes. The value we see lies in making explicit several natural questions that arise when one moves from the locally compact setting to the larger category of abelian pro-Lie groups. We hope these questions will be taken up in later work. We are open to adding further remarks or references if the referee indicates specific points that would strengthen the exposition. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The manuscript is a short set of exploratory notes that poses open questions about Pontryagin duality for abelian pro-Lie groups and compares the setting with the classical locally compact case. No theorem is asserted as proven, no new duality functor is constructed, and no counter-example to an existing result is claimed. There are no derivations, equations, fitted parameters, or self-citations that reduce any claimed result to its own inputs by construction. The weakest assumption (that the pro-Lie category supplies a natural setting) is not load-bearing for any asserted conclusion, and the paper remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone; the work appears to operate within standard definitions of pro-Lie groups and Pontryagin duality.

pith-pipeline@v0.9.0 · 5518 in / 911 out tokens · 41301 ms · 2026-05-18T03:36:57.664958+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Außenhofer, Contributions to the duality theory of abelian topological groups and to the theory of nuclear groups, Dissertationes Math

    L. Außenhofer, Contributions to the duality theory of abelian topological groups and to the theory of nuclear groups, Dissertationes Math. (Rozprawy Mat.)384(1999), 113 pp. MR1736984

    work page 1999

  2. [2]

    Außenhofer, D

    L. Außenhofer, D. N. Dikranjan and A. Giordano Bruno,Topological groups and the Pontryagin–van Kampen duality—an introduction, De Gruyter Studies in Mathematics, 83, De Gruyter, Berlin, 2022. MR4510389

    work page 2022

  3. [3]

    Banaszczyk,Additive subgroups of topological vector spaces, Lecture Notes in Mathematics, 1466, Springer, Berlin, 1991

    W. Banaszczyk,Additive subgroups of topological vector spaces, Lecture Notes in Mathematics, 1466, Springer, Berlin, 1991. MR1119302 18 KARL HEINRICH HOFMANN AND LINUS KRAMER

    work page 1991

  4. [4]

    Bourbaki, ´El´ ements de math´ ematique

    N. Bourbaki, ´El´ ements de math´ ematique. Premi` ere partie. (Fascicule III.) Livre III; Topologie g´ en´ erale. Chap. 3: Groupes topologiques. Chap. 4: Nombres r´ eels, Actualit´ es Scientifiques et In- dustrielles, No. 1143, Hermann, Paris, 1960. MR0140603

    work page 1960

  5. [5]

    Dugundji,Topology, Allyn and Bacon, Inc., Boston, MA, 1966

    J. Dugundji,Topology, Allyn and Bacon, Inc., Boston, MA, 1966. MR0193606

    work page 1966

  6. [6]

    Engelking,General topology, translated from the Polish by the author, second edition, Sigma Series in Pure Mathematics, 6, Heldermann, Berlin, 1989

    R. Engelking,General topology, translated from the Polish by the author, second edition, Sigma Series in Pure Mathematics, 6, Heldermann, Berlin, 1989. MR1039321

    work page 1989

  7. [7]

    M. V. Ferrer, J. C. Hern´ andez Arzusa and S. Hern´ andez-Mu˜ noz, Tensor products of topological abelian groups and Pontryagin duality, J. Math. Anal. Appl.536(2024), no. 2, Paper No. 128199, 20 pp. MR4705553

    work page 2024

  8. [8]

    W. N. Herfort, K. H. Hofmann and F. G. Russo,Periodic locally compact groups, De Gruyter Studies in Mathematics, 71, De Gruyter, Berlin, 2019. MR3932104 (Erratum: Theorems 3.34 and 3.35 on pp.65–69 are incorrect.)

    work page 2019

  9. [9]

    K. H. Hofmann and S. A. Morris,The structure of compact groups—a primer for the student—a handbook for the expert, fifth edition, De Gruyter Studies in Mathematics, 25, De Gruyter, Berlin,

    work page

  10. [10]

    K. H. Hofmann and S. A. Morris,The structure of pro-Lie groups, second edition, EMS Tracts in Mathematics, 36, Eur. Math. Soc., Z¨ urich, 2023. MR4696001

    work page 2023

  11. [11]

    Kaplan, Extensions of the Pontrjagin duality

    S. Kaplan, Extensions of the Pontrjagin duality. I. Infinite products, Duke Math. J.15(1948), 649–658. MR0026999

    work page 1948

  12. [12]

    Kelley, General topology, Springer-Verlag, New York-Berlin, 1975

    J. Kelley, General topology, Springer-Verlag, New York-Berlin, 1975. xiv+298 pp. MR0370454

    work page 1975

  13. [13]

    W. F. LaMartin, Pontryagin duality for products and coproducts of abeliank-groups, Rocky Moun- tain J. Math.7(1977), no. 4, 725–731. MR0447461

    work page 1977

  14. [14]

    Leptin, Zur Dualit¨ atstheorie projektiver Limites abelscher Gruppen, Abh

    H. Leptin, Zur Dualit¨ atstheorie projektiver Limites abelscher Gruppen, Abh. Math. Sem. Univ. Hamburg19(1955), 264–268; MR0068544

    work page 1955

  15. [15]

    Mac Lane,Categories for the working mathematician, Graduate Texts in Mathematics, Vol

    S. Mac Lane,Categories for the working mathematician, Graduate Texts in Mathematics, Vol. 5, Springer, New York-Berlin, 1971; MR0354798

    work page 1971

  16. [16]

    Noble,k-spaces and some generalizations, PhD thesis, Rochester 1967

    N. Noble,k-spaces and some generalizations, PhD thesis, Rochester 1967. MR2616426

    work page 1967

  17. [17]

    Noble,k-groups and duality, Trans

    N. Noble,k-groups and duality, Trans. Amer. Math. Soc.151(1970), 551–561. MR0270070

    work page 1970

  18. [18]

    Noble, The continuity of functions on Cartesian products, Trans

    N. Noble, The continuity of functions on Cartesian products, Trans. Amer. Math. Soc.149(1970), 187–198. MR0257987

    work page 1970

  19. [19]

    N. E. Steenrod, A convenient category of topological spaces, Michigan Math. J.14(1967), 133–152; MR0210075

    work page 1967

  20. [20]

    M. J. Stroppel,Locally compact groups, EMS Textbooks in Mathematics, Eur. Math. Soc., Z¨ urich,

    work page