Formality of derived intersections

MaRDI QIDQ462625zbMATH OpenFDO

Authors Julien Grivaux

Publication date 21 October 2014

Published in Documenta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1302.0237, http://www.emis.de/journals/DMJDMV/vol-19/33.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

derived categoriesintersection theoryquantized analytic cycles

Mathematics Subject Classification ID

Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17) Analytic spaces (32C99)

Abstract: 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).

Review text

Summary: 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}}(X^2)\).

Recommendations

• Formality of derived intersections and the orbifold HKR isomorphism
• Derived geometry of the first formal neighbourhood of a smooth analytic cycle
• Intersection theory in complex analytic geometry
• Une théorie de l'intersection dans un espace singulier
• On nearly smooth complex spaces

Cited in

(7)

• Hodge theorem for the logarithmic de Rham complex via derived intersections
• Derived geometry of the first formal neighbourhood of a smooth analytic cycle
• Formality of derived intersections and the orbifold HKR isomorphism
• When is the self-intersection of a subvariety a fibration?
• Derived algebraic geometry
• When are two HKR isomorphisms equal?
• Conservation laws and cohomological intersections

This page was built for publication: Formality of derived intersections

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