The Hodge and Tate conjectures for hyper-Kähler sixfolds of generalized Kummer type

Salvatore Floccari

2023-08-04

Abstract:We prove the conjectures of Hodge and Tate for any six-dimensional hyper-Kähler variety that is deformation equivalent to a generalized Kummer variety.

Algebraic Geometry

What problem does this paper attempt to address?

Hodge Theory and Deformations of K\"ahler Manifolds

Kefeng Liu,Sheng Rao,Xibei Yang

2012-01-01

Abstract:We prove several formulas related to Hodge theory and the Kodaira-Spencer-Kuranishi deformation theory of Kahler manifolds. As applications, we present a construction of globally convergent power series of integrable Beltrami differentials on Calabi-Yau manifolds and also a construction of global canonical family of holomorphic $(n,0)$-forms on the deformation spaces of Calabi-Yau manifolds. Similar constructions are also applied to the deformation spaces of compact Kahler manifolds.
J ul 2 01 2 HODGE THEORY AND DEFORMATIONS OF KÄHLER MANIFOLDS

KEFENG LIU,SHENG RAO,XIAOKUI YANG

2012-01-01

Abstract:We prove several formulas related to Hodge theory and the Kodaira-SpencerKuranishi deformation theory of Kähler manifolds. As applications, we present a construction of globally convergent power series of integrable Beltrami differentials on Calabi-Yau manifolds, and use an iteration method to construct global canonical families of holomorphic (n, 0)-forms on the deformation spaces of Kähler manifolds.
Algebraic cycles on hyper-Kähler varieties of generalized Kummer type

Salvatore Floccari,Mauro Varesco

2023-08-09

Abstract:We prove the conjectures of Hodge and Tate for any four-dimensional hyper-Kähler variety of generalized Kummer type. For an arbitrary variety $X$ of generalized Kummer type, we show that all Hodge classes in the subalgebra of the rational cohomology generated by $H^2(X,\mathbb{Q})$ are algebraic.

Algebraic Geometry
Quasi-isometry and Deformations of Calabi–Yau Manifolds

Kefeng Liu,Sheng Rao,Xiaokui Yang

DOI: https://doi.org/10.1007/s00222-014-0516-1

IF: 3.128

2014-01-01

Inventiones mathematicae

Abstract:We prove several formulas related to Hodge theory and the Kodaira–Spencer–Kuranishi deformation theory of Kähler manifolds. As applications, we present a construction of globally convergent power series of integrable Beltrami differentials on Calabi–Yau manifolds and also a construction of global canonical family of holomorphic (n,0) -forms on the deformation spaces of Calabi–Yau manifolds. Similar constructions are also applied to the deformation spaces of compact Kähler manifolds.
Solving equations with Hodge theory

Kefeng Liu,Shengmao Zhu

2018-01-01

Abstract:We treat two quite different problems related to changes of complex structures on Kähler manifolds by using global geometric method. First, by using operators from Hodge theory on compact Kähler manifold, we present a closed explicit extension formula for holomorphic canonical forms in different complex structures. As applications, we give a closed explicit formula for certain canonical sections of Hodge bundles on marked and polarized moduli spaces of projective manifolds, and provide a closed explicit extension formula for holomorphic pluricanonical forms under certain natural conditions. Second, by using the operators in L^2-Hodge theory on Poincaré disk, we present a simple and unified method to solve the Beltrami equations with measurable coefficients for quasi-conformal maps.
Sixfolds of generalized Kummer type and K3 surfaces

Floccari,Salvatore

DOI: https://doi.org/10.1112/s0010437x23007625

2024-01-05

Compositio Mathematica

Abstract:We prove that any hyper-Kähler sixfold of generalized Kummer type has a naturally associated manifold of type. It is obtained as crepant resolution of the quotient of by a group of symplectic involutions acting trivially on its second cohomology. When is projective, the variety is birational to a moduli space of stable sheaves on a uniquely determined projective surface . As an application of this construction we show that the Kuga–Satake correspondence is algebraic for the K3 surfaces , producing infinitely many new families of surfaces of general Picard rank satisfying the Kuga–Satake Hodge conjecture.

