For questions about Riemann Surfaces, that is compact analytic manifolds of (complex) dimension 1, and related topics.

learn more… | top users | synonyms (1)

1
vote
1answer
50 views

A question from Otto Forster's book

I'm tackling exercise 8.2 on page 59 which goes as follows: Let $X$ and $Y$ be compact Riemann surfaces, $a_1,\dots,a_n\in X$ and $b_1,\dots,b_m\in Y$ distinct points and ...
0
votes
0answers
24 views

Holomorphic and meromorphic functions on Riemann surfaces

On any domain $\Omega\subset \mathbb{C}$, the set of all holomorphic functions form an integral domain. Its field of quotient is the set of all meromorphic functions on $\Omega$. However this is not ...
1
vote
0answers
38 views

differential of $f:X\to\Sigma$ as an elliptic surface,

Let $X$ be an algebraic surface surface and $\sum$ an algebraic curve, and assume, $f:X\to\Sigma$ be an elliptic surface, my question is Why the differential $df$ can be viewed as an injection of ...
1
vote
0answers
31 views

Are there any linkage or transformation between some period transcendental numbers and algebraic irrational numbers?

Are there any linkage or transformation by combination of integral and algebraic function like in the definition of period number between some period transcendental numbers and algebraic irrational ...
1
vote
0answers
18 views

About the equivalence between smooth projective curves and compact Riemann surfaces

We know that there exists an equivalence of categories between compact Riemann surfaces and smooth projective curves (over $\mathbb C$). But the Riemann surfaces are connected by definition, so I ...
2
votes
1answer
31 views

Holomorphic map or Riemann suface into projective space, Miranda's book

I have the following question after reading Chapter V, prop. 4.3 of Miranda's book Algebraic Curves and Riemann Surfaces. The setting is as follows: we have a Riemann surface $X$ and a holomorphic ...
14
votes
3answers
303 views

What is the Riemann surface of $y=\sqrt{z+z^2+z^4+\cdots +z^{2^n}+\cdots}$?

The following appears as the second-to-last problem of Stewart's Complex Analysis: Describe the Riemann surface of the function $y=\sqrt{z+z^2+z^4+\cdots +z^{2^n}+\cdots}$. This problem ...
1
vote
0answers
15 views

Finding an algebraic equation given divisors

I'm trying to find an algebraic curve that represents a specific Riemann surface and my question goes like this: Given divisors $(\omega_1) = P_1 + 5 P_2 + 2 P_3,$ $(\omega_2) = 5 P_1 + P_2 + 2 P_3,$ ...
4
votes
2answers
62 views

Group of automorphisms of a compact hyperbolic Riemann surface is finite

Let $M$ be a compact hyperbolic Riemann surface. Is there a simple way to show that the automorphism group $Aut(M)$ of conformal self-mappings of $M$ is a finite group? Recall that a hyperbolic ...
1
vote
1answer
56 views

Some questions about complex curves in $\mathbb CP^2$

I would like to ask for some clarifications in the following questions about complex curves. My first question is if I correctly understand what the complex curve in $\mathbb CP^2$ is. Is it only a ...
2
votes
2answers
42 views

Is it possible to realize a general compact Riemann surface in $\mathbb CP^2$?

Let $X$ be a compact Riemann surface with smooth boundary $\partial X$. Is it always possible to realize $X$ as a complex submanifold of $\mathbb CP^2$? In other words, is it true that there exists a ...
2
votes
1answer
51 views

Prove that $H^1(\mathcal{M}^*)=0$.

Let $X$ be a compact Riemann surface. For an open set $U$, let $\mathcal{M}^*(U)$ be the multiplicative group of nonzero meromorphic functions on $U$ ("nonzero" meaning "not identically zero"). This ...
1
vote
1answer
46 views

Question on Forster's proof of the residue theorem

I have some questions about the proof of the residue theorem in Lectures on Riemann Surfaces by Otto Forster. The Residue Theorem. Suppose $X$ is a compact Riemann surface and $a_1,\cdots,a_n$ are ...
3
votes
0answers
76 views

Complex structures on Riemann surfaces

Let $M$ be a Riemann surface and $[\alpha] \in H^{0,1}(M; T^{1,0} M) \simeq H^0(M;K^2)$. Considering $\alpha$ as a map $T^{0,1} M \to T^{1,0} M$, the bundle $$ \{v + \alpha(v) \mid v \in T^{0,1} M\} ...
3
votes
1answer
84 views

When functional equations determine a unique global analytic function?

I'm learning about analytic continuations and global analytic functions which were seen to be connected components of the sheaf of analytic germs. Sometimes we get problem sets in which we are ...
2
votes
0answers
32 views

Mobius transformation of Algebraic curve

I am working on the uniformization of algebraic curve problem. Currently, my adviser gave me a question about build a Mobius transformation between algebraic curves, and then lift it to the Rimeann ...
3
votes
1answer
37 views

How does Ahlfors define derivative on a Riemann Surface?

