Ideal sheaf

From Wikipedia, the free encyclopedia
  (Redirected from Sheaf of ideals)
Jump to: navigation, search

In algebraic geometry and other areas of mathematics, an ideal sheaf (or sheaf of ideals) is the global analogue of an ideal in a ring. The ideal sheaves on a geometric object are closely connected to its subspaces.

Definition[edit]

Let X be a topological space and A a sheaf of rings on X. (In other words, (XA) is a ringed space.) An ideal sheaf J in A is a subobject of A in the category of sheaves of A-modules, i.e., a subsheaf of A viewed as a sheaf of abelian groups such that

Γ(U, A) · Γ(U, J) ⊆ Γ(U, J)

for all open subsets U of X. In other words, J is the sheaf of A-submodules of A.

General properties[edit]

  • If fA → B is a homomorphism between two sheaves of rings on the same space X, the kernel of f is an ideal sheaf in A.
  • Conversely, for any ideal sheaf J in a sheaf of rings A, there is a natural structure of a sheaf of rings on the quotient sheaf A/J. Note that the canonical map
Γ(U, A)/Γ(U, J) → Γ(U, A/J)
for open subsets U is injective, but not surjective in general. (See sheaf cohomology.)

Algebraic geometry[edit]

In the context of schemes, the importance of ideal sheaves lies mainly in the correspondence between closed subschemes and quasi-coherent ideal sheaves. Consider a scheme X and a quasi-coherent ideal sheaf J in OX. Then, the support Z of OX/J is a closed subspace of X, and (Z, OX/J) is a scheme (both assertions can be checked locally). It is called the closed subscheme of X defined by J. Conversely, let iZ → X be a closed immersion, i.e., a morphism which is a homeomorphism onto a closed subspace such that the associated map

i#: OXiOZ

is surjective on the stalks. Then, the kernel J of i# is a quasi-coherent ideal sheaf, and i induces an isomorphism from Z onto the closed subscheme defined by J.[1]

A particular case of this correspondence is the unique reduced subscheme Xred of X having the same underlying space, which is defined by the nilradical of OX (defined stalk-wise, or on open affine charts).[2]

For a morphism fX → Y and a closed subscheme Y′ ⊆ Y defined by an ideal sheaf J, the preimage Y′ ×Y X is defined by the ideal sheaf[3]

f(J)OX = im(fJ → OX).

The pull-back of an ideal sheaf J to the subscheme Z defined by J contains important information, it is called the conormal bundle of Z. For example, the sheaf of Kähler differentials may be defined as the pull-back of the ideal sheaf defining the diagonal X → X × X to X. (Assume for simplicity that X is separated so that the diagonal is a closed immersion.)[4]

Analytic geometry[edit]

In the theory of complex-analytic spaces, the Oka-Cartan theorem states that a closed subset A of a complex space is analytic if and only if the ideal sheaf of functions vanishing on A is coherent. This ideal sheaf also gives A the structure of a reduced closed complex subspace.

References[edit]

  1. ^ EGA I, 4.2.2 b)
  2. ^ EGA I, 5.1
  3. ^ EGA I, 4.4.5
  4. ^ EGA IV, 16.1.2 and 16.3.1