{"entities":{"Q1854693":{"pageid":1865435,"ns":120,"title":"Item:Q1854693","lastrevid":69122835,"modified":"2026-04-13T04:55:52Z","type":"item","id":"Q1854693","labels":{"en":{"language":"en","value":"The tree lattice existence theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1854342"}},"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":"Q1854693$EFF3C53F-0D85-4764-BDA0-918DCC57A8B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fcae48ed0979081196b2ce502e00d82b922c575","datavalue":{"value":{"text":"The tree lattice existence theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854693$D60CF78D-BCF4-4EA6-9BAB-BDCAB3C3DB54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b49ddcf113baeac44ba1d7537b84b63da94e2a0","datavalue":{"value":"1025.20013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854693$06A698C3-16E7-4491-8FB8-B3BAE11B4376","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4a06af6e3917ab31dc002ebfd5ecc1afc870382","datavalue":{"value":"10.1016/S1631-073X(02)02474-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854693$DFB96085-5CCB-4BF4-9BC1-70A92629569C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fc5ebd3278979140419eda4b09b9a6c243848be","datavalue":{"value":{"entity-type":"item","numeric-id":224042,"id":"Q224042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854693$56DFA1BE-4AAE-4183-A3BC-2739CF696203","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a5c9e0c6a7a2a0cb7662cbf32d2a100f29f5641","datavalue":{"value":{"entity-type":"item","numeric-id":251665,"id":"Q251665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854693$DA50F8D2-DA9B-4EF0-B827-6ED12347C0C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bebf44e393fb98d0cabb5243024be86dd27313d2","datavalue":{"value":{"time":"+2003-11-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":"Q1854693$6D99E6D2-C973-4853-B1D1-2F9C6AD76F6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c71a469aab8cb65ca09fe55a25fff02b41f9cefc","datavalue":{"value":"Let \\(X\\) be a locally finite tree and \\(G=\\Aut(X)\\). Then \\(G\\) is a locally compact group. Let \\(\\mu\\) be a left invariant Haar measure on \\(G\\). A discrete subgroup \\(\\Gamma\\) of \\(G\\) is a \\(G\\)-lattice, if \\(\\mu(\\Gamma\\backslash G)\\) is finite. It is uniform if \\(\\Gamma\\backslash G\\) is compact, non-uniform otherwise.   In analogy with Lie groups, Bass and Lubotzky conjectured that \\(G=\\Aut(X)\\) contains lattices. In [\\textit{H. Bass} and \\textit{R. Kulkarni}, J. Am. Math. Soc. 3, No. 4, 843-902 (1990; Zbl 0734.05052)] it was shown that \\(G\\) contains a uniform lattice if and only if it is unimodular and \\(G\\backslash X\\) is finite. The paper under review presents theorems that prove this conjecture in full, i.e. it presents necessary and sufficient conditions for the existence of both uniform and non-uniform \\(G\\)-lattices. The proofs of these theorems appear in [(*) \\textit{H. Bass}, \\textit{L. Carbone} and \\textit{G. Rosenberg}, Appendix [BCR] in H. Bass and A. Lubotzky, Tree Lattices, Progr. Math. 176, Birkh\u00e4user, Boston (2001; Zbl 1053.20026); (**) \\textit{L. Carbone}, Mem. Am. Math. Soc. 724 (2001; Zbl 0983.05002); (***) \\textit{L. Carbone} [preprint]; (****) \\textit{L. Carbone} and \\textit{D. Clark}, Commun. Algebra 30, No. 4, 1853-1886 (2002; Zbl 1004.22005); (*****) \\textit{L. Carbone} and \\textit{G. Rosenberg}, Geom. Dedicata 98, 161-188 (2003; Zbl 1055.20021)].   The construction of the \\(G\\)-lattices above relies on the construction of \\(X\\)-lattices. A subgroup \\(\\Gamma\\subset G\\) is an \\(X\\)-lattice if \\(\\text{Vol}(\\Gamma\\backslash \\backslash X)\\) is finite. It is known [\\textit{H. Bass} and \\textit{A. Lubotzky}, Tree lattices (Progr. Math. 176, Birk\u00e4user, Boston) (2001; Zbl 1053.20026)] that \\(\\Gamma\\) is an \\(X\\)-lattice if and only if \\(\\Gamma\\) is a \\(G\\)-lattice and \\(\\mu(G\\backslash \\backslash X)<\\infty\\). Theorem 0.2 [(*)] of the paper under review states that \\(G\\) contains an \\(X\\)-lattice \\(\\Gamma\\) if and only if \\(G\\) is unimodular and \\(\\mu(G\\backslash \\backslash X)<\\infty\\). The theorems that allow one to construct non-uniform \\(G\\)-lattices given a non-uniform \\(X\\)-lattice are stated with references to [(****), (*****)] for proofs.   There are several other interesting results announced in this paper. Among them are the ``co-existence'' Theorem 0.8 [(**), (***)] that says that under some natural assumptions \\(G=\\Aut(X)\\) contains both uniform and non-uniform lattices and Theorem 0.10 [\\textit{L. Carbone} and \\textit{G. Rosenberg}, Math. Res. Lett. 8, No. 4, 469-477 (2001; Zbl 0998.22006) and (in preparation)] that strengthens the existence theorems for non-uniform \\(X\\)-lattices to include infinite towers of \\(X\\)-lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854693$555B9B7B-AF56-4194-9601-67CF29716858","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"78fb8937151fc9f267e971a13b1298ab95e3f932","datavalue":{"value":{"entity-type":"item","numeric-id":855509,"id":"Q855509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854693$3B412540-5F64-40E3-AA0C-D7B45F145029","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"513bb673382d4f095f636a36264a50a0e4d1769e","datavalue":{"value":"20E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854693$C308FB28-FE14-424B-A886-86876CE615B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b94b407701508e5bb46691743c4f6b27a112b94","datavalue":{"value":"22E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854693$9840575E-519F-484F-BC27-63854E100DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854693$3D8A5808-7C87-4F3F-B605-1370EC32F0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854693$21F9DAB3-953D-4D77-9F46-DA23FB65D67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854693$178A40E4-68CC-437F-AF09-E80D3A04C512","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"019a7cb659e0996edb16f5edde450041f3584521","datavalue":{"value":"1854342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854693$05D84437-671E-41DA-9146-5F85962BF241","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23142a6c79bdfa3874718d851b34b42cd67aa5f9","datavalue":{"value":"locally finite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854693$4020154A-0335-4ADE-BEB0-E232EAA9924F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7725ec1c0aaeac18d7023d6b876da7ef958f8df","datavalue":{"value":"locally compact groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854693$7D98D980-D112-4BE6-9405-9FBED6E87523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81673337911c9d4da6c2a07a4d437fa7594c9d51","datavalue":{"value":"left invariant Haar measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854693$4B35E7FD-4978-4226-A497-4EE6CFBCE0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971de604c50c7375c782357a4e7ae6172fae8875","datavalue":{"value":"discrete subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854693$050B1E22-9BB5-4A17-AD09-8647100A5FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a6469559583fc59bd625434aa5d9b0dc35201e","datavalue":{"value":"lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854693$2FCBF82A-CAD4-4A94-8708-884DC8A5A2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be6fd5d593016718133cdfe271be61d4b534053d","datavalue":{"value":"uniform lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854693$5C342A46-984D-4552-80B9-AF1D1D8985EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f26f46664e3b79d608eec456f41ba325227759","datavalue":{"value":"non-uniform \\(G\\)-lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854693$03F3008A-9DEA-4CA6-BC47-11C300599209","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":"Q1854693$E8F7A375-3F15-4351-B142-8A0EDB66C498","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc2e6137f046378b88eb13032c63629514628c2","datavalue":{"value":{"entity-type":"item","numeric-id":687568,"id":"Q687568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854693$3450FBF5-9CBC-45BB-A307-4865037DE7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068ec1a098fd033593a7e390271c3328cf9c1e38","datavalue":{"value":{"entity-type":"item","numeric-id":3360898,"id":"Q3360898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854693$4E42630E-DA63-4D39-8AA3-75A6CFFFF3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faec6b4260df2bf97f44c16798c152340d549105","datavalue":{"value":{"entity-type":"item","numeric-id":2734767,"id":"Q2734767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854693$79570B05-4E8B-4188-890E-EB5541A4A437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd478aa31140ee219862a10e0248605dd9d5f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":4532459,"id":"Q4532459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854693$71C84B79-8248-4FC9-9346-2B6DEEFC7116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecf5804fbd8da7721737d8fe0e3f9d9924d98db","datavalue":{"value":{"entity-type":"item","numeric-id":1397920,"id":"Q1397920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854693$70D3AD90-4DEF-4B9B-9D68-13B36A5C6BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a7f14745afe518e9db4aa258ed66b2351bd67d","datavalue":{"value":{"entity-type":"item","numeric-id":5953002,"id":"Q5953002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854693$3EE6A486-3DC8-4649-9E34-F0A44F9D2AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eace8ba14ed8920e2358b5d49a5ac86802b3bd2","datavalue":{"value":{"entity-type":"item","numeric-id":1190140,"id":"Q1190140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854693$805BFFCF-00C2-4ED3-8ED9-15595872896F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a90e3300d3af6b39a22785e06744fa900fbced","datavalue":{"value":{"entity-type":"item","numeric-id":4867087,"id":"Q4867087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854693$16908FE2-E4C3-4D32-AEAE-645551DB11CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d646c7ebcec41e467750ecb827006ff7744eae5f","datavalue":{"value":{"entity-type":"item","numeric-id":3341041,"id":"Q3341041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854693$9B925B94-09B6-4DA6-90E9-ACCC07431831","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca53a77e6dc46808844a141cfefbeb656dafbff","datavalue":{"value":{"entity-type":"item","numeric-id":1397920,"id":"Q1397920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9aae7c7d6136efcc1cd04617aaabf9ab6563726","datavalue":{"value":{"amount":"+0.9270386099815368","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":"Q1854693$B93E0470-A4D5-4308-93A5-2FA4C87B93F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edd0850496c965101633d3948e06142796c7e5a","datavalue":{"value":{"entity-type":"item","numeric-id":1591663,"id":"Q1591663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e610269aaa95c4f1f1d40d2ee3d658e3a3f41b42","datavalue":{"value":{"amount":"+0.8884322643280029","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":"Q1854693$B492DE13-C60F-4B8F-87BE-675EFCF1475A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258501c5828fd2cc9eec650958eb51a51d52e6b8","datavalue":{"value":{"entity-type":"item","numeric-id":3158799,"id":"Q3158799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b892195777abf01e69048170bf831bb9443b71d","datavalue":{"value":{"amount":"+0.8818583488464355","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":"Q1854693$4C78C12E-AB47-42A7-9451-DAC9640E942A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f6870b26c81ce3563bd59093fd87b889eabb1a","datavalue":{"value":{"entity-type":"item","numeric-id":2734767,"id":"Q2734767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c7e0e6252003c8167b8ebc41470a4e449ccf0e","datavalue":{"value":{"amount":"+0.8634414672851562","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":"Q1854693$EA70D7CF-9C93-4368-AC22-8C6D46F0D6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88163de4633a9f4c300f138302f778a1029b59f","datavalue":{"value":{"entity-type":"item","numeric-id":4495678,"id":"Q4495678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb5478522c4f9e91e543df48f6e0489066d10ca","datavalue":{"value":{"amount":"+0.8631799817085266","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":"Q1854693$0C6E5C54-C6FD-4E9A-B41C-81186CA03BA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The tree lattice existence theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_tree_lattice_existence_theorems"}}}}}