We introduce semi-perfect obstruction theory of a Deligne-Mumford stack $X$ consisting of local perfect obstruction theories with weak comparisons on overlaps. We show that semi-perfect obstruction theory shares similar properties with perfect obstruction theory. We use semi-perfect obstruction theory to construct virtual cycles of moduli of derived objects on Calabi-Yau threefolds.
In the revision, we assume the existence of obstruction sheaf and put the (coarse moduli of the) intrinsic normal cone inside the obstruction sheaf. This avoids the issue of descent of bundle stacks of the local obstruction complexes.
Localizing virtual fundamental cycles for semi-perfect obstruction theories
最近H.- L. Chang和J. Li将虚基类理论推广到半完全阻塞理论的背景下。一个半完全阻塞理论只需要一个具有相容条件的完全阻塞理论的局部存在。本文将环面局部化、余割局部化及其组合推广到半完全阻塞理论的情形。作为应用，我们证明了Jiang-Thomas的虚符号欧拉示性数理论不需要代数几何中的技术准光滑性假设.
In this paper we survey some results on the symmetric semi-perfect obstruction theory on a Deligne-Mumford stack $X$ constructed by Chang-Li, and Behrend's theorem equating the weighted Euler characteristic of $X$ and the virtual count of $X$ by symmetric semi-perfect obstruction theories. As an application, we prove that Joyce's d-critical scheme admits a symmetric semi-perfect obstruction theory, which can be applied to the virtual Euler characteristics by Jiang-Thomas.
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 DM stack and $Y$ is a DM stack or a smooth Artin stack, we define a virtual pull-back as a bivariant class. This is an analogue of virtual pull-backs defined by Manolache.
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 $K$-theoretic Donaldson-Thomas invariants of sheaves and complexes on Calabi-Yau threefolds. The construction of virtual structure sheaves is based on the $K$-theory and Gysin maps of sheaf stacks. In this paper, we generalize the virtual torus localization and cosection localization formulas and their combination to the setting of almost perfect obstruction theory…
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 construction of a semi-perfect obstruction theory for the base, and allow us to relate virtual classes of the gerbe and its base.
Let $C$ be a curve of genus $g$. A coherent system on $C$ is a pair $(E,V)$, where $E$ is a finite rank vector bundle on $C$ and $V$ is a linear subspace of the space of global sections of $E$. The type of a coherent system $(E,V)$ is a triple $(n,d,k)$, where $n$ is the rank of $E$, $d$ is the degree of $E$ and $k$ is the dimension of $V$. The notion of stability for a coherent system $(E,V)$ differs from the stability of the bundle $E$ and depends on the choice of a real parameter $α$. The moduli space of $α$-stable coherent systems of type $(n,d,k)$ has an expected dimension $β= β(n,d,k)$ w…
We construct a cosection localized virtual structure sheaf when a Deligne-Mumford stack is equipped with a perfect obstruction theory and a cosection of the obstruction sheaf.
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 construction are an induced embedding of the coarse moduli sheaf of the intrinsic normal cone into the associated obstruction sheaf stack and the construction of a $K$-theoretic Gysin map for sheaf stacks. We show that many stacks of interest admit almost perfect obstruction theories. As a result, we are able to define virtual structure sheaves and $K$-theo…
In a previous paper, the first two named authors established an isomorphism between the moduli space of framed flags of sheaves on the projective plane and the moduli space of stable representations of a certain quiver. In the present note, we substitute one of the claims made, namely [5, Theorem 17], for a weaker claim regarding the existence of unobstructed points in the quiver moduli space. We also extend some of the results of the cited paper, concerning the maximal stability chamber within which the isomorphism mentioned holds, and the existence of a perfect obstruction theory for the qui…
Using Chern character, we construct a natural transformation from the local Hilbert functor to a functor of Artin rings defined from Hochschild homology, which allows us to reconstruct the semi-regularity map and the infinitesimal Abel-Jacobi map. Combining that construction of the semi-regularity map with obstruction theory of functors of Artin rings, we give a different proof of a theorem of Bloch stating that the semi-regularity map annihilates certain obstructions to embedded deformations of a closed subvariety which is a locally complete intersection.
For $Y \subset X$ a locally complete intersection of codimension p, Spencer Bloch [2] constructed the semi-regularity map $π: H^{1}(\mathcal{N}_{Y/X}) \to H^{p+1}(Ω_{X/k}^{p-1})$. As an analogue, we construct a map $\tildeπ: H^{1}(\mathcal{N}_{Y/X}) \to H^{p+1}(Ω_{X/\mathbb{Q}}^{p-1})$, without assuming local complete intersections. While the semi-regularity map $π$ is expected to be injective, we show $\tildeπ$ is a zero map. We use this zero map to interpret how to eliminate obstructions to deforming cycles, an idea by Mark Green and Phillip Griffiths in [9].
Let $X$ be a complex scheme acted on by an affine algebraic group $G$. We prove that the Atiyah class of a $G$-equivariant perfect complex on $X$, as constructed by Huybrechts and Thomas, is $G$-equivariant in a precise sense. As an application, we show that, if $G$ is reductive, the obstruction theory on the fine relative moduli space $M\to B$ of simple perfect complexes on a $G$-invariant smooth projective family $Y\to B$ is $G$-equivariant. The results contained here are meant to suggest how to check the equivariance of the natural obstruction theories on a wide variety of moduli spaces equ…
We study rank-one sheaves and stable pairs on a smooth projective complex surface. We obtain an embedding of the moduli space of limit stable pairs into a smooth space. The embedding induces a perfect obstruction theory, which, over a surface with irregularity 0, agrees with the usual deformation-obstruction theory. The perfect obstruction theory defines a virtual fundamental class on the moduli space. Using the embedding, we show that the virtual class equals the Euler class of a vector bundle on the smooth ambient space. As an application, we show that on $\mathbb{P}^2$, the expected count o…
Given a quasi-projective scheme M over complex numbers equipped with a perfect obstruction theory and a morphism to a nonsingular quasi-projective variety B, we show it is possible to find an affine bundle M'/ M that admits a perfect obstruction theory relative to B. We study the resulting virtual cycles on the fibers of M'/B and relate them to the image of the virtual cycle [M]^vir under refined Gysin homomorphisms. Our main application is when M is a moduli space of stable codimension 1 sheaves with a fixed determinant L on a nonsingular projective surface or Fano threefold, B is the linear …
We consider local-global principles for rational points on varieties, in particular torsors, over one-variable function fields over complete discretely valued fields. There are several notions of such principles, arising either from the valuation theory of the function field, or from the geometry of a regular model of the function field. Our results compare the corresponding obstructions, proving in particular that a local-global principle with respect to valuations implies a local-global principle with respect to a sufficiently fine regular model.
In this paper we collect some results on the obstruction spaces for rational surface singularities and minimally elliptic surface singularities. Based on the known results we calculate higher obstruction spaces for such surface singularities. The results imply that in general the higher obstruction spaces of deforming semi-log-canonical surfaces do not vanish. We apply the calculation result to show that there is no Li-Tian and Behrend-Fantechi style virtual fundamental class on such moduli space of semi-log-canonical surfaces.
For any scheme $M$ with a perfect obstruction theory, Jiang and Thomas associate a scheme $N$ with symmetric perfect obstruction theory. The scheme $N$ is a cone over $M$ given by the dual of the obstruction sheaf of $M$, and contains $M$ as its zero section. Locally $N$ is the critical locus of a regular function. In this note we prove that $N$ is a $d$-critical scheme in the sense of Joyce. By assuming an orientation on $N$ there exists a global motive for $N$ locally given by the motive of vanishing cycles of the local regular function. We prove a motivic localization formula under the good…
Local obstructions to the surjectivity of spectral morphisms
Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Max Planck Institute for Mathematics（马普数学研究所）
For a $G$-scheme $X$ with a given equivariant perfect obstruction theory, we prove a virtual equivariant Grothendieck-Riemann-Roch formula, this is an extension of a result of Fantechi-Göttsche to the equivariant context. We also prove a virtual non-abelian localization theorem for schemes over $\mathbb{C}$ with proper actions.
For $G$ a split semi-simple group scheme and $P$ a principal $G$-bundle on a relative curve $X\to S$, we study a natural obstruction for the triviality of $P$ on the complement of a relatively ample Cartier divisor $D \subset X$. We show, by constructing explicit examples, that the obstruction is nontrivial if $G$ is not simply connected but it can be made to vanish, if $S$ is the spectrum of a dvr (and some other hypotheses), by a faithfully flat base change. The vanishing of this obstruction is shown to be a sufficient condition for etale local triviality if $S$ is a smooth curve, and the si…
In this paper we study local-global principles for tori over semi-global fields, which are one variable function fields over complete discretely valued fields. In particular, we show that for principal homogeneous spaces for tori over the underlying discrete valuation ring, the obstruction to a local-global principle with respect to discrete valuations can be computed using methods coming from patching. We give a sufficient condition for the vanishing of the obstruction, as well as examples were the obstruction is nontrivial or even infinite. A major tool is the notion of a flasque resolution …
