Skip to main content
1 of 2
Pulcinella
  • 5.7k
  • 1
  • 15
  • 55

$f^!=f[d]$ for quasismooth maps?

Given a smooth map of schemes $f:X\to Y$ of relative dimension $d$, then there is a natural isomorphism $f^!\simeq f^*[d](2d)$ (in any context where the six operations are defined; see Cesinski-Deglise).

If $f$ is a smooth map of Artin stacks I imagine the same is true (there is a notion of the six operations for Artin stacks: https://arxiv.org/abs/1211.5948).

Question: Let $f:X\to Y$ be a quasismooth map of Artin stacks (say also flat to rule out things like closed embeddings). Is it still true that $f^!\simeq f^*[d](2d)$?

Pulcinella
  • 5.7k
  • 1
  • 15
  • 55