{"entities":{"Q6629617":{"pageid":14240769,"ns":120,"title":"Item:Q6629617","lastrevid":100011638,"modified":"2026-06-05T21:13:00Z","type":"item","id":"Q6629617","labels":{"en":{"language":"en","value":"Kerler-Lyubashenko functors on 4-dimensional 2-handlebodies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7935852"}},"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":"Q6629617$AA67EA22-2EE8-4242-9006-60EDEEEA2095","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0fa1df7cb82f9466a9c0e21239adef8492ddf56","datavalue":{"value":{"text":"Kerler-Lyubashenko functors on 4-dimensional 2-handlebodies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6629617$3FE7AB15-38EA-45E7-A1E7-23156A9E35EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"404069c3981ffb4da61d12dcdff05ccdc26f1004","datavalue":{"value":"1548.57041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629617$BD86E25D-6AB9-440E-9BAA-B51696458A62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4ecb1451789bb01aeb931a81db67c07ad095f68","datavalue":{"value":{"entity-type":"item","numeric-id":217384,"id":"Q217384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629617$6406CDF7-18E6-4768-A217-A7510976B3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4cedb7d5614f0c292224e9b4dacaa0806951fbd","datavalue":{"value":{"entity-type":"item","numeric-id":1673722,"id":"Q1673722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629617$0627B195-DE16-42BD-BD05-A26E672FA542","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f9c5852273b9fb2ca87ff454001a60d57e6ed45","datavalue":{"value":{"entity-type":"item","numeric-id":6623112,"id":"Q6623112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629617$8A2E617D-2226-428B-A94F-167F74E299F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fbcb7acea0df8945200a3d2551e2bc51375e32","datavalue":{"value":{"time":"+2024-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6629617$D6F3C160-E491-44AF-B53C-03928F3A8C10","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20f0416c682ccb17b910a15290157f7db7bc7845","datavalue":{"value":"This paper constructs linear representations of a certain topological category whose morphisms are 2-deformation classes of 4-dimensional 2-handlebodies. More precisely, the authors define a braided monoidal functor \\(J_{4}\\) with source the category 4HB of connected 4-dimensional 2-handlebodies of \\textit{I. Bobtcheva} and \\textit{R. Piergallini} [J. Knot Theory Ramifications 21, No. 12, 1250110, 230 p. (2012; Zbl 1276.57010)] and with target a unimodular ribbon category \\(\\mathcal{C}\\).\\N\\NThe synopsis of the paper goes as follows.\\N\\N\\begin{itemize}\\N\\item[\\S 2] recalls some basic facts about handle decompositions and signature defects.\\N\\N\\item[\\S 3] recalls the definition of the three topological categories focused on in this paper, namely, \\textit{I. Bobtcheva} and \\textit{R. Piergallini} [J. Knot Theory Ramifications 21, No. 12, 1250110, 230 p. (2012; Zbl 1276.57010)] category 4HB of connected 4-dimensional 2-handlebodies, and \\textit{T. Kerler} and \\textit{V. V. Lyubashenko}'s [Non-semisimple topological quantum field theories for 3-manifolds with corners. Berlin: Springer (2001; Zbl 0982.57013)] categories 3Cob\\(^{\\sigma}\\) and 3Cob of connected (framed) 3-dimensional cobordisms.\\N\\N\\item[\\S 4] gives a diagrammatic description of the three topological categories of the previous section by first defining the categories of Kirby tangles KTan and of (signed) top tangles in handlebodies TTan\\(^{\\sigma}\\) and TTan, then defining functors between them, and finally showing that the following diagram commutes:\\N\\[\\N\\begin{array} [c]{ccccc} \\text{KTan} & \\overset{E}\\longrightarrow & \\text{TTan}^{\\sigma} & \\overset{F_{T}}\\longrightarrow & \\text{TTan}\\\\\\N^{D}\\downarrow\\cong & & ^{\\chi^{\\sigma}}\\downarrow\\cong & & ^{\\chi}\\downarrow\\cong\\\\\\N\\text{4HB} & \\underset{\\partial}\\longrightarrow & \\text{3Cob}^{\\sigma} & \\underset{F_{C}}\\longrightarrow & \\text{3Cob} \\end{array}\\N\\]\\N\\N\\item[\\S 5] summarizes the terminology needed in order to understand the target of the braided monoidal functor of the theorem stated in \\S 7.\\N\\N\\item[\\S 6] recalls the algebraic presentation of the topological and diagrammatic categories of \\S 3 and \\S 4 by defining three categories 4Alg, 3Alg\\(^{\\sigma}\\), and 3Alg freely generated by BPH algebras, and by extending the above commutative diagram.\\N\\[\\N\\begin{array} [c]{ccccc} \\text{4Alg} & \\overset{Q^{\\sigma}}\\longrightarrow & \\text{3Alg}^{\\sigma} & \\overset{Q}\\longrightarrow & \\text{3Alg}\\\\\\N^{K}\\downarrow\\cong & & ^{T^{\\sigma}}\\downarrow\\cong & & ^T\\downarrow\\cong\\\\\\N\\text{KTan} & \\overset{E}\\longrightarrow & \\text{TTan}^{\\sigma} & \\overset{F_{T}}\\longrightarrow  & \\text{TTan}\\\\\\N^{D}\\downarrow\\cong & & ^{\\chi^{\\sigma}}\\downarrow\\cong & & ^{\\chi}\\downarrow\\cong\\\\\\N\\text{4HB} & \\underset{\\partial}\\longrightarrow & \\text{3Cob}^{\\sigma} & \\underset{F_{C}}\\longrightarrow & \\text{3Cob} \\end{array}\\N\\]\\N\\N\\item[\\S 7] establishes the following main theorem:\\N\\NTheorem. If \\(\\mathcal{C}\\) is a unimodular ribbon category, then there exists a braided monoidal functor\\N\\[\\NJ_{4}:\\text{4HB}\\rightarrow\\mathcal{C}\\N\\]\\N\\ sending the generating Hopf algebra object 4HB\\ (the solid torus) to the end\\N\\[\\N\\mathcal{E}=\\int_{X\\in\\mathcal{C}}X\\otimes X^{\\ast}\\in\\mathcal{C}\\N\\]\\N\\N\\item[\\S 8] presents an algorithm for the computation of the functor\\N\\[\\NJ_{4}:\\text{KTan}\\rightarrow H\\text{-mod}\\N\\]\\Nassociated with a unimodular ribbon Hopf algebra \\(H\\), and of the functor\\N\\[\\NJ_{3}^{\\sigma}:\\text{TTan}^{\\sigma}\\rightarrow H\\text{-mod}\\N\\]\\Nassociated with a factorizable ribbon Hopf algebra \\(H\\).\\N\\N\\item[\\S 9] provides concrete examples of unimodular ribbon categories, exhibiting explicit formulas required for computations.\\N\\N\\item[Appendix A] proves that a unimodular ribbon category \\ is modular iff the copairing \\(w_{+}:\\boldsymbol{1}\\rightarrow\\mathcal{E}\\otimes\\mathcal{E} \\) of the end is nondegenerate.\\N\\N\\item[Appendix B] gives explicit formulas for the ribbon element \\(v_{+}\\in u_{q}\\mathfrak{sl}_{2}\\) and for the monodromy matrix \\(M\\in u_{q} \\mathfrak{sl}_{2}\\otimes u_{q}\\mathfrak{sl}_{2}\\), as well as their inverses.\\N\\N\\item[Appendix C] gives a short explicit proof of the instability of (potentially) 2-exotic phenomenon under boundary connected sum with \\(S^{2}\\times D^{2}\\).\\N\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6629617$D212FAE9-50CE-47C8-B15B-EF50480B51AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629617$2F61CBC1-3531-486D-99BE-D065B7D7556C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f3e2f3913a74d8c2c615a6a91c8e75fcad226c0","datavalue":{"value":"57K40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629617$D6D109F2-B4E8-4AFD-A5FC-AA567A166745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"affcde9bde3e4c7ff2968280e78eb4cf9a3dc582","datavalue":{"value":"57R65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629617$3C169458-6C1F-4A8F-88F3-E9FB55E5D97A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0de444c9682320bba8dda01c4b9aa3468e306704","datavalue":{"value":"7935852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629617$37DFB40A-77B9-4379-90F5-8D381025F079","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":"Q6629617$36DB9CF4-21DF-4C0E-976B-31A5C90CC38E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cacbf1a479050a181dcc8647640ee3a26715a0b4","datavalue":{"value":"10.1093/IMRN/RNAC039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629617$97476568-162E-4E3F-A97E-6FE3FFD6A347","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4a205fe6069cbf49a73409cca643a760ed5c86","datavalue":{"value":{"entity-type":"item","numeric-id":2920397,"id":"Q2920397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2058e2f99d4fbcdb99c529c5a2155760a6830606","datavalue":{"value":{"amount":"+0.8049860000610352","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":"Q6629617$4CFBC079-6F9B-4252-9750-22DBB5CA907E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da891be053111e25a14e5f7dd8dbf6c8802ca610","datavalue":{"value":{"entity-type":"item","numeric-id":3085262,"id":"Q3085262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac62220b5683fc4bdbaa389b0e84d29982ec114","datavalue":{"value":{"amount":"+0.7486207485198975","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":"Q6629617$44C5A2B8-353F-4C2C-8F29-418A7FBC8378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843590cf0e6b68d91c674c78e32a65ac29a78463","datavalue":{"value":{"entity-type":"item","numeric-id":2247193,"id":"Q2247193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5295ff9343a46aefd0d752999f64abd661d45bb","datavalue":{"value":{"amount":"+0.7288491129875183","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":"Q6629617$DC1FDF60-1190-4660-B33A-47B8320F7DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e09fd0fd93499afd69c2124cc40f8c4ebec423","datavalue":{"value":{"entity-type":"item","numeric-id":1290945,"id":"Q1290945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef98f1bd60e1f37ce7641e7e4ed573bac4e3191b","datavalue":{"value":{"amount":"+0.7186664938926697","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":"Q6629617$653321E6-D06A-4451-A5D0-75BA9578B0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f55da088f0207e57853fd5c05a08d36f8862d2c","datavalue":{"value":{"entity-type":"item","numeric-id":2930979,"id":"Q2930979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b8ac62103fc66988f0e6c465f478ba4bef948d","datavalue":{"value":{"amount":"+0.7180277705192566","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":"Q6629617$D16D20C5-82E8-4C5B-BFEE-E8D493FDAB29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kerler-Lyubashenko functors on 4-dimensional 2-handlebodies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kerler-Lyubashenko_functors_on_4-dimensional_2-handlebodies"}}}}}