Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hi,

Despite being nothing but the dual notion of projective resolution, injective resolutions seem to be harder to grasp. For example, the general form of Poincaré-Lefschetz duality given in Iversen's Cohomology of sheaves (p. 298) uses an injective resolution of the coefficient ring k (which is assumed to be Noetherian) as a k-module, a notion whose projective equivalent is rather meaningless.

My question is: do we have explicit injective resolutions of some simple (but not principal) rings (as modules over themselves) like the polynomial ring $\mathbb{C}[X,Y]$ or its Laurent counterpart $\mathbb{C}[X,Y,X^{-1},Y^{-1}]$? By general dimension arguments, some short resolutions exist, but I'm unable to find them explicitly.

Thanks!

share|improve this question

1 Answer 1

up vote 3 down vote accepted

$\newcommand{\C}{\mathbb C} $I think this is OK. The first step is the inclusion of $\C[X,Y]$ into its fraction field which is $\C(X,Y)$. For each irreducible polynomial $f$ (normalised so that the top degree monomial for some ordering is $1$) we map $\C(X,Y)$ to $\C(X,Y)/\C[X,Y]_{(f)}$ and then we map $\C(X,Y)\rightarrow\bigoplus_f\C(X,Y))/\C[X,Y]_{(f)}$ which is the next step in an injective resolution, the kernel of this map is clearly $\C[X,Y]$. Finally, the cokernel of this map is injective (as the global dimension of $\C[X,Y]$ is $2$).

Addendum: A systematic way of getting this resolution as well as identifying the last term is to note that the Cousin complex of $\C[X,Y]$ is an injective resolution (Hartshorne: Residues and duality, SLN 20, p. 239) which in degree $p$ is the sum of the injective hulls of the residue fields of points of dimension $p$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.