Related papers: On the deformation theory of pair (X, E)

We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…

We develop a theory of quasimaps to a moduli space of sheaves $M$ on a surface $S$. Under some assumptions, we prove that moduli spaces of quasimaps are proper and carry a perfect obstruction theory. Moreover, they are naturally isomorphic…

We present a new method for constructing virtual cycles for rank-2 Higgs sheaves $(E,\phi)$ on a smooth projective surface $S$. Using this, we redefine the $\mathbf{SU}(2)$-perfect obstruction theory previously constructed by Tanaka-Thomas.…

Let $A$ be a regular ring over a field $k$, with $1/2\in k$ and dimension $d$. We discuss the Homotopy Conjecture of Madhav V. Nori, in the complete intersection case (meaning when the projective module in question if free, of rank at least…

Let f : Y -> X be a morphism of complex projective manifolds, and let F be a subsheaf of the tangent bundle which is closed under the Lie bracket, but not necessarily a foliation. This short paper contains an elementary and very geometric…

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…

Let $X$ be a complete $\mathbb{Q}$-factorial toric variety. We explicitly describe the space $H^2(X,T_X)$ and the cup product map $H^1(X,T_X)\times H^1(X,T_X)\to H^2(X,T_X)$ in combinatorial terms. Using this, we give an example of a smooth…

We compare the obstruction classes defined in arXiv:1101.4069 to those defined by Illusie. We also give sheaf theoretic proofs of some of the standard properties of the cotangent complex.

We prove by induction on dimension the Hodge conjecture for smooth complex projective varieties. Let $X$ be a smooth complex projective variety. Then $X$ is birational to a possibly singular projective hypersurface, hence to a smooth…

We give an exposition of the formal aspects of deformation theory in the language of fibered categories, instead of the more traditional one of functors. The main concepts are that of tangent space to a deformation problem, obstruction…

Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…

To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…

Let $\text{X}$ denote a projective variety over an algebraically closed field on which a linear algebraic group acts with finitely many orbits. Then, a conjecture of Soergel and Lunts in the setting of Koszul duality and Langlands'…

We exhibit examples of pairs $(X,D)$ where $X$ is a smooth projective variety and $D$ is an anticanonical reduced simple normal crossing divisor such that the deformations of $(X,D)$ are obstructed. These examples are constructed via toric…

We show that the space of first-order deformations of an orthogonal (resp. symplectic) sheaf over a smooth projective scheme is the first hypercohomology space of a complex which is naturally constructed out of the orthogonal (resp.…

We develop the deformation-obstruction calculus for morphisms of complexes with a fixed lift of the codomain, to derived categories of flat nilpotent deformations of abelian categories. As an application, we give an alternative proof that…

We continue our study of the Noether-Lefschetz loci in toric varieties and investigate deformation of pairs (V,X) where V is a complete intersection subvariety and X a quasi-smooth hypersurface in a odd dimensional simplicial projective…

We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called…

Let $X$ be a smooth threefold with a simple normal crossings divisor $D$. We construct the Donaldson-Thomas theory of the pair $(X|D)$ enumerating ideal sheaves on $X$ relative to $D$. These moduli spaces are compactified by studying…

Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting…