This is a written-up version of eight introductory lectures to the Hodge theory of projective manifolds. The table of contents should be self-explanatory. The only exception is section 8 where I discuss, in a simple example, a technique for studying the class map for homology classes on the fibers of a map and one for approximating a certain kind of primitive vectors.
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.
Traditionally, Hodge structures are associated with complex projective varieties. In my expository lectures I discussed a non-commutative generalization of Hodge structures in deformation quantization and in derived algebraic geometry.
We construct an explicit homotopy formula for the d-bar complex on a complete intersection subvariety V in CP^n. This formula can be interpreted as a Hodge-type decomposition for residual currents on V.
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!
Lectures on the construction on the moduli space of principal bundles, given in the Mini-School on Moduli Spaces at the Banach center (Warsaw) 26-30 April 2005.
We prove that the relative log de Rham cohomology groups of a projective semistable log smooth degeneration admit a natural \textit{limiting} mixed Hodge structure. More precisely, we construct a family of increasing filtrations and a family of nilpotent endomorphisms on the relative log de Rham cohomology groups and show that they satisfy a part of good properties of a nilpotnet orbit in several variables.
Given a smooth projective variety V of dimension n, one may say that V has motivic dimension less than d+1 if the cohomology of V comes from varieties of dimensions less than d+1 in some geometric way. In this paper, we show that a smooth complete interesection of k quadrics has a motivic dimension less than k.
We give a basis for the vector space generated by rational Hodge classes of type (2,2) on the Hilbert square of a projective K3 surface general in its rank, which is a subspace of the singular cohomology ring with rational coefficients: we use Nakajima operators and an algebraic model developed by Lehn and Sorger as main tools. We then obtain a basis of the lattice generated by integral Hodge classes of type (2,2) on the Hilbert square of a projective K3 surface general in its rank: we exploit lattice theory, a theorem by Qin and Wang and a result by Ellingsrud, Göttsche and Lehn.
These notes are an extended version of the authors' lectures at the 2013 CMI Workshop "Mixed Hodge Modules and Their Applications". We give an overview, with an emphasis on applications, of recent developments on the interaction between characteristic class theories for singular spaces and Saito's theory of mixed Hodge modules in the complex algebraic context.
Let $k$ be an algebraically closed field of any characteristic. Let $X$ be a polarized irreducible smooth projective algebraic variety over $k$. We give criterion for semistability and stability of system of Hodge bundles on $X$. We define notion of generalized opers on $X$, and prove semistability of the Higgs bundle associated to generalized opers. We also show that existence of partial oper structure on a vector bundle $E$ together with a connection $\nabla$ over $X$ implies semistability of the pair $(E, \nabla)$.
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…
We show that, for any fixed weight, there is a natural system of Hodge sheaves, whose Higgs field has no poles, arising from a flat projective family of varieties parametrized by a regular complex base scheme, extending the analogous classical result for smooth projective families due to Griffiths. As an application, based on positivity of direct image sheaves, we establish a criterion for base spaces of rational Gorenstein families to be of general type. A key component of our arguments is centered around the construction of derived categorical objects generalizing relative logarithmic forms …
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.
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.
In this paper, we prove that the statement: ``The (Generalized) Hodge Conjecture holds for codimension-two cycles on a smooth projective variety $X$" is a birationally invariant statement, that is, if the statement is true for $X$, it is also true for all smooth varieties $X'$ which are birationally equivalent to $X$. We also prove the analogous result for 1-cycles. As direct corollaries, the Hodge Conjecture holds for smooth rational projective manifolds with dimension less than or equal to five, and, the Generalized Hodge Conjecture holds for smooth rational projective manifolds with dimensi…
Let X be a smooth quasi-projective variety over the algebraic closure of the rational number field. We show that the cycle map of the higher Chow group to Deligne cohomology is injective and the higher Hodge cycles are generated by the image of the cycle map as conjectured by Beilinson and Jannsen, if the cycle map to Deligne cohomology is injective and the Hodge conjecture is true for certain smooth projective varieties over the algebraic closure of the rational number field. We also verify the conjecture on the surjectivity in the case of the complement of a union of general hypersurfaces in…
We investigate the relation between the Hodge theory of a smooth subcanonical $n$-dimensional projective variety $X$ and the deformation theory of the affine cone $A_X$ over $X$. We start by identifying $H^{n-1,1}_{\mathrm{prim}}(X)$ as a distinguished graded component of the module of first order deformations of $A_X$, and later on we show how to identify the whole primitive cohomology of $X$ as a distinguished graded component of the Hochschild cohomology module of the punctured affine cone over $X$. In the particular case of a projective smooth hypersurface $X$ we recover Griffiths' isomorp…
For projective varieties with a certain class of 'mild' isolated singularities and for projective threefolds with arbitrary Gorenstein canonical singularities, we show that the stringy Hodge numbers satisfy the Hard Lefschetz property. This result fits nicely with a 6-dimensional counterexample of Mustata and Payne for the Hard Lefschetz property for stringy Hodge numbers in general. We also give such an example, ours is a hypersurface singularity.
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 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 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 that the product of an Enriques surface and a very general curve of genus at least 1 does not satisfy the integral Hodge conjecture for 1-cycles. This provides the first examples of smooth projective complex threefolds of Kodaira dimension zero for which the integral Hodge conjecture fails, and the first examples of non-algebraic torsion cohomology classes of degree 4 on smooth projective complex threefolds.
We compute the Hodge numbers of the variation of Hodge structure of the middle cohomology (with compact support) of the Landau-Ginzburg model dual to a weighted projective space. We state a conjectural formula for the Hodge numbers of general hypergeometric variations. We show that a general Landau-Ginzburg fibre is birational to a Calabi-Yau variety if and only if a general anticanonical section of the weighted projective space is Calabi-Yau. We analyse the 104 weighted 3-spaces with canonical singularities, and show that a general anticanonical section is not a K3 surface exactly in those 9 …
We propose a definition of ``nonabelian mixed Hodge structure'' together with a construction associating to a smooth projective variety $X$ and to a nonabelian mixed Hodge structure $V$, the ``nonabelian cohomology of $X$ with coefficients in $V$'' which is a (pre-)nonabelian mixed Hodge structure denoted $H=Hom(X_M, V)$. We describe the basic definitions and then give some conjectures saying what is supposed to happen. At the end we compute an example: the case where $V$ has underlying homotopy type the complexified 2-sphere, and mixed Hodge structure coming from its identification with $\pp …
This paper was motivated by the following question: Recall that for a smooth projective variety X whose polarized Hodge structure on H^n(X,Q)_{prim} leads to a period point ...
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.
We express total set of rational Gromov-Witten invariants of projective spaces via periods of variations of semi-infinite Hodge structure associated with their mirror partners.
We analyze the intersection properties of projective planes embedded in generalized Kummer fourfolds, with a view toward classifying the homology classes represented by these submanifolds.
We prove that a projective vertical exact log smooth morphism of fs log analytic spaces with a base of log rank one yields polarized log Hodge structures in the canonical way.
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$.
Given a derived equivalence of orbifolds associated to projective varieties with (not necessarily Gorenstein) quotient singularities, we deduce consequences related to the behavior of orbifold Hodge numbers and the Picard variety, extending what is known in the smooth case.
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…
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.
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.
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.