Mukai Duality for abelian stacks

Abstract

An abelian stack is a stacky generalization of an abelian variety that was introduced by Brochard. Just as an abelian variety has a dual, an abelian stack $\mathcal{A}$ has a dual $\mathfrak{D}(\mathcal{A})$ which generalizes the classical dual. In general, $\mathfrak{D}(\mathcal{A})$ is no longer an abelian stack but a commutative group scheme which is an extension of a finite, flat, and finitely presented commutative group scheme by an abelian scheme. We show that Fourier-Mukai duality holds for tame abelian stacks and their duals. Our approach is as follows. Let $Q{C}_{\infty }(\mathcal{A})$ be the stable infinity category of quasi-coherent sheaves on $\mathcal{A}$. We define a Poincare bundle on $\mathcal{A}\times \mathfrak{D}(\mathcal{A})$ and use this to show that $Q{C}_{\infty }(\mathcal{A})$ and $Q{C}_{\infty }(\mathfrak{D}(\mathcal{A}))$ are dual as objects in the infinity category of stable infinity categories. By a result of Ben-Zvi,Francis and Nadler we have that $Q{C}_{\infty }(\mathcal{A})$ is self dual, giving that $Q{C}_{\infty }(\mathcal{A})\cong Q{C}_{\infty }(\mathfrak{D}(\mathcal{A}))$ which gives the statement for the derived categories. In addition we give new examples of tame abelian stacks.