Quadric (algebraic geometry)

From HandWiki
The two families of lines on a smooth (split) quadric surface

In mathematics, a quadric or quadric hypersurface is the subspace of N-dimensional space defined by a polynomial equation of degree 2 over a field. Quadrics are fundamental examples in algebraic geometry. The theory is simplified by working in projective space rather than affine space. An example is the quadric surface

[math]\displaystyle{ xy=zw }[/math]

in projective space [math]\displaystyle{ {\mathbf P}^3 }[/math] over the complex numbers C. A quadric has a natural action of the orthogonal group, and so the study of quadrics can be considered as a descendant of Euclidean geometry.

Many properties of quadrics hold more generally for projective homogeneous varieties. Another generalization of quadrics is provided by Fano varieties.

Property of quadric By definition, a quadric X of dimension n over a field k is the subspace of [math]\displaystyle{ \mathbf{P}^{n+1} }[/math] defined by q = 0, where q is a nonzero homogeneous polynomial of degree 2 over k in variables [math]\displaystyle{ x_0,\ldots,x_{n+1} }[/math]. (A homogeneous polynomial is also called a form, and so q may be called a quadratic form.) If q is the product of two linear forms, then X is the union of two hyperplanes. It is common to assume that [math]\displaystyle{ n\geq 1 }[/math] and q is irreducible, which excludes that special case.

Here algebraic varieties over a field k are considered as a special class of schemes over k. When k is algebraically closed, one can also think of a projective variety in a more elementary way, as a subset of [math]\displaystyle{ {\mathbf P}^N(k)=(k^{N+1}-0)/k^* }[/math] defined by homogeneous polynomial equations with coefficients in k.

A singular quadric surface, the cone over a smooth conic curve

If q can be written (after some linear change of coordinates) as a polynomial in a proper subset of the variables, then X is the projective cone over a lower-dimensional quadric. It is reasonable to focus attention on the case where X is not a cone. For k of characteristic not 2, X is not a cone if and only if X is smooth over k. When k has characteristic not 2, smoothness of a quadric is also equivalent to the Hessian matrix of q having nonzero determinant, or to the associated bilinear form b(x,y) = q(x+y) – q(x) – q(y) being nondegenerate. In general, for k of characteristic not 2, the rank of a quadric means the rank of the Hessian matrix. A quadric of rank r is an iterated cone over a smooth quadric of dimension r − 2.[1]

It is a fundamental result that a smooth quadric over a field k is rational over k if and only if X has a k-rational point.[2] That is, if there is a solution of the equation q = 0 of the form [math]\displaystyle{ (a_0,\ldots,a_{n+1}) }[/math] with [math]\displaystyle{ a_0,\ldots,a_{n+1} }[/math] in k, not all zero (hence corresponding to a point in projective space), then there is a one-to-one correspondence defined by rational functions over k between [math]\displaystyle{ {\mathbf P}^n }[/math] minus a lower-dimensional subset and X minus a lower-dimensional subset. For example, if k is infinite, it follows that if X has one k-rational point then it has infinitely many. This equivalence is proved by stereographic projection. In particular, every quadric over an algebraically closed field is rational.

A quadric over a field k is called isotropic if it has a k-rational point. An example of an anisotropic quadric is the quadric

[math]\displaystyle{ x_0^2+x_1^2+\cdots+x_{n+1}^2=0 }[/math]

in projective space [math]\displaystyle{ {\mathbf P}^{n+1} }[/math] over the real numbers R.

Linear subspaces of quadrics

A central part of the geometry of quadrics is the study of the linear spaces that they contain. (In the context of projective geometry, a linear subspace of [math]\displaystyle{ {\mathbf P}^N }[/math] is isomorphic to [math]\displaystyle{ {\mathbf P}^a }[/math] for some [math]\displaystyle{ a\leq N }[/math].) A key point is that every linear space contained in a smooth quadric has dimension at most half the dimension of the quadric. Moreover, when k is algebraically closed, this is an optimal bound, meaning that every smooth quadric of dimension n over k contains a linear subspace of dimension [math]\displaystyle{ \lfloor n/2\rfloor }[/math].[3]

