Searcharxiv⌕ Search

arXiv subjects

Eyal Markman

Publications and source records attributed to Eyal Markman.

At least 19 recordsLinked to original sources
arXiv2025

Secant sheaves on abelian n-folds with real multiplication and Weil classes on abelian 2n-folds with complex multiplication

Let K be a CM-field, i.e., a totally complex quadratic extension of a totally real field F. Let X be a g-dimensional abelian variety admitting an algebra embedding of F into the rational endomorphisms End_Q(X) of X. Let A be the product of X and Pic^0(X). We construct an embedding e of K into End_Q(A) associated to a choice of an F-bilinear polarization h on X and a purely imaginary element q in K. We get the [K:Q]-dimensional subspace HW(A,e) of Hodge Weil classes in the d-th cohomology of A, where d:=4g/[K:Q]. Let V be the first cohomology of A. The even cohomology S^+ of X is the half-spin representation of the group Spin(V) and so the projectivization P(S^+) contains the even spinorial variety. The latter is a component of the Grassmannian of maximal isotropic subspaces of V. We associate to (h,q) a rational 2^[F:Q]-dimensional subspace B of S^+ such that P(B) is secant to the spinorial variety. Associated to two coherent sheaves G and G' on X with Chern characters in B we obtain the object E in D^b(A) by applying Orlov's equivalence between D^b(XxX) and D^b(A) to the outer tensor product of G and G'. The flat deformations of a normalized Chern class k(E) of E remain of Hodge type under every deformation of (A,e) as an abelian variety (A',e') of Weil type. We provide a criterion for the tensor product of ch(G) and ch(G') to belong to the open subset in the tensor square of B for which the algebraicity of the flat deformation of k(E) implies the algebraicity of all classes in HW(A',e'). The algebraicity would thus follow if E is semiregular in the appropriate sense. Examples of such secant sheaves G and G' are provided for X the Jacobian with real multiplication by a real quadratic number field F of a genus 4 curve. The semiregularity of E has not been addressed yet.

math.AG↗
arXiv2025

Secant sheaves and Weil classes on abelian varieties

Let K be a CM-field, i.e., a totally complex quadratic extension of a totally real field F. Let X be a g-dimensional abelian variety admitting an algebra embedding of F into the rational endomorphisms of X. Let A be the product of X and Pic^0(X). We construct an embedding e of K into the rational endomorphism algebra of A associated to a choice of an F-blilinear polarization on X and a totally imaginary element q in K. We get the [K:Q]-dimensional subspace HW(A,e) of Hodge Weil classes in the d-th cohomology of A, where d:=4g/[K:Q]. We detail a strategy for proving the algebraicity of the Weil classes on all deformation of (A,e,h) as a polarized abelian variety of split Weil type, where h is an e(K) compatible polarization. We then specialize to the case F=Q, so that K is an imaginary quadratic number field. We survey how the above strategy was used to prove the algebraicity of the Weil classes on polarized abelian sixfolds of split Weil type. The algebraicity of the Weil classes on all abelian fourfold of Weil type follows. The Hodge conjecture for abelian varieties of dimension at most 5 is known to follow from the latter result.

math.AG↗
arXiv2025

Cycles on abelian 2n-folds of Weil type from secant sheaves on abelian n-folds

A. Weil identified a 2-dimensional space of rational classes of Hodge type (n,n) in the middle cohomology of every 2n-dimensional abelian variety with a suitable complex multiplication by an imaginary quadratic number field. These abelian varieties are said to be of Weil type and these Hodge classes are known as Weil classes. We prove that the Weil classes are algebraic for all abelian sixfold of Weil type of discriminant -1, for all imaginary quadratic number fields. The algebraicity of the Weil classes follows for all abelian fourfolds of Weil type (for all discriminants and all imaginary quadratic number fields), by a degeneration argument of C. Schoen. The Hodge Conjecture for abelian fourfolds is known to follow from the above result.

math.AG↗
arXiv2023

Stable vector bundles on a hyper-Kahler manifold with a rank 1 obstruction map are modular

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 of positive rank and the obstruction map from the second Hochschild cohomology of X to $Ext^2(F,F)$ has rank 1, then F is very modular. We associate to such a sheaf a vector in the Looijenga-Lunts-Verbitsky lattice of rank equal to the second Betti number of X plus 2. Three sources of examples of such modular sheaves emerge. The first source consists of slope-stable reflexive sheaves F of positive rank which are isomorphic to the image of the structure sheaf via an equivalence of the derived categories of two irreducible holomorphic symplectic manifolds. The second source consists of such F, which are isomorphic to the image of a sky-scraper sheaf via a derived equivalence. The third source consists of images of torsion sheaves L supported as line bundles on holomorphic lagrangian submanifolds Z, such that Z deforms with X in co-dimension one in moduli and L is a rational power of the canonical line bundle of Z.

