An algebraic curve or plane algebraic curve is the set of points on the Euclidean plane whose coordinates are zeros of some polynomial in two variables.

learn more… | top users | synonyms

3
votes
0answers
114 views

About the difference variety of a curve

What is known about the singularity of the difference variety of a smooth curve $C$ of genus g>2? The difference variety is $C-C :=\{\mathcal{O}(p-q)| p,q\in C\} \subset Pic^0C$.
2
votes
1answer
225 views

Where does the name $NE(X)$ come from?

Why do we call the cone of curves(effective one cycles) on a variety $X$ as $NE(X)$, what does $NE$ stand for?
1
vote
0answers
130 views

Twisting locally free sheaves in characteristic $p$

Let $X$ be an irreducible nodal projective curve over an algebraically closed field of characteristic $p>0$. Denote by $\pi:\tilde{X} \to X$ the normalization of $X$. Recall, the short exact ...
4
votes
1answer
155 views

Mapping class group of a punctured genus 0 surface

Let $T_{0,n}$ be the Teichmuller space of $n$-punctured genus $0$ Riemann surface, and $M_{0,n}$ the Moduli space (assume $n\geq 3$ and the punctures are numbered). What is the correct notion of the ...
4
votes
1answer
194 views

Existense of semi-stable vector bundles on smooth curves in positive characteristic

Let $k$ be an algebraically closed field of positive characteristic and $X$ be a smooth projective curve over $k$ of genus $g \ge 2$. Fix a polarization $L$ on $X$. Does there exist a semi-stable ...
2
votes
1answer
153 views

Gonality and Clifford dimension of curves on a K3 surface

Let $X$ be a K3 surface. Let $L$ be an ample line bundle on $X$. When/how can we say that any smooth curve $C\in |L|$ has maximal gonality $k=[\frac{g+3}{2}]$ and Clifford dimension 1. Is there some ...
2
votes
2answers
181 views

Finite orbits on an elliptic curve with two generic involutions

Let $C$ be a (very) general genus 1 curve embedded in $\mathbb{CP}^1\times \mathbb{CP}^1$ as a (2,2)-divisor. Each projection defines $C$ as a double cover of $\mathbb{CP}^1$ and induces an ...
0
votes
0answers
48 views

Cross sections of semialgebric sets

Let $n$ be bigger than two, and let $A$ be a subset of the $n$-dimensional Euclidean space. Suppose that the intersection of $A$ with any $(n-1)$-dimensional affine hyperplane is semialgebraic. ...
3
votes
1answer
155 views

Standard techniques on rationally connected varieties

Is there some standard technique or approach to determine when a (irreducible) subvariety of a rationally connected variety is again rationally connected? Any reference/text dealing with this kind of ...
4
votes
1answer
164 views

A conjecture for a curve cuts a curve - variant Cayley-Bacharach's theorem

I propose a conjecture variant of Cayley-Bacharach's theorem. I'm an electrical engineer, I am not a mathematician. I don't know how to prove this result. Could you give a solution or let me know ...
5
votes
1answer
196 views

A conjecture associated with n-gon cut curve of degree m

This conjecture is a generalization of A theorem for cubic-A generalization of Carnot theorem, in MSE question. I'm an electrical engineer, I am not a mathematician. I don't know how to prove this ...
4
votes
0answers
96 views

A question about complex plane algebraic curves

I would like to ask a question about plane projective curves. Let $C\subset{\mathbb P}_2={\mathbb P}(V)$ be a plane curve of degree $n\geq 3$. Then we have a non splitted exact sequence $$0\...
3
votes
1answer
147 views

The line bundle of the divisor at infinity of the moduli stack of stable curves of genus $g \ge 2$

Let $\overline{\mathscr{M}}_g$ be the $\mathbb{Z}$-algebraic stack of stable curves of genus $g \ge 2$, as constructed in the paper of Deligne and Mumford. The degeneracy locus of the universal stable ...
0
votes
0answers
97 views

A property of the semi-local ring of the normalization of a singular curve

I have two following questions. 1) Let $R$ be a local ring in an algebraic function field of one variable over an algebraic closed field $k$. Let $\bar{R}$ and $m$ be its integral closure and maximal ...
3
votes
0answers
72 views

Families of trigonal curves with hyperelliptic limit