I'm reading a passage in Ahlfors (3rd Edition page 298) and he says the following: He has previously defined $G_0(f)$ to be the connected component of any germ generated by $f$. Then he wants to ...
0
votes
1answer
24 views

Covering of Projective line

This is an exercise given during the course in Riemann Surfaces that I attended this year. Let $X$ be a compact Riemann Surface that is a degree $3$ cover of $\mathbb{P}^1(\mathbb{C})$ given by ...
1
vote
1answer
80 views

Holomorphic line bundle with degree zero

I'm studying algebraic geometry and I need some help to understand the Riemann-Roch theorem. Let us consider a holomorphic line bundle $\xi$ over a Riemann surface $X$. The unique invariant of a ...
3
votes
1answer
37 views

The number of holomorphic coverings (with given degree) of the punctured sphere is finite.

I'm looking for a proof of the following theorem: Fix a finite set $B=\{y_1,\ldots,y_k\}\subseteq \mathbb P^1(\mathbb C)$, then there is only a finite number of isomoprhism classes of ...
4
votes
0answers
56 views

Any no-zero homomorphism of holomorphic vector bundles over a compact Riemann surface factors through a maximal rank homomorphism.

I was reading the paper "Stable and Unitary vector bundles on a compact surface" by Narashiman and Seshadri. I quote from the paper- Can someone please explain how does any non-zero homomorphism ...
0
votes
0answers
53 views

How can we compute the order of 1-form on Riemann surfaces

Let X be a hyperellictic curve defined by $y^2=h(x)$. Let $\pi:X\rightarrow\mathbb{P}^1$ be the double covering map seding $(x,y)$ to $x$. Let $\omega=\pi^*(dx/h(x))$. How can we compute the orders of ...
1
vote
2answers
177 views

1-form on Riemann Surface

Good evening, I can not prove the following result: Let $\omega $ be a meromorphic 1-form on $ \mathbb {C} _ {\infty} = \mathbb {C} \cup \infty $ such that $ \omega_{|\mathbb{C}} = f (z) dz $. Show ...
1
vote
0answers
33 views

Computing geodesic distances from structural data

I am attempting to compute geodesic distances on manifolds where structural data have been sparsely sampled. First, off I am not well versed in the mathematics of differential geometry but I do have ...
1
vote
0answers
35 views

Simple Branched covering over sphere.

A simple branched covering is a branched covering with branching points of degree at most 2, in some context, it is also required to have at most one branching point in each fiber. My question is ...
0
votes
0answers
56 views

de Rham cohomology group of $\mathbb{CP}^1$

Prove the de Rham cohomology group of the projective space $H^0(\mathbb{CP}^1, \mathbb{C})$ is isomorphic to $\mathbb{C}$ and $H^1(\mathbb{CP}^1, \mathbb{C})=0$.
4
votes
0answers
73 views

universal covering of punctured plane and Poincaré metric

I want to prove the following result: Let $\Omega$ be the domain $\mathbb{C}\backslash \{a_1,a_2,a_3,a_4\}$. Its universal covering is the unit disk, and the standard Poincaré metric is pulled back to ...
0
votes
1answer
24 views

Real part of integral over holomorphic 1-form is zero implies the one-form is zero

Suppose we are working on a Riemann Surface $X$, assume of genus g $\geq$ 1. Let $\omega$ be a holomorphic 1-form on $X$, with $$ \textrm{Re} \int_\gamma \omega = 0$$ for every closed contour ...
1
vote
1answer
37 views

Base-point-free linear systems (elementary?) property

I'm having troubles solving exercise K on page 167 of the book "Algebraic curves and Riemann surfaces" of Miranda. The question is the following one : Let Q be a base-point-free linear system, let ...
2
votes
0answers
37 views

Is the image of the Riemann sphere a Riemann surface?

I am looking for conditions on $f$ such that $f:S^2 \to \mathbb C$ is such that the image, $f(S^2)$ is a Riemann surface. Must $f$ be analytic, or something stronger? Or are there no simple conditions ...
1
vote
1answer
33 views

Hyperbolic (and related) structures on open unit disk

I am facing some confusion about different structures on the open unit disk $D:=\{ z \in \mathbb{C}, |z|<1 \}$. By Riemann Mapping Theorem we know there is just one complex structure on $D$, up to ...
0
votes
0answers
29 views

Function fields for genus 2 curves

Let's say you were given a genus one algebraic curve by the equation $y^2 = (x-a)(x-b)(x-c)$ and you wanted to parametrize it. We could go ahead and convert it to Weierstrass form: $y^2 = 4t^3 - g_2t ...
4
votes
1answer
114 views

Metric Tensors and its Taylor Expansion in Normal Coordinates

