Examples of Hyperkähler Manifolds as Moduli Spaces of Sheaves on K3 Surfaces
نویسنده
چکیده
A compact Kähler surface X is a K3 surface if it is simply connected and it carries a global homolorphic symplectic form (i.e. the canonical bundle KX ∼= OX). An example is given by the Fermat quartic: consider the degree four polynomial P (X0, ..., X3) = X 4 0 + X 4 1 + X 4 2 + X 4 3 ∈ C[X0, ..., X3]. The vanishing locus S = V (P ) is an irreducible quartic hypersurface in PC, which is simply connected by the Lefschetz Hyperplane Theorem, and has canonical bundle KS = (OP3(−4) ⊗ OP3(4))|S ∼= OS by adjunction. Hence, the surface S is a K3 surface and, by applying the same reasoning verbatim, every irreducible quartic hypersurface in PC is. K3 surfaces play a fundamental role in the classification of algebraic surfaces, hence it is natural to look for generalizations in higher dimensions. The following (beautiful) classification theorem motivates the definition of a hyperkähler manifold (HK):
منابع مشابه
Stable Rank-2 Bundles on Calabi-yau Manifolds
Recently there is a surge of research interest in the construction of stable vector bundles on Calabi-Yau manifolds motivated by questions from string theory. An interesting aspect of the moduli spaces of stable sheaves on Calabi-Yau manifolds is their relation to the higher dimensional gauge theory studied by Donaldson, R. Thomas and Tian et al. [D-T, Tho, Tia]. A holomorphic Casson invariant ...
متن کاملInstanton Strings and HyperKähler Geometry
We discuss two-dimensional sigma models on moduli spaces of instantons on K3 surfaces. These N = (4, 4) superconformal field theories describe the near-horizon dynamics of the D1-D5-brane system and are dual to string theory on AdS3. We derive a precise map relating the moduli of the K3 type IIB string compactification to the moduli of these conformal field theories and the corresponding classi...
متن کاملSome Examples of Isomorphisms Induced by Fourier-mukai Functors
In order to investigate sheaves on abelian varieties, Mukai [Mu1] introduced a very powerful tool called Fourier-Mukai functor. As an application, Mukai ([Mu1], [Mu4]) computed some moduli spaces of stable sheaves on abelian varieties. Recently, Dekker [D] found some examples of isomorphisms of moduli spaces of sheaves induced by Fourier-Mukai functors. As an application, he proved that moduli ...
متن کاملProjective bundles over hyperkähler manifolds and stability of Fourier-Mukai transform
Let M be a K3 surface or a 2-dimensional compact torus, B a stable bundle on M , and X the coarse moduli of stable deformations of B. The Fourier-Mukai transform is a functor FM : Db(M)−→Db(X), where Db(M), Db(X) denotes the derived category of coherent sheaves on M , X . Consider a stable bundle B1 on M , and let FM(B1) be the corresponding complex of coherent sheaves onX . AssumeX is compact....
متن کاملOn the Strange Duality Conjecture for Elliptic K 3 Surfaces
We consider moduli spaces of semistable sheaves on an elliptically fibered K3 surface, so that the first Chern class of the sheaves is a numerical section. For pairs of complementary such moduli spaces subject to numerical restrictions, we establish the strange duality isomorphism on sections of theta line bundles.
متن کامل