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

1
vote
1answer
70 views

Resample Bézier Curve with curvature and number of points constraints

I have an algorithm that implements an uniform resample process throughout a Bézier curve. This is done using a chord parametrization process. However, the results achieved do not accomplish my ...
1
vote
0answers
45 views

On existence of a tangent line passing through a given point

Question Suppose $k$ is an algebraically closed field of characteristic $0$, and $C\subseteq\mathbb P^2(k)$ is an irreducible projective plane curve of degree $n>1$, and $P$ is a point on $\mathbb ...
3
votes
0answers
63 views

Finding the prime element of a place of a function field of a elliptic curve.

Let $p$ be an elliptic curve in $\mathbb{C}[X,Y] $. Consider the quotient ring $A = \mathbb{C}[X,Y]/(p) $ and its field of fractions $F = frac(A) $. For all $f + (p) \in A$, define $deg_A(f + (p))= ...
2
votes
0answers
54 views

Irreducible components of a lifted curve

I am looking at Terry Tao's blog where he reviews Bombieri's proof of the Hasse Weil bound. At some point he argues as follows. Let $C$ be a curve defined over $\mathbb{F_q}$ and let $\pi : C \to ...
1
vote
1answer
66 views

Birrational curves and singularities [closed]

If $C$ and $D$ are two birrational plane curves. Is there some relation between their singular points?
0
votes
0answers
17 views

Q th order polynomial transform to represent all the curves in $\mathbb{R^d} $

In space $ \mathcal{X} = \mathbb{R^2} $, to get all possible quadratic curves in $ \mathcal{X} $, we need feature transform $\mathbf{z} = \Phi_2(\mathbf{x})$, where $\mathbf{x} \in \mathbb{R^2}$, and ...
0
votes
1answer
45 views

Find the arc length of a curve. Problem integrating

The question is find the arc length of the parabola $y^2 = 4ax$ cut by the line $3y = 8x$ I applied this formula $\int(1+ (dx╱dy)^2) dy $. However by substituting the value of $dx/dy I$ obtain an ...
2
votes
1answer
73 views

Holomorphic Differentials on a non-singular curve.

So I've been working on this for an exam I have coming up and I'm not sure I really understand. If I have a curve defined by some homogenous polynomial P, I can show that the canonical divisor class ...
0
votes
1answer
36 views

Extrema and inflection points for $x^3 - 3x^2 + kx$

My girlfriend has a problem with her math task. I did all this stuff years ago when so I am pretty behind and clueless what to do. She has following function: $x^3 - 3x^2 +kx $$ Her tasks are ...
0
votes
1answer
14 views

Solving a curve of fifths

I have five questions (A to E) used in a scorecard, all are currently ranked 0 or 1 meaning if all are answered 1, the total score possible is 5. I want the total of all to be 100 where the increments ...
1
vote
0answers
31 views

Function fields for genus 2 curves

Let's say you were given a genus one algebraic curve by the equation $y^2 = (x-a)(x-b)(x-c)$ and you wanted to parametrize it. We could go ahead and convert it to Weierstrass form: $y^2 = 4t^3 - g_2t ...
2
votes
0answers
42 views

Finiteness of morphism of curves with fixed image

This question comes from the proof of "bend and break" lemma in "Higer-dimensional algebraic geometry" (p.59-60). I use the notations in compatible with the notation given there for convenience. Let ...
3
votes
0answers
60 views

Are $k$ points on a smooth algebraic plane curve ever in general position?

Let $C$ be a smooth plane curve of degree $d$ and genus $g=\frac{(d-1)(d-2)}{2}$. Let us choose $k\leq g+3d-1$ points on $C$. Is it true that the dimension of the space of plane curves of degree $d$ ...
1
vote
1answer
67 views

