{"entities":{"Q847565":{"pageid":849413,"ns":120,"title":"Item:Q847565","lastrevid":57200901,"modified":"2026-03-27T11:15:50Z","type":"item","id":"Q847565","labels":{"en":{"language":"en","value":"Formal homotopy quantum field theories. I: Formal maps and crossed \\(\\mathcal{C}\\)-algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5672981"}},"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":"Q847565$F5182A8A-BFBD-4E24-911C-E2A8F4A0826D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"715ce3c9a3f29ece358f633c718ae15bf339bb41","datavalue":{"value":{"text":"Formal homotopy quantum field theories. I: Formal maps and crossed \\(\\mathcal{C}\\)-algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q847565$2E8D25B4-E9D1-4A13-B6A5-A0BC934CAB1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"085b5260de9644c3ea6b76e41b043ccadc611dc3","datavalue":{"value":"1205.57024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847565$1876B655-FB5E-4727-A0F9-E3A15A37133B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddb5c1d1d20fecc8da4a9a8f827f047e26ec692d","datavalue":{"value":{"entity-type":"item","numeric-id":590766,"id":"Q590766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847565$58905A01-2325-47D8-BE6C-299760BA99BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bb0092eae05af83e0d633d52d30b813d145d85e","datavalue":{"value":{"entity-type":"item","numeric-id":590672,"id":"Q590672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847565$481EE5C6-1A21-4CF9-97B2-CE647096706B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f547af18a2692ab85e737a33938e3d90c4bee546","datavalue":{"value":{"entity-type":"item","numeric-id":260070,"id":"Q260070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847565$AC46BF3C-E373-4820-BDA1-90E6FA7AA0EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4af0db81dac7c2480dc93c63201edcba2181fc7e","datavalue":{"value":{"time":"+2010-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q847565$3ADC69A7-AAFC-4F7C-9C4B-8D8F34A30B73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81c3ff10d41ba3e9403dd3763ae1757b4708cadc","datavalue":{"value":"https://arxiv.org/abs/math/0512032","type":"string"},"datatype":"url"},"type":"statement","id":"Q847565$80269552-95A9-4606-BA33-952666AA4CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"10e07aad933e0f890603b728c37245e9d7f33a19","datavalue":{"value":"http://www.emis.de/journals/JHRS/volumes/2008/n1a4/abstract.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q847565$CCF682D5-8EA4-41ED-B07A-08A282E5EE75","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8fb144cd835c1ed8c37e6f7ebb5762dd7dee987e","datavalue":{"value":"A \\((d+1)\\)-dimensional topological quantum field theory is a linear representation of \\((d+1)\\)-dimensional cobordism [\\textit{M.~Atiyah}, Publ. Math., Inst. Hautes \u00c9tud. Sci. 68, 175--186 (1988; Zbl 0692.53053)]. For small values of \\(d\\), such a theory is completely encoded in very simple algebraic data. For instance, a 1-dimensional TQFT is the same thing as the datum of a finite dimensional vector space endowed with a symmetric non-degenerate inner product, and a 2-dimensional TQFT is the same thing as a Frobenius algebra. It is natural to extend the notion of TQFT, by endowing the manifolds and cobordisms with additional structures, e.g., with a principal \\(G\\)-bundle. Up to isomorphism, the datum of such a bundle is encoded into a characteristic map, i.e., into the homotopy class of a map from the cobordism manifold to the classifying space \\(BG\\) of \\(G\\). More generally, one can define a \\((d+1)\\)-dimensional homotopy quantum field theory as a linear representation of \\((d+1)\\)-dimensional cobordism endowed with characteristic maps to a fixed pointed `background' space \\(B\\) [\\textit{V.~Turaev}, Homotopy field theory in dimension 2 and group algebras, \\url{arXiv:math/9910010}]. It has been shown in [\\textit{G.~Rodrigues}, J. Knot Theory Ramifications 12, No.~3, 287--319 (2003; Zbl 1061.57027)] that a \\((d+1)\\)-dimensional HQFT with target \\(B\\) only depends on the \\((d+1)\\)-type of \\(B\\), i.e. the algebraic structure involved only knows about the first \\((d+1)\\)-homotopy groups of \\(B\\). This in particular means that in order to investigate \\((d+1)\\)-dimensional HQFTs, one can restrict the targets to be \\((d+1)\\)-types, i.e., to have vanishing homotopy groups above the \\((d+1)^{st}\\).  In the present paper, the authors investigate 2-dimensional HQFTs. Partial results in this direction were known for \\(B\\) a connected 1-type, i.e. \\(B\\cong K(G,1)\\) for a discrete group \\(G\\), and for \\(B\\) a simply connected 2-type, i.e. \\(B\\cong K(A,2)\\), for \\(A\\) a discrete abelian group. Namely, it was shown in [\\textit{V.~Turaev}, loc. cit.] that 2-dimensional HQFTs with target \\(K(G,1)\\) are equivalent to crossed \\(G\\)-algebras, and in [\\textit{M.~Brightwell} and \\textit{P.~Turner}, J. Knot Theory Ramifications 9, No.~7, 855--864 (2000; Zbl 0999.57030) ] that 2-dimensional HQFTs with target \\(K(A,2)\\) are equivalent to \\(A\\)-Frobenius algebras.  For a general 2-type \\(B\\), the algebraic counterpart is that of a crossed module. More precisely, if \\(B\\) is a 2-type, then there exists a crossed module \\(\\mathcal{C}\\) such that the classifying space \\(B\\mathcal{C}\\) of \\(\\mathcal{C}\\) is weakly equivalent to \\(B\\) [\\textit{R.~Brown} and \\textit{P.~J.~Higgins}, Math. Proc. Camb. Philos. Soc. 110, No.~1, 95--120 (1991; Zbl 0732.55007)]. Given a crossed module \\(\\mathcal{C}\\) providing an algebraic model for a 2-type \\(B\\), the authors introduce a combinatorial model for 2-dimensional cobordisms with target \\(B\\) and for the corresponding HQFT. These combinatorial versions of homotopy classes of maps to \\(B\\) are called \\textit{formal \\(\\mathcal{C}\\)-maps} in the paper, and the resulting analogues of HQFTs, \\textit{formal 2-dimensional HQFTs}, hence the title of the paper. The authors provide a complete classification of formal 2-dimensional HQFTs over a crossed module \\(\\mathcal{C}\\) in terms of crossed \\(\\mathcal{C}\\)-algebras (a common generalization of both crossed \\(G\\)-algebras and \\(A\\)-Frobenius algebras). More precisely, the main result in the paper states that there is a canonical bijection between isomorphism classes of formal 2-dimensional HQFTs based on a crossed module \\(\\mathcal{C}\\) and isomorphism classes of crossed \\(\\mathcal{C}\\)-algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q847565$613F13A0-866B-4FC6-8032-B5AF94C8EBDD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"233526c49995b5f7ab75c3337fdcd205d9fc295e","datavalue":{"value":{"entity-type":"item","numeric-id":245621,"id":"Q245621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847565$C828D322-955F-4945-A06E-53B6F187FE6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2777cb6b2f1e2b95b27663ecab48b5ce6a7f7639","datavalue":{"value":"57R56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847565$F670051B-8CE3-423D-9FD6-DE54FFC7FADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847565$F46E932C-5C59-493C-A506-2DCD2718C052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40623867f27d5837b7d9156c695c2c009a8863e2","datavalue":{"value":"18G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847565$5AF2AE1A-F997-4C6D-91B6-37E7A12C042C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"662f421fffd6d9dd0e38c8bbdb2bd825731c9b04","datavalue":{"value":"81T45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847565$B5BCA6B4-E63C-4A9A-BAF5-F42A8DEBFFC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"696489f40d3dd98389736b6b56a5dad85f3157c8","datavalue":{"value":"5672981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847565$D9D7384B-83DD-46B4-84C7-7C3B93D22387","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ac182c9b0fb895bccdf1408bd6e1ef5456163dc","datavalue":{"value":"Homotopy quantum field theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q847565$5C999DEA-14B6-427E-9092-C15BDFE72403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f88cfac4c4f1ed3bef39678513689dd507028679","datavalue":{"value":"crossed algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q847565$9FC0B3FF-CE1E-4B38-BD44-8E11007F1E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24a3cbc3c527059c461fbab5ebdd9448eacc1b2c","datavalue":{"value":"crossed modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q847565$80FBC7B0-6262-42A2-AF65-61F43CAED1E5","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":"Q847565$BB215317-7A74-4AC1-B457-B2DB274A1D9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb0e1ddd62ece72898592f7839d02c399fafc6f","datavalue":{"value":{"entity-type":"item","numeric-id":5431523,"id":"Q5431523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3cc17a89a7e31e2392560ccbb58a24c3286f7c9","datavalue":{"value":{"amount":"+0.942708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847565$33E1357B-67B6-40F6-A92E-072086112D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d12b597d2542d8efae7c390df42e4e4ea1a1181","datavalue":{"value":{"entity-type":"item","numeric-id":2000955,"id":"Q2000955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa8ce55ba4a8b56309b66b9e16348e89c722719","datavalue":{"value":{"amount":"+0.91545683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847565$1FE410E8-7F05-4EE7-A0F9-3EE6E5018FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cef90d09796138580c50b2c8672468469e546cd","datavalue":{"value":{"entity-type":"item","numeric-id":4474488,"id":"Q4474488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66734405b7e2d26dd9ed51709235cc402a5e8618","datavalue":{"value":{"amount":"+0.9070616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847565$34B0F605-BF52-457A-B9C4-097EAA805EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f56b06723ee3e2a1ea90287dd910792f57e75c9","datavalue":{"value":{"entity-type":"item","numeric-id":4217735,"id":"Q4217735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041654d97aefd42a3321d3959660759d48b4a459","datavalue":{"value":{"amount":"+0.8966952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847565$96C6F508-B0FC-4B2B-BC60-87FBC7C48923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fe7e1719bb1963d0c32ba2da84dd7b76da5710","datavalue":{"value":{"entity-type":"item","numeric-id":4265457,"id":"Q4265457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c80b406288066f89a0d78a188d82c54d6dcff77","datavalue":{"value":{"amount":"+0.8944647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847565$ACC35025-D936-45DB-B7B8-84D7BF979846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b4e2f83019de61e5084eab60d5a177e553d711","datavalue":{"value":{"entity-type":"item","numeric-id":3370193,"id":"Q3370193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e27bc7eac7a0c7702f9930e6787e887f365fef1","datavalue":{"value":{"amount":"+0.89398575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847565$501573CD-4CCE-4CD9-A4C4-6CDBFDF2750F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18894eac2414742c6cadcf192f86bb0191a91d7c","datavalue":{"value":{"entity-type":"item","numeric-id":1414052,"id":"Q1414052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d82e2fbf51c4d87495463dc01668fb0805040d","datavalue":{"value":{"amount":"+0.8885503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847565$8E046EB5-AFD3-4D6E-84CD-1CF89E606C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f62540a04ead7e35f55c0a50c58c76f8969e207","datavalue":{"value":{"entity-type":"item","numeric-id":2284272,"id":"Q2284272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d93bf13a0e6df27cb4488cb89a9324fe08b637","datavalue":{"value":{"amount":"+0.88413244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847565$169F2380-6420-45A4-8906-D62FE900A483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8f4746c2b0b405255c9863fa1b119e94e72438","datavalue":{"value":{"entity-type":"item","numeric-id":5204842,"id":"Q5204842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2af8324d2797919dd3931704f5ef432daaa3ead","datavalue":{"value":{"amount":"+0.88222605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847565$CAA17F6F-91AD-4A30-B1B1-4115513A4339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ebcd542c0b3471b5eca02631d175947f4c2cebe","datavalue":{"value":{"entity-type":"item","numeric-id":2800409,"id":"Q2800409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3283ac3c32e77d55f41222378f77f4e68dfec37c","datavalue":{"value":{"amount":"+0.88095397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847565$05648EDE-8D32-419C-849E-0D09FEA1FBB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:847565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:847565"}}}}}