This paper considers $A_\infty$-algebras satisfying an analytic bound with respect to a fixed norm. We define a notion of right Calabi–Yau (CY) structures on such $A_\infty$-algebras and show that these give rise to cyclic minimal models satisfying the same analytic bound. This strengthens a theorem of Kontsevich and Soibelman [Stability structures, motivic Donaldson–Thomas invariants and cluster transformations, Preprint (2008), arXiv: 0811.2435], and yields a flexible method for obtaining the analytic potentials of Hua and Keller [Quivers with analytic potentials, Preprint (2019), arXiv: 1909.13517]. We apply these results to the endomorphism differential graded algebra (DGA) of polystable sheaves considered by Toda [Moduli stacks of semistable sheaves and representations of Ext-quivers, Geom. Topol. 22 (2018), 3083–3144], for which we construct a family of such right CY structures obtained from analytic germs of holomorphic volume forms. As a result, we find a canonical cyclic analytic $A_\infty$-structure on the Ext-algebra of a polystable sheaf, which depends only on the analytic-local geometry of its support. This yields an extension of Toda’s result [Geom. Topol. 22 (2018), 3083–3144] to the quasi-projective setting, and a new method for comparing cyclic $A_\infty$-structures of sheaves on different Calabi–Yau varieties.

Multiscale differentials arise as limits of holomorphic differentials with prescribed zero orders on nodal curves. In this paper, we address the conjecture concerning Gorenstein contractions of multiscale differentials, originally proposed by Ranganathan and Wise and further developed by Battistella and Bozlee. Specifically, in the case of a one-parameter degeneration, we show that multiscale differentials can be contracted to Gorenstein singularities, level by level, from the top down. At each level, these differentials descend to generators of the dualizing bundle at the resulting singularities. Moreover, the global residue condition, which governs the smoothability of multiscale differentials, appears as a special case of the residue condition for descent differentials.

Using metric techniques introduced by Berndtsson, we show a result on the constancy of families dominated by a constant variety and, on the opposite side, results on the strong non-isotriviality of certain families of surfaces with positive index and, in arbitrary dimension, in terms of the complex conjugate of a suitable representative of the Kodaira–Spencer class. We also give a metric interpretation of the liftability of relative volume forms.

We study the moduli stacks of slope-semistable torsion-free coherent sheaves that admit reflexive, respectively, locally free, Seshadri graduations on a smooth projective variety. We show that they are open in the stack of coherent sheaves and that they admit good moduli spaces when the field characteristic is zero. In addition, in the locally free case we prove that the resulting moduli space is a quasi-projective scheme.

Given a complex analytic family of complex manifolds, we consider canonical Aeppli deformations of $(p,q)$-forms and study its relations to the varying of dimension of the deformed Aeppli cohomology $\dim H^{\bullet ,\bullet }_{A\phi (t)}(X)$. In particular, we prove the jumping formula for the deformed Aeppli cohomology $H^{\bullet ,\bullet }_{A\phi (t)}(X)$. As a direct consequence, $\dim H^{p,q}_{A\phi (t)}(X)$ remains constant iff the Bott–Chern deformations of $(n-p,n-q)$-forms and the Aeppli deformations of $(n-p-1,n-q-1)$-forms are canonically unobstructed. Furthermore, the Bott–Chern/Aeppli deformations are shown to be unobstructed if some weak forms of ${ \partial }{ \bar {\partial } }$-lemma is satisfied.

A Pell–Abel equation is a functional equation of the form $P^{2}-DQ^{2} = 1$, with a given polynomial $D$ free of squares and unknown polynomials $P$ and $Q$. We show that the space of Pell–Abel equations with the degrees of $D$ and of the primitive solution $P$ fixed is a complex manifold. We describe its connected components by an efficiently computable invariant. Moreover, we give various applications of this result, including to torsion pairs on hyperelliptic curves and to Hurwitz spaces, and a description of the connected components of the space of primitive $k$-differentials with a unique zero on genus $2$ Riemann surfaces.

We study the length of short cycles on uniformly random metric maps (also known as ribbon graphs) of large genus using a Teichmüller theory approach. We establish that, as the genus tends to infinity, the length spectrum converges to a Poisson point process with an explicit intensity. This result extends the work of Janson and Louf to the multi-faced case.

We provide a complete classification of Teichmüller curves occurring in hyperelliptic components of the meromorphic strata of differentials. Using a non-existence criterion based on how Teichmüller curves intersect the boundary of the moduli space we derive a contradiction to the algebraicity of any candidate outside of Hurwitz covers of strata with projective dimension one, and Hurwitz covers of zero residue loci in strata with projective dimension two.

We study algebraic subvarieties of strata of differentials in genus zero satisfying algebraic relations among periods. The main results are Ax–Schanuel and André–Oort-type theorems in genus zero. As a consequence, one obtains several equivalent characterizations of bi-algebraic varieties. It follows that bi-algebraic varieties in genus zero are foliated by affine-linear varieties. Furthermore, bi-algebraic varieties with constant residues in strata with only simple poles are affine-linear. In addition, we produce infinitely many new linear varieties in strata of genus zero, including infinitely many new examples of meromorphic Teichmüller curves.

We define and study graphs associated to hexagon decompositions of surfaces by curves and arcs. One of the variants is shown to be quasi-isometric to the pants graph, whereas the other variant is quasi-isometric to (a Cayley graph of) the mapping class group.

We classify quasidiagonals of the $SL(2, R)$ action on products of strata or hyperelliptic loci. We use the technique of diamonds developed by Apisa and Wright in order to use induction on this problem.

Following the work of Mazzeo–Swoboda–Weiß–Witt [Duke Math. J. 165 (2016), 2227–2271] and Mochizuki [J. Topol. 9 (2016), 1021–1073], there is a map $\overline{\Xi }$ between the algebraic compactification of the Dolbeault moduli space of ${\rm SL}(2,\mathbb{C})$ Higgs bundles on a smooth projective curve coming from the $\mathbb{C}^\ast$ action and the analytic compactification of Hitchin’s moduli space of solutions to the $\mathsf{SU}(2)$ self-duality equations on a Riemann surface obtained by adding solutions to the decoupled equations, known as ‘limiting configurations’. This map extends the classical Kobayashi–Hitchin correspondence. The main result that this article will show is that $\overline{\Xi }$ fails to be continuous at the boundary over a certain subset of the discriminant locus of the Hitchin fibration.

Let $f:X\to Y$ be a surjective projective map, and let L be a holomorphic line bundle on X equipped with a (singular) semi-positive Hermitian metric h. In this article, by studying the canonical metric on the direct image sheaf of the twisted relative canonical bundles $K_{X/Y}\otimes L\otimes \mathscr {I}(h)$, we obtain that this metric has dual Nakano semi-positivity when h is smooth and there is no deformation by f and that this metric has locally Nakano semi-positivity in the singular sense when h is singular.

We provide a complete description of realizable period representations for meromorphic differentials on Riemann surfaces with prescribed orders of zeros and poles, hyperelliptic structure and spin parity.

We prove an effective estimate with a power saving error term for the number of square-tiled surfaces in a connected component of a stratum of quadratic differentials whose vertical and horizontal foliations belong to prescribed mapping class group orbits and which have at most L squares. This result strengthens asymptotic counting formulas in the work of Delecroix, Goujard, Zograf, Zorich, and the author.

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.