{"entities":{"Q2225622":{"pageid":2236365,"ns":120,"title":"Item:Q2225622","lastrevid":57786765,"modified":"2026-04-02T12:56:55Z","type":"item","id":"Q2225622","labels":{"en":{"language":"en","value":"Niemeier lattices, smooth 4-manifolds and instantons"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307518"}},"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":"Q2225622$299E7F16-B4A0-42A4-A9F5-547622628FB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89c58979d6fc2afeed3cb4362f39bbf199370f6b","datavalue":{"value":{"text":"Niemeier lattices, smooth 4-manifolds and instantons","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225622$4C562C05-36C6-49CB-B5B5-D53CF4E792B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d21dd0de7ae80f890393e9542f82a2ba0212630f","datavalue":{"value":"1458.57035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225622$9C82904C-6A32-4DA8-B610-44F41BC2349B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556a3e44d49c931246f5dc028b272aa28e7b75a2","datavalue":{"value":{"entity-type":"item","numeric-id":1708584,"id":"Q1708584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$9FC2DA95-AF79-406F-8F5C-66A8CAF18442","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$2DFB8B50-B5C5-490E-A56C-3F526688317D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3972cc89c33d20406d53dd6cfa3d6bd85b48f15b","datavalue":{"value":{"time":"+2021-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225622$E732163D-7458-433C-B9D0-966D33036222","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"201b551e6b6f968545ccf720f7875f33e81fbfab","datavalue":{"value":"https://arxiv.org/abs/1808.10321","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225622$699FF871-2967-409F-94C0-00A99A04B3C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"52b58a2a1dd8b68758f5efd344e60aca32d60014","datavalue":{"value":"Let \\(X\\) be a smooth, compact, oriented 4-manifold with boundary an integral homology sphere \\(Y\\). Then \\(L_X=H_2(X,{\\mathbb Z})/Tor\\) is a unimodular lattice. A breaktrough result [\\textit{S. K. Donaldson}, J. Differ. Geom. 24, 275--341 (1986; Zbl 0635.57007)] says that if \\(Y\\) is empty, and \\(L_X\\) is positive definite, then \\(L_X=\\langle 1\\rangle^n\\). For an integral homology 3-sphere \\(Y\\), let \\(E_i(Y)\\) be the set of isomorphism classes of minimal definite unimodular lattices \\(L\\) of rank \\(i\\) such that there exists an \\(X\\) as above with boundary \\(Y\\) and \\(L_X=L \\oplus \\langle 1\\rangle^n\\). The rank of an even positive definite unimodular lattice is a multiple of 8. There is only one lattice of rank 8, two of rank 16, and 24 of rank 24. This paper focuses on lattices of rank 24, which are called Niemeier lattices.  The main result is that there are different \\(Y\\) such that \\(E_{24}(Y)\\) are non-empty and distinct sets. Therefore, the lattices that can arise for boundaries of smooth 4-manifolds can depend on finer information than just the ranks of the lattices.  The 3-manifolds which are taken are +1 Dehn surgery \\(Y=S_ 1^3(K)\\) on torus knots \\(K=T_{n,m} \\subset S^3\\). The main tool are the relations in the instanton cohomology ring of a genus \\(g\\) surface \\(\\Sigma\\) times a circle, computed in [\\textit{V. Mu\u00f1oz}, Topology 38, No. 3, 517--528 (1999; Zbl 0927.57032)], with mod 2, mod 4 and mod 8 coefficients.   For a lattice \\(L\\), one defines the 4-genus \\(g_4(L)\\) as the minimum \\(g\\geq 0\\) such that there exists a smooth, closed, oriented 4-manifold \\(W\\) with \\(b_2^-(W)=1\\) and \\(\\Sigma\\subset W\\) of genus \\(g\\) and \\(\\Sigma^2=-1\\), and \\(L_W=\\langle \\Sigma \\rangle \\oplus L \\oplus \\langle 1\\rangle^n\\). For a knot \\(K\\subset S^3\\), one has \\(g_4(K)\\geq g_4(L)\\) if \\(L\\in E_{24}(S_1^3(K))\\). The technical part of the paper consists in computing (or at least bounding) the numbers \\(g_4(L)\\) for many Niemeier lattices \\(L\\). The upper bounds come from geometric constructions of a suitable \\(W\\). The lower bounds come from the relations in the instanton cohomology ring of \\(\\Sigma\\times S^1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225622$E973A375-4A7B-400B-A250-2C4FAFBB004F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2befcbf703ee32fdd6498b1ad2a4a6832430e04f","datavalue":{"value":{"entity-type":"item","numeric-id":171113,"id":"Q171113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$2B3999FE-F056-421E-9091-53E9FF8C963A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7eedb157a54ee0f32a8db9e5273cf565d7980548","datavalue":{"value":"57R57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225622$278AD7FA-E7DA-4723-B124-2B5819631C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f3e2f3913a74d8c2c615a6a91c8e75fcad226c0","datavalue":{"value":"57K40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225622$FEF39904-7969-47BF-B87E-DA7348062E1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa3fa83d35a4867859b5a1eb48b32c00d1d117a4","datavalue":{"value":"7307518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225622$EFB685DC-B004-472F-9A5C-1023FEB4BF15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"037e83b5ee2e8658f284a1351ccbecbdad708959","datavalue":{"value":"integral homology sphere","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225622$F3246603-7D87-4271-957E-CB6225A071C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6426eda575114c34bd274cdbd744701ac38a353","datavalue":{"value":"4-manifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225622$D6C2CE1A-61AF-4005-A8F8-1AC0E2CBD506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905ee2a1c403f0269ee43a206efac6b8da4c8140","datavalue":{"value":"unimodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225622$CD82B85A-40CC-4E91-ADF5-8F883990B3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00c56856f449bfc2bfe6e1f2559cc80e609460de","datavalue":{"value":"instanton Floer homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225622$3802318F-F933-48CE-BABE-6BAEA5717569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4412254aa3d03e7151f188dca31bfdd841c5f755","datavalue":{"value":"Niemeier lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225622$BD5FA721-D636-45D5-81EE-4DCDD136EEB2","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":"Q2225622$CD2B10A3-0F80-4043-9933-42A9EF11FCD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26a8f71a9d3496913d2b20321753820d91ea6c27","datavalue":{"value":"W3091828707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225622$B69ACAC6-8CE9-4438-A1FF-369C30D6C0A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff16790e31384c92bb69b1bbaf2b7ca24378327","datavalue":{"value":{"entity-type":"item","numeric-id":1708580,"id":"Q1708580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$D1F26DDB-B5D6-41DF-A510-13F2CA903CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cddb41cbde307e0039b91663ed79111c92656af","datavalue":{"value":{"entity-type":"item","numeric-id":3990838,"id":"Q3990838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$BDC40023-71A8-4F4F-AC15-33D4FCE71FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f7c961880f85b343b68aee76728ffb96b3b355","datavalue":{"value":{"entity-type":"item","numeric-id":4219187,"id":"Q4219187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$1BFCB1F4-C809-4C47-A885-AE1A1D29B73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918924b933e1264fa3d2a6b3659b69ec435053cb","datavalue":{"value":{"entity-type":"item","numeric-id":1097545,"id":"Q1097545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$16C71545-127C-49CC-AD40-0925972A3B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ee73b6597c4fb814b04a3607cb13d08f683381","datavalue":{"value":{"entity-type":"item","numeric-id":1824909,"id":"Q1824909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$65247AD3-0937-4006-A721-148AAC80C01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff751375269fa816e699848ce851982675bcf9f","datavalue":{"value":{"entity-type":"item","numeric-id":1902225,"id":"Q1902225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$57FBB710-4363-45BF-B533-95A39D691DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1caee1a0c7523f2db5ae4038dbf1d052bd81d3","datavalue":{"value":{"entity-type":"item","numeric-id":1815215,"id":"Q1815215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$6CE08D90-AE13-4BCF-AE39-A4083A7C968F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653aa8211ad857f9d9bc1931f1725aca07d5654f","datavalue":{"value":{"entity-type":"item","numeric-id":1599627,"id":"Q1599627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$F01D6F86-40CF-4A73-9444-D9DA783538EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48395d0778fda3f316bb288b93bd2c4f1b83258c","datavalue":{"value":{"entity-type":"item","numeric-id":1426431,"id":"Q1426431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$D4B909D7-D9EE-4FFF-B1FD-BA9E46B1593A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4cb6841c531d45741887f0d6749f40d1af9d09","datavalue":{"value":{"entity-type":"item","numeric-id":616593,"id":"Q616593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$B9935F58-9D93-4971-B971-FAEFA8DEEDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab42aaf72615843eaa83cc7225f38ad1fea2d7c1","datavalue":{"value":{"entity-type":"item","numeric-id":1914839,"id":"Q1914839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$61331062-5841-4299-B1A6-70910B18329B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0613cae252c78a5c22aaad177def8c73c2a41c9d","datavalue":{"value":{"entity-type":"item","numeric-id":5243089,"id":"Q5243089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$DE2EC285-FA4D-4584-B9DD-1250D4E4F6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf7f73e4c856a0d643d2d53d427052b0e453de0","datavalue":{"value":{"entity-type":"item","numeric-id":4700561,"id":"Q4700561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$8753BCB4-41DA-4DF9-B793-86A9FA6942A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf25cd68f26f51491b9d14636cc7341a1af1d04","datavalue":{"value":{"entity-type":"item","numeric-id":1292697,"id":"Q1292697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$6B168AAA-24C3-42CD-B077-03874BB5A445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b91a8f7494e3c88f66d43c6d8c84c341f931c89","datavalue":{"value":{"entity-type":"item","numeric-id":3220682,"id":"Q3220682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$599E25FF-9E75-48D3-A027-52AE27324733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cafb76334fc61ea7658ffac58d0d059463610d","datavalue":{"value":{"entity-type":"item","numeric-id":1867212,"id":"Q1867212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$E589AA7B-9AC4-4C4F-9982-BA94346F2C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436a2d7f0e56051e3fa663e71d466185d526f245","datavalue":{"value":{"entity-type":"item","numeric-id":1426933,"id":"Q1426933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$631959FD-14BB-42B7-BC90-50EFB573FA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f9c500d3e4f4811099f0843ce2bed4da2b9444","datavalue":{"value":{"entity-type":"item","numeric-id":1882840,"id":"Q1882840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225622$8B60AACB-93C7-46B4-9589-8AFCC9A35970","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01cd2734ad3ea7d7684801310c2e1e47d389e3d6","datavalue":{"value":"10.1007/S00208-020-02060-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225622$DA2CBD75-6AFD-4FDA-ABB8-81124CA72BE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2ef0e5e2da63ace6b9b36ac38ac89c7f6fcd2a","datavalue":{"value":{"entity-type":"item","numeric-id":1097545,"id":"Q1097545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fce5b0ec1c65ef6e16be58373d2c8213d2f55f3","datavalue":{"value":{"amount":"+0.7432999014854431","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":"Q2225622$DADFB9E0-7E32-40F6-AFBE-E3F4CDAD69AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49905b408f48fcccedd30096c11e510aa57d2a4","datavalue":{"value":{"entity-type":"item","numeric-id":2866963,"id":"Q2866963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cafc3e3d00df023e630d08a4d41d12d8509e45","datavalue":{"value":{"amount":"+0.734990119934082","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":"Q2225622$890C09AE-E845-4749-9826-D922D8B5EFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37626a4830b65748ecee81ce22958d6450480c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2903086,"id":"Q2903086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83fcb9a7b14989366eb3fa14af19a06dee7e70bb","datavalue":{"value":{"amount":"+0.7342057228088379","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":"Q2225622$FE247BCF-0FD9-450C-8862-C9C54F6B396B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3615d6d93463232cb6626e730f1e80701601acd","datavalue":{"value":{"entity-type":"item","numeric-id":1705849,"id":"Q1705849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c89b12207cc39535c90075498bf8740cdea1280","datavalue":{"value":{"amount":"+0.7341218590736389","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":"Q2225622$BC4F4AB4-5B72-48C3-8F1D-C6BAAD45C9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce7e19b60d6c908cb3fd7ed17f96bcee53f2904","datavalue":{"value":{"entity-type":"item","numeric-id":3979764,"id":"Q3979764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54dc06a368dc34a22c66ae35b3467f798b34196","datavalue":{"value":{"amount":"+0.7296874523162842","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":"Q2225622$2A3958F6-8829-4586-B725-EBF32CD2A76A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2225622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2225622"}}}}}