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
62 views

The intuition behind the coordinate ring $\Gamma(F)$

I'm studying Fulton's algebraic curves book. He gives the following definitions: We can define the coordinate ring of a nonempty variety $V\subset \mathbb A^n$ as $\Gamma(V)=k[X_1,\ldots,X_n]/I(V)$. ...
0
votes
1answer
21 views

Why this $F_*=F(X,Y,1)$

I'm studying Fulton's algebraic curves book. Someone could help me to prove this phrase highlighted: I didn't understand why the $F_*$ he defined is the same of the known $F_*=F(X,Y,1)$. Thanks ...
1
vote
3answers
97 views

The topology on $\mathbb A^2$ is not the product topology [duplicate]

I'm trying to prove the Zariski topology on $\mathbb A^2$ is not the product topology on $\mathbb A^1\times \mathbb A^1$. I'm looking for a counter-example based on the fact the closed subsets in ...
1
vote
0answers
36 views

Curve and Constant Curvature

I have initial position vector $p_0$, given curve-linear length $1$. It can be parameterized by $s\in[0,1]$. Assume we have the equation to generate the curve from given starting point and constant ...
1
vote
0answers
90 views

Divisor question on the normal projective curve

Let $X$ a normal projective curve over an infinite field $k$, let $x_1,\dots,x_n$ be pairwise distinct closed points in $X$ and let $n_1,\dots,n_r\in\mathbb Z$. Let $$D=\sum_in_ix_i$$ ...
0
votes
1answer
43 views

I need help to understand blowups of points in curves in $\mathbb A^2$

I'm trying to understand how to blowup curves which I'm finding very difficult. Example $V=V\bigg(y^2-x^2(x+1)\bigg)$ Blowup map $\pi$: $$B=\{(x,l)\in \mathbb A^2\times \mathbb P^1|x\in l\}\to ...
2
votes
0answers
53 views

Theta-divisor and special divisors

I'm studying the Jacobi inversion problem. Could you help me with the next question? Let us consider an algebraic curve $C$ and it's Jacobian $J(C)$. For a initial point $P_0$ we can construct the ...
1
vote
0answers
43 views

Why this equality?

I'm trying to understand this proof in Fulton's algebraic book: I understood why we can assume $C$ a closed subvariety of $\mathbb P^n$ such that $C\cap U_i\neq \emptyset$, $i=1,\ldots,n+1$ . My ...
0
votes
1answer
37 views

Doubt in the definition of closed subvarieties

I'm trying to understand this definition in Fulton's algebraic curves: In order to be $Y$ a variety, $\overline Y$ has to be an irreducible algebraic set of $\mathbb ...
0
votes
0answers
36 views

Taylor expansions in two variables

I need help in this proof Can I use Taylor expansion in Algebra? someone could give more detail of this Taylor expansion? Thanks in advance EDIT The main question is how the author get this "Y + ...
0
votes
0answers
22 views

$P$ is a simple point of $F$ $\Leftrightarrow O_P(F)$ is a DVR

I'm trying to find some sources with another proof of this theorem in Fulton's book: Does someone know other proofs of this theorem? maybe more algebraic? Thanks in advance
0
votes
0answers
44 views

How to find the tangent vector to a curve at a special point

The two points $A=(x_{0},y_{0},z_{0})$ and $B=(x_{1},y_{1},z_{1})$ are given. The line segments $AC$ and $BC$ make equal angle $\alpha$ with the horizontal plane through $C$. The angle ...
0
votes
1answer
56 views

How to prove the uniqueness

I'm trying to solve this question from Fulton's algebraic curves: I've already easily solved (a) and the existence part of (b). I'm having problems to prove the uniqueness of part (b). I need ...
0
votes
0answers
52 views

Why is this theorem important in fulton's book?

In Fulton algebraic curves book, we have the following proprieties which help us to find the intersection number of a pair of function at a given point. afterwards he states this theorem: ...
0
votes
1answer
81 views

How to prove this comment of Fulton

