Search

We prove that a closed negatively curved analytic Riemannian manifold that contains infinitely many totally geodesic hypersurfaces is isometric to an arithmetic hyperbolic manifold. Equivalently, any closed analytic Riemannian manifold with negative sectional curvature has only finitely many totally geodesic hypersurfaces, unless it has constant curvature., Comment: 30 pages, minor revisions

We revisit the theory of normal forms for non-uniformly contracting dynamics. We collect a number of lemmas and reformulations of the standard theory that will be used in other projects.

We give a complete description of the behavior of the volume function at the boundary of the pseudoeffective cone of certain Calabi-Yau complete intersections known as Wehler N-folds. We find that the volume function exhibits a pathological behavior when N>=3, we obtain examples of a pseudoeffective R-divisor D for which the volume of D+sA, with s small and A ample, oscillates between two powers of s, and we deduce the sharp regularity of this function answering a question of Lazarsfeld. We also show that h^0(X,[mD]+A) displays a similar oscillatory behavior as m increases, showing that several notions of numerical dimensions of D do not agree and disproving a conjecture of Fujino. We accomplish this by relating the behavior of the volume function along a segment to the visits of a corresponding hyperbolic geodesics to the cusps of a hyperbolic manifold., Comment: 52 pages

We construct examples of canonical closed positive currents on projective K3 surfaces that are not fully supported on the complex points. The currents are the unique positive representatives in their cohomology classes and have vanishing self-intersection. The only previously known such examples were due to McMullen on non-projective K3 surfaces and were constructed using positive entropy automorphisms with a Siegel disk. Our construction is based on a Zassenhaus-type estimate for commutators of automorphisms., Comment: 14 pages; final version to appear in the Sibony Memorial Volume of the Journal of Geometric Analysis

We develop a class of uniformizations for certain weight 3 variations of Hodge structure (VHS). The analytic properties of the VHS are used to establish a conjecture of Eskin, Kontsevich, M\"oller, and Zorich on Lyapunov exponents. Additionally, we prove that the monodromy representations are log-Anosov, a dynamical property that has a number of global consequences for the VHS. We establish a strong Torelli theorem for the VHS and describe appropriate domains of discontinuity. Additionally, we classify the hypergeometric differential equations that satisfy our assumptions. We obtain several multi-parameter families of equations, which include the mirror quintic as well as the six other thin cases of Doran--Morgan and Brav--Thomas., Comment: improved exposition; 103 pages, 3 tables, 5 figures

We exhibit an infinite family of discrete subgroups of ${Sp}_4(\mathbb R)$ which have a number of remarkable properties. Our results are established by showing that each group plays ping-pong on an appropriate set of cones. The groups arise as the monodromy of hypergeometric differential equations with parameters $\left(\tfrac{N-3}{2N},\tfrac{N-1}{2N}, \tfrac{N+1}{2N}, \tfrac{N+3}{2N}\right)$ at infinity and maximal unipotent monodromy at zero, for any integer $N\geq 4$. Additionally, we relate the cones used for ping-pong in $\mathbb R^4$ with crooked surfaces, which we then use to exhibit domains of discontinuity for the monodromy groups in the Lagrangian Grassmannian., Comment: 53 pages, 12 figures

We construct canonical positive currents and heights on the boundary of the ample cone of a K3 surface. These are equivariant for the automorphism group and fit together into a continuous family, defined over an enlarged boundary of the ample cone. Along the way, we construct preferred representatives for certain height functions and currents on elliptically fibered surfaces., Comment: 70 pages, 3 figures; final version to appear in the Cambridge Journal of Mathematics

We introduce invariants, called shifting numbers, that measure the asymptotic amount by which an autoequivalence of a triangulated category translates inside the category. The invariants are analogous to Poincare translation numbers that are widely used in dynamical systems. We additionally establish that in some examples the shifting numbers provide a quasimorphism on the group of autoequivalences. Additionally, we relate our shifting numbers to the entropy function introduced by Dimitrov, Haiden, Katzarkov, and Kontsevich., Comment: 43 pages, 1 figure

Motivated by results of Thurston, we prove that any autoequivalence of a triangulated category induces a filtration by triangulated subcategories, provided the existence of Bridgeland stability conditions. The filtration is given by the exponential growth rate of masses under iterates of the autoequivalence, and only depends on the choice of a connected component of the stability manifold. We then propose a new definition of pseudo-Anosov autoequivalences, and prove that our definition is more general than the one previously proposed by Dimitrov, Haiden, Katzarkov, and Kontsevich. We construct new examples of pseudo-Anosov autoequivalences on the derived categories of quintic Calabi-Yau threefolds and quiver Calabi-Yau categories. Finally, we prove that certain pseudo-Anosov autoequivalences on quiver 3-Calabi-Yau categories act hyperbolically on the space of Bridgeland stability conditions., Comment: 36 pages; mistakes fixed

We consider a class of area-preserving, piecewise affine maps on the 2-sphere. These maps encode degenerating families of K3 surface automorphisms and are profitably studied using techniques from tropical and Berkovich geometries., Comment: 58 pages, 15 figures. Accepted, Journal of Modern Dynamics

We give an alternative proof of a result of Cantat and Dupont, showing that any automorphism of a K3 surface with measure of maximal entropy in the Lebesgue class must be a Kummer example. Our method exploits the existence of Ricci-flat metrics on K3s and also covers the non-projective case., Comment: 31 pages; v3: expository improvements, final version to appear in Amer. J. Math