math.AG↗
arXiv2022

Rational Hodge isometries of hyper-Kahler varieties of K3[n]-type are algebraic

Let X and Y be compact hyper-Kahler manifolds deformation equivalence to the Hilbert scheme of length n subschemes of a K3 surface. A cohomology class in their product XxY is an analytic correspondence, if it belongs to the subring generated by Chern classes of coherent analytic sheaves. Let f be a Hodge isometry of their second rational cohomologies with respect to the Beauville-Bogomolov-Fujiki pairings. We prove that f is induced by an analytic correspondence. We furthermore lift f to an analytic correspondence F between their total rational cohomologies, which is a Hodge isometry with respect to the Mukai pairings, and which preserves the gradings up to sign. When X and Y are projective the correspondences f and F are algebraic.

math.AG↗
arXiv2022

The monodromy of generalized Kummer varieties and algebraic cycles on their intermediate Jacobians

We compute the subgroup of the monodromy group of a generalized Kummer variety associated to equivalences of derived categories of abelian surfaces. The result was previously announced in arXiv:1201.0031. Mongardi showed that the subgroup constructed here is in fact the whole monodromy group. As an application we prove the Hodge conjecture for the generic abelian fourfold of Weil type with complex multiplication by an arbitrary imaginary quadratic number field K, but only for polarizations with discriminant 1. The latter result is inspired by a recent observation of O'Grady that the third intermediate Jacobians of smooth projective varieties of generalized Kummer deformation type form complete families of abelian fourfolds of Weil type. Finally, we prove the surjectivity of the Abel-Jacobi map from the Chow group of co-dimension two algebraic cycles homologous to zero on every projective irreducible holomorphic symplectic manifold Y of Kummer type onto the third intermediate Jacobian of Y, as predicted by the generalized Hodge Conjecture.

math.AG↗
arXiv2018

The Beauville-Bogomolov class as a characteristic class

Let X be any compact Kahler manifold deformation equivalent to the Hilbert scheme of length n subschemes on a K3 surface, n>1. We construct over XxX a rank 2n-2 reflexive twisted sheaf E, which is locally free away from the diagonal. The characteristic classes of E are invariant under the diagonal action of an index two subgroup of the monodromy group. Given a point x in X, the restriction E_x of E to {x}xX has the following properties. (1) The characteristic class k_i(E_x) in H^{i,i}(X,Q) can not be expressed as a polynomial in classes of lower degree, if 1<i<(n+1)/2. (2) The Beauville-Bogomolov class is equal to c_2(TX)+2k_2(E_x).

math.AG↗
arXiv2017

Rigid hyperholomorphic sheaves remain rigid along twistor deformations of the underlying hyparkahler manifold

Let S be a K3 surface and M a smooth and projective 2n-dimensional moduli space of stable coherent sheaves on S. Over M x M there exists a rank 2n-2 reflexive hyperholomorphic sheaf E_M, whose fiber over a non-diagonal point (F,G) is Ext^1(F,G). The sheaf E_M can be deformed along some twistor path to a sheaf E_X over the cartesian square of every Kahler manifold X deformation equivalent to M. We prove that E_X is infinitesimally rigid, and the isomorphism class of the Azumaya algebra End(E_X) is independent of the twistor path chosen. This verifies conjectures in arXiv:1310.5782 and arXiv:1507.03108 on non-commutative deformations of K3 surfaces and renders the results of these two papers unconditional.

math.AG↗
arXiv2017

Stability of a natural sheaf over the cartesian square of the Hilbert scheme of points on a K3 surface

Let S be a K3 surface and S^[n] the Hilbert scheme of length n subschemes of S. Over the cartesian square of S^[n] there exists a natural reflexive rank 2n-2 coherent sheaf E, which is locally free away from the diagonal. The fiber of E, over a pair of ideal sheaves of distinct subschemes, is the vector space of extensions of the first ideal sheaf by the second. We prove that E is slope stable if the rank of the Picard group of S is less than or equal to 19. The Chern classes of End(E) are known to be monodromy invariant. Consequently, the sheaf End(E) is polystable-hyperholomorphic.

math.AG↗
arXiv2016

Naturality of the hyperholomorphic sheaf over the cartesian square of a manifold of $K3^{[n]}$-type

Let M be a 2n-dimensional smooth and compact moduli space of stable sheaves on a K3 surface S and U a universal sheaf over S x M. Over M x M there exists a natural reflexive sheaf E of rank 2n-2, namely the first relative extension sheaf of the two pullbacks of U to M x S x M. We prove that E is slope-stable with respect to every Kahler class on M. The sheaf E is known to deform to a sheaf E' over X x X, for every manifold X deformation equivalent to M, and we prove that E' is slope-stable with respect to every Kahler class on X. This triviality of the stability chamber structure combines with a result of S. Mehrotra and the author to show that the deformed sheaf E' is canonical. Consequently, the pretriangulated K3 category associated to the pair (X x X,E') in our earlier work with S. Mehrotra depends only on the isomorphism class of X.

