arxiv: 2604.10361 · v1 · submitted 2026-04-11 · 🧮 math.AT · math.DG

Recognition: unknown

Deformations, Derived Categories, and Multiparameter Persistence: A Theoretical Framework

Mauricio Angel

Authors on Pith no claims yet

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

classification 🧮 math.AT math.DG

keywords multiparameter persistencedeformation theoryderived categoriesinterleaving distancepersistence modulesmoduli spacesExt groupsobstruction theory

0 comments

The pith

A conjecture equates the interleaving distance on multiparameter persistence modules to metrics defined via derived convolution.

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

The paper develops a framework that applies deformation theory and derived categories to multiparameter persistence modules. It translates perturbations of filtrations into deformations of modules and interprets stability in terms of smoothness of associated moduli spaces. Concrete calculations of extension groups over small posets illustrate cases of rigidity and families of deformations, while obstruction classes in higher Ext groups appear in larger posets. A central conjecture asserts that the standard interleaving distance becomes bilipschitz equivalent to a metric coming from the derived category of persistence modules. This moves the subject from classifying single modules toward analyzing their geometric families.

Core claim

The paper's central claim is a unified conjecture that the interleaving distance on multiparameter persistence modules is bilipschitz equivalent to derived convolution metrics at the level of the derived category, supported by explicit computations of Ext groups showing both rigid and deformable modules over small posets together with the inevitability of obstruction classes in larger grids.

What carries the argument

The derived category of persistence modules, which organizes chain complexes up to quasi-isomorphism so that deformations and obstructions can be read from extension groups Ext^i.

If this is right

Perturbations of a persistence module correspond to elements of its first extension group, producing families of nearby modules.
Stability of a module is controlled by the smoothness of its moduli space in the deformation-theoretic sense.
Obstruction classes in the second extension group prevent deformations from extending in sufficiently large posets such as 3 by 3 grids.
Invariants and stability results for multiparameter persistence can be extracted from the geometry of these moduli spaces rather than from individual modules alone.

Where Pith is reading between the lines

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

The same homological machinery might be used to define new computational invariants by calculating dimensions of moduli spaces for concrete data sets.
Testing the conjecture on modules over grid posets of increasing size would give a practical route to checking the claimed equivalence.
The perspective could connect multiparameter persistence to existing results on deformation spaces in algebraic geometry of quiver representations.

Load-bearing premise

The geometric and homological structures of deformation theory accurately describe the stability and deformation of multiparameter persistence modules beyond the small-poset examples where explicit calculations are performed.

What would settle it

An explicit pair of persistence modules over a 3 by 3 grid poset for which the interleaving distance and the corresponding derived convolution metric fail to satisfy a bilipschitz inequality would falsify the conjecture.

read the original abstract

Multiparameter persistent homology has emerged as a powerful generalization of topological data analysis, capable of encoding multivariate filtrations. However, the algebraic complexity of multiparameter persistence modules, marked by wild representation type, poses fundamental obstacles to classification, stability, and interpretability. In this paper, we propose a unifying theoretical framework that brings together deformation theory and derived categories to study multiparameter persistence from a geometric perspective. A central contribution is a comprehensive conceptual dictionary (Table 1) bridging topological data analysis and deformation theory, which interprets perturbations as deformations and stability as smoothness of moduli spaces. We present explicit calculations of extension groups \(Ext^1\) for concrete multiparameter modules over small posets, revealing diverse behaviors ranging from unexpected rigidity to large families of deformations. We further investigate obstruction classes in \(Ext^2\); while these vanish in our specific examples over the square poset, we demonstrate their inevitability in larger grids (e.g., \(3 \times 3\)) via global dimension arguments, highlighting a qualitative transition in the geometry of moduli spaces. Finally, we formulate a unified conjecture relating the interleaving distance to derived convolution metrics, establishing a bilipschitz equivalence at the level of the derived category of persistence modules. Together, these results shift the perspective on multiparameter persistence from static classification to the geometry of families, opening new avenues for invariants, stability theorems, and moduli-based analysis.

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

