# Tagged Questions

**1**

vote

**1**answer

137 views

### How to understand a rooting of a dessin d'enfant?

As I understand it, rooted maps on surfaces were first introduced in enumerative combinatorics because they are easier to count than unrooted maps, which can have non-trivial symmetries. A map is a ...

**0**

votes

**0**answers

174 views

### Holomorphic vector bundles over $\mathbb{CP}^1$ and elliptic curves

Can anyone suggest a good exposition of the classification of holomorphic vector bundles over $\mathbb{CP}^1$? Also does there exist any analytic or more elementary proof of Atiyah's classification of ...

**2**

votes

**1**answer

81 views

### Connection between Strebel differentials, ribbon graphs, and Belyi maps

In this paper, a nice story is woven regarding the connection between quadratic differentials on Riemann surfaces, so-called 'ribbon graphs' drawn on those surfaces, and Belyi maps. However, I am ...

**1**

vote

**2**answers

215 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

**1**answer

138 views

### Examples of hyperelliptic curves with hyperelliptic quotients that have more automorphisms

Does there exist a hyperelliptic curve $X$ of genus $g\geq 2$ over the complex numbers such that $X$ has a hyperelliptic quotient $X\to Y$ (in the sense that $Y$ is hyperelliptic and the morphism ...

**17**

votes

**2**answers

689 views

### History of the connection between Riemann surfaces and complex algebraic curves

As noted in the question "Links between Riemann surfaces and algebraic geometry", there are strong connections between Riemann surfaces and algebraic geometry - for example, compact Riemann surfaces ...

**0**

votes

**1**answer

108 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 ...

**1**

vote

**2**answers

238 views

### Holomorphic vector bundles over a Riemann surface does not satisfy $\mathbf{AB2}$ but satisfies $\mathbf{AB1}$

in Grothendieck's Tohoku paper (page 127), Grothendieck asserts that the category of holomorphic vector bundles $\mathbf{Bund}(X)$ over a fixed Riemann surface $X$ does not satisfy $\mathbf{AB2}$, but ...

**3**

votes

**3**answers

175 views

### Is it possible to find $h$ hermitian metric such that $Isom_{h}(X) \cong Aut(X)$?

I suspect this is true for some class of analytic manifolds (Riemann surfaces maybe), but my knowledge in differential geometry is very poor, so I could not conclude it. For complex manifolds, is it ...

**1**

vote

**2**answers

648 views

### Spicing up Riemann surfaces course (revised)

I am a master's student planning to write a master's thesis on Riemann surfaces. I plan to study Forster's Lectures on Riemann surfaces. What side topics could one study to spice up the thesis? I am ...

**2**

votes

**2**answers

248 views

### Etale covers of a hyperelliptic curve

Let $X$ be a hyperelliptic curve of genus at least two.
Let $Y\to X$ be a finite etale morphism with $Y$ connected.Then $Y$ is a smooth projective connected curve.
Is $Y$ hyperelliptic?
More ...

**1**

vote

**2**answers

246 views

### The Schottky group and the fundamental group of a compact Riemann surface

I am quoting the following description from a paper,
"...every compact Riemann surface can be obtained as the quotient $\mathbb{C}/\Gamma$ where $\Gamma$ is a Schottky group. The Schottky group of a ...

**11**

votes

**4**answers

508 views

### Analogy between the nodal cubic curve $y^2=x^3+x^2$ and the ring $\mathbb{Z}[\sqrt{-3}]$?

I'm trying to motivate a bit of algebraic geometry in an abstract algebra course (while simultaneously trying to learn a bit of algebraic geometry), and I thought that it might be nice to present an ...

**1**

vote

**1**answer

128 views

### lift of antiholomorphic involution of Riemann surface to its Jacobian's cohomology

Start from a connected closed Riemann surface $\Sigma_g,$
obtained as the (symmetric) covering of an open and/or unoriented surface
$\Sigma,$ namely $\Sigma=\Sigma_g/\Omega,$ where $\Omega$ is an ...

**1**

vote

**1**answer

129 views

### SU(2) Lefschetz decomposition for cohomology of Riemann surface Jacobian

Start with a closed Riemann surface with $g$ handles $\Sigma_g.$
I'm interested in the cohomology of its Jacobian $Jac(\Sigma_g)=T^{2g},$
in particular how the $SU(2)$ or $SL(2,\mathbb{R})$ Lefschetz ...

**1**

vote

**3**answers

202 views

### polynomial branched cover of the sphere with specified monodromy

We know by the Riemann Existence Theorem that any Riemann surface can arise holmorphically as the branched cover of a sphere:
Which Riemann surfaces arise from the Riemann existence theorem?
Do ...

**0**

votes

**1**answer

116 views

### Residues and Mittag-Leffler sequence

Let $X$ be a compact Riemann surface, $\omega$ a meromorphic differential on $X$ and $f$ a meromorphic function on $X$ with poles only over the points $P_1,\dots,P_d$. The product $\;f\cdot\omega\;$ ...

**7**

votes

**2**answers

424 views

### Is there an algorithm to compute efficiently the dessin d'enfant from a Belyi pair?

Let $(X,f)$ be a Belyi pair, i.e. a Riemann surface $X$ together with a morphism $f: X \to \mathbb{P}^1$, ramified only in $0,1, \infty$. Grothendieck's dessin d'enfant is the pre-image $G$ of the ...

**3**

votes

**1**answer

392 views

### A question about Abel-Jacobi map

Let $X$ be a Riemann Surface with genus $g$, $S^g(X)$ be the symmetric power of $X$ (which is naturally identified with the set of effective divisors of degree $g$). Let $A$ be the Abel-Jacobi map ...

**3**

votes

**1**answer

273 views

### Is there a Riemann-Roch like result for meromorphic differentials with all periods vanishing?

The classical Riemann-Roch theorem for Riemann surfaces makes a connection between the dimension of the space of meromorphic functions and the dimension of the space of meromorphic forms. Thus it is ...

**4**

votes

**0**answers

413 views

### Questions about dessin d'enfants, trees and their Shabat polynomials

This will be a series of questions, a few of which have been troubling me for quite a while now. Before I jump right in, let me first introduce a few notions which I will assume.
(Note: All of these ...

**8**

votes

**3**answers

544 views

### What prevents a cover to be Galois?

Let $f:X\rightarrow Y$ be a ramified cover of Riemann surfaces or algebraic curves over $\mathbb{C}$. My question is can one in terms of the ramification data of $f$, determine whether the cover is ...

**8**

votes

**6**answers

840 views

### What is a branched Riemann surface with cuts?

Edit: Let me restate the main claim being made in these two papers,
Consider the "branched" Riemann surface which has "n" sheets stuck along the intervals, $[z_i, z_{i+1}]$ for $i=1,..,2N$ then it ...

**7**

votes

**1**answer

226 views

### Cohomology of the genus 2 mapping class group

Is the cohomology of the genus 2 mapping class group (that is, the cohomology of the moduli stack $M_2$ of genus 2 curves) known? I'd be interested in references. The rational cohomology is known to ...

**1**

vote

**0**answers

225 views

### Non-compact Riemann surfaces and affine algebraic curves

Is every connected non-compact Riemann surface biholomorphically equivalent to an affine algebraic curve in some ${\mathbb C}^n$? I suspect that surfaces of infinite genus probably are not but could ...

**1**

vote

**0**answers

218 views

### Complete curves in $M_g$ and Theta Characteristics

Let $g\geq 3$. Following the reference below, the locus of curves in $M_g$ with an effective even theta characteristic has codimension $1$. (Those are the curves $C$ with an effective line bundle $L$ ...

**8**

votes

**1**answer

281 views

### Injective morphism from an elliptic curve to $\mathbb CP^2$.

Let $E$ be the elliptic curve $x^3+y^3+z^3=0$.
Question. Are there injective morphisms $E\to \mathbb CP^2$ of arbitrary high degree?
Comments. 1) There are injective morphisms $E\to \mathbb CP^2$ ...

**13**

votes

**3**answers

802 views

### Injective morphism from curves to $\mathbb CP^2$

Is there a smooth compact complex curve that does not admit an injective holomorphic map to $\mathbb CP^2$ ? Let me stress, that the image of the curve in $\mathbb CP^2$ can have singularities.
I ...

**0**

votes

**1**answer

211 views

### When is a cyclic cover hyperelliptic?

Let us work over the complex numbers for simplicity. Consider a curve $C$ presented as a cyclic cover of some lower genus curve $C'$. When $C'$ has genus $0$, we can write $C$ as the normalization of ...

**0**

votes

**1**answer

176 views

### Reference for notation $H^0(C, mK)$

I am reading the draft of "Equations of Riemann Surfaces of Genus 4, 5 and 6 wih Large Automorphism groups" and the author starts using the notation $H^0(C, mK)$ on page 3, without explaining it. As ...

**1**

vote

**1**answer

176 views

### Analytic curve on Riemann surface

Suppose there is a closed analytic curve $C$ on a Riemann surface $S$, that is the image of a map $\gamma$ from the equator $E$ of the Riemann sphere to the surface $S$ which is a restriction of a ...

**11**

votes

**1**answer

431 views

### Complex curves covered by smooth plane curves

Question: Is it true that for every smooth compact complex curve $C$ there exists a smooth curve $C'$ in $\mathbb CP^2$ that admits a non-trivial morphism (i.e. holomorphic map) $C'\to C$?
...

**2**

votes

**1**answer

269 views

### Automorphisms of higher-genus Riemann surfaces act nontrivially on homology (Reference Request)

The following is a folklore result : Let $X$ be a compact Riemann surface of genus at least $2$ and let $f : X \rightarrow X$ be a biholomorphism. Then $f$ acts nontrivially on $H_1(X;\mathbb{Z})$.
...

**5**

votes

**1**answer

311 views

### How does a moduli interpretation give an analytic object an algebraic structure?

I remember hearing this in other contexts, but I encountered it again when reading Elkies' paper "Shimura Curve Computations", where on page 10, he says that:
"We now return to the Shimura curves ...

**6**

votes

**2**answers

225 views

### Rational curved lying in the boundary of Deligne-Mumford compactification $\bar M_g$

Let $\bar M_g$ be the Deligne-Mumford compactifiction of the moduli space of complex genus $g$ curves $M_g$. Is this correct that through every point of the boundary $\bar M_g\setminus M_g$ passes a ...

**0**

votes

**1**answer

108 views

### Regular (or complex analytic) functions on M_3

Let $M_3$ be the moduli space of genus three curves over $\mathbb C$.
Are there non-constant regular functions of this space? What about complex analytic functions?
This question is prompted by the ...

**6**

votes

**1**answer

199 views

### Is the class of $k$-gonal curves dominant

Before I start, let me make a note on terminology. Curves are always smooth projective connected curves over an algebraically closed field of characteristic zero.
Let $\mathcal C$ be a class of ...

**7**

votes

**4**answers

689 views

### A question on deformations of Theta divisor in the Jacobian of a complex curve

Suppose $C_g$ is a smooth compact complex curve (of genus $g$), and let $J$ be its Jacobian. Recall that the Jacobian $J$ of a curve $C_g$ is a complex torus that can by obtained by contractions of ...

**2**

votes

**1**answer

182 views

### Constructing rational functions with ramification locus the divisor of some $n$-form

I'm still busy learning the theory of linear systems for compact Riemann surfaces. If the answer to the following question is negative, then there might not be any point in continuing.
Let $X$ be a ...

**19**

votes

**2**answers

1k views

### Is there anything special about the Riemann surface $y^2 = x(x^{10}+11x^5-1)$?

I stumbled upon the fact that the Bolza surface can be obtained as the locus of the equation,
$y^2 = x^5-x$
Its automorphism group has the highest order for genus $2$, namely $48$. I recognized ...

**8**

votes

**5**answers

665 views

### Schottky locus in genus 2

Let $\phi_g : \mathcal{M}_g \rightarrow \mathcal{A}_g$ be the period mapping from the open moduli space of genus $g$ Riemann surfaces to the moduli space of $g$-dimensional principally polarized ...

**2**

votes

**2**answers

492 views

### Questions on a Certain Branched Cover of the Two-sphere

I have the following questions:
Suppose the compact Riemann surface $C$ is an n-fold branched cover of $\mathbb{P}^1$ branched at exactly four points $x_1,x_2,x_3$ and $x_4$. I believe that $C$ is a ...

**2**

votes

**1**answer

282 views

### Do divisors of degree g with this property exist in general

I have the following question. It's a long shot, but worth the try.
Let X be a compact connected Riemann surface of genus $g\geq 2$. Does there exist an effective divisor $D$ on $X$ of degree $g$ ...

**-2**

votes

**1**answer

959 views

### Reducibility (or not) of algebraic curves [closed]

[ I am a bit clueless about why this question is getting downvotes!? I put it up with a genuine serious interest and I don't seem to be making any egregious error either - apart from those unsure ...

**0**

votes

**0**answers

211 views

### Is the absolute value of the j-invariant bounded from below on an annulus

Let $j:\mathbf{H}\to \mathbf{C}$ be the $j$-invariant. It's a modular function for $\Gamma(1) = \textrm{PSL}_2(\mathbf{Z})$.
For $\epsilon>0$ small, let $B(\epsilon)$ be the image of the strip ...

**1**

vote

**1**answer

359 views

### Are Weierstrass points algebraic

Let $X$ be a compact connected Riemann surface of genus $g>0$.
Suppose that $X$ can be defined over a number field (as an algebraic curve). Then, is it clear that each Weierstrass point of $X$ is ...

**0**

votes

**2**answers

815 views

### Motivation behind defining the Ramification Divisor

I would like to understand what exactly is the motivation for defining the notion of a ramification divisor of a function.
As I see the definition,
If $f$ is a meromrophic function between two ...

**2**

votes

**2**answers

260 views

### Reference request: parametrizing covers of the projective line

Hurwitz spaces (or Hurwitz schemes) parametrize covers of the projective line. One can do this in many ways.
For example, one could fix the number $r$ of branch points, the degree $n$ of the cover ...

**3**

votes

**4**answers

568 views

### $Aut(\mathbb{CP}^n)$ [..especially $n=1$ and $n=2$..]

I am confused and curious about the meaning of the $Aut(\mathbb{CP}^n)$.
Is what is called the "linear automorphism group" of $\mathbb{CP}^n$ the same as $Aut(\mathbb{CP}^n)$? It somehow seems to me ...

**8**

votes

**1**answer

324 views

### Given a curve, under which condition is the set of gonal morphisms finite

Recently, in my research I bumped onto gonal morphisms. At the moment, my knowledge is based upon some things I read on the internet. Before stating my questions, I added some definitions/facts that ...