Bass series of local ring homomorphisms of finite flat dimension
HTML articles powered by AMS MathViewer
- by Luchezar L. Avramov, Hans-Bjørn Foxby and Jack Lescot PDF
- Trans. Amer. Math. Soc. 335 (1993), 497-523 Request permission
Abstract:
Nontrivial relations between Bass numbers of local commutative rings are established in case there exists a local homomorphism $\phi :R \to S$ which makes $S$ into an $R$-module of finite flat dimension. In particular, it is shown that an inequality $\mu _R^{i + {\text {depth}}\;R} \leq \mu _s^{i + {\text {depth}}\;S}$ holds for all $i \in \mathbb {Z}$. This is a consequence of an equality involving the Bass series $I_R^M(t) = \sum \nolimits _{i \in \mathbb {Z}} {\mu _R^i(M){t^i}}$ of a complex $M$ of $R$-modules which has bounded above and finite type homology and the Bass series of the complex of $S$-modules $M{\underline {\underline \otimes } _R}S$, where $\underline {\underline {\otimes }}$ denotes the derived tensor product. It is proved that there is an equality of formal Laurent series $I_s^{M{{\underline {\underline \otimes } }_R}S}(t) = I_R^M(t){I_{F(\phi )}}(t)$, where $F(\phi )$ is the fiber of $\phi$ considered as a homomorphism of commutative differential graded rings. Coefficientwise inequalities are deduced for $I_S^{M{{\underline {\underline \otimes } }_R}S}(t)$, and Golod homomorphisms are characterized by one of them becoming an equality.References
- Luchezar L. Avramov, Local algebra and rational homotopy, Algebraic homotopy and local algebra (Luminy, 1982) Astérisque, vol. 113, Soc. Math. France, Paris, 1984, pp. 15–43. MR 749041
- J.-E. Roos (ed.), Algebra, algebraic topology and their interactions, Lecture Notes in Mathematics, vol. 1183, Springer-Verlag, Berlin, 1986. MR 846433, DOI 10.1007/BFb0075445 —, Locally complete intersection homomorphisms (in preparation).
- Luchezar L. Avramov and Hans-Bjørn Foxby, Locally Gorenstein homomorphisms, Amer. J. Math. 114 (1992), no. 5, 1007–1047. MR 1183530, DOI 10.2307/2374888 L. L. Avramov, H.-B. Foxby, and S. Halperin, Differential graded homological algebra (in preparation).
- Luchezar L. Avramov, Hans-Bjørn Foxby, and Jack Lescot, Séries de Bass des homomorphismes locaux de Tor-dimension finie, C. R. Acad. Sci. Paris Sér. I Math. 309 (1989), no. 10, 645–649 (French, with English summary). MR 1054269
- Luchezar Avramov and Stephen Halperin, Through the looking glass: a dictionary between rational homotopy theory and local algebra, Algebra, algebraic topology and their interactions (Stockholm, 1983) Lecture Notes in Math., vol. 1183, Springer, Berlin, 1986, pp. 1–27. MR 846435, DOI 10.1007/BFb0075446
- Luchezar L. Avramov and Jack Lescot, Bass numbers and Golod rings, Math. Scand. 51 (1982), no. 2, 199–211 (1983). MR 690525, DOI 10.7146/math.scand.a-11974
- H. J. Baues and J.-M. Lemaire, Minimal models in homotopy theory, Math. Ann. 225 (1977), no. 3, 219–242. MR 431172, DOI 10.1007/BF01425239
- Yves Félix, Stephen Halperin, and Jean-Claude Thomas, Gorenstein spaces, Adv. in Math. 71 (1988), no. 1, 92–112. MR 960364, DOI 10.1016/0001-8708(88)90067-9 H.-B. Foxby, A homological theory of complexes of modules, Københavns Universitets Matematiske Instituts Preprint Series, no. 19, 1981.
- Hans-Bjørn Foxby and Anders Thorup, Minimal injective resolutions under flat base change, Proc. Amer. Math. Soc. 67 (1977), no. 1, 27–31. MR 453724, DOI 10.1090/S0002-9939-1977-0453724-1
- Tor H. Gulliksen, Massey operations and the Poincaré series of certain local rings, J. Algebra 22 (1972), 223–232. MR 306190, DOI 10.1016/0021-8693(72)90143-3
- Robin Hartshorne, Residues and duality, Lecture Notes in Mathematics, No. 20, Springer-Verlag, Berlin-New York, 1966. Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64; With an appendix by P. Deligne. MR 0222093
- David Kraines, Massey higher products, Trans. Amer. Math. Soc. 124 (1966), 431–449. MR 202136, DOI 10.1090/S0002-9947-1966-0202136-1 J. Lescot, Thèse d’État, Caen, 1985.
- Saunders Mac Lane, Homology, Classics in Mathematics, Springer-Verlag, Berlin, 1995. Reprint of the 1975 edition. MR 1344215 J. C. Moore, Algèbre homologique et homologie des espaces classifiants, Séminaire H. Cartan, 12$^{\text {e}}$ année, exposé 7, (1959-1960), Secrétariat Math., Paris, 1961.
- Dennis Sullivan, Infinitesimal computations in topology, Inst. Hautes Études Sci. Publ. Math. 47 (1977), 269–331 (1978). MR 646078
- John Tate, Homology of Noetherian rings and local rings, Illinois J. Math. 1 (1957), 14–27. MR 86072
- Graham Hilton Toomer, Lusternik-Schnirelmann category and the Moore spectral sequence, Math. Z. 138 (1974), 123–143. MR 356037, DOI 10.1007/BF01214229
Additional Information
- © Copyright 1993 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 335 (1993), 497-523
- MSC: Primary 13D03; Secondary 13C11, 13D25, 18G15, 55T20
- DOI: https://doi.org/10.1090/S0002-9947-1993-1068924-3
- MathSciNet review: 1068924