The algebraic-curves tag has no wiki summary.

**7**

votes

**0**answers

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

**8**

votes

**1**answer

373 views

### what is the maximum number of rational points of a curve of genus 2 over the rationals

Conjecturally, there exists an integer $n$ such that the number of rational points of a genus $2$ curve over $\mathbf{Q}$ is at most $n$. (This follows from the Bombieri-Lang conjecture.)
We are ...

**1**

vote

**1**answer

160 views

### Is the number of twists of a curve with a section in a given field finite

Let $X$ be a smooth projective geometrically connected curve over a number field $k$ of genus $g\geq 2$.
Is the number of twists of $X$ always infinite? (The answer is no, because there aren't any ...

**6**

votes

**1**answer

198 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

**1**answer

552 views

### Picard group of a singular projective curve

Let $X$ be a singular irreducible projective curve over an algebraically closed field and $\pi : \widetilde{X} \to X$ the normalization morphism. In the book on Neron models by Bosch et al. (I have ...

**7**

votes

**0**answers

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

**1**

vote

**2**answers

124 views

### Number of solutions to $mx^2+ny^2 \equiv k\pmod{p}$

I need a reference for the result which gives the number of solutions to the congruence $mx^2+ny^2 \equiv k\pmod{p}$. This result seems to be something that would be discussed in Gauss' ...

**4**

votes

**0**answers

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

**1**

vote

**1**answer

153 views

### pull back of hodge bundle via glueing map

Hi,
I need a precise reference for the following fact, which is certainly well known, but I do not find any.
I consider the natural glueing map of pointed curves $\overline{M}_{g_1,n}\times ...

**1**

vote

**1**answer

232 views

### Riemann-Roch and dim of deformation space.

Let's consider curve $C\subset \mathbb P^n$ of degree $d$ and genus $g$. We want to calculate dimension of deformation space of $C$, i.e. $h^0(C,L)$ where $L$ is the normal bundle.
We can decompose ...

**2**

votes

**1**answer

250 views

### Maps of algebraic curves (and their Jacobian)

When people consider a map $\varphi: C \rightarrow C$ between algebraic curves and they mention the "associated map" on the Jacobian of $C$. Which map do they mean? Do they mean $\varphi^{\*}$ or ...

**3**

votes

**0**answers

217 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).

**2**

votes

**1**answer

360 views

### Genus two pencil in K3 surface

It is known that smooth $K3$ surface can be obtained as two fold branched cover of rational elliptic surface $E(1) = \mathbb{CP}^2 9 \bar{{\mathbb{{CP}^2}}}$ along the smooth divisor $2F_{E(1)} = 6H - ...

**3**

votes

**3**answers

413 views

### Smooth Models of Hyperelliptic Curves (+ a concrete question)

My general question is : given a hyperelliptic curve $y^2 = f(x)$ with disc$f(x) \ne 0$, is there a general formula for finding a smooth complete model of the curve?
Specifically, I want a smooth, ...

**7**

votes

**3**answers

831 views

### Quadratic reciprocity and Weil reciprocity theorem

I was told that Weil reciprocity theorem (one has two meromorphic function $f,g$ on a complex curve $C$, so $\prod\limits_{x\in C} g(x)^{ord_xf}=\prod\limits_{x\in C}f(x)^{ord_xg} \ $ where $ord_xf$ ...

**2**

votes

**2**answers

334 views

### Recognize this plane curve?

An aspect of my work led to a plane curve with implicit equation
$$
x^2+y^2 = 3 (y/2)^{2/3} + 1
$$
Actually, I started with the parametrization below and derived from it the
equation above:
...

**18**

votes

**1**answer

2k views

### Does there exist a curve of degree 11 having 15 triple points?

Does there exist an irreducible curve of degree 11 in the projective plane which would have 15 triple points?
For information, such a curve would be rational, if it exists, and would be smooth at ...

**1**

vote

**2**answers

261 views

### Pencil of lines and degree $d$ curve in $\mathbb{CP}^2$

Question. Let $C$ be a generic smooth curve of degree $d$ in $\mathbb{CP}^2$, and let $P$ be an arbitrary point away from this curve. How many lines are there through point $P$ that are tangent, or ...

**2**

votes

**1**answer

163 views

### Affine model of a hyperelliptic curve

We know that any hyperelliptic curve over a field with characteristic not equal to $2$ has an affine model given by $y^2 = f(x)$, with $deg(f) = 2g+1$ or $2g+2$.
Can we always find a model such that ...

**2**

votes

**1**answer

434 views

### Conductor of an elliptic curve

Given any elliptic curve over $\mathbb{Q}$ of conductor $N$, by modularity of elliptic curves,
there exists a surjective morphism from $X_0(N)$ $\rightarrow$ $E$.There may be several such 'N' and ...

**2**

votes

**1**answer

400 views

### Correspondences on curves and their induced maps on differentials?

How does a correspondence on an algebraic curve $C$ induce a map on $\Omega^1_C$? Apparently it passes through the Jacobian of $C$ but I don't quite understand it.
More specifically, I was reading a ...

**9**

votes

**3**answers

770 views

### Extending birational isomorphisms between planar curves to the P^2

Let $k$ be a field and let $C,D$ be two integral curves in $\mathbb{P}^2_k$. Now let $f:C \to D$ be a birational isomorphism. Can $f$ be extended to $\mathbb{P}^2_k$. To be precise, does there exist a ...

**2**

votes

**0**answers

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

**1**

vote

**1**answer

340 views

### Is Castelnuovo bound tight?

Castelnuovo bound says that if we have a function field(algebraic curve) $F$ and a divisor on it $D$ then:
$g\leq c\frac{\deg(D)^2}{\ell(D)}$(where $c$ is some global constant say 2 and $g$ is a ...

**3**

votes

**1**answer

358 views

### A question about the Tannakian etale fundamental group of a curve

Let $X$ be a smooth connected quasi-projective curve over $\mathbf{Q}$. Let $U$ be the pro-unipotent etale fundamental group of $X$ over $\mathbf{Q}_p$.
$U^1 = U$ and let $U^n =[U,U^{n-1}]$.
Let ...

**7**

votes

**4**answers

684 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

**0**answers

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

**1**

vote

**1**answer

370 views

### Hyperelliptic curves over characteristic two fields

I have been looking at hyperelliptic curves over an algebraically closed field $k$ of characteristic two, with a view towards finding the basis for the vector space of holomorphic differentials. To do ...

**2**

votes

**1**answer

328 views

### Families of three dimensional algebraic curves

Let's consider spatial algebraic curve $C\subset \mathbb P^3$.
How could I describe a family of such curves, for example the set of all curves genus $g$ passing through $k$ points?
I'd like to some ...

**3**

votes

**1**answer

260 views

### Defining ideals for rational curves in space

A rational normal curve $C_d\subset\mathbb{P}^d$ is defined by quadrics. I guess, for the generic projection $\mathbb{P}^d\stackrel{\pi}{\to}\mathbb{P}^n$ the image $\pi(C_d)$ is still defined by ...

**2**

votes

**1**answer

225 views

### Calculating the local index of intersection of two algebraic curves.

Let $F_1,F_2$ be two polynomials of two variables $(x,y)$ (say complex variables).
Suppose that $F_1$ and $F_2$ have no common factors and $F_1(P)=F_2(P)=0$.
What is in practice the quickest way to ...

**5**

votes

**5**answers

842 views

### The use of embedding a curve into its Jacobian

I'm looking for as many examples/applications as possible of the use of embedding a smooth projective geometrically connected curve $X$ over a number field $k$ with $X(k)\neq \emptyset$ into its ...

**11**

votes

**1**answer

502 views

### A curve with bad reduction for which the jacobian has good reduction

Let $K$ be a number field. If $X$ is a curve over $K$ with good reduction at a place $v$ of $K$, then the Jacobian of $X$ also has good reduction at $v$. This follows from the functoriality of the ...

**3**

votes

**1**answer

1k views

### Trace of Frobenius over $F_q$

Let $q_0$ be a prime and $q$ = $q_0^n$.
Let $a(F_q/F_{q_0})$ denote any integer which is trace of Frobenius over the field $F_q$ for some elliptic curve which can be defined over $F_{q_0}$.
It is ...

**4**

votes

**1**answer

503 views

### Does the Mordell conjecture imply the Shafarevich conjecture

The base field is a number field.
It is known that the Shafarevich conjecture implies the Mordell conjecture (Kodaira-Parshin).
Is the converse also true?
Note that both conjectures are now ...

**3**

votes

**0**answers

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

**1**

vote

**0**answers

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

**3**

votes

**1**answer

279 views

### How big is the locus of Galois covers in the moduli space of curves

Let's consider the moduli space $M_g$ of curves of genus $g$ over $\mathbf{C}$.
Not every curve of genus $g$ is a Galois cover (of the projective line) if $g\geq 3$.
How big is the locus of Galois ...

**4**

votes

**1**answer

940 views

### Bound for the number of rational points on the modular curve

By Mazur's theorems (Reference:- Modular curves and the Eisenstein ideal, 1977),
we know that the only rational points of X_0(N) for N any prime > 163 are
the two cusps (o) and (oo) (|X_0(N)(Q)| = 2 ...

**6**

votes

**2**answers

350 views

### Zograf's bound on the index of a modular curve for Shimura curves

I've been reading Voight's paper on Shimura curves and it prompted the following question; see http://www.cems.uvm.edu/~voight/articles/shimura-clay-proceedings-071707.pdf for which notes I'm talking ...

**6**

votes

**0**answers

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

**2**

votes

**1**answer

192 views

### $\psi$ class in $\overline{M}_{0,n}$

Basic question, but I found no reference.
Is the $\psi$ class the only one which is not a boundary class in the PIcard group of the Deligne-Mumford compactification of $\mathcal{M}_{0,n}$? Or can it ...

**2**

votes

**1**answer

352 views

### fano moduli varieties of vector bundles

Let $M$ be a fine moduli space of vector bundles on curve which is an algebraic variety as well. The first example of such an object that I have in mind is rank 2, deg 1 VB on a genus 2 curve. This is ...

**2**

votes

**1**answer

180 views

### Maximal sets of algebraic curves, closed under rotation, dilation, and translation, that pairwise intersect at most twice

Consider a set of nontrivial algebraic curves on the plane groovy if that set is closed under rotation, dilation, and translation, and has the property that no two members of the set intersect more ...

**8**

votes

**5**answers

661 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

427 views

### Quartic Space Curves

It is an exercise in Hartshorne to classify nonsingular quartic curves in projective 3-space. I am interested in what happens when we allow singularities. In particular, I am looking for an ...

**7**

votes

**2**answers

429 views

### What is the advantage of the approach of valuations to the Riemann-Roch Theorem for curves (a la Chevalley)? AKA theory of algebraic functions in one variable

Hello,
Some books and courses take the approach to Riemann-Roch for curves considering only the algebraic viewpoint of algebraic extensions of a field k(t) without going into any algebraic geometry ...

**5**

votes

**2**answers

417 views

### Max Noether's residual intersection theorem (Fundamentalsatz): importance and applications

I would like to ask a couple of naive question about the following theorem of Max Noether:
http://en.wikipedia.org/wiki/AF%2BBG_theorem
In the book of Fulton, page 60
...

**9**

votes

**0**answers

324 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

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