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
- arXiv Links
- Abstract ↗PDF ↗
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.