SearcharxivSearch

arXiv subjects

D. Markushevich

Publications and source records attributed to D. Markushevich.

16 recordsLinked to original sources

Bubble tree compactification of moduli spaces of vector bundles on surfaces

In this article we announce some results on compactifying moduli spaces of rank-2 vector bundles on surfaces by spaces of vector bundles on trees of surfaces. This is thought as an algebraic counterpart of the so called bubbling of vector bundles and connections in differential geometry. The new moduli spaces are algebraic spaces arising as quotients by group actions according to a result of Kollár. As an example the compactification of the space of stable rank-2 vector bundles with Chern classes $c_1=0, c_1=2$ on the projective plane is studied in more detail. Proofs are only indicated and will appear in separate papers.

math.AG

Integrable systems from intermediate Jacobians of 5-folds

Given a cubic 4-fold $Y$, we provide an easy Hodge-theoretic proof of the following result of Iliev--Manivel: the relative intermediate Jacobian of the universal family of cubic 5-folds $Z$ extending $Y$ is a Lagrangian fibration.

math.AG

Moduli of symplectic instanton vector bundles of higher rank on projective space $\mathbb{P}^3$

Symplectic instanton vector bundles on the projective space $\mathbb{P}^3$ constitute a natural generalization of mathematical instantons of rank 2. We study the moduli space $I_{n,r}$ of rank-$2r$ symplectic instanton vector bundles on $\mathbb{P}^3$ with $r\ge2$ and second Chern class $n\ge r,\ n\equiv r({\rm mod}2)$. We give an explicit construction of an irreducible component $I^*_{n,r}$ of this space for each such value of $n$ and show that $I^*_{n,r}$ has the expected dimension $4n(r+1)-r(2r+1)$.

math.AG

Rationality of instanton moduli

Tikhomirov (2009) proved the irreducibility of the moduli space of mathematical instantons on the projective 3-space for all odd charges. The irreducibility for charges between 1 and 5 was known before. In the present paper, the rationality of the instanton moduli spaces is proved under the assumption of the irreducibility. So, in particular, the instanton moduli spaces are rational for all odd charges and for charges 2 and 4.

math.AG

Abel-Jacobi maps for hypersurfaces and non commutative Calabi-Yau's

It is well known that the Fano scheme of lines on a cubic 4-fold is a symplectic variety. We generalize this fact by constructing a closed p-form with p=2n-4 on the Fano scheme of lines on a (2n-2)-dimensional hypersurface Y of degree n. We provide several definitions of this form - via the Abel-Jacobi map, via Hochschild homology, and via the linkage class, and compute it explicitly for n = 4. In the special case of a Pfaffian hypersurface Y we show that the Fano scheme is birational to a certain moduli space of sheaves on a p-dimensional Calabi--Yau variety X arising naturally in the context of homological projective duality, and that the constructed form is induced by the holomorphic volume form on X. This remains true for a general non Pfaffian hypersurface but the dual Calabi-Yau becomes non commutative.

math.AG

A parametrization of the theta divisor of the quartic double solid

Let M(2;0,3) be the moduli space of rank-2 stable vector bundles with Chern classes c_1=0, c_2=3 on the Fano threefold X, the double solid of index two. We prove that the vector bundles obtained by Serre's construction from smooth elliptic quintic curves on X form an open part of an irreducible component M' of M(2;0,3) and that the Abel-Jacobi map F:M'-->J(X) into the intermediate Jacobian J(X) defined by the second Chern class is generically finite of degree 84 onto a translate of the theta divisor. We also prove that the family of elliptic quintics on a general X is irreducible and of dimension 10.

math.AG

Symplectic structures on moduli spaces of sheaves via the Atiyah class

