7

When looking at a projective variety, we can intersect the variety with the standard affine patches and the union of these intersections give the projective variety. So the variety can be viewed as a projective variety over $\Bbb P^n$ or as an affine variety called the "affine cone" over $\Bbb C^{n+1}$,but with the points on the same line identified. Am I right?

But I am still not able to understand what an affine cone is.

I do not know about vector bundles or sheaves. I only have a very basic background knowledge in the subject.

So kindly explain what an affine cone is, in simple terms.

Nivedita
  • 163
  • 3
    "So kindly explain what an affine cone is ,in simple terms." I think you gave the correct definition in your question, so I'm not sure what it is you are asking exactly... it is called "affine" because it lives in $\mathbb{C}^{n+1}$ which is an affine space, and it's called a "cone" because it has the property that if a point $(x_0, \ldots, x_{n+1})$ belongs to it then so do the points $t (x_0, \ldots, x_{n+1})$ for any $t \in \mathbb{C}$ – Albert Jun 01 '17 at 15:24
  • What I don't understand is how different the two perceptions are . Also, How are they useful? Can someone give me examples wherein, looking at it as an affine cone is more beneficial than looking at it as a projective variety? – Nivedita Jun 01 '17 at 15:39
  • it is strictly and exactly the same thing. sometimes if you want to work in coordinates and make explicit computations, it might be more convenient to use the cone, but the more intrinsic object is the projective variety in $\mathbb{P}^n$. but again, it is the same thing – Albert Jun 01 '17 at 15:48
  • 2
    think of this: do you prefer to talk about periodic functions of period $2\pi$ on $\mathbb{R}$ or to talk of functions defined on the circle? it is the same thing. – Albert Jun 01 '17 at 15:51
  • Ahhh! I get it now! Thank you! – Nivedita Jun 01 '17 at 15:54
  • @Glougloubarbaki In $\mathbb P^1$, the vanishing of the single polynomial $x$ is just the $y$-axis. Is this also a "cone"? – user5826 Apr 14 '21 at 23:29
  • @user46372819 yes. – Albert Apr 15 '21 at 06:27

2 Answers2

9

Let's consider an explicit example. Look at the equation $xy=z^2$ in the projective plane $\mathbb{P}^2$ with coordinates $[x:y:z]$. The given locus is a quadric, i.e. a curve isomorphic to $\mathbb{P}^1$ and with the property that its intersection with a line (a copy of $\mathbb{P}^1$ given by linear equations) is two points (including the case of one point with mutliplicity 2).

Now, the way we build the cone is the following. Remember that $\mathbb{P}^2$ with coordinates $[x:y:z]$ is obtained from $\mathbb{A}^3$ with coordinates $(x,y,z)$, removing $(0,0,0)$, and quotienting by the rescaling action of the group of units of the ground field $k^*$. In particular, the equations that define our quadric (or, more generally, the projective variety in $\mathbb{P}^n$ you start with) still make sense in $\mathbb{A}^3$ ($\mathbb{A}^{n+1}$ respectively). Some algebra computations show that the locus you obtain has one extra dimension than what you started with. The reason is, as you correctly wrote, that we are taking the space of lines over the projective variety.

It is important to stress that we are not considering these lines as points in the projective space, but as honest lines in affine space. Thus, the picture that the real points (i.e. the points that live over $\mathbb{R}$) of the above example are the following: you can think of the projective conic as a cricle, and the cone over it is the honest right cone with circular base.

Thus, the affine cone over a projective variety is a cone whose ''horizontal slices'' recover the variety you started with. Notice that the cone is always singular at the origin.

By construction, the geometry and the properties of these two objects are closely related. For instance, the cone is a normal variety if and only if the embedding of the projective variety is projectively normal.

Cones are also very important, since they provide a nice list of examples of computable singular varieties, where one can test ideas and computations about singular varieties.

Manos
  • 25,833