Suppose I have a family of trigonal curves $C\to D$ over a closed disk $D$ where the central fiber $C_0$ is hyperelliptic (this is of course possible since the hyperelliptic locus is in the closure of ...
6
votes
0answers
287 views

Motivic fundamental group of the moduli space of curves?

Suppose I have a smooth projective family of varieties of varieties over $\mathcal M_g$ - i.e. a universal functor, commuting with deformations, from curves to smooth projective varieties. Can I ...
1
vote
0answers
69 views

Ring of functions regular away from $\infty$ of an algebraic curve

Suppose $X$ is a smooth, geometrically irreducible projective algebraic curve over the finite field $\mathbb{F}_q$ and fix a closed point $\infty \in X$. Denote by $A = \Gamma(X - \{\infty\}, \...
4
votes
0answers
149 views

Intuition behind if neither $D$ nor $K-D$ are equivalent to an effective divisor, then $\deg(D) = g-1$?

Is there any intuition behind the following fact? If neither $D$ nor $K-D$ are equivalent to an effective divisor, then $\deg(D) = g-1$. Here, $K$ is the canonical divisor. It means the degrees ...
1
vote
0answers
100 views

Set of smooth curves on the Hilbert scheme is open. H

Let $H = Hilb_{d,g,r}$ be the Hilbert scheme of genus $g$ curves of degree $d$ in proyective space $\mathbb{P}^r$, over an algebraically closed field $k$. Is it true that the set of points of $H$ ...
0
votes
0answers
125 views

Existence of a map between curves

Given two algebraic curves defined over the rationals, is there a method for determining whether there exists a surjective map from one curve to the other? For instance, suppose X and Y are affine ...
4
votes
1answer
184 views

Bézout's theorem for arcs in the plane

Consider two polynomials $p,q \in {\mathbb R}[x,y]$, both of degree $d$. Let $\gamma_p$ and $\gamma_q$ be the two curves in ${\mathbb R}^2$ that are defined by these polynomials, and assume that these ...
4
votes
0answers
157 views

Is there a concrete description of $\Theta_{sing}$ for a generic curve of genus 6?

If C is generic of genus 6, then $\Theta_{sing}$ is a smooth surface. Can anyone give me a reference or a hint as to what that surface might be. What are the numerical characteristics of this surface? ...
4
votes
1answer
165 views

Non canonical singularities of moduli spaces of curves

Is it true that for any $g\geq 1$ and $n$ such that $\overline{M}_{g,n}$ has dimension at least two the locus in $\overline{M}_{g,n}$ parametrizing reducible curves which are union of an elliptic ...
1
vote
0answers
169 views

Riemann-Roch formula for nodal curves

Let $X$ be an irreducible, reduced, projective curve over an algebraically closed field, with at worst nodes as singularities. Let $\mathcal{F}$ be a trivial vector bundle on $X$ of rank $r$. Consider ...
0
votes
1answer
177 views

Model over DVR for smooth projective curves

Let $C$ be a smooth, projective, geometrically irreducible curve of genus at least $2$ over a complete discrete valued field $F$ of characteristic zero (not necessarily algebraically closed). Let $R$ ...
0
votes
0answers
178 views

Different proof's of Marten's theorem

I am referring to Marten's theorem on the dimension of $W_d^r $ as in ACGH p. 192 . It seems to me that an even shorter proof can be given using Hopf's Theorem that if $\nu : A \otimes B \to C $ is ...
2
votes
2answers
296 views

Theta characteristics of genus$\geq3$ curve

Let $C$ be a smooth curve of genus$\geq3$ over $\mathbb{C}$, so there are $2^{g-1}(2^g-1)$ odd theta characteristics and $2^{g-1}(2^g+1)$ even theta characteristics. Do we know how many of them has $h^...
1
vote
1answer
163 views

Morphisms contracting a family of curves

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties. Let $S\subseteq X$ be a surface admitting a morphism $g:S\rightarrow C$ to a curve $C$ such that any fiber of $g$ is a curve. ...
2
votes
0answers
84 views

The significance of the Parvaresh-Vardy curve

Even though this seems like a computer science question, it is purely mathematical and concerns polynomials and curves over finite fields. Consider the Parvaresh-Vardy list decoder. As I understand ...
4
votes
1answer
177 views

Does this extension of Hodge structures split over $\mathbb{Q}$?

Let $X$ be a smooth projective curve of genus $\geq 1$ over $\mathbb{C}$, $H^\cdot=H^\cdot(X)$, and $K$ be the kernel of cup product $\cup: H^1\otimes H^1\rightarrow H^2$. Consider the extension of ...
4
votes
1answer
223 views

Can every genus $2$ curve be written as ramified cover of elliptic curve?

Suppose $C$ is a curve of genus $2$, does $C$ admit a surjective morphism onto some elliptic curve $E$?
10
votes
0answers
232 views

Kähler differentials, intuition behind $\text{div}(\omega)$, canonical divisor on algebraic curves?

See my two previous questions here: Intuition for thinking about R-module of Kähler differentials, universal receptacles, derivations? and Kähler differentials, define valuation? for background. If $\...
11
votes
1answer
243 views

Intuition for thinking about $R$-module of Kähler differentials, universal receptacles, derivations?

Suppose $k$ is a field of characteristic zero, and $R$ is a $k$-algebra. The $R$-module of Kähler differentials $\Omega_{R/k}$ of $R$ over $k$ with generators $\{dr\}_{r \in R}$ is the module subject ...
2
votes
0answers
75 views

Rational curves through a fixed number of points

Let us fix two positive integers $d$, and $N$. Can we determine a third integer $n$ such that given $n$ general points $p_1,...,p_n\in\mathbb{P}^N$ there exists a unique rational curve of degree $d$ ...
3
votes
1answer
232 views

Rational curves in projective spaces

Let $X\subset(\mathbb{P}^{N})^n$ be the variety defined as follows: $(p_1,...,p_n)\in (\mathbb{P}^{N})^n$ such that there exists a rational curve $C$ of degree $d$ with $p_1,...,p_n\in C$. Is there a ...
1
vote
0answers
90 views

On the compactification of moduli space of vector bundles

Let $X$ be an irreducible, nodal curve over an algebraically closed field of genus at least $2$. Denote by $U(r,d)$ (resp. $U^0(r,d)$) the moduli space of torsion-free (resp. locally free) sheaves of ...
3
votes
0answers
116 views

Does there exist a continuous surjection? [closed]

Let $C$ be an irreducible projective cubic in $\mathbb{P}_2$ with a singular point $p$. So consider $f: \mathbb{P}_1 \to C$ defined as follows. Identify $\mathbb{P}_1$ with the set of lines in $\...
7
votes
1answer
266 views

Is every proper regular relative algebraic space curve over a Dedekind domain projective?

This question is in some sense a follow up to a related question Is a normal proper relative curve over a DVR projective? Let $R$ be a Dedekind domain, let $S := \mathrm{Spec}(R)$, and let $X \...
3
votes
2answers
207 views

Do discrete valuation rings correspond to local rings of points in fibre?

Given projective curves $C$ and $C'$ and a surjective morphism $\varphi\colon C\to C'$, such that $Q\in C'$ is a smooth point and its fibre $\varphi^{-1}(Q)$ consists of smooth points. Then $\mathcal{...
6
votes
2answers
259 views

Extending the Abel-Jacobi map over the DM-compactification $\overline{\mathcal{M}}_2$?

Let $\mathcal{M}_2$ be the moduli space of genus two curves and $\mathcal{A}_2$ the moduli space of principally polarized abelian surfaces. Then the Abel-Jacobi map gives an open embedding $\mathcal{M}...
3
votes
1answer
147 views

Graded ring of a genus 2 curve

Let $X$ be a smooth projective complex curve of genus 2 with canonical divisor $K$. $X$ of course is hyperelliptic and has an involution that I denote by $j$. There exists 3 possibilities for ...
1
vote
0answers
127 views

Are two line bundles with the same ramification type necessarily isomorphic?

I have no motivation for the following problem, I am just curious if it is true or not. Here it is: If $l_1$ and $l_2$ are two complete $g^r_d$'s on a smooth curve $C$ such that the vanishing ...
4
votes
0answers
225 views

Example of a genus-1 degree-7 plane curve

I am wondering if anyone knows how to construct an explicit example of an irreducible plane curve of degree 7 with 14 double points. Such a curve would have genus 1. One can show that for a general ...
2
votes
2answers
267 views

Could we extend any line bundle on the smooth part of a singular curve to a line bundle on the whole curve?

Let $X$ be a singular curve over an algebraic closed field $k$ with characteristic zero. Let $Z$ be the closed subset of singular points on $X$ and $U=X-Z$ be the smooth part, which is an open subset ...
-4
votes
1answer
133 views

Elliptic Curve Multiplication [closed]

What would happen if I performed Elliptic Curve multiplication on some random point within the FiniteField that wasn't actually on the curve? I assume that I would get a point in return but would that ...
1
vote
0answers
90 views

Is there any explicit result on the triangulated category of singularities of a curve?

This question is related to this MO question. Let $X$ be a projective curve over a field $\mathbb{C}$. We have the bounded derived category of coherent sheaves $D^b_{coh}(X)$ and the derived category ...
7
votes
0answers
233 views

Are curves over imperfect fields defined over a smaller field?

Let $C$ be regular projective curve defined over a field $K$. Let $K/L$ be a totally inseparable finite extension. Does there exist a regular projective curve $C'$ over $L$ such that that the pullback ...
1
vote
0answers
41 views

the associated action on the transition functions

Let $X$ be a curve with an involution $\sigma$ generically unramified, given a $G-$bundle $E$ of rank $r$, than we ca take its pull-back, I want to describe the action of $\sigma$ on $G$. Fix a ...
1
vote
1answer
113 views

Construction of curves and morphisms

Given any triple of positive integers $(g',g,d)$ with $2g'-2\geq d(2g-2)$. Does there always exist curves $C_{g'},C_g$ of genus $g',g$ with a degree $d$ morphism $f\colon C_{g'}\to C_g$? If we fix $...
0
votes
1answer
135 views

Reflexive sheaves on stable curves

Let $C$ be a stable curve over an algebraically closed field of positive characteristic and $\mathcal{F}$ be a reflexive sheaf on $C$. Is $\mathcal{F}$ locally free? EDIT Is the projective dimension ...