2107.12427
Characterizations of P-like continua that do not have the fixed point property
Iztok Banič, Judy Kennedy, Piotr Minc
correctmedium confidence
- Category
- Not specified
- Journal tier
- Strong Field
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper’s Theorem 3.2 proves the equivalence (T1) ⇔ (T2) ⇔ (T3) via carefully constructed taut P-covers and a “strong” fixed-point-free pattern, including (D2′), with the key buffer property (Pn): B(f(Cl(V)), mesh(U_{n+1})) ⊆ φ_n(V) and the Lebesgue-number control ensuring strong refinements; this yields (D1),(D2),(D2′),(D3) and finishes both directions (T1 ⇒ T2,T3 and T2,T3 ⇒ T1) correctly . The candidate solution omits necessary mesh/Lebesgue-number bounds to guarantee strong refinement (chooses mesh(U_{n+1}) < min{δ_n/2, ρ/2^{n+1}} but not < λ_n), proposes an invalid shortcut to obtain (D2′) by setting φ_{n+1}(U)=φ_n(V(U)) without a monotonicity guarantee, and uses incorrect set-distance/“composition preserves intersections” arguments in the constructions for (T2) ⇒ (T1) and (T3) ⇒ (T1). These gaps conflict with the paper’s rigorous proofs of (D2′), continuity, and fixed-point-freeness of the induced maps .
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions
\textbf{Journal Tier:} strong field
\textbf{Justification:}
The main equivalence is established with solid use of taut \$\mathcal P\$-covers, Lebesgue numbers, and a buffered-image construction that yields all pattern conditions and continuity of the induced maps. The presentation is clear and logically organized. Minor clarifications would further aid readers following the (D2') step.