We show that if X is any proper complex variety, there is a weight decomposition on the real schematic homotopy type, in the form of an algebraic G_m-action. This extends to a real Hodge structure, in the form of a discrete C^*-action, such that C^* x X -> X^{sch} is real analytic. If the fundamental group is algebraically good, and the higher homotopy groups have finite rank, this gives bigraded decompositions on the complexified homotopy groups. For smooth proper varieties, the Hodge structure can be recovered from the cohomology ring with coefficients in the universal semisimple local system.
We define and construct mixed Hodge structures on real schematic homotopy types of complex quasi-projective varieties, giving mixed Hodge structures on their homotopy groups and pro-algebraic fundamental groups. We also show that these split on tensoring with the ring R[x] equipped with the Hodge filtration given by powers of (x-i), giving new results even for simply connected varieties. The mixed Hodge structures can thus be recovered from the Gysin spectral sequence of cohomology groups of local systems, together with the monodromy action at the Archimedean place. As the basepoint varies, th…
A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the present paper, we study the perverse algebraic model of complex projective varieties with isolated singularities. We endow such invariant with natural mixed Hodge structures. This allows us to prove so…
The aim of this paper is to study the behavior of Hodge-theoretic (intersection homology) genera and their associated characteristic classes under proper morphisms of complex algebraic varieties. We obtain formulae that relate (parametrized families of) global invariants of a complex algebraic variety $X$ to such invariants of singularities of proper algebraic maps defined on $X$. Such formulae severely constrain, both topologically and analytically, the singularities of complex maps, even between smooth varieties. Similar results were announced by the first and third author in \cite{CS1, S}.
We define the Z/2Z Hodge spaces H_{pq}(Σ) of a fan Σ. If Σis the normal fan of a reflexive polytope Δthen we use polyhedral duality to compute the Z/2Z Hodge Spaces of Σ. In particular, if the cones of dimension at most e in the face fan Σ^* of Δare smooth then we compute H_{pq}(Σ) for p<e-1. If Σ^* is a smooth fan then we completely determine the spaces H_{pq}(Σ) and we show the toric variety X associated to Σis maximal, meaning that the sum of the Z/2Z Betti numbers of X(R) is equal to the sum of the Z/2Z Betti numbers of X(C).
We introduce an algebraic method for describing the Hodge filtration of degenerating hypersurfaces in projective toric varieties. For this purpose, we show some fundamental properties of logarithmic differential forms on proper equivariant morphisms of toric varieties.
This is an expository article on the recent developments of Hodge theory on moduli spaces of smooth projective varieties with semi-ample canonical line bundles.
If X is a complex projective variety with klt singularities, then the mixed Hodge structures on the first two singular cohomology groups are pure. We describe the pieces of the Hodge decomposition in terms of reflexive differential forms. Applications include a Lefschetz (1,1) Theorem and a weak analogue of the Hodge-Riemann bilinear relations for klt varieties.
This paper gives an introduction to Kuga-Satake varieties and discusses some aspects of the Hodge conjecture related to them. Kuga-Satake varieties are abelian varieties associated to certain weight two Hodge structures, for example the second cohomology group of a K3 surface. We give a detailed account of the construction of Kuga-Satake varieties and of their decomposition in simple subvarieties. We recall the Hodge conjecture and we point out a connection between the Hodge conjecture for abelian fourfolds and Kuga-Satake varieties. We discuss the implications of the Hodge conjecture on the g…
We show that certain abelian varieties A have the property that for every Hodge structure V in the cohomology of A, every effective Tate twist of V occurs in the cohomology of some abelian variety. We deduce the general Hodge conjecture for certain non-simple abelian varieties of type IV.
The signature of closed oriented manifolds is well-known to be multiplicative under finite covers. This fails for Poincaré complexes as examples of C. T. C. Wall show. We establish the multiplicativity of the signature, and more generally, the topological L-class, for closed oriented stratified pseudomanifolds that can be equipped with a middle-perverse Verdier self-dual complex of sheaves, determined by Lagrangian sheaves along strata of odd codimension (so-called L-pseudomanifolds). This class of spaces contains all Witt spaces and thus all pure-dimensional complex algebraic varieties. We ap…
The main result of this paper concerns the positivity of the Hodge bundles of abelian varieties over global function fields. As applications, we obtain some partial results on the Tate--Shafarevich group and the Tate conjecture of surfaces over finite fields.
We describe an algorithm which verifies whether linear algebraic cycles of the Fermat variety generate the lattice of Hodge cycles. A computer implementation of this confirms the integral Hodge conjecture for quartic and quintic Fermat fourfolds. Our algorithm is based on computation of the list of elementary divisors of both the lattice of linear algebraic cycles, and the lattice of Hodge cycles written in terms of vanishing cycles, and observing that these two lists are the same.
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$.
In this article we construct a Koszul-type resolution of the p-th exterior power of the sheaf of holomorphic differential forms on smooth toric varieties and use this to prove a Nadel-type vanishing theorem for Hodge ideals associated to effective \mathbb{Q}-divisors on smooth projective toric varieties. This extends earlier results of Mustaţă and Popa.
We introduce the notion of mixed Hodge complex on an algebraic variety, improving Du Bois' filtered complex, and relate Deligne's theory of mixed Hodge structure with the theory of mixed Hodge module. This was supposed to be true, but is quite nontrivial, because the theory of mixed Hodge module does not work on a simplicial scheme. Some application to the Du Bois singularity is given.
In this paper, we show that the mixed Hodge structures of character varieties are of Hodge--Tate type and that the mixed Hodge polynomials are independent of the choice of generic eigenvalues, which is a conjecture due to Hausel, Letellier and Rodriguez-Villegas. Moreover, we investigate the mixed Hodge structures of the moduli space of semistable parabolic Higgs bundles and the moduli space of semistable regular singular parabolic connections. We show that the mixed Hodge structures of these moduli spaces are pure.
We give upper and lower bounds for the order of the top Chern class of the Hodge bundle on the moduli space of principally polarized abelian varieties.
We show that very general hypersurfaces in odd-dimensional simplicial projective toric varieties verifying a certain combinatorial property satisfy the Hodge conjecture (these include projective spaces). This gives a connection between the Oda conjecture and Hodge conjecture. We also give an explicit criterion which depends on the degree for very general hypersurfaces for the combinatorial condition to be verified.
We give upper and lower bounds for the order of the top Chern class of the Hodge bundle on the moduli space of principally polarized abelian varieties. We also give a generalization to higher genera of the famous formula $12 λ_1=δ$ for genus 1.
B. Totaro showed \cite{totaro} that the rational cohomology of configuration spaces of smooth complex projective varieties is isomorphic as an algebra to the $E_2$ term of the Leray spectral sequence corresponding to the open embedding of the configuration space into the Cartesian power. In this note we show that the isomorphism can be chosen to be compatible with the mixed Hodge structures. In particular, we prove that the mixed Hodge structures on the configuration spaces of smooth complex projective varieties are direct sums of pure Hodge structures.
In this paper we investigate the exactness of the Grassmannian BGG complexes introduced in a previous work (arXiv:1211.2486), and obtain some inequalities between some Hodge numbers of some irregular varieties. In particular, we obtain sharp lower bounds for the Hodge numbers of smooth subvarieties of Abelian varieties, as well as some improvements of results of Lazarsfeld and Popa and Lombardi concerning threefolds and fourfolds.
We give a new proof of a theorem by Pareschi, Popa and Schnell that the direct image of the canonical bundle of a smooth projective variety along a morphism to an abelian variety admits a Chen-Jiang decomposition, without using the theory of Hodge modules.
We study the behavior of Hodge-theoretic genera under morphisms of complex algebraic varieties. We prove that the additive $χ_y$-genus which arises in the motivic context satisfies the so-called ``stratified multiplicative property", which shows how to compute the invariant of the source of a proper surjective morphism from its values on various varieties that arise from the singularities of the map. By considering morphisms to a curve, we obtain a Hodge-theoretic analogue of the Riemann-Hurwitz formula. We also study the contribution of monodromy to the $χ_y$-genus of a smooth projective fami…
We define and construct mixed Hodge structures on real schematic homotopy types of complex projective varieties, giving mixed Hodge structures on their homotopy groups and pro-algebraic fundamental groups. We also show that these split on tensoring with the ring R[x] equipped with the Hodge filtration given by powers of (x-i), giving new results even for simply connected varieties. Thus the mixed Hodge structures can be recovered from cohomology groups of local systems, together with the monodromy action at the Archimedean place. As the basepoint varies, these all become real variations of mix…
The Beilinson-Hodge conjecture asserts the surjectivity of the cycle map $$H^n_M(X,\Q(n)) \to {\rm Hom}_{MHS}(\Q(-n),H^n(X,\Q))$$ for all positive integers $n$ and every smooth complex algebraic variety $X$. For $n=2$, we prove the conjecture if $X$ is rational.
We study the monodromies and the limit mixed Hodge structures of families of complete intersection varieties over a punctured disk in the complex plane. For this purpose, we express their motivic nearby fibers in terms of the geometric data of some Newton polyhedra. In particular, the limit mixed Hodge numbers and some part of the Jordan normal forms of the monodromies of such a family will be described very explicitly.
$p$-adic Hodge Theory is one of the most powerful tools in modern Arithmetic Geometry. In this survey, we will review $p$-adic Hodge Theory for algebraic varieties, present current developments in $p$-adic Hodge Theory for analytic varieties, and discuss some of its applications to problems in Number Theory. This is an extended version of a talk at the Jubilee Congress for the 100th anniversary of the Polish Mathematical Society, Kraków, 2019.
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é, ...).
Level $m$-stratifications on PEL Shimura varieties are defined and studied by Wedhorn using BT-$m$s with PEL structure, and then by Vasiu for general Hodge type Shimura varieties using Shimura $F$-crystals. The theory of foliations is established by Oort for Siegel modular varieties, and by Mantovan for PEL Shimura varieties. It plays an important role in Hamacher's work to compute the dimension of Newton strata of PEL Shimura varieties. We study level $m$ stratifications on good reductions at $p>2$ of Shimura varieties of Hodge type by constructing certain torsors together with equivariant mo…
This is meant to be a survey article for the Cubo Journal. We discuss the existence and number of rational points over a finite field, the Hodge type over the complex numbers, and the motivic conjectures which are controlling those invariants. We present a geometric version of it.
We know that semi-regular sub-varieties satisfy the variational Hodge conjecture i.e., given a family of smooth projective varieties $π:\mathcal{X} \to B$, a special fiber $\mathcal{X}_o$ and a semi-regular subvariety $Z \subset \mathcal{X}_o$, the cohomology class corresponding to $Z$ remains a Hodge class (as $\mathcal{X}_o$ deforms along $B$) if and only if $Z$ remains an algebraic cycle. In this article, we investigate examples of such sub-varieties. In particular, we prove that any smooth projective variety $Z$ of dimension $n$ is a semi-regular sub-variety of a smooth projective hypersur…
We generalize former results of Zuo and the first author showing some hyperbolicity properties of varieties supporting a variation of Hodge structure. Our proof only uses the special curvature properties of period domains. In particular, in contrast to the former approaches, it does not use any result on the asymptotic behaviour of the Hodge metric.
We construct examples of smooth proper rigid-analytic varieties admitting formal model with projective special fiber and violating Hodge symmetry for cohomology in degrees $\geq 3$. This answers negatively a question raised by Hansen and Li.
We prove a Hodge-type decomposition for the de-Rham cohomology of $ p$-adically uniformized varieties by the product of Drinfeld's symmetric spaces. It is based on work of Schneider, Stuhler, Iovita and Spiess on the cohomology of Drinfeld's symmetric space.
We show that the usual Hodge conjecture implies the general Hodge conjecture for certain abelian varieties of type III, and use this to deduce the general Hodge conjecture for all powers of certain 4-dimensional abelian varieties of type III. We also show the existence of a Hodge structure M such that M occurs in the cohomology of an abelian variety, but the Tate twist M(1) does not occur in the cohomology of any abelian variety, even though it is effective.
We prove a conjecture of Milne pertaining to the existence of integral canonical models of Shimura varieties of abelian type in arbitrary unramified mixed characteristic $(0,p)$. As an application we prove for $p=2$ a motivic conjecture of Milne pertaining to integral canonical models of Shimura varieties of Hodge type.
These are notes of lectures given at the school `Birational Geometry of Hypersurfaces' in Gargnano in March 2018. The main goal was to discuss the Hodge structures that come naturally associated with a cubic fourfold. The emphasis is on the Hodge and lattice theoretic aspects with many technical details worked out explicitly. More geometric or derived results are only hinted at.
For any subfield K of the complex numbers which is not contained in an imaginary quadratic number field, we construct conjugate varieties whose algebras of K-rational (p,p)-classes are not isomorphic. This compares to the Hodge conjecture which predicts isomorphisms when K is contained in an imaginary quadratic number field; additionally, it shows that the complex Hodge structure on the complex cohomology algebra is not invariant under the Aut(\C)-action on varieties. In our proofs, we find simply connected conjugate varieties whose multilinear intersection forms on their second real cohomolog…
We construct canonical non-vanishing global sections of powers of the Hodge bundle on each Ekedahl-Oort stratum of a Hodge type Shimura variety. In particular we recover the quasi-affineness of the Ekedahl-Oort strata. In the projective case, this gives a very short proof of non-emptiness of Ekedahl-Oort strata. It follows that the Newton strata are also nonempty, by a result of S.Nie. We also deduce the fact that the $μ$-ordinary locus is determined by the Ekedahl-Oort strata of its image by any embedding.
I demonstrate how certain identities for Macdonald's polynomials established by Garsia, Haiman and Tesler, together with the conjecture of Hausel, Letellier and Villegas imply explicit relations between mixed Hodge polynomials of different character varieties.
Summary: The Hodge conjecture asks whether rational Hodge classes on a smooth projective manifolds are generated by the classes of algebraic subsets, or equivalently by Chern classes of coherent sheaves. On a compact Kaehler manifold, Hodge conjecture is known to be false if algebraic subsets are replaced with analytic subsets. Here we show that it is even false that for a Kaehler manifold, Hodge classes are generated by Chern classes of coherent sheaves. We also show that finite free resolution do not in general exist for coherent sheaves on compact Kaehler manifolds.
We review what is known about the Hodge conjecture for abelian varieties, with some emphasis on how Mumford-Tate groups have been applied to this problem.
We prove several related results on the low-degree Hodge numbers of proper smooth rigid analytic varieties over non-archimedean fields. Our arguments rely on known structure theorems for the relevant Picard varieties, together with recent advances in p-adic Hodge theory. We also define a rigid analytic Albanese naturally associated with any smooth proper rigid space.
We give a generalization to higher genera of the famous formula $12 λ=δ$ for genus 1. We also compute the classes of certain strata in the Satake compactification as elements of the push down of the tautological ring.
We establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge Conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in [3]. We also show that the Hodge Conjecture holds asymptotica…
This is a survey of the three main methods developed in the last 15 years to prove the existence of integral canonical models of Shimura varieties of Hodge type. The only new part is formed by corrections to results of Kisin.
We prove the structure theorem of the intersection complexes of toric varieties in the category of mixed Hodge modules. This theorem is due to Bernstein, Khovanskii and MacPherson for the underlying complexes with rational coefficients. As a corollary the Euler characteristic Hodge numbers of non-degenerate toric hypersurface can be determined by the Euler characteristic subtotal Hodge numbers together with combinatorial data of Newton polyhedra. This is used implicitly in an explicit formula by Batyrev--Borisov. Note that a formula for the Euler characteristic subtotal Hodge numbers in terms …
Given a complex variety $X$, a linear algebraic group $G$ and a representation $ρ$ of the fundamental group $π\_1(X,x)$ into $G$, we develop a framework for constructing a functorial mixed Hodge structure on the formal local ring of the representation variety of $π\_1(X,x)$ into $G$ at $ρ$ using mixed Hodgediagrams and methods of $L\_\infty$ algebras. We apply it in two geometric situations: either when $X$ is compact K{ä}hler and $ρ$ is the monodromy of a variation of Hodge structure, or when $X$ is smooth quasi-projective and $ρ$ has finite image.
