In algebraic geometry, a cone is a generalization of a
vector bundle
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to every p ...
. Specifically, given a scheme ''X'', the
relative Spec
In commutative algebra, the prime spectrum (or simply the spectrum) of a ring ''R'' is the set of all prime ideals of ''R'', and is usually denoted by \operatorname; in algebraic geometry it is simultaneously a topological space equipped with th ...
:
of a quasi-coherent graded
''O''''X''-algebra ''R'' is called the cone or affine cone of ''R''. Similarly, the
relative Proj
In algebraic geometry, Proj is a construction analogous to the spectrum-of-a-ring construction of affine schemes, which produces objects with the typical properties of projective spaces and projective varieties. The construction, while not fun ...
:
is called the projective cone of ''C'' or ''R''.
Note: The cone comes with the
-action due to the
grading of ''R''; this action is a part of the data of a cone (whence the terminology).
Examples
*If ''X'' = Spec ''k'' is a point and ''R'' is a
homogeneous coordinate ring In algebraic geometry, the homogeneous coordinate ring ''R'' of an algebraic variety ''V'' given as a subvariety of projective space of a given dimension ''N'' is by definition the quotient ring
:''R'' = ''K'' 'X''0, ''X''1, ''X''2, ..., ''X'N'' ...
, then the affine cone of ''R'' is the (usual)
affine cone
In linear algebra, a ''cone''—sometimes called a linear cone for distinguishing it from other sorts of cones—is a subset of a vector space that is closed under scalar multiplication; that is, is a cone if x\in C implies sx\in C for every .
...
over the projective variety corresponding to ''R''.
*If
for some ideal sheaf ''I'', then
is the
normal cone
In algebraic geometry, the normal cone C_XY of a subscheme X of a scheme Y is a scheme analogous to the normal bundle or tubular neighborhood in differential geometry.
Definition
The normal cone or C_ of an embedding , defined by some sheaf of i ...
to the closed scheme determined by ''I''.
*If
for some line bundle ''L'', then
is the total space of the dual of ''L''.
*More generally, given a vector bundle (finite-rank locally free sheaf) ''E'' on ''X'', if ''R''=Sym(''E''
*) is the symmetric algebra generated by the dual of ''E'', then the cone
is the total space of ''E'', often written just as ''E'', and the projective cone
is the
projective bundle
In mathematics, a projective bundle is a fiber bundle whose fibers are projective spaces.
By definition, a scheme ''X'' over a Noetherian scheme ''S'' is a P''n''-bundle if it is locally a projective ''n''-space; i.e., X \times_S U \simeq \math ...
of ''E'', which is written as
.
*Let
be a coherent sheaf on a
Deligne–Mumford stack
In algebraic geometry, a Deligne–Mumford stack is a stack ''F'' such that
Pierre Deligne and David Mumford introduced this notion in 1969 when they proved that moduli spaces of stable curves of fixed arithmetic genus are proper smooth Deligne ...
''X''. Then let
For any
, since global Spec is a right adjoint to the direct image functor, we have:
; in particular,
is a commutative group scheme over ''X''.
*Let ''R'' be a graded
-algebra such that
and
is coherent and locally generates ''R'' as
-algebra. Then there is a closed immersion
::
:given by
. Because of this,
is called the abelian hull of the cone
For example, if
for some ideal sheaf ''I'', then this embedding is the embedding of the normal cone into the normal bundle.
Computations
Consider the complete intersection ideal