词条 | Perfect obstruction theory |
释义 |
In algebraic geometry, given a Deligne–Mumford stack X, a perfect obstruction theory for X consists of:
The notion was introduced by {{harv|Behrend–Fantechi|1997}} for an application to the intersection theory on moduli stacks; in particular, to define a virtual fundamental class. ExamplesSchemesConsider a regular embedding fitting into a cartesian square where are smooth. Then, the complex (in degrees ) forms a perfect obstruction theory for X.[1] The map comes from the composition This is a perfect obstruction theory because the complex comes equipped with a map to coming from the maps and . Note that the associated virtual fundamental class is Example 1Consider a smooth projective variety . If we set , then the perfect obstruction theory in is and the associated virtual fundamental class is In particular, if is a smooth local complete intersection then the perfect obstruction theory is the cotangent complex (which is the same as the truncated cotangent complex). Deligne–Mumford stacksThe previous construction works too with Deligne–Mumford stacks. Symmetric obstruction theoryBy definition, a symmetric obstruction theory is a perfect obstruction theory together with nondegenerate symmetric bilinear form. Example: Let f be a regular function on a smooth variety (or stack). Then the set of critical points of f carries a symmetric obstruction theory in a canonical way. Example: Let M be a complex symplectic manifold. Then the (scheme-theoretic) intersection of Lagrangian submanifolds of M carries a canonical symmetric obstruction theory. Notes1. ^{{harvnb|Behrend–Fantechi|1997|loc=§ 6}} References
See also
4 : Differential topology|Symplectic geometry|Hamiltonian mechanics|Smooth manifolds |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。