Suppose that $f:X\to C$ is a general Jacobian elliptic surface over ${\mathbb {C}}$ of irregularity $q$ and positive geometric genus $h$. Assume that $10 h>12(q-1)$, that $h>0$ and let $\overline {\mathcal {E}\ell \ell }$ denote the stack of generalized elliptic curves. (1) The moduli stack $\mathcal {JE}$ of such surfaces is smooth at the point $X$ and its tangent space $T$ there is naturally a direct sum of lines $(v_a)_{a\in Z}$, where $Z\subset C$ is the ramification locus of the classifying morphism $\phi :C\to \overline {\mathcal {E}\ell \ell }$ that corresponds to $X\to C$. (2) For each $a\in Z$ the map $\overline {\nabla }_{v_a}:H^{2,0}(X)\to H^{1,1}_{\rm prim}(X)$ defined by the derivative $per_*$ of the period map $per$ is of rank one. Its image is a line ${\mathbb {C}}[\eta _a]$ and its kernel is $H^0(X,\Omega ^2_X(-E_a))$, where $E_a=f^{-1}(a)$. (3) The classes $[\eta _a]$ form an orthogonal basis of $H^{1,1}_{\rm prim}(X)$ and $[\eta _a]$ is represented by a meromorphic $2$-form $\eta _a$ in $H^0(X,\Omega ^2_X(2E_a))$ of the second kind. (4) We prove a local Schottky theorem; that is, we give a description of $per_*$ in terms of a certain additional structure on the vector bundles that are involved. Assume further that $8h>10(q-1)$ and that $h\ge q+3$. (5) Given the period point $per(X)$ of $X$ that classifies the Hodge structure on the primitive cohomology $H^2_{\rm prim}(X)$ and the image of $T$ under $per_*$ we recover $Z$ as a subset of ${\mathbb {P}}^{h-1}$ and then, by quadratic interpolation, the curve $C$. (6) We prove a generic Torelli theorem for these surfaces. Everything relies on the construction, via certain kinds of Schiffer variations of curves, of certain variations of $X$ for which $per_*$ can be calculated. (In an earlier version of this paper we used variations constructed by Fay. However, Schiffer variations are slightly more powerful.)

The mathematical physicists Bershadsky–Cecotti–Ooguri–Vafa (BCOV) proposed, in a seminal article from 1994, a conjecture extending genus zero mirror symmetry to higher genera. With a view towards a refined formulation of the Grothendieck–Riemann–Roch theorem, we offer a mathematical description of the BCOV conjecture at genus one. As an application of the arithmetic Riemann–Roch theorem of Gillet–Soulé and our previous results on the BCOV invariant, we establish this conjecture for Calabi–Yau hypersurfaces in projective spaces. Our contribution takes place on the B-side, and together with the work of Zinger on the A-side, it provides the first complete examples of the mirror symmetry program in higher dimensions. The case of quintic threefolds was studied by Fang–Lu–Yoshikawa. Our approach also lends itself to arithmetic considerations of the BCOV invariant, and we study a Chowla–Selberg type theorem expressing it in terms of special $\Gamma $ -values for certain Calabi–Yau manifolds with complex multiplication.

Let $\mathbb {V}$ be a motivic variation of Hodge structure on a $K$-variety $S$, let $\mathcal {H}$ be the associated $K$-algebraic Hodge bundle, and let $\sigma \in \mathrm {Aut}(\mathbb {C}/K)$ be an automorphism. The absolute Hodge conjecture predicts that given a Hodge vector $v \in \mathcal {H}_{\mathbb {C}, s}$ above $s \in S(\mathbb {C})$ which lies inside $\mathbb {V}_{s}$, the conjugate vector $v_{\sigma } \in \mathcal {H}_{\mathbb {C}, s_{\sigma }}$ is Hodge and lies inside $\mathbb {V}_{s_{\sigma }}$. We study this problem in the situation where we have an algebraic subvariety $Z \subset S_{\mathbb {C}}$ containing $s$ whose algebraic monodromy group $\textbf {H}_{Z}$ fixes $v$. Using relationships between $\textbf {H}_{Z}$ and $\textbf {H}_{Z_{\sigma }}$ coming from the theories of complex and $\ell$-adic local systems, we establish a criterion that implies the absolute Hodge conjecture for $v$ subject to a group-theoretic condition on $\textbf {H}_{Z}$. We then use our criterion to establish new cases of the absolute Hodge conjecture.

