Back to search
2103.04269

CONNECTION MATRICES IN COMBINATORIAL TOPOLOGICAL DYNAMICS

Marian Mrozek, Thomas Wanner

correctmedium confidence
Category
Not specified
Journal tier
Specialist/Solid
Processed
Sep 28, 2025, 12:56 AM

Audit review

The paper proves that for a gradient combinatorial vector field V on a regular Lefschetz complex X, the Morse decomposition by critical cells has exactly one connection matrix, and it coincides with the (X̄, X̄)-matrix of ∂κ restricted to Fix Φ (up to graded similarity) . The core steps—constructing Γ on matched pairs, defining Φ := id + ∂Γ + Γ∂, showing stabilization Φ∞ and that Fix Φ is spanned by x̄ := Φ∞x for critical x, establishing filtered chain equivalences between (V, C(X), ∂κ) and (X̄, C(X̄), ∂κ̄), and invoking uniqueness for natural filtrations—are explicitly in the paper . The model’s solution mirrors these arguments closely and reaches the same conclusions. Minor issues: the model asserts “E kills every regular vector,” which is not established (Φ∞ projects onto Fix Φ; images of noncritical cells need not be zero), and it states exact equality rather than “up to graded similarity.” These do not affect the main conclusions, especially once the canonical x̄-basis is fixed.

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} specialist/solid

\textbf{Justification:}

The main theorem is proved correctly using standard algebraic Morse theory tools adapted to poset-filtered chain complexes. The paper provides a coherent framework from general poset filtrations to Lefschetz complexes and Forman gradients, culminating in a clean uniqueness statement for connection matrices. Minor clarifications on graded similarity and on the behavior of Φ∞ on noncritical basis elements would further improve readability.