{"id":"arxiv/2602.21708","url":"https://arxiv.org/abs/2602.21708","tags":["math.AG"],"score":0,"title":"An Effective Criterion for Covering Maps Between Real Varieties","domain":"math.AG","source":"arxiv","authors":["Rizeng Chen"],"reviews":0,"subject":"math.AG","summary":"We prove that a quasi-finite flat morphism with locally constant geometric-fiber cardinality between varieties over a real closed field induces a covering map on the rational points. The algebraic core of the criterion is a characteristic-zero result showing that every such morphism becomes finite étale after reduction. Since reduction does not change rational points, the induced map is a covering in the Euclidean topology. We extend the covering conclusion to Boolean combinations of closed subschemes and their complements, and construct a finite stratification separating finite covering…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-25","reactions":{}}