Related papers: A Note on Formality and Singularities of Moduli Sp…
We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. Our main tool is the uniqueness of DG…
We study some formality criteria for differential graded algebras over differential graded operads. This unifies and generalizes other known approaches like the ones by Manetti and Kaledin. In particular, we construct general operadic…
Let $i: \mathrm{L} \hookrightarrow \mathrm{X}$ be a compact K\"{a}hler Lagrangian in a holomorphic symplectic variety $\mathrm{X}/\mathbf{C}$. We use deformation quantisation to show that the endomorphism differential graded algebra…
We provide proper foundations and proofs for the main results of [Ka]. The results include a flat base change for formality and behavior of formality in flat families of $A(\infty)$ and DG algebras.
Let F be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the DG-Lie algebra RHom(F,F) of derived endomorphisms of F is formal. The proof is based on the study of equivariant $L_{\infty}$ minimal models…
We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…
We explore various formality and finiteness properties in the differential graded algebra models for the Sullivan algebra of piecewise polynomial rational forms on a space. The 1-formality property of the space may be reinterpreted in terms…
We describe the constructible derived category of sheaves on the $n$-sphere, stratified in a point and its complement, as a dg module category of a formal dg algebra. We prove formality by exploring two different methods: As a combinatorial…
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…
We study de Rham character sheaves on a commutative connected algebraic group $G$, defined as multiplicative line bundles with integrable connection. We construct a group algebraic space $G^\flat$ representing their moduli problem on…
Moduli spaces of semistable sheaves on a K3 or abelian surface with respect to a general ample divisor are shown to be locally factorial, with the exception of symmetric products of a K3 or abelian surface and the class of moduli spaces…
Let overline{M}_{g,n} be the moduli space of stable algebraic curves of genus g with n marked points. With the operations which relate the different moduli spaces identifying marked points, the family (overline{M}_{g,n})_{g,n} is a modular…
An algebraizable singularity is a germ of a singular holomorphic foliation which can be defined in some appropriate local chart by a differential equation with algebraic coefficients. We show that there exists at least countably many…
In this article, $X$ will denote a ${\cal C}^{\infty}$ manifold. In a very famous article, Kontsevich showed that the differential graded Lie algebra (DGLA) of polydifferential operators on $X$ is formal. Calaque extended this theorem to…
Let $M(d,\chi)$ be the moduli space of semistable sheaves of rank 0, Euler characteristic $\chi$ and first Chern class $dH (d>0)$, with $H$ the hyperplane class in $\mathbb{P}^2$. We give a description of $M(d,\chi)$, viewing each sheaf as…
An important classification problem in Algebraic Geometry deals with pairs $(\E,\phi)$, consisting of a torsion free sheaf $\E$ and a non-trivial homomorphism $\phi\colon (\E^{\otimes a})^{\oplus b}\lra\det(\E)^{\otimes c}\otimes \L$ on a…
We prove a formality theorem for algebraic objects internal to smooth complex varieties that are not compact but whose mixed Hodge structure has a certain purity property.
The central aim of this monograph is to provide decomposition results for quasi-coherent sheaves on the moduli stack of one-dimensional formal groups. These results will be based on the geometry of the stack itself, particularly the height…
The aim of this paper is to study the singularities of certain moduli spaces of sheaves on K3 surfaces by means of Nakajima quiver varieties. The singularities in question arise from the choice of a non--generic polarization, with respect…
We study relations between the quadraticity of the Kuranishi family of a coherent sheaf on a complex projective scheme and the formality of the DG-Lie algebra of its derived endomorphisms. In particular, we prove that for a polystable…