It has been conjectured that varieties of general type do not admit nowhere vanishing holomorphic one-forms. We confirm this conjecture for smooth minimal varieties and for varieties whose Albanese variety is simple.
We prove an hyperbolic analogue of the Bloch-Ochiai theorem about the Zariski closure of holomorphic curves in abelian varieties. We consider the case of non compact Shimura varieties completing the proof of the result for all Shimura varieties. The statement analysed was first formulated and proven by Ullmo and Yafaev for compact Shimura varieties.
We survey recent results on ample cones and birational contractions of holomorphic symplectic varieties of K3 type, focusing on explicit constructions and concrete examples.
We introduce a method to construct special holomorphic tensors on orthogonal modular varieties from scalar-valued modular forms, and give applications to the Lang conjecture on the birational type of subvarieties of orthogonal modular varieties.
We prove that the integral Hodge conjecture holds for 1-cycles on irreducible holomorphic symplectic varieties of K3 type and of Generalized Kummer type. As an application, we give a new proof of the integral Hodge conjecture for cubic fourfolds.
We study families of rational curves on certain irreducible holomorphic symplectic varieties. In particular, we prove that any ample linear system on a projective holomorphic symplectic variety of K3[n]-type contains a uniruled divisor. As an application we provide a generalization of the Beauville-Voisin result on the Chow group of 0-cycles on such varieties.
We continue our study on smooth complex projective varieties $X$ of maximal Albanese dimension and of general type satisfying $χ(X, ω_X)=0$. We formulate a conjectural characterization of such varieties and prove this conjecture when the Albanese variety has only three simple factors.
We determine the Mori cone of holomorphic symplectic varieties deformation equivalent to the punctual Hilbert scheme on a K3 surface. Our description is given in terms of Markman's extended Hodge lattice.
Following work by Ullmo and Yafaev, we propose and prove an analogue of the Bloch-Ochiai theorem in the context of mixed Shimura varieties. We follow the strategy and use results of previous articles by Ullmo and Yafaev and the author plus consequences of the Ax-Lindemann-Weierstrass theorem for mixed Shimura varieties due to Gao.
In this paper we prove some vanishing theorems for the twisted Dolbeault cohomology of the complete flag varieties associated to a simple, simply connected algebraic group.
Based on the celebrated result on zeros of holomorphic 1-forms on complex varieties of general type by Popa and Schnell, we study holomorphic 1-forms on $n$-dimensional varieties of Kodaira dimension $n-1$. We show that a complex minimal smooth projective variety $X$ of Kodaira dimension $κ(X)=\dim X-1$ admits a holomorphic 1-form without zero if and only if there is a smooth morphism from $X$ to an elliptic curve. Furthermore, for a general smooth projective variety (not necessarily minimal) $X$ of Kodaira codimension one, we give a structure theorem for $X$ given that $X$ admits a holomorphi…
We prove that the Kodaira dimension of the n-fold universal family of lattice-polarized holomorphic symplectic varieties with dominant and generically finite period map stabilizes to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarized symplectic varieties. In particular, we determine the exact transition point in the cases of Beauville-Donagi and Debarre-Voisin, where the Borcherds Phi_{12} form plays a crucial role.
We prove the standard conjectures for complex projective varieties that are deformations of the Hilbert scheme of points on a K3 surface. The proof involves Verbitsky's theory of hyperholomorphic sheaves and a study of the cohomology algebra of Hilbert schemes of K3 surfaces.
We propose a general framework governing the intersection properties of extremal rays of irreducible holomorphic symplectic manifolds under the Beauville-Bogomolov form. Our main thesis is that extremal rays associated to Lagrangian projective subspaces control the behavior of the cone of curves. We explore implications of this philosophy for examples like Hilbert schemes of points on K3 surfaces and generalized Kummer varieties. We also collect evidence supporting our conjectures in specific cases.
We study smooth complex projective varieties $X$ of maximal Albanese dimension and of general type satisfying with vanishing holomorphic Euler characteristic. We prove that the Albanese variety of $X$ has at least three simple factors. Examples were constructed by Ein and Lazarsfeld, and we prove that in dimension 3, these examples are (up to abelian étale covers) the only ones. By results of Ueno, another source of examples is provided by varieties $X$ of maximal Albanese dimension and of general type with $p_g(X)=1$. Examples were constructed by Chen and Hacon, and again, we prove that in di…
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 typ…
In this paper, we give an explicit description of holomorphic polyvector fields on smooth compact toric varieties, which generalizes Demazure's result of holomorphic vector fields on toric varieties.
In this note we derive from deep results due to Clozel-Ullmo the density of Noether-Lefschetz loci inside the moduli space of marked (polarized) irreducible holomorphic symplectic (IHS) varieties. In particular we obtain the density of Hilbert schemes of points on projective $K3$ surfaces and of projective generalized Kummer varieties in their moduli spaces. We present applications to the existence of rational curves on projective deformations of such varieties, to the study of relevant cones of divisors, and a refinement of Hassett's result on cubic fourfolds whose Fano variety of lines is is…
A generically generated vector bundle on a smooth projective variety yields a rational map to a Grassmannian, called Kodaira map. We answer a previous question, raised by the asymptotic behaviour of such maps, giving rise to a birational characterization of abelian varieties. In particular we prove that, under the conjectures of the Minimal Model Program, a smooth projective variety is birational to an abelian variety if and only if it has Kodaira dimension 0 and some symmetric power of its cotangent sheaf is generically generated by its global sections.
We show that a holomorphic two-form $θ$ on a smooth algebraic variety X localizes the virtual fundamental class of the moduli of stable maps $\mgn(X,β)$ to the locus where $θ$ degenerates; it then enables us to define the localized GW-invariant, an algebro-geometric analogue of the local invariant of Lee and Parker in symplectic geometry, which coincides with the ordinary GW-invariant when X is proper. It is deformation invariant. Using this, we prove formulas for low degree GW-invariants of minimal general type surfaces with p_g>0 conjectured by Maulik and Pandharipande.
We study the birational geometry of irreducible holomorphic symplectic varieties arising as varieties of lines of general cubic fourfolds containing a cubic scroll. We compute the ample and moving cones, and exhibit a birational automorphism of infinite order explaining the chamber decomposition of the moving cone.
We use Gromov-Witten theory to study rational curves in holomorphic symplectic varieties. We present a numerical criterion for the existence of uniruled divisors swept out by rational curves in the primitive curve class of a very general holomorphic symplectic variety of $K3^{[n]}$ type. We also classify all rational curves in the primitive curve class of the Fano variety of lines in a very general cubic $4$-fold, and prove the irreducibility of the corresponding moduli space. Our proofs rely on Gromov-Witten calculations by the first author, and in the Fano case on a geometric construction of…
We use Noether-Lefschetz theory to study the reduced Gromov--Witten invariants of a holomorphic-symplectic variety of $K3^{[n]}$-type. This yields strong evidence for a new conjectural formula that expresses Gromov-Witten invariants of this geometry for arbitrary classes in terms of primitive classes. The formula generalizes an earlier conjecture by Pandharipande and the author for K3 surfaces. Using Gromov-Witten techniques we also determine the generating series of Noether-Lefschetz numbers of a general pencil of Debarre-Voisin varieties. This reproves and extends a result of Debarre, Han, O…
We show that the chow group of $p$-cycles with rational coefficients are isomorphic to the corresponding rational homology groups for smooth complex projective varieties carrying a holomorphic vector field with an isolated zero locus. As applications, we obtain Chow groups and Lawson homology groups with rational coefficients and verify the Friedlander-Mazur conjecture and the Generalized Hodge conjecture for those varieties.
The vector space of holomorphic polyvector fields on any complex manifold has a natural Gerstenhaber algebra structure. In this paper, we study BV operators of the Gerstenhaber algebras of holomorphic polyvector fields on smooth compact toric varieties. We give a necessary and sufficient condition for the existence of BV operators of the Gerstenhaber algebra of holomorphic polyvector fields on any smooth compact toric variety.
Geometry of Holomorphic One-forms on Smooth Projective Varieties
Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)(上海数学与交叉学科研究院);Research Institute of Intelligent Complex Systems, Fudan University(复旦大学智能复杂系统研究院);School of Mathematics Shandong University(山东大学数学学院);School of Mathematical Science University of Science and Technology of China(中国科学技术大学数学科学学院)
Moduli spaces of stable objects in the derived category of a $K3$ surface provide a large class of holomorphic symplectic varieties. In this paper, we study the interplay between Chern classes of stable objects and zero-cycles on holomorphic symplectic varieties which arise as moduli spaces. First, we show that the second Chern class of any object in the derived category lies in a suitable piece of O'Grady's filtration on the $\mathrm{CH}_0$-group of the $K3$ surface. This solves a conjecture of O'Grady and improves on previous results of Huybrechts, O'Grady, and Voisin. Then we propose a cand…
Classically, an indecomposable class $R$ in the cone of effective curves on a K3 surface $X$ is representable by a smooth rational curve if and only if $R^2=-2$. We prove a higher-dimensional generalization conjectured by Hassett and Tschinkel: for a holomorphic symplectic variety $M$ deformation equivalent to a Hilbert scheme of $n$ points on a K3 surface, an extremal curve class $R\in H_2(M,\mathbb{Z})$ in the Mori cone is the line in a Lagrangian $n$-plane $\mathbb{P}^n\subset M$ if and only if certain intersection-theoretic criteria are met. In particular, any such class satisfies $(R,R)=-…
Applying the Second Main Theorem we deal with the algebraic degeneracy of entire holomorphic curves from the complex plane into a complex algebraic normal variety of positive log Kodaira dimension that admits a finite proper morphism to a semi-abelian variety. We will also discuss applications to the Kobayashi hyperbolicity problem.
A classical result in complex geometry says that the automorphism group of a manifold of general type is discrete. It is more generally true that there are only finitely many surjective morphisms between two fixed projective manifolds of general type. Rigidity of surjective morphisms, and the failure of a morphism to be rigid have been studied by a number of authors in the past. The main result of this paper states that surjective morphisms are always rigid, unless there is a clear geometric reason for it. More precisely, we can say the following. First, deformations of surjective morphisms be…
We study families of rational curves on irreducible holomorphic symplectic varieties. We give a necessary and sufficient condition for a sufficiently ample linear system on a holomorphic symplectic variety of $K3^{[n]}$-type to contain a uniruled divisor covered by rational curves of primitive class. In particular, for any fixed $n$, we show that there are only finitely many polarization types of holomorphic symplectic variety of $K3^{[n]}$-type that do not contain such a uniruled divisor. As an application we provide a generalization of a result due to Beauville-Voisin on the Chow group of 0-…
Let f:C -> A be an entire holomorphic curve into a semi-Abelian variety A. Then the Zariski closure of f(C) is a translate of a semi-Abelian subvariety of A (logarithmic Bloch-Ochiai's theorem). The purpose of the present paper is to establish a quantitative version of the above result for such f i.e., the second main theorem and the defect relation.
We prove that smooth projective varieties with equivalent derived categories have isogenous (and sometimes isomorphic) Picard varieties. In particular their irregularity and number of independent vector fields are the same. This is turn implies, in combination with the invariance of Hochschild homology, that all Hodge numbers are the same for arbitrary derived equivalent threefolds.
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 equi…
We investigate boundedness results for families of holomorphic symplectic varieties up to birational equivalence. We prove the analogue of Zarhin's trick by for $K3$ surfaces by constructing big line bundles of low degree on certain moduli spaces of stable sheaves, and proving birational versions of Matsusaka's big theorem for holomorphic symplectic varieties. As a consequence of these results, we give a new geometric proof of the Tate conjecture for $K3$ surfaces over finite fields of characteristic at least $5$, and a simple proof of the Tate conjecture for $K3$ surfaces with Picard number a…
Holomorphic polyvector fields on toric varieties via Klyachko filtrations
School of Mathematics and Statistics, Wuhan University(武汉大学数学与统计学院);School of Mathematics and Statistics, Center for Mathematical Sciences, Huazhong University of Science and Technology(华中科技大学数学与统计学院,数学中心)
We study the monodromy of Painlevé VI equation from a dynamical point of view. This is applied to the description of bounded orbits, and to a proof of the irreducibility of Painlevé VI equation in the sens of Casale and Malgrange. On our way, we compute the entropy of each element of the monodromy group, and we precise the dictionary between character varieties and Painlevé equations.
We classify the cohomology classes of Lagrangian 4-planes $¶^4$ in a smooth manifold $X$ deformation equivalent to a Hilbert scheme of 4 points on a $K3$ surface, up to the monodromy action. Classically, the cone of effective curves on a $K3$ surface $S$ is generated by nonegative classes $C$, for which $(C,C)\geq0$, and nodal classes $C$, for which $(C,C)=-2$; Hassett and Tschinkel conjecture that the cone of effective curves on a holomorphic symplectic variety $X$ is similarly controlled by "nodal" classes $C$ such that $(C,C)=-γ$, for $(\cdot,\cdot)$ now the Beauville-Bogomolov form, where …
School of Mathematical Sciences, Key Laboratory Intelligent Computing and Applications (Tongji University), Ministry of Education(同济大学数学科学学院,智能计算与应用教育部重点实验室)
We establish the second main theorem with the best truncation level one for an entire holomorphic curve $f:\C \to A$ into a semi-abelian variety $A$ and an arbitrary effective reduced divisor $D$ on $A$; the low truncation level is important for applications. We will actually prove this for the jet lifts of $f$. Finally we give some applications, including the solution of a problem posed by Mark Green.
Let $X$ be a complex quasiprojective variety. A result of Noguchi-Winkelmann-Yamanoi shows that if $X$ admits a Zariski dense entire curve, then its quasi-Albanese map is a fiber space. We show that the orbifold structure induced by a properly birationally equivalent map on the base is special in this case. As a consequence, if $X$ is of log-general type with $\bar q(X)\geq\dim X$, then any entire curve is contained in a proper subvariety in $X$.
We construct several new families of Fano varieties of K3 type. We give a geometrical explanation of the K3 structure and we link some of them to projective families of irreducible holomorphic symplectic manifolds.
For simple and simply-connected complex algebraic group G, we conjecture the existence of a functor eta_G from the category of 2-bordisms to the category of holomorphic symplectic varieties with Hamiltonian action, such that gluing of boundaries corresponds to the holomorphic symplectic quotient with respect to the diagonal action of G. We describe various properties of eta_G obtained via string-theoretic analysis. Mathematicians are urged to construct eta_G rigorously.
In this paper, we give a description of holomorphic multi-vector fields on smooth compact toric varieties, which generalizes Demazure's result of holomorphic vector fields on toric varieties. Based on the result, we compute the Poisson cohomology groups of holomorphic toric Poisson manifolds, i.e., toric varieties endowed with $T$-invariant holomorphic Poisson structures.
Let $\mathcal{O}(D)$ be an equivariant line bundle which is big and nef on a complex projective nonsingular toric variety $X$. Given a continuous toric metric $\|\cdot\|$ on $\mathcal{O}(D)$, we define the energy at equilibrium of $(X,ϕ_{\bar{D}})$ where $ϕ_{\bar{D}}$ is the weight of the metrized toric divisor $\bar{D}=(D,\|\cdot\|)$. We show that this energy describes the asymptotic behaviour as $k\rightarrow \infty$ of the volume of the $L^2$-norm unit ball induced by $(X,kϕ_{\bar{D}})$ on the space of global holomorphic sections $H^0(X,\mathcal{O}(kD))$.
We show that every holomorphic one-form on a smooth complex projective variety of general type must vanish at some point. The proof uses generic vanishing theory for Hodge D-modules on abelian varieties.
This short note considers varieties of the form $G\times S_{\text{reg}}$, where $G$ is a complex semisimple group and $S_{\text{reg}}$ is a regular Slodowy slice in the Lie algebra of $G$. Such varieties arise naturally in hyperkähler geometry, theoretical physics, and in the theory of abstract integrable systems developed by Fernandes, Laurent-Gengoux, and Vanhaecke. In particular, previous work of the author and Rayan uses a Hamiltonian $G$-action to endow $G\times S_{\text{reg}}$ with a canonical abstract integrable system. One might therefore wish to understand, in some sense, all examples…