pith. sign in

arxiv: 2604.14155 · v1 · submitted 2026-03-21 · 🧮 math.AT

Operational Calculus on Curved Differentials: Optimal N-Complex Bounds and Persistent Homology

Mauricio Angel This is my paper

Pith reviewed 2026-05-15 07:10 UTC · model grok-4.3

classification 🧮 math.AT
keywords curved differential algebrasN-complex structurespersistent homologycurvature nilpotencycanonical normal formbarcode stabilitychain complexesfiltration
0
0 comments X

The pith

Nilpotency of curvature to the nth power guarantees a strict (4n-2)-complex structure in curved differential algebras.

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

The paper develops an operational calculus for curved differentials by establishing a canonical normal form for their iterates inside curved differential algebras. This normal form shows that curvature nilpotency of order n does not force the differential itself to be nilpotent of order 2n, yet it does force a strict (4n-2)-complex structure. The same normal form supplies sharp criteria that turn curvature constraints into N-complex structures without heavy combinatorics. On the applied side, curvature is treated as a filtration controller on square-zero chain complexes, which places the setup inside the standard persistence stability framework and produces Lipschitz bounds on barcodes under degreewise curvature changes. The mechanism is shown on a four-vertex flag complex.

Core claim

We establish a canonical normal form for the iterates of a curved differential in curved differential algebras (CDA). This operator calculus clarifies the underlying algebraic structure of CDAs and bypasses the need for complex combinatorics. Using this framework, we provide sharp criteria for curvature constraints to induce N-complex structures. We demonstrate that, while the nilpotency of the curvature element to the n-th power is insufficient to bound the nilpotency of d to 2n, it fundamentally guarantees a strict (4n-2)-complex structure. On the applied side, we model curvature as a filtration controller on a genuine square zero chain complex. This places us under the standard persistent

What carries the argument

Canonical normal form for iterates of the curved differential, which directly converts curvature nilpotency into an N-complex bound.

If this is right

  • Curvature nilpotency of order n induces a strict (4n-2)-complex structure rather than a 2n bound on the differential.
  • Sharp criteria convert given curvature constraints into N-complex structures.
  • Curvature functions as a filtration controller on square-zero chain complexes.
  • Lipschitz control holds for barcodes with respect to degreewise curvature variation.
  • The mechanism is illustrated by a reproducible four-vertex flag complex example.

Where Pith is reading between the lines

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

  • The Lipschitz barcode bound extends the usual persistence stability theorem to the curved setting, so small curvature perturbations produce only small changes in topological summaries.
  • The normal form may supply an algorithmic route to compute the exact nilpotency index of d once the curvature index is known.
  • The same filtration-control interpretation could be tested on chain complexes arising from other filtered data sets beyond flag complexes.

Load-bearing premise

A canonical normal form for the iterates of the curved differential exists and translates curvature nilpotency directly into the stated complex bound without additional hidden relations.

What would settle it

An explicit curved differential algebra in which curvature is nilpotent of index n yet the induced structure fails to be a strict (4n-2)-complex, or in which the claimed normal form cannot be written.

read the original abstract

We establish a canonical normal form for the iterates of a curved differential in curved differential algebras (CDA). This operator calculus clarifies the underlying algebraic structure of CDAs and bypasses the need for complex combinatorics. Using this framework, we provide sharp criteria for curvature constraints to induce N-complex structures. We demonstrate that, while the nilpotency of the curvature element to the n-th power is insufficient to bound the nilpotency of d to 2n, it fundamentally guarantees a strict (4n-2)-complex structure. On the applied side, we model curvature as a filtration controller on a genuine square zero chain complex. This places us under the standard persistence stability framework and yields a Lipschitz control of barcodes with respect to degreewise curvature variation. A reproducible toy example on a four vertex flag complex illustrates the mechanism

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 establishes a canonical normal form for iterates of a curved differential in curved differential algebras (CDAs). Using this operator calculus, it derives sharp criteria showing that n-nilpotency of the curvature element guarantees a strict (4n-2)-complex structure (while being insufficient to bound the nilpotency of d to 2n). The framework is applied to model curvature as a filtration controller on square-zero chain complexes, placing the construction under the standard persistence stability theorem and yielding Lipschitz control of barcodes with respect to degreewise curvature variation; a reproducible toy example on a four-vertex flag complex is provided.

