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

0
votes
3answers
18 views

How to move the position of a curve $x,y$ coordinates?

I have some silly problem. I want to know how to move the curve in $x,y$ coordinates which I have some curve. For example, $f(x) = x^2$ and this is originally start at $(0,0)$. But I want to this ...
0
votes
1answer
27 views

How can I get a continuous piecewise polynomial curve, with a turning point (not differentiable)?

I would like to make a curve which has turning point(x,y). y= x^2*2 for x<= 0.5 y= 1-(1-x)^2*2 for x> 0.5 and still have a smooth S-shaped curve, where ...
6
votes
1answer
489 views

Set that is not algebraic

I'd like some hints for the problem: Show that the following set is not algebraic: $$ \{ (\cos(t),\sin(t),t) \in \mathbb{A}^3 : t \in \mathbb{R} \} $$ Thanks.
4
votes
1answer
51 views

Identifying two points on an algebraic curve

Given a smooth algebraic curve $C$, say projective over an algebraically closed field $k$, is it always possible to identify two distinct closed points $x, y$ on $C$ to produce a curve with a single ...
1
vote
1answer
14 views

Question about r(t), movement along line

So I'm studying for an exam in calculus when i came across the concept of objects moving along a curve. I have a general idea of how to calculate speed, velocity and such when r(t)(position vector I ...
4
votes
2answers
44 views

Third point of intersection is also a point of inflection?

Let $C \subset \mathbb{P}_2$ be a nonsingular cubic. If $L$ is a line through two distinct points of inflection on $C$, how do I show that the third point of intersection is also a point of ...
0
votes
1answer
38 views

injective morphism between line bundles on curves

Let $X$ be a smooth projective, irreducible, curve, $\mathcal{L}$ be an invertible sheaf on $X$ and $\mathcal{L}' \subset \mathcal{L}$, an invertible subsheaf. Is $\deg(\mathcal{L}') \le ...
0
votes
0answers
28 views

Self-intersection number of fibered surface

