We study the vectorial length compactification of the space of conjugacy classes of maximal representations of the fundamental group $\Gamma$ of a closed hyperbolic surface $\Sigma$ in $\textrm{PSL}(2,{\mathbb{R}})^n$. We identify the boundary with the sphere ${\mathbb{P}}(({\mathcal{ML}})^n)$, where $\mathcal{ML}$ is the space of measured geodesic laminations on $\Sigma$. In the case $n=2$, we give a geometric interpretation of the boundary as the space of homothety classes of ${\mathbb{R}}^2$-mixed structures on $\Sigma$. We associate to such a structure a dual tree-graded space endowed with an ${\mathbb{R}}_+^2$-valued metric, which we show to be universal with respect to actions on products of two $\mathbb{R}$-trees with the given length spectrum.

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.)

We prove that the nonvarying strata of abelian and quadratic differentials in low genus have trivial tautological rings and are affine varieties. We also prove that strata of k-differentials of infinite area are affine varieties for all k. Vanishing of homology in degree higher than the complex dimension follows as a consequence for these affine strata. Moreover we prove that the stratification of the Hodge bundle for abelian and quadratic differentials of finite area is extremal in the sense that merging two zeros in each stratum leads to an extremal effective divisor in the boundary. A common feature throughout these results is a relation of divisor classes in strata of differentials as well as its incarnation in Teichmüller dynamics.

We prove general Dwork-type congruences for constant terms attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and p-adic analytic properties of functions originating from polynomial solutions modulo $p^s$ of hypergeometric and Knizhnik–Zamolodchikov (KZ) equations, solutions which come as coefficients of master polynomials and whose coefficients are integers. As an application, we show that the simplest example of a p-adic KZ connection has an invariant line subbundle while its complex analog has no nontrivial subbundles due to the irreducibility of its monodromy representation.

We consider the Weil–Petersson gradient vector field of renormalized volume on the deformation space of convex cocompact hyperbolic structures on (relatively) acylindrical manifolds. In this paper we prove the conjecture that the flow has a global attracting fixed point at the unique structure $M_{\rm geod}$ with minimum convex core volume.

This paper is about a type of quantitative density of closed geodesics and orthogeodesics on complete finite-area hyperbolic surfaces. The main results are upper bounds on the length of the shortest closed geodesic and the shortest doubly truncated orthogeodesic that are $\varepsilon$-dense on a given compact set on the surface.

We consider a holomorphic family $f:\mathscr {X} \to S$ of compact complex manifolds and a line bundle $\mathscr {L}\to \mathscr {X}$. Given that $\mathscr {L}^{-1}$ carries a singular hermitian metric that has Poincaré type singularities along a relative snc divisor $\mathscr {D}$, the direct image $f_*(K_{\mathscr {X}/S}\otimes \mathscr {D} \otimes \mathscr {L})$ carries a smooth hermitian metric. If $\mathscr {L}$ is relatively positive, we give an explicit formula for its curvature. The result applies to families of log-canonically polarized pairs. Moreover, we show that it improves the general positivity result of Berndtsson-Păun in a special situation of a big line bundle.

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.

We prove that actions of complex reductive Lie groups on a holomorphic vector bundle over a complex compact manifold are locally extendable to its local moduli space.

Following Bridgeman, we demonstrate several families of infinite dilogarithm identities associated with Fibonacci numbers, Lucas numbers, convergents of continued fractions of even periods, and terms arising from various recurrence relations.

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$ .

We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is to study log structures that are incoherent on a subspace of codimension 2 and prove a Hodge–de Rham degeneration theorem for such log spaces that also settles a conjecture by Danilov. We show that the homotopy equivalence between Maurer–Cartan solutions and deformations combined with Batalin–Vilkovisky theory can be used to obtain smoothings. The construction of new Calabi–Yau and Fano manifolds as well as Frobenius manifold structures on moduli spaces provides potential applications.

We compute the gap distribution of directions of saddle connections for two classes of translation surfaces. One class will be the translation surfaces arising from gluing two identical tori along a slit. These yield the first explicit computations of gap distributions for non-lattice translation surfaces. We show that this distribution has support at zero and quadratic tail decay. We also construct examples of translation surfaces in any genus $d>1$ that have the same gap distribution as the gap distribution of two identical tori glued along a slit. The second class we consider are twice-marked tori and saddle connections between distinct marked points with a specific orientation. These results can be interpreted as the gap distribution of slopes of affine lattices. We obtain our results by translating the question of gap distributions to a dynamical question of return times to a transversal under the horocycle flow on an appropriate moduli space.

By use of a natural map introduced recently by the first and third authors from the space of pure-type complex differential forms on a complex manifold to the corresponding one on the small differentiable deformation of this manifold, we will give a power series proof for Kodaira–Spencer’s local stability theorem of Kähler structures. We also obtain two new local stability theorems, one of balanced structures on an n-dimensional balanced manifold with the $(n-1,n)$ th mild $\partial \overline {\partial }$ -lemma by power series method and the other one on p-Kähler structures with the deformation invariance of $(p,p)$ -Bott–Chern numbers.

In this note we show that the expected value of the separating systole of a random surface of genus g with respect to Weil–Petersson volume behaves like $2\log g $ as the genus goes to infinity. This is in strong contrast to the behavior of the expected value of the systole which, by results of Mirzakhani and Petri, is independent of genus.

The general position hypothesis needs strengthening.

Let X be a normal compact Kähler space with klt singularities and torsion canonical bundle. We show that X admits arbitrarily small deformations that are projective varieties if its locally trivial deformation space is smooth. We then prove that this unobstructedness assumption holds in at least three cases: if X has toroidal singularities, if X has finite quotient singularities and if the cohomology group ${\mathrm {H}^{2} \!\left ( X, {\mathscr {T}_{X}} \right )}$ vanishes.

We derive a quadratic recursion relation for the linear Hodge integrals of the form $\langle \tau _{2}^{n}\lambda _{k}\rangle $ . These numbers are used in a formula for Masur-Veech volumes of moduli spaces of quadratic differentials discovered by Chen, Möller and Sauvaget. Therefore, our recursion provides an efficient way of computing these volumes.

A meander is a topological configuration of a line and a simple closed curve in the plane (or a pair of simple closed curves on the 2-sphere) intersecting transversally. Meanders can be traced back to H. Poincaré and naturally appear in various areas of mathematics, theoretical physics and computational biology (in particular, they provide a model of polymer folding). Enumeration of meanders is an important open problem. The number of meanders with $2N$ crossings grows exponentially when $N$ grows, but the long-standing problem on the precise asymptotics is still out of reach.

We show that the situation becomes more tractable if one additionally fixes the topological type (or the total number of minimal arcs) of a meander. Then we are able to derive simple asymptotic formulas for the numbers of meanders as $N$ tends to infinity. We also compute the asymptotic probability of getting a simple closed curve on a sphere by identifying the endpoints of two arc systems (one on each of the two hemispheres) along the common equator.

The new tools we bring to bear are based on interpretation of meanders as square-tiled surfaces with one horizontal and one vertical cylinder. The proofs combine recent results on Masur–Veech volumes of moduli spaces of meromorphic quadratic differentials in genus zero with our new observation that horizontal and vertical separatrix diagrams of integer quadratic differentials are asymptotically uncorrelated. The additional combinatorial constraints we impose in this article yield explicit polynomial asymptotics.