[Math] Support of a module and submodule

commutative-algebramodules

$\newcommand{\Supp}{\operatorname{Supp}}$
$\newcommand{\Spec}{\operatorname{Spec}}$
$\newcommand{\Ann}{\operatorname{Ann}}$
Let $A$ be a commutative ring with 1. Let $M$ be a finitely-generated $A$-module. Then we define the support of $M$ as follows:
$$\Supp(M) = \mathcal{V}(\Ann(M)) \subset \Spec(A) \ . $$
That is, a prime ideal $\mathfrak{p}$ is in $\Supp(M)$ if and only if $\Ann(M) \subset \mathfrak{p}$.

Lemma. It is well known that if $$0 \to M' \to M \to M'' \to 0$$ is exact sequence of finitely-generated $A$-modules, then $$\Supp(M) = \Supp(M') \cup \Supp(M'') \ .$$

See also http://en.wikipedia.org/wiki/Support_of_a_module for more information.

Problem

Now for the problem: suppose $M$ is a finitely-generated $A$-module such that $\Supp(M) \subset F \cup F'$ where $F,F'$ are closed subsets of $\Spec(A)$. Then I want to show there is a submodule $L$ such that $\Supp(L) \subset F$ and $N = M/L$ satisfies that $\Supp(N) \subset F'$. Next, if $F \cap F' = \emptyset$ then I want to show that $M \cong L \oplus N$.

My attempt

My idea was to pick $L$ such that $\Ann(L)$ is the ideal of elements of $A$ vanishing on $F$. Then by the Nullstellensatz $\Supp(L) \subset F$. Now, by the lemma I want to use the exact sequence
$$ 0 \to L \to M \to M/L \to 0 $$
to deduce that $\Supp(M/L) \subset F'$. We have
$$ F \cup F' \supset \Supp(M) = \Supp(L) \cup \Supp(M/L)$$
and even if $\Supp(L)=F$ I can't deduce from that $\Supp(M/L) \subset F'$. If there was an equality $\Supp(M) = F \cup F'$ then the desired result would follow.

Best Answer

I will suppose $A$ is noetherian. I am not sure that the result holds otherwise.

We can replace $A$ with $A/\mathrm{Ann}M$ and $M$ with $M/\mathrm{Ann}(M)M$. So the support of $M$ is $\mathrm{Spec}(A)$. Let $F=V(I), F'=V(J)$. Then $\mathrm{Spec}(A)=V(I)\cup V(J)=V(I\cap J)$. This means $I\cap J$ is in the nilradical of $A$. As $A$ is noetherian, there exists $n\ge 1$ such that $I^nJ^n=0$. Replacing $I, J$ respectively by $I^n, J^n$ (this doesn't change the sets $F, F'$), we can suppose $IJ=0$.

Let $L=IM$. Then $JL=0$. So $J\subseteq \mathrm{Ann}(L)$ and the support of $L$ is contained $V(J)=F'$. Obviously $M/L$ has support contained in $V(I)=F$.

In case $V(I)\cap V(J)=\emptyset$, then $V(I+J)=V(I)\cap V(J)=\emptyset$. So $I+J=A$ and $M=IM+JM$. Let us show $M=IM\oplus JM$. Let $e\in I, e'\in J$ such that $1=e+e'$. Let $x\in IM\cap JM$. Then $ex\in eJM\subseteq IJM=0$ and similarly $e'x=0$. So $x=ex+e'x=0$. Therefore $M=IM\oplus JM$ and $JM\simeq M/IM=M/L$.