Over any field k, a smooth quadric of dimension n is called split if it contains a linear space of dimension [math]\displaystyle{ \lfloor n/2\rfloor }[/math] over k. Thus every smooth quadric over an algebraically closed field is split. If a quadric X over a field k is split, then it can be written (after a linear change of coordinates) as

[math]\displaystyle{ x_0x_1+x_2x_3+\cdots+x_{2m-2}x_{2m-1}+x_{2m}^2=0 }[/math]

if X has dimension 2m − 1, or

[math]\displaystyle{ x_0x_1+x_2x_3+\cdots+x_{2m}x_{2m+1}=0 }[/math]

if X has dimension 2m.[4] In particular, over an algebraically closed field, there is only one smooth quadric of each dimension, up to isomorphism.

For many applications, it is important to describe the space Y of all linear subspaces of maximal dimension in a given smooth quadric X. (For clarity, assume that X is split over k.) A striking phenomenon is that Y is connected if X has odd dimension, whereas it has two connected components if X has even dimension. That is, there are two different "types" of maximal linear spaces in X when X has even dimension. The two families can be described by: for a smooth quadric X of dimension 2m, fix one m-plane Q contained in X. Then the two types of m-planes P contained in X are distinguished by whether the dimension of the intersection [math]\displaystyle{ P\cap Q }[/math] is even or odd.[5] (The dimension of the empty set is taken to be −1 here.)

Low-dimensional quadrics

Let X be a split quadric over a field k. (In particular, X can be any smooth quadric over an algebraically closed field.) In low dimensions, X and the linear spaces it contains can be described as follows.

  • A quadric curve in [math]\displaystyle{ \mathbf{P}^2 }[/math] is called a conic. A split conic over k is isomorphic to the projective line [math]\displaystyle{ \mathbf{P}^1 }[/math] over k, embedded in [math]\displaystyle{ \mathbf{P}^2 }[/math] by the 2nd Veronese embedding.[6] (For example, ellipses, parabolas and hyperbolas are different kinds of conics in the affine plane over R, but their closures in the projective plane are all isomorphic to [math]\displaystyle{ \mathbf{P}^1 }[/math] over R.)
  • A split quadric surface X is isomorphic to [math]\displaystyle{ \mathbf{P}^1\times \mathbf{P}^1 }[/math], embedded in [math]\displaystyle{ \mathbf{P}^3 }[/math] by the Segre embedding. The space of lines in the quadric surface X has two connected components, each isomorphic to [math]\displaystyle{ \mathbf{P}^1 }[/math].[7]
  • A split quadric 3-fold X can be viewed as an isotropic Grassmannian for the symplectic group Sp(4,k). (This is related to the exceptional isomorphism of linear algebraic groups between SO(5,k) and [math]\displaystyle{ \operatorname{Sp}(4,k)/\{\pm 1\} }[/math].) Namely, given a 4-dimensional vector space V with a symplectic form, the quadric 3-fold X can be identified with the space LGr(2,4) of 2-planes in V on which the form restricts to zero. Furthermore, the space of lines in the quadric 3-fold X is isomorphic to [math]\displaystyle{ \mathbf{P}^3 }[/math].[8]
  • A split quadric 4-fold X can be viewed as the Grassmannian Gr(2,4), the space of 2-planes in a 4-dimensional vector space (or equivalently, of lines in [math]\displaystyle{ \mathbf{P}^3 }[/math]). (This is related to the exceptional isomorphism of linear algebraic groups between SO(6,k) and [math]\displaystyle{ \operatorname{SL}(4,k)/\{\pm 1\} }[/math].) The space of 2-planes in the quadric 4-fold X has two connected components, each isomorphic to [math]\displaystyle{ \mathbf{P}^3 }[/math].[9]
  • The space of 2-planes in a split quadric 5-fold is isomorphic to a split quadric 6-fold. Likewise, both components of the space of 3-planes in a split quadric 6-fold are isomorphic to a split quadric 6-fold. (This is related to the phenomenon of triality for the group Spin(8).)

