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

11
votes
1answer
439 views

Is a one-dimensional compact complex analytic space necessarily projective?

Let $X$ be a compact complex analytic space with singular locus $X^{\mathrm{sing}}$. Suppose that $X\setminus X^{\mathrm{sing}}$ is a Riemann surface. If $X^{\mathrm{sing}} = \emptyset$, then $X$ is ...
3
votes
0answers
61 views

Intersection multiplicity of limit linear spaces

Let $X\subset\mathbb{P}^N$ be a smooth projective variety. Let us fix a general point $q \in X$, and let $C\subseteq X$ be a smooth curve passing through $q$. Now let $\Lambda_{\xi, q}$, with $\xi \...
2
votes
0answers
119 views

Moduli of hyperelliptic curves: odd vs even genus

I'm stumped by Exercise 2.3 in Harris-Morrison, which says: "Show that there does not exist a universal family of curves of genus 2 over any open subset $U \subset M_2$. In general, if $H_g \subset ...
2
votes
0answers
192 views

Is it clear that $y^3=f(x)$ has bad reduction at $3$?

Bad reduction is defined as 'nonexistence' of a model where the curve has good reduction. So let's take the curve $C$ which is affinely given by $$y^3 = f(x)$$ (absolutely irred, $f$ no multiple roots)...
2
votes
0answers
100 views

singular points of $\alpha_{p}$-torsor and $\mu_{p}$-torsor of curves

Let $X$ be a smooth projective curve over an algebraically closed field of characteristic $p>0$. Suppose that the genus of $X$ is >2. Let $Y$ be a non-trivial $\alpha_{p}$-torsor or $\mu_{p}$-...
4
votes
1answer
165 views

Resolution of the ideal of the Abel-Jacobi image of a curve?

Let $C$ be a complex curve of genus $g\ge 2$ and let $a\colon C\to J(C)$ be the Abel-Jacobi map. Is there a finite resolution of the ideal $\mathcal I_{a(C)}$ whose terms are sums line bundles of the ...
3
votes
1answer
89 views

Smooth curves in Tangent Developables

Let $C\subset\mathbb{P}^n$ be a smooth curve, and let $Y\subseteq\mathbb{P}^n$ be its tangent developable. Given two general points $y_1,y_2\in Y$ does there exist a smooth curve $\Gamma\subset Y$ ...
3
votes
0answers
169 views

Why define curves over perfect fields?

One may define a curve (e.g. separated scheme of finite type of dim. 1) over an algebraically closed field, as done in Hartshorne's book. A weaker assumption, which is used commonly, is to define a ...
2
votes
1answer
100 views

Reference request for general Hurwitz spaces

Let $G$ be a fixed finite group. I'm interested in the structure of the set $\mathcal{H}_{r,g,h,G}$ of tuples $(C,f,\delta)$, where $C$ is a smooth projective genus $g\geq 2$ curve, $\delta:G\to\mbox{...
2
votes
0answers
132 views

Are these moduli problems of curves “well-behaved”?

Let X be a smooth projective surface over $\mathbb C$, and let $d\geq 3$ be an integer. Suppose that all smooth hypersurfaces of degree $d$ are of genus $g\geq 2$. Let $H_{X,d}$ be the Hilbert scheme ...
1
vote
0answers
106 views

Finding the Chern Class of a the pushfoward of a invertible sheaf

I am trying to understand what happens to the Chern Classes of an invertible sheaf $F$ over a complete intersection reduced curve of genus $g$ and degree $d$, when viewed as a invertible sheaf of $\...
1
vote
2answers
163 views

Jacobians of twisted coverings

Given a compact Riemann surface $M$ and two double coverings $\hat\pi\colon \hat M\to M$ and $\tilde\pi\colon \tilde M\to M$ which are branched over the same points $p_1,..,p_n\in M.$ As is well-known,...
7
votes
1answer
218 views

Archimedean fibers “intersecting” curves on arithmetic surfaces

Let's fix a number field $K$ with its ring of integers $O_K$. Moreover consider an arithmetic surface $f:S\to \text{Spec } O_K$. For every archimedean place $\sigma$ in $K$, $K_\sigma$ is the ...
2
votes
0answers
97 views

Dimension of a sheaf cohomology group on a genus 1 curve

Let $\mathcal{M}_{g,1}$ be the moduli space of genus 1 curves with 1 puncture. For simplicity let's take $g > 1$. As usual, there is a natural fibration $C \rightarrow \mathcal{M}_{g,1} \rightarrow ...
1
vote
0answers
68 views

Calculation of cardinality of Jacobians

The problem of calculation the number of rational points on curves over finite fields is $\#P$-complete - "Counting curves and their projections". Is it true for calculation of number of rational ...
2
votes
1answer
149 views

Does $\omega_C\simeq N_{C/S}$ always happen on Enriques surfaces?

