Let $X$ be a compact Kähler manifold, and let $L$ be a line bundle on $X.$ Define $I_k(L)$ to be the kernel of the multiplication map $ Sym^k H^0 (L) \to H^0 (L^k).$ For all $h \leq k,$ we define a map $ρ: I_k(L) \to Hom (H^{p,q} (L^{-h}), H^{p+1,q-1} (L^{k-h})).$ When $L = K_X$ is the canonical bundle, the map $ρ$ computes a second fundamental form associated to the deformations of $X.$ If $X=C$ is a curve, then $ρ$ is a lifting of the Wahl map $I_2(L) \to H^0 (L^2 \otimes K_C^2).$ We also show how to generalize the construction of $ρ$ to the cases of harmonic bundles and of couples of vector bundles.
In this paper, we show some applications to algebraic cycles by using higher Abel-Jacobi maps which were defined in [the author: Motives and algebraic de Rham cohomology]. In particular, we prove that the Beilinson conjecture on algebraic cycles over number fields implies the Bloch conjecture on zero-cycles on surfaces. Moreover, we construct a zero-cycle on a product of curves whose Mumford invariant vanishes, but not higher Abel-Jacobi invariant.
We study a property of cycle spaces in connection with degenerating Hodge structures of odd-weight, and construct maps from some partial compactifications of period domains to the Satake compatifications of Siegel spaces. These maps are a generalization of the maps from the toroidal compactifications of Siegel spaces to the Satake compactifications. We also show the continuity of these maps for the case of Calabi-Yau threefolds with h^{2,1}=1.
We give a geometric proof of the Decomposition Theorem of Beilinson, Bernstein, Deligne and Gabber for the direct image of the intersection cohomology complex under a proper map of complex algebraic varieties. The method rests on new Hodge-theoretic results on the cohomology of projective varieties which extend naturally the classical theory and provide new applications.
According to the decomposition and relative hard Lefschetz theorems, given a projective map of complex quasi projective algebraic varieties and a relatively ample line bundle, the rational intersection cohomology groups of the domain of the map split into various direct summands. While the summands are canonical, the splitting is certainly not, as the choice of the line bundle yields at least three different splittings by means of three mechanisms in a triangulated category introduced by Deligne. It is known that these three choices yield splittings of mixed Hodge structures. In this paper, we…
In this paper, we define a certain Hodge-theoretic structure for an arbitrary variety X over the complex number field by using the theory of mixed Hodge module due to Morihiko Saito. We call it an arithmetic Hodge structure of X. It is shown that extension groups of arithmetic Hodge structure do not vanish even for degree $\geq2$. Moreover, we define higher Abel-Jacobi maps from Bloch's higher Chow groups of X to these extension groups. These maps essentially involve the classical Abel-Jacobi maps by Weil and Griffiths, and Mumford's infinitesimal invariants of 0-cycles on surfaces.
Consider a Shimura variety of Hodge type admitting a smooth integral model S at an odd prime p>3. Consider its perfectoid cover S(p^\infty) and the Hodge-Tate period map introduced by A. Caraiani and P. Scholze. We compare the pull-back to S(p^\infty) of the Ekedahl-Oort stratification on the mod p special fiber of S and the pull back to S(p^\infty) of the fine Deligne-Lusztig stratification on the mod p special fiber of the flag variety which is the target of the Hodge-Tate period map. An application to the non-emptiness of Ekedhal-Oort strata is provided.
In this article, we propose noncommutative versions of Tate conjecture and Hodge conjecture. If we consider these conjectures for a dg-category of perfect complexes over a certain schemes $X$, then they are equivalent to the classical Tate and Hodge conjectures for $X$ respectively. We also propose a strategy of how to prove these conjectures by utilizing a version of motivic Bass conjecture.
We study in detail mirror symmetry for the quartic K3 surface in P3 and the mirror family obtained by the orbifold construction. As explained by Aspinwall and Morrison, mirror symmetry for K3 surfaces can be entirely described in terms of Hodge structures. (1) We give an explicit computation of the Hodge structures and period maps for these families of K3 surfaces. (2) We identify a mirror map, i.e. an isomorphism between the complex and symplectic deformation parameters, and explicit isomorphisms between the Hodge structures at these points. (3) We show compatibility of our mirror map with th…
We give a bound for the number of rational maps between algebraic varieties of general type under mild hypothesis on the canonical map. We use an idea inspired by Tanabe's work. Instead of attaching a morphism of Hodge structures to a rational map we simply associate to it a piece of the integral Hodge lattice. This procedure does not give an injective map, but by means of a geometric argument, we can estimate the number of maps with the same image.
We study Hodge Integrals on Moduli Spaces of Admissible Covers. Motivation for this work comes from Bryan and Pandharipande's recent work on the local GW theory of curves, where analogouos intersection numbers, computed on Moduli Spaces of Relative Stable Maps, are the structure coefficients for a Topological Quantum Field Theory. Admissible Covers provide an alternative compactification of the Moduli Space of Maps, that is smooth and doesn't contain boundary components of excessive dimension. A parallel, yet different, TQFT, can then be constructed. In this paper we compute, using localizatio…
We define and construct the real analytic moduli stack of pluriharmonic bundles on a compact Kaehler manifold X, and show how this is equipped with Hodge and quaternionic structures. This stack maps to the de Rham moduli stack, giving rise to preferred sections of the Deligne-Hitchin twistor stack. We then show how the non-abelian mixed Hodge structures on Malcev homotopy types X can be extended to objects over the pluriharmonic moduli stack.
Let X be a complete complex nonsingular algebraic variety and D a closed algebraic subset of X. We show that the cup product maps H^i(X \setminus D) \otimes H^j(X,D) \to H^{i+j}(X,D) are morphisms of mixed Hodge structures. As a corollary we obtain a new proof of a duality result of Fujiki. We also deal with the extraordinary cup product.
We extend the results of generic vanishing theory to polarizable real Hodge modules on compact complex tori, and from there to arbitrary compact Kähler manifolds. As applications, we obtain a bimeromorphic characterization of compact complex tori among compact Kähler manifolds, semi-positivity results, and a description of the Leray filtration for maps to tori.
This paper forms the major portion of a talk given at the International Colloquium on Arithmetic, Algebra and Geometry at TIFR, Mumbai in Jan 2000. We look at the problem of detecting cycles with trivial Abel-Jacobi invariant. M. Green proposed a Hodge-theoretic method to which C. Voisin found a counter-example. We present an easier example. We also propose another possible invariant to detect these classes using Hodge Theory. Similar methods have been proposed earlier by M. Asakura and M. Saito.
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).
We explicitly describe cycle-class maps c_H from motivic cohomology to absolute Hodge cohomology, for smooth quasi-projective and (some) proper singular varieties, and compute special cases of the latter. For smooth projective varieties, we also study Hodge-theoretically defined "higher Abel-Jacobi maps" on the kernel of c_H; this leads to new results on nontrivial indecomposable higher Chow cycles in the regulator kernel.
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}.
Consider the cycle class map cl_{r,m} : CH^r(U,m;\Q) \to ΓH^{2r-m}(U,\Q(r)), where CH^r(U,m;\Q) is Bloch's higher Chow group (tensored with \Q) of a smooth complex quasi-projective variety U, and H^{2r-m}(U,\Q(r)) is singular cohomology. We study the image of cl_{r,m} in terms of kernels of Abel-Jacobi maps. When r=m, we deduce from the Bloch-Kato theorem that the cokernel of cl_{r,m} at the generic point of U is the same for integral or rational coefficients.
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 give a new proof of Kollár's conjecture on the pushforward of the dualizing sheaf twisted by a variation of Hodge structure. This conjecture was settled by M. Saito via mixed Hodge modules and has applications in the investigation of Albanese maps. Our technique is the $L^2$-method and we give a concrete construction and proofs of the conjecture. The $L^2$ point of view allows us to generalize Kollár's conjecture to the context of non-abelian Hodge theory.
We construct Hodge filtered cohomology groups for complex manifolds that combine the topological information of generalized cohomology theories with geometric data of Hodge filtered holomorphic forms. This theory provides a natural generalization of Deligne cohomology. For smooth complex algebraic varieties, we show that the theory satisfies a projective bundle formula and $\A^1$-homotopy invariance. Moreover, we obtain transfer maps along projective morphisms.
For an arbitrary semisimple Frobenius manifold we construct Hodge integrable hierarchy of Hamiltonian partial differential equations. In the particular case of quantum cohomology the tau-function of a solution to the hierarchy generates the intersection numbers of the Gromov--Witten classes and their descendents along with the characteristic classes of Hodge bundles on the moduli spaces of stable maps. For the one-dimensional Frobenius manifold the Hodge hierarchy is a deformation of the Korteweg--de Vries hierarchy depending on an infinite number of parameters. Conjecturally this hierarchy is…
Let X be a smooth projective complex variety, of dimension 3, whose Hodge numbers h^{3,0}(X), h^{1,0}(X) both vanish. Let f: X--> X be a birational map that induces an isomorphism on (dense) open subvarieties U,V of X. Then we show that the complex reduced varieties (X \ U), (X \ V) are piecewise isomorphic.
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. Se…
We study in this article the cohomological properties of Lagrangian families on projective hyper-Kähler manifolds. First, we give a criterion for the vanishing of Abel-Jacobi maps of Lagrangian families. Using this criterion, we show that under a natural condition, if the variation of Hodge structures on the degree $1$ cohomomology of the fibers of the Lagrangian family is maximal, its Abel-Jacobi map is trivial. We also construct Lagrangian families on generalized Kummer varieties whose Abel-Jacobi map is not trivial, showing that our criterion is optimal.
We prove that the period maps from the Torelli space and the moduli space with level $m$ structure of Calabi-Yau type manifolds to the corresponding period domain of polarized Hodge structures are injective. The proof is based on the construction of holomorphic affine structure on the Teichmüller space and the construction of the completion space of the Torelli space with respect to the Hodge metric.
We analyse the consequences of the Virasoro conjecture of Eguchi, Hori and Xiong for Gromov-Witten invariants, in the case of zero degree maps to the manifolds CP^1 and CP^2 (or more generally, smooth projective curves and smooth simply-connected projective surfaces). We obtain predictions involving intersections of psi and lambda classes on the compactification of M_{g,n}. In particular, we show that the Virasoro conjecture for CP^2 implies the numerical part of Faber's conjecture on the tautological Chow ring of M_g.
In the past decade, J. Huh solved several long-standing open problems on log-concave sequences in combinatorics. The ground-breaking techniques developed in those work are from algebraic geometry: "We believe that behind any log-concave sequence that appears in nature there is such a Hodge structure responsible for the log-concavity". A function is called completely monotone if its derivatives alternate in signs; e.g., $e^{-t}$. A fundamental conjecture in mathematical physics and Shannon information theory is on the complete monotonicity of Gaussian distribution (GCMC), which states that $I(X…
We prove that the Beilinson regulator, which is a map from $K$-theory to absolute Hodge cohomology of a smooth variety, admits a refinement to a map of $E_\infty$-ring spectra in the sense of algebraic topology. To this end we exhibit absolute Hodge cohomology as the cohomology of a commutative differential graded algebra over $\mathbb{R}$. The associated spectrum to this CDGA is the target of the refinement of the regulator and the usual $K$-theory spectrum is the source. To prove this result we compute the space of maps from the motivic $K$-theory spectrum to the motivic spectrum that repres…
This survey studies equivariant harmonic maps arising from Higgs bundles. We explain the non-abelian Hodge correspondence and focus on the role of equivariant harmonic maps in the correspondence. With the preparation, we review current progress towards some open problems in the study of equivariant harmonic maps.
We introduce the notion of lef line bundles on a complex projective manifold. We prove that lef line bundles satisfy the Hard Lefschetz Theorem, the Lefschetz Decomposition and the Hodge-Riemann Bilinear Relations. We study proper holomorphic semismall maps from complex manifolds and prove that, for constant coefficients, the Decomposition Theorem is equivalent to the non-degeneracy of certain intersection forms. We give a proof of the Decomposition Theorem for the complex direct image of the constant sheaf when the domain and the target are projective by proving that the forms in question are…
Let $S$ be the special fibre of a Shimura variety of Hodge type, with good reduction at a place above $p$. We give an alternative construction of the zip period map for $S$, which is used to define the Ekedahl-Oort strata of $S$. The method employed is local, $p$-adic, and group-theoretic in nature.
Let $\bar{M}_{0,n}(G(r,V), d)$ be the coarse moduli space of stable degree $d$ maps from $n$-pointed genus $0$ curves to a Grassmann variety $G(r,V)$. We provide a recursive method for the computation of the Hodge numbers and the Betti numbers of $\bar{M}_{0,n}(G(r,V), d)$ for all $n$ and $d$. Our method is a generalization of Getzler and Pandharipande's work for maps to projective spaces.
We study the surjectivity of suitable weighted Gaussian maps which provide a natural generalization of the standard Gaussian maps and encode the local geometry of the locus of curves endowed with a higher root of the canonical bundle having associated linear system of dimension at least r + 1. In particular, we get a bound on the dimension of its Zariski tangent space, which turns out to be sharp in the special case r = 0. Finally, we describe this locus in the case of complete intersection curves.
In this work we use Hodge theoretic methods to study homotopy types of complex projective manifolds with arbitrary fundamental groups. The main tool we use is the \textit{schematization functor} $X \mapsto (X\otimes \mathbb{C})^{sch}$, introduced by the third author as a substitute for the rationalization functor in homotopy theory in the case of non-simply connected spaces. Our main result is the construction of a \textit{Hodge decomposition} on $(X\otimes\mathbb{C})^{sch}$. This Hodge decomposition is encoded in an action of the discrete group $\mathbb{C}^{\times δ}$ on the object $(X\otimes…
Making suitable generalizations of known results we prove some general facts about Gaussian maps. The above are then used, in the second part of the article, to give a set of conditions that insure the surjectivity of Gaussian maps for curves on Enriques surfaces. To do this we also solve a problem of independent interest: a tetragonal curve of genus g > 6 lying on an Enriques surface and general in its linear system, cannot be, in its canonical embedding, a quadric section of a surface of degree g - 1 in P^{g - 1}.
We prove a mixed version of a conjecture of Griffiths: that the closure of the image of any admissible mixed period map is quasiprojective, with a natural ample bundle. Specifically, we consider the map from the image of the mixed period map to the image of the period map of the associated graded. On the one hand, we show in a precise manner that the parts of this map parametrizing extension data of non-adjacent-weight pure Hodge structures are quasi-affine. On the other hand, extensions of adjacent-weight pure polarized Hodge structures are parametrized by a compact complex torus (the interme…
We present an approach to Green-Lazarsfeld's generic vanishing combining gaussian maps and the Fourier-Mukai transform associated to the Poincarè line bundle. As an application we prove the Generic Vanishing Theorem for all normal Cohen-Macaulay subvarieties of abelian varieties over an algebraically closed field. This paper is a reworking of part of arXiv:math/0310026v2 [math.AG], which contained a mistake.
In the first part of this paper we prove a vanishing criterion for higher direct images of projective families of line bundles on a Cohen-Macaulay variety X. The result involves certain first-order deformations of certain curves on X, and makes essential use of the notion of global co-gaussian maps, a generalization of Wahl's gaussian maps. In the second part we apply the criterion above, combined with Fourier-Mukai transform on abelian varieties, to prove an algebraic version of Green-Lazarsfeld's Generic Vanishing Theorem. In fact we prove a stronger result concerning higher direct images of…
In a joint work [9] with Kazuya Kato and Chikara Nakayama, log higher Albanese manifolds was constructed as an application of log mixed Hodge theory with group action. In this framework, we describe a work of Deligne in [3] on some nilpotent quotients of the fundamental group of the projective line minus three points, where polylogarithms appear. As a result, we have $q$-expansions of higher Albanese maps at boundary points, i.e., log higher Albanese maps over the boundary.
We describe some L-infinity model for the local period map of a compact Kaehler manifold. Applications include the study of deformations with associated variation of Hodge structure constrained by certain closed strata of the Grassmannian of the de Rham cohomology. As a byproduct we obtain an interpretation in the framework of deformation theory of the Yukawa coupling.