With metric tensors of the unit sphere in normal coordinates, their Taylor series for $p\in S$ near the north pole $N$ can be written as follows. $$g_{rr}(p) \equiv 1; g_{r\theta}(p) = g_{\theta ...
0
votes
1answer
58 views

Divisors and holomorphic map between a compact Riemann surface and a torus

Let $X$ be a compact Riemann surface (or more generally a compact manifold?) and let $\mathbb{C}^a/\Lambda$ be a complex torus. Suppose we have a holomorphic map $$g: X\to\mathbb{C}^a/\Lambda.$$ By ...
4
votes
2answers
62 views

Orientation on Riemann surfaces

$\mathcal{X}$ is a Riemann surface and $\mathcal{E}^{(2)}(\mathcal{X})$ is the $\mathbb{C}$-Vector space of all differentiable $2$-forms on $\mathcal{X}$. I want to define the orientation of ...
1
vote
0answers
7 views

affine curve. analysis

Can anyone explain what is written in book? $\Gamma(w,E)\equiv w^{2}-E^{n}+\sum_{i>0,j\ge 0, ni+2j<2n} g_{ij}w^{i}E^{j}=0, $ where $g_{1,0}$ doesn't equal to zero. "At infinity it compactified ...
0
votes
0answers
11 views

some intuition about the degree of a map

Consider a map $$ f: \Sigma \to X/\sigma,$$ where $\Sigma=\Sigma_g/\Omega$ is a quotient of a Riemann surface by an antiholomorphic involution, $\sigma:X\to X$ is an antiholomorphic involution of some ...
2
votes
1answer
63 views

References for a standard result about coverings of Riemann surfaces

I my thesis I have to cite the following standard result: Let $Y$ be a compact Riemann surface and let $B\subseteq Y$ be a finite subset. Given a natural number $d$, there are only finitely many ...
1
vote
1answer
85 views

Why is the projection map proper?

It might be a silly question. I got stuck there. For the context, see S.K.Donaldson's Riemann Surfaces, chapter 4, section 4.2.3. Suppose $P(z,w)=a_0(z)+a_1(z)w+\dotsb+a_n(z)w^n\in\mathbb C[z,w]$ is ...
5
votes
1answer
87 views

Explicit description of flat connections under pullback on principal bundles over Riemann surfaces

I'm trying to find a proof/reference for a statement that I've seen quoted in some way or the other, but without reference. The setting: let $P\longrightarrow M$ be a flat principal $G$-bundle over ...
0
votes
0answers
9 views

Short-time representation of variations of metrics on principal bundles via exp?

Let us consider a principal $G$-bundle $P\longrightarrow M$ together with an $H$-reduction $s$, where $H$ is a maximally compact Lie subgroup. As an $H$-reduction, $s\in\Gamma(M,P/H)$, hence we can ...
3
votes
0answers
42 views

Automorphisms of rational curves

Let $X$ be a non-empty open subscheme of $\mathbb P^1_{\mathbb C}$. What is the automorphism group of $X$ in terms of PGL$_n(\mathbb C)$ and the points on the boundary?
2
votes
2answers
60 views

Riemann surface associated with complete analytic function of $(z^2-1)^{1/3}$

I'm trying to define an analytic function on '$\mathbb{C}$' of the form $f(z)=(z^2-1)^{1/3}$, i.e. I first remove two semi-infinite rays $l_1$ and $l_2$, one going from $1$ to $\infty$ along the ...
0
votes
0answers
22 views

Automorphism group of torus fixing origin

I've got a short question: Suppose that you have some lattice $\Lambda$, say $\Lambda=\mathbb{Z}+\mathbb{Z}i$, and let $T$ be the torus $\mathbb{C}/\Lambda$, coming with the quotient map ...
4
votes
1answer
52 views

“Bundle of metrics” on a principal bundle?

I've come across the term "bundle of metrics" on a principal bundle. In particular, my setting is that for $N\longrightarrow M$ a universal cover of a compact Riemann surface, $P\longrightarrow M$ a ...
0
votes
1answer
25 views

Equivalence of atlases on Riemann surface

I've got a very vague question about Riemann surfaces, more like a meta-question: One of the first things one defines is, obviously, an atlas on a Riemann surface $R$ ($R$ is a connected Hausdorff ...
3
votes
1answer
72 views

Galois extension and morphism of curves

Let $\phi: C \rightarrow \mathbb P^1$ a morphism (over a field of characteristic 0) from a rational curve $C$ to $\mathbb P^1$ of degree 3. By the Riemann-Hurwitz formula the degree of the ...
1
vote
1answer
65 views

Constructing a meromorphic function

I need help with the following problem. "Let $C : y^2 = x^3 − 5x^2 + 6x$ be a cubic curve with the standard group law. Find a meromorphic function on $C$ having the pole of order two at ...
2
votes
1answer
64 views

Universal property of the Abel map

In the book Algebraic Geometry I edited by Safarevich, the following universal property of the Jacobian variety of an algebraic curve is given page 158 (with no more details): The Abel mapping $a: ...
0
votes
0answers
36 views

Constructing maps of degree $k$

One of the common constructions one finds when first learning about the (topological) degree of a map is the construction of maps $f_k:S^n\rightarrow S^n$ of degree $k\in\mathbb{Z}$ (i.e. ...