mathematics
Hodge similarities, algebraic classes, and Kuga-Satake varieties

Mauro Varesco

2023-11-03

Abstract:We introduce in this paper the notion of Hodge similarities of transcendental lattices of hyperkähler manifolds and investigate the Hodge conjecture for these Hodge morphisms. Studying K3 surfaces with a symplectic automorphism, we prove the Hodge conjecture for the square of the general member of the first four-dimensional families of K3 surfaces with totally real multiplication of degree two. We then show the functoriality of the Kuga--Satake construction with respect to Hodge similarities. This implies that, if the Kuga--Satake Hodge conjecture holds for two hyperkähler manifolds, then every Hodge similarity between their transcendental lattices is algebraic after composing it with the Lefschetz isomorphism. In particular, we deduce that Hodge similarities of transcendental lattices of hyperkähler manifolds of generalized Kummer deformation type are algebraic.

Algebraic Geometry
Hodge conjecture for projective hypersurface

Johann Bouali

2024-01-29

Abstract:We show that a Hodge class of a complex smooth projective hypersurface is an analytic logarithmic De Rham class. On the other hand we show that for a complex smooth projective variety an analytic logarithmic De Rham class of of type $(d,d)$ is the class of codimension $d$ algebraic cycle. We deduce the Hodge conjecture for smooth projective hypersurfaces.

Algebraic Geometry
Gromov–Hausdorff Limits of Kähler Manifolds and Algebraic Geometry

Simon Donaldson,Song Sun

DOI: https://doi.org/10.1007/s11511-014-0116-3

2017-01-01

Journal of Differential Geometry

Abstract:We prove a general result about the geometry of holomorphic line bundles over Kähler manifolds.
Explicit Gromov-Hausdorff Compactifications of Moduli Spaces of K\"ahler-Einstein Fano Manifolds

Cristiano Spotti,Song Sun

DOI: https://doi.org/10.4310/pamq.2017.v13.n3.a5

2017-01-01

Pure and Applied Mathematics Quarterly

Abstract:We exhibit the first non-trivial concrete examples of Gromov-Hausdorff compactifications of moduli spaces of K\"ahler-Einstein Fano manifolds in all complex dimensions bigger than two (Fano K-moduli spaces). We also discuss potential applications to explicit study of moduli spaces of K-stable Fano manifolds with large anti-canonical volume. Our arguments are based on recent progress about the geometry of metric tangent cones and on related ideas about the algebro-geometric study of singularities of K-stable Fano varieties.
Moduli of Genus Six Curves and K-stability

Junyan Zhao

2023-09-23

Abstract:The K-moduli theory provides a different compactification of moduli spaces of curves. As a general genus six curve can be canonically embedded into the smooth quintic del Pezzo surface, we study in this paper the K-moduli spaces $\overline{M}^K(c)$ of the quintic log Fano pairs. We classify the strata of genus six curves $C$ appearing in the K-moduli by explicitly describing the wall-crossing structure. The K-moduli spaces interpolate between two birational moduli spaces constructed by GIT and moduli of K3 surfaces via Hodge theory.

Algebraic Geometry
The generalized Kähler Calabi-Yau problem

Vestislav Apostolov,Xin Fu,Jeffrey Streets,Yury Ustinovskiy

2024-11-05

Abstract:We formulate an extension of the Calabi conjecture to the setting of generalized Kähler geometry. We show a transgression formula for the Bismut Ricci curvature in this setting, which requires a new local Goto/Kodaira-Spencer deformation result, and use it to show that solutions of the generalized Calabi-Yau equation on compact manifolds are classically Kähler, Calabi-Yau, and furthermore unique in their generalized Kähler class. We show that the generalized Kähler-Ricci flow is naturally adapted to this conjecture, and exhibit a number of a priori estimates and monotonicity formulas which suggest global existence and convergence. For initial data in the generalized Kähler class of a Kähler Calabi-Yau structure we prove the flow exists globally and converges to this unique fixed point. This has applications to understanding the space of generalized Kähler structures, and as a special case yields the topological structure of natural classes of Hamiltonian symplectomorphisms on hyperKähler manifolds. In the case of commuting-type generalized Kähler structures we establish global existence and convergence with arbitrary initial data to a Kähler, Calabi-Yau metric, which yields a new $d d^c$-lemma for these structures.

