We show that Norbury’s McShane identity for nonorientable cusped hyperbolic surfaces N generalizes to quasifuchsian representations of π1(N) as well as pseudo-Anosov mapping Klein bottles with singular fibers given by N.

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.

Let $F: \sum^n \times [0, T) \to \mathbb{R}^{n+m} be a family of compact immersed submanifolds moving by their mean curvature vectors. We show the Gauss maps $\gamma : (\sum^n, g_t) \to G(n,m)$ form a harmonic heat flow with respect to the time-dependent induced metric $g_t$. This provides a more systematic approach to investigating higher codimension mean curvature flows. A direct consequence is any convex function on $G(n,m)$ produces a subsolution of the nonlinear heat equation on $(\sum, g_t)$. We also show the condition that the image of the Gauss map lies in a totally geodesic submanifold of $G(n,m)$ is preserved by the mean curvature flow. Since the space of Lagrangian subspaces is totally geodesic in $G(n, n)$, this gives an alternative proof that any Lagrangian submanifold remains Lagrangian along the mean curvature flow.

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.

A well-known conjecture of Yau states that the first eigenvalue of every closed minimal hypersurface Mn in the unit sphere S^(n+1)(1) is just its dimension n. The present paper shows that Yau conjecture is true for minimal isoparametric hypersurfaces. Moreover, the more fascinating result of this paper is that the first eigenvalues of the focal submanifolds are equal to their dimensions in the non-stable range.