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
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
58 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
56 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
22 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
73 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
78 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
104 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
68 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
58 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
51 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
155 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
23 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
59 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
60 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
68 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
64 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
105 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 ...
1
vote
2answers
53 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
201 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 ...
0
votes
0answers
13 views

Building a nonsingular curve

I have a quintic surface, defined by a homogeneous polynomial in the variables $x,y,w,z$ in $\mathbb{P}^3$. I know the polynomial to have the form $$ xP_1 + wP_2 + (y-z)^2(y^3 + z^3)=0 $$ where the ...
0
votes
1answer
55 views

Find all the intersection points of a vector parabola (in R3) and a sphere

Given that I have a vector in R3 (7t, 10t - 2t^2, 5t) | (These numbers are arbitrary for the sake of the process) A sphere centered at the point ( 15, 25, 10) with a radius of 20 There is a ...
1
vote
0answers
33 views

Divisors of Fermat Curves.

I've been studying Algebraic Geometry (in coding theory), and my book has been very ambiguous about what some of these ideas actually look like. So I was curious as to what some of the Divisors of ...
3
votes
1answer
122 views

Exactness of the pullback of the Euler sequence

Let $(L,V)$ be a base point free $g^r_d$ on a curve $C$. Then we have an exact sequence $0\rightarrow M_{L,V}\rightarrow\mathcal{O}_C^{r+1}\xrightarrow{\theta} L\rightarrow 0$, where we just let ...
2
votes
1answer
55 views

Line Meeting a Plane Curve at One Point

Given a curve (smooth, projective, irreducible) $X$ in $\mathbb{CP}^2$, this curve meets all other curves in the same space. Generically, it will meet a line (a copy of $\mathbb{CP}^1$ in ...
9
votes
4answers
142 views

What are some applications of the Weil conjectures for algebraic curves?

I have been interested in the Weil conjectures for some time, and the easiest place to start has been in studying them for elliptic curves. I've been able to see some of their applications and ...
4
votes
1answer
65 views

Degree of ramification divisor and number of fixed points under a group action.

Let $C$ be a projective plane nonsingular complex curve and a finite group $G$ acts on $C$. Consider the quotient $f: C\rightarrow C/G=:C'$. Then, by Riemann–Hurwitz $2g_C-2=|G|(2g_{C'}-2)+\deg R,$ ...
1
vote
0answers
48 views

Irreducible Linear Subspace

Let k be an infinite field. Prove that any linear subspace of $A_k^n$ is irreducible. My first question is, what would a linear subspace be? Is is a variety that is generated by linear equations? ...
4
votes
0answers
47 views

On the bidegree of a curve in $\mathbb{P}^1 \times \mathbb{P}^1$

I was reading Beauville's Complex algebraic surfaces, at page 5 there is an example in which curves in $\mathbb{P}^1 \times \mathbb{P}^1$ are classified by the bidegree up to linear equivalence. I'm ...
3
votes
1answer
50 views

Elliptic points on modular curves and a uniformising parameter

I'm working with the modular curves $X_0(p)$ for $p=2,5$, with $$f_2=q\prod_{n\geq1}(1+q^n)^{24}$$ and $$f_5=q\prod_{n\geq1}(1+q^n+q^{2n}+q^{3n}+q^{4n})^6$$ being inverses of the Hauptmodul and ...
3
votes
1answer
63 views

$d$-branched coverings and finite morphisms of degree $d$

Consider a smooth projective curve $X$ over $\mathbb C$ (so $X$ is a projective $\mathbb C$-scheme, integral, of finite type....), and let $t: X\longrightarrow\mathbb P^1_{\mathbb ...
7
votes
2answers
208 views

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

Let $X$ be a complex smooth projective curve and suppose moreover that $X$ is defined over $\overline{\mathbb Q}$. Now consider a finite map $f:X\longrightarrow\mathbb P^1(\mathbb C)$ of degree $d$ ...
3
votes
1answer
141 views

Picard group and jacobian of a singular curve

I found somewhere written that the jacobian of a reducible curve is the product of the jacobians, which seems quite reasonable to me. Where can I find some proof of it and a description of the Picard ...
3
votes
1answer
39 views

Valuation rings and total order

Let $K$ be a field and $\mathcal{O}$ be a valuation ring of $K$ (So $\mathcal{O}\subset K$ is an integral domain with the property that either $x$ or $x^{-1}$ is in $\mathcal{O}$ for all $x\in K$). ...
2
votes
0answers
38 views

Zeta Function of a Curve

In general, is there a simple way of computing the zeta function of a curve (or variety) over $\mathbb{F}_q$? Here $q$ is an odd prime power. I've seen a nice computation for both affine and ...
8
votes
3answers
210 views

Applications of Belyi's theorem

Belyi's theorem (1979) is stated as follows: A smooth projective curve over $\mathbb C$ is defined over a number field if and only if there exists a finite morphism (of varieties over $\mathbb ...
2
votes
1answer
82 views

projective non-singular curve

I am working on algebraic curves at the moment and I can not find a proper definition of the projective non-singular curves. My goal is understand that the category of non-singular projective curves ...
3
votes
1answer
67 views

Max Noether's fundamental theorem aplication

Let $C$ be a irreducible cubic in the projective plane and let $F,F^\prime$ be two algebraic curves of degree $m$ satisfying $(C,F)=\Sigma_{i=1}^{3m}p_i$ and $(C,F^\prime)=\Sigma_{i=1}^{3m-1}p_i+q$, ...
3
votes
1answer
97 views

What is a field of definition of a morphism?

An algebraic variety $X$ over a field $K$ is a $K$-scheme integral separated and of finite type over $K$. Definition: If $L$ is a subfield of $K$ we say that $X$ is defined over $L$ if there ...
4
votes
2answers
147 views

Geometric interpretation and computation of the Normal bundle

My question concern the definition, geometric meaning, and usage of the normal bundle in algebraic geometry. Let $X$ be a nonsingular variety over an algebraically closed field $k$, and $Y\subseteq ...
5
votes
1answer
77 views

How are Jacobians of genus $3$ curves different from one another?

There are two types of smooth projective (complex) curves of genus $3$: plane quartics, and hyperelliptic curves. The Torelli morphism $M_3\to A_3$, assigning a curve to its (principally polarized) ...
4
votes
2answers
70 views

Degree 2 Fermat curve

I'm trying to solve the following exercise: Prove that the variety $V\subset \mathbb{CP}^2$ defined by $x^2+y^2+z^2=0$ is isomorphic to $\mathbb{CP}^1$. What I've done: I tried to define an explicit ...
2
votes
1answer
73 views

Is $y^2 =$ quartic in $x$ smooth at infinity?

Let $q(x)\in K(x)$ be a quartic polynomial in x with distinct roots over the algebraically closed field $K$. Consider the curve $C\subset \Bbb P^2$ given by $y^2-q(x)$. Is $C$ smooth? Well, at least ...