The number of generators of modules over polynomial rings
HTML articles powered by AMS MathViewer
- by Gennady Lyubeznik PDF
- Proc. Amer. Math. Soc. 103 (1988), 1037-1040 Request permission
Abstract:
Let $k$ be an infinite field and $B = k[{X_1}, \ldots ,{X_n}]$ a polynomial ring over $k$. Let $M$ be a finitely generated module over $B$. For every prime ideal $P \subset B$ let $\mu ({M_P})$ be the minimum number of generators of ${M_P}$, i.e., $\mu ({M_P}) = \dim {B_P}/{P_P}({M_P}{ \otimes _{{B_P}}}({B_P}/{P_P}))$. Set $\eta (M) = \max \{ \mu ({M_P}) + \dim (B/P)\left | {P \in \operatorname {Spec} } \right .B\;{\text {such}}\;{\text {that}}\;{M_{P\;}}{\text {is}}\;{\text {not}}\;{\text {free}}\}$. Then $M$ can be generated by $\eta (M)$ elements. This improves earlier results of A. Sathaye and N. Mohan Kumar on a conjecture of Eisenbud-Evans.References
- M. Boratyński, A note on set-theoretic complete intersection ideals, J. Algebra 54 (1978), no. 1, 1–5. MR 511453, DOI 10.1016/0021-8693(78)90017-0
- Otto Forster, Über die Anzahl der Erzeugenden eines Ideals in einem Noetherschen Ring, Math. Z. 84 (1964), 80–87 (German). MR 163932, DOI 10.1007/BF01112211
- S. Mandal, On efficient generation of ideals, Invent. Math. 75 (1984), no. 1, 59–67. MR 728138, DOI 10.1007/BF01403089 M. P. Murthy (in preparation).
- N. Mohan Kumar, On two conjectures about polynomial rings, Invent. Math. 46 (1978), no. 3, 225–236. MR 499785, DOI 10.1007/BF01390276
- Richard G. Swan, Vector bundles and projective modules, Trans. Amer. Math. Soc. 105 (1962), 264–277. MR 143225, DOI 10.1090/S0002-9947-1962-0143225-6
- Richard G. Swan, The number of generators of a module, Math. Z. 102 (1967), 318–322. MR 218347, DOI 10.1007/BF01110912
- Avinash Sathaye, On the Forster-Eisenbud-Evans conjectures, Invent. Math. 46 (1978), no. 3, 211–224. MR 499784, DOI 10.1007/BF01390275
Additional Information
- © Copyright 1988 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 103 (1988), 1037-1040
- MSC: Primary 13C10
- DOI: https://doi.org/10.1090/S0002-9939-1988-0954979-4
- MathSciNet review: 954979