Dice Question Streamline Icon: https://streamlinehq.com

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.

Information Square Streamline Icon: https://streamlinehq.com

Background

Theorem 6.*(3) proves that for quasi-affine morphisms the pullback on perfect complexes is a weak nilpotent extension of c-categories.

The authors extend parts (1)–(2) beyond quasi-affine covers, but their proof of (3) relies on quasi-affineness, and they do not know if (3) holds under merely representable faithfully flat covers.

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)