We show the dominance of a certain Prym map. By the Scoens result, this implies the algebraicity of Weil Hodge classes of Abelian 6-folds for the Gauss number field with the discriminant 1.
Please forget our result!! I would like to apologize that there are a fatal mistake in the proof of the algebraicity of Weil Hodge cycles. See contents for the reason. So please forget about the result of algebraicity.
We give a Hodge-theoretic criterion for a Calabi--Yau variety to have finite Weil--Petersson distance on higher dimensional bases up to a set of codimension $\geq 2$. The main tool is variation of Hodge structures and variation of mixed Hodge structures. We also give a description on the codimension 2 locus for the moduli space of Calabi--Yau threefolds. We prove that the points lying on exactly one finite and one infinite divisor have infinite Weil--Petersson distance along angular slices. Finally, by giving a classification of the dominant term of the candidates of the Weil--Petersson potent…
We determine which codimension two Hodge classes on $J\times J$, where $J$ is a general abelian surface, deform to Hodge classes on a family of abelian fourfolds of Weil type. If a Hodge class deforms, there is in general a unique such family. We show how to determine the imaginary quadratic field acting on the fourfolds of Weil type in this family as well as their polarization. There are Hodge classes that may deform to more than one family. We relate these to Markman's Cayley classes.
The moduli space $M_g^{trop}$ of tropical curves of genus $g$ is a generalized cone complex that parametrizes metric vertex-weighted graphs of genus $g$. For each such graph $Γ$, the associated canonical linear system $\vert K_Γ\vert$ has the structure of a polyhedral complex. In this article we propose a tropical analogue of the Hodge bundle on $M_g^{trop}$ and study its basic combinatorial properties. Our construction is illustrated with explicit computations and examples.
We use Hodge theory to prove a new upper bound on the ranks of Mordell-Weil groups for elliptic curves over function fields after regular geometrically Galois extensions of the base field, improving on previous results of Silverman and Ellenberg, when the base field has characteristic zero and the supports of the conductor of the elliptic curve and of the ramification divisor of the extension are disjoint.
We study the tropical Dolbeault cohomology of non-archimedean curves as defined by Chambert-Loir and Ducros. We give a precise condition for when this cohomology satisfies Poincaré duality. The condition is always satisfied when the residue field of the non-archimedean base field is the algebraic closure of a finite field. We also show that for curves over fields where the residue field is the field of complex numbers, the tropical (1,1)-Dolbeault cohomology can be infinite dimensional. Our main new ingredient is an exponential type sequence that relates tropical Dolbeault cohomology to the co…
This is a sequel to our work in tropical Hodge theory. Our aim here is to prove a tropical analogue of the Clemens-Schmid exact sequence in asymptotic Hodge theory. As an application of this result, we prove the tropical Hodge conjecture for smooth projective tropical varieties which are rationally triangulable. This provides a partial answer to a question of Kontsevich who suggested the validity of the tropical Hodge conjecture could be used as a test for the validity of the Hodge conjecture.
Recent papers by Markman and O'Grady give, besides their main results on the Hodge conjecture and on hyperkaehler varieties, surprising and explicit descriptions of families of abelian fourfolds of Weil type with trivial discriminant. They also provide a new perspective on the well-known fact that these abelian varieties are Kuga Satake varieties for certain weight two Hodge structures of rank six. In this paper we give a pedestrian introduction to these results. The spinor map, which is defined using a half-spin representation of SO(8), is used intensively. For simplicity, we use basic repres…
We define monodromy maps for tropical Dolbeault cohomology of algebraic varieties over non-Archimedean fields. We propose a conjecture of Hodge isomorphisms via monodromy maps, and provide some evidence.
We analyze the relationship between abelian fourfolds of Weil type and Hodge structures of type K3, and we extend some of these correspondences to the case of arbitrary dimension.
We consider the residual B-model variation of Hodge structure of Iritani defined by a family of toric Calabi--Yau hypersurfaces over a punctured disk $D \setminus \{ 0\}$. It is naturally extended to a logarithmic variation of polarized Hodge structure of Kato--Usui on the whole disk $D$. By restricting it to the origin, we obtain a polarized logarithmic Hodge structure (PLH) on the standard log point. In this paper, we describe the PLH in terms of the integral affine structure of the dual intersection complex of the toric degeneration in the Gross--Siebert program.
In this paper we prove that the cohomology of smooth projective tropical varieties verify the tropical analogs of three fundamental theorems which govern the cohomology of complex projective varieties: Hard Lefschetz theorem, Hodge-Riemann relations and monodromy-weight conjecture. On the way to establish these results, we introduce and prove other results of independent interest. This includes a generalization of the results of Adiprasito-Huh-Katz, Hodge theory for combinatorial geometries, to any unimodular quasi-projective fan having the same support as the Bergman fan of a matroid, a tropi…
We construct motivic invariants of a subvariety of an algebraic torus from its tropicalization and initial degenerations. More specifically, we introduce an invariant of a compactification of such a variety called the "tropical motivic nearby fiber." This invariant specializes in the schon case to the Hodge-Deligne polynomial of the limit mixed Hodge structure of a corresponding degeneration. We give purely combinatorial expressions for this Hodge-Deligne polynomial in the cases of schon hypersurfaces and smooth tropical varieties. We also deduce a formula for the Euler characteristic of a gen…
Demailly showed that the Hodge conjecture is equivalent to the statement that any (p,p)-dimensional closed current with rational cohomology class can be approximated by linear combinations of integration currents associated to subvarieties, and asked whether any strongly positive (p,p)-dimensional closed current with rational cohomology class can be approximated by positive linear combinations of integration currents associated to subvarieties. Using tropical geometry, we construct a (p,p)-dimensional current on a smooth projective variety that does not satisfy the latter statement.
We consider the variation of tropical Hodge structure (TVHS) associated to families of tropical varieties. The family of the tropical intermediate Jacobians of the associated tropical Hodge structure defines a bundle of tropical Jacobians, whose sections we call the tropical normal functions. We define formal sequential derivatives of these functions on the base with respect to the natural Gauss-Manin connection as the Hodge theoretic invariants detecting tropical cycles in the fibers. The associated invariants which are defined inductively are the higher Abel-Jacobi invariants in the tropical…
We push further the classical proof of Weil upper bound for the number of rational points of an absolutely irreducible smooth projective curve $X$ over a finite field in term of euclidean relationships between the Neron Severi classes in $X\times X$ of the graphs of iterations of the Frobenius morphism. This allows us to recover Ihara's bound, which can be seen as a {\em second order} Weil upper bound, to establish a new {\em third order} Weil upper bound, and using {\tt magma} to produce numerical tables for {\em higher order} Weil upper bounds. We also give some interpretation for the defect…
The motivic nearby fiber is an invariant obtained from degenerating a complex variety over a disc. It specializes to the Euler characteristic of the original variety but also contains information on the variation of Hodge structure associated to the degeneration which is encoded as a limit mixed Hodge structure. However, this invariant is difficult to compute in practice. Using the techniques of tropical geometry we present a new formula for the motivic nearby fiber. Moreover, since there is a range of available software implementing the main algorithms in tropical geometry, our formula can be…
Consider a complex abelian variety X on which a field F acts. Generalizing a construction of A. Weil, one associates to this a subspace W_F of the cohomology of X, which we call the space of Weil classes w.r.t. F. The purpose of this paper is to answer the following two questions: Q1: under what conditions on F does the space W_F contain, or even consist of, Hodge classes?, Q2: if W_F contains Hodge classes, under what conditions on F are these exceptional? In case X is defined over a number field, we also answer the analogous questions for Tate classes.
In this paper we study Hodge classes on complex abelian varieties. We prove some general results that allow us, in certain cases, to compute the Hodge group of a product abelian variety $X = X_1 \times X_2$ once we know the Hodge groups of the two factors. Using these results we can compute the Hodge groups of all abelian varieties of dimension $\leq 5$. We prove that the Hodge ring of any such abelian variety $X$ is generated by divisor classes together with the so-called Weil classes on (quotients of) $X$.
The goal of this note is to affirm a local version of the conjecture of Nisse--Sottile [NS16] on higher convexity of complements of tropical varieties, while providing a family of counter-examples for the global Nisse--Sottle conjecture in any codimension and dimension higher than 1. Moreover, it will be shown that, surprisingly, this family also provides a family of counter-examples for the generalized Hodge conjecture for positive currents in these dimensions, and gives rise to further approximability obstruction.
In this paper, we represent the Hodge metric in terms of the Weil-Petersson metric and its Ricci curvature on the moduli spaces of polarized Calabi-Yau threefolds.
We prove, following Deligne and André, that the Hodge classes on abelian varieties of CM-type can be expressed in terms of divisor classes and split Weil classes, and we describe some consequences. In particular, we show that Grothendieck's standard conjecture of Lefschetz type implies the Hodge conjecture for abelian varieties (Abdulali, André, ...).
Let $A$ be an Abelian variety of dimension $n$. For $0<p<2n$ an odd integer, Sampson constructed a surjective homomorphism $π:J^p(A)\rightarrow A$, where $J^p(A)$ is the higher Weil Jacobian variety of $A$. Let $\widehatω$ be a fixed form in $H^{1,1}(J^p(A),\mathbb{Q})$, and $N=\dim (J^p(A))$. He observes that if the map $π_*(\widehat{ω}^{N-p-1}\wedge .): H^{1,1}(J^p(A),\mathbb{Q})\rightarrow H^{n-p,n-p}(A,\mathbb{Q})$ is injective, then the Hodge conjecture is true for $A$ in bidegree $(p,p)$. In this paper, we give some clarification of the approach and show that the map above is {not inject…
Given a closed subvariety of an algebraic torus, the associated tropical variety is a polyhedral fan in the space of 1-parameter subgroups of the torus which describes the behaviour of the subvariety at infinity. We show that the link of the origin has only top rational homology if a genericity condition is satisfied. Our result is obtained using work of Tevelev and Deligne's theory of mixed Hodge structures.
Mumford constructed a family of abelian fourfolds with special stucture not characterized by endomorphism ring. Galluzzi showed that the weight 2 Hodge structure of such a variety decomposes into Hodge substructures via the action of Mumford-Tate group, one of which is of K3 type with Hodge number (1,7,1). We will compute the intersection form of such a Hodge structure and provide a canonical integral Hodge structure on this subspace. Furthermore, we shall show two applications of this invariant. Firstly, using the above formula we shall show that every K3 surface obtained in this way will adm…
Deligne has conjectured that certain mixed Hodge theoretic invariants of complex algebraic invariants are motivic. This conjecture specializes to an algebraic construction of the Jacobian for smooth projective curves, which was done by A. Weil. The conjecture (and one-motives) are motivated by means of Jacobians, generalized Jacobians of Rosenlicht, and Serre's generalized Albanese varieties. We discuss the connections with the Hodge and the generalized Hodge conjecture. We end with some applications to number theory by providing partial answers to questions of Serre, Katz and Jannsen.
We discuss several conjectures about derived equivalent varieties, defined over fields of arbitrary characteristics, and implications among them. In particular we show that the (conjectural) derived invariance of the Hasse-Weil Zeta functions of smooth projective varieties over finite fields, implies the derived invariance of the Hodge diamond of complex algebraic varieties.
We look into a construction of principal abelian varieties attached to certain spin manifolds, due to Witten and Moore-Witten around 2000 and try to place it in a broader framework. This is related to Weil intermediate Jacobians but it also suggests to associate abelian varieties to polarized even weight Hodge structures. The latter construction can also be explained in terms of algebraic groups which might be useful from the point of view of Tannakian categories. The constructions depend on moduli much as in Teichmüller theory although the period maps in general are only real analytic. One of…
We investigate a new property for compact Kahler manifolds. Let X be a Kahler manifold of dimension n and let H^{1,1} denote the (1,1) part of its real second cohomology. On this space, we have an degree n form given by cup product. Let K denote the open cone of Kahler classes in H^{1,1}, and K_1 the level set consisting of classes in K on which the n-form takes value one. This is a Riemannian manifold, with tangent space at a given point being the primitive classes of type (1,1), and metric defined via the Hodge Index Theorem. In the Calabi-Yau case (and probably more generally), we conjectur…