Hook-decomposable modules and their resolutions

Emanuela De Negri; Isabella Mastroianni; Marco Guerra; Ulderico Fugacci

arxiv: 2603.23008 · v2 · submitted 2026-03-24 · 🧮 math.AT · math.AC

Hook-decomposable modules and their resolutions

Isabella Mastroianni , Marco Guerra , Ulderico Fugacci , Emanuela De Negri This is my paper

Pith reviewed 2026-05-15 00:46 UTC · model grok-4.3

classification 🧮 math.AT math.AC

keywords biparameter persistence moduleshook-decomposable modulesγ-productsSmith-type structure theoremprojective dimensionresolutionspersistence modules

0 comments

The pith

Only hook-decomposable biparameter modules admit Smith-type structure theorems

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

This paper maps the logical relations among four classes of biparameter persistence modules. It shows that γ-products of monoparameter modules are identical to hook-decomposable modules. These coincide exactly with the modules that admit a Smith-type structure theorem. Modules of projective dimension at most one form a strictly larger class, as witnessed by explicit counterexamples. The result clarifies the structural differences between monoparameter and biparameter persistence.

Core claim

We compare several classes of biparameter persistence modules: γ-products of monoparameter modules, hook-decomposable modules, modules admitting a Smith-type structure theorem, and modules of projective dimension at most 1. We determine all logical implications among these classes, providing explicit counterexamples showing that the converses fail when appropriate. In particular, γ-products (i.e., hook-decomposable modules) form a very small subclass of biparameter modules, precisely the ones for which a structure theorem still holds, thus making explicit the richer structural complexity of the biparameter setting compared to the monoparameter one.

What carries the argument

Hook-decomposable modules, equivalently γ-products of monoparameter modules, which permit explicit resolutions and admit a Smith-type structure theorem.

If this is right

γ-products of monoparameter modules equal hook-decomposable modules.
Hook-decomposable modules are exactly those admitting a Smith-type structure theorem.
The class of biparameter modules with projective dimension at most 1 strictly contains the hook-decomposable class.
Counterexamples exist for each failed converse implication among the four classes.

Where Pith is reading between the lines

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

Explicit descriptions and resolutions in multiparameter persistence are limited to this narrow subclass.
The counterexamples highlight the need for new tools to handle general biparameter modules beyond structure theorems.
These results may inform the choice of approximations when working with real-world multiparameter data.

Load-bearing premise

The four classes are defined in a manner consistent with prior literature and the supplied counterexamples correctly witness the failure of the converse implications.

What would settle it

A biparameter persistence module that admits a Smith-type structure theorem but cannot be expressed as a γ-product of monoparameter modules would show that the classes do not coincide precisely.

read the original abstract

We compare several classes of biparameter persistence modules: $\gamma$-products of monoparameter modules, hook-decomposable modules, modules admitting a Smith-type structure theorem, and modules of projective dimension at most 1. We determine all logical implications among these classes, providing explicit counterexamples showing that the converses fail when appropriate. In particular, $\gamma$-products (i.e., hook-decomposable modules) form a very small subclass of biparameter modules, precisely the ones for which a structure theorem still holds, thus making explicit the richer structural complexity of the biparameter setting compared to the monoparameter one.

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 maps the exact inclusions among four classes of biparameter modules with counterexamples, showing hook-decomposable ones coincide with γ-products and are the only ones admitting a Smith-type theorem.

read the letter

The main point is that γ-products equal hook-decomposable modules, and these are exactly the biparameter persistence modules that still admit a Smith-type structure theorem. The authors check every implication among the four classes (γ-products, hook-decomposable, Smith-type, and projective dimension at most 1) and give explicit counterexamples where the converses fail. This makes the extra complexity of the two-parameter case concrete rather than abstract. What they do well is deliver the full diagram in one place with concrete witnesses instead of just proving isolated inclusions. For anyone who already works with multiparameter modules, seeing exactly where the classical decompositions survive is immediately usable when picking invariants or algorithms. The soft spot is the reliance on those counterexamples being correct and gap-free. The abstract presents them as explicit, so the logic should hold if the constructions in the text are clean and match the stated definitions from prior literature. No circularity or undefined terms appear in the outline. This is for readers in computational topology or topological data analysis who know the basic setup of biparameter modules and need a precise boundary on where structure theorems apply. It is not an entry point but a refinement. I would send it to peer review because the question is narrow, the method is direct, and the results are checkable once the examples are inspected.

Referee Report

0 major / 3 minor

Summary. The manuscript compares four classes of biparameter persistence modules: γ-products of monoparameter modules, hook-decomposable modules, modules admitting a Smith-type structure theorem, and modules of projective dimension at most 1. It determines all logical implications among these classes, showing in particular that γ-products coincide with hook-decomposable modules, which form a small subclass precisely those admitting a Smith-type structure theorem, and supplies explicit counterexamples establishing that the converses fail in the remaining cases.

Significance. If the results hold, the paper makes explicit the limited scope of structure theorems in the biparameter setting relative to the monoparameter case, thereby clarifying the richer algebraic complexity of multiparameter persistence modules. The explicit counterexamples are a concrete strength, as they witness the sharpness of each implication without relying on abstract existence arguments.

minor comments (3)

[§2.3] §2.3: the definition of hook-decomposable modules is given after the statement of the main theorem; moving the definition earlier would improve readability for readers unfamiliar with the terminology.
[Example 4.3] Example 4.3: the biparameter module is presented via a diagram of vector spaces; adding the explicit matrices for the structure maps would make the failure of the Smith-type theorem easier to verify directly.
[Theorem 3.5] Theorem 3.5: the proof that γ-products admit a Smith-type decomposition is complete, but the statement does not explicitly record the finite-generation hypothesis used in the argument; adding this hypothesis to the theorem statement would prevent misapplication.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, as well as the recommendation for minor revision. The report correctly identifies the key comparisons and implications among the four classes of biparameter persistence modules.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper defines four classes of biparameter persistence modules (γ-products, hook-decomposable modules, modules admitting a Smith-type structure theorem, and modules of projective dimension ≤1) in a manner consistent with prior literature, then establishes all logical implications among them via direct proofs and explicit counterexamples for the converse failures. No derivation step reduces by construction to a fitted parameter, self-citation, or renamed input; the central claim that γ-products coincide with hook-decomposable modules and are precisely those admitting a structure theorem is supported by the supplied counterexamples and definitions rather than by any self-referential equivalence. The logical skeleton is therefore self-contained and externally verifiable.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper operates entirely within standard module theory and persistence module definitions drawn from the existing literature; no free parameters, ad-hoc axioms, or new entities are introduced.

axioms (2)

standard math Standard definitions and properties of persistence modules over a field
Invoked throughout the comparison of module classes.
standard math Existence of Smith normal form for certain modules
Used to define the Smith-type structure theorem class.

pith-pipeline@v0.9.0 · 5404 in / 1227 out tokens · 35809 ms · 2026-05-15T00:46:49.202352+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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

We compare several classes of biparameter persistence modules: γ-products of monoparameter modules, hook-decomposable modules, modules admitting a Smith-type structure theorem, and modules of projective dimension at most 1.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

Theorem 3.1. (Characterization of hook-decomposability) The following are equivalent: (i) M is a γ-product; (ii) M is hook-decomposable; (iii) the structure theorem holds for M.

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.