Formality of derived intersections
Formality of derived intersections
复制标题
派生交集的形式
作者：
Julien Grivaux
我们研究了光滑解析圈的派生交，并在某些情况下给出了这种交是形式的充要条件。特别地，如果X是复流形Y的复子流形，我们证明了X可以量子化当且仅当xxx和Delta_Y的导出交集在D(Xxx)中是形式的。
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).