Several situations are known when a holomorphic 2-form on a moduli space of sheaves over some base S is induced by a holomorphic 2-form on S. Moreover, the closedness of the 2-form on the base implies the closedness on the moduli space, which provides a stock of symplectic structures on moduli spaces (Mukai, Kobayashi, O'Grady, Tyurin, Huybrechts--Lehn). A parallel theory was developed for bivector fields and Poisson structures (Bottacin). However, there exist symplectic moduli spaces of sheaves over bases that have no holomorphic forms at all. A well-known example (Beauville--Donagi) is the family of lines on the cubic 4-fold Y, which can be thought of as the moduli space parameterizing the structure sheaves of lines in Y. The paper produces a general construction of closed 2-forms on the moduli spaces of sheaves, using the Atiyah class of the sheaves, and proves that this construction provides symplectic structures in 2 examples: the first one is the family of lines on Y, and the second one is the moduli space of sheaves which are supported on the hyperplane sections of Y and are cokernels of the Pfaffian representations of those hyperplane sections.

math.AG

New symplectic V-manifolds of dimension four via the relative compactified Prymian

Three new examples of 4-dimensional irreducible symplectic V-manifolds are constructed. Two of them are relative compactified Prymians of a family of genus-3 curves with involution, and the third one is obtained from a Prymian by Mukai's flop. They have the same singularities as two of Fujiki's examples, namely, 28 isolated singular points analytically equivalent to the Veronese cone of degree 8, but a different Euler number. The family of curves used in this construction forms a linear system on a K3 surface with involution. The structure morphism of both Prymians to the base of the family is a Lagrangian fibration in abelian surfaces with polarization of type (1,2). No example of such fibration is known on nonsingular irreducible symplectic varieties.

math.AG

Rational Lagrangian fibrations on punctual Hilbert schemes of K3 surfaces

A rational Lagrangian fibration f on an irreducible symplecitc variety V is a rational map which is birationally equivalent to a regular surjective morphism with Lagrangian fibers. By analogy with K3 surfaces, it is natural to expect that a rational Lagrangian fibration exists if and only if V has a divisor D with Bogomolov--Beauville square 0. This conjecture is proved in the case when V is the punctual Hilbert scheme of a generic algebraic K3 surface S. The construction of f uses a twisted Fourier--Mukai transform which induces a birational isomorphism of V with a certain moduli space of twisted sheaves on another K3 surface M, obtained from S as its Fourier--Mukai partner.

math.AG

Elliptic curves and rank-2 vector bundles on the prime Fano threefold of genus 7

According to Mukai, any prime Fano threefold X of genus 7 is a linear section of the spinor tenfold in the projectivized half-spinor space of Spin(10). It is proven that the moduli space of stable rank-2 vector bundles with Chern classes c_1=1,c_2=5 on a generic X is isomorphic to the curve of genus 7 obtained by taking an orthogonal linear section of the spinor tenfold. This is an inverse of Mukai's result on the isomorphism of a non-abelian Brill--Noether locus on a curve of genus 7 to a Fano threefold of genus 7. An explicit geometric construction of both isomorphisms and a similar result for K3 surfaces of genus 7 are given.

math.AG

Quartic 3-fold: Pfaffians, instantons and half-canonical curves

A generic quartic 3-fold X admits a 7-dimensional family of representations as the Pfaffian of an 8 by 8 skew-symmetric matrix of linear forms. This provides a 7-dimensional moduli space M of rank 2 vector bundles on X. A precise geometric description of a 14-dimensional family of half-canonical curves C of genus 15 in X such that the above vector bundles are obtained by Serre's construction from C is given. It is proved that the Abel-Jacobi map of this family factors through M, and the resulting map from M to the intermediate Jacobian is quasi-finite. In particular, every component of M has non-negative Kodaira dimension. Some other constructions of rank 2 vector bundles with small Chern classes are discussed; it is proved that the smallest possible charge of an instanton on X is 4.

math.AG

Symplectic structure on a moduli space of sheaves on the cubic fourfold

A 10-dimensional symplectic moduli space of torsion sheaves on the cubic 4-fold is constructed. It parametrizes the stable rank 2 vector bundles on the hypeplane sections of the cubic 4-fold which are obtained by Serre's construction from normal elliptic quintics. The natural projection to the dual projective 5-space parametrizing the hyperplane sections is a Lagrangian fibration. The symplectic structure is closely related (and conjecturally, is equal) to the quasi-symplectic one, induced by the Yoneda pairing on the moduli space.

math.AG

The Abel-Jacobi map for a cubic threefold and periods of Fano threefolds of degree 14

The Abel-Jacobi maps of the families of elliptic quintics and rational quartics lying on a smooth cubic threefold are studied. It is proved that their generic fiber is the 5-dimensional projective space for quintics, and a smooth 3-dimensional variety birational to the cubic itself for quartics. The paper is a continuation of the recent work of Markushevich-Tikhomirov, who showed that the first Abel-Jacobi map factors through the moduli component of stable rank 2 vector bundles on the cubic threefold with Chern numbers $c_1=0, c_2=2$ obtained by Serre's construction from elliptic quintics, and that the factorizing map from the moduli space to the intermediate Jacobian is étale. The above result implies that the degree of the étale map is 1, hence the moduli component of vector bundles is birational to the intermediate Jacobian. As an applicaton, it is shown that the generic fiber of the period map of Fano varieties of degree 14 is birational to the intermediate Jacobian of the associated cubic threefold.

math.AG

The Abel-Jacobi map of a moduli component of vector bundles on the cubic threefold

The Abel-Jacobi map of the family of elliptic quintics lying on a general cubic threefold is studied. It is proved that it factors through a moduli component of stable rank 2 vector bundles on the cubic threefold with Chern numbers c_1=0, c_2=2, whose general point represents a vector bundle obtained by Serre's construction from an elliptic quintic. The elliptic quintics mapped to a point of the moduli space vary in a 5-dimensional projective space inside the Hilbert scheme of curves, and the map from the moduli space to the intermediate Jacobian is étale. As auxiliary results, the irreducibility of families of elliptic normal quintics and of rational normal quartics on a general cubic threefold is proved. This implies the uniqueness of the moduli component under consideration. The techniques of Clemens-Griffiths and Welters are used for the calculation of the infinitesimal Abel-Jacobi map.

math.AG

Exceptional quotient singularities

A singularity is said to be exceptional (in the sense of V. Shokurov), if for any log canonical boundary, there is at most one exceptional divisor of discrepancy -1. In our previous paper (math.AG/9805004) we found two examples of exceptional canonical singularities: these are quotients by Klein's simple group of order 168 or by its central extension of order 504. Now we classify all the three-dimensional exceptional quotient singularities.

math.AG