An Effective Criterion for Covering Maps Between Real Varieties
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.21708
curl -X POST /api/v1/records/arxiv/2602.21708/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.21708/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'