The Decomposition of into Indecomposable Injectives
Amnon Neeman
Abstract
Let be an algebra essentially of finite type over a field . Then is an injective --module, and the Matlis structure theorem (Matlis, E.: Pacific J. Math. 8, 511–528 1958) tells us that it can be written as a direct sum of indecomposable injectives. We compute the multiplicities of these injectives. Let be a prime ideal in , and let be the injective hull of . If the residue field is algebraic over then the multiplicity of is . If the transcendence degree of over is then , that is the multiplicity is no less than the cardinality of the field raised to the power . If is finitely generated over then equality holds, that is . For of transcendence degree the result is not surprising, but for of transcendence degree it is not clear that . We prove the result by induction on the transcendence degree, and the key is that we produce an injective map, from a space whose dimension we know by induction and into the space whose dimension we want to estimate. The interest in the result comes from the fact that the size of measures the failure of a natural map to be an isomorphism. Here and are the twisted inverse image functors of Grothendieck duality.