Discrete Vector Bundles with Connection

Anil N. Hirani; Daniel Berwick-Evans; Mark D. Schubel

arxiv: 2104.10277 · v3 · submitted 2021-04-20 · 🧮 math.DG · cs.NA· math-ph· math.MP· math.NA

Discrete Vector Bundles with Connection

Daniel Berwick-Evans , Anil N. Hirani , Mark D. Schubel This is my paper

Pith reviewed 2026-05-24 14:01 UTC · model grok-4.3

classification 🧮 math.DG cs.NAmath-phmath.MPmath.NA

keywords discrete vector bundlesconnectioncovariant derivativesimplicial complexescurvaturegauge transformationstwisted cohomologydiscrete exterior calculus

0 comments

The pith

A forward-difference operator on bundle-valued cochains over simplicial complexes reproduces the curvature, gauge transformations, and all algebraic identities of smooth vector bundles with connection.

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

The paper constructs a combinatorial theory of vector bundles with connection on locally ordered simplicial complexes. The central tool is a discrete exterior covariant derivative defined as a forward-difference operator on bundle-valued cochains. This allows standard geometric objects such as curvature and connection forms to be defined with formulas identical to the smooth case, while preserving naturality under simplicial maps and the Bianchi identity. Flat discrete connections yield a cochain complex computing twisted de Rham cohomology. A coarsening operation relates this to other discrete bundle frameworks.

Core claim

The discrete exterior covariant derivative on bundle-valued cochains over locally ordered simplicial complexes defines curvature, connection 1-forms, and gauge transformations with exactly the same formulas as in the smooth setting, and these objects satisfy the expected algebraic identities including naturality with respect to simplicial maps and the Bianchi identity for curvature.

What carries the argument

The discrete exterior covariant derivative, a forward-difference operator on bundle-valued cochains.

If this is right

Curvature satisfies the Bianchi identity.
Flat connections determine a cochain complex computing twisted de Rham cohomology in a local coefficient system.
Twisted Poincare duality of densities holds as an application.
Naturality with respect to simplicial maps holds for the discrete objects.
The theory provides a direct comparison with the framework of Christiansen and Hu via coarsening.

Where Pith is reading between the lines

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

Such discrete structures could enable computational simulations of gauge theories on triangulated manifolds.
Coarsening operations might support multiscale refinement of bundle data.
The cohomology computation could be tested against known smooth cases on refined triangulations.
The algebraic identities might extend naturally to discrete characteristic classes.

Load-bearing premise

That defining the discrete covariant derivative via forward differences on a locally ordered simplicial complex is enough to recover the full geometric content of a smooth vector bundle with connection.

What would settle it

Finding a specific locally ordered simplicial complex and vector bundle where the discrete curvature fails to satisfy the Bianchi identity or where the cohomology computation differs from the expected twisted de Rham cohomology.

read the original abstract

We develop a combinatorial theory of vector bundles with connection on locally ordered simplicial complexes. This is a first step towards a discrete exterior calculus for bundle-valued forms. The basic building block is the discrete exterior covariant derivative, a forward-difference operator defined on bundle-valued cochains. Many standard objects in differential geometry (e.g., curvature, connection 1-forms, gauge transformations) can be understood via the discrete covariant derivative operator, with their defining formulas identical to the smooth setting. These discrete objects satisfy all of the expected algebraic identities, such as naturality with respect to simplicial maps, and a Bianchi identity for discrete curvature. We also show that flat discrete connections determine a cochain complex that computes twisted de Rham cohomology in a local coefficient system determined by the discrete vector bundle, with twisted Poincare duality (of densities) being one application. Finally, a coarsening operation applied to bundle-valued cochains provides a direct and concrete comparison with the recent framework for discrete bundles of Christiansen and Hu.

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.

Desk Editor's Note private letter to a colleague

This paper defines a discrete covariant derivative on bundle-valued cochains over locally ordered simplicial complexes that reproduces the usual algebraic identities by construction and links directly to prior discrete bundle work.

read the letter

