vanishing of local cohomology $H^2_{(x,y)}\left(\frac{\Bbb Z[x,y]}{(5x+4y)}\right)=0$

Question

Edited:

I guess

$$H^2_{(x,y)}\left(\frac{\Bbb Z[x,y]}{(5x+4y)}\right)=0$$

We know that if $\operatorname{Supp} H^i_I(M)‎\subseteq V(I)\cap \operatorname{Supp}(M)$, then $$\operatorname{Supp} H^2_{(x,y)}\frac{\Bbb Z[x,y]}{(5x+4y)})\subseteq V((x,y))\cap V((5x+4y))=V((x,y))=‎\lbrace(x,y) \rbrace\cup ‎\lbrace‎‎(x,y,p) \rbrace‎‎$$ where $p$ is prime number.

If we could show that for every $P\in V((x,y))$, $$\left(H^2_{(x,y)}\left(\frac{\Bbb Z[x,y]}{(5x+4y)}\right)\right)_P=0$$

then it is done.

background: $H^i_I(M)$ means $i$-th local cohomology module of $M$ with respect to ideal $I$. $V(I)=\lbrace P\in Spec(R); I\subseteq P\rbrace $ and $\operatorname{Supp}(M)=\lbrace P\in \operatorname{Spec}(R) ; M_p\neq 0\rbrace$and $M_P$ means $M$ localized at prime ideal $P$. Furthermore $\operatorname{Supp}(R/I)=V(I)$.

Answer 1

$P=(x,y,p)$ implies $P\cap\mathbb Z=p\mathbb Z$ (here $p$ is a prime or $0$). As localization commutes with local cohomology $$H^2_{(x,y)}\left(\frac{\mathbb{Z}[x,y]}{(5x+4y)}\right)_P\simeq H^2_{(x,y)}\left(\frac{\mathbb{Z}[x,y]_P}{(5x+4y)}\right).$$ But $\mathbb Z[x,y]_P\simeq\mathbb Z_{(p)}[x,y]_{\overline{P}}$, where $\overline{P}$ is the extension of $P$ to $\mathbb Z_{(p)}[x,y]$. Now let's see what happens with the involved ideals via this isomorphism: $(5x+4y)$ goes to $(5x+4y)\mathbb Z_{(p)}[x,y]_{\overline{P}}$ and note that $5$ or $4$ (or both) are invertible in $\mathbb Z_{(p)}$, so the factor ring $\mathbb Z_{(p)}[x,y]_{\overline{P}}/(5x+4y)\mathbb Z_{(p)}[x,y]_{\overline{P}}$ is isomorphic to $\mathbb Z_{(p)}[t]_Q$, where $Q\cap \mathbb Z_{(p)}=p\mathbb Z_{(p)}$. Local cohomology is independent of base ring, so finally we arrive to $H^2_{(t)}(\mathbb Z_{(p)}[t]_Q)=0$ (since the local cohomology in a principal ideal is zero from $2$ onwards).

Answer 2

I wasn't able to use the method you suggest. Here is a different proof. Let $M$ be any ${\bf Z}[x,y]$-module. We have (see Brodmann and Sharp, Th. 1.3.8), $$ H^2_{(x,y)}(M)=\varinjlim_n \operatorname{Ext}^2({\bf Z}[x,y]/(x,y)^n,M) $$ where the limit is an inductive limit. Now we have $$ \varinjlim_n \operatorname{Ext}^2({\bf Z}[x,y]/(x,y)^n,M)=\varinjlim_n \operatorname{Ext}^2({\bf Z}[x,y]/(x^n,y^n),M) $$ because for any $n$, we have $(x^n,y^n)\subseteq (x,y)^n$ and $(x,y)^{2n}\subseteq (x^n,y^n)$. Now the ideal $(x^n,y^n)$ defines a regular closed immersion into $\operatorname{Spec} {\bf Z}[x,y]$, so that we have the "fundamental local isomorphism" (see Hartshorne, Residues and duality, Prop. 7.2): ... EDIT: the end of the original argument was wrong. I don't know how to make it work.