Analogues of the Weierstrass p function for higher genus compact Riemann surfaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T23:41:06Z http://mathoverflow.net/feeds/question/2913 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/2913/analogues-of-the-weierstrass-p-function-for-higher-genus-compact-riemann-surfaces Analogues of the Weierstrass p function for higher genus compact Riemann surfaces solbap 2009-10-27T22:18:09Z 2013-05-20T05:54:45Z <p>There was a previous post on the correspondence between Riemann surfaces and algebraic geometry. I want to ask a related but more detailed question.</p> <p>BACKGROUND:<br /> Engelbrekt gave an overview of how you start with a compact Riemann surfaces and map them into projective space <a href="http://mathoverflow.net/questions/2704/links-between-riemann-surfaces-and-algebraic-geometry/2849#2849" rel="nofollow">http://mathoverflow.net/questions/2704/links-between-riemann-surfaces-and-algebraic-geometry/2849#2849</a></p> <p>In the case of a genus 1 surface X there's a very explicit construction. Namely X can be realized as &#8450;/L for a lattice L &#8773; &#8484;x&#8484;. From here the Weierstrass p function and its derivative can be constructed</p> <p><a href="http://en.wikipedia.org/wiki/Weierstrass%27s_elliptic_functions" rel="nofollow">http://en.wikipedia.org/wiki/Weierstrass%27s_elliptic_functions</a></p> <p>and these give you a map &#8450;/L --> &#8473;^2 via z |--> [p(z), p'(z), 1] which realizes X as a degree three curve in &#8473;^2</p> <p>QUESTION:<br /> Say now X is a compact Riemann surface of genus g > 1. As has been pointed out below I should restrict to say g = 1/2(d-1)(d-2) where d>3, because otherwise there is no hope to realize X as a nonsingular curve in &#8473;^2. </p> <p>Is there </p> <p>1) a complex manifold Y that is a covering space of X such that X &#8773; Y/G where G is the covering group of Y over X </p> <p>2) holomorphic functions f&#8321;, f&#8322;, f&#8323; from Y/G to &#8450;&#8746;&#8734; </p> <p>such that z |--> [f&#8321;,(z), f&#8322;(z), f&#8323;(z)] realizes X as a projective variety of dimension 1 in &#8473;^2?</p> <p>I'm told a good choice for Y would be the hyperbolic plane because then the 4g-gon representation of a genus g surface tiles the plane.</p> http://mathoverflow.net/questions/2913/analogues-of-the-weierstrass-p-function-for-higher-genus-compact-riemann-surfaces/2918#2918 Answer by Greg Stevenson for Analogues of the Weierstrass p function for higher genus compact Riemann surfaces Greg Stevenson 2009-10-27T22:30:13Z 2009-10-27T22:30:13Z <p>In general the answer to 2) will be no since not every Riemann surface of genus >1 embeds into P^2 - the best one can do in general is find a curve birational to it with nodal singularities obtained by projecting from an embedding in P^3.</p> http://mathoverflow.net/questions/2913/analogues-of-the-weierstrass-p-function-for-higher-genus-compact-riemann-surfaces/2920#2920 Answer by Hunter Brooks for Analogues of the Weierstrass p function for higher genus compact Riemann surfaces Hunter Brooks 2009-10-27T22:35:53Z 2009-10-27T22:35:53Z <p>The genus g of a curve in P^2 is</p> <p>g = 1/2(d-1)(d-2) </p> <p>where d is the degree of the homogeneous polynomial that cuts it out. So you can't have a Riemann surface of genus, say, 4, sitting inside P^2.</p> <p>(This is in Hartshorne Chapter I.7, although you have to be willing to believe that complex Riemann surfaces "are" non-singular projective curves over C and "arithmetic genus" is "number of holes.")</p> <p>If you move to P^3, such gadgets do exist (you have holomorphic maps Universal Cover ---> Riemann Surface ---> P^3). But they're not going to be meromorphic functions anymore, since P^2 is special in that "meromorphic function" = "map to P^2."</p> http://mathoverflow.net/questions/2913/analogues-of-the-weierstrass-p-function-for-higher-genus-compact-riemann-surfaces/2923#2923 Answer by David Speyer for Analogues of the Weierstrass p function for higher genus compact Riemann surfaces David Speyer 2009-10-27T22:48:10Z 2009-10-27T23:18:26Z <p>I think Hunter and Greg's answers make it hard to see the forest for the trees. Let X be a compact Riem. surface of genus >= g. Let Y be the universal cover of X equipped with the complex structure pulled back from X. As a complex manifold, Y is isomorphic to the upper half plane, and the deck transformations form a subgroup Gamma of PSL_2(R). There will be characters chi of Gamma for which there are nonzero functions f on Y such that f(gz) = chi(g) f(z). For chi ample enough (not defined here), we will be able to choose functions (f_1, f_2, f_3) such that z --> (f_1(z) : f_2(z) : f_3(z)) gives an immersion X --> P^2. All of this works in any genus.</p> <p>The technical issue is that this map is an immersion, not an injection, meaning that the image can pass through itself. One can either decide to live with this, or work with maps to P^3 instead. </p> <p>Most books that I have seen don't lift all the way to the universal cover of X. Instead, they take the covering of X which corresponds to the commutator subgroup of pi_1(X). This can be motivated in a particular nice way in terms of the Jacobian. This is a complex manifold with the topological structure of a 2g dimensional torus. There is a map X --> J, so that the map pi_1(X) --> pi_1(J) is precisely the map from pi_1(X) to its abelianization. People then work with the universal cover of J, and the preimage of X inside it. This has three advantages: the universal cover of J is C^g, not the upper half plane; the group of Deck transformations is Z^{2g}, not the fundamental group of a surface, and the action on C^g is by traslations, not Mobius transformations. The functions which transform by characters, in this setting, are called Theta functions*, and they are given by explicit Fourier series.</p> <p>*This is a slight lie. Theta functions come from a certain central extension of the group of Deck transformations. It is certain ratios of Theta functions that will transform by characters as sketched above. The P function itself, for example, is a ratio of four Theta functions. In the higher genus case, in my limited reading, I haven't seen names for these ratios, only for the Theta functions.</p> http://mathoverflow.net/questions/2913/analogues-of-the-weierstrass-p-function-for-higher-genus-compact-riemann-surfaces/2986#2986 Answer by engelbrekt for Analogues of the Weierstrass p function for higher genus compact Riemann surfaces engelbrekt 2009-10-28T02:33:10Z 2009-10-28T02:47:05Z <p>Perhaps my post led to a misunderstanding. I did not specify the dimension of the projective space; for a surface of high genus the embedding is initially into a projective space of high dimension. You will need enough meromorphic functions to realize it as an embedded nonsingular subvariety. This you can get by taking various rational functions of two such meromorphic functions analogous to pe and pe'. Afterwards getting it into a projective space of low dimension is, as others have pointed out, an issue of algebraic geometry. Also, the meromorphic functions I talk about are meromorphic functions on the Riemann surface; i. e. holomorphic mappings from the surface into the Riemann sphere a.k.a. the extended complex plane a.k.a. one-dimensional complex projective space.</p> <p>But Shafarevich explains this much better than I.</p> <p>The question of explicit embedding obviously depends on how the Riemann surface is actually given to you concretely. If it is given by a Fuchsian group acting on the unit disk, you can embed it using Poincare series. These are analogues of the series used to define the Weierstrass pe-function. </p> http://mathoverflow.net/questions/2913/analogues-of-the-weierstrass-p-function-for-higher-genus-compact-riemann-surfaces/131192#131192 Answer by Curtis McMullen for Analogues of the Weierstrass p function for higher genus compact Riemann surfaces Curtis McMullen 2013-05-20T05:54:45Z 2013-05-20T05:54:45Z <p>For $X = \Delta/\Gamma$ a compact Riemann surface of genus $g>1$ a good analogue of the Weierstrass $p$-function is the Poincaré series $f_a(z) = \sum_{\gamma \in \Gamma} \gamma^*(q_a)$, where $q_a = dz^2/(z-a)$ is a quadratic differential with a simple pole at $a \in \Delta$. This series gives a meromorphic quadratic differential on $X$ with a simple pole at any desired point and no other singularities. If $b$ is close enough to $a$ then $f_b/f_a$ gives a meromorphic function on $X$ with a simple zero at $a$, providing local coordinates. By compactness one can then choose finitely many $a_1,\ldots,a_n$ such that the corresponding $f_1,\ldots,f_n$ give an embedding of $X$ into $P^{n-1}$. </p>