The core contribution is a forward-difference operator for bundle-valued cochains that serves as the discrete exterior covariant derivative. From this single definition they recover curvature, connection forms, gauge transformations, and the Bianchi identity, all with formulas that match the smooth case exactly. Flat connections then yield a cochain complex whose cohomology is the twisted de Rham cohomology with local coefficients. A coarsening map gives an explicit comparison to the Christiansen-Hu framework. These pieces are new; nothing in the cited literature combines the local ordering, the bundle-valued forward difference, and the cohomology statement in this way. The construction is clean because the identities follow immediately from the operator and the ordering, with no fitted parameters or hidden assumptions inside the algebra. The comparison via coarsening is concrete and useful for situating the work. The main limitation is that the setup is purely combinatorial and algebraic. It does not address convergence under refinement or how well the discrete objects approximate smooth bundles with connection in the continuum limit; those questions are left open. The cohomology claim is plausible from the nilpotency of the flat operator, but its verification rests on the details of the cochain complex construction. Overall the paper is self-contained and the central claims hold on their own terms. Readers working on discrete exterior calculus, gauge theory discretizations, or computational topology with local coefficients will find the definitions and the comparison to existing work directly usable. It is worth sending to referees because the construction is explicit, the novelty is localized and verifiable, and the link to prior discrete bundle models is handled concretely rather than by loose analogy.

Referee Report

0 major / 1 minor

Summary. The manuscript develops a combinatorial theory of vector bundles with connection on locally ordered simplicial complexes. The central construction is the discrete exterior covariant derivative, a forward-difference operator on bundle-valued cochains. Standard objects such as curvature, connection 1-forms, and gauge transformations are defined via this operator using formulas identical to the smooth case. These objects satisfy algebraic identities including naturality under simplicial maps and the Bianchi identity. Flat discrete connections induce a cochain complex that computes twisted de Rham cohomology in a local coefficient system, with twisted Poincaré duality of densities as an application. A coarsening operation on bundle-valued cochains yields a direct comparison to the discrete-bundle framework of Christiansen and Hu.

Significance. If the constructions and identities hold, the work supplies a discrete setting in which many structures from differential geometry transfer directly, supporting discrete exterior calculus for bundle-valued forms and explicit computations of twisted cohomology. The parameter-free, definition-driven approach and the concrete comparison to prior discrete frameworks are strengths that enhance applicability in discrete geometry and topology.

minor comments (1)

The abstract refers to 'twisted Poincare duality (of densities)' as one application; the precise statement and proof of this duality should be cross-referenced to the relevant section or theorem for clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and thorough review of the manuscript. We are pleased that the referee recommends acceptance and appreciate the recognition of the framework's strengths in providing a parameter-free discrete setting for bundle-valued forms and its comparison to prior work.

Circularity Check

0 steps flagged

Derivation is self-contained from explicit combinatorial definitions

full rationale

The paper's central constructions consist of explicit definitions: the discrete exterior covariant derivative is introduced as a forward-difference operator on bundle-valued cochains over locally ordered simplicial complexes, with curvature, connection forms, and gauge transformations then defined by direct analogy to the smooth case. All claimed algebraic identities (naturality, Bianchi identity, nilpotency for flat connections) are immediate consequences of these operator definitions and the ordering, without any fitted parameters, self-referential loops, or load-bearing self-citations. The comparison to the Christiansen-Hu framework occurs via an independent coarsening operation applied after the definitions are in place, serving as a consistency check rather than a foundational premise. No step reduces a claimed result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The construction rests on standard combinatorial topology of simplicial complexes and the definition of a new forward-difference operator; no numerical fitting or new physical postulates are introduced.

axioms (2)

domain assumption Locally ordered simplicial complexes admit a consistent notion of forward difference on cochains.
Invoked as the base space on which the discrete covariant derivative is defined.
domain assumption Bundle-valued cochains can be equipped with a discrete connection via the same algebraic formulas used in the smooth setting.
Central modeling choice that allows identities to carry over verbatim.

invented entities (1)

Discrete exterior covariant derivative no independent evidence
purpose: Basic operator that defines the connection on bundle-valued cochains.
Newly defined combinatorial object; no independent physical evidence supplied beyond algebraic consistency.

pith-pipeline@v0.9.0 · 5714 in / 1504 out tokens · 23341 ms · 2026-05-24T14:01:03.616265+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking (D=3 forcing) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We develop a combinatorial theory of vector bundles with connection on locally ordered simplicial complexes... discrete exterior covariant derivative, a forward-difference operator... discrete curvature... Bianchi identity
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel (J-cost uniqueness) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The basic building block is the discrete exterior covariant derivative... curvature... Bianchi identity for discrete curvature

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

12 extracted references · 12 canonical work pages

[1]

write newline

" write newline "" before.all 'output.state := FUNCTION fin.entry.original add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 i...

work page
[2]

H., and Halvorsen, T

Christiansen, S. H., and Halvorsen, T. G. A simplicial gauge theory. J. Math. Phys. 53 , 3 (2012), 033501, 17

work page 2012
[3]

H., and Hu, K

Christiansen, S. H., and Hu, K. Finite element systems for vector bundles : elasticity and curvature, 2019. http://arxiv.org/abs/1906.09128 arXiv:1906.09128

