An algebraic curve is an algebraic variety of dimension one. An affine algebraic curve can be described as the zero-locus of $n-1$ independent polynomials of $n$ variables in affine $n$-space over a field. Examples include conic sections, compact Riemann surfaces and elliptic curves. Singularities ...

learn more… | top users | synonyms

2
votes
1answer
103 views

Finding a stronger version of Cayley-Bacharach Theorem that applies in the case that the intersection multiplicities are not equal to $1$

Cayley–Bacharach theorem: Assume that two cubics $C_1$ and $C_2$ in the projective plane $\mathbb{P}^2$ meet in nine (different) points. Then every cubic that passes through any eight of the points ...
1
vote
0answers
44 views

Help with this correspondence in Fulton's book

I'm trying to understand this question in Fulton's book (page 110): I couldn't prove $div(\sum \lambda_if_i)+D\mapsto (\lambda_1,\ldots,\lambda_{r+1})$ is indeed a correspondence. I only could ...
0
votes
1answer
29 views

A simple example of a base point of a linear series

I'm reading Fulton's algebraic curves book and he make the following definition of linear series (page 110): Let $D$ be a divisor, and let $V$ be a subspace of $L(D)$ (as a vector space). The ...
3
votes
1answer
81 views

Are trivial vector bundles on curves semistable?

Let $C$ be an irreducible projective curve with at worst nodal singularities. Let $E$ be the trivial locally free sheaf of rank $r$ i.e., $E$ is the direct sum of $r$ copies of the trivial line ...
2
votes
2answers
45 views

Is it true that for every $n\in\mathbb{N}$ there exists an algebraic curve $C$ and a point $p$ in that curve whose tangent plane has dimension $n$?

