{"entities":{"Q887027":{"pageid":888875,"ns":120,"title":"Item:Q887027","lastrevid":79821131,"modified":"2026-05-06T14:47:04Z","type":"item","id":"Q887027","labels":{"en":{"language":"en","value":"Positive topological quantum field theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6499283"}},"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":"Q887027$88486818-0156-4A19-82FE-2886D6C34DBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63ca6daf3a632a70fac35005a07b15f6bf7fa545","datavalue":{"value":{"text":"Positive topological quantum field theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q887027$67AD4590-6C9A-4CEB-83BE-4B79F784A1BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"462da04aef38a0963ce597ca79722efed513e384","datavalue":{"value":"1346.57027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887027$5F7A090F-2321-44F4-828D-F4BADE01F8C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58e1d7ed7c5b3c29dfc26aad1164644d99d73bcf","datavalue":{"value":"10.4171/QT/71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887027$EAC2B9C8-49F7-4DE2-AB4A-4E97FD3DE39E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2054059eb48d0863d6d8d46daae16fc97044a5ba","datavalue":{"value":{"entity-type":"item","numeric-id":333243,"id":"Q333243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887027$C7DDD373-F863-4447-88D1-47FEE6B29FBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0d6c3e669dd836bf8afb5e1fffb8980aad9f0607","datavalue":{"value":{"entity-type":"item","numeric-id":259623,"id":"Q259623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887027$1158EC9B-52C9-4B3F-88FB-A27426C80A2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c7e608d0bb85e41554d5122b6bd0bdc88b90e0c","datavalue":{"value":{"time":"+2015-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q887027$9E109310-E07F-4F47-8E85-21B38BD2EA79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5db07f578b6e8272fa126dced50e32047aef43f","datavalue":{"value":"https://arxiv.org/abs/1303.4276","type":"string"},"datatype":"url"},"type":"statement","id":"Q887027$E824EE8D-CBE2-4599-A16F-BDD03B78EF8D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e58556b42700a8605318ed53e83ecf8ef9d41cb8","datavalue":{"value":"A great mathematical obstacle in quantum field theory is to make precise sense of state sums (or path integrals), which calculate expected values of observables on an infinite-dimensional space of fields. This can be done successfully in quantum mechanics, where the space of fields is a space of paths and the relevant measure for integration is the Wiener measure; however, higher dimensional analogues of the Wiener measure have proven hard to construct.  The paper under review explores a purely algebraic remedy to this problem, namely allowing state sums to take values in a complete semiring. A \\textit{complete} semiring is a semiring endowed with a summation law (indexed by sets of arbitrary cardinality) compatible, in the expected way, with the semiring operations. One example is the set \\(\\mathbb R_+^\\infty = [0, +\\infty) \\cup \\{ \\infty \\}\\) with the usual algebraic operations and summation law. A second example is the tropical semiring structure on the set \\(\\mathbb R^\\infty_+\\), where summation is given by the infimum and the product is given by addition of real numbers. By the so-called ``Eilenberg swindle'', one sees that the presence of a summation law precludes the existence of additive inverses, hence the need to only allow semirings.  One important example of such kind of algebraic structure is the convolution monoid \\(Q = Q_S(\\mathbf C)\\) of a strict monoidal category \\(\\mathbf C\\); it admits a summation law if so does the coefficient semiring \\(S\\), and there are two products on \\(Q_S(\\mathbf C)\\) making it into a complete semiring: one is determined by composition of morphisms in \\(\\mathbf C\\), and the other by the tensor product. These are denoted \\(Q^c\\) and \\(Q^m\\) respectively.  Following the ideas of Atiyah and others, the author defines a positive topological field theory (positive TFT) to be an assignment of a \\textit{state module} \\(Z(M)\\) to each closed \\(n\\)-manifold \\(M\\) and a \\textit{state sum} \\(Z_W \\in Z(\\partial W)\\) to each \\((n+1)\\)-dimensional bordism \\(W\\). \\(Z(M)\\) is required to be a semialgebra over both \\(Q^c\\) and \\(Q^m\\), and these two different algebraic structures play a role in the axioms imposed on \\(Z(M)\\) and \\(Z(W)\\) concerning gluing of bordisms and disjoint union of bordisms, respectively. Then, a quantization procedure is given: starting from a system of fields and a system of action functionals taking values in \\(\\mathbf C\\), a positive TFT is constructed. The (often nonrigourous) integrals needed to calculate state sums are replaced by summations in \\(Q_S(\\mathbf C)\\).  The remainder of the paper mostly deals with examples and applications. This includes the sketch of a field theory that detects exotic structures on spheres. The definitions and constructions in this paper are very general and allow many variations and refinements (in particular, a positive TFT is not defined as a monoidal functor), which explains in part its considerable length.","type":"string"},"datatype":"string"},"type":"statement","id":"Q887027$83F503D6-DD91-4C5B-AF2A-0AC69FE8923E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"995568639c731363b482190a251837e0156b12e1","datavalue":{"value":{"entity-type":"item","numeric-id":589564,"id":"Q589564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887027$D0BAB951-AFDC-4823-8181-3F076758CD43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2777cb6b2f1e2b95b27663ecab48b5ce6a7f7639","datavalue":{"value":"57R56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887027$B825C8F2-96D2-4567-BF82-7483CC6988B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"662f421fffd6d9dd0e38c8bbdb2bd825731c9b04","datavalue":{"value":"81T45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887027$52682F69-BE35-411A-9222-1F1990A892C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887027$F4D232C9-47FE-45BE-874A-7D18CC0A2375","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b116438ed6325d88c2ce70cd5b6afc0792c495c","datavalue":{"value":"6499283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887027$173F1E55-9344-4DF8-A44C-8A71CEB87A6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4497d26d56f826033782576974ed8458ac4f22","datavalue":{"value":"topological quantum field theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q887027$C332092B-8761-461F-A295-9F5E50271FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3de8389ea1ac9e75e1504e76c776e2b99513d96a","datavalue":{"value":"positive TFT","type":"string"},"datatype":"string"},"type":"statement","id":"Q887027$747613C4-300B-495A-9308-A8C198C617B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76b2b905f803441c0be439c47d52afc7d748873e","datavalue":{"value":"quantization","type":"string"},"datatype":"string"},"type":"statement","id":"Q887027$3732F392-CAA9-428A-A993-69F53AFACB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a59cb53df46dbb6772aa3beef905e11fa9324d2c","datavalue":{"value":"complete semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q887027$C7F20ECF-9BEC-4C10-BEE9-99B8E19FB9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab81daa71f21b1b002da4cfaae55134af5647837","datavalue":{"value":"function semialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q887027$47872A8D-C034-4059-80D8-E31C4B146D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eb25e144ad6eea95f20c19dbf2d44c8333be01b","datavalue":{"value":"topological manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q887027$BD8DA4E3-F0A6-49D1-84E3-8CAB34601EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3aa89a20fd5fe758eed179fa396e16683c00d72","datavalue":{"value":"smooth manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q887027$CD304514-84D7-46B7-9DF1-35952D9ED0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b81767bdd38ef469d10f555745d995c96ba7d2","datavalue":{"value":"exotic spheres","type":"string"},"datatype":"string"},"type":"statement","id":"Q887027$BB865AFE-A718-4179-9F76-6F0FC41CE13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcd455afe0cbc14e12909ab48445c4e5f703264a","datavalue":{"value":"singularities of smooth maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q887027$E277C30F-3C02-4C80-B04D-BAA19A551F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c06f8ff20587994b58536c14e64cbeed40e0ea","datavalue":{"value":"fold maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q887027$63E22BDC-0E6F-4DC9-AC0B-620D7FA272C0","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":"Q887027$E307A2A5-52D6-47DC-998D-586BBD1B59A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4850db8f90d2b22435f09bc9e2d3f3442177587f","datavalue":{"value":{"entity-type":"item","numeric-id":2529370,"id":"Q2529370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887027$C99A6E32-F6AA-4F02-8A22-1F1FF81A3625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54fc1ed05a88a9a501cb65798ef5f90355c7e24d","datavalue":{"value":{"entity-type":"item","numeric-id":583637,"id":"Q583637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887027$B6F594AD-E63F-44C8-A13A-5F86803A9657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da6a56ab17a5e4bd4126a338f5e20b293193711","datavalue":{"value":{"entity-type":"item","numeric-id":387619,"id":"Q387619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887027$A0E65735-6023-4407-8C1C-E1A039CB9830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44982935af70045b25c651fb98ba95a3afadc4b","datavalue":{"value":{"entity-type":"item","numeric-id":4871931,"id":"Q4871931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887027$382F4B59-9147-4E46-B1B8-FE26816B08A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c497ff643b9668b5a4d3b768d0d0b4b9321a1189","datavalue":{"value":{"entity-type":"item","numeric-id":2645923,"id":"Q2645923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q887027$CE02F724-DA25-44BC-95F2-A3578569FAD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78ea9e1ef548326ef75b8c75eb3c1693f89ad777","datavalue":{"value":"W2964068483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q887027$A0A76EAC-7119-47F0-AF31-985F1027E3BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706576568dda7e7ab16306d62561b8e5b61ec67a","datavalue":{"value":{"entity-type":"item","numeric-id":3524108,"id":"Q3524108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabd6e7c138788fd229ea9e2f17eb8cbcdd8af52","datavalue":{"value":{"amount":"+0.784992516040802","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":"Q887027$BAEF31EB-8FAC-4EB5-BD1C-1B8DD3DB299B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"560c3e6cc87bbfa456aee46b8ac7c76e38ae5ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4867167,"id":"Q4867167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be48f5f65aec18542e90dd6529796e47ee8fc76","datavalue":{"value":{"amount":"+0.7629249095916748","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":"Q887027$B8B4D76B-BBA0-4628-8724-4EC7C6A64F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421aa3c8e07f0b399619c0ac7a8c385cc355d487","datavalue":{"value":{"entity-type":"item","numeric-id":4321796,"id":"Q4321796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2f274499456cd486d9378a3169b2cb53dd88f2","datavalue":{"value":{"amount":"+0.7622329592704773","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":"Q887027$62874C35-6FC7-48B7-8550-AD8A13C92A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b664ff46ef01b8371882c64b48a8225781d6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5948005,"id":"Q5948005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608aa8bbe2961e7dc3db4f480eb8ec0b88d4ed09","datavalue":{"value":{"amount":"+0.7572365999221802","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":"Q887027$1FC80093-5361-4041-BF2F-3DFC9C8F2BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24aed7286d1c2e9d79b2a15f7eebfb848024c40e","datavalue":{"value":{"entity-type":"item","numeric-id":4859000,"id":"Q4859000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608aa8bbe2961e7dc3db4f480eb8ec0b88d4ed09","datavalue":{"value":{"amount":"+0.7572365999221802","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":"Q887027$A22EF331-1868-4B75-B756-EE29D87CE863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Positive topological quantum field theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Positive_topological_quantum_field_theories"}}}}}