Searcharxiv⌕ 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

Lojasiewicz inequalities for maps of the 2-sphere

We prove a Lojasiewicz-Simon inequality $$ \left| E(u) - 4πn \right| \leq C \| \mathcal{T}(u) \|^α$$ for maps $u \in W^{2,2}\left( S^2, S^2 \right).$ The inequality holds with $α= 1$ in general and with $α> 1$ unless $u$ is nearly constant on an open set. We obtain polynomial convergence of weak solutions of harmonic map flow $u(t) : S^2 \to S^2$ as $t \to \infty$ on compact domains away from the singular set, assuming that the body map is nonconstant. The proof uses Topping's repulsion estimates together with polynomial lower bounds on the energy density coming from a bubble-tree induction argument.

math.DG↗

Butcher series for Hamiltonian Poisson integrators through symplectic groupoids

We exhibit a new pre-Lie algebra in the framework of symplectic groupoids and, in turn, use Butcher trees to compute the Taylor series of a solution of a Hamilton-Jacobi equation on any symplectic groupoid $\mathcal{G} \rightrightarrows M.$ The impact of this new algebraic approach is twofold. On the geometric side, it yields algebraic operations to approximate Lagrangian bisections of $\mathcal{G}$ using the Butcher-Connes-Kreimer Hopf algebra and, in turn, aims at a better understanding of the group of Hamiltonian diffeomorphisms of $M.$ On the computational side, we define a new class of Poisson integrators for Hamiltonian dynamics on Poisson manifolds.

math.DG↗

Urysohn width of hypersurfaces and positive macroscopic scalar curvature

We prove that if a complete Riemannian $n$-manifold with non-trivial codimension 1 homology with $\mathbb{Z}_2$-coefficients or $\mathbb{Z}$-coefficients has positive macroscopic scalar curvature large enough, then it contains a non-nullhomologous hypersurface of small Urysohn $(n-2)$-width. This constitutes a macroscopic analogue of a theorem by Bray--Brendle--Neves on the area of non-contractible 2-spheres in a closed Riemannian 3-manifold with positive scalar curvature. Our proof is based on an adaptation of Guth's macroscopic version of the Schoen-Yau descent argument.

math.DG↗