Let $S$ be an Enriques surface and $C\subset S$ a smooth irreducible curve of genus $g$. Consider the condition $$\omega_C\simeq N_{C/S}$$ For example, when $g=1$ then $\omega_C=\mathcal{O}_C$ and ...
2
votes
1answer
95 views

On some curves of real values of a rational function

For given parameters $a_{1},\dots,a_{k}\in\mathbb{R}$, define the rational function $\phi:\mathbb{C}\to\mathbb{C}$ as $$\phi(z)=\frac{1}{z}-a_{1}z-a_{2}z^{2}-\dots-a_{k}z^{k}.$$ The domain of its real ...
0
votes
0answers
37 views

Field of moduli relative to a different extension

Let $X$ be a Riemann surface of genus $g\geq 2$ defined over $\mathbb{Q}(\sqrt{2})$. Let us consider the automorphism of $\mathbb{Q}(\sqrt{2})$, $$ \tau:\mathbb{Q}(\sqrt{2})\rightarrow\mathbb{Q}(\sqrt{...
5
votes
0answers
103 views

Is this method of finding a “dual curve” correct?

I have a very limited exposure to projective geometry, but I'm having fun exploring the concept of duality. In particular I'd like to know if this naive method of finding a "dual" curve to a given ...
4
votes
1answer
289 views

Shafarevich conjecture for abelian varieties

In the paper "Arakelov's theorem for abelian varieties" Faltings proves the Shafarevich conjecture for abelian varieties. The statement is the following: Let B be smooth projective a curve, S a ...
6
votes
1answer
199 views

Very stable vector bundles

Let $X$ be a smooth curve, and $E$ a rank $r$ vector bundle over $X$, $E$ is said very stable if every nilpotent map $$u:E\rightarrow E\otimes K_X$$ is zero (nilpotent means that the composition $E\...
3
votes
1answer
209 views

Polars of algebraic curves and surfaces

I asked this on Math.StackExchange, but received no response, so trying here ... A paper I'm reading says the following ... With homogeneous coordinates $\mathbf{x} = [x,y,z,w]$, let $F(\mathbf{x}...
8
votes
2answers
350 views

The class of the diagonal in the symmetric product of a smooth curve

Let $C$ be a smooth curve of genus $g$, and let us consider its $d$-th symmetric product $\textrm{Sym}^d(C)$ and its Jacobian $J(C)$. Fixing a point $p_0 \in C,$ there are two maps $$u_d\colon C_d \to ...
3
votes
1answer
154 views

Identifying the canonical principal polarization of a Jacobian

Let $X$ be a curve over an algebraically closed field $k$ (even over $k = \mathbb{C}$ if you want), let $J = Pic^0_{X/k}$ be its Jacobian, let $P \in X(k)$ be a point, and let $i \colon X \...
1
vote
0answers
218 views

About complete residues on curves

Preliminaries: Let $X$ be a projective smooth curve (scheme of finite type, integral and of dimension $1$) over a perfect field $F$. Let $K=K(X)$ be the function field of $X$ and for a closed point $...
4
votes
1answer
590 views

A problem of four curves

This is a generalization of my previous question, a problem of a cubic and six conics. Let a curve $(K)$ of degree $m$ and three curves $(C_i)$ of degree $n$, for $i=1,2,3$. Let $(C_1)$ meets $(K)$ ...
11
votes
3answers
495 views

Automorphisms of cartesian products of curves

Let $C$ be a smooth projective curve. Is it true that $$\textrm{Aut}(C\times C)\cong S_2 \ltimes (\textrm{Aut}(C)\times \textrm{Aut}(C))$$ and in case, what would be a reference for this? Thanks.
5
votes
1answer
109 views

Finite union of affinoid is affinoid in proper smooth rigid curves (unless it is everything)

In several papers I have found the surprising statement that finite unions of affinoid subspaces of a proper smooth and connected rigid curve are either the whole curve or again affinoid. Could you ...
2
votes
0answers
97 views

Singularities of algebraic curves, and torsion of the pull-back of the differential module by the normalisation

The problem in the following : given an algebraic curve $C$, it's well-known that a smooth projective model of $C$ can be construct as the set of discrete valuations $v$ on it's function field $\...
1
vote
0answers
90 views

Fiber of the specialization map of Picard groups

Let $R$ be a Henselian discrete valuation ring with residue field $k$ of positive characteristic and fraction field $K$ of characteristic zero. Let $\pi:X_R \to \mathrm{Spec}(R)$ be flat, projective ...
3
votes
0answers
129 views

Does $C(k)$ necessarily contain a smooth point? [closed]

If $k$ is an infinite perfect field and if $f \in k[x, y]$ is nonconstant irreducible, cutting out the affine plane curve $C$, then does $C(k)$ necessarily contain a smooth point?
6
votes
1answer
243 views

Quotients of curves of genus $4$ by a free $\mathbb{Z}/ 3 \mathbb{Z}$-action

Let $V_2$ and $V_3$ be the two hypersurfaces of $\mathbb P^3$ defined by \begin{equation*} V_2:={x_2x_3 + r(x_0, \, x_1)=0}, \quad V_3:={x_2^3+x_3^3+s(x_0, \, x_1)=0}, \end{equation*} where $r, \, s \...
7
votes
1answer
448 views

Lattice points near a curve

Bombieri and Pila had a well known bound for the count of lattice points on an algebraic curve in the plane. Does it generalize to a bound for the count of lattice points near (say within a distance ...
0
votes
0answers
89 views

Quadrics cutting out a polygon

Let $l_1,l_2,l_3,l_4,l_5\subset \mathbb P^4_k$ be distinct lines such that $|l_i\cap l_{i+1}|=1$ for all $i\ mod\ 5$ and $l_i\cap l_j\neq \emptyset\iff j=i+1\ mod\ 5$ (so that $\cup_{i=1}^5l_i$ is a ...
31
votes
3answers
1k views

Polynomials with the same values set on the unit circle

Assume that $P(z)$, $Q(z)$ are complex polynomials such that $P(S)=Q(S)$, where $S=\{z\colon |z|=1\}$ (equality is understood in the sense of sets, but I do not know the answer even for multisets). ...
2
votes
1answer
199 views

Given a curve $C$, does there exist a rational function on $C$ totally ramified at two given points?

Let $C$ be a smooth projective irreducible curve over $\mathbb C$. Let $x$ and $y$ be distinct points of $C$. We say that $f$ is totally ramified at a point $p$ if the ramification index of $p$ ...
4
votes
1answer
209 views

Stable vector bundles in Weil's parametrization

Let $C$ be a smooth projective algebraic curve. Isomorphism classes of vector bundles on $C$ are in bijection with $GL_n(F) \backslash GL_n (\mathbb{A}) / GL_n(\mathcal{O})$, I think (one trivalizes ...
3
votes
1answer
175 views

Is there a covering of Prym variety?

$\mathstrut$Hi, guys! Let $C$, $C^\prime$ be projective smooth irreducible algebraic curves over an algebraically closed field $k$ ($\mathrm{char}(k) \neq 2$), $\phi : C$ $\to$ $C^\prime$ a two-...
4
votes
0answers
172 views

Cohomology and deformations of moduli of vector bundles

I believe that the following is well-known, but I cannot find a reference in the literature... Let $X$ be a smooth variety (in our case $X = M^s(r)$ coarse moduli space of stable rank $r$ vector ...
0
votes
0answers
167 views

Explicit form of certain polynomials and intersection of curves

Let $X$ be a smooth degree $d$ hypersurface in $\mathbb{P}^3$ and $C, D$ two effective divisors on $X$ intersecting at finitely many points. Is it true that if $C$ and $D$ intersect in ''low'' number ...
2
votes
2answers
375 views

Rational points on towers of curves

Let $\ldots \to X_n \to X_{n-1} \to \ldots \to X_0$ be etale maps between smooth projective curves of genera $g(X_n)>1$, all defined over a fixed number field $K$. By Faltings' Theorem, we know ...
10
votes
3answers
498 views

Quotient of a smooth curve by a finite group and differentials

Let $X$ be a proper smooth connected curve over an algebraically closed field $k$ of characteristic $0$, and suppose that $X$ is equipped with a $k$-linear action of a finite group $G$. It makes sense ...
3
votes
1answer
223 views

Existence of pencils on some special curves of genus 10

Everything over $\Bbb{C}$. Say we have a smooth curve $C$ of genus $10$ which is a double cover of a smooth plane cubic curve. Therefore $C$ admits a 1-dimensional family of pencils of degree 4 (...
3
votes
2answers
184 views

Are curves with maximal Clifford index Brill-Noether general?

By the Brill-Noether Theorem, a general curve $C$ of genus $g\geq2$ has maximal Clifford index $\lfloor \frac{g-1}{2}\rfloor$. Hence a very naive question is: (Q1) Is a curve with maximal Clifford ...
5
votes
2answers
309 views

The gonality of smooth plane curves

I have often seen the assertion that for a smooth plane curve $C$ of degree $d$ the gonality of $C$ is $d-1$ and each gonality pencil is obtained by projection from a point of $C$ onto a line. (let ...
0
votes
1answer
165 views

Rational maps between elliptic curves [closed]

I am studying Silverman's "The Arithmetic of Elliptic Curves" and I got the following question: In the first chapters he defines rational between projective varieties (see the first definition in I.3)...
1
vote
0answers
66 views

Cubic, divisor of rational function $x/z$? [closed]

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
0answers
124 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}$ ...
3
votes
0answers
118 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
1answer
211 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 \mathbb{Z}^{n+...