Math 2.0

Algebraic geometry Definition

Plane curve

Builds on Algebraic curveProjective spaceHomogeneous polynomialPolynomial ring

Definition

Let kk be a field. A projective plane curve over kk is the closed subscheme C=V(F)C = V(F) of the projective plane ℙk2\mathbb{P}^2_k defined by a nonconstant homogeneous polynomial F∈k[x,y,z]F \in k[x, y, z]. Its degree is deg⁡F\deg F. An affine plane curve is the closed subscheme V(f)⊂𝔸k2V(f) \subset \mathbb{A}^2_k defined by a nonconstant polynomial ff in the polynomial ring k[x,y]k[x, y].

Remarks

The polynomial is determined by CC up to a nonzero scalar factor. A plane curve is an algebraic curve: it has dimension 11. It is reduced exactly when FF has no repeated irreducible factor, and integral exactly when FF is irreducible. Example: F=x2+y2−z2F = x^2 + y^2 - z^2 defines a conic of degree 22 in ℙ2\mathbb{P}^2, the projective closure of the circle x2+y2=1x^2 + y^2 = 1. Non-example: the twisted cubic {[s3:s2t:st2:t3]}⊂ℙ3\set{[s^3 : s^2 t : s t^2 : t^3]} \subset \mathbb{P}^3 is a curve in ℙ3\mathbb{P}^3 that lies in no plane of ℙ3\mathbb{P}^3, so it is not a plane curve inside ℙ3\mathbb{P}^3. As an abstract curve it is isomorphic to ℙ1\mathbb{P}^1, which is a line in ℙ2\mathbb{P}^2; being a plane curve is a property of the embedding. A nonzero linear form vanishing on it would give a linear relation among s3,s2t,st2,t3s^3, s^2 t, s t^2, t^3, and there is none.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Algebraic curve concept
  2. Homogeneous polynomial concept
  3. Polynomial ring concept
  4. Projective space concept
  5. Plane curve definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Plane_curve
About this page
TagZ3AY2NEVW3
URIm2://Z3AY2NEVW3
Kinddefinition
WritingW0 stub
MSC14H50
DefinesPlane curve
UsesAlgebraic curve, Projective space, Homogeneous polynomial, Polynomial ring

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.