# Tagged Questions

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 ...
56 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 ...
34 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 ...
26 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 ...
54 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 ...
41 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 ...
29 views

61 views

141 views

### How to compute this Riemann surface?

This question is related to other more general question that I asked Computing Riemann surfaces of a given algebraic function. By the way, I've found an approaching in Markushevich's book that ...
39 views

### Pushforward of differentials (?) and Abel Jacobi map on principal divisors

Let $X$ be a complete one-dimensional curve over $\Bbb C$ (please add any hypotheses in case I forgot them). Then we have the Abel-Jacobi map $$\mathcal{AJ}: \text{Div}_0 \to \Bbb C^g/ \Lambda$$ ...
72 views

### Computing Riemann surfaces of a given algebraic function

I've never seen written in a book a way or an algorithm for computing Riemann surfaces of a given algebraic function. I would like to know how to construct such Riemann surface using intuitive cutting ...
29 views

### Questions on linear subspace of a projective space

I am a bit confused by the definition of the linear subspace of a projective space. It says in a book "Algebraic Geometry: A first course" by Joe Harris on page 5 that An inclusion of subspace ...
162 views

### Threefold category equivalence: algebraic curves, Riemann surfaces and fields of transcendence degree 1

According to this article, The category of curves over the complex numbers is equivalent to two other categories: Riemann surfaces and ﬁelds of transcendence degree 1 over $\mathbb{C}$. But I ...
96 views

### Linear Equivalence of Divisors on Projective Plane Cubic

I'm self-studying Miranda's Algebraic Curves and Riemann Surfaces and am uncertain of how I'm supposed to solve problem V.2c on linearly equivalent divisors: Let $X$ be the projective plane cubic ...
38 views

### Generators of the first singular homology group of a Riemann surface

Let $X$ be a Riemann surface embedded in $\mathbb C^2$ with coordinates $(z,w)$ and let $\pi_z \colon X \to \mathbb C$ be the projection on first coordinate with property that that for cofinite number ...
81 views

### Divisors on a complex torus

I'm asked to prove the following fact: On a complex torus $X$ every canonical divisor is principal and vice-versa. At this moment I know only the basic properties of divisors and that, if $K$ is a ...
110 views

### Plane algebraic curves in $\mathbb C^2$ are connected in the analytic topology.

Is there a "simple" proof, not involving much tools of Algebraic Geometry, to the fact that every irreducible affine curve $C=\{(z,w)\in\mathbb C^2\,:\, F(z,w)=0\}$ (where $F\in\mathbb C[X,Y]$ is ...
127 views

### About Linear Systems on Curves.

Let $C$ be a smooth irreducible (complex) curve of genus $g\geq2$. The gonality of $C$ is defined as the minimum degree of surjective morphisms $C\rightarrow\Bbb{P}^1$. So $C$ has gonality $d$ if it ...
49 views

### Dimension of a meromorphic differentials space

What is the dimension $d_{ \large k,n}$ of the space of the degree $k$ meromorphic differentials on the sphere with fixed residues ($\alpha_i$) at $n$ points $z_i$ ? The question is asked in this ...
193 views

### Compact Riemann surfaces are projective varieties.

We know that every compact Riemann surface is a complex compact manifold of dimention one. But why every compact Riemann surface is a projective variety?
208 views

### What is the best way to see that the dimension of the moduli space of curves of genus $g>1$ is $3g-3$?

This fact was apparently known to Riemann. How did Riemann think about this?
123 views

### Fundamental group of a complex algebraic curve residually finite?

Is the analytic fundamental group of a smooth complex algebraic curve (considered as a Riemann surface) residually finite?
157 views

### On the automorphisms of the Klein Quartic

I am trying to solve a problem from Miranda's book, Algebraic Curves and Riemann Surfaces. On page 84, problem K gives the Klein curve $X$ as a smooth projective plane curve defined by the equation ...
51 views

### Are there Galois covers of curves branched at 1 point?

Let $G$ be a finite group, not necessarily abelian. Is there any smooth algebraic curve $C$, with an action of $G$ on $C$, such that the natural quotient map $C \to C/G$ is branched at precisely one ...
57 views

### Existence of a holomorphic map from Riemann Surface to an algebraic curve .

Let $C$ be an algebraic curve in $\mathbb P^2( \mathbb C)$ with singular points $p_i : \{1 \le i \le n \}$ . Then there exists a holomorphic map $\Phi : S \to C$ , where $S$ is a Riemann surface. ...
351 views

### The genus of the Fermat curve $x^d+y^d+z^d=0$

I need to calculate the genus of the Fermat Curve, and I'd like to be reviewed on what I have done so far; I'm not secure of my argumentation. Such curve is defined as the zero locus ...
94 views

### What's the sense in a Hyperelliptic Riemann Surface?

Can someone explain me, possibly using some very intuitive ideas, of what kind of object a hyperelliptic Riemann Surface is? What's the goal of constructing it (my lecture on is was based in Miranda's ...
85 views

### Computing wedge product of two 1-forms.

Let $L$ be a lattice in $\mathbb{C}$ and let $\pi :\mathbb{C}\to X=\mathbb{C}/L$ be a quotient map. Show that the local formula $dz$ in every chart of $\mathbb{C}/L$ is a well-defined holomorphic ...
147 views

### Computing the intersection divisors of a smooth projective cubic curve.

Let $X$ be the smooth projective plane cubic curve defined by $y^2z=x^3-xz^2.$ Compute the intersection divisors of the lines defined by $x=0,y=0,$ and $z=0$ with $X$. Here is an idea: Any point ...
202 views

### Compute the principal divisors of a hyperlelliptic surface.

Let $X$ be the hyperelliptic surface defined by $y^2 = x^5-x.$ Note that $x$ and $y$ are meromorphic functions on $X.$ Compute the principal divisors div($x$) and div($y$). We have the ...
389 views

### Computing the divisors of a meromorphic function defined by a hyperelliptic curve.

Let $X$ be a hyperelliptic curve defined by $y^2=h(x).$ Let $\pi : X\to \mathbb{P}^1$ be the double covering map sending $(x,y)$ to $x$. Let $\omega=\pi^{*}(dx/h(x)).$ Compute div$(\omega)$. I ...
81 views

### Formula for index of $\Gamma_1(n)$ in SL$_2(\mathbf Z)$

Is there a precise formula for the index of the congruence group $\Gamma_1(n)$ in SL$_2(\mathbf Z)$? I couldn't find it in Diamond and Shurman, and neither could I find an explicit formula with a ...
122 views

### Why should automorphism groups of compact hyperbolic curves be finite

Let $X$ be a compact connected Riemann surface of genus at least two, or let $X$ be a smooth projective connected curve over an algebraically closed field of characateristic zero. Then Hurwitz proved ...
38 views

### Is $M_g$ a subvariety of $M_{h}$ for some $h>g$

Let $g\geq 24$. Then $M_g$ is of general type. Does there exist $h>g$ such that $M_g$ is a subvariety of $M_h$? That is, does there exist an immersion $M_g \to M_g$? If the answer is not known, ...
### what is genus of complete intersection for: $F_1 = x_0 x_3 - x_1 x_2 , F_2 = x_0^2 + x_1^2 + x_2^2 + x_3^2$
In the below problem I want to answer second part: Show that the curve in $\mathbb{P}^3$ defined by the two equations $x_0 x_3 = x_1 x_2$ and $x_0^2 + x_1^2 + x_2^2 + x_3^2 = 0$ is a smooth complete ...