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
0answers
61 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
88 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
65 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
0answers
72 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
83 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 ...
3
votes
1answer
215 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
45 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
15 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 ...
2
votes
0answers
50 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
52 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
88 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$ ...
2
votes
1answer
96 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
43 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
55 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
81 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. ...
2
votes
0answers
100 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 ...
2
votes
0answers
73 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
134 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
105 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
110 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? $\\\\\\\\$
1
vote
1answer
124 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
49 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
108 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
67 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
185 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, ...
2
votes
0answers
79 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
112 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
196 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
127 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 ...
2
votes
1answer
83 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
1answer
56 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
100 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
59 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
146 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
149 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
128 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
50 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
89 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
66 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
226 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
51 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
367 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
87 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}$ ...
2
votes
1answer
68 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 ...
0
votes
2answers
68 views

5th order Polynomial not accurate enough?

I have a data plot XY that goes from (X 0-127, Y -70.0 - 6.0 db) Im using the 5th order polynomial function from plotting this data on this site [http://www.zizhujy.com/en-us/Plotter][1] However, ...
2
votes
1answer
149 views

Intersection Multiplicity and Multiplicity of Zeros in Polynomial

I study coding theory and we use the textbook Fundamentals of Error-Correcting Codes . In the section related to Algebraic Geometry Code, we need to compute Intersection Multiplicity of two curve in ...
3
votes
1answer
114 views

Proof of the Belyi's theorem: where it is really used the hypothesis?

Consider the Belyi's theorem: If a smooth projective curve $X$ is defined over $\overline{\mathbb Q}$, then there exists a finite morphism $X\longrightarrow\mathbb P^1(\mathbb C)$ with at most $3$ ...
1
vote
1answer
123 views

When branch points lie in $\mathbb P^1\left(\overline{\mathbb Q}\right)$.

I'm working on the following problem for several days without finding any solution: Let $X$ be a complex smooth projective curve and suppose moreover that $X$ is defined over $\overline{\mathbb ...
2
votes
2answers
69 views

Strange property of parametrization of a class of plane curves

My studies lead me to the following parametrization of perhaps a new class of plane curves ( which are similar in shape to the classical sinusoidal spirals but not identical ). If the curves are not ...
10
votes
3answers
217 views

Is there a better way to find the polynomial equation for this curve?

Consider the curve in $\mathbb{R}^2$ defined by the equation $$ x^{1/3} + y^{1/3} + (xy)^{1/3} = 1, $$ where $x^{1/3}$ denotes the real cube root of $x$, etc. Since the equation above involves only ...