As these examples suggest, the space of m-planes in a split quadric of dimension 2m always has two connected components, each isomorphic to the isotropic Grassmannian of (m − 1)-planes in a split quadric of dimension 2m − 1.[10] Any reflection in the orthogonal group maps one component isomorphically to the other.

The Bruhat decomposition

A smooth quadric over a field k is a projective homogeneous variety for the orthogonal group (and for the special orthogonal group), viewed as linear algebraic groups over k. Like any projective homogeneous variety for a split reductive group, a split quadric X has an algebraic cell decomposition, known as the Bruhat decomposition. (In particular, this applies to every smooth quadric over an algebraically closed field.) That is, X can be written as a finite union of disjoint subsets that are isomorphic to affine spaces over k of various dimensions. (For projective homogeneous varieties, the cells are called Schubert cells, and their closures are called Schubert varieties.) Cellular varieties are very special among all algebraic varieties. For example, a cellular variety is rational, and (for k = C) the Hodge theory of a smooth projective cellular variety is trivial, in the sense that [math]\displaystyle{ h^{p,q}(X)=0 }[/math] for [math]\displaystyle{ p\neq q }[/math]. For a cellular variety, the Chow group of algebraic cycles on X is the free abelian group on the set of cells, as is the integral homology of X (if k = C).[11]

A split quadric X of dimension n has only one cell of each dimension r, except in the middle dimension of an even-dimensional quadric, where there are two cells. The corresponding cell closures (Schubert varieties) are:[12]

  • For [math]\displaystyle{ 0\leq r\lt n/2 }[/math], a linear space [math]\displaystyle{ \mathbf{P}^r }[/math] contained in X.
  • For r = n/2, both Schubert varieties are linear spaces [math]\displaystyle{ \mathbf{P}^r }[/math] contained in X, one from each of the two families of middle-dimensional linear spaces (as described above).
  • For [math]\displaystyle{ n/2\lt r\leq n }[/math], the Schubert variety of dimension r is the intersection of X with a linear space of dimension r + 1 in [math]\displaystyle{ \mathbf{P}^{n+1} }[/math]; so it is an r-dimensional quadric. It is the iterated cone over a smooth quadric of dimension 2rn.

Using the Bruhat decomposition, it is straightforward to compute the Chow ring of a split quadric of dimension n over a field, as follows.[13] When the base field is the complex numbers, this is also the integral cohomology ring of a smooth quadric, with [math]\displaystyle{ CH^j }[/math] mapping isomorphically to [math]\displaystyle{ H^{2j} }[/math]. (The cohomology in odd degrees is zero.)

  • For n = 2m − 1, [math]\displaystyle{ CH^*(X)\cong \Z[h,l]/(h^m-2l, l^2) }[/math], where |h| = 1 and |l| = m.
  • For n = 2m, [math]\displaystyle{ CH^*(X)\cong \Z[h,l]/(h^{m+1}-2hl, l^2-ah^ml) }[/math], where |h| = 1 and |l| = m, and a is 0 for m odd and 1 for m even.

Here h is the class of a hyperplane section and l is the class of a maximal linear subspace of X. (For n = 2m, the class of the other type of maximal linear subspace is [math]\displaystyle{ h^m-l }[/math].) This calculation shows the importance of the linear subspaces of a quadric: the Chow ring of all algebraic cycles on X is generated by the "obvious" element h (pulled back from the class [math]\displaystyle{ c_1O(1) }[/math] of a hyperplane in [math]\displaystyle{ {\mathbf P}^{n+1} }[/math]) together with the class of a maximal linear subspace of X.

