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. An important result of this paper is a bound on this invariant which generalizes the Milnor–Wood inequality for a Hodge bundle in the Hermitian case, and is analogous to the Arakelov inequalities of classical variations of Hodge structure. When the generalized Toledo invariant is maximal, we establish rigidity results for the associated variations of Hodge structure which generalize known rigidity results for maximal Higgs bundles and their associated maximal representations in the Hermitian case.

We prove the generic Torelli theorem for hypersurfaces in $\mathbb {P}^{n}$ of degree $d$ dividing $n+1$, for $d$ sufficiently large. Our proof involves the higher-order study of the variation of Hodge structure along particular one-parameter families of hypersurfaces that we call ‘Schiffer variations.’ We also analyze the case of degree $4$. Combined with Donagi's generic Torelli theorem and results of Cox and Green, this shows that the generic Torelli theorem for hypersurfaces holds with finitely many exceptions.

We collect evidence in support of a conjecture of Griffiths, Green, and Kerr on the arithmetic of extension classes of limiting mixed Hodge structures arising from semistable degenerations over a number field. After briefly summarizing how a result of Iritani implies this conjecture for a collection of hypergeometric Calabi–Yau threefold examples studied by Doran and Morgan, the authors investigate a sequence of (non-hypergeometric) examples in dimensions $1\,\le \,d\,\le \,6$ arising from Katz's theory of the middle convolution. A crucial role is played by the Mumford-Tate group (which is ${{G}_{2}}$ ) of the family of 6-folds, and the theory of boundary components of Mumford–Tate domains.

We show that the limit of a one-parameter admissible normal function with no singularities lies in a non-classical sub-object of the limiting intermediate Jacobian. Using this, we construct a Hausdorff slit analytic space, with complex Lie group fibres, which ‘graphs’ such normal functions. For singular normal functions, an extension of the sub-object by a finite group leads to the Néron models. When the normal function comes from geometry, that is, a family of algebraic cycles on a semistably degenerating family of varieties, its limit may be interpreted via the Abel–Jacobi map on motivic cohomology of the singular fibre, hence via regulators on K-groups of its substrata. Two examples are worked out in detail, for families of 1-cycles on CY and abelian 3-folds, where this produces interesting arithmetic constraints on such limits. We also show how to compute the finite ‘singularity group’ in the geometric setting.

We study positivity properties of the moduli (b-)divisor associated to a relative log pair (X, B)/Y with relatively trivial log canonical class.