Significance. If the normal-form derivation and the (4n-2) bound are verified, the work supplies a new algebraic simplification for curved differentials that avoids combinatorial overhead and directly links curvature nilpotency to N-complex structures. The persistence application is a concrete strength, as it inherits standard stability results once the complex structure is established, and the explicit toy example supports reproducibility.

major comments (2)
  1. [Normal-form section (presumably §3 or §4)] The central claim rests on the existence and explicit form of the canonical normal form for iterates of the curved differential; the manuscript must state the normal-form expression (or recursive definition) for d^k in terms of the curvature element so that the direct translation from n-nilpotency to the strict (4n-2) bound can be checked without hidden relations.
  2. [Theorem on N-complex bounds] The statement that n-nilpotency is insufficient to bound d to 2n but guarantees (4n-2) requires both an explicit counter-example showing failure of the 2n bound and the step-by-step algebraic verification of the (4n-2) bound; these must appear in the theorem that converts curvature nilpotency into the complex-structure claim.
minor comments (2)
  1. [Toy-example section] The four-vertex flag-complex example should tabulate the explicit barcodes or persistence diagrams before and after curvature perturbation to make the Lipschitz-control claim fully verifiable from the text.
  2. [Throughout] Notation for N-complexes and curved differentials should be introduced once and used consistently; avoid re-defining symbols in later sections.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on the normal-form derivation and the N-complex bounds. We address each major point below and will incorporate the requested clarifications into the revised manuscript.

read point-by-point responses

  1. Referee: [Normal-form section (presumably §3 or §4)] The central claim rests on the existence and explicit form of the canonical normal form for iterates of the curved differential; the manuscript must state the normal-form expression (or recursive definition) for d^k in terms of the curvature element so that the direct translation from n-nilpotency to the strict (4n-2) bound can be checked without hidden relations.

    Authors: We agree that an explicit recursive definition is necessary for independent verification. In the revised manuscript we will insert, in the normal-form section, the precise recursive relation expressing d^k in terms of the curvature element ω (derived from the defining relation d² = ω). This will consist of a finite sum whose terms are products of powers of ω with lower-order differential operators; the recursion terminates after at most 2n steps once ω^n = 0, directly yielding the (4n-2) bound without additional hidden relations. revision: yes

  2. Referee: [Theorem on N-complex bounds] The statement that n-nilpotency is insufficient to bound d to 2n but guarantees (4n-2) requires both an explicit counter-example showing failure of the 2n bound and the step-by-step algebraic verification of the (4n-2) bound; these must appear in the theorem that converts curvature nilpotency into the complex-structure claim.

    Authors: We accept the request for an explicit counter-example and expanded verification. The revised theorem will contain (i) a concrete low-dimensional CDA in which ω^n = 0 yet d^{2n} ≠ 0, demonstrating that the 2n bound fails in general, and (ii) a fully expanded, step-by-step algebraic computation that applies the normal-form recursion to show that d^{4n-2} = 0 whenever ω^n = 0. Both items will be placed inside the statement and proof of the theorem itself. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper introduces a canonical normal form for iterates of the curved differential as a new operator calculus construction in CDAs. This normal form is then used to translate curvature nilpotency into the (4n-2)-complex bound without reducing to a fitted parameter, self-citation chain, or renaming of a known result. No load-bearing step equates the claimed bound to its own inputs by construction, and the persistence-stability application relies on standard Lipschitz control once the algebraic structure is granted. The derivation chain remains independent of the target claims.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract relies on the standard definition of curved differential algebras and on the persistence stability theorem; no free parameters, ad-hoc axioms, or new invented entities are introduced in the visible text.

axioms (2)
  • standard math Curved differential algebras are defined by a differential d satisfying d² = multiplication by a curvature element ω.
    Invoked in the opening sentence of the abstract as the ambient category.
  • domain assumption The persistence stability theorem applies once curvature is re-interpreted as a filtration controller on a square-zero chain complex.
    Used to obtain the Lipschitz barcode control.

pith-pipeline@v0.9.0 · 5432 in / 1384 out tokens · 42402 ms · 2026-05-15T07:10:33.172898+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

