Related papers: Formality conjecture for K3 surfaces

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…

Motivated by the question of rationality of cubic fourfolds, we show that a cubic X has an associated K3 surface in the sense of Hassett if and only if the variety F of lines on X is birational to a moduli space of sheaves on a K3 surface,…

Over an algebraically closed field, various finiteness results are known regarding the automorphism group of a K3 surface and the action of the automorphisms on the Picard lattice. We formulate and prove versions of these results over…

We generalize the multiple cover formula of Y. Toda (proved by Maulik-Thomas) for counting invariants for semistable coherent sheaves on local K3 surfaces to semistable twisted sheaves over twisted local K3 surfaces. The formula has an…

We prove that the weight-two Hodge structure of moduli spaces of torsion-free sheaves on a K3 surface is as described by Mukai (the rank is arbitrary but we assume the first Chern class is primitive). We prove the moduli space is an…

Let T be a compact torus and X a nice compact T-space (say a manifold or variety). We introduce a functor assigning to X a "GKM-sheaf" F_X over a "GKM-hypergraph" G_X. Under the condition that X is equivariantly formal, the ring of global…

We prove that a germ of a finite morphism of smooth surfaces is rigid if the germ of its branch curve has one of $ADE$-singularity types and establish a correspondence between the set of rigid germs and the set of Belyi rational functions…

Let $X$ be a K3 surface, and $H$ its primitive polarization of the degree $H^2=2rs$, $r,s\ge 1$. The moduli space of sheaves over $X$ with the isotropic Mukai vector $(r,H,s)$ is again a K3 surface, $Y$. In math.AG/0206158, math.AG/0304415…

We prove that stably isomorphic vector bundles of rank d-1 on a smooth affine d-fold X over an algebraically closed field k are indeed isomorphic, provided d! is invertible in k. This answers an old conjecture of Suslin.

Firstly we show a generalization of the (1,1)-Lefschetz theorem for projective toric orbifolds and secondly we prove that on 2k-dimensional quasi-smooth hypersurfaces coming from quasi-smooth intersection surfaces, under the Cayley trick,…

A K3 surface is a quaternionic analogue of an elliptic curve from a view point of moduli of vector bundles. We can prove the algebraicity of certain Hodge cycles and a rigidity of curve of genus eleven and gives two kind of descriptions of…

We prove rationality results for moduli spaces of elliptic K3 surfaces and elliptic rational surfaces with fixed monodromy groups.

We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent…

For infinitely many $d$, Hassett showed that special cubic fourfolds of discriminant $d$ are related to polarized K3 surfaces of degree $d$ via their Hodge structures. For half of the $d$, each associated K3 surface $(S,L)$ canonically…

It is proved that the associative differential graded algebra of (polynomial) polyvector fields on a vector space (may be infinite- dimensional) is quasi-isomorphic to the corresponding cohomological Hochschild complex of (polynomial)…

We prove the homological mirror symmetry conjecture of Kontsevich for K3 surfaces in the following form: The Fukaya category of a projective K3 surface is equivalent to the derived category of coherent sheaves on the mirror, which is a K3…

We prove the formality theorem for the differential graded Lie algebra module of Hochschild chains for the algebra of endomorphisms of a smooth vector bundle. We discuss a possible application of this result to a version of the algebraic…

Let X be an irreducible 2n-dimensional holomorphic symplectic manifold. A reflexive sheaf F is very modular, if its Azumaya algebra End(F) deforms with X to every Kahler deformation of X. We show that if F is a slope-stable reflexive sheaf…

Let X be a projective, equidimensional, singular scheme over an algebraically closed field. Then the existence of a geometric smoothing (i.e. a family of deformations of X over a smooth base curve whose generic fibre is smooth) implies the…

We give a criterion for the projectivisation of a reflexive sheaf on a klt space to be induced by a projective representation of the fundamental group of the smooth locus. This criterion is then applied to give a characterisation of finite…