Being inspired by a work of Curtis T. McMullen about a very impressive automorphism of a K3 surface of Picard number zero, we shall clarify the structure of the bimeromorphic automorphism group of a non-projective hyperk¨ahler manifold, up to finite group factor.

We apply a study of orders in quaternion algebras, to the differential geometry of Riemann surfaces. The least length of a closed geodesic on a hyperbolic surface is called its systole,and denoted sysπ1. P. Buser and P. Sarnak constructed Riemann surfaces X whose systole behaves logarithmically in the genus g(X). The Fuchsian groups in their examples are principal congruence subgroups of a fixed arithmetic group with rational trace field. We generalize their construction to principal congruence subgroups of arbitrary arithmetic surfaces. The key tool is a new trace estimate valid for an arbitrary ideal in a quaternion algebra. We obtain a particularly sharp bound for a principal congruence tower of Hurwitz surfaces (PCH), namely the 4/3bound sysπ1(XPCH) ≥ 43 log(g(XPCH)). Similar results are obtained for the systole of hyperbolic 3-manifolds, relative to their simplicial volume.

We obtain an estimate for the volumes of neighborhoods of sets of large curvature in three-dimensional K¨ahler-Einstein manifolds. The key technical step is to prove that a version of monotonicity for L2 energy holds as long as the underlying region does not “carry homology” (in the sense that the normalized energy in a ball controls the normalized energy in an interior ball).

In this article we define new flows on the Hitchin components for PGL(V). Special examples of these flows are associated to simple closed curves on the surface and give generalized twist flows. Other examples, so called eruption flows, are associated to pair of pants in S and capture new phenomena which are not present in the case when n=2. We determine a global coordinate system on the Hitchin component. Using the computation of the Goldman symplectic form on the Hitchin component, that is developed by two of the authors in a companion paper to this article (Sun and Zhang in The Goldman symplectic form on the PGL(V)-Hitchin component, 2017. arXiv:1709.03589), this gives a global Darboux coordinate system on the Hitchin component.

We prove the mean curvature flow of the graph of a symplectomorphism between Riemann surfaces converges smoothly as time approaches infinity.