An question on effective divisor (Clifford 'S theorem)

For an effective divisor $D\ge 0$ on a curve $Y$, define $$\lvert D\rvert =\{ D' \in \mathrm{Div}(Y) \mid D'\ge 0 \;\text{ and }\; D' \sim D \}$$ where $D\sim D$ means $\exists$ a rational ...
1
vote
1answer
40 views

get the length of a curve with integral

I need to get the length of a curve which equation is : $$y= (4-x^\frac{2}{3})^\frac{3}{2}$$ I need to find the length using the method : $$L=\int_a^b \sqrt{ 1 + \left(\frac{dy}{dx}\right)^2}$$ So ...
1
vote
1answer
43 views

A question on the morphism of projective varieties

The continuation of this, my question I want to show that $X$ and $Y$ are smooth and irreducible curves then $f(X)$ is either $Y$ or a point. Note that I know the proof of this ...
2
votes
1answer
69 views

the diagonal $\Delta (Y) =\{(y,y)\in Y \times Y\}$ is closed in $\Bbb P^m \times \Bbb P^m $

Asumme that $\Pi : \Bbb P^n \times \Bbb P^m \rightarrow \Bbb P^m $is a closed map. $X\subset \Bbb P^n$ And $Y\subset P^m$ $f: X\rightarrow Y$ be a morphism of projective varieties. ...
0
votes
0answers
25 views

How many inflection points can a spatial parametric cubic curve have?

So in my knowledge, a planar cubic polynomial curve always has one and only one inflection point. My question is, for a spatial parametric cubic curve parameterised by t, which has the equation of: ...
2
votes
0answers
49 views

Can a “negative degree” line bundle on a reducible curve have global section?

Suppose $A,B$ are curves on smooth projective surface, having no common components and intersect, so $(A.B)>0$,do we have $H^0(O_A(-B|_A))=0?$ (here $A,B$ are effective divisors, may be irreduced ...
1
vote
0answers
40 views

Étale cohomology and Picard group of curves

Say we have $X$ a smooth projective curves over $\mathbb{Q}$, then I know there is an isomorphism $H_{ét}^1(X\times_\mathbb{Q}\overline{\mathbb{Q}},\mathbb{G}_m)\cong ...
2
votes
1answer
52 views

intersection multiplicity from Shafarevich

In Basic Algebraic Geometry, Shafaravich proves the following theorem: Theorem. If $X$ is an irreducible affine curve, and $P \in X$ is a nonsingular point, then there is a function $t$, regular at ...
3
votes
1answer
60 views

local parameter on an irreducible affine algebraic curve

On page 14 of Shafarevich's Basic Algebraic Geometry 1, it is stated that for an irreducible affine algebraic curve $X: f(x,y) = 0$, and a nonsingular point $P \in X$, there is a regular function $t$ ...
2
votes
1answer
73 views

Cubic curve in projective space

Is it true that every cubic curve in $\mathbb{P}^3$, which is not contained in a plane, can be parametrized by polynomials? $\\\\\\\\$
0
votes
0answers
45 views

How to decide if an ideal in $\mathbf Q[X,Y]/(P)$ is principal?

Let $P(X,Y)$ be an irreducible polynomial in $\mathbf Q[X,Y]$. Given an ideal $I$ of the quotient ring $\mathbf Q[X,Y]/(P)$ (say given by a set of generators) how can I decide if $I$ is principal or ...
1
vote
1answer
94 views

Why is the projection map proper?

It might be a silly question. I got stuck there. For the context, see S.K.Donaldson's Riemann Surfaces, chapter 4, section 4.2.3. Suppose $P(z,w)=a_0(z)+a_1(z)w+\dotsb+a_n(z)w^n\in\mathbb C[z,w]$ is ...
3
votes
0answers
43 views

Automorphisms of rational curves

Let $X$ be a non-empty open subscheme of $\mathbb P^1_{\mathbb C}$. What is the automorphism group of $X$ in terms of PGL$_n(\mathbb C)$ and the points on the boundary?
0
votes
1answer
44 views

Defined matrix in Catmull Spline Curve

I am trying to use Catmull spline curve in my program , I am trying to understand it but why we only use below given Matrix , because the examples I saw I only found the below one In Catmull spline ...
2
votes
1answer
33 views

covering of projective curve by affine parts

For $\mathbb{P}^n$ we can let $U_i = \{(x_1:\cdots:x_i:\cdots:x_{n+1}) : x_i \neq 0\}$. Then let $C \subset \mathbb{P}^n$ be a projective plane curve. We can decompose $C$ into a union of affine plane ...
2
votes
2answers
68 views

Eliminating a parameter when intersecting a manifold with a hyperplane

In the Euclidean space $\mathbb R^4$ we look at the intersection of the equations$$x^2 + y^2 = 1 \\ z^2 + w^2 = 1$$ sometimes known as the Clifford torus. This is known to be a 2-dimensional manifold, ...
1
vote
0answers
64 views

Stereographic projection for a link/knot

I've been trying to understand the topological "link" between algebraic varieties and their associated knots/links and to this end I've been reading F. Kirwan's book, "Complex algebraic Curves". The ...
0
votes
1answer
59 views

definition of affine plane curve

Let $k$ be a field. On page 5 of Milne's Elliptic Curves, the author defines an algebraic curves to be defined by polynomials $f \in k[x,y]$ with no repeated irreducible factors in ...
1
vote
1answer
58 views

multiplicity of intersection of projective curves

This example is taken from Silverman and Tate's Rational Points on Elliptic Curves. Suppose we have the line $C_1: x+y=2$ and the circle $C_2: x^2 + y^2 = 2$. We see that these intersect at the ...
1
vote
0answers
49 views

Surjective morphism of complete non-singular curves is normalization

My syllabus on algebraic geometry states the following: ''Let $\phi: X \to Y$ be a surjective morphism of complete non-singular curves. Then $X$ is the normalization of $Y$ in the function field of ...
0
votes
0answers
24 views

Cubic curves vs conics

What is the main difference between cubic curves and conics, i.e. why can cubic curves develop singularies while conics cannot? Is this in some way related to Poincare-Bendixon theorem of chaos ...
2
votes
1answer
75 views

Question about divisors

Let $\Lambda=<2\omega_1,2\omega_2>$ be a lattice in $\mathbb{C}$, $C=\mathbb{C}/\Lambda$ an elliptic curve. Let $O(0,0)$ (neutral element of the lattice), and $A \in \mathbb{C}/\Lambda$ point of ...
3
votes
0answers
37 views

branched covering factors through a primitive one

I'm struggling with an assertion I found in an article I'm reading. A projective complex curve $X$ is rationally uniformized by radicals if there exists a branched covering $X\to \mathbb{P}^1$ such ...
4
votes
2answers
81 views

Isomorphic Elliptic Curves

I want to solve the following exercise: Show that the two elliptic curves $E/ \mathbb{Q}$ and $E'/ \mathbb{Q}$ are isomorphic. $E: y^2 = x^3+x-2$ and $E': y'^2 = x'^3-\frac{1}{3}x' - \frac{52}{27}$. ...
3
votes
0answers
50 views

Inequality involving multiplicities of points introduced via Quadratic Transformations of a Plane Curve

I've been learning about the resolution of singularities for plane curves, and have become stuck at exercise 7.15 of Fulton's Algebraic Curves (page 91 of the PDF). The question is: Let $F=F_1, ...
1
vote
2answers
105 views

Looking for an introductory Algebraic Geometry book

I am looking for recommendations on an AG text to work through this summer, possibly with the help of a mentor. I would want this book to have some introduction to categories, and then develop the ...
3
votes
0answers
125 views

Computing the genus in positive characteristic

That's an exercise but I'm not so sure how to approach this. Let $k$ be a field of characteristic $p$ and let $f(t)$ be a polynomial in $k[t]$ of degree $d$. Let $C$ be the curve that corresponds to ...
3
votes
2answers
69 views

What's the relation between prime spectrum and affine space?

Let $A$ be a ring ,$X$ be the set of all prime ideal of $A$.For each subset $E$ of $A$,let $V(E)$ denoted the set of all prime ideals of $A$ which contain $E$. we have: ...
1
vote
1answer
23 views

Intersection Multiplicites

I have the following problem; Let $C = \{Q:=x_0x_2^2 -x_1(x_1-x_0)(x_1+x_0)=0\}$ and $L = \{ax_0 + bx_1 = 0\}$ be two projective curves with $(a,b) \ne (0,0)$. Let $p=[0,0,1]$, then I am asked to ...
0
votes
1answer
59 views

Bézier curve limits

Can be any curve of any shape (without sharp edges) described by Bézier curve with unlimited (but finite) number of control points? The answer to the question above would probably be no, because I ...
2
votes
1answer
59 views

$L(D)$ is Vector Space

Given a divisor $D$ on a curve $X$, define $L(D)=\{0\}\cup \{f \in k(X),f\ne 0 \, | (f)+D \ge 0\}$. where $(f)=\sum \nu_P(f)P$ and $ \upsilon_{P}(f)= |zeros| − |poles| $ of $f$ at $P$. I want to ...
2
votes
1answer
57 views

Calculating the projective closure with more than one generator

I am given a variety $X = Z(f_1,f_2)$ in affine 3-space (in $x,y,z$), and I would like to compute its projective closure $Y = Z(g_1,\dots,g_n)$ in projective 3-space (in $x,y,z,w$). I have seen this ...
2
votes
1answer
32 views

Proving that a map is a birational equivalence

I am trying to prove that the map $\phi:P^1\to X = Z(x^2y^3-z^5)$, given by $[r:s]\mapsto [u^5:v^5:u^2v^3]$ is a birational equivalence, i.e. that there exists some map $\psi:X\to P^1$ such that ...
4
votes
2answers
157 views

Coordinate ring of the unit circle is never a UFD?

I'm reading some notes about coordinate rings. On the third example on the second page, the author notes that the coordinate ring $K[\mathcal{C}]$ is not a UFD. If $f=X^2+Y^2-1$, then in ...
2
votes
1answer
61 views

Existence of finite morphism to projective line

As we all know, Belyi's theorem says: A complex curve $X$ is defined over a number field, if and only if there exists a finite morphism $t:X\to \mathbb{P}^1_\mathbb{C}$ of varieties over $\mathbb{C}$ ...
0
votes
0answers
24 views

Could a hyper elliptic curve of degree 5 admit only three ordinary double points?

The definition for hyper elliptic curves is those curves which admit a ramified double cover of $P^1$. The given degree five is for some homogeneous equations of degree five that defines the curve, ...
2
votes
1answer
61 views

Existence of $g_{d}^{r}$ implies existence of which $g_{d'}^{r'}$'s?

Suppose I have a Riemann surface with a $g_{d}^{r}$. I am wondering what $g_{d'}^{r'}$'s exist for sure. For instance, since $h^{0}\left(L\left(-p \right)\right)$ is either $h^{0}\left(L\right)$ in ...