• We adapt the method of Simon [JDG '93] to prove a $C^{1,\alpha}$-regularity theorem for minimal varifolds which resemble a cone $\bf{C}_0^2$ over an equiangular geodesic net. For varifold classes admitting a "no-hole" condition on the singular set, we additionally establish $C^{1,\alpha}$-regularity near the cone $\bf{C}_0^2 \times \mathbb R^m$. Combined with work of Allard [Ann. of Math. '72], Simon [JDG '93], Taylor [Ann. of Math. '76], and Naber-Valtorta [Ann. of Math. '17], our result implies a $C^{1,\alpha}$-structure for the top three strata of minimizing clusters and size-minimizing currents, and a Lipschitz structure on the $(n-3)$-stratum.
  • In this paper we prove the rectifiability of and measure bounds on the singular set of the free boundary for minimizers of a functional first considered by Alt-Caffarelli. Our main tools are the Quantitative Stratification and Rectifiable-Reifenberg framework of Naber-Valtorta, which allow us to do a type of "effective dimension-reduction." The arguments are sufficiently robust that they apply to a broad class of related free boundary problems as well.
  • We study generalizations of Reifenberg's Theorem for measures in $\mathbb R^n$ under assumptions on the Jones' $\beta$-numbers, which appropriately measure how close the support is to being contained in a subspace. Our main results, which holds for general measures without density assumptions, give effective measure bounds on $\mu$ away from a closed $k$-rectifiable set with bounded Hausdorff measure. We show examples to see the sharpness of our results. Under further density assumptions one can translate this into a global measure bound and $k$-rectifiable structure for $\mu$. Applications include quantitative Reifenberg theorems on sets and discrete measures, as well as upper Ahlfor's regularity estimates on measures which satisfy $\beta$-number estimates on all scales.
  • In Euclidean and Hyperbolic space, and the hemisphere in $S^n$, geodesic balls maximize the gap $\lambda_2 - \lambda_1$ of Dirichlet eigenvalues, amoung domains with fixed $\lambda_1$. We prove an upper bound on $\lambda_2 - \lambda_1$ for domains in manifolds with certain curvature bounds. The inequality is sharp on geodesic balls in spaceforms.
  • We define a notion of Brakke flow with free-boundary in a barrier surface, and prove this class admits compactness. We find we must weaken the original notion of Brakke flows to allow the flow to "pop" at the barrier. We define a Gaussian monotonicity formula valid at all points, and use this to adapt the local regularity theorem of White to the free-boundary setting. Finally, we show Ilmanen's elliptic regularization procedure extends to free-boundary Brakke flows.
  • We prove the convexity estimates of Huisken-Sinestrari for finite-time singularities of mean-convex, mean curvature flow with free boundary in a barrier $S$. Here $S$ can be any properly embedded, oriented surface in $R^{n+1}$ of bounded geometry. We also give an alternative proof that convex mean curvature flows with free boundary in $S^n$ pinch to umbilic.
  • As first noted in Korevaar, Kusner and Solomon ("KKS"), constant mean curvature implies a homological conservation law for hypersurfaces in ambient spaces with Killing fields.In Theorem 3.5 here, we generalize that law by relaxing the topological restrictions assumed in [KKS] and by allowing a weighted mean curvature functional. We also prove a partial converse (Theorem 4.1) which roughly says that when flux is conserved along a Killing field, a hypersurface splits into two regions: one with constant (weighted) mean curvature, and one preserved by the Killing field. We demonstrate our theory by using it to derive a first integral for helicoidal surfaces of constant mean curvature in Euclidean 3-space, i.e., "twizzlers."
  • We develop a conservation law for constant mean curvature (CMC) surfaces introduced by Korevaar, Kusner and Solomon, and provide a converse, so as to characterize CMC surfaces by a conservation law. We work with `twizzler' construction, which applies a screw-motion to some base curve. We show that, excluding cylinders, CMC helicoidal surfaces can be completely determined by a first-order ODE of the base curve. Further, we demonstrate that in R^3 this condition is equivalent to the treadmillsled characterization of helicoidal CMC surfaces given by O. Perdomo.