Related papers: The Eilenberg-Watts theorem over schemes
In a previous paper, a realization of the moduli space of framed torsion-free sheaves on Hirzebruch surfaces in terms of monads was given. We build upon that result to construct ADHM data for the Hilbert scheme of points of the total space…
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…
We prove the following result: Let B be a smooth, irreducible, quasi-projective variety over the complex numbers and assume that B has a projective compactification \bar{B} such that \bar{B} - B is of codimension at least two in \bar{B}.…
We study rational cuspidal curves in Hirzebruch surfaces. We provide two obstructions for the existence of rational cuspidal curves in Hirzebruch surfaces with prescribed types of singular points. The first result comes from Heegaard--Floer…
We construct a new autoequivalence of the derived category of the Hilbert scheme of n points on a K3 surface, and of the variety of lines on a smooth cubic 4-fold. For Hilb^2 and the variety of lines, we use the theory of spherical…
Progress on the problem whether the Hilbert schemes of locally Cohen-Macaulay curves in projective 3 space are connected has been hampered by the lack of an answer to a question that was raised by Robin Hartshorne in his paper "On the…
Let $X$ be a smooth projective curve over an algebraically closed field $k$. Let $\mathcal{G}$ be a parahoric group scheme on $X$ as in \cite{pr}. Via the principle of Hecke correspondences, we set-up relationships between the cohomology of…
We use Donaldson invariants of regular surfaces with p_g >0 to make quantitative statements about modulispaces of stable rank 2 sheaves. We give two examples: a quantitative existence theorem for stable bundles, and a computation of the…
We study some of the local properties of the fiber-full scheme, which is a fine moduli space that generalizes the Hilbert scheme by parametrizing closed subschemes with prescribed cohomological data. As a consequence, we provide sufficient…
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…
We prove two results about vector bundles on singular algebraic surfaces. First, on proper surfaces there are vector bundles of rank two with arbitrarily large second Chern number and fixed determinant. Second, on separated normal surfaces…
We give the first examples of nef line bundles on smooth projective varieties over finite fields which are not semi-ample. More concretely, we find smooth curves on smooth projective surfaces over finite fields such that the normal bundle…
For coalgebras $C$ and $D$, Takeuchi proved that the category of linear functors from $\mathfrak{M}^C$ to $\mathfrak{M}^D$ preserving small coproducts is equivalent to the category of $C$-$D$-bicomodules, where $\mathfrak{M}^C$ for a…
We find a new obstruction for a real Einstein 4-orbifold with an A1-singularity to be a limit of smooth Einstein 4-manifolds. The obstruction is a curvature condition at the singular point. For asymptotically hyperbolic metrics, with…
Suppose $X$ is a smooth projective scheme of finite type over a field $K$, $\mathcal{E}$ is a locally free ${\mathcal{O}}_{X}$-bimodule of rank 2, $\mathcal{A}$ is the non-commutative symmetric algebra generated by $\mathcal{E}$ and ${\sf…
When can a map between manifolds be deformed away from itself? We describe a (normal bordism) obstruction which is often computable and in general much stronger than the classical primary obstruction in cohomology. In particular, it answers…
The Lefschetz fixed point theorem provides a powerful obstruction to the existence of minimal homeomorphisms on well-behaved spaces such as finite CW-complexes. We show that these obstructions do not hold for more general spaces. More…
For a smooth finite cyclic covering over a projective space of dimension greater than one, we show that the group of automorphisms acts faithfully on the cohomology except for a few cases. In characteristic zero, we study the equivariant…
Given any finite quiver, we consider a complete flag of vector spaces over each vertex. Consider the unipotent invariant subalgebra of the coordinate ring of the filtered quiver representation subspace. We prove that the dimension of the…
This article contains a proof of the basic lemma. This lemma, discovered by Beilinson, yields a motivic proof of the Andreotti-Frankel theorem for affine varieties. Next, it is shown that the category of Cohomologically Constructible…