arXiv Science⌕ Search

arXiv · 2609.29470

Foliated Plateau problems, surface Radon transforms, and boundary area rigidity in dimension three

Abstract

The present paper studies integral geometry problems on three-dimensional Riemannian balls, where integration is performed over minimal surfaces or, more generally, $Φ$-surfaces defined by an elliptic curvature functional $Φ$. The space of all $Φ$-surfaces spanned by round circles on the boundary is a three-dimensional manifold, which we call the space of circles. We show that, when the metric is $Φ$-simple - a notion which extends to this setting the notion of simple metrics in the geodesic case -, the Gauss lifts of the $Φ$-surfaces define a foliation of the unit tangent bundle that should be viewed as a two-dimensional analogue of the standard geodesic foliation. This is achieved by solving a foliated Plateau problem on the ball. We then analyze the associated surface Radon transform corresponding to integration along the surfaces and show that it has a finite-dimensional kernel; we also prove that it is injective for an open and dense set of metrics. In the special case of a foliation by minimal surfaces, we apply these results to solve the following boundary area rigidity problem: does the collection of areas of the minimal surfaces determine the metric up to isometry?

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sébastien Alvarez, Thibault Lefeuvre, Ben Lowe, Graham A. Smith. 2026-09-24. Foliated Plateau problems, surface Radon transforms, and boundary area rigidity in dimension three. https://arxiv.org/abs/2609.29470

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Curvature equations coupling symmetric tensors with a metric

There are described hierarchies of equations coupling a metric with a trace-free tensor having prescribed symmetries and in the kernel of certain generalized gradients. These specialize, when the tensor vanishes identically, to the usual hierarchy of constant sectional curvature (projectively flat), Einstein, and constant scalar curvature. At the Ricci curvature level these equations are formal analogues of the Einstein-Maxwell and supergravity equations that couple differential forms with a metric. The particular cases coupling a metric with trace-free symmetric tensors satisfying the Codazzi or conformal Killing equations are studied in detail. Examples of solutions are obtained from mean curvature zero immersions, affine spheres, isoparametric hypersurfaces, and related algebraic constructions. The formalism yields a hierarchy of curvature equations for statistical structures. There are deduced constraints on the scalar curvature of the metric occurring in a solution that generalize classical results of Simons, for mean curvature zero hypersurfaces in spheres, and of Calabi, for hyperbolic affine spheres.

math.DG↗

The signature of geometrically decomposable aspherical 4-manifolds

We construct examples of geometrically decomposable aspherical 4-manifolds with non-zero signature. We show that all such 4-manifolds satisfy the inequality (of Bogomolov--Miyaoka--Yau type) $χ\geq 3|σ|$. We also construct examples attaining the equality that are non-geometric and have non-zero signature. Finally, we prove that for higher graph 4-manifolds, with complex-hyperbolic vertices, the strict inequality always holds. Moreover, we construct infinitely many examples of higher graph 4-manifolds with non-zero signature and prove that the inequality is strict and sharp in this class.

math.DG↗

Proper affine deformations of positive representations

We define for every positive Anosov representation of a nonabelian free group into $\mathrm{SO}(2n,2n-1)$ a family of $\mathbb{R}^{4n-1}$-valued cocycles which induce proper affine actions on $\mathbb{R}^{4n-1}$. We construct fundamental domains in $\mathbb{R}^{4n-1}$ bounded by generalized crooked planes for these affine actions, and deduce that the quotient manifolds are homeomorphic to handlebodies.

math.DG↗