The paper delivers concrete Ext calculations for small multiparameter modules and a dictionary to deformation theory, but its central bilipschitz conjecture on distances is only formulated, not derived.

read the letter

The useful part is the explicit Ext^1 and Ext^2 computations over the square and 3x3 grid posets. These show that some modules are rigid while others have positive-dimensional deformation spaces, and that obstructions appear once the global dimension grows. That is new data, and the conceptual table mapping persistence perturbations to deformations is a clean way to organize the ideas. The calculations are the part that could actually be checked and used by others working on algebraic invariants for multiparameter modules. The conjecture that interleaving distance is bilipschitz equivalent to a derived convolution metric at the level of the derived category is stated but not proved. No definition of the convolution metric appears in the abstract, no proof sketch is given, and the argument is extrapolated from the small-poset cases even though the paper itself notes that larger grids introduce inevitable obstructions. Without a general argument or at least a verification on one more family of posets, the claim remains speculative. The paper is aimed at people already comfortable with both derived categories and multiparameter persistence who want to see homological algebra applied to stability questions. It is not yet ready for a broad audience. I would send it to peer review because the calculations are concrete and the framing is coherent, but the referee should be asked to check whether the conjecture can be made precise and whether the small-case evidence actually supports the general statement.

Referee Report

3 major / 2 minor

Summary. The manuscript proposes a unifying theoretical framework integrating deformation theory and derived categories to study multiparameter persistence modules. It presents a conceptual dictionary (Table 1) mapping perturbations to deformations and stability to moduli smoothness, reports explicit Ext¹ calculations over small posets (square and 3×3 grids) exhibiting diverse deformation behaviors from rigidity to large families, shows Ext² obstructions vanish in small cases but become inevitable in larger grids via global dimension arguments, and formulates a conjecture asserting bilipschitz equivalence between the interleaving distance and a derived convolution metric at the level of the derived category of persistence modules.

Significance. If the conjecture can be established, the work would shift multiparameter persistence from static classification problems to a geometric study of deformations and moduli spaces, potentially yielding new homological invariants and stability results that address the challenges of wild representation type. The concrete Ext calculations for small posets already illustrate how deformation-theoretic tools can reveal unexpected rigidity or flexibility in specific modules.

major comments (3)

[Table 1] Table 1: The conceptual dictionary equates perturbations with deformations and stability with smoothness of moduli spaces, but provides no quantitative relation or functorial correspondence that would imply the claimed bilipschitz equivalence between interleaving distance and derived convolution metrics; the dictionary therefore does not load-bear the central conjecture.
[Explicit calculations of extension groups] Explicit Ext¹ calculations (square poset and 3×3 grid sections): The claims of diverse deformation behaviors (unexpected rigidity versus large families) rest on concrete computations, yet the underlying persistence modules, the poset algebra, and the coefficient ring are not specified, preventing independent verification or extension of the results.
[Obstruction classes in Ext²] Obstruction classes in Ext² (3×3 grid paragraph): The global-dimension argument is invoked to show that obstructions become inevitable on larger grids, but neither the precise global dimension of the relevant poset algebra nor the precise obstruction class in Ext² is computed or referenced, leaving the claimed qualitative transition in moduli-space geometry unsubstantiated.

minor comments (2)

The term 'derived convolution metric' is used in the conjecture statement without an explicit definition or reference to its construction in the derived category; this definition should appear before the conjecture is formulated.
Notation for Ext groups and poset algebras is introduced without a preliminary section recalling the relevant homological algebra for persistence modules, which would improve accessibility.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The points raised identify key areas requiring greater precision and detail. We respond to each major comment below, indicating planned revisions to improve clarity, verifiability, and substantiation without altering the core contributions.

read point-by-point responses

Referee: [Table 1] Table 1: The conceptual dictionary equates perturbations with deformations and stability with smoothness of moduli spaces, but provides no quantitative relation or functorial correspondence that would imply the claimed bilipschitz equivalence between interleaving distance and derived convolution metrics; the dictionary therefore does not load-bear the central conjecture.

