pith. sign in

arxiv: 2606.08069 · v1 · pith:TZTODWTFnew · submitted 2026-06-06 · 🧮 math.AT · math.CT· math.GR

Weak split extensions of topological Abelian groups

Mar\'ia V. Ferrer , Salvador Hern\'andez-Mu\~noz , Luis Javier Hern\'andez-Paricio This is my paper

Pith reviewed 2026-06-27 18:59 UTC · model grok-4.3

classification 🧮 math.AT math.CTmath.GR
keywords topological Abelian groupsweakly split extensionscontinuous sum structurescontinuous cocyclesBohr topologysix-term exact sequenceextension groups
0
0 comments X

The pith

Weakly split extensions of topological Abelian groups are in bijection with continuous sum structures on the product B × A.

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

The paper defines the group of weakly split extensions E^ws_TA(A,B) in the category of topological Abelian groups, where an extension of B by A is weakly split if the projection admits a continuous section. It shows that this group equals the set of all continuous sum structures on the product space B × A (with B as subgroup and A as quotient), up to topological isomorphism. An alternative description appears as the quotient of continuous cocycles Z_c(A,B) by the coboundaries B_c(A,B). The constructions are related to ordinary group extensions via a six-term exact sequence, and the methods yield new examples of nontrivial weakly split extensions when discrete Abelian groups carry the Bohr topology.

Core claim

In the category of topological Abelian groups, the Abelian group E^ws_TA(A,B) of weakly split extensions of B by A, taken modulo extension isomorphisms, equals the group of continuous sum structures on the product space B × A (with B as topological subgroup and A as topological quotient) up to topological isomorphism. Equivalently, E^ws_TA(A,B) is the quotient Z_c(A,B)/B_c(A,B) of continuous cocycles by continuous coboundaries. These objects fit into a six-term exact sequence relating them to the ordinary extension group E_A(A,B) of the underlying discrete groups.

What carries the argument

The group E^ws_TA(A,B) of isomorphism classes of weakly split extensions, identified with continuous sum structures on B × A or with the quotient of continuous cocycles by coboundaries.

If this is right

  • Every weakly split extension corresponds to a continuous binary operation on B × A that turns the space into a topological Abelian group with the required subgroup and quotient properties.
  • The six-term exact sequence relates E^ws_TA(A,B) to the ordinary extension group E_A(A,B) of the underlying Abelian groups.
  • New nontrivial weakly split extensions exist for discrete Abelian groups equipped with the Bohr topology.
  • Open questions remain about the structure of these groups for specific choices of A and B in the Bohr topology setting.

Where Pith is reading between the lines

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

  • The cocycle description may allow explicit computation of E^ws_TA(A,B) for concrete compact or locally compact groups by classifying continuous maps A × A → B.
  • The sum-structure viewpoint suggests studying whether every continuous sum structure arises from a section in a canonical way or whether additional continuity conditions are needed.
  • Applications to other topological categories could replace the Bohr topology with other group topologies to produce further examples.

Load-bearing premise

The standard notions of extension, continuous section, and the resulting isomorphism classes form an Abelian group that admits the stated cocycle and sum-structure descriptions.

What would settle it

An explicit pair of topological Abelian groups A and B together with a weakly split extension whose underlying space B × A carries no continuous sum structure making B a subgroup and A a quotient, or whose class lies outside the cocycle quotient Z_c(A,B)/B_c(A,B).

read the original abstract

