Nearby cycles commute with proper direct image on stacks of shtukas

Abstract

Let $G$ be a generically reductive group over a smooth projective curve $X$ over a finite field. For any finite set $I$, we show that nearby cycles commute with proper direct image from stacks of shtukas to $X^I$. This generalizes some results of Salmon and the authors.

References in corpus (1)

• A categorical Künneth formula for constructible Weil sheaves