Stefano
  • 4,334
  • 20
  • 43
  • Thank you so much! I have understood the answer to a large extent but there is something I am not very clear about. How is the locus of the above equation a quadric that is isomorphic to P1? – Nivedita Jun 01 '17 at 16:50
  • @Nivedita Take $\mathbb{P}^1$ with coordinates $[t_0:t_1]$ and define the embedding $\varphi: \mathbb{P}^1 \rightarrow \mathbb{P}^2$ by $x=t_0^2$, $y=t_1^2$, $z=t_0 t_1$. – Stefano Jun 01 '17 at 16:54
  • @Nivedita This, together with the characterisation of quadrics by rank of the matrix that represents them shows you that all non-singular quadrics in $\mathbb{P}^2$ (provided that the ground field is algebraically closed) are isomorphic to $\mathbb{P}^1$. – Stefano Jun 01 '17 at 16:57
  • Perfect!! One more question: You have mentioned that some algebra computations show that the locus we obtain has one extra dimension than what we start with. We start with the quadric xy=z^2, and homogenisation would give the same equation. So how is the increase in the dimension justified? – Nivedita Jun 01 '17 at 17:00
  • When you look at it in $\mathbb{A}^3$, you look at the ring $\mathbb{C}[x,y,z]/(xy-z^2)$. So you quotient a 3-dimensional ring by an irreducible element, you get a 2-dimensional ring (a chain of primes could be $(xy-z^2) \subset (xy-z^2,z-1) \subset (xy-z^2,z-1,x-1)$). When you look at it in $\mathbb{P}^2$ with coordinates $[x:y:z]$, you look at what you get on an affine cover. The usual cover is given by the open sets $\lbrace x \neq 0 \rbrace$, $\lbrace y \neq 0 \rbrace$ and $\lbrace z \neq 0 \rbrace$. Consider the first one. It is equivalent to set $x=1$. – Stefano Jun 01 '17 at 17:06
  • So you are in $\mathbb{A}^2$ with coordinates $(y,z)$ and the equation is now $y=z^2$, which is the equation of a parabola in the plane. So, your object has dimension one. The other two charts behave similarly. – Stefano Jun 01 '17 at 17:07
  • So, from what I have understood, the quadric xy-z^2 in P^3, is the union of 2 parabolas and a hyperbola. These are three curves ,each with dimension 1, and hence, there is a drop in the dimension of the surface when looked in a projective space. Am I right? – Nivedita Jun 01 '17 at 17:13
  • Exactly, the quadric in $\mathbb{P}^2$ is the union of curves, so it is a curve, while when you look at that equation in the affine 3-space you get a surface. This is a general behavior, which you can look up in the first chapter of Hartshorne. In general, in the affine case, the coordinate ring is a ring whose dimension matches the dimension of your variety. In the projetcive case, the projective coordinate ring has one extra dimension. Since the coordinate ring of the cone is the same as the projective coordinate ring of the projective variety, you get the jump of dimension. – Stefano Jun 01 '17 at 17:21
  • Wonderful! I understand it now. Thank you so much! – Nivedita Jun 02 '17 at 05:33
6

I was reading Stefano's answer and the discussion that followed (in the comments) and I thought I'd sum this up below. Hope somebody finds it useful some time!


The affine cone over a projective variety $X \subset \mathbb{P}^n$ is the set $$C(X):=\{0\}\cup p^{-1}(X)\subset \mathbb{C}^{n+1},$$ where $p^{-1}(X)\subset \mathbb{C}^{n+1}\setminus\{0\}$ is the pre-image of $X$ under the canonical projection $$p: \mathbb{C}^{n+1}\setminus\{0\} \longrightarrow \mathbb{P}^n$$ sending a non-zero vector $(x_0,x_1\,\ldots\,,x_n)$ to the line it generates (this line being usually denoted by $[x_0:x_1:\,\ldots\,:x_n]$ in homogeneous coordinates).

This set $C(X)$ is indeed a cone in the vector space $\mathbb{C}^{n+1}$, in the sense that it is stable by multiplication under a non-zero complex number: if $x:=(x_0,x_1\,\ldots\,,x_n)\in p^{-1}(X)$, then $$\forall\, \lambda \in \mathbb{C}^*, \lambda x = (\lambda x_0, \lambda x_1\,\ldots\,,\lambda x_n)\in p^{-1}(X),$$ as follows from the definition of $p$.

