Teichmueller curves are geodesic discs in Teichmueller space that project to an algebraic curve in the moduli space $M_g$. We show that for all $g \geq 2$ Teichmueller curves map to the locus of real multiplication in the moduli space of abelian varieties. Remark that McMullen has shown that precisely for $g=2$ the locus of real multiplication is stable under the $\SL_2(\RR)$-action on the tautological bundle $Ω\M_g$.
We also show that Teichmueller curves are defined over number fields and we provide a completely algebraic description of Teichmueller curves in terms of Higgs bundles. As a consequence we show that the absolute Galois group acts on the set of Teichmueller curves.
We classify curves in the moduli space of curves that are both Shimura- and Teichmueller curves: Except for the moduli space of genus one curves there is only a single such curve. We start with a Hodge-theoretic description of Shimura curves and of Teichmueller curves that reveals similarities and differences of the two classes of curves. The proof of the classification relies on the geometry of square-tiled coverings and on estimating the numerical invariants of these particular fibered surfaces. Finally we translate our main result into a classification of Teichmueller curves with totally de…
Periodic points are points on Veech surfaces, whose orbit under the group of affine diffeomorphisms is finite. We characterise those points as being torsion points if the Veech surfaces is suitably mapped to its Jacobian or an appropriate factor thereof. For a primitive Veech surface in genus two we show that the only periodic points are the Weierstrass points and the singularities. Our main tool is the Hodge-theoretic characterisation of Teichmueller curves. We deduce from it a finiteness result for the Mordell-Weil group of the family of Jacobians over a Teichmueller curve.
This paper focuses on the interplay between the intersection theory and the Teichmueller dynamics on the moduli space of curves. As applications, we study the cycle class of strata of the Hodge bundle, present an algebraic method to calculate the class of the divisor parameterizing abelian differentials with a non-simple zero, and verify a number of extremal effective divisors on the moduli space of pointed curves in low genus.
We prove that the moduli space of compact genus three Riemann surfaces contains only finitely many algebraically primitive Teichmueller curves. For the stratum consisting of holomorphic one-forms in genus three with a single zero, our approach to finiteness uses the Harder-Narasimhan filtration of the Hodge bundle over a Teichmueller curve to obtain new information on the locations of the zeros of eigenforms. By passing to the boundary of moduli space, this gives explicit constraints on the cusps of Teichmueller curves in terms of cross-ratios of six points on a projective line. These constrai…
This text is an expository survey on the interplay between polarized variation of Hodge structure (PVHS) and the formalism of Hodge modules. We specifically review the extensions of a PVMHS over their singularities and its relation to mixed Hodge modules.
We construct a Mixed Hodge Structure on the local complete ring of the representation scheme at the holonomy of a VHS on a compact Kähler manifold and prove that the corresponding tautological representation is the holonomy of a VMHS. In order to carry out this construction we revisit the well-known work of Goldman and Millson on the deformation theory of representations of Kähler groups.
By analyzing the local and infinitesimal behavior of degenerating polarized variations of Hodge structure the notion of infinitesimal variation of Hodge structure at infinity is introduced. It is shown that all such structures can be integrated to polarized variations of Hodge structure and that, conversely, all are limits of infinitesimal variations of Hodge structure (IVHS) at finite points. As an illustration of the rich information encoded in this new structure, some instances of the maximal dimension problem for this type of infinitesimal variation are presented and contrasted with the "c…
We show that the $\mathbb{Q}$-descents of the canonical $\mathbb{R}$-variation of Hodge structure of Calabi-Yau type over a tube domain of type $A$ can be realized as sub-variations of Hodge structure of certain $\mathbb{Q}$-variations of Hodge structure which are naturally associated to abelian varieties of (generalized) Weil type.
We determine the second fundamental form of a variation of Hodge Structure of a smooth projective hypersurface using the classical identification of the Hodge structure and the action of the infinitesimal variation of Hodge structure with pieces of the Jacobian Ideal of the hypersurface. This simple algebraic description also implies that, in this case, the variation of Hodge structure satisfies a new set of second order partial differential equations.Comments are welcome!
In this paper we are interested in proving that the infinitesimal variations of Hodge structure of hypersurfaces of high enough degree lie in a proper subvariety of the variety of all infinitesimal variations. This is proved using a space of symmetrizers as defined by Donagi, to identify a geometric structure carried by the variety of all infinitesimal variations of Hodge structure.
We discuss the variations of mixed Hodge structure for cohomology with compact support of quasi-projective simple normal crossing pairs. We show that they are graded polarizable admissible variations of mixed Hodge structure. Then we prove a generalization of the Fujita--Kawamata semi-positivity theorem.
The purpose of this note is prove that the mixed Hodge structure constructed by the author in math.AG/0301140 [The Leray spectral sequence is motivic, Invent. 2005] for geometric variations of Hodge structure coincides with the structure coming from M. Saito's mixed Hodge module theory. This note also contains a small erratum for the earlier paper.
We prove that a variation of graded-polarizable mixed Hodge structure over a punctured disk with unipotent monodromy, has a limiting mixed Hodge structure at the puncture (i.e., it is admissible in the sense of [SZ]) which splits over $\R$, if and only if certain grading of the complexified weight filtration, depending smoothly on the Hodge filtration, extends across the puncture. In particular, the result exactly supplements Schmid's Theorem for pure structures, which holds for the graded variation, and gives a Hodge-theoretic condition for the relative monodromy weight filtration to exist.
This is an expanded comment on Barannikov's paper math.AG/0006193. A symplectic version of his construction is discussed. It is shown that the duality transformation for mirror torus fibrations over the same Monge-Ampere manifold exchanges semi-infinite A-variations of Hodge structure introduced in this paper with Barannikov's semi-infinite B-variations of Hodge structure.
We construct smooth complex projective varieties of dimension 3 to 6 with variations of Hodge structure, by generalizing an example of J. Carlson and C. Simpson in dimension 2. Then, we study some of their properties, in particular their cohomology groups.
In this article we describe three constructions of complex variations of Hodge structure, proving the existence of interesting opposite filtrations that generalize a construction of Deligne. We also analyze the relation between deformations of Frobenius modules and certain maximally degenerate variations of Hodge structures. Finally, under a certain generation hypothesis, we show how to construct a Frobenius manifold starting from a deformation of a Frobenius module.
Variation of mixed Hodge structures(VMHS), introduced by P. Deligne, is a linear structure reflecting the geometry on cohomology of the fibers of an algebraic family, generalizing variation of Hodge structures for smooth proper families, introduced by P. Griffiths. Hence, it is a strong tool to study the variation of the geometric structure of fibers of a morphism. We describe here the degenerating properties of a VMHS of geometric origin and the existence of a relative monodromy filtration, as well the definition and properties of abstract admissible VMHS.
In this paper we study the $\mathbb{C}^*$-fixed points in moduli spaces of Higgs bundles over a compact Riemann surface for a complex semisimple Lie group and its real forms. These fixed points are called Hodge bundles and correspond to complex variations of Hodge structure. We introduce a topological invariant for Hodge bundles that generalizes the Toledo invariant appearing for Hermitian Lie groups. A main result of this paper is a bound on this invariant which generalizes both the Milnor-Wood inequality of the Hermitian case and the Arakelov inequalities of classical variations of Hodge str…
We present a new proof of a part of the nilpotent orbit theorem for unipotent complex variations of Hodge structure. In our proof, the $L^2$ extension theorem of Ohsawa-Takegoshi type plays an essential role.
We prove that the infinitesimal variations of Hodge structure arising in a number of geometric situations are non-generic. In particular, we consider the case of generic hypersurfaces in complete smooth projective toric varieties, generic hypersurfaces in weighted projective spaces and generic complete intersections in projective space and show that, for sufficiently high degrees, the corresponding infinitesimal variations are non-generic.
Consider the holomorphic bundle with connection on $\mathbb P^1-\{0,1,\infty\}$ corresponding to the regular hypergeometric differential operator \[ \prod_{j=1}^h(D-α_j)-z\prod_{j=1}^h(D-β_j), \qquad D=z\frac{d}{dz}. \] If the numbers $α_i$ and $β_j$ are real and for all $i$ and $j$ the number $α_i-β_j$ is not integer, then the bundle with connection is known to underlie a complex polarizable variation of Hodge structures. We calculate some Hodge invariants for this variation, in particular, the Hodge numbers. From this we derive a conjecture of Corti and Golyshev. We also use non-abelian Hodg…
We define a map $\mathcal{P}_M$ attached to any polarized Hodge module $M$ such that the restriction of $\mathcal{P}_M$ to a locus on which $M$ is a variation of Hodge structures induces the usual period integral pairing for this variation of Hodge structures. In the case that $M$ is the minimal extension of a simple polarized variation of Hodge structures $V$, we show that the homotopy image of $\mathcal{P}_M$ is the minimal extension of the graph morphism of the usual period integral map for $V$.
We study the asymptotic behaviour of polarization form in the variation of mixed Hodge structure associated to isolated hypersurface singularities. The contribution characterizes a modification of Grothendieck residue as the polarization on the extended fiber in this case. We also provide a discussion on primitive elements to explain conjugation operator in these variations, already existed in the literature.
For a fixed integer $d$, we study here the locus of degree $d$ hypersurfaces $X$ in $\mathbb{P}^{2n+1}$ such that $H^{2n}(X,\mathbb{Q}) \cap H^{n,n}(X,\mathbb{C}) \not= \mathbb{Q}$. We call this locus \textit{the Noether-Lefschetz locus}. Any irreducible component of this locus is locally a Hodge locus. So, we see that the study of this locus is very closely related to the variational Hodge conjecture. In this article we show that the Hodge locus corresponding to the cohomology class of a complete intersection subscheme in $\mathbb{P}^{2n+1}$ of codimension $n+1$ and degree less than $d$ satis…
Let $X$ be a compact Riemann surface, $Σ$ a finite set of points and $M = X\setminus Σ$. We study the $L^2$ cohomology of a polarized complex variation of Hodge structure on a Galois covering of the Riemann surface of finite type $M$. In this article we treat the case when the covering comes from a branched covering of $X$, and where $M$ is endowed with a metric asymptotic to a Poincaré metric. We prove that after tensorisation with the algebra of affiliated operators, the $L^2$ cohomology admits a pure Hodge structure.
This survey article discusses some results on the structure of families f:V-->U of n-dimensional manifolds over quasi-projective curves U, with semistable reduction over a compactification Y of U. We improve the Arakelov inequality for the direct images of powers of the dualizing sheaf. For families of Abelian varieties we recall the characterization of Shimura curves by Arakelov equalities. For families of curves we recall the characterization of Teichmueller curves in terms of the existence of certain sub variation of Hodge structures. We sketch the proof that the moduli scheme of curves of …
We prove that, for every totally real number field E_0, there exists a weight three variation of Hodge structure of Calabi-Yau type defined over the rational numbers with associated endomorphism algebra E_0 such that the unique irreducible factor of Calabi-Yau type of the corresponding real variation of Hodge structure is the canonical real VHS of CY type over the Hermitian symmetric domain II_6, associated to the real group SO^*(12). The main point is a rationality result for the half spin representations of a form of the group SO^*(4m) defined over a number field.
We study closures of GL_2(R)-orbits on the total space of the Hodge bundle over the moduli space of curves under the assumption that they are algebraic manifolds. We show that, in the generic stratum, such manifolds are the whole stratum, the hyperelliptic locus or parameterize curves whose Jacobian has additional endomorphisms. This follows from a cohomological description of the tangent bundle to strata. For non-generic strata similar results can be shown by a case-by-case inspection. We also propose to study a notion of 'linear manifold' that comprises Teichmueller curves, Hilbert modular s…
Insprired by the work of C. Simpson, it is shown that every variation of graded-polarized mixed Hodge structure defined over Q gives rise to a natural Higgs field on the underlying vector bundle. In the context of Mirror Symmetry it is then shown that these Higgs fields share an intimate relationship with Quantum Cohomology.
This paper is a sequel to math.AG/9810041 (whose abstract should have mentioned the fact that a version of the jacobi complex and higher-order Kodaira-Spencer maps were also discovered independently by Esnault and Viehweg). We give a canonical algebraic construction for the variation of Hodge structure associated to the universal m-th order deformation of a compact Kahler manifold without vector fields. Specializing to the case of a Calabi-Yau manifold, we give a formula for the mth derivative of its period map and deduce formal defining equations for the image (Schottky relations).
Let $X$ be an irreducible complex analytic space with $j:U\into X$ an immersion of a smooth Zariski open subset, and let $\bV$ be a variation of Hodge structure of weight $n$ over $U$. Assume $X$ is compact Kähler. Then provided the local monodromy operators at infinity are quasi-unipotent, $IH^k(X, \bV)$ is known to carry a pure Hodge structure of weight $k+n$, while $H^k(U,\bV)$ carries a mixed Hodge structure of weight $\ge k+n$. In this note it is shown that the image of the natural map $IH^k(X,\bV) \to H^k(U,\bV)$ is the lowest weight part of this mixed Hodge structure. In the algebraic c…
Assuming suitable convergence properties for the Gromov-Witten potential of a Calabi-Yau manifold $X$ one may construct a polarized variation of Hodge structure over the complexified Kähler cone of $X$. In this paper we show that, in the case of fourfolds, there is a correspondence between ``quantum potentials'' and polarized variations of Hodge structures that degenerate to a maximally unipotent boundary point. Under this correspondence, the WDVV equations are seen to be equivalent to the Griffiths' trasversality property of a variation of Hodge structure.
We exhibit a direct correspondence between the potential defining the H^{1,1} small quantum module structure on the cohomology of a Calabi-Yau manifold and the asymptotic data of the A-model variation of Hodge structure. This is done in the abstract context of polarized variations of Hodge structure and Frobenius modules.
There is an isomorphism between the moduli spaces of $σ$-stable holomorphic triples and some of the critical submanifolds of the moduli space of $k$-Higgs bundles of rank three, whose elements $(E,φ^k)$ correspond to variations of Hodge structure, VHS. There are special embeddings on the moduli spaces of $k$-Higgs bundles of rank three. The main objective here is to study the cohomology of the critical submanifolds of such moduli spaces, extending those embeddings to moduli spaces of holomorphic triples.
These are the lecture notes based on earlier papers with some additional new results. New and simple proofs are given for local freeness theorem and the semipositivity theorem. A decomposition theorem for higher direct images of dualizing sheaves of Kollár is extended to the sheaves of differential forms of arbitrary degrees in the case of a well prepared birational model. We will also prove the log versions of some of the results, i.e., the case where we allow horizontal boundary components.
This paper studies the Hilbert scheme of a curve on a complete-intersection K-trivial threefold, in the case in which the curve is unobstructed in the ambient variety in which the threefold lives. The basic result is that the obstruction theory of the curve is completely determined by the scheme-theoretic Abel-Jacobi mapping. Several applications of this fact are given.
The aim of this article is to study degeneration of the variations of Hodge structure associated to a proper Kähler semistable morphism. We prove that the weight filtrations constructed in the author's previous paper coincide with the monodromy weight filtrations on the relative log de Rham cohomology groups of a proper Kähler semistable morphism. Moreover, we show that the limiting mixed Hodge structures form admissible variations of mixed Hodge structure.
We study the Variations of mixed Hodge structures (VMHS) associated to a pencil ${\cal X}$ (parametrised by an open set $B \subset {\Bbb P}^1$) of equisingular hypersurfaces of degree $d$ in ${\Bbb P}^{4}$ with exactly $m$ ordinary double points as singularities as well as the variations of Hodge structures (VHS) associated to the desingularization of this family $ \widetilde{\cal X}$. The case where exactly $l \le m $ of those double points are in algebraic general position (short:agp) is studied in detail and determine the possible limiting mixed Hodge structures (LMHS) associated to each of…
The Hodge numerical invariants of a variation of Hodge structure over a smooth quas--projective variety are a measure of complexity for the global twisting of the limit mixed Hodge structure when it degenerates. These invariants appear in inequalities which they may have correction terms, called Arakelov inequalities. One may investigate the correction term to make them into equalities, also called Arakelov equalities. We investigate numerical Arakelov type (in)equilities for a family of surfaces fibered by curves. Our method uses Arakelov identities in a weight 1 and also in a weight 2 variat…
We investigate the Lyapunov Exponents of a variation of Hodge structure which has $G_2$ as geometric monodromy group, and discuss formulas for the sum of positive Lyapunov Exponents of variations of Hodge structures of any weight.
Sheng and Zuo's characteristic forms are invariants of a variation of Hodge structure. We show that they characterize Gross's canonical variations of Hodge structure of Calabi-Yau type over (Hermitian symmetric) tube domains.
Let $n$ be a positive even integer and $d$ a positive integer . To every complete family $Z$ of n dimensional degree d hypersurfaces in the projective space with isolated A-D-E singularities we construct according to an idea of Carlson-Toledo a Deligne-Mumford stack $\bar Z$ whose moduli space is $Z$ such that the monodromy representation extends. We study the corresponding periods mapping and establish an infinitesimal Torelli theorem along the isosingular strata of lZ$ under transversality assumptions. We apply this result to prove Steiness of the universal covering space of $\bar Z$.
We continue our work on variations of graded-polarized mixed Hodge structures by defining analogs of the harmonic metric equations for filtered bundles and proving a precise analog of Schmid's Nilpotent Orbit Theorem for 1-parameter degenerations of graded-polarized mixed Hodge structure.
Given a variation of Hodge structures on a quasi-projective base $S$, whose generic Mumford-Tate group is non-product, we prove that the (countable) union of positive components of the Hodge locus is either an algebraic subvariety of $S$, or is Zariski-dense in $S$.
We construct a polarized Hodge structure on the primitive part of Chen and Ruan's orbifold cohomology $H_{orb}^k(X)$ for projective $SL$-orbifolds $X$ satisfying a ``Hard Lefschetz Condition''. Furthermore, the total cohomology $H_{orb}^{*,*}(X)$ forms a mixed Hodge structure that is polarized by every element of the Kähler cone of $X$. Using results of Cattani-Kaplan-Schmid this implies the existence of an abstract polarized variation of Hodge structure on the complexified Kähler cone of $X$. This construction should be considered as the analogue of the abstract polarized variation of Hodge s…
In this paper, we prove a general theorem concerning the analyticity of the closure of a subspace defined by a family of variations of mixed Hodge structures, which includes the analyticity of the zero loci of degenerating normal functions. For the proof, we use a moduli of the valuative version of log mixed Hodge structures.
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.