In the category of topological Abelian groups, we consider the usual notion of an extension $E=(B \to X \to A)$ of $B$ by $A$, together with the notion of a weakly split extension, i.e., an extension for which the projection $X \to A$ admits a continuous section $A \to X$. Given a weakly split extension $E$, the topological Abelian group $X$ is homeomorphic to $B \times A$, although in general it is not algebraically isomorphic to $B \times A$. For two topological Abelian groups $A$ and $B$, we study the Abelian group $E^{\mathrm{ws}}_{\mathrm{TA}}(A,B)$ of weakly split extensions of $B$ by $A$, modulo extension isomorphisms. We show that $E^{\mathrm{ws}}_{\mathrm{TA}}(A,B)$ can be described as the group of all continuous sum structures defined on the product space $B \times A$ (up to topological isomorphism), with $B$ as a topological subgroup and $A$ as a topological quotient. We also provide an alternative description of $E^{\mathrm{ws}}_{\mathrm{TA}}(A,B)$ as a quotient $Z_c(A,B)/B_c(A,B)$, where $Z_c(A,B)$ consists of cocycles given by continuous maps $A \times A \to B$, and $B_c(A,B)$ denotes the corresponding coboundaries. Furthermore, we compare $E^{\mathrm{ws}}_{\mathrm{TA}}(A,B)$ with the group of standard extensions $E_A(A,B)$, where $A$ and $B$ denote the underlying Abelian groups, and relate these constructions by means of a six-term exact sequence. Although the Bohr topology of discrete Abelian groups has been investigated by many workers, there still remain many parts that are not well understood. Here, as an application of the methods developed in the paper, new examples of nontrivial $ws$-extensions for discrete Abelian groups equipped with the Bohr topology are provided and some related open questions are also proposed.

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 / 3 minor

Summary. The paper defines the Abelian group E^{ws}_{TA}(A,B) of isomorphism classes of weakly split extensions (extensions admitting a continuous section) of topological Abelian groups B by A. It claims two equivalent descriptions: (i) the group of continuous sum structures on the product space B × A making B a topological subgroup and A a topological quotient (up to topological isomorphism), and (ii) the quotient Z_c(A,B)/B_c(A,B) of continuous 2-cocycles by continuous coboundaries. It further relates E^{ws}_{TA}(A,B) to the algebraic extension group E_A(A,B) via a six-term exact sequence and applies the framework to produce new examples of nontrivial weakly split extensions when discrete Abelian groups are equipped with the Bohr topology.

Significance. If the claimed equivalences and exact sequence hold, the work supplies concrete, computable models for weakly split extensions that bridge topological and algebraic settings. The cocycle and sum-structure descriptions are standard transport-of-structure constructions but are here specialized to the continuous case; the six-term sequence is the expected comparison map between topological and discrete extensions. The Bohr-topology application is a concrete use case that may generate new examples, though its novelty depends on the explicit constructions supplied in the body.

minor comments (3)
  1. The abstract states the main theorems without indicating where the derivations appear; the manuscript should include explicit section references (e.g., “Theorem 3.4”) when the claims are first announced.
  2. Notation for the groups Z_c(A,B) and B_c(A,B) is introduced only in the abstract; the precise continuity requirements on the cocycle maps A × A → B should be restated at the first appearance in the body.
  3. The final paragraph on Bohr topologies reads as a transition sentence that might belong in an introduction rather than the abstract; consider moving or shortening it.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation of minor revision. The referee summary accurately reflects the paper's contributions on weakly split extensions, the two equivalent descriptions, the six-term exact sequence, and the Bohr topology examples. No specific major comments were enumerated in the report.

Circularity Check

0 steps flagged

No significant circularity; derivations are standard and independent

full rationale

The paper defines E^ws_TA(A,B) via weakly split extensions with continuous sections, then gives equivalent descriptions as continuous sum structures on B×A and as Z_c(A,B)/B_c(A,B). These follow directly from transporting the group operation via the section and reading off the cocycle, which are standard functorial constructions in topological group cohomology and do not reduce to self-definition or fitted inputs. The six-term sequence is the natural comparison of topological vs. discrete cases. No self-citations are load-bearing, no ansatz is smuggled, and no uniqueness theorem is invoked from prior author work. The central claims remain independent of the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are mentioned in the abstract; the constructions rest on standard category-theoretic notions of extensions and continuous maps.

pith-pipeline@v0.9.1-grok · 5943 in / 1176 out tokens · 35430 ms · 2026-06-27T18:59:29.215133+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

