{"entities":{"Q511614":{"pageid":513381,"ns":120,"title":"Item:Q511614","lastrevid":62384400,"modified":"2026-04-11T05:43:13Z","type":"item","id":"Q511614","labels":{"en":{"language":"en","value":"Distinguishing geometries using finite quotients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687809"}},"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":"Q511614$32645C5E-574A-44FD-AD54-41A67CA9EE98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a28540c046687c431cdc86f0af9d0a3f365cd409","datavalue":{"value":{"text":"Distinguishing geometries using finite quotients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q511614$D2198610-1F15-4E95-98F7-37468C1561B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80619ec3b6f534680aff956d112848f3a69057b3","datavalue":{"value":"1361.57023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511614$9C590C5F-60EE-4EF8-BABC-8A55FD305E47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c1fc03f649d48c9ad4760ea3320e840259e6772","datavalue":{"value":{"entity-type":"item","numeric-id":243393,"id":"Q243393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511614$EB16248E-3721-451A-B38B-FF0F3A945069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1592fc06d2f095e5f931218a56ec933b6ffd72a3","datavalue":{"value":{"entity-type":"item","numeric-id":403152,"id":"Q403152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511614$2A6CA763-B383-4F48-8EBE-4FD49D7ABEE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f8eee6ee8695bbd9c06eea333500679f2ce6509","datavalue":{"value":{"entity-type":"item","numeric-id":258878,"id":"Q258878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511614$213EFE3D-6533-4BFA-929F-E9789F247FFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ccf44329f0b8ca1e42fd376b5ef1ba5e3da06d7","datavalue":{"value":{"time":"+2017-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q511614$7E1DDF1A-B157-4ED0-8E94-D2B7916923E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41670c3b152c1e4148231da699cb8917d534c6ae","datavalue":{"value":"https://arxiv.org/abs/1411.5212","type":"string"},"datatype":"url"},"type":"statement","id":"Q511614$9178EAC5-B13C-4BC3-9FC9-361E3E426FC3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a3e3f97cd8c2d54aa09a41399ecde3afdd4516ae","datavalue":{"value":"\\textit{D. Calegari} et al. asked whether the fundamental group of a 3-manifold is determined by its finite quotients or, equivalently, by its profinite completion [J. Am. Math. Soc. 23, No. 1, 107--188 (2010; Zbl 1201.57024)]. Subsequently, \\textit{L. Funar} showed that this is not true, in general, for Sol manifolds [Geom. Topol. 17, No. 4, 2289--2344 (2013; Zbl 1278.57020)], and \\textit{J. Hempel} has given counter-examples which are Seifert fiber spaces [``Some 3-manifold groups with the same finite quotients'', Preprint, \\url{arXiv:1409.3509}] (however, by a recent paper of \\textit{M. R. Bridson} et al. [Isr. J. Math. 214, No. 1, 1--41 (2016; Zbl 1361.20037)], the corresponding question has a positive answer for Fuchsian groups).  The present paper centers then around the question of how much information about a given 3-manifold is contained in the profinite completion of its fundamental group. The first two main results of the paper show that hyperbolicity and Seifert fibration of a 3-manifold are detected by the profinite completion: A closed, orientable, aspherical 3-manifold is hyperbolic if and only if the profinite completion of its fundamental group does not contain a subgroup isomorphic to the profinite completion of \\(\\mathbb Z^2\\), and \\(M\\) is Seifert fibered if and only if the profinite completion has a nontrivial procyclic normal subgroup. So these are profinite analogues of the now classical geometrization theorems for hyperbolic 3-manifolds and Seifert fiber spaces which, however, are essential ingredients of the proofs in the present paper, as well as ``the dramatic recent developments of Agol, Kahn-Markovic and Wise whose work implies that the fundamental groups of closed hyperbolic 3-manifolds are also fundamental groups of compact, virtually special cube complexes'' (leading in particular to a solution of the virtual Haken conjecture for 3-manifolds by Agol). More generally, it is shown in the present paper that the profinite completion of the fundamental group detects the geometry of a closed, orientable, irreducible 3-manifold. These results are consequences of several more general and more technical results for hyperbolic, virtually special groups and also for one-relator groups. In particular, ``we prove that the profinite completion of the fundamental group of a compact 3-manifold satisfies a Tits alternative: if a closed subgroup \\(H\\) does not contain a free pro-\\(p\\) subgroup for any \\(p\\), then \\(H\\) is virtually solvable of a very particular form.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q511614$108DF034-97A4-40A8-A3E2-331A50649CF1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2391610032135344bedf9f3d25ca239720b85d5f","datavalue":{"value":{"entity-type":"item","numeric-id":461395,"id":"Q461395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q511614$88C7863D-A65F-4256-85D9-B320B08C32CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c70959db83bb3351da86f0b2d926a9c118da288","datavalue":{"value":"57M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511614$C1E19FC1-3CD0-40B7-9ACB-5AEA9B8F2595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afe0dc0c0736bb69fa09cc63d89cf0239c70ef90","datavalue":{"value":"20E26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511614$651547A8-B4A1-49DD-A921-ADCE68390DB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa3519a3ae75246a862d2fb232be7ad32a9b2d25","datavalue":{"value":"6687809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511614$C6A2063A-612B-4465-B2BE-DBC03AE38F22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"063efe38c9d4ea002ccb84ffc1715423d34c7255","datavalue":{"value":"fundamental group of a 3-manifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q511614$864321CB-E621-43FF-A002-281A770902C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe0163c62ef40ffaceb67a76f282187124040bfd","datavalue":{"value":"finite quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q511614$B3FCD20D-DB2E-494C-8363-0057DD79E1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4f2b50199815748f444f1f08fe6916e9c807c","datavalue":{"value":"profinite completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q511614$6EEFC377-D6EF-4AA5-AD95-937214F9D1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b5c2b667f8e48332562b05e46692aa7f0c4d5f","datavalue":{"value":"hyperbolic and geometric 3-manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q511614$7978E79F-867E-4281-BADC-437AC4BA36AA","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":"Q511614$004D8398-689F-4C90-8539-CC9323B2A37F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1a208c42ac46368a100b0ab89f30b7ba6f750d2","datavalue":{"value":"W3104314356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511614$BFF0C7B9-B362-465F-BFBF-2E22F95DFD56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c36b7f04f3ad3acadc3aca369ec757c2b10a16c","datavalue":{"value":"10.2140/GT.2017.21.345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q511614$1EBC6B5A-625B-4019-8F1C-CF0B844D05F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d1ee4294c272039da4b60c3b70793e08ee51e6","datavalue":{"value":{"entity-type":"item","numeric-id":5212320,"id":"Q5212320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda72ffa26ddecee3143400d22289ec171382bff","datavalue":{"value":{"amount":"+0.8297796845436096","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":"Q511614$99922166-B474-4B08-ADFC-9D397FC743DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0e0af6619c468b2e4f37db2c5a0ebcfe1390fd","datavalue":{"value":{"entity-type":"item","numeric-id":882545,"id":"Q882545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43aed23a8be8a56af78723632daa133bc4e52907","datavalue":{"value":{"amount":"+0.8235637545585632","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":"Q511614$DD33A02B-68B4-434D-8B26-0973ECB17EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89a395845fd5f6d0841e21783269ff307f81a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5371017,"id":"Q5371017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12862ceae82e5fc67ac7893f09095c5039287142","datavalue":{"value":{"amount":"+0.8165066838264465","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":"Q511614$A00E5DEB-E896-4D46-BBC3-1017B1FAD46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c62f903a36ce58c5e8002c5525738a592012a224","datavalue":{"value":{"entity-type":"item","numeric-id":2689274,"id":"Q2689274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d69ddcb416cbc71bd34422e316a1c3ce20622f","datavalue":{"value":{"amount":"+0.8063454627990723","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":"Q511614$69FEEFD3-44A3-479B-A028-1D038FEFCE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22029a808f0e73ada1a0e72b457c32e97b569881","datavalue":{"value":{"entity-type":"item","numeric-id":527603,"id":"Q527603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b857b02b062c332d719d3c557597d8db231437ce","datavalue":{"value":{"amount":"+0.8057159185409546","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":"Q511614$A2E5C288-A3F0-47D7-9EEA-408B1860EEA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distinguishing geometries using finite quotients","badges":[]}}}}}