Sunday, 20 May 2012

ag.algebraic geometry - What do Weierstrass points look like?

I think another interpretation is in terms of Euclidean geometry instead of hyperbolic geometry. If omega is a holomorphic 1-form on a Riemann surface Sigma, then |omega| defines a Euclidean metric on Sigma with singularities at the zeroes of omega. Think of the 1-form as locally defining a map to mathbbC, and pull back the Euclidean metric. The metric near the zero is a cone of angle 2pik, where k is the order of the zero, since this is modeled locally on the map ztozk. The number of zeroes, counted with multiplicity, must be 2g2. A point PinSigma is a Weierstrass point if and only if there is a holomorphic 1-form with a zero at P of order at least g. Equivalently, there is a flat cone metric (conformally equivalent to the underlying Riemann surface and with all cone angles of the form 2pik) with a cone angle of 2pig at P and trivial holonomy. I found this in some course notes of McMullen, but they seem to be no longer available online.



Addendum: I've added a link to McMullen's course notes on Riemann surfaces. Theorem 10.19 and the preceding discussion connect the Weierstrass points with holomorphic 1-forms.
See Section 3 of another of McMullen's papers for a discussion of holomorphic 1-forms and branched Euclidean metrics,



Correction: I forgot that a holomorphic 1-form is not quite equivalent to a flat
2pik-cone metric. The problem is that if one develops the surface into the plane around a closed loop, there might be a rotational part - that is why I added that there needs to be trivial holonomy. So a flat 2pik cone metric corresponds to a holomorphic 1-form twisted by a U(1) character. It also corresponds to a special sort of holomorphic quadratic differential. It's still possible that high order zeroes of such twisted 1-forms correspond to Weierstrass points, but it's not equivalent to McMullen's characterization. As pointed out below by Dmitri, Troyanov has shown that there is a Euclidean structure on a surface with a cone point at any chosen point.



Addendum: Schmutz-Schaller stated this problem, which maybe is akin to what you are searching for (and as far as I know has not been answered). He gave a characterization of hyperelliptic Riemann surfaces in terms of closed geodesics.



Problem. Find a geometric characterization (based on closed geodesics) of Weierstrass
points.



On a closed hyperbolic surface, there are points which have an open neighborhood which misses every simple closed geodesic. So there is certain "focussing" of simple closed geodesics.

No comments:

Post a Comment