Authors: We agree that Table 1 functions as a heuristic conceptual dictionary to translate between topological data analysis and deformation theory, without supplying the quantitative or functorial machinery needed to establish the bilipschitz equivalence. The conjecture itself is formulated independently in the manuscript at the level of the derived category of persistence modules. In the revision we will insert an explicit statement clarifying the dictionary's role as motivational rather than evidentiary, and we will emphasize that the conjecture rests on the derived-category framework and remains open for future proof. revision: partial
Referee: [Explicit calculations of extension groups] Explicit Ext¹ calculations (square poset and 3×3 grid sections): The claims of diverse deformation behaviors (unexpected rigidity versus large families) rest on concrete computations, yet the underlying persistence modules, the poset algebra, and the coefficient ring are not specified, preventing independent verification or extension of the results.

Authors: The referee is correct that the specific persistence modules, the incidence algebra of the poset, and the coefficient ring were not stated explicitly. This omission prevents verification. We will revise the relevant sections to define the modules as k-linear representations of the poset (with k = ℚ), give the explicit vector-space dimensions and linear maps for both the square and 3×3-grid examples, and include the bases or matrices used to compute the Ext¹ groups, thereby enabling independent checking and extension. revision: yes
Referee: [Obstruction classes in Ext²] Obstruction classes in Ext² (3×3 grid paragraph): The global-dimension argument is invoked to show that obstructions become inevitable on larger grids, but neither the precise global dimension of the relevant poset algebra nor the precise obstruction class in Ext² is computed or referenced, leaving the claimed qualitative transition in moduli-space geometry unsubstantiated.

Authors: We acknowledge that the global-dimension argument was presented qualitatively without an explicit value for the global dimension of the incidence algebra or a concrete obstruction class. In the revision we will compute and state the global dimension of the 3×3-grid incidence algebra (which is 2) and exhibit at least one explicit non-vanishing class in Ext² for a suitable module, or cite the precise homological result guaranteeing such classes when global dimension exceeds 1. This will make the claimed transition in moduli-space geometry fully substantiated. revision: yes

Circularity Check

0 steps flagged

No circularity; standard homological computations and stated conjecture remain independent

full rationale

The paper computes Ext^1 and Ext^2 groups explicitly for modules over small posets (square, 3x3 grids) using standard homological algebra, presents a conceptual dictionary as an interpretive bridge, and formulates a conjecture relating interleaving distance to derived convolution metrics at the derived category level. No load-bearing step reduces by construction to a self-defined quantity, a fitted parameter renamed as prediction, or a self-citation chain whose verification depends on the present work. The global-dimension argument for obstructions on larger grids invokes ordinary ring-theoretic facts external to the paper's own results. The derivation chain is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The framework rests on standard homological algebra for defining derived categories and Ext groups of persistence modules over posets, plus deformation theory from algebraic geometry. No free parameters or new entities are introduced; all elements are mappings of existing concepts.

axioms (1)

standard math The category of multiparameter persistence modules over a poset admits a derived category with well-defined Ext groups.
Invoked for all calculations of Ext^1 and Ext^2 and for the conjecture on derived metrics.

pith-pipeline@v0.9.0 · 5548 in / 1379 out tokens · 51074 ms · 2026-05-10T15:28:20.083177+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

23 extracted references · 4 canonical work pages

[1]

Asano and Y

T. Asano and Y. Ike. Completeness of derived interleaving distances and sheaf quantization of non-smooth objects.Mathematische Annalen, 390:2991–3037, 2024

2024
[2]

Bakke Bjerkevik

H. Bakke Bjerkevik. Stabilizing decomposition of multiparameter persistence modules. Foundations of Computational Mathematics, 2025. arXiv:2305.15550

work page arXiv 2025
[3]

& Scoccola, L

Bauer, U. & Scoccola, L. Multi-parameter Persistence Modules are Generi- cally Indecomposable.International Mathematics Research Notices.2025(2025,2), http://dx.doi.org/10.1093/imrn/rnaf034

