The six operations in equivariant motivic homotopy theory

详细信息    查看全文

• 作者：Marc Hoyois¹ ; ^{hoyois@mit.edu" class="auth_mail" title="E-mail the corresponding author} ;
• 关键词：14F42 ; 55P91
• 刊名：Advances in Mathematics
• 出版年：2017
• 出版时间：10 January 2017
• 年：2017
• 卷：305
• 期：Complete
• 页码：197-279
• 全文大小：1106 K

文摘

We introduce and study the homotopy theory of motivic spaces and spectra parametrized by quotient stacks method=retrieve&_eid=1-s2.0-S0001870815304011&_mathId=si1.gif&_user=111111111&_pii=S0001870815304011&_rdoc=1&_issn=00018708&md5=662685cd50c3e07bdc88d2ebef41025c" title="Click to view the MathML source">[X/G]$[X/G]$, where G is a linearly reductive linear algebraic group. We extend to this equivariant setting the main foundational results of motivic homotopy theory: the (unstable) purity and gluing theorems of Morel–Voevodsky and the (stable) ambidexterity theorem of Ayoub. Our proof of the latter is different than Ayoub's and is of interest even when G is trivial. Using these results, we construct a formalism of six operations for equivariant motivic spectra, and we deduce that any cohomology theory for G-schemes that is represented by an absolute motivic spectrum satisfies descent for the cdh topology.