The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
1answer
94 views

Invertible functions on open subset of hyperelliptic curve

Let $C \to \mathbf P^1$ be a hyperelliptic curve of genus $g \ge 2$ obtained as a double cover of $\mathbf P^1$ branched at $r$ points. Let $\tilde U\subset C$ be its open subset obtained by removing ...
6
votes
1answer
424 views

Understanding of Tamagawa numbers of hyperelliptic curve

One's can find following definition of tamagawa numbers in Dino Lorenzini paper "Torsion and Tamagawa numbers": Let $K$ be any discrete valuation field with ring of integers $O_K$ , uniformizer ...
7
votes
2answers
492 views

Calculate reduction of Jacobian of hyperelliptic curve

Suppose I have a hyperelliptic curve of genus $2$ over $\mathbb Q$. I want to get information about its Jacobian reduction at prime $p$ (especially, in case $p=2$). Also I'm interesting in the group ...
3
votes
0answers
131 views

A generalization of the Weil reciprocity law in a case of any two sections of line bundles on a curve

It seems to me that there should exist a generalization of the Weil reciprocity law on curves, where instead of functions one takes arbitrary sections of two line bundles. More precisely, it might ...
2
votes
1answer
155 views

Units of Endomorphism Rings of Jacobian Varieties with Real Multiplication

Let $(A,a)$ be a principally polarised (with indecomposable polarisation) Abelian variety over $\mathbb C$. Assume that End(A) contains an order $R$ of a totally real number field of degree $>1$ ...
3
votes
1answer
423 views

Conditions for a parametric curve to avoid self-intersection?

Suppose a planar curve $C$ is defined by parametric equations in $t$: $x(t)$ and $y(t)$. Are there conditions on these two functions that guarantee that $C$ does not self-intersect? For example, the ...
10
votes
2answers
709 views

Rigorous version of heuristic argument for genus-degree formula?

A recent MO question about non-rigorous reasoning reminded me of something I've wondered about for some time. The genus–degree formula says that genus $g$ of a nonsingular projective plane curve of ...
2
votes
1answer
148 views

A problem related to deformation of irrational curves

The following question arises from the proof of "bend-and-break" lemma: Let $X$ be a projective variety over $\mathbb{C}$ and $C$ be an irrational smooth curve. Let $c \in C$ be a fixed closed point. ...
2
votes
0answers
73 views

A basic question on complete intersection liaisons of curves

I am a beginner in the Linkage theory and would like to clarify certain points I am not sure of. Let $P$ be the Hilbert polynomial of a curve in $\mathbb{P}^3$. Let $L$ be an irreducible component of ...
2
votes
0answers
105 views

Moduli space of sheaves on a ribbon

In the paper "A non-linear deformation of the Hitchin dinamycal system", Donagi-Ein-Lazarsfeld describe the irreducible components of the moduli space $\mathcal M_R$ of stable sheaves of numerical ...
6
votes
2answers
303 views

Varieties with polynomial point count and no odd cohomology

Let $X$ be a proper algebraic variety. $X$ is said to have polynomial point count if there is a polynomial $P$ such that for all finite fields $\mathbb F_q$ with $q$ elements, $|X(𝔽_q)|=P(q)$. If in ...
2
votes
0answers
253 views

Beautiful curves in Gromov-Witten theory, and in Donaldson-Thomas theory

Let $X$ be a smooth complex projective threefold, and $\beta\in H_2(X,\mathbb Z)$ a curve class. In the Kontsevich's moduli space of stable maps, $\overline M_g(X;\beta)$, a general point $[f:C\to X]$ ...
7
votes
2answers
433 views

Is a Deligne-Mumford curve defined over Qbar if and only if its coarse moduli space is

Let $\mathcal X$ be a smooth proper finite type Deligne-Mumford stack over $\mathbb C$ that is generically a scheme. Let $X$ be its coarse moduli space. If $\mathcal X$ can be defined over ...
1
vote
1answer
185 views

Unique decomposition of locally free sheaf

