Back to search
2407.14359

Priestley duality and representations of recurrent dynamics

William Kalies, Robert Vandervorst

correcthigh confidence
Category
Not specified
Journal tier
Strong Field
Processed
Sep 28, 2025, 12:56 AM

Audit review

The paper proves that for a continuous, proper dynamical system on a compact space, the recurrent components RC(φ) are Priestley-homeomorphic and order-isomorphic to the prime spectrum ΣAtt(φ) via explicit mutually inverse maps Φ and Ψ (Lemma 6.2; Theorem 6.4), and shows the quotient topology matches the Priestley topology (Theorem 6.8). It further identifies RC(φ) as a profinite inverse limit of finite Morse representations (ΣAtt(φ) ≅ lim← ΣA and RC(φ) ≅ lim← MA; Eq. (5.3), Theorem 6.9). The model’s solution defines the same Φ, Ψ, proves they are inverse order-preserving maps, matches the basic opens j(A) \ j(A′) under Φ, and derives the profinite inverse limit through finite sublattices and restriction of prime ideals. Apart from minor differences in presentation (the model appeals to standard Conley facts and uses a direct clopen-preimage argument; the paper routes continuity through Morse sets), the arguments coincide in substance and hypotheses.

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} strong field

\textbf{Justification:}

The manuscript rigorously establishes an explicit Priestley isomorphism between recurrent components and the attractor spectrum and shows a profinite inverse-limit structure. The results are correct and well-placed within existing duality theory. Minor clarifications would make the exposition even more accessible to readers from dynamics and order theory.