Riemann Existence Theorem for Real Curve - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T21:14:16Z http://mathoverflow.net/feeds/question/48164 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/48164/riemann-existence-theorem-for-real-curve Riemann Existence Theorem for Real Curve Yashica 2010-12-03T12:34:14Z 2010-12-03T21:26:17Z <p>By real curve, we mean a Riemann surface $X$ together with an anti-holomorphic involution $\sigma : X\rightarrow X$. Let $S$ be a finite subset of $X$. For each point $x\in S$, we associate a positive integer $m_x\geq 2$. Then by Riemann existence theorem, there exists a universal covering $\pi : Y\rightarrow X$ such that $S$ is the branch locus of $\pi$ and $m_x$ is ramification index of $\pi$ over $x\in S$.</p> <p>Question:- Is it true that the involution $\sigma$ can be lift to $Y$ making it real curve?</p> http://mathoverflow.net/questions/48164/riemann-existence-theorem-for-real-curve/48170#48170 Answer by Francesco Polizzi for Riemann Existence Theorem for Real Curve Francesco Polizzi 2010-12-03T13:12:41Z 2010-12-03T21:26:17Z <p>In general, the property of being real is not preserved by finite coverings, not even by Galois ones.</p> <p>For instance, take $X= \mathbb{P}^1$, which is a real curve with the anti-holomorphic involution $\sigma(z) = \bar{z}$. </p> <p>Now every elliptic curve $Y$ is a double cover of $\mathbb{P}^1$ branched in four points, but not all elliptic curves have a real structure. </p> <p>More precisely, $\sigma$ can be lifted to $Y$ if and only if the double cover $Y \to \mathbb{P}^1$ admits an affine equation of the form</p> <p>$w^2=(z-a)(z-\bar{a})(z-b)(z-\bar{b}) \quad a,b \in \mathbb{C}$.</p> <p>In this case there are exactly two liftings, namely</p> <p>$(z,w) \to (\bar{z}, \bar{w}) \quad$ and $\quad (z,w) \to (\bar{z}, -\bar{w})$.</p>