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.

In this paper, we derive Li-Yau inequality for unbounded Laplacian on complete weighted graphs with the assumption of the curvature dimension inequality C D E(n, K), which can be regarded as a notion of curvature on graphs. Furthermore, we obtain some applications of Li-Yau inequality, including Harnack inequality, heat kernel bounds and Cheng's eigenvalue estimate. These are the first kind of results in this direction for unbounded Laplacian on graphs.

We prove that for every non-negative integer g, there exists a bound on the number of ends of a complete, embedded minimal surface M in R3 of genus g and finite topology. This bound on the finite number of ends when M has at least two ends implies that M has finite stability index which is bounded by a constant that only depends on its genus.

In this paper, we study the shape of the min-max minimal hypersurface produced by Almgren-Pitts-Schoen-Simon \cite{AF62, AF65, P81, SS81} in a Riemannian manifold $(M^{n+1}, g)$ of positive Ricci curvature for all dimensions. The min-max hypersurface has a singular set of Hausdorff codimension $7$. We characterize the Morse index, area and multiplicity of this singular min-max hypersurface. In particular, we show that the min-max hypersurface is either orientable and has Morse index one, or is a double cover of a non-orientable stable minimal hypersurface. As an essential technical tool, we prove a stronger version of the discretization theorem. The discretization theorem, first developed by Marques-Neves in their proof of the Willmore conjecture \cite{MN12}, is a bridge to connect sweepouts appearing naturally in geometry to sweepouts used in the min-max theory. Our result removes a critical assumption of \cite{MN12}, called the no mass concentration condition, and hence confirms a conjecture by Marques-Neves in \cite{MN12}.

In this note, we study submanifold geometry of the Atiyah--Hitchin manifold, a double cover of the 2-monopole moduli space, which plays an important role in various settings such as the supersymmetric background of string theory. When the manifold is naturally identified as the total space of a line bundle over S^2, the zero section is a distinguished minimal 2-sphere of considerable interest. In particular, there has been a conjecture about the uniqueness of this minimal 2-sphere among all closed minimal 2-surfaces. We show that this minimal 2-sphere satisfies the ``strong stability condition" proposed in our earlier work, and confirm the global uniqueness as a corollary.