Laszlo and Olsson constructed Grothendieck's six operations for constructible complexes on Artin stacks in etale cohomology under an assumption of finite cohomological dimension, with base change established on the l...Laszlo and Olsson constructed Grothendieck's six operations for constructible complexes on Artin stacks in etale cohomology under an assumption of finite cohomological dimension, with base change established on the level of sheaves. We give a more direct construction of the six operations for complexes on Deligne- Mumford stacks without the finiteness assumption and establish base change theorems in derived categories. One key tool in our construction is the theory of gluing finitely many pseudofunctors developed by Zheng (2014). As an application, we prove a Lefschetz-Verdier formula for Deligne-Mumford stacks. We include both torsion and l-adic coefficients.展开更多
基金supported by China’s Recruitment Program of Global Experts,National Natural Science Foundation of China(Grant No.11321101)Hua Loo-Keng Key Laboratory of Mathematics,Chinese Academy of Sciences,National Center for Mathematics and Interdisciplinary Sciences and Chinese Academy of Sciences
文摘Laszlo and Olsson constructed Grothendieck's six operations for constructible complexes on Artin stacks in etale cohomology under an assumption of finite cohomological dimension, with base change established on the level of sheaves. We give a more direct construction of the six operations for complexes on Deligne- Mumford stacks without the finiteness assumption and establish base change theorems in derived categories. One key tool in our construction is the theory of gluing finitely many pseudofunctors developed by Zheng (2014). As an application, we prove a Lefschetz-Verdier formula for Deligne-Mumford stacks. We include both torsion and l-adic coefficients.