The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
46 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
140 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 ...
3
votes
1answer
184 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 ...
0
votes
0answers
81 views

Branch points lie in $\mathbb P^1\left(\overline{\mathbb Q}\right)$ [migrated]

Preamble: Probably my question will be highly downvoted and soon closed, because it is too simple. However I will make a tentative because I'm working on this for several days without finding any ...
2
votes
2answers
206 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
184 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 ...
17
votes
2answers
584 views

Tame morphism from a curve to $\mathbb{P}^1$

Let $k$ be an algebraically closed field of characteristic $p\ge 0$. Let $C$ be a smooth projective curve over $k$. Is it possible to find a map $C \to \mathbb{P}^1$ that is tamely ramified at every ...
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 ...
2
votes
1answer
280 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
136 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, ...
8
votes
0answers
128 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 ...
2
votes
1answer
148 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 ...
3
votes
1answer
95 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
177 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
79 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 ...
2
votes
1answer
135 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 ...
2
votes
0answers
135 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 ...
5
votes
1answer
163 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 ...
9
votes
1answer
239 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 ...
0
votes
0answers
72 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. ...
3
votes
2answers
150 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
1answer
45 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 ...
3
votes
2answers
234 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!
1
vote
2answers
182 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
102 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?
4
votes
2answers
299 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 ...
1
vote
1answer
61 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 ...
9
votes
1answer
196 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
100 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
71 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 ...
3
votes
0answers
155 views

How to induce infinitesimal deformations on curves

Let $C_1, C_2$ be two projective curves (a scheme of pure dimension $1$) in $\mathbb{P}^3$. The Hilbert scheme of curves contains informations of deformations of curves in $\mathbb{P}^3$. The question ...
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 ...
3
votes
1answer
137 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
121 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
132 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 ...
1
vote
1answer
107 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
97 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
148 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
299 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
172 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
174 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
98 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
85 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
2answers
105 views

normality of moduli of prym curves

Is the moduli space of Prym curves (curves $C$ with square root of $\mathcal{O}_C$, compactified via admissible covers - by Beauville) of a given genus $g$ normal? Why?
1
vote
1answer
107 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 ...
8
votes
1answer
209 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
101 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) = ...
4
votes
2answers
169 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$, ...
0
votes
2answers
257 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 ...
2
votes
2answers
201 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 ...