Formality of Derived Intersections

We study derived intersections of smooth analytic cycles, and provide in some cases necessary and sufficient conditions for this intersection be formal. In particular, if $X$ is a complex submanifold of a complex manifold $Y$, we prove that $X$ can be quantized if and only if the derived intersection of $X^2$ and $\Delta_Y$ is formal in $\mathrm{D}^{\mathrm{b}}\bigl (X^2 \bigr)$.

2010 Mathematics Subject Classification: 14C17; 14F05

Keywords and Phrases: intersection theory, derived categories, quantized analytic cycles

Full text: dvi.gz 39 k, dvi 126 k, ps.gz 195 k, pdf 164 k.

Home Page of DOCUMENTA MATHEMATICA