{"entities":{"Q1703598":{"pageid":1714339,"ns":120,"title":"Item:Q1703598","lastrevid":68173536,"modified":"2026-04-12T21:55:34Z","type":"item","id":"Q1703598","labels":{"en":{"language":"en","value":"Higher Galois theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6846334"}},"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":"Q1703598$CC3DDFE6-5A32-406A-9B69-339B53920BF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75d7cedba41011430d5ad6ac7664f76e9521de0a","datavalue":{"value":{"text":"Higher Galois theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1703598$EEBE4AEF-B5BF-49D3-84FE-8CA1875C585D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a339e664ad648bd5b795eafe93b111e750268f0","datavalue":{"value":"1403.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703598$68B79C9A-9467-48CB-A5BA-292EF8DDAD4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be4b499c868f298863ac8627da354375e3a9f254","datavalue":{"value":{"entity-type":"item","numeric-id":340397,"id":"Q340397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$5A970E8B-F650-44B3-BBD3-5EEB237912A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$F1724E2F-19EE-4CA7-8850-769DE5C730D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e12992cec71393b223d3be21aa58f0c76618221b","datavalue":{"value":{"time":"+2018-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1703598$0D12686E-1100-49A6-914D-26D192F84C5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a24aea82c7b8f201831f9ef5c33de2e4977a0dd","datavalue":{"value":"https://arxiv.org/abs/1506.07155","type":"string"},"datatype":"url"},"type":"statement","id":"Q1703598$CEF07BD0-A339-476B-89FF-62C2A950787C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"94f670d15857e04393af73c07ba2ff070620992a","datavalue":{"value":"Classical Galois theory is well known to correspond, conceptually, to the theory of covering spaces and, in [\\textit{A. Grothendieck} (ed.) and \\textit{M. Raynaud}, S\u00e9minaire de g\u00e9om\u00e9trie alg\u00e9brique du Bois Marie 1960/61 (SGA 1), dirig\u00e9 par Alexander Grothendieck. Augment\u00e9 de deux expos\u00e9s de M. Raynaud. Rev\u00eatements \u00e9tales et groupe fondamental. Expos\u00e9s I \u00e0 XIII. (Seminar on algebraic geometry at Bois Marie 1960/61 (SGA 1), directed by Alexander Grothendieck. Enlarged by two reports of M. Raynaud. \u00c8tale coverings and fundamental group). Berlin-Heidelberg-New York: Springer-Verlag (1971; Zbl 0234.14002)], Grothendieck showed how that could be used to give a rich theory of fundamental group(oid)s, actions, etc. in an algebraic geometric context, linking analogues of covering spaces, principal bundles / torsors, fibred categories and schemes. Later Grothendieck, in his `letter to Quillen' extended this rich theory to a sketched theory of \\(n\\)-stacks. replacing covering spaces (interpreted as locally constant sheaves of sets) by locally constant \\textit{stacks} of \\(n\\)-types. (The link between these and (non-Abelian) cohomology had already been sketched out in his letter to Larry Breen some years earlier.) The resulting outline of a possible theory, based on an \\(\\infty\\)-category theoretic analogue of sheaves, actions etc., and given in the long manuscript `Pursuing Stacks', gave a basis for a lot of explorative research, and, in particular, for \\textit{J. Lurie} [Higher topos theory. Princeton, NJ: Princeton University Press (2009; Zbl 1175.18001)] who gave what has become the main source for ideas and methods for the study of \\(\\infty\\)-categorical analogues of lots of the classical theory. (Note that a working knowledge of the early parts of that source is needed for a full appreciation of the paper under review here.)  From this point of view, classical Galois theory can be seen to state that the \u00e9tale topos, \\(\\mathfrak{X}\\), of a field, \\(k\\), is equivalent to the topos of \\(G\\)-sets for \\(G\\) the absolute Galois group, \\(\\mathrm{Gal}(k)\\), of \\(k\\), and thus to the classifying topos of that group. In general, \\(\\mathrm{Gal}(k)\\) is, however, not just a group, but rather is a pro-finite group and can be better viewed as an inverse system / pro-object in the category of (finite) groups, so the classifying `space', \\(\\mathrm{BGal}(k^s/k)\\), is equivalent, as a pro-groupoid, to the fundamental pro-groupoid, \\(\\Pi_1\\mathfrak{X}\\), of \\(\\mathfrak{X}\\).  Working with Lurie's higher topos theory, in this paper the author generalises the above theory to arbitrary dimensions, giving interpretations of \\(\\Pi_\\infty\\mathfrak{X}\\), the fundamental \\(\\infty\\)-groupoid of a topos \\(\\mathfrak{X}\\). It is shown that locally constant sheaves in a locally \\((n-1)\\)-connected \\(n\\)-topos are equivalent to representations / actions of its fundamental pro-\\(n\\)-groupoid, all this for suitable interpretations of the terms here left undefined.  The paper makes the link between this theory and the now classical theories of \u00e9tale homotopy (Artin-Mazur and Friedlander), plus in a topological context, the theory of shape, as given by Marde\u0161i\u0107 and Segal, and this reviewer.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703598$F315E14B-2784-4355-A3EE-2241D859D141","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ab79fdaddc189a7483164e877e59b9ea4b806d0e","datavalue":{"value":{"entity-type":"item","numeric-id":590766,"id":"Q590766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$806898C5-A68E-4B5E-BF8F-4A25D112DE3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703598$D441FC64-C6AE-4563-86ED-B57ADAA55201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33223170fd05a3c7ff0ede90b16da0e64f084172","datavalue":{"value":"54C56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703598$5C565554-51CA-4414-85F4-129B1248D553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50fd92a2fe55b962e56af2c9dd1360d8ace52776","datavalue":{"value":"55P55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703598$8C08F775-0813-4EE1-8445-15C4B08BB3F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5769730238d3b8cd9164da5f7fa66293aba2c4e","datavalue":{"value":"6846334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703598$09DEE89F-828C-4A7A-B700-0EE15932D303","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b90a79b178b8b36e16bc5cf634e8c203851e154","datavalue":{"value":"higher topos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703598$879F27CE-DB45-4832-B847-443C99648FB4","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":"Q1703598$2D72C717-99CE-45C0-B678-ACB4B5A63F23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03d4c33097cd70455271b500c4a305e6d0d7b219","datavalue":{"value":"W2963092002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703598$3E9A4C00-CE9A-4E18-80BC-371C54CB7CF5","rank":"normal"}],"P223":[{"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":"Q1703598$02010EF8-DA26-44BA-A656-57CD68CDBA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6982d5d24055e89b8b2b703b9c8e330f69839b","datavalue":{"value":{"entity-type":"item","numeric-id":4205616,"id":"Q4205616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$015BD428-ED4B-4474-827B-824C4992ADC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a917d37bffabffffad3bfcf2dc7b30f7030a58","datavalue":{"value":{"entity-type":"item","numeric-id":1184023,"id":"Q1184023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$78998188-28EF-4DC9-974C-66C2DFFE5906","rank":"normal"},{"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":"Q1703598$FEFFD027-361F-4C13-B6A0-8D4DBC1C211A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033783f328e9ee83c50a7f2d1df977b1f706f006","datavalue":{"value":{"entity-type":"item","numeric-id":3324655,"id":"Q3324655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$18448896-BD41-4E5D-A77E-5EF3A1398AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb59eb9944ce8d4d551cb0335492e66377b829d2","datavalue":{"value":{"entity-type":"item","numeric-id":2559986,"id":"Q2559986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$DA5575A6-007E-4692-A5D1-1A7ABEC7738E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92be1aaf19dc1a1687724e4de0f324f279263aca","datavalue":{"value":{"entity-type":"item","numeric-id":2551456,"id":"Q2551456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$DEE28E50-97C3-4298-BCB3-5D18B9F41EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17544c4a1e580f6e57191f72b1fb823902529390","datavalue":{"value":{"entity-type":"item","numeric-id":4811761,"id":"Q4811761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$8E5E1889-7DD1-420A-BDF5-12752956AE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbd3e48f95a29488eb19a4f153963fdbd1e18f5","datavalue":{"value":{"entity-type":"item","numeric-id":5627403,"id":"Q5627403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$F5258FF6-CD5A-4AFC-AA8A-3FA808157D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f5c5494b86cf3bef38aa7e14318700e3de1e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3137143,"id":"Q3137143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$6A6E1241-265B-477C-AB25-D128BEE7876B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbd2b7aceb2e246825ba8ba72ab045ff65cbb9f","datavalue":{"value":{"entity-type":"item","numeric-id":3926769,"id":"Q3926769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$EC9C039F-70AB-4C04-BE0E-6571CE5835BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89ca15ab1cbb2f4826b62ded9fa133cad4788fc0","datavalue":{"value":{"entity-type":"item","numeric-id":4461218,"id":"Q4461218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$72AF64A5-B1A6-4625-B602-4D02DD691749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83c396d0c27c3034d8e5c98b1f145f7b946ae598","datavalue":{"value":{"entity-type":"item","numeric-id":942202,"id":"Q942202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703598$D39768B3-3816-4667-B83E-EFF821D69521","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82549f0e133b9f0b25b889663ddfef61131c4fd9","datavalue":{"value":"10.1016/J.JPAA.2017.08.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703598$89ED12D1-B11C-4364-AB09-4B03348AA97A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b1a979859b05327c9cad62b9d80127119505d9","datavalue":{"value":{"entity-type":"item","numeric-id":1426338,"id":"Q1426338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e4b32a960f0b90c85d83b639383f662cc67522","datavalue":{"value":{"amount":"+0.798385739326477","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":"Q1703598$8FFBE46F-3733-4F62-BEB5-4AFE2397957A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73d4a79eceb09ed5ec30f8c0e4bfc0a883cc4f54","datavalue":{"value":{"entity-type":"item","numeric-id":4663629,"id":"Q4663629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a947f1398bbb17b7c7942c82b8ccdbf8ae07525","datavalue":{"value":{"amount":"+0.7968512773513794","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":"Q1703598$111F47C4-C4BA-4C95-B693-3BFB03D9B54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b405556206bf3bc0b1c6852225909d859841340","datavalue":{"value":{"entity-type":"item","numeric-id":2634792,"id":"Q2634792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88cd177078e8dece16d45ebd17187cfe6fd1dc42","datavalue":{"value":{"amount":"+0.7912545204162598","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":"Q1703598$A6C43058-95E5-442E-A258-4F908BC741A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c75ed03d118e25ea021fb21966ad71747ef28c","datavalue":{"value":{"entity-type":"item","numeric-id":2422449,"id":"Q2422449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3398b0ee4a4a1ae79451763d80ccf679668ba6cb","datavalue":{"value":{"amount":"+0.7845134139060974","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":"Q1703598$156FC744-D9F2-4A27-981B-EE2FDB048016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ec83fe4317126f3f926236b3f20c283288ff03","datavalue":{"value":{"entity-type":"item","numeric-id":942202,"id":"Q942202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d2c01d57e9c85a796326968a0c1181774d8517","datavalue":{"value":{"amount":"+0.784327507019043","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":"Q1703598$959B8F35-A89D-42C5-BF80-DFE77E330560","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher Galois theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher_Galois_theory"}}}}}