Differential Geometry,Analysis of PDEs
Hodge modules and Kähler morphisms

Mads Bach Villadsen

2024-01-18

Abstract:We prove the decomposition theorem for Hodge modules with integral structure along proper Kähler morphisms, partially generalizing M. Saito's theorem for projective morphisms. Our proof relies on compactifications of period maps of generically defined variations of Hodge structure, as well as the theorems of Cattani-Kaplan-Schmid on $L^2$-cohomology of variations of Hodge structure for the hard Lefschetz theorem.

Algebraic Geometry,Complex Variables
Degeneration of families of projective hypersurfaces and Hodge conjecture

Johann Bouali

2024-04-28

Abstract:We prove by induction on dimension the Hodge conjecture for smooth complex projective varieties. Let $X$ be a smooth complex projective variety. Then $X$ is birational to a possibly singular projective hypersurface, hence to a smooth projective variety $E_0$ which is a component of a normal crossing divisor $E=\cup_{i=0}^rE_i\subset Y$ which is the singular fiber of a pencil $f:Y\to\mathbb A^1$ of smooth projective hypersurfaces. Using the smooth hypersurface case by a previous result of the autor, the nearby cycle functor on mixed Hodge module with rational de Rham factor, and the induction hypothesis, we prove that an Hodge class of $E_0$ is absolute Hodge, more precisely the locus of Hodge classes inside the algebraic vector bundle given the De Rham cohomology the rational deformation of $E_0$ is defined over $\mathbb Q$. By another previous result of the autor, we get the Hodge conjecture for $E_0$. By the induction hypothesis we also have the Hodge conjecture for $X$.

Algebraic Geometry
On the Kodaira Dimension of the Moduli of Deformation Generalised Kummer Varieties

Matthew Dawes

2024-05-05

Abstract:We prove general type results for orthogonal modular varieties associated with the moduli of compact hyperkähler manifolds of deformation generalised Kummer type ('deformation generalised Kummer varieties'). In particular, we consider moduli spaces of deformation generalised Kummer fourfolds with split-polarisation of degree $2d$. Our main result is that when $d$ is prime or $2d$ is square-free then the associated modular varieties are of general type when $d$ exceeds bounds we determine, subject to the existence of certain low-weight cusp forms for $\operatorname{O}(2,n)$. As a corollary, we conclude that the corresponding moduli spaces are also of general type.

Algebraic Geometry
Hodge theory and Lagrangian fibrations on holomorphic symplectic manifolds

Christian Schnell

2023-06-13

Abstract:The purpose of this paper is to establish several new results about the Hodge theory of Lagrangian fibrations on (not necessarily compact) holomorphic symplectic manifolds. Let $M$ be a holomorphic symplectic manifold of dimension $2n$ that is Kähler but not necessarily compact, and let $\pi \colon M \to B$ be a Lagrangian fibration. We establish a relationship between the bundle of holomorphic $(n+i)$-forms on $M$ and the $i$-th perverse sheaf $P_i$ in the decomposition theorem for $\pi$. This is formulated using Saito's theory of Hodge modules and the BGG correspondence (between graded modules over the symmetric and exterior algebra). Along the way, we prove a relative Hard Lefschetz theorem for the action by the symplectic form; we prove two recent conjectures by Maulik, Shen, and Yin; we give a short proof for Matsushita's theorem (about higher direct images of the structure sheaf); and we show, without using hyperkähler metrics, that every Lagrangian fibration gives rise to an action by the Lie algebra $\mathfrak{sl}_3(\mathbb{C})$ (in the noncompact case) or $\mathfrak{sl}_4(\mathbb{C})$ (in the compact case).

Algebraic Geometry
Examples for the standard conjecture of Hodge type

