Cosection localization via shifted symplectic geometry

Modern enumerative invariants are defined as integrals of cohomology classes against virtual fundamental classes constructed by Li-Tian and Behrend-Fantechi. When the obstruction sheaf admits a cosection, the virtual fundamental class is localized to the zero locus of the cosection. When the cosection is furthermore enhanced to a (-1)-shifted closed 1-form, the zero locus admits a (-2)-shifted symplectic structure and thus we have another virtual fundamental class by the Oh-Thomas construction. An obvious question is whether these two virtual fundamental classes coincide or not. In this talk, we will see that (-1)-shifted closed 1-forms arise naturally as an analogue of the Lagrange multiplier method. Furthermore, a proof of the equality of the two virtual fundamental classes and its applications will be discussed. Based on a joint work with Hyeonjun Park.