Abstract
Let S be an algebra essentially of finite type over a field k. Then, Hom k (S, k) is an injective S–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 S, and let k(𝔭) be the injective hull of S/𝔭. If the residue field k(𝔭) is algebraic over k, then the multiplicity of I(𝔭) is μ(𝔭) = 1. If the transcendence degree of k(𝔭) over k is ≥ 1, then \(\mu (\mathfrak {p})\geq {|\#k|}^{\aleph _{0}}\), that is the multiplicity is no less than the cardinality of the field k raised to the power ℵ 0. If S is finitely generated over k, then equality holds, that is, \(\mu (\mathfrak {p}) = {|\#k|}^{\aleph _{0}}\). For k(𝔭) of transcendence degree ≤ 1, the result is not surprising, but for k(𝔭) of transcendence degree ≥ 2 it is not clear that μ(𝔭) ≠ 0. 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 ψ(f) : f × → f ! to be an isomorphism. Here, f × and f ! are the twisted inverse image functors of Grothendieck duality.
Similar content being viewed by others
References
Avramov, L.L., Iyengar, S.B.: Gorenstein algebras and Hochschild cohomology. Special volume in honor of Melvin Hochster, Michigan. Math. J. 57, 17–35 (2008)
Avramov, L.L., Iyengar, S.B., Lipman, J., Nayak, S.: Reduction of derived Hochschild functors over commutative algebras and schemes. Adv. Math. 223(2), 735–772 (2010)
Bruns, W., Herzog, J.: Cohen-Macaulay rings. Cambridge Studies in Advanced Mathematics, Vol. 39. Cambridge University Press, Cambridge (1993)
Iyengar, S.B., Lipman, J., Neeman, A.: Relation between two twisted inverse image pseudofunctors in duality theory. arXiv:1307.7092 (2013)
Jacobson, N.: Lectures in abstract algebra. Volume II: Linear algebra, Reprint of the 1953 edition [Van Nostrand, Toronto, Ont.], Graduate Texts in Mathematics, Vol. 31. Springer-Verlag, New York-Berlin (1975)
Lam, T.-Y.: Lectures on modules and rings. Graduate Texts in Mathematics, Vol. 189. Springer-Verlag, New York (1999)
Matlis, E.: Injective modules over Noetherian rings. Pacific J. Math. 8, 511–528 (1958)
Nayak, S.: Compactification for essentially finite-type maps. Adv. Math. 222(2), 527–546 (2009)
Acknowledgments
The author would like to thank an anonymous referee for improvements on an earlier version.
The research was partly supported by the Australian Research Council.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Neeman, A. The Decomposition of Hom k (S, k) into Indecomposable Injectives. Acta Math Vietnam 40, 331–338 (2015). https://doi.org/10.1007/s40306-014-0110-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40306-014-0110-z