pith. machine review for the scientific record. sign in

arxiv: 2605.01509 · v1 · submitted 2026-05-02 · 🧮 math.GN

Recognition: 1 theorem link

· Lean Theorem

Perfect maps between submetrizable spaces

Vlad Smolin

Pith reviewed 2026-05-10 16:12 UTC · model grok-4.3

classification 🧮 math.GN
keywords perfect mapsubmetrizable spaceparacompact spacecoarser topologymetrization
0
0 comments X

The pith

Coarser metrics preserve perfect maps between paracompact submetrizable spaces

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines whether paracompact submetrizable spaces X and Y with a perfect map f from X to Y can be given metrics generating coarser topologies such that f is still perfect between those coarser topologies. A positive answer means the continuity, closedness, and fiber compactness of f survive the coarsening to metrizable topologies. This matters because submetrizable spaces sit between topological and metric categories, and paracompactness supplies the control needed to select the right coarser metrics. The result lets properties of perfect maps be studied metrically without leaving the original spaces.

Core claim

If X and Y are paracompact submetrizable spaces and f:X→Y is a perfect map, then X and Y can be submetrized by metrics ρ and d respectively such that f remains perfect with respect to the topologies induced by ρ and d.

What carries the argument

Coarser metrizable topologies on X and Y chosen so that f stays continuous and closed while its fibers remain compact in the weaker topologies.

If this is right

  • Perfect maps can be analyzed with metric techniques while the original topology is recovered by strengthening the coarser metric topology.
  • Submetrizability is compatible with perfect maps in both directions under paracompactness.
  • The construction applies to quotients and images that arise from perfect maps in this class of spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same coarsening technique might extend to other classes such as Lindelöf or countably paracompact spaces.
  • Concrete examples like perfect maps on manifolds or function spaces could be used to exhibit the metrics explicitly.
  • Failure without paracompactness would separate the result from general topological settings.

Load-bearing premise

Paracompactness lets one select coarser metrics whose open sets are pulled back and pushed forward by f in a way that respects openness and closedness in the coarser sense.

What would settle it

An explicit pair of paracompact submetrizable spaces X and Y with a perfect map f such that every pair of coarser metrics fails to make f continuous or closed in at least one of the weaker topologies.

read the original abstract

We investigate a question posed by Huaipeng Chen: if $X$ and $Y$ are paracompact submetrizable spaces and $f:X\to Y$ is a perfect map, can $X$ and $Y$ be submetrized by metrics $\rho$ and $d$ respectively such that $f$ remains perfect with respect to the induced topologies?

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper addresses Chen's question by proving an affirmative result: if X and Y are paracompact submetrizable spaces and f:X→Y is a perfect map, then there exist metrics ρ on X and d on Y inducing the original topologies such that f remains perfect with respect to the topologies generated by ρ and d. The argument relies on paracompactness to produce σ-locally finite refinements of the submetrizing bases, ensuring compatibility while preserving continuity, closedness of f, and compactness of fibers (via heredity of compactness under coarser topologies).

Significance. If the central construction holds, the result affirmatively settles Chen's question in the paracompact case, extending the theory of perfect maps to submetrizable (but not necessarily metrizable) spaces. The use of paracompactness for σ-locally finite refinements and the explicit verification that the induced topologies preserve the perfect-map axioms constitute a concrete advance; the paper ships a self-contained proof without external heavy machinery beyond standard paracompactness tools.

minor comments (3)
  1. §2, Definition 2.3: the notation for the σ-locally finite refinement is introduced without an explicit index set; adding a displayed equation for the collection {U_n} would clarify the subsequent metric construction in §3.
  2. §4, Theorem 4.1: the proof that fiber compactness is preserved cites 'hereditary under coarser topologies' but does not reference the precise lemma or proposition used; a parenthetical citation to a standard text (e.g., Engelking) would help readers.
  3. The abstract states the result for paracompact submetrizable spaces, yet the introduction briefly mentions non-paracompact counterexamples without a reference or sketch; moving this to a short remark after the main theorem would improve flow.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our paper and the recommendation for minor revision. The summary accurately captures the main result addressing Chen's question for paracompact submetrizable spaces.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The manuscript affirmatively resolves Chen's open question by constructing submetrizing metrics on paracompact submetrizable spaces that preserve the perfect map property. The argument proceeds via paracompactness to produce σ-locally finite refinements compatible with the original topologies, then verifies that fiber compactness, closedness, and continuity are inherited under the coarser metrics; these steps invoke only standard facts about hereditary compactness and open/closed sets in induced topologies. No equation or claim reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the derivation is self-contained against external topological benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone.

pith-pipeline@v0.9.0 · 5334 in / 1019 out tokens · 71256 ms · 2026-05-10T16:12:35.088177+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

5 extracted references · 1 canonical work pages

  1. [1]

    Engelking, R. (1989). General topology. Sigma series in pure mathematics, 6

    1989

  2. [2]

    Hart, K., Nagata, J., Vaughan, J.Encyclopedia of General Topology.(Else- vier, 2003)

    2003

  3. [3]

    Lin, S., Yun, Z.,Generalized Metric Spaces and Mappings, Science Press, Atlantis Press, 2017

    2017

  4. [4]

    Oka, S. (1983). Dimension of Stratifiable Spaces. Transac- tions of the American Mathematical Society, 275(1), 231–243. https://doi.org/10.2307/1999015

    work page doi:10.2307/1999015 1983

  5. [5]

    Chen, H. (2011). Perfect images of submetric spaces. In Topology Proceed- ings (Vol. 37, pp. 145-153). 6

    2011