A constructive approach to Fourier-Mukai transforms for projective spaces via A_{\infty}-functors between pretriangulated dg categories

MaRDI QIDQ6337607zbMATH OpenFDO

Authors Sebastian Posur

Publication date 29 March 2020

Mathematics Subject Classification ID

Abstract: We discuss the following problem: how can an arbitrary Fourier-Mukai transform $phi:mathrm{D}^{mathrmb}(mathbb{P}^a)ightarrowmathrm{D}^{mathrmb}(mathbb{P}^b)$ between the bounded derived categories of two projective spaces of dimensions $a$ and $b$ be expressed in explicit terms as an exact functor between the homotopy categories $mathrm{K}^{mathrmb}(mathbb{B}^a)ightarrowmathrm{K}^{mathrmb}(mathbb{B}^b)$ generated by the full strong exceptional sequences of the line bundles $mathbb{B}^a=mathcalO(-a),dots,mathcalO$ and $mathbb{B}^b=mathcalO(-b),dots,mathcalO$? We show that this problem can be reduced to the following task which is independent of any prescribed Fourier-Mukai kernel: finding an $A_{infty}$-functor $P$ in explicit terms whose induced functor on homotopy categories yields the embedding of $$ into $mathrm{D}^{mathrmb}(mathbb{P}^{a}imesmathbb{P}^b)$. As our main technical tool we provide an explicit formula for the lift of an $A_{infty}$-functor $F:mathbfAightarrowmathbfB$ between a dg category $mathbfA$ and a pretriangulated dg category $mathbfB$ to the pretriangulated hull of $mathbfA$ given by the universal property of pretriangulated hulls. As a further application of this tool, we provide a simple example of two non-isomorphic exact functors between triangulated categories that coincide on the full subcategory generated by a full strong exceptional sequence.

This page was built for publication: A constructive approach to Fourier-Mukai transforms for projective spaces via $A_{\infty}$-functors between pretriangulated dg categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6337607)