I'm trying to understand why this is true in Fulton's Algebraic Curves: Why we add this point $(0,\ldots, 0)$? Why this equality is true? I really need help. Thanks in advance.
2
votes
1answer
25 views

Sources about transcendence degree

I asked this question: Characterization of the transcendentals over a field I realized I need some knowledge about transcendence degree to prove some facts in the book I'm reading. I would like to ...
0
votes
1answer
47 views

The ring of fractions $K(x)$ is the field generated by $K$ and $x$.

I would like to show that the ring of fractions $K(x)$ of $K[x]$ in an extension $L$, where $K\subset L$ fields, is the field generated by $K$ and $x$ (let's call it by $\tilde{K(x)}$). I know just ...
0
votes
2answers
23 views

Rational functions are decomposed in polynomial products

I'm trying to understand why this is true: Since $K(x)$ is a field, $K(x)$ is an UFD, then $K(x)$ can be written uniquely as products of irreducible elements of $K(x)$. I didn't understand why ...
3
votes
1answer
40 views

Characterization of the transcendentals over a field

I'm studying Algebraic Function Fields and Codes book from Henning Stichtenoth and I didn't understand this remark in the first page: I couldn't solve any part of the equivalence, I think maybe ...
0
votes
0answers
34 views

projective change of coordinates and tangent line

Let $C/k$ be a projective algebraic curve given by a polynomial $F \in k[X,Y,Z]$. If $L$ is tangent to $C$ at a point $P$ does $L$ remain tangent to $C$ at a point $P'$ after a projective change of ...
-1
votes
1answer
48 views

$a,b$ integral $\implies$ $a+b$ integral

I'm sure it's just silly thing. I'm reading Fulton's algebraic curves book and I don't understand this phrase of this proof: I didn't understand why according to the proposition we have $a\pm b,ab$ ...
0
votes
0answers
39 views

Curve avoiding semi-rational points

A rational point is a point in $\mathbb{R}^d$ all of whose $d$ coordinates are rational. Let me define a semi-rational point as one that has at least one rational coordinate (but whose other ...
2
votes
1answer
64 views

Prove that $H^1(\mathcal{M}^*)=0$.

Let $X$ be a compact Riemann surface. For an open set $U$, let $\mathcal{M}^*(U)$ be the multiplicative group of nonzero meromorphic functions on $U$ ("nonzero" meaning "not identically zero"). This ...
0
votes
2answers
81 views

Dimension of $\dim_{\mathbb C}\mathbb C[X,Y]/I(Y^2-X^2,Y^2+X^2)$

I'm trying to solve the question 1.36 from Fulton's algebraic curves book: Let $I=(Y^2-X^2,Y^2+X^2)\subset\mathbb C[X,Y]$. Find $V(I)$ and $\dim_{\mathbb C}\mathbb C[X,Y]/I$. Obviously ...
1
vote
1answer
77 views

Decomposition of an algebraic variety into irreducible components

I'm studying the Fulton's algebraic curves book and I have the following doubts in the end of the page 9: I didn't understand why the following equations hold: $$I\left(\bigcup_i ...
2
votes
0answers
84 views

When do two integral superellipses have 'nice' intersections?

A recent question posed the nonlinear system \begin{cases} 3x^3+4y^3=7\\ 4x^4+3y^4=16 \end{cases} for real $(x,y)$ and asked for the sum $x+y$. As noted by commentary in the question, this regrettably ...
0
votes
1answer
41 views

integral point on conics

Suppose we have a conic $ax^2 + bxy + cy^2 + dx + ey + f = 0$ where $a,b,c,d,e,f \in \mathbb{Q}$. Is there a way of computing the integer points on this curve. Since it is affine an not projective we ...
2
votes
0answers
45 views

Mobius transformation of Algebraic curve

I am working on the uniformization of algebraic curve problem. Currently, my adviser gave me a question about build a Mobius transformation between algebraic curves, and then lift it to the Rimeann ...
1
vote
1answer
83 views

Finding the area enclosed by $px^4+qxy+ry^2+sy+t=0$

When $px^4+qxy+ry^2+sy+t=0\ (p,q,r,s,t\in\mathbb R)$ represents a simple closed curve on the $xy$ plane, can we represent the area enclosed by this curve by $p,q,r,s,t$? If yes, then how? Example 1 ...
1
vote
1answer
80 views

Merge two or more cubic Bézier curves for optimization

I am looking for an algorithm which can merge several cubic Bezier curves. For instance, I have a lot of cubic Bezier that are joined to form a poly-Bezier curve. The idea is to merge dynamically some ...
1
vote
0answers
15 views

is it possible to express the moduli of ppav's using torelli loci?

This is a probably vague question from an outsider: It is well known that it is possible to embed "the" moduli space of curves $M_g$ with fixed genus g into the moduli space of principally polarized ...
0
votes
1answer
34 views

Covering of Projective line

This is an exercise given during the course in Riemann Surfaces that I attended this year. Let $X$ be a compact Riemann Surface that is a degree $3$ cover of $\mathbb{P}^1(\mathbb{C})$ given by ...
1
vote
0answers
57 views

Torsion points on elliptic curves, $E^1$

Let $E$ be an elliptic curve over $\mathbb{Q}_p$ and let $E(\mathbb{Q}_p) \supset E^0(\mathbb{Q}_p) \supset E^1(\mathbb{Q}_p) \supset \cdots$ be its $p$-adic filtration, where $E^n(\mathbb{Q}_p) = \{P ...
1
vote
0answers
34 views

Parabola tangent to four lines

Suppose that in the affine plane R^2 four lines are given, with the property that no two are parallel and no three are concurrent. Show that there exists a unique parabola tangent to each of the four ...
3
votes
1answer
87 views

Why is it called “elliptic” curve?

One of my favourite and most studied algebraic curve is the elliptic curve. But something that I have never asked myself is: Why do they call this nonsingular cubic curve an "elliptic" curve? ...
0
votes
1answer
60 views

Why a cubic plane curve meets a line three times?

Can someone explain to me why a cubic curve in a projective plane always meets a line three times?
2
votes
1answer
64 views

$p$-adic numbers and projective coordinates

Let $E/\mathbb{Q}_p$ be an elliptic curve and let $E^0(\mathbb{Q}_p)$ denote its nonsingular points. We accept that $E^0(\mathbb{Q}_p)$ is a subgroup of $E(\mathbb{Q}_p)$. Then let ...
2
votes
1answer
63 views

elliptic curves over $\mathbb{Q}_p$

Let $E: Y^2 = X^3 + AX + B$ be an elliptic curve over $\mathbb{Q}_p$, i.e. $A,B \in \mathbb{Q}_p$ and $4A^3 + 27B^2 \neq 0$. Then, according to page 47 of Cassels' Lectures on Elliptic Curves, if ...
0
votes
0answers
60 views

How can we compute the order of 1-form on Riemann surfaces

Let X be a hyperellictic curve defined by $y^2=h(x)$. Let $\pi:X\rightarrow\mathbb{P}^1$ be the double covering map seding $(x,y)$ to $x$. Let $\omega=\pi^*(dx/h(x))$. How can we compute the orders of ...
0
votes
0answers
45 views

How can I find a tranformation matrix/Mathematical relation between two 5th degree polynomial curves in space?

I have the equation of two 5th degree polynomials which they don't intersect with each other. Each curve is made of 100 points and these two curves look similar but there are small differences. I am ...
3
votes
0answers
62 views

How can I find a tranformation matrix/Mathematical relation between two 5th degree polynomial curves in space?

I have the equation of two 5th degree polynomials which they don`t intersect with each other .Each curve is made of 100 points and these two curves looks similar but there are small differences .I am ...
2
votes
0answers
91 views

Simple Branched covering over sphere.

A simple branched covering is a branched covering with branching points of degree at most 2, in some context, it is also required to have at most one branching point in each fiber. My question is ...
1
vote
1answer
81 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
46 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
70 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
55 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
70 views

Birrational curves and singularities [closed]

If $C$ and $D$ are two birrational plane curves. Is there some relation between their singular points?
1
vote
0answers
47 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
49 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
84 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 ...