Questions tagged [algebraic-curves]

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 of curves are extensively studied as a basic case in singularity theory. Via algebraic function fields and modular curves they have links to number theory.

If $K$ is a field, then an algebraic curve is an equation $f(X,Y)=0$ where $f(X,Y)$ is a polynomial with coefficients in the field. In other words, it is the set of points on the Euclidean plane whose coordinates are zeros of some polynomial in two variables.

2225 questions
103
votes
1 answer

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 Riemann-Roch Theorem for smooth algebraic curves, but…
Abramo
  • 6,717
  • 2
  • 30
  • 52
44
votes
4 answers

Intuitive explanations 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 intuitive explanations for these concepts,…
yohay kaplan
  • 738
  • 6
  • 8
32
votes
2 answers

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 genus 0), but I can't seem to find a definition for…
smackcrane
  • 3,061
  • 2
  • 20
  • 32
30
votes
2 answers

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 $$X=\{[x:y:z]\in\mathbb{P}^2:x^d+y^d+z^d=0\}$$ It is defined by…
Marra
  • 4,624
  • 23
  • 55
28
votes
3 answers

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 question is at the end; I have put a red line across…
28
votes
1 answer

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, a lot of results transfer from complex analytic…
28
votes
1 answer

Intersection of twisted cubics in $\mathbb{P}^3$

Suppose we have two twisted cubics $C_1$, $C_2$ in $\mathbb{P}^3$ such that both of them lie in some cubic surface, which means that $h^0(\mathbb{P}^3, I_{C_1\cup C_2}(3))>0$. I want to show that in this case they intersect. Suppose that they do not…
guest31
  • 905
  • 5
  • 13
27
votes
1 answer

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?
Bruno Joyal
  • 52,320
  • 6
  • 122
  • 220
25
votes
3 answers

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 rational function $u$ that is not identically $0$ on…
Zach Conn
  • 4,763
  • 1
  • 22
  • 29
23
votes
1 answer

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 the Riemann-Roch theorem as a statement about…
23
votes
4 answers

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 that $\mathbf c_1(u)$ and $\mathbf c_2(u)$ are…
22
votes
2 answers

Geometric interpretation of ramification of prime ideals.

I am trying to understand geometrically the ramification of primes in a finite separable field extension. Let $A$ be a Dedekind domain with fraction field $K$ and $L/K$ a finite separable field extension of degree $n$, and let $B$ be the integral…
21
votes
2 answers

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 X$ a nonsingular closed subvariety. Let…
Fq00
  • 1,151
  • 8
  • 14
21
votes
1 answer

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 follows. Let $f(X, Y, Z) \in K[X, Y, Z]$ be a…
Adrián Barquero
  • 14,457
  • 3
  • 52
  • 96
19
votes
2 answers

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 decompose $V(F)$ when $F$ is a single polynomial, but…
1
2 3
99 100