{"entities":{"Q1031827":{"pageid":1033675,"ns":120,"title":"Item:Q1031827","lastrevid":69465954,"modified":"2026-04-13T07:11:34Z","type":"item","id":"Q1031827","labels":{"en":{"language":"en","value":"Compact domination for groups definable in linear o-minimal structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5620097"}},"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":"Q1031827$A9B19227-1192-43A8-B6A6-494F08A72271","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14b17cf735b2c10faa4762be0672195e1f47de51","datavalue":{"value":{"text":"Compact domination for groups definable in linear o-minimal structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1031827$9F4FCC5A-38B8-491D-B514-1EFA46198015","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c6ea767d888a97d0aeb52e4ac70b4daddd2005c","datavalue":{"value":"1181.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031827$FAA74D61-FDD1-489B-9185-A863EE8E0EE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7ae78417fefbe97bc81b24a39532103311144c6","datavalue":{"value":{"entity-type":"item","numeric-id":372622,"id":"Q372622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$8F5CF4FF-0DB9-4E30-A889-395B96E2AFAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$5D344E0A-FB6E-41E6-A2C3-0E8A9B012D9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d1036c74b68c1dd1600021badf709b3b4af93e7","datavalue":{"value":{"time":"+2009-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1031827$2CB7617C-F7E1-45D7-89F0-A2D528E25D07","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"beeb286f1d44a0628331016114e64360730541d1","datavalue":{"value":"Pillay's Conjecture says that every definably compact group \\(G\\) of dimension \\(n\\) in a saturated o-minimal expansion \\(M\\) of an ordered group has a smallest type-definable subgroup \\(G^{00}\\) of bounded index, and \\(G/G^{00}\\), when equipped with the logic topology, is a compact Lie group of dimension \\(n\\). This was shown to be true in several cases, most notably when \\(M\\) expands an ordered field.  Compact domination is a notion arising in this setting to formalize the intuition that the canonical homomorphism \\(\\pi\\) of \\(G\\) onto \\(G/G^{00}\\) behaves as a standard part map, making \\(G^{00}\\) an \\textsl{``infinitesimal''} subgroup. The Compact Domination Conjecture just says that \\(G\\) is compactly dominated by \\(G/G^{00}\\), meaning that, for every definable subset \\(X\\) of \\(G\\), for all points \\(y \\in G/G^{00}\\) outside a set of measure 0, \\(\\pi^{-1} (y)\\) is either contained in \\(X\\) or in its complement (one refers here to the the unique normalized Haar measure \\(m\\) on the compact Lie group \\(G/G^{00}\\)).  The paper under review proves this conjecture when \\(M\\) is a \\textsl{linear} o-minimal expansion of an ordered group (that is, for every definable function \\(f\\) from \\(A \\subseteq M^h\\) to \\(M\\), there is a partition of \\(A\\) into finitely many pieces \\(A_i\\) such that for each \\(i\\), if \\(x\\), \\(y\\), \\(x+t\\) and \\(y+t\\) are in the same \\(A_i\\), \\(f(x+t) - f(x) = f(y+t) - f(y)\\)).  The proof introduces a kind of standard part map \\(st_G\\) from \\(G\\) to the real \\(n\\)-torus \\((S^1)^n\\), \\(n = \\dim(G)\\), resembling \\(\\pi\\) in the following sense: \\(G^{00}\\) is the kernel of \\(st_G\\) and, for all \\(A \\subseteq (S^1)^n\\), \\(A\\) is closed if and only if its preimage in \\(G\\) via \\(st_G\\) is type-definable. The author shows that \\(st_G\\), and consequently \\(\\pi\\), satisfy the following criterion (sufficient to ensure the compact domination thesis): for every definable \\(X \\subseteq G\\) with \\(\\dim(X)<n\\), the measure \\(m\\) of the image of \\(X\\) is 0.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1031827$71D27F60-AD03-4DDC-8E47-BEF72375CDAE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b44ab2ab89d6b11aa6f7da0ef60936cfd52cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$A90CF5DC-2810-41E9-9946-706E59A0AEAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031827$72257BF1-9E93-4499-93AD-24B3FB61EFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031827$F415CE6F-5F85-4658-BE1F-B225A5487C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb85bde92e5091db0dc5d76aff82214a610617aa","datavalue":{"value":"22C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031827$F5BA716A-4EE5-495E-AC10-461E066BDEF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e13e330f59ca53b835fbd39e39fd29b087b617cf","datavalue":{"value":"5620097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031827$37BF2564-6F6D-473F-9313-17FE016108A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a87e2bd500ac3a15485d85fdb10dd1b3f08b11f","datavalue":{"value":"linear o-minimal structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1031827$DE1EF453-48F1-47CD-ACFF-E6724B8E5516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72e482c0a4ba2fdb4161521e64141d3206e951cf","datavalue":{"value":"compact domination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1031827$A8CEBB76-A802-4EB0-9A0C-CE8E60F76489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f833715b0177a2c938b5a2519ef276018cb7504a","datavalue":{"value":"Pillay Conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1031827$65314DB6-0457-45CF-B78A-E8B2E75DD4AC","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":"Q1031827$CEB6AD9F-BF9F-4BCF-AA02-5454A3C31F53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e04f72eaee57c372057b56fad657923383e55672","datavalue":{"value":"https://doi.org/10.1007/s00153-009-0139-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1031827$B948536F-C60E-4B2D-BDD8-4BE9D55E4544","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b87507170e223b73d06ed6b418ca5f31fea93368","datavalue":{"value":"W1980537483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031827$3EA4DE73-7BA5-4303-AE1C-B6470398CD55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af52ed87d7d820d8dc22cfd333e2cdfba4d8d36","datavalue":{"value":{"entity-type":"item","numeric-id":1840458,"id":"Q1840458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$25B2C1B7-1D26-4B81-B877-40C00B031520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6820fed07cb0f5ed15318d92d12da2beee97d0e7","datavalue":{"value":{"entity-type":"item","numeric-id":4676280,"id":"Q4676280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$7FFFBD1E-2F3C-4E3D-84E3-C308D66F6FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e5997fc4edb17a27f078e7e6c7274f433a0ee0a","datavalue":{"value":{"entity-type":"item","numeric-id":556829,"id":"Q556829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$55519618-EE06-45EE-A81C-B4241D559795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852238891c6d9a87258a849e2a7d4f7c25613201","datavalue":{"value":{"entity-type":"item","numeric-id":1031827,"id":"Q1031827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$1A58B7A8-710B-4094-92AF-78F3091F34E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432ee7686a40d4b161316d3fbc1fc58a5025b12d","datavalue":{"value":{"entity-type":"item","numeric-id":5444690,"id":"Q5444690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$293394F1-6868-4602-8423-257F7841D490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4213a72185d631a052271079a35ee4d15fe41a36","datavalue":{"value":{"entity-type":"item","numeric-id":5441374,"id":"Q5441374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$0F34B458-39E7-42EB-BDCE-8318F048177C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cdb41587cec70217ab38af9544cd601650039f","datavalue":{"value":{"entity-type":"item","numeric-id":550563,"id":"Q550563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$507429A8-BD67-41F5-B151-5414FC3482B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf60210fe9151a5e9faa5173d4b2c2617a8a581","datavalue":{"value":{"entity-type":"item","numeric-id":5822102,"id":"Q5822102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$32D88B29-4536-4C44-9140-99FB98AD68A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$53558E2A-D95E-4846-90FD-D9E7ACE8D9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae18dd25e2802b4babe673a9412a1c416a9cf72","datavalue":{"value":{"entity-type":"item","numeric-id":2732271,"id":"Q2732271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$D38DECCF-8B3E-494B-8486-C5C982AC787C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3835f13c863a15d6f26f3aa96b3ea3215239b49","datavalue":{"value":{"entity-type":"item","numeric-id":1261903,"id":"Q1261903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$F72E3CF6-585E-4F28-826C-D4EBF952D37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"433a2dd964f44ef35b60479637477e914c41bc48","datavalue":{"value":{"entity-type":"item","numeric-id":3630581,"id":"Q3630581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$C66D3837-CF0B-4E5F-8F40-9518CD3EE576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a196f8451e8cfa468851831a22bbf55cde459e98","datavalue":{"value":{"entity-type":"item","numeric-id":3414795,"id":"Q3414795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$93B09FC0-5DB2-488F-ABF6-02D41975F6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d816e1d873e54df46d8ef4a1dad656828501f27","datavalue":{"value":{"entity-type":"item","numeric-id":1964013,"id":"Q1964013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$59D01D08-334A-4DFF-8191-70E13DA0D486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eb5748ca0efa5ac2ff98e52d55758bb8ca5d9fc","datavalue":{"value":{"entity-type":"item","numeric-id":4354269,"id":"Q4354269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$6CB88854-53A2-4160-9A3E-462D9D7A82F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c2981f967c36f6507d17f3d8a17853dd16899a","datavalue":{"value":{"entity-type":"item","numeric-id":1113892,"id":"Q1113892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$FC518213-32F3-4FA0-AE0C-DE92E49F7D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf9d5b834a8641ee8246df10ed5e3be44009a58","datavalue":{"value":{"entity-type":"item","numeric-id":4658680,"id":"Q4658680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$768BB18C-B857-4F68-83D8-3A15E58A1C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1031827$E9040280-9B74-402F-9C8C-1ABEEB741F16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8245ef563ad7db6bd18bface8eed593df4f1625f","datavalue":{"value":"10.1007/S00153-009-0139-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1031827$340B7F38-3AA2-4D60-8097-F9A1E3EBE603","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3b549aa4414d453993f92f84fbe1965ac517b6","datavalue":{"value":{"entity-type":"item","numeric-id":1925770,"id":"Q1925770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d773273db3a6d438bd291a3aae3bb1aa4136531f","datavalue":{"value":{"amount":"+0.8754296898841858","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":"Q1031827$1EF58283-920C-4731-8D6B-5A5540E86AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3851d681bd924005558a07f08ff5401ad408d249","datavalue":{"value":{"entity-type":"item","numeric-id":5441374,"id":"Q5441374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a418c6d196708b49585b04707c0ec520d1e0eb67","datavalue":{"value":{"amount":"+0.8486340045928955","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":"Q1031827$255DB5F7-7470-46A2-AF6D-383519EFA6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48746152707a30a8e25aff7bf465ef70cb2db85a","datavalue":{"value":{"entity-type":"item","numeric-id":5190196,"id":"Q5190196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b557dbab1a11b815a188573ec3f7820a6762ef0","datavalue":{"value":{"amount":"+0.8373757004737854","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":"Q1031827$B3A92E74-07FB-4D7B-A4AA-A8B213452020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790f482dccf45ce53e7ff3dc4274143c971e1f94","datavalue":{"value":{"entity-type":"item","numeric-id":536010,"id":"Q536010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af6367f79c5eaf2e8a8bc8d741b40cb78029fd0","datavalue":{"value":{"amount":"+0.8359461426734924","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":"Q1031827$232E4B22-E213-4FAA-B991-A05423FFFA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9bac0d4e9cdfbc3287e117c90797f6e3a9bed6","datavalue":{"value":{"entity-type":"item","numeric-id":5891805,"id":"Q5891805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d2e04dc7799b0e6c7c99ad5a0e547bb97d8b04","datavalue":{"value":{"amount":"+0.8162553310394287","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":"Q1031827$E6E20ACD-DD0F-44B7-B5E9-59426912F1DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compact domination for groups definable in linear o-minimal structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compact_domination_for_groups_definable_in_linear_o-minimal_structures"}}}}}