{"entities":{"Q2903922":{"pageid":2914647,"ns":120,"title":"Item:Q2903922","lastrevid":51522587,"modified":"2026-01-18T15:14:45Z","type":"item","id":"Q2903922","labels":{"en":{"language":"en","value":"Graph cohomology, colored posets and homological algebra in functor categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063048"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903922$C6BF6B5D-AC11-4CEA-9E1B-40A07F340248","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"558161cf1cace2daf8699898719025e5ba486794","datavalue":{"value":"1255.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$BCC0B727-16F6-4E3B-AA16-2670E8557A6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"950a75917a35511c06408d6b67cdf973d0c24389","datavalue":{"value":{"entity-type":"item","numeric-id":171389,"id":"Q171389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903922$CBBA1DFB-B273-4B3F-A647-832FDA061F5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e94b56ed58d75f768d78f64e67a43e9f58306661","datavalue":{"value":{"time":"+2012-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2903922$57BE7045-7CA9-4DEF-89B9-81F3F5398859","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$73C89A1D-EE14-4348-A4E7-BCDFB52A8722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3643431a725e554c54598cd9777f2e5a7f105dfb","datavalue":{"value":"18G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$08CBF0AE-7918-4ADC-8B82-E3D79066730E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60572561c94bb0a5de4329d3c7bf8a47080901dd","datavalue":{"value":"18G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$95C525B7-A1FA-4967-B21D-D53F6A7DE51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8abdc4b34db7186b3bb2396f93749d98203650eb","datavalue":{"value":"16E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$4838BA7E-6DC2-41C8-8E7C-5062C237C6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$E758A1AB-5017-4A65-9DB3-42193CE2FBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0344475b093a005210c8cd3287a0b2589c6a0ee","datavalue":{"value":"05E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$4D283B56-D943-47DF-BCD9-03C8E7B08123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4f62d49d679959889250c0021d9257856e4ae3","datavalue":{"value":"55N35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$23A309B8-6FE3-4F25-B64D-86E894CF4B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4f912cc4f5542455896ae293f2d98d28b2477a66","datavalue":{"value":"57M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$2B5C17FD-6C18-4ABB-B5BC-88B98EB70781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba55da4db269ddf3a2ff179d128dbd1abddc34e7","datavalue":{"value":"57M27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$E203E12C-0D31-42EA-9EB0-4F15C180C297","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b65fb88983069d9c0eaf47166ad344f63c9c56df","datavalue":{"value":"6063048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$8D17556B-8B8D-44B7-BE34-E5E97000A02E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cc6d6f6a2a1aa99efcbad9cfe3b4be690c20df","datavalue":{"value":"functor categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903922$C6C1A5E4-74B7-48DF-A2CE-94829097BADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed6ba661824cb7ced04f275bfe7d671041b68869","datavalue":{"value":"graph categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903922$4894D910-6967-4800-99C0-097EED2320F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db3b54776daae9fa4f6fe77fcdc872500320787f","datavalue":{"value":"graph cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903922$F7CA5E5E-154D-4607-AF8E-FF9AB367D1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f585ef92fcf68dde60dd97e80046943cc2c2e83e","datavalue":{"value":"Hochschild homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903922$8A95631E-B64B-4A57-8E42-8CC81DFCCCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d29f2e8ebd2bbe19da65c4622da33dde0a3f86","datavalue":{"value":"Khovanov cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903922$FCA9E064-FDB8-4005-95DD-8D230D1ED2E2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903922$00EA6721-817C-4659-A930-780449F82FFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a49d51f8bde87ceec7ddb5d37a081d90422d0f59","datavalue":{"value":"https://doi.org/10.4064/ba60-3-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2903922$0B55547B-0D79-4430-95D6-6F36BB7DD3CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd3a3adfd7877bc34e061b86d025f0d1c83afadf","datavalue":{"value":"W1965942827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$667A3692-ED51-4C4C-A402-7E30E4F161BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88d48aa975bc84f9a201fee7be7d41a19472f33c","datavalue":{"value":"10.4064/BA60-3-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903922$79D2137C-4502-4BA2-BD3E-C898DC6A3BC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af6eed64b30a4b5fdcda8e5e7c9ed5a3e5cb1469","datavalue":{"value":{"text":"Graph cohomology, colored posets and homological algebra in functor categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2903922$68F72DB5-60A5-4D4B-9E07-B4653BB92255","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51552ab9024ca30b1bb362d60258ac8ad38a0886","datavalue":{"value":{"entity-type":"item","numeric-id":6643757,"id":"Q6643757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903922$A2627687-3749-4B7B-B570-66839D371B11","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"24d69309363f80c57bf704986026d046eb662a4e","datavalue":{"value":"The author generalizes the homology theory of colored posets, defined by \\textit{B. Everitt} and \\textit{P. Turner} [J. Algebra 322, No. 2, 429--448 (2009; Zbl 1229.05293)]. In turn, Everett and Turners's theory is a generalization of homology theory of the \\textit{M. Khovanov} cube construction used in [Duke Math. J. 101, No. 3, 359--426 (2000; Zbl 0960.57005)] to define invariants of links.NEWLINENEWLINEA colored poset \\((P,F)\\) consists of a poset \\(P\\), with a unique maximal element 1, and a coloring \\(F:P\\rightarrow k\\mathrm{-Mod}\\), where \\(k\\) is a commutative ring and \\(k\\mathrm{-Mod}\\) is the category of \\(k\\)-modules and \\(k\\)-homomorphisms. \\(F\\) is a functor on the category associated to \\(P\\) and denoted by the same letter. The homology groups of colored posets, \\(\\mathcal H (P,F)\\), can be interpreted in terms of homological algebra in functor categories. For \\(p\\in P\\), let \\(k_p\\) be an ``atomic'' functor on \\(P\\) such that \\(k_p(p')=k\\) if \\(p=p'\\), and \\(k_p(p')=0\\) otherwise. There exists an isomorphism \\(\\mathcal{H}_*(P,F)\\cong \\mathrm{Tor}^P_{\\ast}(k_1,F)\\). For a poset \\(P\\) with a unique minimal element \\(o\\) and a coloring \\(F:P\\rightarrow k\\mathrm{-Mod}\\) one can consider the cohomology groups \\(\\mathcal{H}^*(P,F)\\cong \\mathrm{Ext}^*_P(k_o,F)\\). Let \\(S[n]\\) be the poset of all subsets of \\([n]=\\{0,1,\\dots,n\\}\\) with inclusion as order relation. The poset \\(S[n]\\) has the minimal element (the empty set) \\(o\\) and the maximal element \\([n]\\). Together with a coefficient system \\(F:S[n]\\rightarrow k\\mathrm{-Mod}\\) it is an example of a colored poset. It is proved by Everitt and Turner [loc. cit.] that the groups \\(\\mathcal{H}_*(S[n],F)\\) are isomorphic to the homology groups of the cube construction of a colored Boolean lattice. The cohomology groups of the Khovanov cube construction [loc. cit.] are isomorphic to \\(H^*(S[n],F)\\) for appropriate \\(n\\) and \\(F\\). If the edge set of a given graph \\(\\Gamma\\) is equal to \\([n]\\), then the objects of \\(S[n]\\) can be considered as subgraphs of \\(\\Gamma\\), with the same vertex set. For the Khovanov functor cohomology theory described by \\textit{J. H. Przytycki} [Quantum Topol. 1, No. 2, 93--109 (2010; Zbl 1215.57006)] there is an isomorphism \\(H^*(\\Gamma,F)\\cong Ext^*_{S[n]}(k_o,F)\\cong \\mathrm{Tor}^{S[n]}_{n+1-*}(k_{[n]},F)\\). The cohomology theory of Przytycki is a generalization of the cohomology groups \\(H^*(\\Gamma,A)\\), defined and studied by \\textit{L. Helme-Guizon} and \\textit{Y. W. Rong} [``Graph cohomologies from arbitrary algebras'', \\url{arXiv:math/0506023}] and \\textit{L. Helme-Guizon}, \\textit{J. H. Przytycki} and \\textit{Y. W. Rong} [Fundam. Math. 190, 139--177 (2006; Zbl 1105.57012)]. In this case the coeffients are given by an associative commutative unital \\(k\\)-algebra \\(A\\). It is proved by Przytycki [loc. cit.] that there exists a functor \\(F_A:S[n]\\rightarrow k\\mathrm{-Mod}\\), defined by \\(A\\), such that \\(H^*(\\Gamma,A)=H^*(\\Gamma,F_A)\\). Let \\(\\mathcal{F}\\) be the category whose objects are sets \\([n]\\) , for all natural \\(n\\), and whose arrows are all mappings \\(f:[n]\\rightarrow [m]\\). There is a functor \\(C(A):\\mathcal{F}\\rightarrow k\\mathrm{-Mod}\\) [cf. \\textit{J.-L. Loday}, Cyclic homology. Berlin: Springer-Verlag (1992; Zbl 0780.18009)] such that \\(C(A)[n]=A^{\\otimes n+1}\\).NEWLINENEWLINEIn Section 2, the author defines a functor \\(\\pi_{\\Gamma}:S[n]\\rightarrow \\mathcal{P}\\), where \\(\\mathcal{P}\\) is a certain subcategory of \\(\\mathcal{F}\\) considered by \\textit{M. Zimmermann} [Complexes de cha\u00eenes et petites cat\u00e9gories. Strasbourg: Univ. Louis Pasteur (Th\u00e8se) (2004)]. If a geometrical realization of \\(\\Gamma'\\) has \\(k+1\\) connected components, then \\(\\pi_{\\Gamma}(\\Gamma')=[k]\\). It follows from definition that \\(f_A=C(A)\\pi_{\\Gamma}\\) so that \\(H^*(\\Gamma,A)\\cong \\mathcal{H}^*(S[n],C(A)\\pi_{\\Gamma})\\cong H^*(\\Gamma,C(A)\\;\\pi_{\\Gamma})\\).NEWLINENEWLINEThe author considers the graph cohomology groups \\(H^*(\\Gamma,F\\pi_{\\Gamma})\\), where \\(F:\\mathcal{P}\\rightarrow k\\mathrm{-Mod}\\) is an arbitrary functor. Each graph \\(\\Gamma\\) with \\(n+1\\) vertices defines a subcategory \\(P(\\Gamma)\\) of the partition category \\(P_n\\), associated to the poset of all equivalence relations on the set \\([n]\\downarrow \\mathcal{\\mathcal{P}}\\) whose objects are the arrows \\(f:[n]\\rightarrow [m]\\) of \\(\\mathcal{P}\\). There exist functors \\(\\rho_{\\Gamma}:S[n]\\rightarrow P(\\Gamma)\\) and \\(\\overline{\\psi}:P_n\\rightarrow \\mathcal{P}\\) such that \\(\\overline{\\psi}\\rho_{\\Gamma}=\\pi_{\\Gamma}\\). The author proves, that there are isomorphisms \\(H^*(\\Gamma,F\\pi_{\\Gamma})\\cong \\mathcal{H}(P(\\Gamma),F\\overline{\\psi})\\).NEWLINENEWLINEIn Section 1, the author considers, as a generalization of colored posets, small categories with objects for which atomic functors can be defined. As an example one can take \\(\\mathcal{P}\\). If \\(\\Gamma\\) is a full graph with \\(n+1\\) vertices, then \\(P(\\Gamma)=P_n\\) and \\(H^*(\\Gamma,F\\pi_{\\Gamma})\\cong \\mathrm{Ext}^*_{\\mathcal{P}}(k_{[n]},F)\\).NEWLINENEWLINEFinally, some functorial properties of these cohomology theories are studied and the connection between the Hochschild homology of an algebra and the graph cohomology, defined for the same algebra and a cyclic graph, is explained by the author from the point of view of homological algebra in functor categories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903922$0A58B5A5-0CA8-4E94-AEC3-FFF13225BE09","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8d15dff5987fa966dec5b70312142d908c224362","datavalue":{"value":{"entity-type":"item","numeric-id":587483,"id":"Q587483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903922$32798410-2DD2-4807-BDD8-F9151B2DB586","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872a21fc4614422c44badc43be165ed8d9b07dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2885392,"id":"Q2885392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1023abd18f2e0cc6e6b65a7e556f629d19c6c84","datavalue":{"value":{"amount":"+0.791390061378479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903922$BECBF49C-0885-4506-A575-3035CD4D63DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ff43be318f516f1d50e2f502d25258a8008352","datavalue":{"value":{"entity-type":"item","numeric-id":2869283,"id":"Q2869283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09216181589ac9496e5fcea7edca889819058048","datavalue":{"value":{"amount":"+0.7875778079032898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903922$71AC76C7-7EB6-4819-89D7-4DB1FADA1BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86199477432d99b5ebd1052d67506d0a7cf4f72e","datavalue":{"value":{"entity-type":"item","numeric-id":988506,"id":"Q988506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"003e7a25fb5439d51b33d8cb746803f981351db3","datavalue":{"value":{"amount":"+0.7701773047447205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903922$9C575A1B-FB29-431F-AE40-E12897AE12CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca9312ddb8c52d4b410a16de79a91b1ae0a072c","datavalue":{"value":{"entity-type":"item","numeric-id":731222,"id":"Q731222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8d291e6287348eb8849d9ed97b546c8739272a","datavalue":{"value":{"amount":"+0.7565425634384155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903922$6D4D6FAD-A343-441C-8D0B-37964A2ADED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c84ebecf31637c553868f4f262aa8a1518d8203","datavalue":{"value":{"entity-type":"item","numeric-id":2669011,"id":"Q2669011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce6adff07d40a8e571cd2238e38e21e8fb4f362","datavalue":{"value":{"amount":"+0.7549200654029846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2903922$0EBB3F34-DF16-4E5E-A3EF-F93FFF1572E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2903922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2903922"}}}}}