Math 2.0

Geometry Definition

Quadric

Builds on FieldVector spaceProjective spaceQuadratic form

Definition

Let FF be a field, let VV be a vector space over FF of finite dimension n+1≥2n + 1 \ge 2, and let ℙ(V)\mathbb{P}(V) be its projective space. Let QQ be a nonzero quadratic form on VV. For a nonzero vector vv, write ⟨v⟩\langle v \rangle for the point of ℙ(V)\mathbb{P}(V) that it spans. The (projective) quadric of QQ is the set {⟨v⟩∈ℙ(V):Q(v)=0}.\set{\langle v \rangle \in \mathbb{P}(V) : Q(v) = 0}. It is well defined because Q(λv)=λ2Q(v)Q(\lambda v) = \lambda^2 Q(v). An affine quadric in FnF^n is the set of zeros of a polynomial of degree exactly 22 in nn variables with coefficients in FF.

Remarks

Example: in ℙ3(F)\mathbb{P}^3(F), the form Q(x)=x0x1+x2x3Q(x) = x_0 x_1 + x_2 x_3 defines a quadric that contains the line of points [s:0:t:0][s : 0 : t : 0], since Q(s,0,t,0)=0Q(s, 0, t, 0) = 0 for all s,ts, t. Example: the sphere x2+y2+z2=1x^2 + y^2 + z^2 = 1 in ℝ3\R^3 is an affine quadric, and x2+y2+z2−w2=0x^2 + y^2 + z^2 - w^2 = 0 is its projective closure.

Non-example: the zero set of y−x3y - x^3 in F2F^2 is not an affine quadric, because the polynomial has degree 33.

For n=2n = 2 the projective quadrics are the projective conics. Different forms can define the same point set. For example, over ℝ\R every positive definite form defines the empty quadric. For this reason the quadric is often taken together with its form, up to a nonzero scalar.

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. Field concept
  2. Projective space concept
  3. Quadratic form concept
  4. Vector space concept
  5. Quadric definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Quadric
About this page
TagAHCXQCYW3C
URIm2://AHCXQCYW3C
Kinddefinition
WritingW0 stub
MSC51N15, 51A50, 14J70
DefinesQuadric
UsesField, Vector space, Projective space, Quadratic form

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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.