Related papers: Counting stable sheaves on singular curves and sur…
We define a perfect obstruction theory for a moduli of symplectic Higgs sheaves $(E,\phi)$ on projective surfaces $S$. Key to this is a minimality assumption on $\textrm{ch}(E)$ that forces all $E$ to be locally free. This might have…
Fujita's second theorem for K\"ahler fibre spaces over a curve asserts that the direct image $V$ of the relative dualizing sheaf splits as the direct sum $ V = A \oplus Q$, where $A$ is ample and $Q$ is unitary flat. We focus on our…
Let $X$ be a smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$ of $\dim X\geq 4$ and Picard number $\rho(X)=1$. Suppose that $X$ satisfies $H^i(X,F^{m*}_X(\Omg^j_X)\otimes\Ls^{-1})=0$ for any ample…
For any smooth complex projective surface $S$, we construct semistable refined Vafa-Witten invariants of $S$ which prove the main conjecture of arXiv:1810.00078. This is done by extending part of Joyce's universal wall-crossing formalism to…
We show that if M is a surface bundle over S^1 with fiber of genus 2, then for any integer n, M has a finite cover tilde(M) with b_1(tilde(M)) > n. A corollary is that M can be geometrized using only the `non-fiber' case of Thurston's…
Let \pi : V \rightarrow M be a (real or holomorphic) vector bundle whose base has an almost Frobenius structure (\circ_{M},e_{M}, g_{M}) and typical fiber has the structure of a Frobenius algebra (\circ_{V},e_{V},g_{V}). Using a connection…
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…
In the Simpson moduli space $M$ of semi-stable sheaves with Hilbert polynomial $dm-1$ on a projective plane we study the closed subvariety $M'$ of sheaves that are not locally free on their support. We show that for $d\ge 4$ it is a…
We study quotients of quasi-affine schemes by unipotent groups over fields of characteristic 0. To do this, we introduce a notion of stability which allows us to characterize exactly when a principal bundle quotient exists and, together…
Some coherent sheaves on projective varieties have a non reduced versal deformation space. For example, this is the case for most unstable rank 2 vector bundles on ${\mathbb P}_2$. In particular, it may happen that some moduli spaces of…
Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique for proving the existence of closed subschemes H/S of X/S with various favorable properties. We offer several applications of this technique,…
Let $M$ be a hyperkaehler manifold, and $F$ a torsion-free and reflexive coherent sheaf on $M$. Assume that $F$ (outside of its singularities) admits a connection with a curvature which is invariant under the standard SU(2)-action on…
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…
Let $\pi:Y\to X$ be a surjective morphism between two irreducible, smooth complex projective varieties with ${\rm dim}Y>{\rm dim}X >0$. We consider polarizations of the form $L_c=L+c\cdot\pi^*A$ on $Y$, with $c>0$, where $L,A$ are ample…
We construct a natural branch divisor for equidimensional projective morphisms where the domain has lci singularities and the target is nonsingular. The method involves generalizing a divisor contruction of Mumford from sheaves to…
We study the cohomological classification of vector bundles on smooth real affine surfaces and threefolds. We show that, as was observed in joint work in A. Asok and J. Fasel and in a coming joint paper with S. Banerjee and J. Fasel, under…
Given a generic family $Q$ of 2-dimensional quadrics over a smooth 3-dimensional base $Y$ we consider the relative Fano scheme $M$ of lines of it. The scheme $M$ has a structure of a generically conic bundle $M \to X$ over a double covering…
This note is but a research announcement, summarizing and explaining results proven and detailed in forthcoming papers. When one studies families of objects over curves, and the objects are parametrized by a Deligne-Mumford stack M, then…
We find some equivalences of the derived category of coherent sheaves on a Gorenstein genus one curve that preserve the (semi)-stability of pure dimensional sheaves. Using them we establish new identifications between certain Simpson moduli…
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…