The Oseledets Multiplicative Ergodic theorem is a basic result with numerous applications throughout dynamical systems. These notes provide an introduction to this theorem, as well as subsequent generalizations. They are based on lectures at summer schools in Brazil, France, and Russia., Comment: 46 pages

We study the different notions of semipositivity for (1,1) cohomology classes on K3 surfaces. We first show that every big and nef class (and every nef and rational class) is semiample, and in particular it contains a smooth semipositive representative. By contrast, we show that there exist irrational nef classes with no closed positive current representative which is smooth outside a proper analytic subset. We use this to answer negatively two questions of the second-named author. Using a result of Cantat and Dupont, we also construct examples of projective K3 surfaces with a nef R-divisor which is not semipositive., Comment: 17 pages; v4 final version to appear in Ann. Inst. Fourier

We compute the algebraic hull of the Kontsevich-Zorich cocycle over any GL^+_2(R) invariant subvariety of the Hodge bundle, and derive from this finiteness results on such subvarieties.

The number of closed billiard trajectories in a rational-angled polygon grows quadratically in the length. This paper gives an analogue on K3 surfaces, by considering special Lagrangian tori. The analogue of the angle of a billiard trajectory is a point on a twistor sphere, and the number of directions admitting a special Lagrangian torus fibration with volume bounded by $ V $ grows like $ V^{20} $ with a power-saving term. Bergeron--Matheus have explicitly estimated the exponent of the error term as $ {20-\frac{4}{697633} }$. The counting result on K3 surfaces is deduced from a count of primitive isotropic vectors in indefinite lattices, which is in turn deduced from equidistribution results in homogeneous dynamics., Comment: 39 pages, 2 figures. Final version based on the referee report. To appear in Annales scientifiques de l'\'Ecole Normale Sup\'erieure. Appendix by Bergeron-Matheus at arXiv:1703.01746

We give an example of a Teichm\"uller curve which contains, in a factor of its monodromy, a group which was not observed before. Namely, it has Zariski closure equal to the group $SO^*(6)$ in its standard representation; up to finite index, this is the same as $SU(3,1)$ in its second exterior power representation. The example is constructed using origamis (i.e. square-tiled surfaces). It can be generalized to give monodromy inside the group $SO^*(2n)$ for all $n$, but in the general case the monodromy might split further inside the group. Also, we take the opportunity to compute the multiplicities of representations in the (0,1) part of the cohomology of regular origamis, answering a question of Matheus-Yoccoz-Zmiaikou., Comment: 36 pages, 2 figures. Final version based on the referee report. To appear in J. Eur. Math. Soc. (JEMS)

Consider a family of K3 surfaces over a hyperbolic curve (i.e. Riemann surface). Their second cohomology groups form a local system, and we show that its top Lyapunov exponent is a rational number. One proof uses the Kuga-Satake construction, which reduces the question to Hodge structures of weight 1. A second proof uses integration by parts. The case of maximal Lyapunov exponent corresponds to modular families, given by the Kummer construction on a product of isogenous elliptic curves., Comment: 35 pages, 1 figure

We describe all the situations in which the Kontsevich-Zorich cocycle has zero Lyapunov exponents. Confirming a conjecture of Forni, Matheus, and Zorich, this only occurs when the cocycle satisfies additional geometric constraints. We also describe the real Lie groups which can appear in the monodromy of the Kontsevich-Zorich cocycle. The number of zero exponents is then as small as possible, given its monodromy., Comment: 36 pages

For Hoelder cocycles over a Lipschitz base transformation, possibly non-invertible, we show that the subbundles given by the Oseledets Theorem are Hoelder-continuous on compact sets of measure arbitrarily close to 1. The results extend to vector bundle automorphisms, as well as to the Kontsevich-Zorich cocycle over the Teichmueller flow on the moduli space of abelian differentials. Following a recent result of Chaika-Eskin, our results also extend to any given Teichmueller disk., Comment: 29 pages; corrected a few typos and added several references and comments following referee suggestions (this is the final version content to appear in JLMS)

We prove that affine invariant manifolds in strata of flat surfaces are algebraic varieties. The result is deduced from a generalization of a theorem of M\"oller. Namely, we prove that the image of a certain twisted Abel-Jacobi map lands in the torsion of a factor of the Jacobians. This statement can be viewed as a splitting of certain mixed Hodge structures., Comment: Updated according to referee remarks

This note provides a formula for the character of the Lie algebra of the fundamental group of a surface, viewed as a module over the symplectic group., Comment: Preliminary version, comments welcome!

We prove that invariant subbundles of the Kontsevich-Zorich cocycle respect the Hodge structure. In particular, we establish a version of Deligne semisimplicity in this context. This implies that invariant subbundles must vary polynomially on affine manifolds. All results apply to tensor powers of the cocycle and this implies that the measurable and real-analytic algebraic hulls coincide. We also prove that affine manifolds parametrize Jacobians with non-trivial endomorphisms. Typically a factor has real multiplication. The tools involve curvature properties of the Hodge bundles and estimates from random walks. In the appendix, we explain how methods from ergodic theory imply some of the global consequences of Schmid's work on variations of Hodge structures. We also derive the Kontsevich-Forni formula using differential geometry., Comment: Two appendices, 42 pages