The algebraic-curves tag has no usage guidance.

**1**

vote

**0**answers

57 views

### Cubic, divisor of rational function $x/z$? [on hold]

Let $k$ be a field, and let $a \neq 0$, $1 \in k$. Let $C = V(y^2z - x(x-z)(x - az))$. What is the divisor of the rational function $\psi([x, y, z]) = x/z \in k(C)$?

**0**

votes

**0**answers

82 views

### $C = V(x^3 - xz^2 - y^2z)$, linear equivalence [on hold]

Let $C = V(x^3 - xz^2 - y^2z) \subset \mathbb{P}^2(\mathbb{C})$. Let $p_0 = [0, 1, 0]$, $p_1 = [0, 0, 1]$, $p_2 = [1, 0, 1]$, $p_3 = [-1, 0, 1]$. I have two questions.
Is $2p_0$ linearly equivalent ...

**0**

votes

**0**answers

90 views

### How to compute the arithmetic genus of a nonreduced curve?

Let $X$ be a nonreduced curve over an algebraically closed field $k$. Suppose that the reduced scheme $X^{\rm red}$ associated to $X$ is a smooth projective curve with genus $g$, and $J \subset O_{X}$ ...

**2**

votes

**0**answers

40 views

### Brill noether varieties of a family of curves

Let $p:\mathcal{C}\longrightarrow X$ be a family of smooth curves parametrized by a scheme $X$ and assume that $p$ admits a section. We have the Brill Noether varieties $\mathcal{G}^r_d(p)$ and ...

**-3**

votes

**0**answers

61 views

### pure ideal and indecomposable rings

I have a commutative ring with identity $R $ such that for every pure ideal $I $ (for any ideal $J $ of $R $ we have $I\cap J=IJ$)of $R $, the ring $R/I $ is indecomposable ring, now I want to know ...

**3**

votes

**0**answers

82 views

### What happens to the gonality under a finite morphism of curves

Let $f:C\longrightarrow C'$ be a finite degree 2 morphism of smooth projective curves. If the gonality$(C')=k$, then we can say that the gonality$(C)\leq 2k$. Under what conditions is the gonality ...

**4**

votes

**1**answer

154 views

### Neron-Severi group for product of curves

Let $C$ be a general genus $g$ curve, how can we describe the Neron-Severi group of its $n$-th self product $C^n=C\times \dots \times C$?
It is a lattice in $H^2(C^n,\mathbb{Z})\cong ...

**5**

votes

**1**answer

136 views

### Is the Quot-scheme over non-singular curve reduced

Let $k$ be an algebraically closed field, $C$ a non-singular projective curve over $k$ of genus at least $2$ and $\mathcal{F}$ a locally free sheaf on $C$. Let $r,d$ be two integers satisfying ...

**8**

votes

**1**answer

286 views

### Automorphisms of curves in positive characteristic

It is well known that over an algebraically closed field of characteristic zero a general curve (for an open subset of $M_g$) of genus $g\geq 3$ is automorphism-free.
Is this result still true over ...

**3**

votes

**0**answers

107 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

**1**answer

207 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

**0**answers

119 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

**1**answer

96 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

**1**answer

179 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

**1**answer

136 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

**2**answers

175 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

**0**answers

35 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. Can one conclude ...

**3**

votes

**1**answer

137 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

**1**answer

141 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

**1**answer

175 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 ...

**15**

votes

**0**answers

266 views

### Galois groups of enumerative problems

Consider Harris's 1979 paper, Galois Groups of Enumerative Problems (see here for the paper itself).
Given a problem in enumerative geometry, there is in addition to the obvious question of finding ...

**4**

votes

**0**answers

91 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
...

**3**

votes

**1**answer

122 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

**0**answers

80 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

**0**answers

63 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 ...

**5**

votes

**0**answers

265 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

**0**answers

67 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\}, ...

**3**

votes

**0**answers

132 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

**0**answers

95 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

**0**answers

115 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

**1**answer

174 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

**0**answers

139 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

**1**answer

147 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

**0**answers

130 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

**1**answer

153 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

**0**answers

165 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

**2**answers

251 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 ...

**1**

vote

**1**answer

149 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

**0**answers

76 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

**1**answer

172 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

**1**answer

191 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$?

**9**

votes

**0**answers

178 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 ...

**10**

votes

**1**answer

211 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

**0**answers

74 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$ ...

**2**

votes

**1**answer

207 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

**0**answers

82 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

**0**answers

115 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

**1**answer

230 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

**2**answers

194 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 ...

**0**

votes

**0**answers

64 views

### Embedding curves in hypersurfaces

Consider a curve $C$ in $\mathbb{F}_q^m$, say. I am interested in the existence of curves not contained in any small degree hypersurface.
For instance, a helix is not contained (or non-embeddable) in ...