Let $R$ be a complete discrete valuation ring with residue field $k$ (can assume algebraically closed), $f:X \to \mathrm{Spec}(R)$ a flat, proper family of projective curves (i.e., $f$ is also ...
3
votes
1answer
124 views

Proof verification of a weak version of Bezout's Theorem

I'd like to make sure here that my reasoning seems sound. I am working from Kirwan's book on algebraic curves. I was not totally happy with her proof of this theorem, so I wanted to see if I could ...
0
votes
0answers
20 views

Locally free sheaves on reducible curves and their subsheaves

Let $X$ be a reducible (but reduced), connected, projective curve with at worst nodal singularities and $\mathcal{F}$ be a locally free sheaf of rank $r$ on $X$. Suppose that $\mathcal{F}'$ is a depth ...
3
votes
2answers
134 views

Completion of the proof of theorem 3.3 in Dale Husemoller: Elliptic Curves

I want to read the proof of the following theorem: This is from p.35. But it is not complete there. There is written that: Can someone tell me where I can find the rest of the proof? Any other ...
0
votes
1answer
13 views

About the maximum number of ordinary points on algebraic surface

http://mathworld.wolfram.com/OrdinaryDoublePoint.html I'm trying to figure out the (3) statement ( $\mu(d)\leq \frac{1}{2}(d(d-1)-3) $ ) That can't be true if the table bellow it is correct (and it ...
2
votes
2answers
23 views

The simplest way to find a parametrization of the plane projective curve $XZ-Y^2=0$.

I have to explain to some first year math students that the projective algebraic set $\textbf{Z}(XZ-Y^2)\subset\mathbb P^2_k$ is $$V=\{(a^2_0:a_0a_1:a^2_1)\subset\mathbb P^2_k \,:\, \textrm{for}\; ...
2
votes
1answer
40 views

Characterization of linear system without base points

My question is really simple. Where can I find characterizations of linear system without base points? I searched on Hartshorne's book without success. Thanks
1
vote
1answer
45 views

linear systems and maps

Given a regular map $\varphi:C\to \mathbb P^n,P\mapsto \mathbb (f_0(P):f_1(P):\ldots:f_n(P))$, we can associate a linear system $|\varphi|$ in the following manner: let the divisor $D=-\min div(f_i)$ ...
0
votes
1answer
70 views

Example of a curve with this property

I'm reading Fulton's book and he defines the linear series $g_n^r$: So a curve $C$ is trigonal if it has a divisor which has a linear system $g_3^1$. I'm looking for a simple example of a trigonal ...
0
votes
1answer
65 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, ...
0
votes
0answers
30 views

Definition of trigonal curves

I'm reading Fulton's book and I'm trying to understand the concept of trigonal in Hartshorne's book (page 345): On the other hand, Fulton's book define the $g_d^n$ in the following manner: So Can ...
1
vote
0answers
55 views

Proof of the formula for dimension of moduli of stable vector bundles on smooth curves

Let $C$ be a smooth curve of genus $g \ge 2$ over an algebraically closed field of positive characteristic. If I understand correctly, the dimension of the moduli space of vector bundles on $C$ of ...
4
votes
0answers
132 views

Why is the morphism induced by this linear system birational?

I have seen (what seems to be) the following statement used in a few places, but I am not sure why it is true. Any explanation as to why it is (or is not) true would be appreciated. Let $P$ be a ...
3
votes
1answer
60 views

Pushing forward vector bundles on a plane curve via projection from a point

Let $C \subset \mathbb{P}^2$ be a smooth plane curve, $P \in \mathbb{P}^2$ is point not on $C$, consider projection from this point $$ \pi :\mathbb{P}^2 - \{P\} \to \mathbb{P}^1, $$ and restrict this ...
0
votes
1answer
28 views

Which is the correct definition of degree of a curve

I found those definitions of what a degree is and they contradict each other so I don't know which is the correct. The first definition it was by the last year professor saying that the degree of an ...
1
vote
1answer
54 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 ...
2
votes
2answers
42 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 ...
2
votes
1answer
88 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 ...
0
votes
2answers
34 views

How do I reverse the smooth-step equation?

I'm using the "smooth step" equation for an easing curve: $y = 3x^2 - 2x^3$ I would like to reverse this equation so that given y, I can find ...
4
votes
2answers
426 views

Calculate arc length of a logarithmic spiral between two points.

Its hard for me to put into words so please bear with me. Given a line of a certain length, how could I calculate the the arc length of a logarithmic spiral given that it intersects the line at two ...
1
vote
0answers
37 views

Difference between quadric and conic

What is the difference between a conic and a quadric? I'm guessing that this depends on your ambient space? I think that conics are just special quadrics and are a codimension 1 object and a quadric ...
0
votes
0answers
56 views

Computation of Riemann-Roch space L(kQ) to a specific Divisor D

I am trying to build a Reed-Solomon Code through a Goppa-Code Construction. I start with the projective line $\mathcal{X}$ $aX+bY+cZ=0$. The genus $g$ of this line is $0$. Futhermore, let ...
2
votes
1answer
35 views

Help with proof that that affine plane curves in $\mathbb{C}^2$ are not compact

This is a problem from Kirwan's Complex Algebraic Curves that I'm stuck on. She gives a hint suggesting that for $C = \{(x,y)\in\mathbb{C}^2: P(x,y) = 0\}$, show that at all but finitely many points ...
5
votes
1answer
64 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 ...
4
votes
4answers
129 views

Why $y=e^x$ is not an algebraic curve?

Why $y=e^x$ is not an algebraic curve over $\mathbb R$? I can say that is not a algebraic curve over $\mathbb C$ because $e^x$ is a periodic function, but what about $\mathbb R$? EDIT: I don't want ...
1
vote
1answer
44 views

Singular plane cubic curve birational to $\mathbb{P}^1$

Is it true that every singular plane cubic curve over an algebraically closed field is birationally equivalent to $\mathbb{P}^1$? I know that such a curve has to have only one singular point and that ...
0
votes
2answers
36 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. ...
9
votes
2answers
88 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$?
1
vote
0answers
38 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
23 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 ...
5
votes
2answers
86 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
97 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 ...
3
votes
0answers
43 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
54 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
1answer
40 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 ...
1
vote
1answer
56 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
3answers
1k views

Intersection of Cubic curves

This is the question which i am attempting to solve and it seems to be difficult to get rid of the exponents. Show that a the two cubic curves $Y^3 = X^2 + X^3$ and $X^3 = Y^2 + Y^3$ intersect ...
4
votes
2answers
57 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
35 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
18 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 ...
2
votes
0answers
56 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
35 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 ...
1
vote
1answer
54 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 ...