18 extracted references · 11 canonical work pages

  1. [1]

    Baer, Zur EinfÃŒhrung des Scharbegriffs,J

    R. Baer, Zur EinfÃŒhrung des Scharbegriffs,J. Reine Angew. Math., 160(1929), 199–207.https://doi.org/10.1515/crll.1929.160. 199

    work page doi:10.1515/crll.1929.160 1929

  2. [2]

    Baer, Erweiterung von Gruppen und ihren Isomorphismen,Math

    R. Baer, Erweiterung von Gruppen und ihren Isomorphismen,Math. Z.,38(1934), 375–416.https://doi.org/10.1007/BF0117064

    work page doi:10.1007/bf0117064 1934

  3. [3]

    Eilenberg, S

    S. Eilenberg, S. MacLane, Group extensions and homology,Ann. Math.,43(1942), 757–831.https://doi.org/10.2307/1968966

    work page doi:10.2307/1968966 1942

  4. [4]

    Fuchs,Abelian Groups,1 st edition, Springer, 2015.https://doi

    L. Fuchs,Abelian Groups,1 st edition, Springer, 2015.https://doi. org/10.1007/978-3-319-19422-6

    work page doi:10.1007/978-3-319-19422-6 2015

  5. [5]

    P. J. Hilton, U. Stammbach,A Course in Homological Al- gebra,2 nd edition, Springer, 1997.https://doi.org/10.1007/ 978-1-4419-8566-8 28

    1997

  6. [6]

    H. J. Bello Gutiérrez,Extension of topological Abelian group (thesis), Ph.D thesis, Universidad de Navarra in Pamplona, 2016

    2016

  7. [7]

    H. J. Bello, M. J. Chasco, X. Domínguez, M. Tkachenko, Split- tings and cross-sections in topological groups,J. Math. Anal. Appl., 435(2016), 1607–1622.https://doi.org/10.1016/j.jmaa.2015. 11.040

    work page doi:10.1016/j.jmaa.2015 2016

  8. [8]

    H. J. Bello, The Ext group in the categories of topological Abelian groups and topological vector spaces.Topol. Appl.,221(2017), 379– 392.https://doi.org/10.1016/j.topol.2017.02.022

    work page doi:10.1016/j.topol.2017.02.022 2017

  9. [9]

    W. W. Comfort, S. Hernández, F. J. Trigos-Arrieta, Cross sections and homeomorphism classes of Abelian groups equipped with the Bohr topology,Topol. Appl.,115(2001), 215–233.https://doi.org/10. 1016/S0166-8641(00)00065-1

    2001

  10. [10]

    K. S. Brown.Cohomology of Groups,1 st edition, Springer, 1982. https://doi.org/10.1007/978-1-4684-9327-6

    work page doi:10.1007/978-1-4684-9327-6 1982

  11. [11]

    P. J. Higgins, Coproducts of topological Abelian groups,J. Alge- bra,44(1977), 152–159.https://doi.org/10.1016/0021-8693(77) 90169-7

    work page doi:10.1016/0021-8693(77 1977

  12. [12]

    Nickolas, Coproducts of Abelian topological groups,Topol

    P. Nickolas, Coproducts of Abelian topological groups,Topol. Appl., 120(2002), 403–426.https://doi.org/10.1016/S0166-8641(01) 00085-2

    work page doi:10.1016/s0166-8641(01 2002

  13. [13]

    Mac Lane,Homology, Springer, 1995.https://doi.org/10.1007/ 978-3-642-62029-4

    S. Mac Lane,Homology, Springer, 1995.https://doi.org/10.1007/ 978-3-642-62029-4

    1995

  14. [14]

    E. K. van Douwen, The maximal totally bounded group topology on G and the biggest minimal G-space, for Abelian groups G,Topol. Appl.,34(1990), 69–91.https://doi.org/10.1016/0166-8641(90) 90090-O

    work page doi:10.1016/0166-8641(90 1990

  15. [15]

    Dikranjan, A class of Abelian groups related to continuous cross sections in the Bohr topology,Rocky Mt

    D. Dikranjan, A class of Abelian groups related to continuous cross sections in the Bohr topology,Rocky Mt. J. Math.,32(2002), 1331– 1355

    2002

  16. [16]

    Hoffmann, M

    N. Hoffmann, M. Spitzweck, Homological algebra with locally compact Abelian groups,Adv. Math.,212(2007), 504–524.https://doi.org/ 10.1016/j.aim.2006.09.019 29

    work page doi:10.1016/j.aim.2006.09.019 2007

  17. [17]

    M.Moskowitz, HomologicalalgebrainlocallycompactAbeliangroups, Trans. Am. Math. Soc.,127(1967), 361–404.https://doi.org/10. 2307/1994421

    1967

  18. [18]

    E.C.Nummela, TheprojectivedimensionofacompactAbeliangroup, Proc. Am. Math. Soc.,38(1973), 452–456.https://doi.org/10. 2307/2038930 30

    1973