{"entities":{"Q1382167":{"pageid":1392907,"ns":120,"title":"Item:Q1382167","lastrevid":67452039,"modified":"2026-04-12T17:58:40Z","type":"item","id":"Q1382167","labels":{"en":{"language":"en","value":"Proof of a conjecture of A. Haefliger"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1133062"}},"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":"Q1382167$D55922C0-9A00-4191-B769-074685048CE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4af5ce6826d258539b2b8138885a33ef4b7135d7","datavalue":{"value":{"text":"Proof of a conjecture of A. Haefliger","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1382167$A264C357-D79C-4166-839A-F77913E14C24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b31f6c98dcda0ab8db0c24476b20ea413714ccca","datavalue":{"value":"0897.22003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382167$9ED22D57-B677-4815-8A83-ED55AD4A1905","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c2b79af0d9d539dd4ba519108447eea32d45df5","datavalue":{"value":"10.1016/S0040-9383(97)00053-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382167$082CE177-C545-41CE-8AE1-F5E530F623E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68f468c44aee9489650eda81adf5e09eaa720a8c","datavalue":{"value":{"entity-type":"item","numeric-id":172615,"id":"Q172615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382167$F8AED8EE-FFA4-4F05-A97B-A0D81ED8A192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb034be82416267a668ede76bfbcf6b53991b92e","datavalue":{"value":{"time":"+1998-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1382167$3A557E63-800E-438A-8513-3972BE5C4E94","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"89347a24fc2fe1e6d3a075bc32a86761429f0786","datavalue":{"value":"An \u00e9tale groupoid is a topological groupoid whose source and target maps are local homeomorphisms. The main examples of these groupoids are the Haefliger groupoid \\(\\Gamma^{q}\\) and the holonomy groupoid of a foliation. Each \u00e9tale groupoid \\(G\\) defines an abelian category on \\(G\\)-sheaves. If \\(A\\) is an arbitrary \\(G\\)-sheaf, we can consider a natural sheaf cohomology \\(H^{*} (G,A)\\) with coefficients in \\(A\\) and also a sheaf \\(\\widetilde{A}\\) on a classifying space \\(BG\\) of \\(G\\). In this paper, the author clarifies the above concepts and proves the following result conjectured by Haefliger: There exists an isomorphism  \\[  H^{*} (G,A) \\cong H^{*} (BG,\\widetilde{A})  \\]  natural in \\(G\\) and \\(A\\). Finally, the factorial properties of \\(H^{*} (G,A)\\) are outlined in an appendix.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382167$30788EAA-3FCA-4FF1-B45F-9E962D4449E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c231f2a8391eee6faa2e6e3f3152e752850faa39","datavalue":{"value":"22A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382167$635971F5-F592-46FE-A81D-DBDEEFE1ACBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9141009d477428257f40007fd16ae2d4f9932f0a","datavalue":{"value":"22A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382167$7C6CC7B0-6412-4140-94DF-0AC3CA75CB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d4ee2aca74c4c0df9926d6f3cf4629e4beb1fa","datavalue":{"value":"20L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382167$CF2B7536-411D-4AC9-BC57-110BC2C58765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75f8793962c7b655af9614f408f8de970fcf1dde","datavalue":{"value":"55N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382167$7A2DB281-573F-4535-B6DA-030E7F280457","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"459248ad465002002724486635479eb06f94bd5e","datavalue":{"value":"1133062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382167$BEFFC01D-DE81-4C26-B5F6-AB6CBF04D183","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50a4b09dcc6183dc9c2734d14cae0623a5166ff3","datavalue":{"value":"topological groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382167$2001C06E-70F8-49EF-BD39-568043F1F4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b67ad67a6184d23a549d9c310f8611a4eb8215b7","datavalue":{"value":"groupoid of a foliation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382167$ACAF453F-18E3-47D2-991B-3CE4331A42CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23a21ebbe54f3a13ecdbf193645ca8c54839c721","datavalue":{"value":"sheaves on groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382167$B798E045-8C2E-492F-820A-D89D5BDA5100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c0dd5800b8635793364a50209f25191760b968","datavalue":{"value":"\u00e9tale groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382167$087728E5-9554-4843-968D-AB74237D17D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6543f3823310003a4e2de34c70c7a33b84478ddb","datavalue":{"value":"Haefliger groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382167$41A37621-C068-4BB3-80E5-1E722DB01E90","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b8371926eab34d25cecacf36b84ee58facbc22b5","datavalue":{"value":"Q123082105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382167$45ACB86F-604C-4D76-8ED9-DE9E3E28008D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382167$E4908DB0-E0FC-406E-AC56-B1E5AF0DC3A3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"87467899e032137826d75473645ed83f253ebd36","datavalue":{"value":{"entity-type":"item","numeric-id":351416,"id":"Q351416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382167$A626501E-5E38-41EB-9688-EA8833D51493","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":"Q1382167$57D81418-0196-4FC8-A607-F18CA76585AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d1fe638761077cd901b36b67740e627b9986f7","datavalue":{"value":{"entity-type":"item","numeric-id":3123627,"id":"Q3123627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72ae31cddf389e42cededb42cc4efe0dcf18733","datavalue":{"value":{"amount":"+0.7922161817550659","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":"Q1382167$85784A4C-D2C1-463B-B002-A9BF47C13DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce93e411df93d6666a3bf081b361a698c1ec7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3420339,"id":"Q3420339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286d9f963bbcd90fe0da3309b3d7d8f9d14b7436","datavalue":{"value":{"amount":"+0.7843286395072937","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":"Q1382167$59E2BD1B-737F-46AB-839F-3CCF6C0C879E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b227750ca4c7f9af7156cc0683b1bb66b69d99a1","datavalue":{"value":{"entity-type":"item","numeric-id":4953848,"id":"Q4953848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3acb7327c5b5c3a5965b8a956c2dbf62f9ae0e42","datavalue":{"value":{"amount":"+0.7797077298164368","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":"Q1382167$F471F84A-6F87-4964-8118-8F0FB465D2C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof of a conjecture of A. Haefliger","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_of_a_conjecture_of_A._Haefliger"}}}}}