pith. sign in

arxiv: 2606.07260 · v1 · pith:PO6G7R7Enew · submitted 2026-06-05 · 🧮 math.AT · math.GT

Transport functions for principal bundles and Morse homology with differential graded coefficients

Maximilian Stegemeyer This is my paper

Pith reviewed 2026-06-27 20:16 UTC · model grok-4.3

classification 🧮 math.AT math.GT
keywords principal bundlestransport functionsMorse homologydifferential graded coefficientsassociated bundlesparallel transportchain complexes
0
0 comments X

The pith

Transport functions from broken gradient flow lines encode the transition functions of principal bundles and allow a differential graded Morse homology to recover the homology of associated bundles.

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

The paper develops transport functions as maps from the space of broken gradient flow lines of a Morse function to a topological group G. These maps encode the transition functions of a principal G-bundle, and an extension of Voigt's construction produces such functions from which the original bundle can be recovered. Using a differential graded module over the singular chains on G, the construction defines a chain complex in the style of Barraud-Damian-Humilière-Oancea Morse homology with differential graded coefficients. In many cases the homology of this complex equals the homology of the associated bundle obtained from the principal bundle. For smooth bundles the transport functions arise from parallel transport along a connection, and the resulting complex is isomorphic to the corresponding complex defined directly in the Barraud-Damian-Humilière-Oancea style.

Core claim

Transport functions are maps from the spaces of broken gradient flow lines to a topological group G that encode the transition functions of a principal G-bundle; an extended Voigt construction yields such functions, the bundle is recoverable from them, and the associated differential graded Morse chain complex with coefficients in a DG module over chains on G has homology equal to that of the associated bundle in many cases.

What carries the argument

The transport function: a map from the space of broken gradient flow lines to the topological group G that records transition data of the principal bundle.

If this is right

  • The principal bundle can be reconstructed from the transport function alone.
  • The homology of the DG Morse complex equals the homology of the associated bundle in many cases.
  • For smooth bundles the transport functions obtained from parallel transport yield a complex isomorphic to the Barraud-Damian-Humilière-Oancea complex.
  • The constructions admit certain functoriality properties with respect to bundle maps and group homomorphisms.

Where Pith is reading between the lines

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

  • The approach supplies a purely Morse-theoretic route to computing the homology of bundles without constructing the total space explicitly.
  • Similar transport data might be definable for other geometric structures whose transition functions take values in a topological group.
  • The isomorphism in the smooth case suggests that the Morse-theoretic and connection-based definitions of the DG complex coincide on the nose when both are available.

Load-bearing premise

That the extended Voigt construction produces transport functions compatible with the Morse data, group action, and differential graded module so that the resulting chain complex is well-defined and its homology equals the homology of the associated bundle.

What would settle it

A concrete principal bundle, Morse function, and differential graded module for which the homology of the constructed DG Morse complex differs from the homology of the associated bundle.

read the original abstract

