相关论文: Virtual fundamental classes via dg-manifolds

This is the third in a series of works devoted to constructing virtual structure sheaves and $K$-theoretic invariants in moduli theory. The central objects of study are almost perfect obstruction theories, introduced by Y.-H. Kiem and the…

We prove a localization formula for virtual fundamental classes in the context of torus equivariant perfect obstruction theories. As an application, the higher genus Gromov-Witten invariants of projective space are expressed as graph sums…

We construct virtual fundamental classes in all intersection theories including Chow theory, K-theory and algebraic cobordism for quasi-projective Deligne-Mumford stacks with perfect obstruction theories and prove the virtual pullback…

Let $({\bf X},\omega_{\bf X}^*)$ be a separated, $-2$-shifted symplectic derived $\mathbb C$-scheme, in the sense of Pantev, Toen, Vezzosi and Vaquie arXiv:1111.3209, of complex virtual dimension ${\rm vdim}_{\mathbb C}{\bf X}=n\in\mathbb…

We construct virtual fundamental classes of Artin stacks over a Dedekind domain endowed with a perfect obstruction theory.

We establish cosection localization and vanishing results for virtual fundamental classes of derived manifolds, combining the theory of derived differential geometry by Joyce with the theory of cosection localization by Kiem-Li. As an…

We introduce the notion of almost perfect obstruction theory on a Deligne-Mumford stack and show that stacks with almost perfect obstruction theories have virtual structure sheaves which are deformation invariant. The main components in the…

This article is an expanded version of talks given by the authors in Oberwolfach, Bochum, and at the Fano Conference in Torino. Some new results (e. g. the material concerning flag varieties, Quot spaces over $\P^1$, and the generalized…

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…

This is a continuation of prior work of the author on cosection localization for d-manifolds. We construct reduced virtual fundamental classes for derived manifolds with surjective cosections and cosection localized virtual fundamental…

We show that a perfect obstruction theory for a $\mathbb{G}_\text{m}$-gerbe determines a semi-perfect obstruction theory for its base, which is perfect if the gerbe is quasi-compact and affine-pointed. These results streamline the…

In this paper, we construct proper pushforwards and flat pullbacks in Chow groups of coherent sheaf stacks over a Deligne-Mumford(DM) stack. When there is a relative semi-perfect obstruction theory for a DM-type morphism $X \to Y$, $X$ is a…

We describe a program for proving that the Gromov-Witten moduli spaces of compact symplectic manifolds carry a unique virtual fundamental class that satisfies certain naturality conditions. The virtual fundamental class is constructed using…

Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and $K$-theoretic invariants for many moduli stacks of interest, including…

On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of…

Recently H.-L. Chang and J. Li generalized the theory of virtual fundamental class to the setting of semi-perfect obstruction theory. A semi-perfect obstruction theory requires only the local existence of a perfect obstruction theory with…

We define bivariant algebraic K-theory and bivariant derived Chow on the homotopy category of derived schemes over a smooth base. The orientation on the latter corresponds to virtual Gysin homomorphisms. We then provide a morphism between…

Given a smooth proper dg-algebra $A$, a perfect dg $A$-module $M$, and an endomorphism $f$ of $M$, we define the Hochschild class of the pair $(M,f)$ with values in the Hochschild homology of $A$. Our main result is a Riemann-Roch type…

Kuranishi structures were introduced in the 1990s by Fukaya and Ono for the purpose of assigning a virtual cycle to moduli spaces of pseudoholomorphic curves that cannot be regularized by geometric methods. Their core idea was to build such…

Recently Oh-Thomas constructed a virtual cycle $[X]^{\mathrm{vir}}\in A_*(X)$ for a quasi-projective moduli space $X$ of stable sheaves or complexes over a Calabi-Yau 4-fold against which DT4 invariants may be defined as integrals of…