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

21
votes
3answers
1k views

What is a local parameter in algebraic geometry?

Shafarevich offers the following theorem-definition: "At any nonsingular point $P$ of an irreducible algebraic curve, there exists a regular function $t$ that vanishes at $P$ and such that every ...
17
votes
4answers
2k views

intuitive explantions for the concepts of divisor and genus

when trying to explain AG-codes to computer scientists, the major points of contention i am faced with are the concepts of divisors, Riemann-Roch space and the genus of a function field. are there any ...
15
votes
2answers
528 views

What is Riemann-Roch in arithmetic all about?

I learn number theory recently and I could not understand what Riemann-Roch was all about in arithmetic; could someone give me a bit hint? What is the advantage of viewing all this stuff geometrically ...
14
votes
1answer
893 views

Proving that the genus of a nonsingular plane curve is $\frac{(d-1)(d-2)}{2}$

I'm studying from Joseph Silverman's book The Arithmetic Of Elliptic Curves and I'm trying to do as many exercises as I can. Right now I'm trying to do Exercise 2.7 from chapter II which reads as ...
14
votes
0answers
174 views

Geometric interpretation of the Riemann-Roch for curves

Let $X$ be a smooth projective curve of genus $g\geq2$ over an algebraically closed field $k$ and denote by $K$ a canonical divisor. I have some clues about the geometrical interpretation of the ...
13
votes
1answer
532 views

How to properly use GAGA correspondence

currently studying algebraic surfaces over the complex numbers. Before i did some algebraic geometry (I,II,start of III of Hartshorne) and a course on Riemann surfaces. Now i understood that by GAGA, ...
12
votes
4answers
823 views

Trefoil knot as an algebraic curve

Is the trefoil knot with its usual embedding into affine $3$-space an algebraic curve (maybe after extending scalars to $\mathbb{C}$)? Is there even some thickening to some algebraic surface? If ...
11
votes
3answers
439 views

Is a cover Galois if and only if it is geometrically Galois

Let $K$ be a number field and let $\pi:X\to \mathbf{P}^1_K$ be a finite morphism, where $X$ is a smooth projective geometrically connected curve. Is $\pi$ a Galois cover if and only if the base ...
11
votes
2answers
697 views

Irreducible components of the variety $V(X^2+Y^2-1,X^2-Z^2-1)\subset \mathbb{C}^3.$

I want to find the irreducible components of the variety $V(X^2+Y^2-1, \ X^2-Z^2-1)\subset \mathbb{C}^3$ but I am completely stuck on how to do this. I have some useful results that can help me ...
11
votes
1answer
206 views

What is the best way to see that the dimension of the moduli space of curves of genus $g>1$ is $3g-3$?

This fact was apparently known to Riemann. How did Riemann think about this?
11
votes
2answers
250 views

Can there be a point on a Riemann surface such that every rational function is ramified at this point?

Let $X$ be a compact connected Riemann surface, and let $S\subset X$ be a finite subset. Does there exist a morphism $f:X\to \mathbf{P}^1(\mathbf{C})$ which is unramified at the points of $S$? I'm ...
11
votes
2answers
191 views

Families of curves over number fields

Is there known a number field $K$ and a curve $F(x, y) \in K(t)[x, y]$ such that $F(x, y)$ does not have points over the field of rational functions $K(t)$ but for all but finitely many positive ...
11
votes
2answers
443 views

When do equations represent the same curve?

Suppose we have two sets of parametric equations $\mathbf c_1(u) = (x_1(u), y_1(u))$ and $\mathbf c_2(v) = (x_2(v), y_2(v))$ representing two 2D planar curves. When I say "2D planar curves" I mean ...
10
votes
3answers
240 views

Is every algebraic curve birational to a planar curve

Let $X$ be an algebraic curve over an algebraically closed field $k$. Does there exist a polynomial $f\in k[x,y]$ such that $X$ is birational to the curve $\{f(x,y)=0\}$? I think I can prove this ...
10
votes
2answers
270 views

Is a divisor in the hyperplane class necessarily a hyperplane divisor?

Let $V$ be a smooth irreducible projective curve over an algebraically closed field $k$, embedded in some projective space $\mathbb{P}^n$, and let $[H]$ be the induced hyperplane divisor class on $V$. ...
10
votes
1answer
245 views

Tate's Thesis: in what sense is Tate's Theorem 4.2.1 the Riemann-Roch theorem for curves?

