Formality of derived intersections

Julien Grivaux (1, 2)

1 LATP - Laboratoire d'Analyse, Topologie, Probabilités
2 INSMI-CNRS - Institut National des Sciences Mathématiques et de leurs Interactions - CNRS Mathématiques

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 XxX and \Delta_Y is formal in D(XxX).

Mots clés: intersection theory; quantized analytic cycles; derived categories

Domaines: Géométrie algébrique [math.AG]

Julien Grivaux. Formality of derived intersections. Documenta Mathematica, 2014, 19, pp.1003--1016. ⟨hal-01301444⟩