The tag has no wiki summary.

learn more… | top users | synonyms

7
votes
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
3answers
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
3answers
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
2answers
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
3answers
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
0answers
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
1answer
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
1answer
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
4answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
5answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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
1answer
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
5answers
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
2answers
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
2answers
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
2answers
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
0answers
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
0answers
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 ...