VIRTUAL SIGNED EULER CHARACTERISTICS
File(s)VIRTUALEULER.PDF (232.51 KB)
Accepted version
Author(s)
Jiang, Y
Thomas, RP
Type
Journal Article
Abstract
Roughly speaking, to any space $ M$ with perfect obstruction theory we associate a space $ N$ with symmetric perfect obstruction theory. It is a cone over $ M$ given by the dual of the obstruction sheaf of $ M$ and contains $ M$ as its zero section. It is locally the critical locus of a function.
More precisely, in the language of derived algebraic geometry, to any quasi-smooth space $ M$ we associate its $ (\!-\!1)$-shifted cotangent bundle $ N$.
By localising from $ N$ to its $ \mathbb{C}^*$-fixed locus $ M$ this gives five notions of a virtual signed Euler characteristic of $ M$:
The Ciocan-Fontanine-Kapranov/Fantechi-Göttsche signed virtual Euler characteristic of $ M$ defined using its own obstruction theory,
Graber-Pandharipande's virtual Atiyah-Bott localisation of the virtual cycle of $ N$ to $ M$,
Behrend's Kai-weighted Euler characteristic localisation of the virtual cycle of $ N$ to $ M$,
Kiem-Li's cosection localisation of the virtual cycle of $ N$ to $ M$,
$ (-1)^{\textrm {vd}}$ times by the topological Euler characteristic of $ M$.
Our main result is that (1)=(2) and (3)=(4)=(5). The first two are deformation invariant while the last three are not.
More precisely, in the language of derived algebraic geometry, to any quasi-smooth space $ M$ we associate its $ (\!-\!1)$-shifted cotangent bundle $ N$.
By localising from $ N$ to its $ \mathbb{C}^*$-fixed locus $ M$ this gives five notions of a virtual signed Euler characteristic of $ M$:
The Ciocan-Fontanine-Kapranov/Fantechi-Göttsche signed virtual Euler characteristic of $ M$ defined using its own obstruction theory,
Graber-Pandharipande's virtual Atiyah-Bott localisation of the virtual cycle of $ N$ to $ M$,
Behrend's Kai-weighted Euler characteristic localisation of the virtual cycle of $ N$ to $ M$,
Kiem-Li's cosection localisation of the virtual cycle of $ N$ to $ M$,
$ (-1)^{\textrm {vd}}$ times by the topological Euler characteristic of $ M$.
Our main result is that (1)=(2) and (3)=(4)=(5). The first two are deformation invariant while the last three are not.
Date Issued
2016-10-21
Date Acceptance
2016-10-01
Citation
JOURNAL OF ALGEBRAIC GEOMETRY, 2016, 26 (2), pp.379-397
ISSN
1056-3911
Publisher
University Press
Start Page
379
End Page
397
Journal / Book Title
JOURNAL OF ALGEBRAIC GEOMETRY
Volume
26
Issue
2
Copyright Statement
© 2016 University Press, Inc. First published in Journal of Algebraic Geometry in 26 (2017), published by the American Mathematical Society
Identifier
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000395426300005&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
Subjects
Science & Technology
Physical Sciences
Mathematics
math.AG
14N35
General Mathematics
0101 Pure Mathematics
Publication Status
Published