# Tagged Questions

The algebraic-curves tag has no wiki summary.

**6**

votes

**1**answer

314 views

### Kaehler differentials on a nodal curve

Suppose $C$ is an integral nodal curve with one node. It is claimed in the arxiv version of a paper by Bogomolov, Hassett, Tschinkel that the dualizing sheaf and the sheaf of differentials are related ...

**8**

votes

**6**answers

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

**0**

votes

**1**answer

107 views

### Is the space of degree $d$ curves with marked smooth points dense inside the space of curves with marked points?

Let $\mathcal{D} \approx \mathbb{P}^{\delta_d} $ be the space of nonzero
homogeneous degree $d$ polynomials in three variables upto scaling, where
$\delta_d = \frac{d(d+3)}{2} $
(basically degree ...

**10**

votes

**1**answer

782 views

### what is the cyclic cover trick?

What do people mean by the "cyclic cover trick"? I have found this expression a couple of times with no complete explaination, both talking about curves and surfaces...

**1**

vote

**1**answer

346 views

### Existence of non-trivial solution to non linear polynomial system

I need to find conditions for the existence of non-trivial solutions to a multivariable polynomial system in two cases:
The first case:
$f1: a_1x^2+a_2xy+a_3y^2+a_4z^2=0$
$f2: ...

**2**

votes

**1**answer

261 views

### explicity equations for curves in the projective space

It is well known that if a smooth curve $C \subset \mathbb{P}^3$ has degree $ d \leq 6$. Then
$ g(C) \leq 4$ (Hartshorne pg 354). I know that the case $g=4$ correspond to the complete intersection ...

**2**

votes

**1**answer

205 views

### finite covering

I am trying to understand the following example, which I came across in a research article. I am posting it as a question below.
$\bf{Question}$. Let $\Sigma$ be a curve of genus two with the ...

**2**

votes

**0**answers

140 views

### What does Hodge theory tell us about simply connected surfaces of general type

Let $X$ be a smooth complex projective variety. We know that $\Omega^1_X$ has a non-zero section if and only if the abelianization of the fundamental group of X is infinite. This follows from Hodge ...

**0**

votes

**2**answers

447 views

### Recommended books/lecture notes for vector bundle on algebraic curve

I am going to enroll in a ceminar with the topic "vector bundle on algebraic curve". Except Algebraic Geometry(which I think GTM 52 by Hartshone is the main source), which topic I should prepare in ...

**3**

votes

**1**answer

404 views

### What is the minimal degree of a smooth curves which is not on a cubic surface in $P^3$?

Consider a fixed smooth algebraic curve $C$ over $\mathbb C$. It is well-known that $\mathbb CP^3$ contains curves that are abstractly isomorphic to $C$. What is the minimal degree of a curve in ...

**3**

votes

**1**answer

177 views

### Families of Hurwitz Curves

Hurwitz's theorem on automorphisms tells us that the group of automorphisms of a nonsingular complex algebraic curve of genus at least 2 is bounded above by $84(g-1)$ where $g$ is the genus of the ...

**1**

vote

**1**answer

263 views

### $P^1$ minus k points

For $k\geq 3$, and $k$ arbitrary points $S=( z_1,\cdots,z_k ) \in \mathbb{P}^1$, we can write
$$ P^1 \setminus S \cong \mathbb{H}/G $$
where $\mathbb{H}$ is the upper-half plane and $G\subset ...

**8**

votes

**2**answers

458 views

### Proving that a generic variety with ample canonical bundle has no automorphisms

Let $X$ be a smooth projective connected variety over the complex numbers with ample canonical bundle. If $X$ is generic and $\dim X \leq1$, the automorphism group of $X$ is trivial, see for instance
...

**10**

votes

**0**answers

202 views

### Infinitely many curves with isogenous Jacobians

Let $g\geq 4$. Are there infinitely many compact genus $g$ Riemann surfaces with (mutually) isogenous Jacobians?
Does the situation change in positive characteristic?

**1**

vote

**0**answers

228 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

263 views

### Permutations of prescribed cycle types that multiply to the identity

Suppose that $\lambda_1,\lambda_2,\lambda_3$ are partititions of $n$. When do there exist permutations $\sigma_1,\sigma_2,\sigma_3 \in S_n$ such that
(1) $\sigma_1\sigma_2\sigma_3$ is the identity;
...

**0**

votes

**0**answers

189 views

### canonical model of a reducible curve

Let $C$ be a stable reducible curve. Is there a natural way to define it's canonical model (I guess via the dualizing sheaf)? And does somehow the dualizing sheaf restrict to the (probably twisted) ...

**3**

votes

**0**answers

105 views

### state of the art for kodaira dimension of $\overline{\mathcal{M}}_{g,n}$

What is the state of the art about the kodaira dimension (and rationality, unirationality, etc.) of the moduli spaces of $n$-pointed curves of genus $g$? When it is known and when not? It would be ...

**17**

votes

**2**answers

630 views

### Tame morphism from a curve to $\mathbb{P}^1$

Let $k$ be an algebraically closed field of characteristic $p\ge 0$. Let $C$ be a smooth projective curve over $k$. Is it possible to find a map $C \to \mathbb{P}^1$ that is tamely ramified at every ...

**2**

votes

**0**answers

116 views

### n-canonical embedding

Let $C$ be a nodal curve and let $ \omega $ be its dualizing sheaf. Let $n$ be a integer larger than 2. Does anyone knows how to show that $\omega^{\otimes n}$ separates points and tangent vectors? ...

**1**

vote

**1**answer

278 views

### Are the projection morphisms from a product of varieties necessarily open?

If C and D are irreducible, affine varieties over an algebraically closed field, and I form the product variety CxD, is the projection morphism from CxD to C necessarily an open map? That is, is the ...

**0**

votes

**0**answers

69 views

### sections of vector bundles transversal to a divisor

Let $X$ a smooth projective curve over $\mathbb{C}$, $S$ a finite subscheme of $X$.
$E$ a vector bundle over $X$ with a divisor $D$.
We look at the sections $A:=H^{0}(X,E)$ with $\deg E$ big enough.
...

**1**

vote

**1**answer

159 views

### On divisorial correspondences between curves

Assume we are given two smooth curves $C_1$ and $C_2$ over an algebraically closed field $k$. It is known that divisorial correspondences between them correspond to homomorphisms between their ...

**4**

votes

**2**answers

744 views

### The existence of meromorphic functions on Riemann surfaces

In Miranda's book on algebraic curves and Riemann surfaces, Miranda writes:
It is a basic and highly nontrivial
result that a compact Riemann surface
has nonconstant meromorphic functions
on ...

**1**

vote

**1**answer

177 views

### Trigonal curves of genus three: can their Galois closure be non-abelian

Let $X$ be a curve of genus three which is not hyperelliptic. Then $X$ is trigonal, i.e., there exists a finite morphism $X \to \mathbf P^1$ of degree $3$.
Let $Y\to X \to \mathbf P^1$ be a Galois ...

**1**

vote

**0**answers

88 views

### normal space of Brill--Noether variety

Let $C$ be a smooth projective curve, $J$ its Jacobian (of degree $d$, parametrizing degree $d$ line bundles, $d \geq 0$). Let $W_d^r$ be the Brill--Noether variety parameterizing degree $d$ line ...

**1**

vote

**1**answer

237 views

### Picard group of a K3 surface generated by a curve

In Lazarsfeld's article "Brill Noether Petri without degenerations" he mentions the fact that for any integer $g \geq 2$, one may find a K3 surface $X$ and a curve $C$ of genus $g$ on $X$ such that ...

**8**

votes

**1**answer

286 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$ ...

**1**

vote

**1**answer

218 views

### Field of definition of a finite etale cover of an anabelian curve

Let $X$ be an anabelian curve over a number field $K$ and let $p:Y\rightarrow X$ be a finite etale cover. Then is anything known (or has anything been conjectured) about the field of definition of ...

**6**

votes

**2**answers

764 views

### “Arithmetic genus” of a plane curve singularity.

I believe that the following questions are very basic, but I don't know how to get a reference.
Consider a curve in the plane $C\in \mathbb C^2$ with a singularity at $0$ and suppose it is
...

**13**

votes

**3**answers

823 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

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

**6**

votes

**3**answers

280 views

### Upper bound for the order of the group of automorphisms of Riemann surfaces of genus 2

By the Hurwitz's automorphisms theorem there is an upper bound $|\text{Aut}(C)|\leq 84(g-1)$ for all Riemann surfaces $C$ with $g(C)\geq 2$, but it is not sharp if $g=2$. What is the sharp upper bound ...

**0**

votes

**1**answer

108 views

### The description of Hurwitz groups

Let $G$ be a Hurwitz group, i.e the automorphism group of some Hurwitz surface $C$. Then Hurwitz's automorphisms theorem shows that the quotient map of $C$ by $G$ has ramification points of indexes ...

**2**

votes

**1**answer

167 views

### On the group actions on Hurwitz surfaces

Let $C$ be a Hurwitz surface, $G=\text{Aut}(C)$ and $N$ is a proper normal subgroup of $G$. Is there a simple argument (without using of classification theorems) for the fact that $N$ acts on $C$ ...

**0**

votes

**0**answers

171 views

### sections of vector bundles

Let $X$ a smooth projective connected curve over $\mathbb{C}$.
Let $E$ a vector bundle and $E'$ a subbundle of $E$.
Let $(x_{1},\dots,x_{n})$ $n$ closed points on the curve $X$ with $n>2g$ and $z$ ...

**3**

votes

**2**answers

289 views

### On the construction of the varieties parametrizing special linear series on a curve

Fix an algebraic curve $C$ of genus $g$, and positive integers $d, r$. The variety $W^r_d$ parametrizes complete linear series of degree $d$ and dimension at least $r$ on $C$ and the variety $G^r_d$ ...

**3**

votes

**2**answers

271 views

### Why the Abel-Jacoby map is algebraic morphism?

The Abel-Jacobi map from the algebraic curve $C$ to its Jacobian $J(C)$ is given analitically by $$p\to \left( \ldots, \int^{p}_{p_0} \omega_i,\ldots\right),$$
where $p_0$ is some point on $C$ and ...

**3**

votes

**0**answers

212 views

### Stack of vector bundles (on a curve) over a strictly semi-stable point of the moduli space

Consider the stack $Bun_{r,d}^{ss}$ of rank $r$ semi-stable vector bundle of degree $d$ over a fixed curve. There exists also a coarse moduli space $M$ built via GIT. Over the stable locus of $M$ it ...

**4**

votes

**0**answers

175 views

### Do regular noetherian schemes of dimension one only have finitely many etale covers of bounded degree

Let $X$ be a regular noetherian scheme of dimension one. Let $d$ be an integer.
Question. Are there only finitely many finite etale morphisms $Y\to X$ of degree $d$?
I want to exclude finite etale ...

**11**

votes

**1**answer

435 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$?
...

**3**

votes

**1**answer

411 views

### Name for curve?

I am doing something with the curve given parametrically by
$y = (-ar+b) r$, $x = \sqrt{r^2-y^2}$
for $r\in \lbrack (b-1)/a,b/a\rbrack$. It is nice enough (and of low enough degree) that I suspect ...

**2**

votes

**1**answer

211 views

### Points in the plane imposing independent conditions: reference request

Hello,
Does anybody know a reference for the following result: $d\ge 5$ points of $\mathbb P^2$ fail to impose independent conditions on curves of degree $d-3$ if and only if at least $d-1$ of these ...

**3**

votes

**1**answer

267 views

### Igusa invariants of genus 2 curves as Siegel modular functions?

Hi,
Are the Igusa invariants (defined in Igusa's oringal paper) also classical Siegel modular forms? I read from somewhere that
$\psi_4=\frac{1}{4}I_4, \quad \psi_6=\frac{1}{8}(I_2I_4-3I_6), \quad ...

**5**

votes

**0**answers

175 views

### Is the moduli space of genus three smooth quartics affine?

Non-hyperelliptic curves of genus three are smooth quartics. Is the moduli space of such curves affine?
I think this follows from a more general result on smooth complete intersections, but I'm ...

**6**

votes

**1**answer

387 views

### If rational points are like entire curves, then what do algebraic points correspond to

I read somewhere that if $X$ is a projective variety of general type over a number field $K$, then rational points are an analogue of entire curves $\mathbf{C}\to X^{an}$ (with $X^{an}$ the ...

**3**

votes

**1**answer

278 views

### On the m-th power of the Hodge bundle and Arakelov's theorem

Let $S$ be a smooth projective curve over $\mathbf C$ and let $f:X\to S$ be a projective flat morphism with "semi-stable" fibres (i.e., the fibres are reduced and strict normal crossings divisors) and ...

**1**

vote

**1**answer

238 views

### Hilbert polynomial of $X\times P^1$

Let $X$ be a canonically polarized smooth projective geometrically connected variety over $k$ with Hilbert polynomial $h$.
What is the Hilbert polynomial of $X\times_k \mathbf{P}^1_k$? How does it ...

**7**

votes

**1**answer

420 views

### For which fields does the isogeny theorem hold

Let $k$ be a field. We say that the isogeny theorem holds over $k$ if, for any abelian variety $A$ over $k$, there are only finitely many $k$-isomorphism classes of abelian varieties $B$ over $k$ ...

**3**

votes

**1**answer

148 views

### Does the Hilbert polynomial determine the weight of the Galois representation associated to a variety

Let $X$ be a curve or an abelian variety (over a finite field). Then the Galois representation associated to $X$ via the etale cohomology of $X$ (in degree $1$) is integral of weight $1$ and its ...