work page arXiv 2019
[4]

Cohen, M. M. A course in simple-homotopy theory . Springer-Verlag, New York-Berlin, 1973. Graduate Texts in Mathematics, Vol. 10

work page 1973
[5]

Finite-difference approach to the H odge theory of harmonic forms

Dodziuk, J. Finite-difference approach to the H odge theory of harmonic forms. Amer. J. Math. 98 , 1 (1976), 79--104

work page 1976
[6]

Hirani, A. N. Discrete Exterior Calculus . PhD thesis, California Institute of Technology, 5 2003

work page 2003
[7]

Synthetic Differential Geometry

Kock, A. Synthetic Differential Geometry . Cambridge University Press, Cambridge, 1981

work page 1981
[8]

Combinatorics of curvature, and the bianchi identity

Kock, A. Combinatorics of curvature, and the bianchi identity. Theory and Applications of Categories 2 , 7 (1996), 69--89

work page 1996
[9]

Lee, J. M. Introduction to topological manifolds , second ed., vol. 202 of Graduate Texts in Mathematics . Springer, New York, 2011. http://dx.doi.org/10.1007/978-1-4419-7940-7 doi: 10.1007/978-1-4419-7940-7

work page doi:10.1007/978-1-4419-7940-7 2011
[10]

D., and Desbrun, M

Liu, B., Tong, Y., Goes, F. D., and Desbrun, M. Discrete connection and covariant derivative for vector field analysis and design. ACM Transactions on Graphics (TOG) 35 , 3 (2016), 1--17

work page 2016
[11]

Quantum fields on a lattice

Montvay, I., and Munster, G. Quantum fields on a lattice . Cambridge University Press, Cambridge, 1997

work page 1997
[12]

Wilson, K. G. Confinement of quarks. Phys. Rev. D 10\/ (10 1974), 2445--2459. http://dx.doi.org/10.1103/PhysRevD.10.2445 doi: 10.1103/PhysRevD.10.2445

work page doi:10.1103/physrevd.10.2445 1974

[1] [1]

write newline

" write newline "" before.all 'output.state := FUNCTION fin.entry.original add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 i...

work page

[2] [2]

H., and Halvorsen, T

Christiansen, S. H., and Halvorsen, T. G. A simplicial gauge theory. J. Math. Phys. 53 , 3 (2012), 033501, 17

work page 2012

[3] [3]

H., and Hu, K

Christiansen, S. H., and Hu, K. Finite element systems for vector bundles : elasticity and curvature, 2019. http://arxiv.org/abs/1906.09128 arXiv:1906.09128

work page arXiv 2019

[4] [4]

Cohen, M. M. A course in simple-homotopy theory . Springer-Verlag, New York-Berlin, 1973. Graduate Texts in Mathematics, Vol. 10

work page 1973

[5] [5]

Finite-difference approach to the H odge theory of harmonic forms

Dodziuk, J. Finite-difference approach to the H odge theory of harmonic forms. Amer. J. Math. 98 , 1 (1976), 79--104

work page 1976

[6] [6]

Hirani, A. N. Discrete Exterior Calculus . PhD thesis, California Institute of Technology, 5 2003

work page 2003

[7] [7]

Synthetic Differential Geometry

Kock, A. Synthetic Differential Geometry . Cambridge University Press, Cambridge, 1981

work page 1981

[8] [8]

Combinatorics of curvature, and the bianchi identity

Kock, A. Combinatorics of curvature, and the bianchi identity. Theory and Applications of Categories 2 , 7 (1996), 69--89

work page 1996

[9] [9]

Lee, J. M. Introduction to topological manifolds , second ed., vol. 202 of Graduate Texts in Mathematics . Springer, New York, 2011. http://dx.doi.org/10.1007/978-1-4419-7940-7 doi: 10.1007/978-1-4419-7940-7

work page doi:10.1007/978-1-4419-7940-7 2011

[10] [10]

D., and Desbrun, M

Liu, B., Tong, Y., Goes, F. D., and Desbrun, M. Discrete connection and covariant derivative for vector field analysis and design. ACM Transactions on Graphics (TOG) 35 , 3 (2016), 1--17

work page 2016

[11] [11]

Quantum fields on a lattice

Montvay, I., and Munster, G. Quantum fields on a lattice . Cambridge University Press, Cambridge, 1997

work page 1997

[12] [12]

Wilson, K. G. Confinement of quarks. Phys. Rev. D 10\/ (10 1974), 2445--2459. http://dx.doi.org/10.1103/PhysRevD.10.2445 doi: 10.1103/PhysRevD.10.2445

work page doi:10.1103/physrevd.10.2445 1974