Thomas Agugliaro

2024-01-31

Abstract:For each prime number $p$ and each integer $g \geqslant 5$, we construct infinitely many abelian varieties of dimension $g$ over $\overline{\mathbb{F}}_p$ satisfying the standard conjecture of Hodge type. The main tool is a recent theorem of Ancona on certain rank $2$ motives. These varieties are constructed explicitly through Honda-Tate theory. Moreover, they have Tate classes that are not generated by divisors nor liftable to characteristic zero. Also, we prove a result towards a classification of simple abelian varieties for which the result of Ancona can be applied to. Along the way, we prove a result about Honda-Tate theory of independant interest.

Algebraic Geometry,Number Theory
The Tate Conjecture for even dimensional Gushel-Mukai varieties in characteristic $p\geq 5$

Lie Fu,Ben Moonen

DOI: https://doi.org/10.1090/jag/836

2024-11-18

Abstract:We study Gushel-Mukai (GM) varieties of dimension 4 or 6 in characteristic $p$. Our main result is the Tate conjecture for all such varieties over finitely generated fields of characteristic $p\geq 5$. In the case of GM sixfolds, we follow the method used by Madapusi Pera in his proof of the Tate conjecture for K3 surfaces. As input for this, we prove a number of basic results about GM sixfolds, such as the fact that there are no nonzero global vector fields. For GM fourfolds, we prove the Tate conjecture by reducing it to the case of GM sixfolds by making use of the notion of generalised partners plus the fact that generalised partners in characteristic 0 have isomorphic Chow motives in the middle degree. Several steps in the proofs rely on results in characteristic 0 that are proven our paper "Algebraic cycles on Gushel-Mukai varieties", Épijournal Géométrie Algébrique, Volume spécial en l'honneur de Claire Voisin, 2024.

Algebraic Geometry
Notes on Hodge-Tate Stacks

Jiahong Yu

2024-10-09

Abstract:Let $k$ be a perfect field of characteristic $p$, $X/k$ be a smooth variety and $T_{X/k}$ be its tangent bundle. Bhatt and Lurie defined a $\mathbf{fpqc}$-group $T_{X/k}^{\sharp}$ as well as a gerbe $X^{\mathrm{HT}}$, which is called the Hodge--Tate gerbe of $X$. It is conjectured by Bhatt and Lurie that the image of the obstruction of $X^{\mathrm{HT}}$ in $\mathrm{H}^{2}(X_{\mathbf{fpqc}},T_{X/k}\otimes \alpha_p)$ coincides with the obstruction of Frobenius lifting. We will prove this conjecture in this paper.

Algebraic Geometry

The Hodge and Tate conjectures for hyper-Kähler sixfolds of generalized Kummer type

Hodge Theory and Deformations of K\"ahler Manifolds

J ul 2 01 2 HODGE THEORY AND DEFORMATIONS OF KÄHLER MANIFOLDS

Algebraic cycles on hyper-Kähler varieties of generalized Kummer type

Quasi-isometry and Deformations of Calabi–Yau Manifolds

Solving equations with Hodge theory

Sixfolds of generalized Kummer type and K3 surfaces

Hodge similarities, algebraic classes, and Kuga-Satake varieties

Hodge conjecture for projective hypersurface

Gromov–Hausdorff Limits of Kähler Manifolds and Algebraic Geometry

Explicit Gromov-Hausdorff Compactifications of Moduli Spaces of K\"ahler-Einstein Fano Manifolds

Moduli of Genus Six Curves and K-stability

The generalized Kähler Calabi-Yau problem

Hodge modules and Kähler morphisms

Degeneration of families of projective hypersurfaces and Hodge conjecture

On the Kodaira Dimension of the Moduli of Deformation Generalised Kummer Varieties

Hodge theory and Lagrangian fibrations on holomorphic symplectic manifolds

Examples for the standard conjecture of Hodge type

The Tate Conjecture for even dimensional Gushel-Mukai varieties in characteristic $p\geq 5$

Notes on Hodge-Tate Stacks