work page doi:10.1093/imrn/rnaf034 2025
[4]

Berkouk and G

N. Berkouk and G. Ginot. A derived isometry theorem for sheaves.Advances in Mathe- matics, 394:108033, 2022

2022
[5]

M. B. Botnan, M. Lesnick. An introduction to multiparameter persistence.EMS Series of Congress Reports, EMS Press, 77–150, 2023

2023
[6]

Crawley-Boevey

W. Crawley-Boevey. Poisson structures on moduli spaces of representations.Journal Of Algebra.325, 205-215 (2011,1), http://dx.doi.org/10.1016/j.jalgebra.2010.09.033

work page doi:10.1016/j.jalgebra.2010.09.033 2011
[7]

Crawley-Boevey

W. Crawley-Boevey. Decomposition of pointwise finite-dimensional persistence modules. Journal Of Algebra And Its Applications.14, 1550066 (2015)

2015
[8]

J. Curry. Sheaves, Cosheaves and Applications. (University of Pennsylvania, 2014)

2014
[9]

V. Hinich. DG coalgebras as formal stacks.Journal Of Pure And Applied Algebra.162, 209-250 (2001), https://www.sciencedirect.com/science/article/pii/S0022404900001213

2001
[10]

V. Kac. Infinite root systems, representations of graphs and invariant theory.Inventiones Mathematicae.56, 57-103 (1980)

1980
[11]

Kashiwara, P

M. Kashiwara, P. Schapira. Persistent homology and microlocal sheaf theory.Journal of Applied and Computational Topology, 2(1-2):83–113, 2018

2018
[12]

A. King. Moduli of representations of finite dimensional algebras.The Quarterly Journal Of Mathematics.45, 515-530 (1994) 19

1994
[13]

Kontsevich, Y

M. Kontsevich, Y. Soibelman. Deformation Theory. Vol. I. (2011),https://people. maths.ox.ac.uk/beem/papers/kontsevich_soibelman_deformation_theory_1.pdf, Preliminary draft, available on authors’ webpages

2011
[14]

M. Lesnick. The theory of the interleaving distance on multidimensional persistence mod- ules.Foundations of Computational Mathematics, 15(3):613–650, 2015

2015
[15]

Loiseaux, L

D. Loiseaux, L. Scoccola, M. Carrière, M. B. Botnan, and S. Oudot. Stable vectorization of multiparameter persistent homology using signed barcodes as measures.Advances in Neural Information Processing Systems (NeurIPS), 2023. arXiv:2306.03801

work page arXiv 2023
[16]

Loiseaux and H

D. Loiseaux and H. Schreiber.multipers: Multiparameter persistence for machine learn- ing.Journal of Open Source Software, 9(103), 2024

2024
[17]

J. Lurie. Derived Algebraic Geometry X: Formal Moduli Problems, preprint available at http://www.math.harvard.edu/ lurie/papers/DAG-X.pdf, 2011

2011
[18]

M. Markl. Cohomology operations and the Deligne conjecture.Czechoslovak Mathematical Journal.57, 473-503 (2007), http://eudml.org/doc/31143

2007
[19]

Mitchell

B. Mitchell. Rings with several objects.Advances In Mathematics.8, 1-161 (1972)

1972
[20]

G. Rota. On the Foundations of Combinatorial Theory I. Theory of Möbius Functions. Zeitschrift Für Wahrscheinlichkeitstheorie Und Verwandte Gebiete.2pp. 340-368 (1964)

1964
[21]

Schlessinger

M. Schlessinger. Functors of Artin Rings.Trans. of the Amer. Math. Soc.130 (1968), 208–222

1968
[22]

& Vaccarino, F

Scolamiero, M., Chachólski, W., Lundman, M. & Vaccarino, F. Multidimensional Persis- tence and Noise.Foundations Of Computational Mathematics.17, 1367-1406 (2017)

2017
[23]

R. Stanley. Enumerative Combinatorics, Volume 1. (Cambridge University Press, 2011) 20

2011