The algebraic-curves tag has no wiki summary.

**14**

votes

**0**answers

414 views

### Do mapping classes have gonality?

(This question was discussed by people at the PCMI workshop on moduli spaces, without any clear resolution, so I thought I'd throw it open to MO.)
The hyperelliptic mapping class group is (by ...

**10**

votes

**0**answers

157 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?

**9**

votes

**0**answers

316 views

### Where is the representability of the moduli of curves with framed points proved?

There is a variant of the Knudsen-Mumford moduli problem $\mathcal{M}_{g,n}$ of pointed curves, where one endows the $n$ marked points with non-zero tangent vectors. It shows up in the theory of ...

**9**

votes

**0**answers

355 views

### Is there an algorithm which determines if a curve has good reduction outside a given set of primes

Fix a number field $K/\mathbf{Q}$, a finite set of places $S$ in $K$, an integer $g$ and a curve $X$ over $K$ of genus $g$.
Is there an algorithm which tells you if $X$ has good reduction outside ...

**9**

votes

**0**answers

431 views

### Function fields of characteristic p modular curves, and mod p reductions of the classical modular equation

Let l and p be distinct primes, l>2. There are "characteristic p modular curves" X_0(l) and X(l), defined over an algebraic closure, K, of Z/p, solving moduli problems for elliptic curves with some ...

**8**

votes

**0**answers

129 views

### Totally real points on curves

Let $X$ be a smooth, projective (geometrically integral) curve defined over $\mathbb{Q}$ with genus $g \geq 3$. Suppose that $X(\mathbb{R}) \neq \emptyset$. Does $X$ have a point defined over a ...

**8**

votes

**0**answers

416 views

### Arithmetic and moduli spaces of higher genus curves

Modular curves (as moduli of elliptic curves with level structure) play a key role in the study of the arithmetic of elliptic curves. The higher genus curves have very different arithmetic, but I ...

**7**

votes

**0**answers

387 views

### Elementary proof of the Hurwitz formula

I am aware of two forms of the Hurwitz formula. The first is more common, and deals only with the degrees. So if $f:X \rightarrow Y$ is a non-constant map of degree $n$ between two projective ...

**7**

votes

**0**answers

140 views

### Unicritical rational functions on curves in characteristic $p$

Let $k$ be an algebraically closed field of positive characteristic $p$, and let $X_{/k}$ be a smooth projective connected curve. Let $x_0$ be a point of $X(k)$.
How precisely can one describe ...

**7**

votes

**0**answers

315 views

### Defining equations for hyperelliptic Jacobians in a neighbourhood of the identity

Let $X$ be a hyperelliptic curve of genus $g \ge 2$ over a field $k$ (of characteristic not 2, 3 or 5, if you like, but could be positive in general). Let $J$ be the Jacobian of $X$, thought of as ...

**7**

votes

**0**answers

180 views

### sheaves on thickened nodal cubics

Suppose F is an algebraically closed field (of any characteristic) and that h in F[x,y,z]
is an irreducible cubic form defining a plane curve C with a node. A lot is known about
sheaves on C; for ...

**6**

votes

**0**answers

481 views

### Bezout Theorem in $\mathbb P^3$

For a $\mathbb C P^2$ is known a result: if through the generic points $p_1,p_2,\dots p_n$ with multiplicities $m_1,m_2\dots, m_n$ correspondingly a degree $d$ curve passes then $d^2\geq ...

**6**

votes

**0**answers

144 views

### Relations among Hodge classes?

Let $\pi : C_g \to M_g$ be the universal curve over the moduli stack of genus $g$ curves. Let $\omega_\pi$ be the relative canonical bundle. Then $\mathbb{H} := \pi_\ast \omega_\pi$ is a rank $g$ ...

**5**

votes

**0**answers

159 views

### Counting plane curves over various fields

Fix two integers $d$ and $g$. The number of genus $g$ and degree $d$ curves passing through $3d+g-1$ generic points on the complex projective plane is finite and doesn't depend on the choice of ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

229 views

### On Stickelberger's Theorem over function fields

Here is the setup to Stickelberger's theorem over number fields (following Washington's book Intro. to cyclotomic fields).
Let $M/\mathbb{Q}$ be a finite abelian extension with galois group $G$. ...

**4**

votes

**0**answers

523 views

### Soft proof of multiplicity one for character groups of Shimura curves?

Is it not possible to prove mutiplicity one type statements for character groups of quaternionic Shimura curves by simply using Raynaud's description for character groups at primes dividing the ...

**3**

votes

**0**answers

155 views

### How to induce infinitesimal deformations on curves

Let $C_1, C_2$ be two projective curves (a scheme of pure dimension $1$) in $\mathbb{P}^3$.
The Hilbert scheme of curves contains informations of deformations of curves in $\mathbb{P}^3$. The question ...

**3**

votes

**0**answers

98 views

### Deligne-Mumford moduli spaces and compactification of symmetric matrices

The real Deligne-Mumford moduli space $\bar M_{0,n+1}(\mathbb R)$ of stable genus
zero curves with $n+1$ marked points is a compactification of the space of
configurations of $n$ distinct ordered ...

**3**

votes

**0**answers

98 views

### Automorphisms of function fields under constant reduction

Let $K=\mathbb{Q}(x,y)$ be a function field of genus at least 2, with defining equation $f(x,y)=0$ (say, absolutely irreducible and with coefficients not divisible by $p$), and let $k$ be the mod-$p$ ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

199 views

### Igusa-Clebsch invariants

I am looking for a good reference for definitions and basic properties of the Igusa-Clebsch invariants for curves of genus $2$ (especially, but not only, in positive characteristic).

**3**

votes

**0**answers

334 views

### Positivity of braid monodromy of curve singularities

I recall the notion of braid monodromy. Let $C \subset \mathbb{C}^2$ be an algebraic curve, and choose a projection $\pi: \mathbb{C}^2 \to \mathbb{C}$ such that the restriction $\pi: C \to ...

**3**

votes

**0**answers

329 views

### Is the strict transform a finite morphism?

Woe is me! I'm again resorting to this forum to ask a silly question.
Here is the example I had in mind: observe the (complex) curve $y^3=x^2(x-1)$. In attempt to normalize this curve, I've begun by ...

**2**

votes

**0**answers

135 views

### When are Hilbert schemes connected by piecewise smooth curves?

Are there examples of Hilbert scheme $H$ of curves in $\mathbb{P}^3$ such that there exists an irreducible component $L$ of $H$ such that for any two points in $L$, there exist smooth projective ...

**2**

votes

**0**answers

121 views

### On a difference between $i_!$ and $i_*$ over $\mathbb{P}^1$

Let $X$ be a smooth projective surface in $\mathbb{P}^3$ containing a line $l$.
Denote by $C$ the curve corresponding to the divisor $2l$. Let $p \in C$ be a closed point. Denote by $U:=C \backslash ...

**2**

votes

**0**answers

98 views

### Projective embedding of non-reduced curves

By curve I mean a scheme of pure dimension $1$. Let $(\Gamma(C_{red},\mathcal{L}))$ be a complete linear system on $C_{red}$ which gives a projective embedding $C_{red} \hookrightarrow \mathbb{P}^n$ ...

**2**

votes

**0**answers

127 views

### branch locus of the discriminant map $\overline{\mathcal{H}}_{g',r} \to \overline{\mathcal{M}}_{g,n}$

Let $\overline{\mathcal{M}}_{g,n}$ be the moduli space of pointed, stable, genus $g$ curves. Let $\overline{\mathcal{H}}_{g',r}$ be the hurwitz space of cyclic covers of degree $r$ of genus $g$ curves ...

**2**

votes

**0**answers

207 views

### Reference for Jacobians in characteristic $p$

I am looking for a basic reference for Jacobians of algebraic curves in characteristic $p>0$. I just want basic facts about the relation between the curve and its Jacobian.
I dont want to assume ...

**2**

votes

**0**answers

127 views

### genus four curve with $|3p|= \mathfrak{g}^1_3$

Let $M_4$ be the moduli space of genus four curves. Let $\Sigma \subset M_4$ be the locus such that for $X \in \Sigma$, there is a point $p$ on $X$, with $\dim H^0(X, \mathcal{O}(3p)) =2$. What is ...

**2**

votes

**0**answers

218 views

### Every curve is a Hurwitz space in infinitely many ways

Diaz, Donagi and Harbater proved that every curve over $\overline{\mathbf{Q}}$ is a Hurwitz space.
A Hurwitz space is a connected component of the curve $H_n$. The curve $H_n$ is (the ...

**2**

votes

**0**answers

201 views

### Is there an algebraic analogue of the degeneration of riemann surfaces in M_g

Degeneration of certain functions such as theta functions or Green's functions in the moduli space $\overline{\mathcal{M}_g}$ of stable curves of genus $g$ has been studied quite alot. The idea is to ...

**2**

votes

**0**answers

113 views

### Tangent cones to Severi strata

Let $\mathbb{C}[[x,y]]/f(x,y)$ be a reduced plane curve singularity. The base of a versal family can be taken to be (an open subset in) $\Lambda = \mathbb{C}[x,y]/(f,\partial_x f, \partial_y f)$; the ...

**2**

votes

**0**answers

210 views

### cubic curve closest to the given set of points

Assume we are given the set $S$ of $n$ points on the real plane and want to draw a parametrized cubic curve (actually a segment of Bezier spline) with fixed startpoint in such a way, that the ...

**2**

votes

**0**answers

226 views

### quasi-trigonal curves

I have read in the literature about quasi-trigonal curves. Such a curve C is a hyperelliptic curve X with two points p,q identified (basically a pinch). They seem to be pretty important in the theory ...

**1**

vote

**0**answers

79 views

### Degeneracy divisor of the “trace” morphism

Let $f\colon X\to Y$ be a finite morphism of smooth curves over an alg. closed field of characteristic zero. I recently asked how methods reminiscent of basic algebraic number theory can be used to ...

**1**

vote

**0**answers

71 views

### Deformation of complete intersection curves

Let $\mathcal{X} \to B$ be a family of smooth surfaces in $\mathbb{P}^3$. Let $\mathcal{C} \to B$ be a family of curves in $\mathbb{P}^3$. Assume that for all $b \in B$, the fiber $\mathcal{C}_b$ is ...

**1**

vote

**0**answers

132 views

### Pull-back of globally generated sheaves

Let $X$ be a smooth projective surface in $\mathbb{P}^3$, $D=\sum_i n_iD_i$ an effective Cartier divisor. Let $C$ be a smooth irreducible curve on $X$. Denote by $i:C \hookrightarrow X$ is the closed ...

**1**

vote

**0**answers

85 views

### Surjectivity of global sections of sheaf of Kaehler differentials

By a curve I mean a scheme of pure dimension $1$.
Let $C_1, C_2$ be a local complete intersection curve in $\mathbb{P}^3$ such that $C_1 \cap C_2$ are finitely many points. Assume further that ...

**1**

vote

**0**answers

117 views

### Hopf lemma for line bundles on curves in algebraic geometry

In the paper http://arxiv.org/pdf/math/0110256v1.pdf Claire Voisin proves that all linear subspaces which lie inside of a (not too big) secant variety of a smooth projective curve must lie inside one ...

**1**

vote

**0**answers

51 views

### lift sections on a thickened curve

Let $X$ a curve over an algebraically closed field $k$ and $D$ a divisor on X.
Fix an integer $N$ and a closed point $x$ on $X$, we assume that $\deg(D)$ is big enough such that we have a surjective ...

**1**

vote

**0**answers

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

86 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

**0**answers

83 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

**0**answers

167 views

### dimension of spaces of rational curves in a variety!

Do you know calculate the dimension of the space of rational curves of degree
m, through d given points, contained in some projective variety?

**1**

vote

**0**answers

348 views

### determinant of cohomology

Hi,
I have probably a silly question. Take $X,Z$ proper and Gorenstein schemes $p:X\times Z \rightarrow Z$, $q: X\times Z\rightarrow X$ the projection maps, $L$ a torsion free sheaf of rank 1 on ...

**1**

vote

**0**answers

282 views

### Abel-Jacobi map for regular fibered surfaces.

Let $f:C\to S$ be a regular fibered surface where $S=Spec(R)$, $R=dvr$. Assume $C$ has smooth geometrically integral generic fibre $C_K$. We also assume the existence of a section $x\in C(S)$. Let ...