The real quotient of the Cartwright-Steger surface
Borisov and Yeung showed that the Cartwright-Steger surface $X$ is defined over ${\mathbb {Q}}$, hence complex conjugation gives an antiholomorphic involution on $X$. We show that the orbit space $Y$ is a closed oriented smooth four-manifold homeomorphic to ${\mathbb {CP}}^2\# (S^1 \times S^3)$, presenting $X$ as a double branched cover $X\to Y$, with branch locus diffeomorphic to the connected sum of three copies of the real projective plane.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.09207
curl -X POST /api/v1/records/arxiv/2609.09207/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.09207/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'