An Effective Criterion for Covering Maps Between Real Varieties
Algebraic Geometry
2026-03-10 v2
Abstract
In this paper, we establish a new criterion for covering maps between real algebraic varieties. Specifically, we prove that a quasi-finite, flat morphism with locally constant geometric fibers between varieties over a real closed field induces a covering map on the real points in the Euclidean topology. This result provides an effective method for verifying covering properties, as we demonstrate that the required conditions can be checked algorithmically using the tools developed in this work.
Keywords
Cite
@article{arxiv.2602.21708,
title = {An Effective Criterion for Covering Maps Between Real Varieties},
author = {Rizeng Chen},
journal= {arXiv preprint arXiv:2602.21708},
year = {2026}
}
Comments
Slightly expanded. 34 pages, 10 figures. This supersedes arXiv:2502.05834 as the results are largely improved and expanded