Nearby cycles commute with proper direct image on stacks of shtukas

Arnaud Eteve, Cong Xue

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…