Let $f\colon X\to B$ be a semistable fibration where X is a smooth variety of dimension $n\geq 2$ and B is a smooth curve. We give the structure theorem for the local system of the relative $1$ -forms and of the relative top forms. This gives a neat interpretation of the second Fujita decomposition of $f_*\omega _{X/B}$ . We apply our interpretation to show the existence, up to base change, of higher irrational pencils and on the finiteness of the associated monodromy representations under natural Castelnuovo-type hypothesis on local subsystems. Finally, we give a criterion to have that X is not of Albanese general type if $B=\mathbb {P}^1$ .

Let ${\mathcal{D}}$ be the irreducible Hermitian symmetric domain of type $D_{2n}^{\mathbb{H}}$. There exists a canonical Hermitian variation of real Hodge structure ${\mathcal{V}}_{\mathbb{R}}$ of Calabi–Yau type over ${\mathcal{D}}$. This short note concerns the problem of giving motivic realizations for ${\mathcal{V}}_{\mathbb{R}}$. Namely, we specify a descent of ${\mathcal{V}}_{\mathbb{R}}$ from $\mathbb{R}$ to $\mathbb{Q}$ and ask whether the $\mathbb{Q}$-descent of ${\mathcal{V}}_{\mathbb{R}}$ can be realized as sub-variation of rational Hodge structure of those coming from families of algebraic varieties. When $n=2$, we give a motivic realization for ${\mathcal{V}}_{\mathbb{R}}$. When $n\geqslant 3$, we show that the unique irreducible factor of Calabi–Yau type in $\text{Sym}^{2}{\mathcal{V}}_{\mathbb{R}}$ can be realized motivically.

This paper contains two results on Hodge loci in $\mathsf{M}_{g}$. The first concerns fibrations over curves with a non-trivial flat part in the Fujita decomposition. If local Torelli theorem holds for the fibers and the fibration is non-trivial, an appropriate exterior power of the cohomology of the fiber admits a Hodge substructure. In the case of curves it follows that the moduli image of the fiber is contained in a proper Hodge locus. The second result deals with divisors in $\mathsf{M}_{g}$. It is proved that the image under the period map of a divisor in $\mathsf{M}_{g}$ is not contained in a proper totally geodesic subvariety of $\mathsf{A}_{g}$. It follows that a Hodge locus in $\mathsf{M}_{g}$ has codimension at least 2.

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 classify the horizontal $\text{SL}(2)$s and $\mathbb{R}$-split polarized mixed Hodge structures on a Mumford–Tate domain.

In this paper, we determine when a natural torsor arising in the work of Kato and Usui on partial compactification of period domains of pure Hodge structure is trivial, and we give an application to cycle spaces.

We generalize some results in Hodge theory to generalized normal crossing varieties.

We show that the zero locus of an admissible normal function on a smooth complex algebraic variety is algebraic. In Part II of the paper, which is an appendix, we compute the Tannakian Galois group of the category of one-variable admissible real nilpotent orbits with split limit. We then use the answer to recover an unpublished theorem of Deligne, which characterizes the ${\mathrm{sl} }_{2} $-splitting of a real mixed Hodge structure.

The moduli space of smooth real binary octics has five connected components. They parametrize the real binary octics whose defining equations have 0, … , 4 complex-conjugate pairs of roots respectively. We show that each of these five components has a real hyperbolic structure in the sense that each is isomorphic as a real-analytic manifold to the quotient of an open dense subset of 5-dimensional real hyperbolic space $\mathbb{R}{{\mathbb{H}}^{5}}$ by the action of an arithmetic subgroup of Isom$\left( \mathbb{R}{{\mathbb{H}}^{5}} \right)$. These subgroups are commensurable to discrete hyperbolic reflection groups, and the Vinberg diagrams of the latter are computed.

This paper examines the moduli spaces of log Hodge structures introduced by Kato and Usui. This moduli space is a partial compactification of a discrete quotient of a period domain. This paper treats the following two cases: (A) where the period domain is Hermitian symmetric, and (B) where the Hodge structures are of the mirror quintic type. Especially it addresses a property of the torsor.

We introduce a log Picard variety over the complex number field by the method of log geometry in the sense of Fontaine-Illusie, and study its basic properties, especially, its relationship with the group of log version of m-torsors.