{"entities":{"Q2676978":{"pageid":2687721,"ns":120,"title":"Item:Q2676978","lastrevid":79088342,"modified":"2026-05-06T13:07:13Z","type":"item","id":"Q2676978","labels":{"en":{"language":"en","value":"Colimit theorems for coarse coherence with applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7594361"}},"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":"Q2676978$0492EB8A-BAC7-4319-9443-F85A552D6A25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d33f24cd22aec0fdb29181e470923891ccb462aa","datavalue":{"value":{"text":"Colimit theorems for coarse coherence with applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2676978$4C6278C4-6692-4535-9771-25FAC14604AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91ca868de6f79bb3d629e05856c363b2288340fe","datavalue":{"value":"1502.19001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676978$C685FC11-734D-463E-89B3-779B2DA9EB28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abc5838cc05d84628694cfd0c1bfea94bac26400","datavalue":{"value":{"entity-type":"item","numeric-id":387165,"id":"Q387165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676978$78DFE7DE-C3B6-4490-96E5-C5A010C88F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97f70a844dd1501c8423a3b7e541be12b83c17d6","datavalue":{"value":{"entity-type":"item","numeric-id":2676977,"id":"Q2676977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676978$4153057A-1CD5-4A0A-8432-3323A5A95D4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676978$B35344FD-BCBC-417A-BB35-8FA092F55463","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a9871aa2d6ddd4483b8fa4c253f1ab5dd189a12","datavalue":{"value":{"time":"+2022-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2676978$03BDD6F7-DA05-4D22-8E05-B6E7496DC802","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be05b83bd209360d69b8f488bb700f3c1a4ca9fc","datavalue":{"value":"https://arxiv.org/abs/2001.09731","type":"string"},"datatype":"url"},"type":"statement","id":"Q2676978$25F6058A-333C-4A33-9B0C-8081268BFF45","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da814fd64c9570d5cfdc1f7e487fe3d192c2725e","datavalue":{"value":"Let \\(X\\) be a proper metric space, \\(\\mathcal{P}(X)\\) be the set of subsets of \\(X\\), \\(F\\) be an \\(R\\) a module and \\(\\mathcal{I}(F)\\) the set of submodules of \\(F\\). An \\(X\\)-filtered \\(R\\)-module is functor \\(\\mathcal{P}(X)\\to \\mathcal{I}(F)\\), where the morphisms are inclusions respectively and such that the value of \\(X\\) is \\(F\\). Denote by \\(F(S)\\) as the value of the functor on \\(S\\subseteq X\\), the functor is reduced if \\(F(\\emptyset )=0\\). Let \\(F\\) be an \\(X\\)-filtered \\(R\\)-module -- \\(F\\) is called \\(D\\)-\\textit{lean} if there is a number \\(D\\geq 0\\) such that for every subset \\(S\\subseteq X\\) and \\(u\\in F(S)\\) there is a decomposition \\(u=\\sum_{x\\in S}u_{x}\\) with each \\(u_{x}\\in x[D]\\) and finitely many \\(u_{x}\\) and non-zero. \\(F\\) is called \\textit{scattered} if there is a number \\(D'\\geq 0\\) such that for each \\(u\\in F\\), \\(u=\\sum_{x\\in X}u_{x}\\) where \\(u_{x}\\in F(x[D])\\) and only finitely many \\(u_{x}\\) are non-zero. \\(F\\) is called \\(\\textit{insular}\\) if there is a number \\(d\\geq 0\\) such that any element \\(u\\in F(S)\\cap F(T)\\) implies that \\(u\\in F(S[d]\\cap T[d])\\). \\(F\\) is locally finitely generated if \\(F(S)\\) is finitely generated for all bounded sets \\(S\\subseteq X\\).   Given a real number \\(r\\geq 0\\) and a subset \\(S\\subset X\\) the set \\(S[r]\\) is the set \\(\\{ x\\in X| d(x,S)\\leq r\\}\\). Let \\(X\\) be a metric space and  \\[  0\\to E'\\xrightarrow{f} E\\xrightarrow{g} E''\\to 0  \\]  be an exact sequence of \\(X\\)-filtered \\(R\\)-modules with \\(f\\) and \\(g\\) bicontrolled maps. \\(X\\) is \\textit{coarsely coherent} if every time that \\(E\\) is lean and \\(E''\\) insular implies that \\(E'\\) is scattered for every exact sequence as above. \\(X\\) is \\textit{weakly coarsely coherent} if if every time that \\(E\\) is both lean and insular and and \\(E''\\) insular implies that \\(E'\\) is scattered for every exact sequence as above. Let \\(\\{X_{\\alpha}\\}\\)be a family of metric spaces. This is called \\textit{coarsely coherent} if for all exact sequences of \\(X_{\\alpha}\\)-filtered \\(R\\)-modules  \\[  0\\to E'_{\\alpha}\\xrightarrow{f_{\\alpha}} E_{\\alpha}\\xrightarrow{g_{\\alpha}} E_{\\alpha}''\\to 0.  \\]  We have that whenever all \\(E_{\\alpha}\\) are \\(D\\)-lean, all \\(E''_{\\alpha}\\) are \\(d\\)-insular and all \\(f_{\\alpha}\\) and \\(g_{\\alpha}\\) are bi-controlled, it follows that all \\(E'_{\\alpha}\\) are \\(\\partial\\)-scattered for some uniform constant \\(\\partial\\geq 0\\).  The main result in this paper is the following:   Theorem. Let \\(\\{X_{\\alpha}\\}\\) be a family of coarsely coherent metric spaces. Le \\(\\mathcal{D}\\) be a diagram of metric spaces where the nodes are members of \\(\\{X_{\\alpha}\\}\\) and all structure maps are isometric embeddings. Let \\(X\\) be the colimit of \\(\\mathcal{D}\\). Then (1) \\(X\\) is weakly coarsely coherent and (2) \\(X\\) is coarsely coherent if there exist distance-nonincreasing functions \\(\\tau_{\\alpha}:X\\to X_{\\alpha}\\) such that \\(d(x,\\tau_{\\alpha}(x))\\leq d(x,X_{\\alpha})+\\epsilon_{\\alpha}\\) for all \\(x\\in X\\) and some \\(\\epsilon_{\\alpha}\\geq 0\\).   As an application of this result, the authors prove that the wreath product, \\(\\mathbb{Z}\\wr\\mathbb{Z}\\), is coarsely coherent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2676978$25670E89-4B0D-453F-B807-D44744410DC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd707926678c23fd6f3990ca4c5c306963ed8e65","datavalue":{"value":"19D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676978$78452782-AB96-4EAA-9412-1F9D6ABDB1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e44886d86b7e4edd90303c512458ec5cc0ca9f79","datavalue":{"value":"20F69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676978$3DF32480-98B9-4670-8BED-194E49748D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb4095f38a7ace7253a56944e8eb55c977342876","datavalue":{"value":"16E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676978$68814339-00DF-493C-A201-553407198921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676978$66C6222C-7A84-4150-A357-FC8CB3BEFF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7a3e25442fa39e0f2e6a0eea6f1103310685fe6","datavalue":{"value":"18F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676978$3116996F-B0B5-44E0-9B73-5F784EB30D22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c38a0cfed6221ab835c4317274fe8dce1dd65836","datavalue":{"value":"7594361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676978$B82DA2AE-A0FF-4C11-8EBB-7138C0C8F1F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b1f3741fe91e2282d85f1067c38dd42ef4f497","datavalue":{"value":"coarse coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2676978$859D5C85-665B-4EE5-9EC9-C1DD04D2449B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"361e381028dca6c4d361667c1d42805b2860f702","datavalue":{"value":"colimit theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2676978$D3F5DC43-937A-4ED0-B100-423733DDD9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66aa323197c25e2e5106a45e94312af32a7ef7c9","datavalue":{"value":"coarse permanence properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2676978$2BB1FF18-7BBC-405B-B761-687BD9E70C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2933db34a381ff13f0327b675aaf2d71262db5d","datavalue":{"value":"Cartan map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2676978$54C7E6F3-5835-4CA5-950C-5E55F99CCAB1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"28a2fc1650d120faefb2584b76090d0e0589bd07","datavalue":{"value":{"entity-type":"item","numeric-id":203366,"id":"Q203366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676978$A0B85040-5CB5-4A87-BAE6-125929F99E99","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":"Q2676978$D4689285-EFB2-48B2-A704-D84B5DE29C92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c66d58b9d0e765d2653b677bba34f014a1ef13d1","datavalue":{"value":"W3001381856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676978$887B04AD-5546-4E10-B15A-2A1B1C893269","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"de3b4cd87d2017eceac146b6a2e1c505eec3da7c","datavalue":{"value":"Q114127816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676978$11005E0D-2D0B-4D75-8E69-FD189EEAEF45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5cc6438ee2f94cad3aac6742a71326c5195ff7c","datavalue":{"value":{"entity-type":"item","numeric-id":1886821,"id":"Q1886821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676978$65B01816-E3FC-423E-86AA-6A861DFA6EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45896f6f3a7bfca967c53e77394097b5f8c02898","datavalue":{"value":{"entity-type":"item","numeric-id":2814675,"id":"Q2814675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676978$6A6F0C65-4FF9-4238-A991-9BA9EB7D2378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a29e6110b13900497ef7191624c0e0eef86191","datavalue":{"value":{"entity-type":"item","numeric-id":2318360,"id":"Q2318360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676978$A6B6F557-11A4-44CF-830F-EE65F6CB78BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f1879f0eaac96dd3e9f5c4d29893734e68914a","datavalue":{"value":{"entity-type":"item","numeric-id":2229446,"id":"Q2229446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676978$4A8F38EA-2F7F-4759-B354-B68D985B23C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c885df09093754ea56af4671e486e8c9d06b21a4","datavalue":{"value":{"entity-type":"item","numeric-id":2498422,"id":"Q2498422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676978$44F75B2A-E9A8-49DD-9C43-2252FD684DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e467477d9ee36cb9ddffad44cc6bd9117c16b1","datavalue":{"value":{"entity-type":"item","numeric-id":4559267,"id":"Q4559267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2676978$A3D2FA96-9531-4DEC-AED7-3CE91CC25B55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa8598b3a5a2d113348617e9ffd3870dceff4d30","datavalue":{"value":"10.1016/J.TOPOL.2022.108240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2676978$DF505A3E-0926-46B9-B731-E922EF6BF3CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bcb870a9600ef50baa7eb4ba43504a5868d8ea","datavalue":{"value":{"entity-type":"item","numeric-id":4559267,"id":"Q4559267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3c93ef32064b7cbcded08aa4cf98ecb2609211","datavalue":{"value":{"amount":"+0.8177555799484253","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":"Q2676978$B8051279-3B02-4A8C-9CEA-C28365A06B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ece50044adf895c87315f3ef258795e365d5fc2","datavalue":{"value":{"entity-type":"item","numeric-id":2874865,"id":"Q2874865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590390a93de6a074e0a832074f3203fd67bfb3ab","datavalue":{"value":{"amount":"+0.756391167640686","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":"Q2676978$0621B858-8790-4584-876A-6A7C33AFDA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1531df8c83929f1fe137860f301aa5f250663b89","datavalue":{"value":{"entity-type":"item","numeric-id":2363285,"id":"Q2363285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe7ce971a0370a6346fbfe43714a938edbc5ca4","datavalue":{"value":{"amount":"+0.7459270358085632","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":"Q2676978$4A71D63B-A9E8-4B14-9217-1FA57081F032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1a97e9d045cfeceace0680890582e1f1526461","datavalue":{"value":{"entity-type":"item","numeric-id":5934072,"id":"Q5934072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d23b0c8d2e7ec62d54bca9b014e79ee41f5756","datavalue":{"value":{"amount":"+0.7394641041755676","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":"Q2676978$C3E08BCE-982C-4DF4-A8BF-9D8F6B50D436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04ec0f9765b74766bb49c7f3b7a6e650c99dc372","datavalue":{"value":{"entity-type":"item","numeric-id":5954275,"id":"Q5954275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3512da2ac76f24a3c18877ffd5d4d8f411e060e3","datavalue":{"value":{"amount":"+0.7367120981216431","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":"Q2676978$262A22C3-E986-41FB-B124-983C2C6FCCF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Colimit theorems for coarse coherence with applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Colimit_theorems_for_coarse_coherence_with_applications"}}}}}