{"entities":{"Q7230916":{"pageid":24487049,"ns":120,"title":"Item:Q7230916","lastrevid":84474467,"modified":"2026-05-18T15:04:20Z","type":"item","id":"Q7230916","labels":{"en":{"language":"en","value":"Universality of the divergence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8188391"}},"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":"Q7230916$0FE0A95A-A4F8-4647-8D4D-4EB329E92694","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78f471e9e148f354d7d30436cc005afcff772e5b","datavalue":{"value":{"text":"Universality of the divergence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7230916$0EF52B92-1908-4C8A-B329-43528A753A86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea2a6479802c43ad5328e9bac7d395dc600ef266","datavalue":{"value":"10.1090/PROC/17606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7230916$9F908EC4-67B3-4241-BA68-0769E11D101B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95f5327a1dc30488807ca5211deec2de56e2fe94","datavalue":{"value":{"entity-type":"item","numeric-id":345292,"id":"Q345292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7230916$EC5BAB2C-BF9A-44A1-9038-0BFC746275C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"356473283a06464022ab7b33c11640ab8f090606","datavalue":{"value":{"entity-type":"item","numeric-id":1981905,"id":"Q1981905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7230916$797730BE-24C0-4F42-BB0D-FEC5E55C3069","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7230916$6BBAE972-BE32-4ADD-921D-9EEAAF3C0D86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89cf8fc0ef5b9de16e7ff037b9be951c87441260","datavalue":{"value":{"time":"+2026-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7230916$40B15502-DE85-4129-9F0B-1EF6CFE07E0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5cda20d61fab116209dc3e96993d11409eee206d","datavalue":{"value":"Algebraists asked whether or not an operator on the module of smooth sections of the tangent bundle over the commutative ring of smooth functions of a smooth (orientable) manifold (can be any piece of a compact or a complete manifold) \\(M\\) can be characterized by two axioms, which are as follows: a linear operator \\(D:\\mathfrak{X}(M) \\rightarrow \\mathcal{A}(M)\\) from smooth sections \\(\\mathfrak{X}(M)\\) of the tangent bundle \\(TM\\) to the ring of all smooth sections \\(\\mathcal{A}(M)\\) is a divergence operator if \\(D\\) is a 1-cocycle in the sense that \\(D[X_1, X_2] = [D(X_1),X_2]+ [X_1, D(X_2)]\\) for any vector fields \\(X_1, X_2\\in \\mathfrak{X}(M)\\) and \\(D(f\\cdot X) = f D(X) + X(f)\\) for any \\(f\\in \\mathcal{A}(M)\\) and \\(X\\in \\mathfrak{X}(M)\\).\\N\\NRecall that for a Riemannian manifold \\((M,g)\\), the divergence operator \\(\\text{div}\\) on a vector field \\(X\\) is defined by taking the trace of the linear map \\(Y\\mapsto \\nabla_Y X\\), where \\(\\nabla\\) is the Levi-Civita connection. If \\(G=\\det(g_{ij})\\) with respect to a local coordinate chart, and \\(X = \\sum_{i=1}^n X^i \\frac{\\partial}{\\partial x^i}\\), then \\(\\text{div}(X) = \\sum \\frac{1}{\\sqrt{G}}\\frac{\\partial}{\\partial x^i}(\\sqrt{G}X^i)\\). For a volume form \\(\\Omega\\), the divergence is defined as \\(L_X\\Omega =\\text{div}_{\\Omega}(X)\\Omega\\).\\N\\NIn this note, L. Ni and Y. Zhang confirm this for any simply connected (or more generally, smooth) manifold M under the assumption that \\(H^1(M,\\mathbb{R}) = {0}\\). That is, if \\(M\\) is an orientable manifold with a vanishing \\(H^1(M,\\mathbb{R})\\), then a linear operator \\(D\\) satisfies the two axioms above if and only if \\(D\\) is the divergence operator \\(\\text{div}_{\\Omega}\\) with respect to some volume form \\(\\Omega\\) on \\(M\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7230916$9BD7E58A-C11D-4B84-A06E-27C6D5677DB1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1d35c0908a0dc39eac0934e514149bde30724a59","datavalue":{"value":{"entity-type":"item","numeric-id":785940,"id":"Q785940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7230916$0AD451BB-73F8-458A-9052-D8EC73D75E9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02a70c2b9d4ab18d59da2cbcac8e523c81f944b2","datavalue":{"value":"53C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7230916$585AC051-0D51-49FB-BEAE-C17E95711C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62e7e7f6894ea61b707a021078ac66c1040a61f5","datavalue":{"value":"17B66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7230916$D856A42E-CFC7-4406-B0B6-E715A609EAC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e4abdda8650eeff5a7251263ed5de2c1abd33bd","datavalue":{"value":"8188391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7230916$1210BA4E-E053-4E6C-BCA3-768D8D6B0D55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4fed7eb1f5104b1afb99d956377e690f990be86","datavalue":{"value":"divergence operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q7230916$4DFA9E0C-0EFC-4F96-82E3-E45033824945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce83b1053073b7f40b03d648c2f3334bcbff5cc","datavalue":{"value":"universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q7230916$105D0FD7-286C-4C8E-9E5B-75CE9340EFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bac43854160f2d704a27b6cd250ebc47fa50c8","datavalue":{"value":"smooth sections","type":"string"},"datatype":"string"},"type":"statement","id":"Q7230916$8038420B-AF07-4371-82FE-8A5D280ACC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"804c68060eb2b018f933d12b825875789c4fadbe","datavalue":{"value":"tangent bundle","type":"string"},"datatype":"string"},"type":"statement","id":"Q7230916$8B0D1069-805E-48B7-9A28-4593CD5A342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"517411c1e9584daeeee435f0a0a8c02c1568538e","datavalue":{"value":"manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q7230916$B7538500-08FD-45B5-8808-58DF319212B5","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":"Q7230916$419A7179-05B4-45FC-9C5A-AD234E91BE83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff37e068f52f5aa018651184904370a1640b268","datavalue":{"value":{"entity-type":"item","numeric-id":4786241,"id":"Q4786241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7230916$327D8E56-A375-4F8F-A4A5-36ED68D0EA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8bae73a2127d61843031096fd848f49e3d3506","datavalue":{"value":{"entity-type":"item","numeric-id":4002484,"id":"Q4002484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7230916$5241A929-E4FB-4DCF-ADB5-92C0BDF7AF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1660b0e45f75952eaff2d0be2d311057ed888382","datavalue":{"value":{"entity-type":"item","numeric-id":3999616,"id":"Q3999616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7230916$750E3F8B-C81E-4CF0-B711-04F9A745CB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc50ec41b1037abbe188512dead690918a3e043","datavalue":{"value":{"entity-type":"item","numeric-id":5622882,"id":"Q5622882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7230916$25447385-F1DC-4CF3-B82B-A62A1945F0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a4f110255882dcc7131760a99b529e6552c721","datavalue":{"value":{"entity-type":"item","numeric-id":5641804,"id":"Q5641804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7230916$A8EFB18B-1D40-4F7C-ABEE-EF13C6CC4C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7245ab3d882992a985fe35a15a55a9a446b480","datavalue":{"value":{"entity-type":"item","numeric-id":3011046,"id":"Q3011046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7230916$A3551BCF-89E5-4A55-B831-E7E78CB10508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017814fcea07b1d753bb79934ce8ecb19a96a8b5","datavalue":{"value":{"entity-type":"item","numeric-id":4888132,"id":"Q4888132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7230916$56D4A41D-C958-4648-A724-58C721AC36E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universality of the divergence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universality_of_the_divergence"}}}}}