The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
132 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
297 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
171 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 ...
0
votes
0answers
57 views

plotting parametrized algebraic curves near singularities

I have a parametrized algebraic curve: x(t)=A(t)/D(t); y(t)=B(t)/D(t); with A(t) and B(t) being polynomials in t. The curve is solution of a linear system in two unknowns x and y with Cramer's ...
1
vote
1answer
167 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
205 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
249 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
214 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
298 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
147 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, ...
9
votes
0answers
144 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
174 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 ...
4
votes
1answer
111 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
215 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
91 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
269 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
180 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
82 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
49 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
173 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
185 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
106 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
69 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
321 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
143 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
222 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
110 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 ...
1
vote
0answers
100 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
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 ...
4
votes
1answer
150 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 ...
1
vote
1answer
164 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
155 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
175 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
111 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$, ...
3
votes
0answers
132 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
165 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
319 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
186 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 ...
0
votes
1answer
214 views

Example of non-vanishing of first cohomology of a torsion coherent sheaf on a curve

By a curve we mean a projective scheme of pure dimension one. Can some one give an example of a curve $C$ and a torsion coherent sheaf on $C$ such that its first cohomology group does not vanish? ...
2
votes
0answers
103 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$ ...
1
vote
0answers
93 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
1answer
114 views

divisors on $\overline{\mathcal{M}}_{g,n}$ that are trivial on certain $F$-curves

Inside the moduli space of curves $\overline{\mathcal{M}}_{g,n}$ one can distinguish two classes of $F$-curves isomorphic to $\mathbb{P}^1$: those of type $\overline{\mathcal{M}}_{0,4}$, and those of ...
7
votes
1answer
253 views

Singularities of moduli spaces of curves

Let $\overline{M}_{g,n}$ be the moduli space of $n$-pointed genus $g$ Deligne-Mumford stable curves. This is a normal projective scheme. Then $$codim_{\overline{M}_{g,n}}Sing(\overline{M}_{g,n})\geq ...
3
votes
1answer
111 views

Non-abelian group from affine hermitian curve

I was playing with the Hermitian curve $y^q + y = x^{q+1}$ over the field $GF(q^2)$ and chanced upon the following (non Abelian) group law on the points of the affine curve: $(a,b) * (c,d) = ...
0
votes
2answers
306 views

Global sections of the structure sheaf of a non-reduced projective scheme

Let $C$ be a curve in $\mathbb{P}^3$ which is of local complete intersection is some smooth surface in $\mathbb{P}^3$. Assume $C$ is non-reduced. What can we say about $h^0(\mathcal{O}_C)$? When can ...
4
votes
2answers
179 views

A question on the existence of the quotient of the Hilbert scheme of tricanonical curves

In order to construct the coarse moduli scheme of smooth projective curves of genus $g$, the classical results of Mumford (using the numerical criterion of stability) say that for large enough $m$, ...
2
votes
2answers
245 views

Connections on the Hodge bundle?

Let $\mathcal{M}_g$ be the moduli space of curves of genus $g$. Consider the holomorphic bundle $\mathcal{H}^k\rightarrow\mathcal{M}_g$ whose fiber over a curve $C\in\mathcal{M}_g$ is the space of ...
3
votes
2answers
231 views

spin bundle vs. hodge bundle

Let $\overline{\mathcal{M}}^r_{g,n}$ the space of $n$ pointed $r$-stable curves of genus $g$, endowed with a root of the canonical sheaf, and let $\mathcal{C} \to \overline{\mathcal{M}}^r_{g,n}$ be ...
3
votes
0answers
99 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$ ...
12
votes
2answers
718 views

Permuting collinear points on a curve

Let $C \subset {\bf CP}^2$ be an irreducible algebraic smooth (projectively) planar curve over the complex numbers of degree $d$ (we allow finitely many points to be deleted from $C$ to make it ...