I am reading Tate's Thesis. Tate derives a theorem which he calls "the number-theoretic analogue of the Riemann-Roch theorem" from an abstract Poisson summation formula. I am accustomed to thinking of ...
10
votes
1answer
160 views

Why does Mumford want to avoid “reduction to Jacobians”?

In the introduction to his Abelian Varieties book, David Mumford writes: I don't believe the word "Jacobian" is ever used in this book. Rather stubbornly I wanted to prove that the theory of ...
10
votes
3answers
200 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 ...
10
votes
1answer
874 views

Explicit Derivation of Weierstrass Normal Form for Cubic Curve

In page 22-23 of Rational Points on Elliptic Curves by Silverman and Tate, authors explain why is it possible to put every cubic curve into Weierstrass Normal Form. Here are relevant pages: (My ...
9
votes
4answers
136 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 ...
9
votes
3answers
672 views

rational points of an algebraic variety

In http://en.wikipedia.org/wiki/Rational_point we read : a $K$-rational point is a point on an algebraic variety where each coordinate of the point >belongs to the field $K$. This means that, if ...
9
votes
2answers
400 views

Good books/expository papers in moduli theory

I have been studying mathematics for 4 years and I know schemes (I studied chapters II, III and IV of Hartshorne). I would like to learn some moduli theory, especially moduli of curves. I began ...
9
votes
1answer
398 views

Weil and Cartier divisors on a curve

I'm trying to understand the relationship between Weil divisors and Cartier divisors, and I would like to see why these are the same in the simple case where $X$ is a nonsingular projective curve over ...
9
votes
2answers
406 views

Elementary proof of the Hurwitz formula

I am aware of two forms of the Hurwitz formula. The first is more common, and deals only with the degrees. So if $f:X \rightarrow Y$ is a non-constant map of degree $n$ between two projective ...
9
votes
1answer
176 views

What is the minimum background required to understand moduli of curves?

Recently I've coincidentally run into various relatives of the moduli stack $\mathcal{M}_g$ in several unrelated contexts. I tried reading Harris and Morrison's "Moduli of Curves," but it seems to ...
8
votes
3answers
201 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 ...
8
votes
2answers
2k views

How does one calculate genus of an algebraic curve?

I've been reading about parametrization of algebraic curves recently and the idea of the "genus of a curve" appears quite often (my impression is that a curve is parametrizable exactly when it has ...
8
votes
1answer
239 views

How to compute the order $\text{ord}_P (f)$ for $f \in K(C)$

First lets fix some notation. Let $C$ be a projective curve (i.e. projective variety of dimension 1) defined over a field $K$. Suppose that $P \in C$ and that $P$ is a smooth point. It is known that ...
8
votes
2answers
148 views

Principal divisors

How can i calculate the principal divisor $(f)$ where $$f = \frac{(x^{3}-1)}{(x^{4}-1)}$$ with $f\in\mathbb{F}_2(x)$. I am recently reading about the subject, so i am looking for a simple solution ...
8
votes
1answer
161 views

Threefold category equivalence: algebraic curves, Riemann surfaces and fields of transcendence degree 1

According to this article, The category of curves over the complex numbers is equivalent to two other categories: Riemann surfaces and fields of transcendence degree 1 over $\mathbb{C}$. But I ...
8
votes
1answer
195 views

Tangent sheaf of a (specific) nodal curve

Given a nodal (= reduced, connected, projective, having only ordinary double points as singularities) curve $C$ consisting of 5 $\mathbb P^1$ labeled $C_0, D_1, D_2, D_3, D_4$ such that $D_i$ ...
8
votes
1answer
107 views

Varieties with the property that the cotangent bundle restricted to a complete nonsingular curve is free

Let $X$ be a $d$-dimensional smooth projective connected variety with cotangent sheaf $\Omega^1_X$ over $\mathbb C$. Suppose that for any nonsingular complete curve $C$ and non-constant morphism ...
8
votes
1answer
87 views

Inhomogeneous polynomial and points at infinity

Let $f=X^2-Y$ be a polynomial in $k[X,Y]$, so $V(Z)$ is a parabola: $V(f)$: According to Bézout theorem the $y$-axis has to intersect the parabola two times. We know the y-axis meets the ...
8
votes
0answers
123 views

Tropical-like redefinitions of addition and multiplication?

I've been impressed at the rich structure of tropical mathematics, all consequences of the seemingly mundane starting point of replacing classical $a+b$ by $\min(a,b)$ (or max), and replacing ...
7
votes
2answers
116 views

If $f(u(x), v(y))=f(x, y)$, can we conclude that either $u(x)=x$ or $v(y)=y$?

Suppose $k$ is an algebraically closed field, and $f\in k[x, y]$ is an irreducible polynomial in two variables. Furthermore, suppose that $f(u(x), v(y))=f(x, y)$ for every $x, y\in k$, where ...
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$ ...
7
votes
2answers
209 views

Equations for double etale covers of the hyperelliptic curve $y^2 = x^5+1$

Let $X$ be the (smooth projective model) of the hyperelliptic curve $y^2=x^5+1$ over $\mathbf C$. Can we "easily" write down equations for all double unramified covers of $X$? Topologically, these ...
7
votes
1answer
404 views

Circumference of a superellipse?

Could someone help me formulate the circumference of a superellipse? $$\frac{x^n}{a^n} + \frac{y^n}{b^n} = 1$$ If it makes things easier, I'm considering only the cases $n>2$, and ...
7
votes
2answers
175 views

Are endomorphisms of degree one always automorphisms

Let $B$ be a smooth projective connected variety over $\mathbb C$. Let $\sigma:B\to B$ be an endomorphism of degree one. Do I understand correctly that $\sigma$ is an automorphism? I believe this ...
7
votes
1answer
171 views

Why do varieties with torsion canonical sheaf have finite etale covers with trivial canonical sheaf

Let $B$ be a variety with torsion canonical sheaf, i.e., $\omega^{\otimes n}_B \cong \mathcal O_B$ for some $n>0$. Then, why does there exist a finite (etale?) morphism $X\to B$ such that $K_X$ is ...
7
votes
1answer
136 views

The number of curves of given genus over a field

Let $k$ be a field. Let $g\geq 0$ be an integer. I have an elementary question. Let $N$ be the "number" of $k$-isomorphism classes of smooth projective geometrically connected curves over $k$ of ...
7
votes
2answers
334 views

Hartshorne exercise about sheaves on $\mathbb{P}^1$

I've been stuck on Exercise II.1.21(e) from Hartshorne's book for quite a while. It concerns the projective line $\mathbb{P}^1$ over an algebraically closed field $k$: write $\mathscr{H}$ for the ...
7
votes
1answer
182 views

Singularities of Curves in Positive Characteristic

Given a collection of polynomials $\mathscr{F}\subset\mathbb{Z}[x_1,\ldots,x_n]$, we can associate to each prime ideal of $\mathbb{Z}$ an affine variety as follows: $$ (p)\longmapsto ...
7
votes
1answer
155 views

On the automorphisms of the Klein Quartic

I am trying to solve a problem from Miranda's book, Algebraic Curves and Riemann Surfaces. On page 84, problem K gives the Klein curve $X$ as a smooth projective plane curve defined by the equation ...
7
votes
1answer
397 views

Abstract Nonsingular Curves

In section I.6 of Algebraic Geometry, Hartshorne establishes a that every curve is birationally equivalent to a nonsingular projective curve. To do this, he defines for any given curve $C$ with ...
7
votes
1answer
342 views

The genus of the Fermat curve $x^d+y^d+z^d=0$

I need to calculate the genus of the Fermat Curve, and I'd like to be reviewed on what I have done so far; I'm not secure of my argumentation. Such curve is defined as the zero locus ...
7
votes
1answer
149 views

Dimension of family of hyperelliptic curves

Suppose we have an elliptic curve E with a point $P$ of order $5$ over a field of characteristic $0$. Denote $E'$ the curve $E/\langle P\rangle$. Now let $x$ (resp. $x'$) be a function on $E$ (resp. ...
7
votes
0answers
116 views

Why do algebraic varieties contain curves passing through two given points

Let $X$ be an algebraic variety over the complex numbers. My definition of an algebraic variety is a finite type separated $\mathbf C$-scheme. Someone told me that such varieties have the following ...
7
votes
0answers
212 views

Do Neron models of hyperbolic curves exist

Let $X$ be a smooth projective geometrically connected curve over a number field $K$. Assume that $g\geq 2$. Does there exist a Neron model $\mathcal X$ for $X$ over $O_K$? By a Neron model, I mean ...
7
votes
0answers
433 views

A problem about the twisted cubic

I have some difficulty with the following problem: Let $f : k → k^3$ be the map which associates $(t, t^2, t^3)$ to $t$ and let $C$ be the image of $f$ (the twisted cubic). Show that $C$ is an ...