The paper develops a mathematical tool called a "regularized distance function" for certain geometric spaces. Ordinarily, the distance from a point to the boundary of a region is a useful but analytically rough function, since it can have sharp corners or fail to be differentiable. The authors construct smoother versions of this distance function for regions in spaces of constant curvature, which include flat Euclidean space, spherical space, and hyperbolic space. They also derive precise formulas describing how these smooth functions curve, expressed in terms of geometric properties of the boundary of the region.
The main payoff of building these smooth distance functions is that they serve as "barriers," a classical technique in the analysis of partial differential equations. A barrier is a carefully crafted function that forces solutions to a differential equation to behave well, essentially trapping them between upper and lower bounds. This is particularly useful for equations that are degenerate, meaning they lose some of their nice properties at the boundary of the domain, making standard existence arguments break down.
Using these barriers, the authors prove that a particular family of equations called the degenerate sigma-k equations has a solution on ring-shaped regions (the space between two nested surfaces) in both flat Euclidean space and hyperbolic space. The solution they find belongs to a regularity class called C-1,1, meaning it is differentiable and its derivative is Lipschitz continuous, which is essentially the best smoothness one can hope for in the degenerate setting. The result requires appropriate geometric conditions on the two boundary surfaces that form the ring domain.