Related papers: Coherent sheaves on general K3 surfaces and tori
Given a coherent sheaf E on a scheme of finite type X over a perfect field, we introduce a category of complexes of \'etale sheaves on X with logarithmic conductors bounded by E and study its compatibilities with finite push-forward.
Let $X$ be a K3 surface, and $H$ its primitive polarization of the degree $H^2=8$. The moduli space of sheaves over $X$ with the isotropic Mukai vector $(2,H,2)$ is again a K3 surface, $Y$. In math.AG/0206158 we gave necessary and…
We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…
Given a compact complex manifold, the purpose of this paper is to construct the Chern character for coherent sheaves with values in Bott-Chern cohomology, and to prove a corresponding Riemann-Roch-Grothendieck formula. Our paper is based on…
We show that the general Enriques surface can be recovered from the Kuznetsov component of its bounded derived category of coherent sheaves.
When a non-singular complex projective surface $X$ satisfies that $K_X\sim 0$, we shall show that there are only finitely many isomorphic classes as abstract schemes in the set of moduli scheme of $H$-semistable sheaves with fixed Chern…
The main objective of the present paper is to set up the theoretical basis and the language needed to deal with the problem of direct images of hermitian vector bundles for projective non-necessarily smooth morphisms. To this end, we first…
A principal torus bundle over a complex manifold with even dimensional fiber and characteristic class of type $(1,1)$ admits a family of regular generalized complex structures (GCS) with the fibers as leaves of the associated symplectic…
We construct geometric categorical Lie algebra actions on the derived category of coherent sheaves on Nakajima quiver varieties. These actions categorify Nakajima's construction of Kac-Moody algebra representations on the K-theory of quiver…
We give an existence result on (H,A)-stable sheaves on a K3 or abelian surface X with primitive triple of invariants (rank,first Chern class,Euler characteristics) in the integral cohomology lattice. Such a result yields the existence of…
In this note we introduce exact sequences of sheaves on a complete smooth k*-surface without elliptic points. These sequences are an attempt to generalize the Euler sequence for a toric variety to complexity one surfaces. As an application…
Let K be a compact Lie group and G its complexification. For a not necessarily reduced Stein K-space X we show that there is a complex space Z endowed with a holomorphic action of the universal complexification G of K that contains X as an…
This paper studies curves on quartic K3 surfaces, or more generally K3 surfaces which are complete intersection in weighted projective spaces. A folklore conjecture concerning rational curves on K3 surfaces states that all K3 surfaces…
Let $X_N$ be the second infinitesimal neighborhood of a closed point in $N$-dimensional affine space. In this note we study $D^b(coh\, X_N)$, the bounded derived category of coherent sheaves on $X_N$. We show that for $N\geq 2$ the lattice…
In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable $\infty$-category…
We prove two results regarding Hodge structures appearing in the cohomology of complex tori. First, we prove that if a polarizable Hodge structure appears in the cohomology of a complex torus $T$, it appears in the cohomology of an abelian…
For compact CR manifolds of hypersurface type which embed in complex projective space, we show that for all k large enough there exist linear systems of ${\mathcal{O}}(k)$ which when restricted to the CR manifold are generic in a suitable…
We study the derived categories of coherent sheaves on Gushel-Mukai varieties. In the derived category of such a variety, we isolate a special semiorthogonal component, which is a K3 or Enriques category according to whether the dimension…
A compact solvmanifold of completely solvable type, i.e. a compact quotient of a completely solvable Lie group by a lattice, has a K\"ahler structure if and only if it is a complex torus. We show more in general that a compact solvmanifold…
The Shafarevich conjecture for K3 surfaces asserts the finiteness of isomorphism classes of K3 surfaces over a fixed number field admitting good reduction away from a fixed finite set of finite places. Andr\'{e} proved this conjecture for…