On the deformation of algebra morphisms and diagrams

Gerstenhaber, M.; Schack, S. D.

doi:10.1090/S0002-9947-1983-0704600-5

On the deformation of algebra morphisms and diagrams
HTML articles powered by AMS MathViewer

by M. Gerstenhaber and S. D. Schack PDF

Trans. Amer. Math. Soc. 279 (1983), 1-50 Request permission

Abstract:

A diagram here is a functor from a poset to the category of associative algebras. Important examples arise from manifolds and sheaves. A diagram ${\mathbf {A}}$ has functorially associated to it a module theory, a (relative) Yoneda cohomology theory, a Hochschild cohomology theory, a deformation theory, and two associative algebras ${\mathbf {A}}!$ and ${\mathbf {(\# A)!}}$. We prove the Yoneda and Hochschild cohomologies of ${\mathbf {A}}$ to be isomorphic. There are functors from ${\mathbf {A}}$-bimodules to both ${\mathbf {A}}!$-bimodules and ${\mathbf {(\# A)!}}$bimodules which, in the most important cases (e.g., when the poset is finite), induce isomorphisms of Yoneda cohomologies. When the poset is finite every deformation of ${\mathbf {(\# A)!}}$ is induced by one of ${\mathbf {A}}$; if ${\mathbf {A}}$ also takes values in commutative algebras then the deformation theories of ${\mathbf {(\# A)!}}$ and ${\mathbf {A}}$ are isomorphic. We conclude the paper with an example of a noncommutative projective variety. This is obtained by deforming a diagram representing projective $2$-space to a diagram of noncommutative algebras.

References

Rapport sur l’homologie des algèbres commutatives

Michael Barr, Harrison homology, Hochschild homology and triples, J. Algebra 8 (1968), 314–323. MR 220799, DOI 10.1016/0021-8693(68)90062-8
Hyman Bass, Algebraic $K$-theory, W. A. Benjamin, Inc., New York-Amsterdam, 1968. MR 0249491
Hyman Bass, Introduction to some methods of algebraic $K$-theory, Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, No. 20, American Mathematical Society, Providence, R.I., 1974. Expository Lectures from the CBMS Regional Conference held at Colorado State University, Ft. Collins, Colo., August 24-28, 1973. MR 0347942
Patrick J. Fleury, Splittings of Hochschild’s complex for commutative algebras, Proc. Amer. Math. Soc. 30 (1971), 405–411. MR 291252, DOI 10.1090/S0002-9939-1971-0291252-1
Peter Freyd, Abelian categories. An introduction to the theory of functors, Harper’s Series in Modern Mathematics, Harper & Row, Publishers, New York, 1964. MR 0166240
Alfred Frölicher and Albert Nijenhuis, A theorem on stability of complex structures, Proc. Nat. Acad. Sci. U.S.A. 43 (1957), 239–241. MR 83801, DOI 10.1073/pnas.43.2.239
Murray Gerstenhaber, The cohomology structure of an associative ring, Ann. of Math. (2) 78 (1963), 267–288. MR 161898, DOI 10.2307/1970343
Murray Gerstenhaber, On the deformation of rings and algebras, Ann. of Math. (2) 79 (1964), 59–103. MR 171807, DOI 10.2307/1970484
Murray Gerstenhaber, On the deformation of rings and algebras. II, Ann. of Math. 84 (1966), 1–19. MR 0207793, DOI 10.2307/1970528
Murray Gerstenhaber, On the deformation of rings and algebras. III, Ann. of Math. (2) 88 (1968), 1–34. MR 240167, DOI 10.2307/1970553
Murray Gerstenhaber, On the deformation of sheaves of rings, Global Analysis (Papers in Honor of K. Kodaira), Univ. Tokyo Press, Tokyo, 1969, pp. 149–157. MR 0257179
Murray Gerstenhaber, On the deformation of rings and algebras. IV, Ann. of Math. (2) 99 (1974), 257–276. MR 389978, DOI 10.2307/1970900
D. K. Harrison, Commutative algebras and cohomology, Trans. Amer. Math. Soc. 104 (1962), 191–204. MR 142607, DOI 10.1090/S0002-9947-1962-0142607-6
G. Hochschild, On the cohomology groups of an associative algebra, Ann. of Math. (2) 46 (1945), 58–67. MR 11076, DOI 10.2307/1969145
K. Kodaira, A theorem of completeness of characteristic systems for analytic families of compact submanifolds of complex manifolds, Ann. of Math. (2) 75 (1962), 146–162. MR 133841, DOI 10.2307/1970424
K. Kodaira, On stability of compact submanifolds of complex manifolds, Amer. J. Math. 85 (1963), 79–94. MR 153033, DOI 10.2307/2373187
K. Kodaira and D. C. Spencer, On deformations of complex analytic structures. I, II, Ann. of Math. (2) 67 (1958), 328–466. MR 112154, DOI 10.2307/1970009
K. Kodaira and D. C. Spencer, On deformations of complex analytic structures. III. Stability theorems for complex structures, Ann. of Math. (2) 71 (1960), 43–76. MR 115189, DOI 10.2307/1969879
S. Lichtenbaum and M. Schlessinger, The cotangent complex of a morphism, Trans. Amer. Math. Soc. 128 (1967), 41–70. MR 209339, DOI 10.1090/S0002-9947-1967-0209339-1
Saunders Mac Lane, Homology, Die Grundlehren der mathematischen Wissenschaften, Band 114, Academic Press, Inc., Publishers, New York; Springer-Verlag, Berlin-Göttingen-Heidelberg, 1963. MR 0156879
Albert Nijenhuis, A Lie product for the cohomology of subalgebras with coefficients in the quotient, Bull. Amer. Math. Soc. 73 (1967), 962–967. MR 217152, DOI 10.1090/S0002-9904-1967-11865-2
Albert Nijenhuis and R. W. Richardson Jr., Deformations of homomorphisms of Lie groups and Lie algebras, Bull. Amer. Math. Soc. 73 (1967), 175–179. MR 204575, DOI 10.1090/S0002-9904-1967-11703-8
R. W. Richardson Jr., A rigidity theorem for subalgebras of Lie and associative algebras, Illinois J. Math. 11 (1967), 92–110. MR 206170
Groupes de monodromie en géométrie algébrique. I, Lecture Notes in Mathematics, Vol. 288, Springer-Verlag, Berlin-New York, 1972 (French). Séminaire de Géométrie Algébrique du Bois-Marie 1967–1969 (SGA 7 I); Dirigé par A. Grothendieck. Avec la collaboration de M. Raynaud et D. S. Rim. MR 0354656

On the deformation of an algebra homomorphism

Michael Schlessinger, Functors of Artin rings, Trans. Amer. Math. Soc. 130 (1968), 208–222. MR 217093, DOI 10.1090/S0002-9947-1968-0217093-3
D. Sundararaman, Moduli, deformations and classifications of compact complex manifolds, Research Notes in Mathematics, vol. 45, Pitman (Advanced Publishing Program), Boston, Mass.-London, 1980. MR 596819