Nilpotent descent under fpqc covers for morphisms of stacks
Ascertain whether Theorem 6.*(3) (that a nilpotent extension f: Y → X of quasi-geometric stacks induces a weak nilpotent extension Perf(X) → Perf(Y)) remains valid when replacing quasi-affine fpqc covers by general representable faithfully flat covers. In other words, determine if the nilpotent-extension conclusion descends under fpqc covers in this greater generality.
References
On the contrary, the proof of \Cref{thm:morphisms_of_stacks}(3) does not work in this generality and we do not know whether the statement is true.
— $c$-structures and trace methods beyond connective rings
(2509.14774 - Levy et al., 18 Sep 2025) in Remark 6.* (fpqc covers), Section 6 (Stacks)