math.AG↗
arXiv2015

Integral Transforms and Deformations of K3 Surfaces

Let X be a K3 surface and M a smooth and projective moduli space of stable sheaves on X of Mukai vector v. A universal sheaf U over X x M induces an integral transform F from the derived category D(X) of coherent sheaves on X to that on M. (1) We prove that the integral transform F is faithful. F is not full if the dimension of M is greater than 2. (2) We exhibit the full subcategory of D(M), consisting of objects in the image of F, as the quotient of a category, explicitly constructed from D(X), by a natural congruence relation defined in terms of the Mukai vector v. (3) Let C be a component of the moduli space of isomorphism classes of marked irreducible holomorphic symplectic manifolds deformation equivalent to the Hilbert scheme X^[n] of n points on a K3 surface X, n > 1. C is 21-dimensional, while the moduli of Kahler K3 surfaces is 20-dimensional. We construct a geometric deformation of the derived categories of K3 surfaces over a Zariski dense open subset of C, which coincides with D(X) whenever the marked manifold is a moduli space of sheaves on X satisfying a technical condition.

math.AG↗
arXiv2013

Lagrangian fibrations of holomorphic-symplectic varieties of K3^[n]-type

Let X be a compact Kahler holomorphic-symplectic manifold, which is deformation equivalent to the Hilbert scheme of length n subschemes of a K3 surface. Let L be a nef line-bundle on X, such that the 2n-th power of c_1(L) vanishes and c_1(L) is primitive. Assume that the two dimensional subspace H^{2,0}(X) + H^{0,2}(X), of the second cohomology of X with complex coefficients, intersects trivially the integral cohomology. We prove that the linear system of L is base point free and it induces a Lagrangian fibration on X. In particular, the line-bundle L is effective. A determination of the semi-group of effective divisor classes on X follows, when X is projective. For a generic such pair (X,L), not necessarily projective, we show that X is bimeromorphic to a Tate-Shafarevich twist of a moduli space of stable torsion sheaves, each with pure one dimensional support, on a projective K3 surface.

math.AG↗
arXiv2013

A global Torelli theorem for rigid hyperholomorphic sheaves

We prove a global Torelli theorem for the moduli space of marked triples (X,m,A), consisting of an irreducible holomorphic symplectic manifold X, a marking m of its second integral cohomology, and a stable and rigid sheaf A of Azumaya algebras on the cartesian product X^d, d>0, such that the second Chern class of A is invariant under a finite index subgroup of the monodromy group of X. The main example involves the rank 2n-2 sheaf over the cartesian square of holomorphic symplectic manifolds of K3[n]-type considered in the work of the first author arXiv:1105.3223. The result will be used in the authors forthcoming work on generalized deformations of K3 surfaces.

math.AG↗
arXiv2012

Prime exceptional divisors on holomorphic symplectic varieties and monodromy-reflections

Let X be a projective irreducible holomorphic symplectic manifold. The second integral cohomology of X is a lattice with respect to the Beauville-Bogomolov pairing. A divisor E on X is called a prime exceptional divisor, if E is reduced and irreducible and of negative Beauville-Bogomolov degree. Let E be a prime exceptional divisor on X. We first observe that associated to E is a monodromy involution of the integral cohomology of X, which acts on the second cohomology lattice as the reflection by the cohomology class of E (Theorem 1.1). We then specialize to the case that X is deformation equivalent to the Hilbert scheme of length n zero-dimensional subschemes of a K3 surface. We determine the set of classes of exceptional divisors on X (Theorem 1.11). This leads to a determination of the closure of the movable cone of X.

math.AG↗
arXiv2011

Hilbert schemes of K3 surfaces are dense in moduli

We prove that the locus of Hilbert schemes of n points on a projective K3 surface is dense in the moduli space of irreducible holomorphic symplectic manifolds of that deformation type. The analogous result for generalized Kummer manifolds is proven as well.

math.AG↗
arXiv2011

A survey of Torelli and monodromy results for holomorphic-symplectic varieties

We survey recent results about the Torelli question for holomorphic-symplectic varieties. Following are the main topics. A Hodge theoretic Torelli theorem. A study of the subgroup W, of the isometry group of the weight 2 Hodge structure, generated by reflection with respect to exceptional divisors. A description of the birational Kahler cone as a fundamental domain for the W-action on the positive cone. A proof of a weak version of Morrison's movable cone conjecture. A description of the moduli spaces of polarized holomorphic symplectic varieties as monodromy quotients of period domains of type IV.

math.AG↗