As Harry suggests in his answer, it is probably more intuitive to work with associated
primes, rather than the slightly older language of primary decompositions.
If $I$ is an ideal in $A$, an associated prime of $A/I$ is a prime ideal of $A$ which
is the full annihilator in $A$ of some element of $A/I$. A key fact is that for any
element $x$ of $A/I$, the annihilator of $x$ in $A$ is contained in an associated prime.
The associated primes are precisely the primes that contribute to the primary decomposition
of $I$. Geometrically, $wp$ is an associated prime of $A/I$ if there is a section
of the structure sheaf of Spec $A/I$ that is supported on the irreducible closed set $V(wp)$. E.g. in the example given in Cam's answer, the function $x^2 - x$ is not identically
zero on $X:=$ Spec ${mathbb C}[x,y]/(x y, x^3-x^2, x^2 y - xy),$ but it is annihilated
by $(x,y)$, and so is supported at the origin (if we restrict it to the complement of
$(0,0)$ in $X$ then it becomes zero).
The non-minimal primes of $I$ that play a role in the primary decomposition of $I$
(i.e. appear as associated primes of $A/I$) are the generic points of the so-called
embedded components of Spec $A/I$: they are irreducible closed subset of Spec $A/I$
that are not irreducible components, but which are the support of certain sections
of the structure sheaf.
An important point is that if $I$ is radical, so that $A/I$ is reduced, then
there are no embedded components: the only associated primes are the minimal primes
(for the primary decomposition of $I$ is then very simple, as noted in the question:
$I$ is just the intersection of its minimal primes).
There is a nice criterion for a Noetherian ring to be reduced: Noetherian $A$ is
reduced if and only if $A$ satisfies $R_0$ and $S_1$, i.e. is generically reduced,
and has no non-minimal associated primes. Geometrically, and applied to $A/I$
rather than $A$, this says that if $A/I$ is generically reduced, then the embedded
components are precisely the irreducible closed subsets of Spec $A/I$ over which
the nilpotent sections of the structure sheaf are supported. This may help
with your ``nilpotentification'' mental image.
No comments:
Post a Comment