Tagged Questions

The tag has no wiki summary.

learn more… | top users | synonyms

7
votes
1answer
454 views

Algebraic curve mapping to elliptic curve - how to check whether this is possible?

Question: Let $C$ be an algebraic curve over some field (like the rationals) given by a plane projective model (possibly with singularities). Is there an easy way to see if this curve has a ...
2
votes
2answers
426 views

Moduli spaces of vector bundles and stability conditions

Let $C$ be an algebraic curve. One of the easiest examples of stabilty functions is $$Z:Coh(C)/ \{ 0 \} \rightarrow \overline{\mathbb{H}};\ \ \ \ Z(E):=-deg(E)+i\cdot rk(E).$$ This induces the ...
1
vote
0answers
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
1answer
179 views

invariants of plane quartics

Does anybody know a good reference where the invariants for plane quartic curves are developed?
3
votes
2answers
265 views

Secant variety of an irreducible non-degenerate projective curve

I would like to know why every non-degenerate irreducible projective curve has a three-dimensional secant variety. It is clear to me that the dimension can't be larger. Thanks for your help!
9
votes
1answer
538 views

Rank two vector bundles on a curve of genus two

I recently learned of an interesting result of Narasimhan and Ramanan from 1969, which says that moduli space of rank two vector bundles with trivial determinant on a curve $X$ of genus two is ...
3
votes
2answers
639 views

Cartier divisors on singular curves

(1) Let $X$ be a projective (integral) curve over $\mathbb{C}$ and let $P$ be a singular point of $X$. Is there always a Cartier divisor whose support is exactly $P$ (set-theoretically)? The ...
7
votes
0answers
404 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
380 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
199 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
564 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
146 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
125 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
255 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
233 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
253 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
221 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
361 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
420 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
837 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
338 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
262 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
165 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
407 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
805 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
342 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
359 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
700 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
374 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
330 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
261 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
226 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
854 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
510 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
508 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
239 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
369 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
281 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
948 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
355 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
150 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
194 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
354 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 ...