Isotropic Grassmannians and the projective pure spinor variety

The space of r-planes in a smooth n-dimensional quadric (like the quadric itself) is a projective homogeneous variety, known as the isotropic Grassmannian or orthogonal Grassmannian OGr(r + 1, n + 2). (The numbering refers to the dimensions of the corresponding vector spaces. In the case of middle-dimensional linear subspaces of a quadric of even dimension 2m, one writes [math]\displaystyle{ \operatorname{OGr}_{+}(m+1,2m+2) }[/math] for one of the two connected components.) As a result, the isotropic Grassmannians of a split quadric over a field also have algebraic cell decompositions.

The isotropic Grassmannian W = OGr(m,2m + 1) of (m − 1)-planes in a smooth quadric of dimension 2m − 1 may also be viewed as the variety of Projective pure spinors, or simple spinor variety,[14][15] of dimension m(m + 1)/2. (Another description of the pure spinor variety is as [math]\displaystyle{ \operatorname{OGr}_{+}(m+1,2m+2) }[/math].[10]) To explain the name: the smallest SO(2m + 1)-equivariant projective embedding of W lands in projective space of dimension [math]\displaystyle{ 2^m-1 }[/math].[16] The action of SO(2m + 1) on this projective space does not come from a linear representation of SO(2m+1) over k, but rather from a representation of its simply connected double cover, the spin group Spin(2m + 1) over k. This is called the spin representation of Spin(2m + 1), of dimension [math]\displaystyle{ 2^m }[/math].

Over the complex numbers, the isotropic Grassmannian OGr(r + 1, n + 2) of r-planes in an n-dimensional quadric X is a homogeneous space for the complex algebraic group [math]\displaystyle{ G=\operatorname{SO}(n+2,\mathbf{C}) }[/math], and also for its maximal compact subgroup, the compact Lie group SO(n + 2). From the latter point of view, this isotropic Grassmannian is

[math]\displaystyle{ \operatorname{SO}(n+2)/(\operatorname{U}(r+1)\times \operatorname{SO}(n-2r)), }[/math]

where U(r+1) is the unitary group. For r = 0, the isotropic Grassmannian is the quadric itself, which can therefore be viewed as

[math]\displaystyle{ \operatorname{SO}(n+2)/(\operatorname{U}(1)\times \operatorname{SO}(n)). }[/math]

For example, the complex projectivized pure spinor variety OGr(m, 2m + 1) can be viewed as SO(2m + 1)/U(m), and also as SO(2m+2)/U(m+1). These descriptions can be used to compute the cohomology ring (or equivalently the Chow ring) of the spinor variety:

[math]\displaystyle{ CH^*\operatorname{OGr}(m,2m+1)\cong \Z[e_1,\ldots,e_m]/(e_j^2-2e_{j-1}e_{j+1}+2e_{j-2}e_{j+2}-\cdots+(-1)^je_{2j}=0\text{ for all }j), }[/math]

where the Chern classes [math]\displaystyle{ c_j }[/math] of the natural rank-m vector bundle are equal to [math]\displaystyle{ 2e_j }[/math].[17] Here [math]\displaystyle{ e_j }[/math] is understood to mean 0 for j > m.

Spinor bundles on quadrics