We study transport functions as a Morse-theoretical way of describing principal bundles. Transport functions are maps from the spaces of broken gradient flow lines to a topological group and they encode the transition functions of the principal bundle. We describe and extend a construction by Voigt that yields such transport functions and show that one can recover the principal bundle from the transport function. Using transport functions with values in a topological group $G$ and a differential graded module over the chains of $G$ we define a chain complex in the style of Barraud-Damian-Humili\`ere-Oancea's Morse homology with differential graded coefficients. We prove that in many cases the homology of this complex is the homology of an associated bundle. In the case of smooth bundles transport functions arise also from parallel transport with respect to a connection and the corresponding DG Morse complex turns out to be isomorphic to a complex defined in the style of Barraud-Damian-Humili\`ere-Oancea. We eventually consider certain aspects of the functoriality of our constructions.

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 paper introduces transport functions, which are maps from spaces of broken gradient flow lines to a topological group G encoding the transition functions of principal G-bundles. It extends Voigt's construction to produce such functions from which the bundle can be recovered, defines a chain complex using these functions together with a differential graded module over the chains of G (in the style of Barraud-Damian-Humilière-Oancea), and claims that in many cases the homology of this complex equals the homology of an associated bundle. For smooth bundles, transport functions arising from parallel transport yield an isomorphism to another such complex. Aspects of functoriality are also discussed.

Significance. If the claims hold under clearly stated conditions, the work supplies a Morse-theoretic description of principal bundles via transport functions and links it to Morse homology with differential graded coefficients, extending cited prior results of Voigt and Barraud-Damian-Humilière-Oancea. The explicit recovery of the bundle from the transport function and the smooth-case isomorphism are concrete strengths that could aid computations involving bundle homology.

major comments (2)
  1. [Abstract and §1] Abstract and §1 (Introduction): The central claim that 'in many cases the homology of this complex is the homology of an associated bundle' is not accompanied by a precise theorem statement specifying the bundles, Morse functions, broken flow lines, G-action, and DG-module compatibility conditions under which the differential squares to zero and the homology isomorphism holds. This vagueness is load-bearing for the main result, as the unstated conditions determine whether the DG Morse complex is well-defined.
  2. [Definition of the DG Morse complex (likely §4)] Definition of the DG Morse complex (likely §4): The construction of the complex via chains on G using transport-function values requires explicit verification that the differential is independent of choices and squares to zero; without a listed set of compatibility conditions between the gradient flows, the group action, and the module structure, the homology claim cannot be evaluated even in the 'many cases' regime.
minor comments (2)
  1. [Notation] Notation for transport functions should be introduced with an explicit formula (e.g., how a broken line maps to an element of G) before the recovery theorem is stated.
  2. [Smooth-bundle case] The smooth-bundle case (§ on parallel transport) would benefit from a side-by-side comparison table of the two complexes whose isomorphism is claimed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where greater precision is required. We address the two major comments below and will revise the manuscript to incorporate explicit statements and verifications.

read point-by-point responses

  1. Referee: [Abstract and §1] Abstract and §1 (Introduction): The central claim that 'in many cases the homology of this complex is the homology of an associated bundle' is not accompanied by a precise theorem statement specifying the bundles, Morse functions, broken flow lines, G-action, and DG-module compatibility conditions under which the differential squares to zero and the homology isomorphism holds. This vagueness is load-bearing for the main result, as the unstated conditions determine whether the DG Morse complex is well-defined.

    Authors: We agree that the main result requires a precise theorem statement. In the revised version we will insert a numbered theorem immediately after the statement of the main construction in §1. The theorem will list the hypotheses on the principal G-bundle, the Morse function, the space of broken gradient trajectories, the G-action, and the compatibility conditions with the DG-module over C_*(G) that guarantee both that the differential squares to zero and that the homology of the resulting complex is isomorphic to the homology of the associated bundle. revision: yes

  2. Referee: [Definition of the DG Morse complex (likely §4)] Definition of the DG Morse complex (likely §4): The construction of the complex via chains on G using transport-function values requires explicit verification that the differential is independent of choices and squares to zero; without a listed set of compatibility conditions between the gradient flows, the group action, and the module structure, the homology claim cannot be evaluated even in the 'many cases' regime.

    Authors: We will add a dedicated subsection (or lemma) immediately following the definition of the DG Morse complex. This subsection will (i) state the precise compatibility conditions between the broken gradient flows, the transport-function values in G, the G-action on the module, and the differential graded structure, and (ii) verify that, under these conditions, the differential is independent of auxiliary choices and satisfies d² = 0. The 'many cases' regime will then be defined exactly as the class of data satisfying these conditions. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new objects and homology proof are independent of inputs.

full rationale

The paper introduces transport functions via an extension of Voigt's construction, defines a new DG Morse chain complex using chains on G, and states a proof that its homology equals the homology of the associated bundle in many cases (with an isomorphism claim for smooth bundles to a complex styled after Barraud-Damian-Humilière-Oancea). No quoted equation, definition, or step reduces the claimed homology result to a fitted parameter, self-referential definition, or tautology by construction. All cited prior work (Voigt; Barraud-Damian-Humilière-Oancea) is external and does not overlap with the present author; the 'many cases' clause is a stated limitation rather than a circular reduction. The derivation chain is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Based solely on the abstract the ledger records the new concept of transport functions and the background assumptions of Morse theory and homological algebra; no free parameters or invented physical entities are visible.

axioms (2)
  • domain assumption Standard Morse theory assumptions on compact manifolds, gradient flows, and broken trajectories hold.
    Invoked implicitly when defining transport functions on spaces of broken gradient flow lines.
  • standard math Differential graded modules over the chains of a topological group G form a valid coefficient category for the Morse complex.
    Used to define the chain complex in the style of Barraud-Damian-Humilière-Oancea.
invented entities (1)
  • Transport functions no independent evidence
    purpose: Maps from spaces of broken gradient flow lines to a topological group that encode the transition functions of a principal bundle.
    New object introduced to replace classical transition functions; no independent evidence outside the paper is provided in the abstract.

pith-pipeline@v0.9.1-grok · 5701 in / 1555 out tokens · 31428 ms · 2026-06-27T20:16:50.083331+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

30 extracted references · 9 canonical work pages · 2 internal anchors

  1. [1]

    Mohammed Abouzaid and Andrew J Blumberg, Arnold conjecture and M orava K -theory , arXiv preprint arXiv:2103.01507 (2021)

    work page arXiv 2021

  2. [2]

    , Foundation of F loer homotopy theory I : Flow categories , arXiv preprint arXiv:2404.03193 (2024)

    work page arXiv 2024

  3. [3]

    2, Springer, 2014

    Michele Audin, Mihai Damian, and Reinie Ern \'e , Morse theory and F loer homology , vol. 2, Springer, 2014

    2014

  4. [4]

    Johan Asplund, Yash Deshmukh, and Alex Pieloch, Spectral equivalence of nearby L agrangians , arXiv preprint arXiv:2411.08841 (2024)

    work page arXiv 2024

  5. [5]

    Jean-Fran c ois Barraud and Octav Cornea, Lagrangian intersections and the S erre spectral sequence , Annals of Mathematics (2007), 657--722

    2007

  6. [6]

    Floer Homology with DG Coefficients. Applications to cotangent bundles

    Jean-Fran c ois Barraud, Mihai Damian, Vincent Humiliere, and Alexandru Oancea, Floer homology with D G coefficients. A pplications to cotangent bundles , arXiv preprint arXiv:2404.07953 (2024)

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  7. [7]

    Jean-Fran c ois Barraud, Mihai Damian, Vincent Humili \`e re, and Alexandru Oancea, Morse homology with differential graded coefficients, Springer, 2025

    2025

  8. [8]

    46, Academic press, 1972

    Glen E Bredon, Introduction to compact transformation groups, vol. 46, Academic press, 1972

    1972

  9. [9]

    139, Springer, 2013

    , Topology and geometry, Graduate Texts in Mathematics, vol. 139, Springer, 2013

    2013

  10. [10]

    Kenneth S Brown, Cohomology of groups, Springer, New York (1982)

    1982

  11. [11]

    Ralph L Cohen, Kathryn Hess, and Alexander A Voronov, String topology and cyclic homology, Springer Science & Business Media, 2006

    2006

  12. [12]

    Ralph L Cohen, John DS Jones, and Graeme B Segal, Morse theory and classifying spaces, P reprint (1995)

    1995

  13. [13]

    Maxine E Calle and Fangji Liu, On the classifying space of a M orse flow category , arXiv preprint arXiv:2603.23695 (2026)

    work page arXiv 2026

  14. [14]

    Jonathan Clivio, The G oresky- H ingston coproduct in M orse homology with D G coefficients , arXiv preprint arXiv:2510.23813 (2025)

    work page arXiv 2025

  15. [15]

    David Chataur and Alexandru Oancea, Basics on free loop spaces, Free loop spaces in geometry and topology, European Mathematical Society-EMS-Publishing House GmbH, 2015, pp. 21--65

    2015

  16. [16]

    Eldon Dyer and Daniel S Kahn, Some spectral sequences associated with fibrations, Transactions of the American Mathematical Society 145 (1969), 397--437

    1969

  17. [17]

    Colin Fourel, Morse flow categories as exit path categories, arXiv preprint arXiv:2605.27112 (2026)

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  18. [18]

    Dale Husemöller, Fibre bundles, Springer, New York, 1966

    1966

  19. [19]

    V ol I , Interscience Publishers, a division of John Wiley & Sons, New York-London, 1963

    Shoshichi Kobayashi and Katsumi Nomizu, Foundations of differential geometry. V ol I , Interscience Publishers, a division of John Wiley & Sons, New York-London, 1963

    1963

  20. [20]

    Fran c ois Latour, Existence de l-formes ferm \'e es non singulieres dans une classe de cohomologie de de R ham , Publications Math \'e matiques de l'IH \'E S 80 (1994), 135--194

    1994

  21. [21]

    4, 983--1042

    Robert Lipshitz and Sucharit Sarkar, A K hovanov stable homotopy type , Journal of the American Mathematical Society 27 (2014), no. 4, 983--1042

    2014

  22. [22]

    4, 605--626

    Christoph M \"u ller and Christoph Wockel, Equivalences of smooth and continuous principal bundles with infinite-dimensional structure group., Advances in Geometry 9 (2009), no. 4, 605--626

    2009

  23. [23]

    Liviu Nicolaescu, An invitation to M orse theory , Springer, 2007

    2007

  24. [24]

    04, 469--526

    Lizhen Qin, On moduli spaces and C W structures arising from M orse theory on H ilbert manifolds , Journal of Topology and Analysis 2 (2010), no. 04, 469--526

    2010

  25. [25]

    03, 585--604

    , On the associativity of gluing, Journal of Topology and Analysis 10 (2018), no. 03, 585--604

    2018

  26. [26]

    Robin Riegel, A chain-level model for C has- S ullivan products in M orse homology with differential graded coefficients , arXiv preprint arXiv:2412.18264 (2024)

    work page arXiv 2024

  27. [27]

    , The path-product in M orse homology with differential graded coefficients , arXiv preprint arXiv:2508.09583 (2025)

    work page arXiv 2025

  28. [28]

    14, Princeton university press, 1999

    Norman Earl Steenrod, The topology of fibre bundles, vol. 14, Princeton university press, 1999

    1999

  29. [29]

    Roland Voigt, Transport functions and M orse K -theory , Leipzig University, 2014, PhD Thesis

    2014

  30. [30]

    Katrin Wehrheim, Smooth structures on M orse trajectory spaces, featuring finite ends and associative gluing , Proceedings of the Freedman Fest 18 (2012), 369--450

    2012