pith. machine review for the scientific record. sign in

arxiv: 2605.10273 · v1 · submitted 2026-05-11 · 🧮 math.AT

Recognition: no theorem link

Homotopy Non-Invariance of the String Cobracket and the Failure of the Lie Bialgebra Structure

Isana Sumoto

Pith reviewed 2026-05-12 03:46 UTC · model grok-4.3

classification 🧮 math.AT
keywords string cobrackethomotopy invariancestring topologylens spacesLie bialgebrafree loop spaceWhitehead torsionequivariant homology
0
0 comments X

The pith

The string cobracket is not a homotopy invariant.

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

The paper establishes that the string cobracket fails to remain unchanged under homotopy equivalences of the underlying space. By adapting a prior computational method for the related string coproduct, the authors obtain distinct cobracket values on the homotopy equivalent lens spaces L(9;1) and L(9;4). This shows that the cobracket cannot be regarded as a homotopy invariant in string topology. The work further connects the cobracket to Whitehead torsion in a manner parallel to the coproduct. Finally, the string bracket together with the cobracket fails to satisfy the Lie bialgebra axioms on the circle-equivariant homology of the free loop space.

Core claim

We prove that the string cobracket is not a homotopy invariant. Adapting Naef's method for computing the string coproduct, we show that the string cobrackets on the three-dimensional lens spaces L(9;1) and L(9;4) differ. We further relate the string cobracket to the Whitehead torsion, analogously to the case of the string coproduct. In addition, we show that the string bracket and the string cobracket do not endow the S^1-equivariant homology of the free loop space with a Lie bialgebra structure. These findings indicate that the analogy with the Turaev cobracket breaks down in higher-dimensional string topology.

What carries the argument

The string cobracket on the S^1-equivariant homology of the free loop space, computed by adapting Naef's method and linked to Whitehead torsion.

If this is right

  • The string cobracket cannot be defined using only the homotopy type of the manifold.
  • The string bracket and cobracket together fail to produce a Lie bialgebra on the equivariant homology of the free loop space.
  • The expected parallel between string topology operations and the Turaev cobracket does not hold in dimensions greater than three.
  • Whitehead torsion can be used to detect changes in the cobracket under homotopy equivalences.

Where Pith is reading between the lines

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

  • Other algebraic operations in string topology may also prove sensitive to smooth structure rather than homotopy type alone.
  • Refined invariants incorporating torsion or fundamental group data could replace or supplement the cobracket in applications.
  • Systematic computations on additional pairs of homotopy equivalent manifolds would map out the precise invariance behavior.
  • Alternative algebraic structures beyond Lie bialgebras may be needed to capture the full set of string topology operations.

Load-bearing premise

The adaptation of Naef's method correctly computes the cobracket and the explicit calculations on L(9;1) and L(9;4) detect a genuine difference between these homotopy equivalent spaces.

What would settle it

An independent calculation of the string cobracket on L(9;1) and L(9;4) that yields identical results would falsify the non-invariance claim.

read the original abstract

We prove that the string cobracket is not a homotopy invariant. Adapting Naef's method arXiv:2106.11307 for computing the string coproduct, we show that the string cobrackets on the three-dimensional lens spaces $L(9;1)$ and $L(9;4)$ differ. We further relate the string cobracket to the Whitehead torsion, analogously to the case of the string coproduct. In addition, we show that the string bracket and the string cobracket do not endow the $S^1$-equivariant homology of the free loop space with a Lie bialgebra structure. These findings indicate that the analogy with the Turaev cobracket breaks down in higher-dimensional string topology.

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

2 major / 2 minor

Summary. The manuscript adapts Naef's method for the string coproduct to compute the string cobracket on the free loop spaces of the lens spaces L(9;1) and L(9;4). It claims that the differing values demonstrate that the string cobracket is not a homotopy invariant, relates the cobracket to Whitehead torsion, and shows that the string bracket and cobracket fail to give a Lie bialgebra structure on the S^1-equivariant homology of the free loop space, indicating the breakdown of the analogy with the Turaev cobracket in higher-dimensional string topology.

Significance. A correct demonstration that the string cobracket is not homotopy invariant would be significant for string topology, as it would show that the expected invariance properties from lower dimensions or the Turaev case do not hold generally. The relation to Whitehead torsion and the failure of the Lie bialgebra structure could also be of interest if the computations are verified. However, the current argument does not establish non-invariance due to the choice of non-homotopy-equivalent spaces.

