We consider the zeros on the boundary @­ of a Neumann eigen- function '¸j of a real analytic plane domain ­. We prove that the number of its boundary zeros is O(¸j) where ¡¢'¸j = ¸2j '¸j . We also prove that the number of boundary critical points of either a Neumann or Dirichlet eigenfunction is O(¸j ). It follows that the number of nodal lines of '¸j (components of the nodal set) which touch the boundary is of order ¸j . This upper bound is of the same order of magnitude as the length of the total nodal line, but is the square root of the Courant bound on the number of nodal components in the interior. More generally, the results are proved for piecewise analytic domains.

No abstract uploaded!

We construct a Kruskal-Szekeres-type analytic extension of the Emparan-Reall black ring, and investigate its geometry. We prove that the extension is maximal, globally hyperbolic, and unique within a natural class of extensions. The key to those results is the proof that causal geodesics are either complete, or approach a singular boundary in finite affine time. Alternative maximal analytic extensions are also constructed.

The authors proved in [5] that in a complete, connected, and simply connected Riemannian manifold, the volume of the intersection of two small geodesic balls depends only on the distance between the centers and the radii if and only if the space is harmonic. In this paper, we show that this proposition remains true, if the condition is restricted to balls of equal radii.

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}.