The title is very self-explanatory, I was thinking of finding a curve $k^n$ (k is the field with a non-singular point p, such that its tangent plane is V(0) and thus would be $k^{n}$ whose dimension ...
1
vote
2answers
70 views

Finding some rational points on elliptic curves

If I am considering an elliptic curve, for example $$y^2=x^3-2$$ $$\text{Edit: and } y^2=x^3+2$$ over $\mathbb Q$, how to find rational points? What possibilities do we have to calculate ...
0
votes
2answers
51 views

Wich kind of splines are the 3DS Max graph editor splines?

I'm trying to reproduce the splines from the program , and I have the correct point data, but my representation of Bezier Splines using the same anchor point data fails to give me a correct curvature. ...
2
votes
1answer
79 views

Questions on branch points on elliptic curve

So let $(E,p)$ be an elliptic curve over a field $k$ with a choice of $k$-valued point $p$. Then by Riemann-Roch, there are two global sections of $\mathcal{O}_{E}(2p)$ which gives a double cover of ...
0
votes
1answer
57 views

Help in this exercise in Fulton's algebraic curves book

I'm trying to solve the exercise 8.37 (page 111) in Fulton's algebraic curves book: I've already solved almost every item, it miss just the equivalence: The curve $X$ has a hyperelliptic ...
1
vote
0answers
24 views

Basis of $L(D)$

Let $L(D)=\{f\in k(C)\mid \text{ord}_P(f)\ge -n_p,\ \text{for all $P$ in C}\}$ be the vector space defined on page 99 of Fulton's algebraic curves book. I would like to know how to find a basis ...
4
votes
2answers
133 views

Geometric Intuition Behind Blowing Up a Cusp on a Plane Curve?

I'm reading Hartshorne AG V.3 on monoidal transformations and embedded resolutions. I understand one sort of intuition behind blowing up a point on a surface (or more generally a subvariety of a ...
0
votes
1answer
48 views

Equivalence definitions of hyperelliptic curves

I'm reading Fulton's algebraic curves book and on page 111, he defines hyperelliptic curves. For him an hyperelliptic curve $C$ is a curve which has a hyperelliptic weierstrass point $P$, i.e., $2$ is ...
2
votes
0answers
63 views

Help in a proof in Fulton's algebraic curves book

I'm reading Fulton's algebraic curves book and I didn't understand this proof of proposition 7 (page 106) very well: So I have the following doubts: I didn't understand why $\text{ord}_P(f')\ge ...
0
votes
1answer
47 views

If a curve is hyperelliptic, we have an equality in Clifford's Theorem

I'm studying Fulton's algebraic curves book and I have the following question: Clifford's theorem says that if $D$ is a divisor and $W$ is a canonical divisor with $l(D)\gt 0$ and $l(W-D)\gt 0$, then ...
2
votes
1answer
71 views

Blowing up families of singular curves

I am stuck with a simple example, but I guess the more general question would be whether blow ups commute with restrictions to subsets (points) of the blow-up locus. Over $\mathbb{C}$, suppose that ...
2
votes
1answer
73 views

Clifford Theorem as an easy corollary of Riemann-Roch Theorem

I'm studying Fulton's algebraic curves book and on page 109 he proves the Clifford's theorem: I have these doubts: 1.Why does he consider only the divisors $D\ge 0$ and $W-D\ge 0$? 2.What ...
4
votes
0answers
69 views

Is there some relationship between algebraic curves and partial differential equations that goes beyond classifying different PDE's

I ask primarily because despite not having taken that many math classes (up to two semesters of a PDE class in college), it would be very interesting if maybe we could gain intuition regarding ...
2
votes
1answer
53 views

A curve of genus $g\geq 2$ has a closed point of degree at most $2g-2$ over base field.

I am working on the following problem [R. Vakil] Exercise 19.8.B: Suppose $C$ is a curve of genus $g>1$ over a field $k$ that is not algebraically closed. Show that $C$ has a closed point ...
0
votes
1answer
32 views

$div(z)=0\Leftrightarrow z\in k$

I'm reading algebraic curves book from Fulton and I didn't understand this corollary on page 98: Why $\deg(div(z-\lambda_0))\gt 0$? and why is this a contradiction? Thanks a lot
1
vote
1answer
54 views

Automorphisms of non-hyperelliptic curve of genus 3 in $\mathbb{P}^{2}$

I have a question from R. Vakil's exercise 19.7.C which goes as follows: Suppose $C'\subset\mathbb{P}^{2}$ is a smooth plane quartic curve. Show that there is bijection between automorphisms of $C'$ ...
6
votes
0answers
66 views

Finding equations for projective curves, low genus, Riemann-Roch.

Let $C \subset \mathbb{CP}^n$ be a nonsingular projective curve, and let $L \subset \mathbb{CP}^n$ be a hyperplane. We have that $L \cdot C$ is a divisor $H$ on $C$ if $C \subset L$. Let $R = ...
12
votes
0answers
130 views

Intuitive/geometric way of thinking about effective divisors?

What is the motivation/intuition/geometric way of thinking about an effective divisor? I know that a divisor is effective if all its coefficients are non-negative. We write $D \ge 0$ for ...
0
votes
0answers
40 views

What is the definition of Osculating plane in algebraic geometry?

I'm studying Fulton's algebraic curves book and in order to understand this paper in Algebraic Curves I need the definition of the d-dimensional osculation plane. Can I understand properly this ...
2
votes
0answers
71 views

Kähler differentials, define valuation?

See here for a definition of the $R$-module of Kähler differential $\Omega_{R/k}$. Suppose $k$ is a field of characteristic $0$, $R$ is a $k$-algebra, and let $K$ be a finite extension of $k(x)$. If ...
0
votes
0answers
19 views

Result showing that a certain valuation ring in some function field has to be a DVR?

I know that if $R$ is a valuation ring such that $0 \to \mathbb{C} \to R$ is a left-split exact sequence, then there exists a discrete valuation ring $C$ with $R \subset C$ so that $0 \to \mathbb{C} ...
2
votes
1answer
57 views

Isomorphic function fields of projective curves, bijection of points.

Suppose curves $C$, $D \in \mathbb{CP}^2$ are nonsingular. If their function fields are isomorphic, i.e. $K_C \cong K_D$, then do we necessarily have a bijection of points on $C$ and $D$? Can we do ...
0
votes
0answers
198 views

“Necessary” condition for Power Diophantine Equation.

Motivation: Brocard’s problem $n!+1$ being a perfect square Observations: Given a power Diophantine equation of $k$ variables with a “general solution” (provides infinite integer solutions) to ...
0
votes
1answer
73 views

Intersection counting without Bézout

I am trying to solve the following problem: Let $C$ be a non-degenerate line (resp. conic) in $\mathbb{C}\mathbb{P}^2$ and $D$ a projective curve in $\mathbb{C}\mathbb{P}^2$ of degree $d$ such ...
1
vote
1answer
62 views

If $\mathcal O_P(C)$ is a DVR, then $P$ is non-singular

Let $C$ be an irreducible curve over $\mathbb A^2$ and $P\in C$. I would like to prove if $$\mathcal O_P(C)=\{f\in k(C)\mid f=a/b, b(P)\neq 0\}$$ is a DVR, then $P$ is non-singular, i.e., the ...
1
vote
1answer
47 views

How to calculate the intersection points of the same implicit curve in parametric form?

Take the following parametric equation of an implicit curve as an example: $$ \left\{\quad \begin{array}{rl} x=& \dfrac{27}{14} \sin 2 t+\dfrac{15}{14} \sin 3 t \\ y=& \dfrac{27}{14} \cos 2 ...
3
votes
0answers
33 views

$D$ is divisor of both $d(x/z)$ and $y/z$. [closed]

Let $C \subset \mathbb{CP}^2$ be the cubic curve defined by$$y^2z = x(x-z)(x-\lambda z)$$with $\lambda \in \mathbb{C} - \{0,1\}$. Let $p = [0, 0, 1]$, $q = [1, 0, 1]$, $r = [\lambda, 0, 1]$, and $s = ...
9
votes
0answers
99 views

Relationship between twisting sheaves and divisor sheaves

I'm not really entirely sure how to think about Serre's twisting sheaves $\mathscr{O}(i)$ - on any $\text{Proj}$ construction, really, but let's stick to something like $\mathbb{P}_2$ for now for ...
1
vote
1answer
103 views

How to prove $\mathcal O_P(C)$ is a DVR for $P$ non-singular?

Let $C$ be an irreducible curve over $\mathbb A^2$ and $P\in C$ a non-singular point. I want to prove that $\mathcal O_P(C)=\{f\in k(C)\mid f=a/b, b(P)\neq 0\}$ is a DVR. I've already proved that ...
2
votes
0answers
65 views

Directional derivative expression

We have $n=\sqrt{{\mathbf N}\cdot{\mathbf N}}$, where ${\mathbf N}$ is the normal vector to a curve, let's accept ${\mathbf N}=\ddot{{\mathbf r}}$, say the curve is unit-speed. We also have a scalar ...
9
votes
2answers
101 views

Nonsingular curve $C$ of degree 4, exists rational function $f: C \to \mathbb{CP}^1$ of degree 2?

Suppose $C \subset \mathbb{CP}^2$ is a nonsingular curve of degree $4$. Does there exist a rational function $f: C \to \mathbb{CP}^1$ of degree $2$?
3
votes
1answer
67 views

Exists rational function on curve in $\mathbb{CP}^2$ such that pole of order $2g + 2$?

Let $C \subset \mathbb{CP}^2$ be a nonsingular curve of degree $d$, and $p_1$, $p_2$, $q$ distinct points in $C$. For any $a_1$, $a_2 \in \mathbb{C}$, does there necessarily exist a rational function ...
2
votes
0answers
37 views

Computing the order of a divisor in the Jacobian of a hyperelliptic curve.

Given a hyperelliptic curve of genus $g$, of equation $H: y^{2}+h(x)y=f(x)$ and defined over the finite field $\mathbb{K}$, how does one compute the order of a (reduced) divisor defined over ...
1
vote
1answer
43 views

Normal vector in curvilinear coordinates

Is it true that the normal vector, or, $\ddot{\mathbf r}$ always vanishes for: a helix in cylindrical coordinates a loxodrome in spherical coordinates a torus knot in toroidal coordinates When ...
5
votes
2answers
114 views

Any curve of genus three is either hyperelliptic or trigonal?

A curve $C$ is said to be trigonal if it admits a rational function $f: C \to \mathbb{CP}^1$ of degree $3$. Is any nonsingular plane curve of degree four trigonal? Can the map be chosen so that it has ...
5
votes
2answers
118 views

Divisors of differentials.

Let $\mathbb{C}$ be the base field. Suppose $C \subset \mathbb{P}_2$ is a nonsingular projective curve of degree $d > 3$. Must it be the case that $D \in \text{Div}(C)$ is the divisor of a ...
1
vote
2answers
87 views

Examples of base points of linear systems

I'm reading Fulton's algebraic curves book and we have the following definitions: A divisor $D=n_1P_1+\ldots,n_kP_k$ ($n_i$'s are integers and $P_i$'s are points) over a curve. A linear system as ...
0
votes
0answers
25 views

if $D_1\sim D_1'$ and $D_2\sim D_2'$, then we have $D_1+D_2\sim D_1'+D_2'$

I'm studying Fulton's algebraic curves book and I'm trying to prove that if $D_1\sim D_1'$ and $D_2\sim D_2'$, then we have $D_1+D_2\sim D_1'+D_2'$. If the the first two equivalences work, then we ...
1
vote
1answer
33 views

Is a map from a smooth curve, bijective away from the singularities, already a normalization?

Over $\mathbb{C}$, I am considering a map between projective curves $f: C \rightarrow C'$, where $C$ is smooth. Suppose that $f$ is surjective as well as bijective away from the singularities of ...
0
votes
1answer
90 views

Why this linear system doesn't have base points?

I see somewhere that linear system of a non-negative degree divisor over a rational curve doesn't have base points, but I didn't understand why. I don't understand what the degree has to do with base ...
0
votes
1answer
68 views

Genus formula for a curve in a $2$-dimensional complex torus?

For a curve $C$ in a $2$-dimensional complex torus $T$, is there any formula to compute the genus of $C$? Say, in terms of self-intersection number? For a curve in $\mathbb{P}^2$ or a K3 surface, ...
1
vote
0answers
28 views

Linear system without base points

Let $D$ be a divisor and $V$ a vectorial subspace of $L(D)$. The set of the divisors $S=\{(f)+D\mid f\in V\}$ is called a linear system. A point $P\in C$ is a base point if for every divisor $D\in S$, ...
6
votes
1answer
102 views

Does every irreducible projective cubic curve have a nonsingular point of inflection?

Does every irreducible projective cubic curve necessarily have a nonsingular point of inflection? I've been trying to construct counterexamples, to no avail, which leads me to believe the ...
1
vote
1answer
36 views

How do we find the principal unit normal to this curve?

A curve is given in cylindrical coordinates: $r=r(t)$ $\theta=\theta(t)$ $z=z(t)$ The curve is unit-speed: $(\frac{dr}{dt})^2+r^2(\frac{d\theta}{dt})^2+(\frac{dz}{dt})^2=1$ How do we find the ...
10
votes
1answer
65 views

Irreducible projective cubic, exists continuous surjection?

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 ...
6
votes
1answer
69 views

Necessarily a homeomorphism?

Let $D$ be the projective curve defined by $y^2z = x^3.$ Consider the map $f: \mathbb{P}_1 \to D$ defined by$$f[s, t] = [s^2t, s^3, t^3].$$Is it necessarily a homeomorphism? Any help would be greatly ...