Note that if $X\subset \mathbb{P}^n$ has dimension $d$, then its affine cone $C(X)\subset \mathbb{C}^{n+1}$ will have dimension $d+1$.

For instance, the homogeneous equation $x-y+z=0$ defines a line $L$ in $\mathbb{P}^2$, whose affine cone $C(L)$ is the plane of equation $x-y+z=0$ in $\mathbb{C}^3$.

To see that the homogeneous equation $x-y+z=0$ defines a line in $\mathbb{P}^2$, you can look at it in an affine chart. The three standard affine charts on $\mathbb{P}^2$ are defined on the open sets $U_x=\{x\neq 0\}$, $U_y=\{y\neq 0\}$ and $U_z=\{z\neq 0\}$. Explicitly, these are:

\begin{align} \phi_x([x:y:z]) = \left(\frac{y}{x},\frac{z}{x}\right),\\ \phi_y([x:y:z]) = \left(\frac{x}{y},\frac{z}{y}\right),\\ \phi_z([x:y:z]) = \left(\frac{x}{z},\frac{y}{z}\right). \end{align}

The respective images of $L=\{[x:y:z]\in\mathbb{P}^2\ |\ x-y+z=0\}$ under each one of these charts are:

\begin{align} \phi_x(L) = \{(y,z)\in\mathbb{C}^2\ |\ 1-y+z=0\},\\ \phi_y(L) = \{(x,z)\in\mathbb{C}^2\ |\ x-1+z=0\},\\ \phi_z(L) = \{(x,y)\in\mathbb{C}^2\ |\ x-y+1=0\}. \end{align}

The composition of the projection $p$ and the chart $\phi_x$ induces a bijection between the line $C(L)\cap \{x=1\}$ in $\mathbb{C}^3$ (intersection of two planes) and the line $\phi_x(L)=\phi_x \circ p((C(L))$ in $\mathbb{C}^2$. And similarly for $\phi_y$, $\phi_z$ and the planes $\{y=1\}$, $\{z=1\}$ in $\mathbb{C}^3$.

By the projective Nullstellensatz (over $\mathbb{C}$ or over an algebraically closed field), a projective variety $X\subset\mathbb{P}^n$ is defined by a system of homogeneous equations $$\{f_1=0,\,\ldots\,,f_m=0\}$$ (meaning that each $f_i:\mathbb{C}^{n+1}\longrightarrow \mathbb{C}$ is a homogeneous polynomial). And then the affine cone $C(X)$, as a subset of $\mathbb{C}^{n+1}$, is defined by the same equations. In particular, it is an affine variety.

In Stefano's example, $$X=\{[x:y:z]\in\mathbb{P}^2\ |\ xy-z^2=0\}.$$ This is a curve in $\mathbb{P}^2$, whose images in the standard affine charts are the curves:

\begin{align} \phi_x(X) = \{(y,z)\in\mathbb{C}^2\ |\ y-z^2=0\},\\ \phi_y(X) = \{(x,z)\in\mathbb{C}^2\ |\ x-z^2=0\},\\ \phi_z(X) = \{(x,y)\in\mathbb{C}^2\ |\ xy-1=0\}. \end{align}

These curves are plane quadrics (degree $2$ equation in two variables), also known as conics.

The affine cone of $X$ is $$C(X) = \{(x,y,z)\in\mathbb{C}^3\ |\ xy-z^2=0\},$$ which is the equation of a (quadric) surface in $\mathbb{C}^3$ (degree $2$ equation in three variables). And the intersections of this surface with the lines $\{x=1\}$, $\{y=1\}$ and $\{z=1\}$ in $\mathbb{C}^3$ are curves that are in bijection respectively with $\phi_x(X)$, $\phi_y(X)$ and $\phi_x(X)$.

  • 2
    You have a slight bookkeeping issue with $0$: you define $p^{-1}(X)\subset\Bbb C^{n+1}\setminus 0$ and then refer to this living in $\Bbb C^{n+1}$ as a cone. But that should include 0! – KReiser Sep 29 '22 at 18:25
  • 2
    Edited, thank you very much! I ended up clarifying the definition of the affine cone, as well as the notation :-) Thanks again! – Matematiflo Sep 29 '22 at 21:45