The cohomology of a~finite-dimensional coalgebra over a finitely generated quadratic operad, with coefficients in itself, is defined and is shown to have the structure of a graded Lie algebra. The cohomology of such a coalgebra is isomorphic to the cohomology of its linear dual as graded Lie algebras.
References
M. Aguiar and J.-L. Loday. Quadri-algebras. J. Pure Appl. Algebra, 191 (2004), 205–221. MR2059613 1097.17002 10.1016/j.jpaa.2004.01.002 M. Aguiar and J.-L. Loday. Quadri-algebras. J. Pure Appl. Algebra, 191 (2004), 205–221. MR2059613 1097.17002 10.1016/j.jpaa.2004.01.002
D. Balavoine. Homology and cohomology with coefficients, of an algebra over a quadratic operad. J. Pure Appl. Algebra, 132 (1998), 221–258. MR1642086 0967.18004 10.1016/S0022-4049(97)00131-X D. Balavoine. Homology and cohomology with coefficients, of an algebra over a quadratic operad. J. Pure Appl. Algebra, 132 (1998), 221–258. MR1642086 0967.18004 10.1016/S0022-4049(97)00131-X
D. Balavoine. Deformations of algebras over a quadratic operad. In “Operads: Proceedings of Renaissance Conferences” (Hartford, CT/Luminy, 1995). J.-L. Loday, J. D. Stasheff, and A. A. Voronov, Eds. Contemporary Mathematics 202, American Mathematical Society, Providence, RI, 1997, 207–234. MR1436922 0883.17004 D. Balavoine. Deformations of algebras over a quadratic operad. In “Operads: Proceedings of Renaissance Conferences” (Hartford, CT/Luminy, 1995). J.-L. Loday, J. D. Stasheff, and A. A. Voronov, Eds. Contemporary Mathematics 202, American Mathematical Society, Providence, RI, 1997, 207–234. MR1436922 0883.17004
A. Frabetti. Dialgebra (co)homology with coefficients. In “Dialgebras and Related Operads”. J.-M. Morel, F. Takens, and B. Teissier, Eds. Lecture Notes in Mathematics 1763, Springer-Verlag, Berlin, 2001, 67–103. MR1860995 0999.17003 10.1007/3-540-45328-8_3 A. Frabetti. Dialgebra (co)homology with coefficients. In “Dialgebras and Related Operads”. J.-M. Morel, F. Takens, and B. Teissier, Eds. Lecture Notes in Mathematics 1763, Springer-Verlag, Berlin, 2001, 67–103. MR1860995 0999.17003 10.1007/3-540-45328-8_3
M. Gerstenhaber. The cohomology structure of an associative ring. Ann. Math., 78 (1963), 267–288. MR161898 0131.27302 10.2307/1970343 M. Gerstenhaber. The cohomology structure of an associative ring. Ann. Math., 78 (1963), 267–288. MR161898 0131.27302 10.2307/1970343
M. Gerstenhaber. On the deformation of rings and algebras. Ann. Math., 79 (1964), 59–103. MR171807 10.2307/1970484 M. Gerstenhaber. On the deformation of rings and algebras. Ann. Math., 79 (1964), 59–103. MR171807 10.2307/1970484
M. Gerstenhaber and A. A. Voronov. Homotopy $G$-algebras and moduli space operad. Int. Math. Res. Notices, 1995 (1995), 141–153. MR1321701 0827.18004 10.1155/S1073792895000110 M. Gerstenhaber and A. A. Voronov. Homotopy $G$-algebras and moduli space operad. Int. Math. Res. Notices, 1995 (1995), 141–153. MR1321701 0827.18004 10.1155/S1073792895000110
V. Ginzburg and M. M. Kapranov. Koszul duality for operads. Duke Math. J., 76 (1994), 203–272. MR1301191 10.1215/S0012-7094-94-07608-4 euclid.dmj/1077286744
V. Ginzburg and M. M. Kapranov. Koszul duality for operads. Duke Math. J., 76 (1994), 203–272. MR1301191 10.1215/S0012-7094-94-07608-4 euclid.dmj/1077286744
D. K. Harrison. Commutative algebras and cohomology. Trans. Amer. Math. Soc., 104 (1962), 191–204. MR142607 0106.25703 10.1090/S0002-9947-1962-0142607-6 D. K. Harrison. Commutative algebras and cohomology. Trans. Amer. Math. Soc., 104 (1962), 191–204. MR142607 0106.25703 10.1090/S0002-9947-1962-0142607-6
G. Hochschild. On the cohomology groups of an associative algebra. Ann. Math., 46 (1945), 58–67. MR11076 0063.02029 10.2307/1969145 G. Hochschild. On the cohomology groups of an associative algebra. Ann. Math., 46 (1945), 58–67. MR11076 0063.02029 10.2307/1969145
D. W. Jonah. Cohomology of coalgebras. Memoirs of the American Mathematical Society, No. 82, American Mathematical Society, Providence, R.I., 1968. MR229693 0185.04202 D. W. Jonah. Cohomology of coalgebras. Memoirs of the American Mathematical Society, No. 82, American Mathematical Society, Providence, R.I., 1968. MR229693 0185.04202
Ph. Leroux. Ennea-algebras. J. Algebra, 281 (2004), 287–302. MR2091972 1134.17301 10.1016/j.jalgebra.2004.06.022Ph. Leroux. Ennea-algebras. J. Algebra, 281 (2004), 287–302. MR2091972 1134.17301 10.1016/j.jalgebra.2004.06.022
J.-L. Loday. Cup-product for Leibniz cohomology and dual Leibniz algebras. Math. Scand., 77 (1995), 189–196. MR1379265 0859.17015 J.-L. Loday. Cup-product for Leibniz cohomology and dual Leibniz algebras. Math. Scand., 77 (1995), 189–196. MR1379265 0859.17015
J.-L. Loday. Dialgebras. In “Dialgebras and Related Operads”. J.-M. Morel, F. Takens, and B. Teissier, Eds. Lecture Notes in Mathematics 1763, Springer-Verlag, Berlin, 2001, 7–66. MR1860994 10.1007/3-540-45328-8_2 J.-L. Loday. Dialgebras. In “Dialgebras and Related Operads”. J.-M. Morel, F. Takens, and B. Teissier, Eds. Lecture Notes in Mathematics 1763, Springer-Verlag, Berlin, 2001, 7–66. MR1860994 10.1007/3-540-45328-8_2
J.-L. Loday and T. Pirashvili. Universal enveloping algebras of Leibniz algebras and (co)homology. Math. Ann., 296 (1993), 139–158. MR1213376 0821.17022 10.1007/BF01445099 J.-L. Loday and T. Pirashvili. Universal enveloping algebras of Leibniz algebras and (co)homology. Math. Ann., 296 (1993), 139–158. MR1213376 0821.17022 10.1007/BF01445099
J.-L. Loday and M. Ronco. Trialgebras and families of polytopes. In “Homotopy Theory: Relations with Algebraic Geometry, Group Cohomology, and Algebraic $K$-Theory”. P. Goerss and S. Priddy, Eds. Contemporary Mathematics 346, American Mathematical Society, Providence, RI, 2004, 369–398. MR2066507 1065.18007J.-L. Loday and M. Ronco. Trialgebras and families of polytopes. In “Homotopy Theory: Relations with Algebraic Geometry, Group Cohomology, and Algebraic $K$-Theory”. P. Goerss and S. Priddy, Eds. Contemporary Mathematics 346, American Mathematical Society, Providence, RI, 2004, 369–398. MR2066507 1065.18007
A. Majumdar and G. Mukherjee. Deformation theory of dialgebras. $K$-theory, 27 (2002), 33–60. MR1936584 10.1023/A:1020833326579 A. Majumdar and G. Mukherjee. Deformation theory of dialgebras. $K$-theory, 27 (2002), 33–60. MR1936584 10.1023/A:1020833326579
A. Majumdar and G. Mukherjee. Dialgebra cohomology as a $G$-algebra. Trans. Amer. Math. Soc., 356 (2004), 2443–2457. MR2048524 1068.16010 10.1090/S0002-9947-03-03387-7 A. Majumdar and G. Mukherjee. Dialgebra cohomology as a $G$-algebra. Trans. Amer. Math. Soc., 356 (2004), 2443–2457. MR2048524 1068.16010 10.1090/S0002-9947-03-03387-7
M. Markl. Models for operads. Comm. Alg., 24 (1996), 1471–1500. MR1380606 0848.18003 10.1080/00927879608825647 M. Markl. Models for operads. Comm. Alg., 24 (1996), 1471–1500. MR1380606 0848.18003 10.1080/00927879608825647
M. Markl, S. Shnider, and J. Stasheff. Operads in Algebra, Topology and Physics. Mathematical Surveys and Monographs 96, American Mathematical Society, Providence, RI, 2002. MR1898414 1017.18001 M. Markl, S. Shnider, and J. Stasheff. Operads in Algebra, Topology and Physics. Mathematical Surveys and Monographs 96, American Mathematical Society, Providence, RI, 2002. MR1898414 1017.18001
J. P. May. The Geometry of Iterated Loop Spaces. Lectures Notes in Mathematics 271, Springer-Verlag, Berlin, 1972. MR420610 0244.55009 J. P. May. The Geometry of Iterated Loop Spaces. Lectures Notes in Mathematics 271, Springer-Verlag, Berlin, 1972. MR420610 0244.55009
J. P. May. Definitions: Operads, algebras and modules. In “Operads: Proceedings of Renaissance Conferences” (Hartford, CT/Luminy, 1995). J.-L. Loday, J. D. Stasheff, and A. A. Voronov, Eds. Contemporary Mathematics 202, American Mathematical Society, Providence, RI, 1997, 1–7. MR1436912 0879.18002 J. P. May. Definitions: Operads, algebras and modules. In “Operads: Proceedings of Renaissance Conferences” (Hartford, CT/Luminy, 1995). J.-L. Loday, J. D. Stasheff, and A. A. Voronov, Eds. Contemporary Mathematics 202, American Mathematical Society, Providence, RI, 1997, 1–7. MR1436912 0879.18002
B. Parshall and J. P. Wang. On bialgebra cohomology. Algebra, groups and geometry. Bull. Soc. Math. Belg. Sér. A, 42 (1990), 607–642. MR1316214 0756.16009 B. Parshall and J. P. Wang. On bialgebra cohomology. Algebra, groups and geometry. Bull. Soc. Math. Belg. Sér. A, 42 (1990), 607–642. MR1316214 0756.16009
D. Yau. Gerstenhaber structure and Deligne's conjecture for Loday algebras. J. Pure Appl. Algebra, 209 (2007), 739–752. MR2298852 1165.16007 10.1016/j.jpaa.2006.07.003 D. Yau. Gerstenhaber structure and Deligne's conjecture for Loday algebras. J. Pure Appl. Algebra, 209 (2007), 739–752. MR2298852 1165.16007 10.1016/j.jpaa.2006.07.003
D. Yau. (Co)homology of triassociative algebras. Int. J. Math. Math. Sci., 2006 (2006), Article ID 69248, 21 pages. MR2251690 1198.17002 D. Yau. (Co)homology of triassociative algebras. Int. J. Math. Math. Sci., 2006 (2006), Article ID 69248, 21 pages. MR2251690 1198.17002