Below let's work over coherent sheaves on a smooth projective algebraic curve. We call a subsheaf $\mathcal{F'}$ of $\mathcal{F}$ saturated if it $\mathcal{F/F'}$ is locally free. We call a locally ...
7
votes
0answers
329 views

The curve $(x+y+z)^3=27xyz$

Can someone point me to literature about the curve defined by $F(x,y,z):=(x+y+z)^3-27xyz$? I'm sure this curve must be well-studied, due to the remarkable property that $$ F(x^3,y^3,z^3) = ...
5
votes
1answer
187 views

Units of $\mathbf Z[X,Y]/(P(X,Y))$

Let $P(X,Y)\in \mathbf Z[X,Y]$ be an irreducible polynomial and let $A$ denote the quotient ring $\mathbf Z[X,Y]/(P)$. What is known about the group of units of $A$? It's not even clear to me that ...
1
vote
1answer
192 views

Proof of the Belyi's theorem: where it is really used the hypothesis?

Consider the Belyi's theorem: If a smooth projective curve $X$ is defined over $\overline{\mathbb Q}$, then there exists a finite morphism $X\longrightarrow\mathbb P^1(\mathbb C)$ with at most ...
2
votes
1answer
225 views

Surfaces singular along a curve

Let $C\subset\mathbb{P}^3$ be a smooth curve a degree $d$ and genus $g$. Let $\mathcal{S}$ be the system of surfaces of degree $k$ in $\mathbb{P}^3$ containing $C$ with multiplicity $\beta$. What is ...
2
votes
2answers
355 views

Etale covers of a hyperelliptic curve

Let $X$ be a hyperelliptic curve of genus at least two. Let $Y\to X$ be a finite etale morphism with $Y$ connected.Then $Y$ is a smooth projective connected curve. Is $Y$ hyperelliptic? More ...
1
vote
2answers
297 views

multi-tangent space for algebraic curves

For a general plane curve of degree $\ge 4$, the number of bitangent lines is known. Also, I found that the number of tritangent planes have been worked out for some space curves given by intersection ...
2
votes
1answer
320 views

degree 7 rational curves through ten points in P4

This is a very classical flavoured question, and probabaly it is not difficult. I would like to know the shape of the space of rational degree 7 curves in $P^4$ that pass through 10 fixed points. By ...
0
votes
1answer
162 views

Curve of degree $d$ through $2d+1$ points in $\mathbb P^3$

It is known that a Hilbert scheme of degree $d$ curves in $\mathbb P^3$ can have dimension more than $4d$. But, does it imply that for some types of curves there are such a curve through any, say, ...
10
votes
0answers
161 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 ...
1
vote
1answer
205 views

Counting curves of degree 4 in $\mathbb{P}^{3}$

Let $p_1,...,p_8\in\mathbb{P}^{3}$ be points in linear general position. Then there exists a unique elliptic curve $C$ of degree $4$ passing through $p_1,...,p_8$. I am interested in what happens for ...
5
votes
1answer
141 views

Normalization of a curve and push forward of vector bundles

Let $C$ be a projective curve (over an algebraically closed field, not necessarily of characteristic zero) which is smooth except for exact one node. Let $\pi:\tilde{C} \to C$ be its normalization. ...
7
votes
1answer
314 views

Finite morphisms to projective space

Let $X$ be a projective variety of dimension n. Then there exists a finite surjective morphism $X \to \mathbf P^n$. Let $d$ be the minimal degree of such a finite surjective morphism. Let $d^\prime ...
1
vote
0answers
116 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 ...
9
votes
1answer
333 views

Showing that $2c_1(f_*\mathscr O_X)=-f_*R_f$ on curves, maybe by local fields

I originally asked this question on Mathematic StackExchange, but it did not seem to be attracting any attention, so now I am trying mathoverflow. I hope it is not too simple or unappropriate a ...
5
votes
1answer
233 views

general position lemma for tangent lines of an algebraic curve

Let $X$ be a smooth irreducible algebraic curve in $\mathbb{P} V$. The general position lemma states that the points given by general hyperplane section of $X$ are "in general position". I'm ...
0
votes
0answers
98 views

Embed the normalization of a curve in a larger space

I'd like to believe that this problem has a positive answer, but I don't know a nice reference. Actually I've never worked with embedded curves, so I apologize in advance if the question is too silly. ...
1
vote
1answer
55 views

Function field Towers of larger depth of recursion

A function field tower is a sequence of function fields $$\mathcal{F}_0 \subset \mathcal{F}_1 \subset \mathcal{F}_2 \dots \subset \mathcal{F}_{n} \subset \mathcal{F}_{n+1} \subset \dots $$ over a base ...
2
votes
2answers
207 views

Curve of 3-secant lines

Let $C\subset\mathbb{P}^{3}$ be a smooth, non-degenerate curve over an algebraically closed field of characteristic zero. Let $d$ be the degree of $C$ and $g$ be its genus. Consider the variety ...
1
vote
2answers
201 views

factorizing a quartic plane curve as $f_3f_1-f_2^2$

Let $C$ be a quartic plane curve. Suppose that for a given coordinate system $C=(F_4(x_0,x_1,x_2)=0)$ where there the polynomial $F_4$ factorizes as $$ F_4(x_0,x_1,x_2) = ...
2
votes
1answer
112 views

When is the Clifford index of a curve computed by pencils?

Under which circumstances is the Clifford index of a curve computed by pencils?
1
vote
1answer
71 views

Determining the desingularization from the complete local ring

Suppose I have a curve $C$ over a field $k$ and that $p$ is a singular point of $C$. Let $f : X \to C$ be the desingularization of $C$ at $p$. Then for each $s \in f^{-1}(p)$ we have a map of local ...
4
votes
2answers
382 views

When are arithmetic and geometric monodromy equal?

Let $f: Y\to X$ be a finite separable morphism of curves over the finite field $\mathbb{F}_q$. Is there a simple condition under which the arithmetic and geometric monodromy of the covering are equal ...
2
votes
0answers
157 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 ...
9
votes
1answer
237 views

Minimal number of intersection of curves in $\mathbb P^2$

Let $C_1$ and $C_2$ be two smooth curves of degrees $m$ and $n$ in $\mathbb CP^2$. By Bezout's theorem the maximal number of their intersections is $mn$. I wonder if the minimal possible number is ...
1
vote
1answer
130 views

Castelnuovo-Mumford regularity of curves

Let $C$ be a projective curve (scheme of pure dimension $1$). This induces a short exact sequence $$0 \to \mathcal{I}_C \to \mathcal{O}_{\mathbb{P}^n} \to i_*\mathcal{O}_C \to 0$$ for some $n$ such ...
2
votes
0answers
154 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 ...
2
votes
0answers
132 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 ...
5
votes
1answer
197 views

Higher Weierstrass points on curves of genus 3

So this question is directly related to a comment made by David Mumford in his Lecture 1 given at U. Michigan in 1974 entitled: What is a curve and how explicitly can we describe them ? Mumford ...
2
votes
1answer
234 views

Does the normalization morphism induce isomorphism on residue fields?

The question is basically coming from the following situation: Let $C$ be an integral curve over a field $k$ (EDIT and assume that $k$ is not algebraically closed) and let $\phi\colon C^N\to C$ be the ...
1
vote
0answers
197 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 ...
2
votes
1answer
314 views

How to obtain the Period matrix from the Igusa Invariants of a genus two curve?

I am looking for an algorithm to obtain the period matrix tau= (tau1 & tau12\ tau12 & tau2) from the Igusa invariants of a genus two curve. More precisely: I consider a family of genus two ...
1
vote
1answer
130 views

Restriction of sheaves on curves

Let $C$ be a scheme of pure dimension $1$. Let $C_1$ be a closed subscheme of $C$ of pure dimension $1$. Denote by $i:C_1 \hookrightarrow C$ a closed immersion. Given a sheaf $\mathcal{F}$ on $C$, ...
4
votes
0answers
262 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 ...
7
votes
1answer
192 views

Projective embedding in families of curves

Let $\pi:\mathcal{X} \to B$ be a family (flat, projective, surjective morphism) of projective curves (not necessarily reduced) where $B$ is smooth, irreducible. Suppose that for some closed point $b_0 ...
6
votes
1answer
402 views

Can any curve be embedded into $\mathbb{P}^3$?

We know from Hartshorne's "Algebraic geometry" that if a curve $C$ is smooth then there exists a closed immersion of $C$ into $\mathbb{P}^3$. Does this still hold if $C$ is not generically reduced or ...
1
vote
1answer
216 views

Weierstrass points on modular curves

What is knowns about Weierstrass points on modular curves? Are there any explicit formulas of them, or any information about Weierstrass gaps? I am interested in (compactifications of) the quotients ...