# Tagged Questions

**12**

votes

**2**answers

455 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

101 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

219 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

173 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

629 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

237 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

234 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

484 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

124 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

124 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

199 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

112 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\;$ ...

**6**

votes

**2**answers

410 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

374 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

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

**3**

votes

**0**answers

383 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

507 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

771 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

223 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

221 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

205 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

274 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

794 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

200 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

175 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

169 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

428 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

264 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

310 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

222 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

193 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

659 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

181 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

643 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

476 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

281 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

875 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

209 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

357 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

785 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

259 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

555 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

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

**2**

votes

**1**answer

407 views

### Branch points of a non-constant holomorphic map between compact riemann surfaces

While working on a project for mathematics I came across the following lemma: [Kock]
If $X$ is a curve defined over an algebraically closed subfield $N$ of $\mathbb{C}$ and let $t:X\rightarrow ...

**8**

votes

**1**answer

563 views

### Is there an algebraic description of Yang-Mills measure?

Consider $X=\operatorname{Hom}(\pi,SL(2,\mathbb C))/\\!/SL(2,\mathbb C)$ and $Y=\operatorname{Hom}(\pi,SU(2))/\\!/SU(2)$, where $\pi$ is a surface group. Note that if we use the right coordinates, ...

**6**

votes

**2**answers

246 views

### Reference for openness of stable locus of holomorphic family of vector bundles on a compact riemann surface.

I am looking for a reference (or an easy explanation) for the openness of the stable locus of a holomorphic family of (holomorphic) vector bundles on a compact Riemann surface parametrized by a ...

**1**

vote

**1**answer

307 views

### Can we construct rational functions with prescribed ramification on an algebraic curve over \Qbar

Let $C$ be a smooth projective connected curve of genus $g$ over $\bar{\mathbf{Q}}$. Fix a finite non-empty (Edit) set of closed points $S$ in $C$ and let $U$ be the complement of $S$ in $C$.
Q1. ...

**12**

votes

**3**answers

1k views

### Is there an algebraic construction of the Quillen (determinant) Line Bundle?

Let's consider the moduli space of representations of $\pi=\pi_1(\Sigma)$ (a surface group) into $G$ (a lie group). Call this $X=\operatorname{Hom}(\pi,G)$, and let ...