14 extracted references · 14 canonical work pages · 1 internal anchor

  1. [1]

    Keller, On differential graded categories, European Mathematical Society Publishing House, 2006, pp

    B. Keller, On differential graded categories, European Mathematical Society Publishing House, 2006, pp. 151–190. URL:http://dx.doi.org/10.4171/ 022-2/8. doi:10.4171/022-2/8

    work page doi:10.4171/022-2/8 2006

  2. [2]

    Masset, R

    P. Nicolás, The bar derived category of a curved dg algebra, Journal of Pure and Applied Algebra 212 (2008) 2633–2659. URL:http://dx.doi.org/10.1016/J. JPAA.2008.04.001. doi:10.1016/j.jpaa.2008.04.001

    work page doi:10.1016/j 2008

  3. [3]

    Brzeziński, Curved differential graded algebras and corings, Bulletin of the Belgian Mathematical Society - Simon Stevin 20 (2013)

    T. Brzeziński, Curved differential graded algebras and corings, Bulletin of the Belgian Mathematical Society - Simon Stevin 20 (2013). URL:http://dx.doi. org/10.36045/BBMS/1385390772. doi:10.36045/bbms/1385390772

    work page doi:10.36045/bbms/1385390772 2013

  4. [4]

    Lazarev, T

    A. Lazarev, T. Schedler, Curved infinity-algebras and their characteristic classes, Journal of Topology 5 (2012) 503–528. URL:http://dx.doi.org/10.1112/ jtopol/jts011. doi:10.1112/jtopol/jts011

    work page doi:10.1112/jtopol/jts011 2012

  5. [5]

    Căldăraru, J

    A. Căldăraru, J. Tu, Curved a-infinity algebras and landau-ginzburg models, arXiv: K-Theory and Homology (2010). URL:https://api.semanticscholar. org/CorpusID:117040086

    work page 2010

  6. [6]

    Pauksztello, Homological epimorphisms of differential graded algebras, Com- munications in Algebra 37 (2009) 2337–2350

    D. Pauksztello, Homological epimorphisms of differential graded algebras, Com- munications in Algebra 37 (2009) 2337–2350. URL:http://dx.doi.org/10. 1080/00927870802623344. doi:10.1080/00927870802623344

    work page doi:10.1080/00927870802623344 2009

  7. [7]

    Angel, R

    M. Angel, R. Díaz, Onn-differential Graded Algebras, Journal of Pure and Applied Algebra (2007) 673–683

    work page 2007

  8. [8]

    L. Positselski, Two Kinds of Derived Categories, Koszul Duality, and Comodule–Contramodule Correspondence, volume 212 ofMemoirs of the American Mathematical Society, American Mathematical Society, Provi- dence, RI, 2011. URL:https://www.ams.org/books/memo/0996/. doi:10. 1090/S0065-9266-2010-00631-8. 12

    work page 2011

  9. [9]

    Positselski, Differential graded koszul duality: An introductory sur- vey, Bulletin of the London Mathematical Society 55 (2023) 1551–1640

    L. Positselski, Differential graded koszul duality: An introductory sur- vey, Bulletin of the London Mathematical Society 55 (2023) 1551–1640. URL:https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/ blms.12797. doi:10.1112/blms.12797, open access

    work page doi:10.1112/blms.12797 2023

  10. [10]

    Mayer, A new homology theory i & ii, Annals of Mathematics 43 (1942) 370–380, 594–605

    W. Mayer, A new homology theory i & ii, Annals of Mathematics 43 (1942) 370–380, 594–605

    work page 1942

  11. [11]

    M. M. Kapranov, On the q-analog of homological algebra, 1996. URL:https: //arxiv.org/abs/q-alg/9611005.arXiv:q-alg/9611005

    work page internal anchor Pith review Pith/arXiv arXiv 1996

  12. [12]

    Dubois-Violette, Lectures on Graded Differential Algebras and Noncommu- tative Geometry, Springer Netherlands, Dordrecht, 2001, pp

    M. Dubois-Violette, Lectures on Graded Differential Algebras and Noncommu- tative Geometry, Springer Netherlands, Dordrecht, 2001, pp. 245–306

    work page 2001

  13. [13]

    Cohen-Steiner, H

    D. Cohen-Steiner, H. Edelsbrunner, J. Harer, Stability of persistence diagrams, Discrete & Computational Geometry 37 (2007) 103–120. URL:https://doi. org/10.1007/s00454-006-1276-5. doi:10.1007/s00454-006-1276-5

    work page doi:10.1007/s00454-006-1276-5 2007

  14. [14]

    Chazal, V

    F. Chazal, V. de Silva, M. Glisse, S. Oudot, The Structure and Stabil- ity of Persistence Modules, SpringerBriefs in Mathematics, Springer, 2016. URL:https://link.springer.com/book/10.1007/978-3-319-42545-0. doi:10.1007/978-3-319-42545-0. 13

    work page doi:10.1007/978-3-319-42545-0 2016