The spinor bundles play a special role among all vector bundles on a quadric, analogous to the maximal linear subspaces among all subvarieties of a quadric. To describe these bundles, let X be a split quadric of dimension n over a field k. The special orthogonal group SO(n+2) over k acts on X, and therefore so does its double cover, the spin group G = Spin(n+2) over k. In these terms, X is a homogeneous space G/P, where P is a maximal parabolic subgroup of G. The semisimple part of P is the spin group Spin(n), and there is a standard way to extend the spin representations of Spin(n) to representations of P. (There are two spin representations [math]\displaystyle{ V_{+}, V_{-} }[/math] for n = 2m, each of dimension [math]\displaystyle{ 2^{m-1} }[/math], and one spin representation V for n = 2m − 1, of dimension [math]\displaystyle{ 2^{m-1} }[/math].) Then the spinor bundles on the quadric X = G/P are defined as the G-equivariant vector bundles associated to these representations of P. So there are two spinor bundles [math]\displaystyle{ S_{+},S_{-} }[/math] of rank [math]\displaystyle{ 2^{m-1} }[/math] for n = 2m, and one spinor bundle S of rank [math]\displaystyle{ 2^{m-1} }[/math] for n = 2m − 1. For n even, any reflection in the orthogonal group switches the two spinor bundles on X.[16]

For example, the two spinor bundles on a quadric surface [math]\displaystyle{ X\cong \mathbf{P}^1\times\mathbf{P}^1 }[/math] are the line bundles O(−1,0) and O(0,−1). The spinor bundle on a quadric 3-fold X is the natural rank-2 subbundle on X viewed as the isotropic Grassmannian of 2-planes in a 4-dimensional symplectic vector space.

To indicate the significance of the spinor bundles: Mikhail Kapranov showed that the bounded derived category of coherent sheaves on a split quadric X over a field k has a full exceptional collection involving the spinor bundles, along with the "obvious" line bundles O(j) restricted from projective space:

[math]\displaystyle{ D^b(X)=\langle S_{+},S_{-},O,O(1),\ldots,O(n-1)\rangle }[/math]

if n is even, and

[math]\displaystyle{ D^b(X)=\langle S,O,O(1),\ldots,O(n-1)\rangle }[/math]

if n is odd.[18] Concretely, this implies the split case of Richard Swan's calculation of the Grothendieck group of algebraic vector bundles on a smooth quadric; it is the free abelian group

[math]\displaystyle{ K_0(X)=\Z\{S_{+},S_{-},O,O(1),\ldots,O(n-1)\} }[/math]

for n even, and

[math]\displaystyle{ K_0(X)=\Z\{S,O,O(1),\ldots,O(n-1)\} }[/math]

for n odd.[19] When k = C, the topological K-group [math]\displaystyle{ K^0(X) }[/math] (of continuous complex vector bundles on the quadric X) is given by the same formula, and [math]\displaystyle{ K^1(X) }[/math] is zero.

Notes

  1. Harris (1995), Example 3.3.
  2. Elman, Karpenko & Merkurjev (2008), Proposition 22.9.
  3. Harris (1995), Theorem 22.13.
  4. Elman, Karpenko, & Merkurjev (2008), Proposition 7.28.
  5. Harris (1995), Theorem 22.14.
  6. Harris (1995), Lecture 22, p. 284.
  7. Harris (1995), Lecture 22, p. 285.
  8. Harris (1995), Exercise 22.6.
  9. Harris (1995), Example 22.7.
  10. 10.0 10.1 Harris (1995), Theorem 22.14.
  11. Fulton (1998), Example 19.1.11.
  12. Elman, Karpenko & Merkurjev (2008), Proposition 68.1.
  13. Elman, Karpenko, & Merkurjev (2008), Exercise 68.3.
  14. Cartan, Élie (1981) [1938], The theory of spinors, New York: Dover Publications, ISBN 978-0-486-64070-9, https://books.google.com/books?isbn=0486640701 
  15. Chevalley, Claude (1996). The Algebraic Theory of Spinors and Clifford Algebras (reprint ed.). Columbia University Press (1954); Springer (1996). ISBN 978-3-540-57063-9. 
  16. 16.0 16.1 Ottaviani (1988), section 1.
  17. Mimura & Toda (1991), Theorem III.6.11.
  18. Kapranov (1988), Theorem 4.10.
  19. Swan (1985), Theorem 1.

References