major comments (2)
  1. [Abstract and the section on computations for lens spaces] The central claim that the string cobracket is not a homotopy invariant is supported by showing different cobrackets on L(9;1) and L(9;4). However, these spaces are not homotopy equivalent. Standard classification states that L(p, q) and L(p, q') are homotopy equivalent if and only if q' ≡ ±q or ±q^{-1} mod p. For p = 9, the class of 1 is {1, 8} and of 4 is {2, 4, 5, 7}, which are disjoint. Therefore, the observed difference does not provide evidence against homotopy invariance; it is expected for distinct homotopy types. This is a load-bearing issue for the primary result.
  2. [Section discussing the Lie bialgebra structure] The demonstration that the bracket and cobracket do not form a Lie bialgebra on the equivariant homology appears to be a separate computation. If this part does not rely on the lens space example, it may stand independently, but the manuscript should clarify the dependence on the specific calculations and verify the accuracy of the adapted Naef method for the cobracket.
minor comments (2)
  1. The abstract could more explicitly state whether L(9;1) and L(9;4) are intended to be homotopy equivalent or clarify the logical step from differing values to non-invariance.
  2. Ensure that all references to prior work, such as Naef's arXiv:2106.11307, are correctly cited and that the adaptation is detailed enough for reproducibility.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for their careful reading and for identifying a critical flaw in our choice of examples. We address each major comment below and outline the revisions we will make.

read point-by-point responses

  1. Referee: [Abstract and the section on computations for lens spaces] The central claim that the string cobracket is not a homotopy invariant is supported by showing different cobrackets on L(9;1) and L(9;4). However, these spaces are not homotopy equivalent. Standard classification states that L(p, q) and L(p, q') are homotopy equivalent if and only if q' ≡ ±q or ±q^{-1} mod p. For p = 9, the class of 1 is {1, 8} and of 4 is {2, 4, 5, 7}, which are disjoint. Therefore, the observed difference does not provide evidence against homotopy invariance; it is expected for distinct homotopy types. This is a load-bearing issue for the primary result.

    Authors: We agree that L(9;1) and L(9;4) are not homotopy equivalent, as stated by the standard classification of lens spaces. The difference in cobracket values on these spaces therefore does not demonstrate failure of homotopy invariance. This was an oversight in the manuscript. We will revise the abstract, introduction, and computations section to remove the claim that these examples establish non-invariance. We are examining whether other pairs of homotopy equivalent spaces yield differing cobrackets, but no such alternative computation is currently available. revision: yes

  2. Referee: [Section discussing the Lie bialgebra structure] The demonstration that the bracket and cobracket do not form a Lie bialgebra on the equivariant homology appears to be a separate computation. If this part does not rely on the lens space example, it may stand independently, but the manuscript should clarify the dependence on the specific calculations and verify the accuracy of the adapted Naef method for the cobracket.

    Authors: The argument that the string bracket and cobracket fail to form a Lie bialgebra on the S^1-equivariant homology is independent of the lens space computations and relies instead on general properties of the operations and the equivariant homology. We will revise the relevant section to explicitly state this independence, provide a clearer outline of the proof, and include additional checks confirming the correctness of the adaptation of Naef's method to the cobracket. revision: yes

standing simulated objections not resolved
  • Providing a correct pair of homotopy equivalent spaces on which the string cobracket differs, in order to support the non-invariance claim.

Circularity Check

0 steps flagged

No significant circularity; derivation is direct computation on external method.

full rationale

The paper adapts Naef's external method (arXiv:2106.11307) to compute the string cobracket explicitly on the lens spaces L(9;1) and L(9;4), compares the outputs, and relates the result to Whitehead torsion by analogy with the coproduct case. It then separately verifies failure of the Lie bialgebra compatibility on S^1-equivariant homology. No equation reduces to a fitted parameter renamed as prediction, no claim is self-definitional, and no load-bearing step rests on self-citation. All steps rely on concrete calculations and an independent cited technique, so the chain is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard definitions and functoriality properties of string topology operations and on the homology of lens spaces; no new free parameters or postulated entities are introduced.

axioms (2)
  • standard math Standard functoriality and invariance properties of singular homology and free loop space homology
    Invoked when defining the string bracket, cobracket, and their equivariant versions.
  • domain assumption Homotopy equivalence of the lens spaces L(9;1) and L(9;4)
    Used to conclude that differing cobracket values imply non-invariance.

pith-pipeline@v0.9.0 · 5428 in / 1399 out tokens · 69758 ms · 2026-05-12T03:46:09.053298+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

21 extracted references · 21 canonical work pages

  1. [1]

    The string coproduct ``knows''

    Naef, Florian , year=. The string coproduct ``knows''. Geom. Topol. , fjournal=. doi:10.2140/gt.2024.28.3643 , number=

    work page doi:10.2140/gt.2024.28.3643 2024

  2. [2]

    1999 , eprint=

    String Topology , author=. 1999 , eprint=

    work page 1999

  3. [3]

    Duke Math

    Goresky, Mark and Hingston, Nancy , title =. Duke Math. J. , fjournal =. 2009 , number =. doi:10.1215/00127094-2009-049 , url =

    work page doi:10.1215/00127094-2009-049 2009

  4. [4]

    2022 , eprint=

    Product and coproduct in string topology , author=. 2022 , eprint=

    work page 2022

  5. [5]

    2019 , eprint=

    String topology and configuration spaces of two points , author=. 2019 , eprint=

    work page 2019

  6. [6]

    The homotopy invariance of the string topology loop product and string bracket , author=. J. Topol , fjournal =. 2008 , publisher=. doi:10.1112/jtopol/jtn001 , url =

    work page doi:10.1112/jtopol/jtn001 2008

  7. [7]

    Loop homology as fibrewise homology , author=. Proc. Edinb. Math. Soc. , fjournal=. 2008 , publisher=

    work page 2008

  8. [8]

    Generalized string topology operations , author=. Proc. London. Math. Soc. , fjournal=. 2008 , publisher=. doi:10.1112/plms/pdm030 , url =

    work page doi:10.1112/plms/pdm030 2008

  9. [9]

    An integrative theory of locus coeruleus-norepinephrine function: adaptive gain and optimal performance , author=. Annu. Rev. Neurosci. , volume=. 2005 , publisher=

    work page 2005

  10. [10]

    2024 , eprint=

    Simple homotopy invariance of the loop coproduct , author=. 2024 , eprint=

    work page 2024

  11. [11]

    Invariance of the

    Rivera, Manuel and Wang, Zhengfang , year=. Invariance of the. Proc. London. Math. Soc. , fjournal=

    work page

  12. [12]

    , journal=

    Goldman, William M. , journal=. Invariant functions on

    work page

  13. [13]

    , title =

    Turaev, Vladimir G. , title =. Ann. Sci. Éc. Norm. Supér. , fjournal =. 1991 , publisher =. doi:10.24033/asens.1639 , mrnumber =

    work page doi:10.24033/asens.1639 1991

  14. [14]

    String topology coproduct and

    Jana Hartenstein and Maximilian Stegemeyer , year=. String topology coproduct and. 2510.05997 , archivePrefix=

    work page arXiv

  15. [15]

    preprint , year=

    Spectral sequences , author=. preprint , year=

    work page

  16. [16]

    Drinfeld, Vladimir Guerchonovitch , journal=. Quasi-. 1989 , volume=

    work page 1989

  17. [17]

    2012 , publisher=

    Differential topology , author=. 2012 , publisher=

    work page 2012

  18. [18]

    Xiaojun Chen and Farkhod Eshmatov , title =. Commun. Math. Phys , volume =

    work page

  19. [19]

    Closed String Operators in Topology Leading to L ie Bialgebras and Higher String Algebra

    Chas, Moira and Sullivan, Dennis. Closed String Operators in Topology Leading to L ie Bialgebras and Higher String Algebra. The Legacy of Niels Henrik Abel: The Abel Bicentennial, Oslo, 2002. 2004. doi:10.1007/978-3-642-18908-1_27

    work page doi:10.1007/978-3-642-18908-1_27 2002

  20. [20]

    Open and closed string field theory interpreted in classical algebraic topology , booktitle=

    Sullivan, Dennis , editor=. Open and closed string field theory interpreted in classical algebraic topology , booktitle=. 2004 , pages=

    work page 2004

  21. [21]

    EMS Surveys in Mathematical Sciences , volume=

    String topology in three flavors , author=. EMS Surveys in Mathematical Sciences , volume=

    work page