{"entities":{"Q6566574":{"pageid":14177729,"ns":120,"title":"Item:Q6566574","lastrevid":55702066,"modified":"2026-02-17T21:17:50Z","type":"item","id":"Q6566574","labels":{"en":{"language":"en","value":"Motivic homotopy theory of algebraic stacks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7875596"}},"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":"Q6566574$1FD027CE-64E0-458B-BB90-882534F57581","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45b44cd2706cc44739e77d5f98db2105468a4bb6","datavalue":{"value":{"text":"Motivic homotopy theory of algebraic stacks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6566574$01EAEFC8-2373-41AC-9EF6-782341AD506E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed4cc201f0cc8a0d341c7a78098636e01672ae69","datavalue":{"value":{"entity-type":"item","numeric-id":6387092,"id":"Q6387092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566574$0F08C36E-C68B-4E0F-BFFE-FA7AF5A5E389","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93240fef8f9d732ba686a0f20b8519fd0746695e","datavalue":{"value":{"entity-type":"item","numeric-id":344500,"id":"Q344500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566574$96578B23-D753-44B2-9ACF-80C9E4B98D68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4e5fd9088d0a28713c4508e54b99005eee6af7a","datavalue":{"value":{"time":"+2024-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6566574$CBE3C40C-BAB7-4D1C-9B82-12D74B9967C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9aeb14fa1d0cb57a2356dcdccfa756bd23e52b2","datavalue":{"value":"Grothendieck and collaborators were the first to introduce the notion of a six functor formalism in the context of \u00e9tale cohomology of schemes [\\textit{M. Artin} (ed.) et al., S\u00e9minaire de g\u00e9om\u00e9trie alg\u00e9brique du Bois-Marie 1963--1964. Th\u00e9orie des topos et cohomologie \u00e9tale des sch\u00e9mas (SGA 4). Un s\u00e9minaire dirig\u00e9 par M. Artin, A. Grothendieck, J. L. Verdier. Avec la collaboration de P. Deligne, B. Saint-Donat. Tome 3. Expos\u00e9s IX \u00e0 XIX. Berlin-Heidelberg-New York: Springer-Verlag (1973; Zbl 0245.00002)]. It became increasingly clear over the years the utility of such a framework in different geometric contexts. \\textit{J. Ayoub} [Les six op\u00e9rations de Grothendieck et le formalisme des cycles \u00e9vanescents dans le monde motivique. I. Paris: Soci\u00e9t\u00e9 Math\u00e9matique de France (2007; Zbl 1146.14001); Les six op\u00e9rations de Grothendieck et le formalisme des cycles \u00e9vanescents dans le monde motivique. II. Paris: Soci\u00e9t\u00e9 Math\u00e9matique de France (2007; Zbl 1153.14001)] developed a fully fledged six functor formalism associated to Morel-Voevodsky motivic homotopy category for schemes, and around the same time Laszlo and Olsson extended the Grothendieck's six functor formalism for the \\(l\\)-adic derived categories to algebraic stacks in [\\textit{Y. Laszlo} and \\textit{M. Olsson}, Publ. Math., Inst. Hautes \u00c9tud. Sci. 107, 109--168 (2008; Zbl 1191.14002); Publ. Math., Inst. Hautes \u00c9tud. Sci. 107, 169--210 (2008; Zbl 1191.14003)]. \\textit{M. Hoyois} first [Adv. Math. 305, 197--279 (2017; Zbl 1400.14065)], and \\textit{A. A. Khan} and \\textit{C. Ravi} later [Adv. Math. 458, Part B, Article ID 109975, 104 p. (2024; Zbl 07945715)], extended Ayoub's work constructing \\textit{genuine} motivic homotopy categories \\(SH^{gen}(\\mathcal X)\\) for quotient and scalloped stacks respectively.\\N\\NAs suggested by its title, this paper focuses on yet another extension of \\(SH(-)\\) to a broad class of algebraic stacks: the so-called Borel motivic homotopy category \\(SH_{\\mathrm{ext}}\\), independently also developed in [\\textit{A. A. Khan} and \\textit{C. Ravi}, Adv. Math. 458, Part B, Article ID 109975, 104 p. (2024; Zbl 07945715)]. While the genuine version \\(SH^{\\mathrm{gen}}\\) of Hoyois and Khan-Ravi aligns more closely with the theory of genuine spectra in algebraic topology, the Borel extended category \\(SH_{\\mathrm{ext}}\\) is conceptually closer to the construction of Laszlo-Olsson in the \\(l\\)-adic context. The main idea of the paper under review is to leverage the fact that algebraic stacks live in the \\(\\infty\\)-category of Nisnevich sheaves \\(\\mathrm{Sh}_{\\mathrm{Nis}}(\\mathrm{Sch})\\). Then one defines the category \\(\\mathrm{NisSt}\\) of \\textit{Nisnevich stacks} as those algebraic stacks admitting an atlas \\(x: X \\rightarrow \\mathcal X\\) that is a Nisnevich local epimorphism when it is seen in \\(\\mathrm{Sh}_{\\mathrm{Nis}}(\\mathrm{Sch})\\). As noted in Example 2.1.6, a remarkably broad class of algebraic stacks belongs to \\(\\mathrm{NisSt}\\).\\N\\NUsing right Kan extensions, one can extend any functor \\(F: \\mathrm{Sch}\\rightarrow \\mathcal{D}\\) satisfying Nisnevich descent to a functor:\\N\\[\\NF_{ext}: \\mathrm{NisSt} \\longrightarrow \\mathcal D\\N\\]\\N\\noindent such that it satisfies descent along Nisnevich local epimorphisms. In particular, for \\(F=SH\\) one gets:\\N\\N\\[\\NSH_{ext}(\\mathcal X) \\cong\\ \\mathrm{lim}\\Big(\\begin{tikzcd} SH_{ext}(X) \\arrow[r, shift right =2] \\arrow[r,shift left =2] & SH_{ext}(X \\times_{\\mathcal X} X) \\arrow[l,dotted] \\arrow [r,shift right =4] \\arrow[r] \\arrow[r,shift left =4] & \\cdots \\arrow[l, shift left =2 ,dotted] \\arrow[l, shift right =2, dotted] \\end{tikzcd} \\Big)\\N\\]\\N\\NThis construction immediatly provides four functors for the extended category \\(SH_{ext}(\\mathcal{X})\\). Namely, for \\(f: \\mathcal{X}\\rightarrow \\mathcal{Y}\\) one gets the usual pair of adjoint couples:\\N\\[\\Nf^* \\dashv f_*\\N\\]\\N\\N\\[\\N\\otimes \\dashv \\mathcal{H}om(-,-)\\N\\]\\NConstructing the exceptional functors, along with their relationships to these four functors, is more involved and follows the techniques recently developed in [\\textit{J. Ayoub} et al., Forum Math. Sigma 10, Paper No. e61, 182 p. (2022; Zbl 1505.14051)]. The idea is to once again use Nisnevich descent to extend the functors \\(SH_!^*\\) and \\(SH_*^!\\) defined on pairs of schemes \\((S,X)\\) to pairs of Nisnevich stacks \\((\\mathcal S,\\mathcal X)\\) where \\(\\mathcal{X}\\) is an \\(\\mathcal{S}\\)-algebraic stack, with representable, locally finite type and separated structure map. Once the six-functor formalism is established, the author proves its fundamental properties and relations, including smooth and proper base change, localization fiber sequences, homotopy invariance for vector bundles, and purity for representable, smooth, separated, finite type morphisms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6566574$BDAAA670-7614-4D71-A4FE-0807815FB48A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9a5bf8413c37027235f8c2e915c07d5a6e6217b1","datavalue":{"value":{"entity-type":"item","numeric-id":6566573,"id":"Q6566573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566574$5FB3FE9E-7B72-4636-BE78-FE9ED3104392","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc4bf3875ed9809536161f66fd244a6dc55a1b32","datavalue":{"value":"14A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6566574$B86B6B47-473E-46A1-B320-DB5978B20783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50ad64edca07940b85eb409b3c8659616f9a98f6","datavalue":{"value":"14F42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6566574$538A053A-0224-4DC5-841D-6F7D3B1E97D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15ec6582a7acddff8675caf32a768f834d65578d","datavalue":{"value":"7875596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6566574$F5046823-7A56-42A4-9B23-73A437EB81C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc489fcfd70a9bae0b10a3d1f6bf313783bc23a7","datavalue":{"value":"motivic homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6566574$13A89487-4CD4-4D83-9814-7EFE934E9489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd01807ed71a04aca29222565dd61871623200c9","datavalue":{"value":"algebraic stacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6566574$42E7EAFF-9394-4DE1-AFAF-1E427D6E1ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0684bb4916bc551f14437af7115422d7b5b1668","datavalue":{"value":"six operations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6566574$3BAF99DD-2940-40C2-A911-11F52AE554A7","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":"Q6566574$6ED4F36D-0E00-4AB3-A5AB-37F0FC5186ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9eaeff3901236456c0b86b63bcd1279f76eda27","datavalue":{"value":{"entity-type":"item","numeric-id":3509856,"id":"Q3509856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566574$6F7C2984-03B1-4314-B026-0A48574A33A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93811d34cb6b4d0f1d76ff21680e6e9a73547d78","datavalue":{"value":{"entity-type":"item","numeric-id":3522274,"id":"Q3522274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566574$E3081AD5-6227-4417-8509-D949D2706DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2146af20930509b47148bce1a492bbc87fb42e2","datavalue":{"value":{"entity-type":"item","numeric-id":5101298,"id":"Q5101298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566574$AB718A64-A245-45AF-AF1D-1AF1ADBCE880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8286a921852398d6126b914e953658f22a3cf0","datavalue":{"value":{"entity-type":"item","numeric-id":4973034,"id":"Q4973034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566574$6E2A04B2-64DC-4236-8170-47643F2C7837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9abb59d5dc22972bd06858800bf67007393b11a","datavalue":{"value":{"entity-type":"item","numeric-id":3106481,"id":"Q3106481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566574$DD4EC69F-9B2B-44DD-A60C-68E0C1CC3037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"457f09ff07bc8c8e8cef707eabc8d6bdb8f76150","datavalue":{"value":{"entity-type":"item","numeric-id":340398,"id":"Q340398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566574$384FA0D0-F071-417C-82FE-1A36C9DE5DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5d4e008d17f2b55563e724230b9f15fac3b66d","datavalue":{"value":{"entity-type":"item","numeric-id":2547244,"id":"Q2547244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566574$13951E66-58AF-458C-A227-5496F12581F3","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":"Q6566574$7FFB8552-E2C3-45D4-9EE3-EDCAC8D161A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200b65c2e943f407600eee70d449d6bcd77b171d","datavalue":{"value":{"entity-type":"item","numeric-id":5932372,"id":"Q5932372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566574$4B2667A6-A8D8-4DDB-A8F3-B1A829259704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b11666d10d454632f2e9e22207d991c13c55ec","datavalue":{"value":{"entity-type":"item","numeric-id":475270,"id":"Q475270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6566574$D9F78EF2-CF26-4BC1-A6B6-8C3BE5A52A13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"711cd0b6ce569b345d7c4bee8fc649ae9b7cde11","datavalue":{"value":"10.2140/AKT.2024.9.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6566574$DA26EBCD-1A38-49DE-868F-52A4E99B86EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8db00be4b149b7b804e988235f7f0915b98519c","datavalue":{"value":{"entity-type":"item","numeric-id":340398,"id":"Q340398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d856b51cb1654e2f59a1030573e1e521340c06cb","datavalue":{"value":{"amount":"+0.814238965511322","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":"Q6566574$D90E598B-690C-4233-AB14-FC0772AB1993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921fdfe323672c9da190b301bf05ba6cc77ef990","datavalue":{"value":{"entity-type":"item","numeric-id":6639715,"id":"Q6639715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b56ca9546c7622aacd84f6546cb933f0bee9620","datavalue":{"value":{"amount":"+0.7915393710136414","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":"Q6566574$54539D33-7D15-4FB8-B4A8-D03311650A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28936ee39fbc8100f8fbcd3f0d339bad9ee35f93","datavalue":{"value":{"entity-type":"item","numeric-id":5441189,"id":"Q5441189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec200b89973bc727f7eb3a57efeb1a541f70fb4","datavalue":{"value":{"amount":"+0.7847270369529724","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":"Q6566574$056167BB-C130-42D3-A736-0B7CC6880801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2ae2cce3ea135430d857be2b37d5f98fcdfbb9","datavalue":{"value":{"entity-type":"item","numeric-id":2505586,"id":"Q2505586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a55f7dec0e2d6d2e28409d89a80330e74c7ec9","datavalue":{"value":{"amount":"+0.7728392481803894","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":"Q6566574$0E1190F1-9129-49C6-BCF2-B90A8DEE56FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5993bb7c9bd3c1eef8dcf14542a41a3509ce0d","datavalue":{"value":{"entity-type":"item","numeric-id":5385840,"id":"Q5385840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13d4d5352d227d34ce7d2eec4d9e33e86d84da2","datavalue":{"value":{"amount":"+0.7659298181533813","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":"Q6566574$B4C0FC67-FDA0-419D-B164-A1177F1E7C4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6566574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6566574"}}}}}