
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 "nohole" 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 NaberValtorta
[Ann. of Math. '17], our result implies a $C^{1,\alpha}$structure for the top
three strata of minimizing clusters and sizeminimizing currents, and a
Lipschitz structure on the $(n3)$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 AltCaffarelli. Our main tools are the Quantitative
Stratification and RectifiableReifenberg framework of NaberValtorta, which
allow us to do a type of "effective dimensionreduction." 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 freeboundary 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 freeboundary setting. Finally, we
show Ilmanen's elliptic regularization procedure extends to freeboundary
Brakke flows.

We prove the convexity estimates of HuiskenSinestrari for finitetime
singularities of meanconvex, 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 3space, 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 screwmotion to some base curve. We show that,
excluding cylinders, CMC helicoidal surfaces can be completely determined by a
firstorder 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.