REVIEW 2 major objections 4 minor 1 cited by
On preservation of relative resolutions for poset representations
T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read For aligned interior systems, induction preserves interval covers and interval resolutions, so interval resolution dimensions are unchanged when passing from a subposet to its ambient poset.
desk verdict Solid preservation theorem for interval resolutions over aligned subposets; the poset-dimension computations are less polished, with a broken reference in the s=2 tilde-A case. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the aligned interior system: a full subposet $Q$ whose inclusion has a right adjoint (the floor function $\lfloor \cdot \rfloor_Q$) and whose fibers $\lceil y \rceil_Q = \{a \in P \mid \lfloor a \rfloor_Q = y\}$ are filtered and satisfy $\lceil y{\downarrow} \rceil_Q = (\lceil y \rceil_Q){\downarrow}$. The contraction functor $\mathrm{Cont}_Q$ is the left Kan extension along the floor function; alignment gives $\mathrm{Cont}_Q M(y) = \mathrm{colim}(M|_{\lceil y \rceil_Q})$, which makes it exact and lets it send interval modules to interval-decomposable modules. The induction functor $\mathrm{Ind}_Q$, being pullback along the floor function, sends interval modules to interval modules. Together they restrict to an adjunction between the categories of interval-decomposable modules, and that adjunction is what transports interval covers and resolutions.
What would settle it
Compute interval resolution global dimensions directly for a finite poset $P$ with an equioriented $A_4$-type segment and compare with $P'$ obtained by deleting $\ell_4$; a single pair with different dimensions would falsify Theorem 5.2(a). Alternatively, rerun the Section 6.3 minimality classification over a field of characteristic different from $2$; a table entry whose interval resolution global dimension changes would show the low-dimensional classification is field-sensitive.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that an aligned interior system $Q \subseteq P$ produces an adjoint pair $\mathrm{Cont}_Q \dashv \mathrm{Ind}_Q$ that respects the interval-decomposable part of both representation categories: for every interval $S$ of $Q$, $\mathrm{Ind}_Q I_S$ is the interval module $I_{\lceil S \rceil_Q}$, and for every interval $T$ of $P$, $\mathrm{Cont}_Q I_T$ is the interval-decomposable module $I_{T_Q}$. Because both functors preserve interval decomposability, an interval cover or interval resolution of a module $M$ over $Q$ is carried by the exact, fully faithful induction functor to an interval cover or interval resolution of $\mathrm{Ind}_Q M$, and the interval resolution dimension is unchanged. This is Theorem 4.10, and it holds without assuming the base poset is locally finite, an upper semilattice, or finite.
Load-bearing premise
The finite-poset computations assume that representations of a finite poset are modules over its incidence algebra, that $\mathrm{int\text{-}res\text{-}gl.dim}\, P = \sup_S \mathrm{int\text{-}res\text{-}dim}\, \Gamma_S$ holds for every poset in the tables, and (in Section 6.3) that the ground field is the two-element field, so a failure of any of these would break Sections 5 and 6 even though Section 4 stands independently.
Editorial extensions
If this is right
- For any finitely presentable module $M$ over $Q$, an interval cover $V \to M$ induces an interval cover $\mathrm{Ind}_Q V \to \mathrm{Ind}_Q M$, and the same holds for full interval resolutions.
- Interval resolution dimensions are invariant under induction: $\mathrm{int\text{-}res\text{-}dim}\, M = \mathrm{int\text{-}res\text{-}dim}\, \mathrm{Ind}_Q M$ for every finitely presentable module $M$ over $Q$.
- Finite aligned subgrids of products of totally ordered sets are aligned interior systems, so the reduction to a subgrid applies to the usual finitely presentable multiparameter persistence modules.
- For finite tree-type posets, the interval resolution global dimension is $\#\mathrm{leaf}(P)-2$, so it depends only on the underlying graph of the Hasse diagram.
- For $\widetilde{A}$-type posets, the interval resolution global dimension is $1$ when there are two sinks and $2$ when there are at least three sinks; Section 6.3 gives a partial classification of minimal posets of global dimension $2$ over the two-element field.
Reading between the lines
- A practical algorithm suggested by the proof: given a finitely presentable module, choose a small aligned interior system containing the generators and relations of its presentation, compute the interval resolution of its contraction there, then induce back; the cost savings can be large when the small system is much smaller than the ambient poset.
- The adjunction mechanism is not specific to intervals: any class of modules closed under $\mathrm{Cont}_Q$ and $\mathrm{Ind}_Q$ in the same way would be carried by the same adjunction, so analogous preservation statements may hold for other relative resolutions.
- The stabilizing operation of Theorem 5.2 could plausibly be iterated to a normal form for finite posets, and the Section 6 computations suggest that interval resolution global dimension depends only on coarse graph data in many cases; this is an extension, not a claim of the paper.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies Galois connections between posets whose left adjoint is the inclusion of a full subposet, called an interior system. It introduces the associated induction and contraction functors, proves that for aligned interior systems both functors preserve interval-decomposability, and uses this to show that induction preserves interval covers and interval resolutions. The paper then applies these ideas to finite posets, proving a stabilization theorem for interval resolution global dimensions, computing formulas for tree-type and tilde-A-type posets, and offering a partial classification of posets of interval resolution global dimension 2 under an assumption that the ground field has two elements.
Significance. If the main results hold, the paper gives a clean and broadly applicable reduction principle: interval resolutions over a large poset can be computed over a smaller aligned subposet and induced back. The authors are explicit about the new notion of aligned interior systems, they prove the central preservation statements in detail, and they provide parameter-free formulas for interval resolution global dimensions of tree-type and tilde-A-type posets. The proof of Theorem 4.10 is careful and does not depend on the finite-poset machinery used later, which is a genuine strength. The finite-poset sections are more computational in character and contain at least one missing case that needs to be repaired before the paper can be accepted.
major comments (2)
- [§6.2, proof of Proposition 6.5] The proof of the case s = 2 states that the claim 'can be shown by using Proposition 5.2', but there is no Proposition 5.2 in the manuscript; Section 5 contains Theorem 5.2, Proposition 5.5, and Proposition 5.8, but not Proposition 5.2. If the intended reference is Theorem 5.2, it does not apply to this situation: an ~A-type poset with two sinks is a cycle, so a length-four segment running through its vertices has internal vertices of degree 2 but its endpoints are not leaves in the sense of Definition 5.1. Thus the stated formula for s = 2 is not established as written. Please supply a direct proof for the two-sink case or a correct reference that covers it.
- [§5.2, proof of Proposition 5.8] The proof of Proposition 5.8 is written only for the case m = 2 and dismisses m = 1 with the sentence 'the case m = 1 can be shown similarly'. Since Theorem 5.2(b) relies on the m = 1 case when reflecting a leaf, this omitted case is load-bearing. The analogous argument is plausible, but the manuscript should either spell out the m = 1 verification or state explicitly that the m = 2 proof applies verbatim with the obvious notational changes.
minor comments (4)
- [§6.3, proof of Proposition 6.11(2)] The proof refers to 'Table 6.7', but the relevant statement is Example 6.7, not a numbered table. Please correct the cross-reference.
- [§6.3, Proposition 6.11] The completeness statement in Proposition 6.11 is proved under the standing assumption from the beginning of Section 6.3 that the ground field is F_2. This assumption should be recorded in the statement of the proposition itself, since the earlier results in the paper, such as Proposition 6.5, are not restricted to F_2.
- [§4.2, Definition 4.9] The first sentence of Definition 4.9 reads 'For 0 ≠ M ∈ fprep M'; this should be 'M ∈ fprep P'.
- [§4.2, proof of Theorem 4.10(a)] In the right-minimality part of the proof, the isomorphism Hom_P(G(V), G(V)) ≅ Hom_Q(FG(V), FG(V)) is asserted without explanation. This is valid because F is an equivalence when restricted to the essential image of the fully faithful functor G, but that fact should be stated explicitly for clarity.
Circularity Check
No significant circularity: the central preservation theorems are self-contained, and the only flagged issue is a non-circular missing reference in Proposition 6.5.
full rationale
The paper's central claims, especially Theorem 4.10 and Proposition 4.4, are derived directly from adjointness, Kan extensions, filtered colimits, and universal properties, not from any fitted parameter or self-citational premise. The induction functor is described by Equation (3.3), the contraction functor by (3.4), and Proposition 4.4 computes Cont_Q(I_T) as I_{T_Q} using Lemma 2.4 and Proposition 3.5; there is no step where the conclusion is assumed in the construction. Theorem 4.10 then follows from exactness and full faithfulness of Ind_Q together with the restricted adjunction on interval modules, again with independent proof. Section 5 invokes the incidence algebra equivalence and the external formula int-res-gl.dim P = sup_S int-res-dim Γ_S from [AENY23, Prop. 3.15]; this is an imported external result, not a renaming or a fitted input. Section 6 uses standard Auslander-Reiten theory, tilting theory, and string-algebra combinatorics; self-citations such as [AET25, Theorem 4.1] and [AET25, Theorem 5.1] are used as background classification results, not as the load-bearing derivation of the new preservation theorem. The proof of Proposition 6.5 contains the sentence 'The claim for s = 2 can be shown by using Proposition 5.2,' but the manuscript contains no Proposition 5.2, and the intended Theorem 5.2 does not obviously apply to the two-sink tilde-A cycle. This is a missing or erroneous reference and a possible proof gap in a classification formula, but it is not circularity: a missing proof is not an equivalence between a prediction and its input. Because no derivation step reduces to its own assumptions by construction, the appropriate circularity score is 0.
Assumptions & free parameters
assumptions (7)
- standard math Kan extensions along order-preserving maps f: Q -> P exist for persistence modules and give adjoint triples Lan_f ⊣ f^* ⊣ Ran_f.
- standard math Every pointwise finite-dimensional persistence module over a poset has a unique direct-sum decomposition into indecomposables (Botnan-Crawley-Boevey).
- standard math Filtered colimits commute with finite limits in the category of vector spaces.
- domain assumption For a finite poset P, the category rep P is equivalent to mod k[P], modules over the incidence algebra of P.
- domain assumption APR-tilting and the Brenner-Butler theorem for finite-dimensional algebras, and the Auslander-Reiten formula, hold as in [ASS06].
- domain assumption The cited formula int-res-gl.dim P = sup_{S ∈ Int(P)} int-res-dim Γ_S (from [AENY23, Prop. 3.15]) is correct.
- domain assumption In Section 6.3, the base field k is the field with two elements.
invented entities (1)
-
Aligned interior systems
Cite this review
Pith. "Pith review of On preservation of relative resolutions for poset representations." pith.science (2026). https://pith.science/paper/LCK5LB2V
@misc{pith2026250621227,
author = {Pith},
title = {Pith review of: On preservation of relative resolutions for poset representations},
year = {2026},
howpublished = {\url{https://pith.science/paper/LCK5LB2V}},
note = {Machine review of arXiv:2506.21227}
}
read the original abstract
The concept of Galois connections (i.e., adjoint pairs between posets) is ubiquitous in mathematics. In representation theory, it is interesting because it naturally induces the adjoint quadruple between the categories of persistence modules (representations) of the posets via Kan extensions. One of central subjects in multiparameter persistent homology analysis is to understand structures of persistence modules. In this paper, we mainly study a class of Galois connections whose left adjoint is the canonical inclusion of a full subposet. We refer to such a subposet as an interior system, with its corresponding right adjoint given by the floor function. In the induced adjoint quadruple, we call the left Kan extension along its floor function the contraction functor. From its construction, it is left adjoint to the induction functor. Under this setting, we firstly prove that this adjoint pair gives an adjoint pair between finitely presentable persistence modules. Moreover, we introduce a special class of interior systems called aligned interior systems, and prove that both induction and contraction functors over them preserve interval-decomposability of modules. Then, we use them to analyze interval covers and resolutions. We also compute interval resolution global dimensions for certain classes of finite posets.
Forward citations
Cited by 1 Pith paper
-
Stabilization of the Spread-Global Dimension
For any fixed finite poset Q, the spread-global dimension of T×Q is bounded independently of the total order T, and for grids the bound is attained at k=1+4|Q|.
Reference graph
Works this paper leans on
-
[1]
Escolar, Ken Nakashima, and Michio Yoshiwaki
Hideto Asashiba, Emerson G. Escolar, Ken Nakashima, and Michio Yoshiwaki. Approximation by interval-decomposables and interval resolutions of persistence modules. J. Pure Appl. Algebra , 227(10):Paper No. 107397, 20, 2023
work page 2023
-
[2]
Toshitaka Aoki, Emerson G. Escolar, and Shunsuke Tada. Summand-injectivity of interval covers and monotonicity of interval resolution global dimensions. J. Appl. Comput. Topol. , 9(2):Paper No. 13, 2025
work page 2025
-
[3]
Interval replacements of persistence modules
Hideto Asashiba, Etienne Gauthier, and Enhao Liu. Interval replacements of persistence modules. arXiv preprint arXiv:2403.08308 , 2024
-
[4]
Bipath Persistence as Zigzag Persistence
\'A ngel Javier Alonso and Enhao Liu. Bipath persistence as zigzag persistence. arXiv preprint arXiv:2501.00322 , 2024
work page Pith review arXiv 2024
-
[5]
Relative K oszul coresolutions and relative B etti numbers
Hideto Asashiba. Relative K oszul coresolutions and relative B etti numbers. J. Pure Appl. Algebra , 229(3):Paper No. 107905, 33, 2025
work page 2025
-
[6]
Elements of the representation theory of associative algebras: V ol
Ibrahim Assem, Daniel Simson, and Andrzej Skowro\' n ski. Elements of the representation theory of associative algebras: V ol. 1: Techniques of representation theory , volume 65 of London Mathematical Society Student Texts . Cambridge University Press, Cambridge, 2006
work page 2006
-
[7]
Alexander A Beilinson, Joseph Bernstein, and Pierre Deligne. Faisceaux pervers. Ast \'e risque , 100:5--171, 1982
work page 1982
-
[8]
Benjamin Blanchette, Thomas Br\"ustle, and Eric J. Hanson. Homological approximations in persistence theory. Canad. J. Math. , 76(1):66--103, 2024
work page 2024
Show all 30 references
-
[9]
Benjamin Blanchette, Thomas Br\"ustle, and Eric J. Hanson. Exact structures for persistence modules. arXiv preprint arXiv:2308.01790 , 2025
2025 arXiv
-
[10]
Computing the interleaving distance is np-hard
H vard Bakke Bjerkevik, Magnus Bakke Botnan, and Michael Kerber. Computing the interleaving distance is np-hard. Foundations of Computational Mathematics , 20(5):1237--1271, 2020
2020
-
[11]
Decomposition of persistence modules
Magnus Bakke Botnan and William Crawley-Boevey. Decomposition of persistence modules. Proc. Amer. Math. Soc. , 148(11):4581--4596, 2020
2020
-
[12]
On the bottleneck stability of rank decompositions of multi-parameter persistence modules
Magnus Bakke Botnan, Steffen Oppermann, Steve Oudot, and Luis Scoccola. On the bottleneck stability of rank decompositions of multi-parameter persistence modules. Adv. Math. , 451:Paper No. 109780, 53, 2024
2024
-
[13]
M. C. R. Butler and Claus Michael Ringel. Auslander- R eiten sequences with few middle terms and applications to string algebras. Comm. Algebra , 15(1-2):145--179, 1987
1987
-
[14]
Koszul complexes and relative homological algebra of functors over posets
Wojciech Chach \'o lski, Andrea Guidolin, Isaac Ren, Martina Scolamiero, and Francesca Tombari. Koszul complexes and relative homological algebra of functors over posets. Foundations of Computational Mathematics , pages 1--45, 2024
2024
-
[15]
Topological Data Analysis with Applications
Gunnar Carlsson and Mikael Vejdemo-Johansson. Topological Data Analysis with Applications . Cambridge University Press, 2021
2021
-
[16]
The theory of multidimensional persistence
Gunnar Carlsson and Afra Zomorodian. The theory of multidimensional persistence. Discrete & Computational Geometry , 42(1):71--93, 2009
2009
-
[17]
Ern\'e, J
M. Ern\'e, J. Koslowski, A. Melton, and G. E. Strecker. A primer on G alois connections. In Papers on general topology and applications ( M adison, WI , 1991) , volume 704 of Ann. New York Acad. Sci. , pages 103--125. New York Acad. Sci., New York, 1993
1991
-
[18]
Topological persistence and simplification
Edelsbrunner, Letscher, and Zomorodian. Topological persistence and simplification. Discrete & computational geometry , 28:511--533, 2002
2002
-
[19]
Blocks of tame representation type and related algebras , volume 1428 of Lecture Notes in Mathematics
Karin Erdmann. Blocks of tame representation type and related algebras , volume 1428 of Lecture Notes in Mathematics . Springer Berlin, Heidelberg, 1990
1990
-
[20]
C. J. Everett. Closure operators and G alois theory in lattices. Trans. Amer. Math. Soc. , 55:514--525, 1944
1944
-
[21]
Galois connections in persistent homology
Aziz Burak Gulen and Alexander McCleary. Galois connections in persistent homology. arXiv preprint arXiv:2201.06650 , 2023
2023 arXiv
-
[22]
Escolar, Kaname Matsue, and Yasumasa Nishiura
Yasuaki Hiraoka, Takenobu Nakamura, Akihiko Hirata, Emerson G. Escolar, Kaname Matsue, and Yasumasa Nishiura. Hierarchical structures of amorphous solids characterized by persistent homology. Proceedings of the National Academy of Sciences , 113(26):7035--7040, 2016
2016
-
[23]
Generalized persistence diagrams for persistence modules over posets
Woojin Kim and Facundo M \'e moli. Generalized persistence diagrams for persistence modules over posets. Journal of Applied and Computational Topology , 5(4):533--581, 2021
2021
-
[24]
Interactive visualization of 2-d persistence modules
Michael Lesnick and Matthew Wright. Interactive visualization of 2-d persistence modules. arXiv preprint arXiv:1512.00180 , 2015
2015 arXiv
-
[25]
Categories for the Working Mathematician
Saunders Mac Lane. Categories for the Working Mathematician . London Mathematical Society Student Texts. Springer, New York, NY, 1978
1978
-
[26]
Galois connections and computer science applications
Austin Melton, David A Schmidt, and George E Strecker. Galois connections and computer science applications. In Category Theory and Computer Programming: Tutorial and Workshop, Guildford, UK September 16--20, 1985 Proceedings , pages 299--312. Springer, 1986
1985
-
[27]
Topological data analysis of zebrafish patterns
Melissa R McGuirl, Alexandria Volkening, and Bj \"o rn Sandstede. Topological data analysis of zebrafish patterns. Proceedings of the National Academy of Sciences , 117(10):5113--5124, 2020
2020
-
[28]
Category theory in context
Emily Riehl. Category theory in context . Courier Dover Publications, 2017
2017
-
[29]
Charles A. Weibel. An introduction to homological algebra , volume 38 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1994
1994
-
[30]
Computing persistent homology
Afra Zomorodian and Gunnar Carlsson. Computing persistent homology. In Proceedings of the twentieth annual symposium on Computational geometry , pages 347--356, 2004
2004
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.