{"id":"arxiv/2609.09207","url":"https://arxiv.org/abs/2609.09207","tags":["math.GT","math.AG"],"score":0,"title":"The real quotient of the Cartwright-Steger surface","domain":"math.GT","source":"arxiv","authors":["András I. Stipsicz","Zoltán Szabó"],"reviews":0,"subject":"math.GT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-05","reactions":{}}