We show that the Looijenga--Lunts--Verbitsky Lie algebra acting on the cohomology of a hyperkähler variety is a derived invariant, and obtain from this a number of consequences for the action on cohomology of derived equivalences between hyperkähler varieties.
This includes a proof that derived equivalent hyperkähler varieties have isomorphic $\mathbf{Q}$-Hodge structures, the construction of a rational `Mukai lattice' functorial for derived equivalences, and the computation (up to index 2) of the image of the group of auto-equivalences on the cohomology of certain Hilbert squares of K3 surfaces.
Toric hyperk{ä}hler manifolds are quaternion analog of toric varieties. Bielawski pointed out that they can be glued by cotangent bundles of toric varieties. Following his idea, viewing both toric varieties and toric hyperk{ä}her manifolds as GIT quotients, we first establish geometrical criteria for the semi-stable points. Then based on these criteria, we show that the cotangent bundles of compact toric varieties in the core of toric hyperk{ä}hler manifold are sufficient to glue the desired toric hyperk{ä}hler manifold.
We introduce a class of almost homogeneous varieties contained in the class of spherical varieties and containing horospherical varieties as well as complete symmetric varieties. We develop K{ä}hler geometry on these varieties, with applications to canonical metrics in mind, as a generalization of the Guillemin-Abreu-Donaldson geometry of toric varieties. Namely we associate convex functions with hermitian metrics on line bundles, and express the curvature form in terms of this function, as well as the corresponding Monge-Amp{è}re volume form and scalar curvature. We then provide an expression…
We show how one can construct new autoequivalences of some Calabi-Yau and hyperk"ahler varieties by passing from a smooth projective surface to the associated Hilbert scheme of points.
Motivated by the Bloch-Beilinson conjectures, Voisin has made a conjecture concerning zero-cycles on self-products of Calabi-Yau varieties. We reformulate Voisin's conjecture in the setting of hyperkähler varieties, and we prove this reformulated conjecture for one family of hyperkähler fourfolds.
In this paper we survey geometric and arithmetic techniques to study the cohomology of semiprojective hyperkaehler manifolds including toric hyperkaehler varieties, Nakajima quiver varieties and moduli spaces of Higgs bundles on Riemann surfaces. The resulting formulae for their Poincare polynomials are combinatorial and representation theoretical in nature. In particular we will look at their Betti numbers and will establish some results and expectations on their asymptotic shape.
We propose two conjectures on a moduli theoretic approach to constructing Lagrangian subvarieties of hyperkähler varieties arising from the Kuznetsov components of cubic fourfolds or Gushel--Mukai fourfolds. Then we verify the conjectures in several cases, recovering classical examples. As a corollary, we confirm a conjecture of O'Grady in several instances on the existence of Lagrangian covering families for hyperkähler varieties.
Jieao Song recently conjectured a formula for the class of a Lagrangian plane on a hyperkähler variety of $K3^{[n]}$-type in terms of the class of a line on it. We give a proof of this conjecture if the line class is primitive.
We study the Lefschetz standard conjecture on a smooth complex projective variety X. In degree 2, we reduce it to a local statement concerning deformations of vector bundles on X. When X is hyperkähler, we show that the existence of nontrivial deformations of stable hyperholomorphic bundles implies the Lefschetz standard conjecture in codimension 2.
We study the Mumford--Tate conjecture for hyperkähler varieties. We show that the full conjecture holds for all varieties deformation equivalent to either an Hilbert scheme of points on a K3 surface or to O'Grady's ten dimensional example, and all of their self-products. For an arbitrary hyperkähler variety whose second Betti number is not 3, we prove the Mumford--Tate conjecture in every codimension under the assumption that the Künneth components in even degree of its André motive are abelian. Our results extend a theorem of André.
Let $X$ be a hyperkähler variety, and let $Z\subset X$ be a Lagrangian subvariety. Conjecturally, $Z$ should have trivial intersection with certain parts of the Chow ring of $X$. We prove this conjecture for certain Hilbert schemes $X$ having a Lagrangian fibration, and $Z\subset X$ a general fibre of the Lagrangian fibration.
This note contains some examples of hyperkähler varieties $X$ having a group $G$ of non-symplectic automorphisms, and such that the action of $G$ on certain Chow groups of $X$ is as predicted by Bloch's conjecture. The examples range in dimension from $6$ to $132$. For each example, the quotient $Y=X/G$ is a Calabi-Yau variety which has interesting Chow-theoretic properties; in particular, the variety $Y$ satisfies (part of) a strong version of the Beauville-Voisin conjecture.
Consider the moduli space $M_C(r; K_C)$ of stable rank r vector bundles on a curve $C$ with canonical determinant, and let $h$ be the maximum number of linearly independent global sections of these bundles. If $C$ embeds in a K3 surface $X$ as a generator of $Pic(X)$ and the genus $g$ of $C$ is sufficiently high, we show the Brill-Noether locus $BN_C \subset M_C(r; K_C)$ of bundles with $h$ global sections is a smooth projective Hyperkähler manifold of dimension $2g -2r \lfloor \frac{g}{r}\rfloor$, isomorphic to a moduli space of stable vector bundles on $X$.
We prove some results on effective very ampleness and projective normality for some varieties with trivial canonical bundle. In the first part we prove an effective projective normality result for an ample line bundle on regular smooth four-folds with trivial canonical bundle. More precisely we show that for a regular smooth fourfold with trivial canonical bundle, $A^{\otimes 15}$ is projectively normal for $A$ ample. In the second part we emphasize on the projective normality of multiples of ample and globally generated line bundles on certain classes of known examples (upto deformation) of p…
A torsion free sheaf on a hyperkähler variety $X$ is modular if the discriminant satisfies a certain condition, for example if it is a multiple of $c_2(X)$ the sheaf is modular. The definition is taylor made for torsion-free sheaves on a polarized hyperkähler variety (X,h) which deform to all small deformations of (X,h). For hyperkählers deformation equivalent to $K3^{[2]}$ we prove an existence and uniqueness result for slope-stable modular vector bundles with certain ranks, $c_1$ and $c_2$. As a consequence we get uniqueness up to isomorphism of the tautological quotient rank $4$ vector bund…
We propose an explicit conjectural lift of the Neron-Severi Lie algebra of a hyperkähler variety $X$ of $K3^{[2]}$-type to the Chow ring of correspondences ${\rm CH}^\ast(X \times X)$ in terms of a canonical lift of the Beauville-Bogomolov class obtained by Markman. We give evidence for this conjecture in the case of the Hilbert scheme of two points of a $K3$ surface and in the case of the Fano variety of lines of a very general cubic fourfold. Moreover, we show that the Fourier decomposition of the Chow ring of $X$ of Shen and Vial agrees with the eigenspace decomposition of a canonical lift …
Let $X$ be a hyperkähler variety, and let $G$ be a group of finite order non-symplectic automorphisms of $X$. Beauville's conjectural splitting property predicts that each Chow group of $X$ should split in a finite number of pieces. The Bloch-Beilinson conjectures predict how $G$ should act on these pieces of the Chow groups: certain pieces should be invariant under $G$, while certain other pieces should not contain any non-trivial $G$-invariant cycle. We can prove this for two pieces of the Chow groups when $X$ is the Hilbert scheme of a $K3$ surface and $G$ consists of natural automorphisms.…
Kawamata proposed a conjecture predicting that every nef and big line bundle on a smooth projective variety with trivial first Chern class has nontrivial global sections. We verify this conjecture for several cases, including (i) all hyperkähler varieties of dimension $\leq 6$; (ii) all known hyperkähler varieties except for O'Grady's 10-dimensional example; (iii) general complete intersection Calabi-Yau varieties in certain Fano manifolds (e.g. toric ones). Moreover, we investigate the effectivity of Todd classes of hyperkähler varieties and Calabi-Yau varieties. We prove that the fourth Todd…
In this paper we study the gonality of the normalizations of curves in the linear system $|H|$ of a general primitively polarized complex $K3$ surface $(S,H)$ of genus $p$. We prove two main results. First we give a necessary condition on $p, g, r, d$ for the existence of a curve in $ |H|$ with geometric genus $g$ whose normalization has a $g^ r_d$. Secondly we prove that for all numerical cases compatible with the above necessary condition, there is a family of \emph{nodal} curves in $|H|$ of genus $g$ carrying a $g^1_k$ and of dimension equal to the \emph{expected dimension} $\min\{2(k-1),g\…
We construct a new autoequivalence of the derived category of the Hilbert scheme of n points on a K3 surface, and of the variety of lines on a smooth cubic 4-fold. For Hilb^2 and the variety of lines, we use the theory of spherical functors; to deal with Hilb^n for n > 2 we develop a theory of P-functors. We conjecture that the same construction yields an autoequivalence for any moduli space of sheaves on a K3 surface. In an appendix we give a cohomology and base change criterion which is well-known to experts, but not well-documented.
In the moduli space of polarized varieties the same unpolarized variety can occur multiple times However, for K3 surfaces, compact hyperkähler manifolds, and abelian varieties the number is finite. This may be viewed as a consequence of the Kawamata-Morrison cone conjecture. In this note we provide a proof of this finiteness not relying on the cone conjecture and, in fact, not even on the global Torelli theorem. Instead, it uses the geometry of the moduli space of polarized varieties to conclude the finiteness by means of Baily-Borel type arguments. We also address related questions concerning…
For algebraic varieties defined by hyperkahler or, more generally, algebraic symplectic reduction, it is a long-standing question whether the "hyperkahler Kirwan map" on cohomology is surjective. We resolve this question in the affirmative for Nakajima quiver varieties. We also establish similar results for other cohomology theories and for the derived category. Our proofs use only classical topological and geometric arguments.
In this paper we define the notion of a hyperkähler manifold (potentially) of Jacobian type. If we view hyperkähler manifolds as "abelian varieties", then those of Jacobian type should be viewed as "Jacobian varieties". Under a minor assumption on the polarization, we show that a very general polarized hyperkähler fourfold $F$ of $K3^{[2]}$-type is not of Jacobian type. As a potential application, we conjecture that if a cubic fourfold is rational then its variety of lines is of Jacobian type. Under some technical assumption, it is proved that the variety of lines on a rational cubic fourfold …
Given a smooth projective variety $M$ endowed with a faithful action of a finite group $G$, following Jarvis-Kaufmann-Kimura and Fantechi-Göttsche, we define the orbifold motive (or Chen-Ruan motive) of the quotient stack $[M/G]$ as an algebra object in the category of Chow motives. Inspired by Ruan, one can formulate a motivic version of his Cohomological HyperKähler Resolution Conjecture. We prove this motivic version, as well as its K-theoretic analogue conjectured by Jarvis-Kaufmann-Kimura, in two situations related to an abelian surface $A$ and a positive integer $n$. Case (A) concerns Hi…
One of the main tools for the study of compact hyperkähler manifolds is the natural action of the Looijenga-Lunts-Verbitsky Lie algebra on the cohomology of such manifolds. This also applies to the mildly singular holomorphic symplectic varieties - hyperkähler orbifolds, allowing us to prove that André motives of such orbifolds tend to be abelian.
We introduce the fibred toric varieties as equivariant $\mathbb{C}P^r$ bundles over lower dimensional toric varieties. An equivalent characterization is that the natural morphisms on them degenerate to bundle projections in the context of variation of toric varieties as GIT quotients. Our main observation is that these fibred toric varieties also arise naturally in the variation of hyperkähler varieties, namely, the fibred toric varieties are contained in the exceptional sets of the hyperkähler natural morphisms and the Mukai flops.
We review a proof of the well know result stating that moduli spaces of stable sheaves with fixed Chern character on a polarized $K3$ surface are deformations of a hyperkähler variety of Type $K3^{[n]}$ (if a suitable numerical hypothesis is satisfied). In a recent work we have adapted that proof in order to prove results on moduli of vector bundles on polarized hyperkähler varieties of Type $K3^{[2]}$ - this is the content of the second part of the paper.
Let $X$ be a hyperkähler variety, and assume that $X$ admits a non-symplectic automorphism $σ$ of order $k>{1\over 2}\dim X$. Bloch's conjecture predicts that the quotient $X/<σ>$ should have trivial Chow group of $0$-cycles. We verify this for Fano varieties of lines on certain cubic fourfolds having an order $3$ non-symplectic automorphism.
This note concerns hyperkähler fourfolds $X$ having a non-symplectic involution $ι$. The Bloch-Beilinson conjectures predict the way $ι$ should act on certain pieces of the Chow groups of $X$. The main result is a verification of this prediction for Fano varieties of lines on certain cubic fourfolds. This has consequences for the Chow ring of the quotient $X/ι$.
Let $X$ be a hyperkähler variety, and assume $X$ has a non-symplectic automorphism $σ$ of order $>{1\over 2}\dim X$. Bloch's conjecture predicts that the quotient $X/<σ>$ should have trivial Chow group of $0$-cycles. We verify this for Fano varieties of lines on certain special cubic fourfolds having an order $3$ non--symplectic automorphism.
In this paper we study the gonality of the normalizations of curves in the linear system $|H|$ of a general primitively polarized $K3$ surface $(S,H)$ of genus $p$. We prove two main results. First we give a necessary condition on $p, g, k$ for the existence of a curve in $|H|$ with geometric genus $g$ whose normalization has a $g^ 1_k$. Secondly we prove that for $p$ even and all numerical cases compatible with the above necessary condition, there is a family of \emph{nodal} curves $|H|$ with the given $g,k$ and of dimension equal to the \emph{expected dimension} $\min\{2(k-1),g\}$. For odd $…
This article is about hyperkähler fourfolds $X$ admitting a non-symplectic involution $ι$. The Bloch-Beilinson conjectures predict the way $ι$ should act on certain pieces of the Chow groups of $X$. The main result is a verification of this prediction for Fano varieties of lines on certain cubic fourfolds. This has some interesting consequences for the Chow ring of the quotient $X/ι$.
Terminalizations of quotients of compact hyperkähler manifolds by induced symplectic automorphisms
Università di Genova（热那亚大学）；Université Paris-Saclay（巴黎萨克雷大学）；Alma Mater studiorum Università di Bologna（博洛尼亚大学）；Université Paris Cité and Sorbonne Université（巴黎西岱大学和索邦大学）
Beauville and Donagi proved in 1985 that the primitive middle cohomology of a smooth complex cubic fourfold and the primitive second cohomology of its variety of lines, a smooth hyperkähler fourfold, are isomorphic as polarized integral Hodge structures. We prove analogous statements for smooth complex Gushel-Mukai varieties of dimension 4 (resp. 6), i.e., smooth dimensionally transverse intersections of the cone over the Grassmannian Gr(2,5), a quadric, and two hyperplanes (resp. of the cone over Gr(2,5) and a quadric). The associated hyperkähler fourfold is in both cases a smooth double cove…
We study a class of group actions on hyperkähler manifolds which we call actions of linear type. If $M$ is a hyperkähler manifold possessing such a $G$-action, the hyperkähler Kirwan map is surjective if and only if the natural restriction $H^\ast(M / G) \to H^\ast(M / G)$ is surjective. We prove that this restriction is an isomorphism below middle degree and an injection in middle degree. As a consequence, the hyperkähler Kirwan map is surjective except possibly in middle degree, and its kernel may be determined from the kernel of the ordinary Kirwan map. These results apply in particular to …
We study the class of compact Kähler manifolds with trivial canonical bundle and the property that the cohomology of the trivial line bundle is generated by one element. If the square of the generator is zero, we get the class of strict Calabi--Yau manifolds. If the generator is of degree 2, we get the class of compact hyperkähler manifolds. We provide some examples and structure results for the cases where the generator is of higher nilpotency index and degree. In particular, we show that varieties of this type are closely related to higher-dimensional Enriques varieties.
