{"entities":{"Q2087378":{"pageid":2098120,"ns":120,"title":"Item:Q2087378","lastrevid":78182969,"modified":"2026-05-06T10:59:00Z","type":"item","id":"Q2087378","labels":{"en":{"language":"en","value":"Proper base change for \u00e9tale sheaves of spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7608240"}},"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":"Q2087378$D915DD30-FF85-4444-91A9-D33C63AC5C02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fcc1e2ad7218469e52437ff63a9fa30fc763260","datavalue":{"value":{"text":"Proper base change for \u00e9tale sheaves of spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2087378$8F1B594E-2A3D-4D5A-8DAF-5A2F0CA98416","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa5b2e6876b1d50896405d8f0a8e2664683066ec","datavalue":{"value":"1506.14008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087378$95C57740-E687-4FBA-B4F3-55F47C6E65E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19708b0c07cdf5282fc5c16974d34c0407ca7fd7","datavalue":{"value":"10.4171/JEMS/1263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087378$EF14A336-4BB7-4B7A-A653-549776F7870E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c1434b2fd3b147143bdc8970cb4c325c4184660","datavalue":{"value":{"entity-type":"item","numeric-id":2087377,"id":"Q2087377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$DF28CDF7-A9F6-47A9-B3A1-98EEB3CFA3DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$2335DABB-24E2-42B4-832B-4CB00FD65188","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98f4f5bf88e7cf6cb5883450d0b7f2980cf26dac","datavalue":{"value":{"time":"+2022-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2087378$86AAF16E-49C0-4C6B-A9D9-9659F772BA39","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e68dc4fc1f680a46e4f47de95f94f62460ec81ff","datavalue":{"value":"The main result of this paper is the nonabelian generalization of proper base change theorem in \u00e9tale cohomology, which works for \u00e9tale sheaves valued in spaces that satisfy certain finiteness condition named truncated coherent \u00e9tale sheaves. There are various application of this theorem, including a proof that profinite \u00e9tale homotopy type commutes with finite product and symmetric power of proper algebraic spaces.  The contents in more detail:  In Section 1 the author states the main theorem and applications as well as the strategy of the proof.  In Section 2 the author gives a review of shapes and profinite completions in the infinity categorical context. Given an \\(\\infty\\)-topos \\(\\mathcal{X}\\), there is an essentially unique geometric morphism \\(\\pi_*:\\mathcal{X}\\longrightarrow\\mathcal{S}\\), the composition \\(\\pi_*\\pi^*\\) is a pro-space \\(\\mathrm{Sh}(\\mathcal{X})\\) named the shape of \\(\\mathcal{X}\\). This is a generalization of the \u00e9tale homotopy type to general topoi.  In Section 3 the author studies limits of \\(\\infty\\)-topoi and proves that being a truncated pullback guarantees that the global section in the limit topos is equivalent to the colimit of global sections in each topos.  In Section 4 the author proves the proper base change theorem. The proof combines the standard technology in the abelian setting with the continuity properties of truncated objects.  In Section 5 and 6 the author proves that profinite shapes functor commute with finite products and symmetric powers for proper schemes by the main theorem. The basic idea is that the main theorem allows us to directly identify \\(\\mathrm{Sh}(X)\\circ\\mathrm{Sh}(Y)\\) with \\(\\mathrm{Sh}(X\\times Y)\\) upon profinite completion, while \\(\\mathrm{Sh}(X)\\circ\\mathrm{Sh}(Y)\\) is equivalent \\( \\mathrm{Sh}(X)\\times \\mathrm{Sh}(Y)\\) on finite spaces by straightforward computation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087378$7CD89407-94FE-4103-8249-9818F5410A42","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a78d4dd30b72de33b2b45dc28932d7733067f51a","datavalue":{"value":{"entity-type":"item","numeric-id":2031678,"id":"Q2031678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$BE259490-1ECD-485F-BC24-B330D770A5F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d203d31deae246acc8f80eb90acb8214d1d8de1","datavalue":{"value":"14A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087378$430392DD-FCBD-4DFF-A9A9-A4976EF9A6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db8e2acaec2c390646e33f6795978ed745ea8b5d","datavalue":{"value":"14F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087378$E2FCA74C-1C91-4896-9541-5E0EA9E0EE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f7bb6d8c5310ace40589f27f0ec3909d5699eb0","datavalue":{"value":"18N60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087378$9E09C798-8E4D-4634-AFD3-01542E7FCB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47e0ac8332e65ab042eb721c036fa65e1af589f","datavalue":{"value":"14F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087378$447D6E60-0EDE-4C65-98CC-676F8732BD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50fd92a2fe55b962e56af2c9dd1360d8ace52776","datavalue":{"value":"55P55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087378$5B94D470-F661-412C-A4D7-C19961F9D262","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0a1468ea490a564acae38ac7b6e980b0f5c34a5","datavalue":{"value":"7608240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2087378$AFA36ED0-06B2-451F-B9D8-A76E63F41094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c1c38158e04ea8963da623c2958d9074368c43","datavalue":{"value":"proper base change","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087378$DE9058E1-0482-4480-A0A2-94F71C4466E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c90fbc4d6d8f63b8cb93b44183b16c44b6835fd","datavalue":{"value":"\u00e9tale homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087378$CF7FC839-2BD1-4C4B-BC98-74B09BEA0FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1716750e079664e241cb89c90f295b87ba8af9f9","datavalue":{"value":"infinity-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087378$8EE3B0BD-93FA-4C5C-96BE-081CDC997EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b603416cdee95059dce7d10fbf1e4ade311fc284","datavalue":{"value":"\u00e9tale topologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087378$D0D0E8C7-C4C1-44F4-8A08-FEAA451D61EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ad4b44453bcc4b5cb5dae076fc06374854b2c0","datavalue":{"value":"shape theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2087378$18B6EB69-7EE9-47F5-8ADD-5A2CB8211097","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":"Q2087378$94A0F5E6-73BA-4C3F-AC8E-0216C41F2CB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19305b330da3b4486eb5c5afbc932a0ba4760bd4","datavalue":{"value":{"entity-type":"item","numeric-id":2534976,"id":"Q2534976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$820FEE43-5205-45FB-8031-E9A6C08EEB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e095781c03ea573dafa274afe144c6cc1677cf","datavalue":{"value":{"entity-type":"item","numeric-id":507065,"id":"Q507065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$13B874CA-A2E5-428E-B7AC-FCBA0C143D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc408bbdd3c6b58af07381f4662bce45dde821c1","datavalue":{"value":{"entity-type":"item","numeric-id":3382594,"id":"Q3382594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$1D5EA017-A0A8-4BA0-A78B-CB68AE29FADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2db8c0624db47ce32f6a3b011dca8efd48189c53","datavalue":{"value":{"entity-type":"item","numeric-id":772012,"id":"Q772012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$7974B272-CC05-4BA0-97CB-788C11CD9C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af93b5fa5462d814ec1727ded36dede0d3d683af","datavalue":{"value":{"entity-type":"item","numeric-id":5632701,"id":"Q5632701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$0BAEC38A-2FE4-40F8-9415-4420A834D8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8ae280bdc891c723e94803c61f351f6a0ab19e","datavalue":{"value":{"entity-type":"item","numeric-id":1703598,"id":"Q1703598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$1F338387-9DEC-4685-8590-622B8C83AAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6896f1c0f7ea8022da260c83d7c7dcd57175e631","datavalue":{"value":{"entity-type":"item","numeric-id":1407802,"id":"Q1407802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$8642ED3F-45CE-4123-AF3F-5096BCB6C2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af534d37dad825d894dc2740c0ebc057c26b0e","datavalue":{"value":{"entity-type":"item","numeric-id":2945040,"id":"Q2945040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$AFE3B5F7-2F7D-4AE0-9C94-CBDC589E714F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$AF7A8E8C-4182-4829-BC26-8AA8196E019A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1855f03c5cee30a5c488364b9ea7bd3bc8404ea5","datavalue":{"value":{"entity-type":"item","numeric-id":1818641,"id":"Q1818641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$60223050-7CEB-4885-AFF8-78E00A836ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcb9b2639e4eb08acbdb7577a8c544eb12af28d7","datavalue":{"value":{"entity-type":"item","numeric-id":2797859,"id":"Q2797859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$ADDAC7FE-479F-4EA2-8B43-EF7E555B7CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef11c8877903838760e585e1cf00f7f122d9efb","datavalue":{"value":{"entity-type":"item","numeric-id":2517769,"id":"Q2517769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$74B1B7A0-6B84-4271-90B6-FA77BB416B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd28d4543222e17de5d461cfd32eae059c682376","datavalue":{"value":{"entity-type":"item","numeric-id":2857295,"id":"Q2857295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$3AF89DEE-D808-438E-BBF9-546D192BCF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56dd389d7b00d8dbbc6335b674bfc2c6c6d5269d","datavalue":{"value":{"entity-type":"item","numeric-id":1919133,"id":"Q1919133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2087378$DCD05130-8A00-45E2-8C76-B53FF27C9872","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8255283f46ebd164c8bb8c98d20635c0a42af93","datavalue":{"value":{"entity-type":"item","numeric-id":1119981,"id":"Q1119981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5c2888601618ed52dbd86609d5759813fccf6a","datavalue":{"value":{"amount":"+0.7786654829978943","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":"Q2087378$53FFECB8-082C-4E38-9996-1C8B39E1C690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5c9e7283f95d1165938e0b298e7d35961e6c1df","datavalue":{"value":{"entity-type":"item","numeric-id":2349927,"id":"Q2349927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d33fe686684bbb8294c31d9ab92e0f0593ab0c","datavalue":{"value":{"amount":"+0.751782238483429","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":"Q2087378$7A627B6B-E79D-4D1F-B59E-0046A9B55EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0baa051b6e77240443274419bcd51f48e13fdf","datavalue":{"value":{"entity-type":"item","numeric-id":5037507,"id":"Q5037507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e30d334252f0e9c8ecef390cce66cae0acd73ee","datavalue":{"value":{"amount":"+0.74088054895401","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":"Q2087378$C3E76CCE-7F7D-438C-A3C4-1868EA1917FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a87a036d3d410e65a1c8b72c2f29d5b68228b8","datavalue":{"value":{"entity-type":"item","numeric-id":3102977,"id":"Q3102977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee808fa1b797d0bc51e0950899d6737bd851e327","datavalue":{"value":{"amount":"+0.7306828498840332","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":"Q2087378$649336C4-5BAF-4014-8FA4-D035F55C0DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30658f616bf3ea172a5157b1c082a7ffdd442acc","datavalue":{"value":{"entity-type":"item","numeric-id":2697544,"id":"Q2697544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c02ce13452814091bde6957c98e9c4e19e81334f","datavalue":{"value":{"amount":"+0.7202324271202087","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":"Q2087378$60128DE6-8AF4-49EB-A47B-7620BD8CE374","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proper base change for \u00e9tale sheaves of spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proper_base_change_for_%C3%A9tale_sheaves_of_spaces"}}}}}