One-phase Free Boundary Problems on RCD Metric Measure Spaces
Pith reviewed 2026-05-24 12:43 UTC · model grok-4.3
The pith
On non-collapsed RCD spaces, solutions to the vector-valued one-phase free boundary problem exist and are locally Lipschitz, with free boundaries that are (N-1)-dimensional topological manifolds outside a closed set of Hausdorff dimension ≤
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In a non-collapsed RCD(K,N) metric measure space, the vector-valued one-phase Bernoulli-type free boundary problem admits solutions that are locally Lipschitz continuous, and the free boundary of any such solution is an (N-1)-dimensional topological manifold away from a relatively closed subset of Hausdorff dimension at most N-3.
What carries the argument
The non-collapsed RCD(K,N) condition on the metric measure space, which supports the existence, Lipschitz regularity, and manifold structure for the free boundary.
If this is right
- Solutions to the problem exist under the stated assumptions.
- Any solution is locally Lipschitz continuous.
- The free boundary is a topological manifold of dimension N-1 outside a small singular set.
- The singular set of the free boundary has Hausdorff dimension at most N-3.
Where Pith is reading between the lines
- The same regularity conclusions may hold for limits of sequences of Euclidean domains with uniform curvature bounds.
- Related free-boundary problems such as the two-phase or obstacle problems could admit analogous manifold conclusions on RCD spaces.
- The dimension restriction N-3 on the singular set suggests a codimension-three phenomenon that might be improvable under stronger curvature assumptions.
Load-bearing premise
The measure on the space must coincide exactly with its N-dimensional Hausdorff measure.
What would settle it
A counter-example consisting of a non-collapsed RCD space together with a solution whose free boundary fails to be a topological manifold on any set whose Hausdorff dimension exceeds N-3.
read the original abstract
In this paper, we consider a vector-valued one-phase Bernoulli-type free boundary problem on a metric measure space $(X,d,\mu)$ with Riemannian curvature-dimension condition $RCD(K,N)$. We first prove the existence and the local Lipschitz regularity of the solutions, provided that the space $X$ is non collapsed, i.e. $\mu$ is the $N$-dimensional Hausdorff measure of $X$. And then we show that the free boundary of the solutions is an $(N-1)$-dimensional topological manifold away from a relatively closed subset of Hausdorff dimension $\leqslant N-3$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript considers a vector-valued one-phase Bernoulli-type free boundary problem on an RCD(K,N) metric measure space (X,d,μ). Under the non-collapsed assumption that μ coincides with the N-dimensional Hausdorff measure, the authors establish existence of solutions together with their local Lipschitz regularity. They further prove that the free boundary is an (N-1)-dimensional topological manifold outside a relatively closed subset of Hausdorff dimension at most N-3.
Significance. If the stated results hold, the work extends the classical one-phase free-boundary regularity theory (including the N-3 bound on the singular set) from Euclidean space to the setting of non-collapsed RCD spaces. This is a non-trivial generalization that could serve as a foundation for free-boundary problems on singular spaces with curvature bounds; the explicit non-collapsed hypothesis is correctly identified as necessary for both the Lipschitz and manifold conclusions.
minor comments (3)
- [Introduction] The introduction should include a brief comparison with the Euclidean one-phase theory (e.g., the classical results of Caffarelli, Jerison, and others) to clarify what is new versus what is adapted from the smooth case.
- Notation for the vector-valued case (the number of components, the precise form of the Bernoulli functional) is introduced only in the statement of the main theorems; an earlier dedicated subsection would improve readability.
- The proof of the manifold property appears to rely on a blow-up argument and a Reifenberg-type flatness criterion; a short remark on why the RCD structure supplies the necessary monotonicity or frequency formulas would help readers unfamiliar with the metric-space setting.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript, the positive assessment of its significance, and the recommendation of minor revision. The report raises no specific major comments.
Circularity Check
No significant circularity detected
full rationale
The paper states its results as an extension of classical one-phase free-boundary theory to non-collapsed RCD(K,N) spaces, with the non-collapsed hypothesis (μ equals N-dimensional Hausdorff measure) listed explicitly as a prerequisite for existence, Lipschitz regularity, and the (N-1)-manifold conclusion away from a set of dimension ≤ N-3. No equations, ansatzes, or self-citations are shown reducing the central claims to fitted inputs or prior self-referential definitions; the derivation chain remains independent of the target conclusions once the RCD and non-collapsed assumptions are granted.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The metric measure space satisfies the RCD(K,N) condition
- domain assumption μ coincides with the N-dimensional Hausdorff measure (non-collapsed)
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking (D=3 forcing) echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
the free boundary of the solutions is an (N-1)-dimensional topological manifold away from a relatively closed subset of Hausdorff dimension ≤ N-3
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Assume that μ = H^N, the N-dimensional Hausdorff measure on X. (I.e., X is non-collapsed.)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
-
[2]
H. W. Alt and L. A. Caffarelli, Existence and regularity for a minimum problem with free boundary , J. Reine Angew. Math. 1981 (1981), no. 325, 105--144
work page 1981
-
[3]
H. W. Alt, L. A. Caffarelli, and A. Friedman, Variational problems with two phases and their free boundaries , Trans. Amer. Math. Soc. 282 (1984), no. 2, 431--461
work page 1984
-
[4]
Differential Equations 56 (1985), no
, Compressible flows of jets and cavities , J. Differential Equations 56 (1985), no. 1, 82--141
work page 1985
-
[5]
L. Ambrosio, Some fine properties of sets of finite perimeter in Ahlfors regular metric measure spaces , Adv. Math. 159 (2001), no. 1, 51--67
work page 2001
-
[6]
L. Ambrosio, Calculus, heat flow and curvature-dimension bounds in metric measure spaces , Proceedings of the International Congress of Mathematicians--Rio de Janeiro 2018. Vol. I. Plenary lectures, 301--340, World Sci. Publ., Hackensack, NJ, 2018
work page 2018
-
[7]
L. Ambrosio, E. Bru\`e and D. Semola, Rigidity of the 1-Bakry-\'Emery inequality and sets of finite perimeter in RCD spaces , Geom. Funct. Anal. 29 (2019), no. 4, 949--1001
work page 2019
-
[8]
L. Ambrosio, N. Gigli, A. Mondino & T. Rajala, Riemannian Ricci curvauture lower in metric measure spaces with -finite measure , Trans. Amer. Math. Soc. 367, (2015), 4661--4701
work page 2015
-
[9]
L. Ambrosio, N. Gigli, and G. Savar\'e, Density of L ipschitz functions and equivalence of weak gradients in metric measure spaces , Rev. Mat. Iberoam. 29 (2013), no. 3, 969--996
work page 2013
-
[10]
, Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below , Invent. Math. 195 (2014), no. 2, 289--391
work page 2014
-
[11]
, Metric measure spaces with Riemannian R icci curvature bounded from below , Duke Math. J. 163 (2014), no. 7, 1405--1490
work page 2014
-
[12]
L. Ambrosio, A. Mondino & G. Savar\'e, On the Bakry-Emery condition, the gradient estimates and the local-to-global property of RCD^*(K,N) metric measure spaces , J. Geom. Anal., 26(1) (2016), 24--56
work page 2016
-
[13]
G. Antonelli, E. Bru\'e, D. Semola, Volume bounds for the quantitative singular strata of non collapsed RCD metric measure spaces, Anal. Geom. Metr. Spaces, 7 (2019), no. 1
work page 2019
-
[14]
A. Bj\"orn and J. Bj\"orn, Nonlinear potential theory on metric spaces , EMS Tracts in Mathematics, vol. 17, European Mathematical Society, Z\" u rich, 2011
work page 2011
- [15]
- [16]
- [17]
- [18]
-
[19]
D. Bucur and G. Buttazzo, Variational methods in some shape optimization problems , Appunti dei Corsi Tenuti da Docenti della Scuola. [Notes of Courses Given by Teachers at the School], Scuola Normale Superiore, Pisa, 2002
work page 2002
-
[20]
L. A. Caffarelli, A Harnack inequality approach to the regularity of free boundaries. I. Lipschitz free boundaries are C^ 1, , Rev. Mat. Iberoamericana 3 (1987), no. 2, 139--162
work page 1987
-
[21]
, A Harnack inequality approach to the regularity of free boundaries. III . Existence theory, compactness, and dependence on X , Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 15 (1988), no. 4, 583--602
work page 1988
-
[22]
, A Harnack inequality approach to the regularity of free boundaries. II . Flat free boundaries are Lipschitz , Comm. Pure Appl. Math. 42 (1989), no. 1, 55--78
work page 1989
-
[23]
[Fermi Lectures], Scuola Normale Superiore, Pisa, 1998
, The obstacle problem , Lezioni Fermiane. [Fermi Lectures], Scuola Normale Superiore, Pisa, 1998
work page 1998
-
[24]
L. A. Caffarelli, D. Jerison, and C. E. Kenig, Global energy minimizers for free boundary problems and full regularity in three dimensions , Noncompact problems at the intersection of geometry, analysis, and topology, Contemp. Math., vol. 350, Amer. Math. Soc., Providence, RI, 2004, pp. 83--97
work page 2004
-
[25]
L. Caffarelli, F.-H. Lin, Singularly perturbed elliptic systems and multi-valued harmonic functions with free boundaries . J. Amer. Math. Soc. 21 (2008), no. 3, 847--862
work page 2008
-
[26]
L. A. Caffarelli, J.-M. Roquejoffre, and Y. Sire, Variational problems with free boundaries for the fractional Laplacian , J. Eur. Math. Soc. 12 (2010), no. 5, 1151--1179
work page 2010
-
[27]
L. A. Caffarelli and Y. Sire, Minimal surfaces and free boundaries: recent developments , Bull. Amer. Math. Soc. (N.S.) 57 (2020), no. 1, 91--106
work page 2020
-
[28]
L. A. Caffarelli, H. Shahgholian, and K. Yeressian, A minimization problem with free boundary related to a cooperative system , Duke Math. J. 167 (2018), no. 10, 1825--1882
work page 2018
-
[29]
F. Cavalletti, E. Milman, The Globalization Theorem for the Curvature Dimension Condition , Invent. math., 226 (2021), 1--137
work page 2021
-
[30]
Cheeger, Differentiability of Lipschitz functions on metric measure spaces , Geom
J. Cheeger, Differentiability of Lipschitz functions on metric measure spaces , Geom. Funct. Anal. 9 (1999), no. 3, 428--517
work page 1999
-
[31]
J. Cheeger, T. Colding, Lower bounds on Ricci curvature and the almost rigidity of warped products, Ann. of Math. 144, 189--237 (1996)
work page 1996
-
[32]
J. Cheeger, T. Colding, On the structure of spaces with Ricci curvature bounded below I, J. Differential Geom., 46, 406--480 (1997); 54, 13--35 (2000); 54, 37--74 (2000)
work page 1997
-
[33]
J. Cheeger, T. Colding, On the structure of spaces with Ricci curvature bounded below II, III, J. Differential Geom., 54, 13--35 (2000); 54, 37--74 (2000)
work page 2000
-
[34]
J. Cheeger, W. Jiang, and A. Naber, Rectifiability of singular sets of noncollapsed limit spaces with R icci curvature bounded below , Ann. of Math. (2) 193 (2021), no. 2, 407--538
work page 2021
-
[35]
S. Y. Cheng and S. T. Yau, Differential equations on Riemannian manifolds and their geometric applications , Comm. Pure Appl. Math. 28 (1975), no. 3, 333--354
work page 1975
-
[36]
G. David and T. Toro, Regularity of almost minimizers with free boundary , Calc. Var. Partial Differential Equations 54 (2015), no. 1, 455--524
work page 2015
- [37]
-
[38]
G. De Philippis, N. Gigli, From volume cone to metric cone in the nonsmooth setting, Geom. Funct. Anal., 26 (2016), 1526–1587
work page 2016
-
[39]
G. De Philippis and N. Gigli, Non-collapsed spaces with R icci curvature bounded from below , J. \' E c. polytech. Math. 5 (2018), 613--650
work page 2018
-
[40]
G. De Philippis, L. Spolaor, and B. Velichkov, Regularity of the free boundary for the two-phase Bernoulli problem , Invent. Math. (2021). https://doi.org/10.1007/s00222-021-01031-7
- [41]
-
[42]
D. De Silva, F. Ferrari, and S. Salsa, Free boundary regularity for fully nonlinear non-homogeneous two-phase problems , J. Math. Pures Appl. (9) 103 (2015), no. 3, 658--694
work page 2015
-
[43]
, Recent progresses on elliptic two-phase free boundary problems , Discrete Contin. Dyn. Syst. 39 (2019), no. 12, 6961--6978
work page 2019
-
[44]
D. De Silva and D. Jerison, A singular energy minimizing free boundary , J. Reine Angew. Math. 2009 (2009), no. 635, 1--21
work page 2009
-
[45]
D. De Silva and O. Savin, Almost minimizers of the one-phase free boundary problem , Comm. Partial Differential Equations 45 (2020), no. 8, 913--930
work page 2020
-
[46]
Q. Ding, Minimal hypersurfaces in manifolds of Ricci curvature bounded below , available at arXiv:2109.02483
-
[47]
N. Edelen and M. Engelstein, Quantitative stratification for some free-boundary problems , Trans. Amer. Math. Soc. 371 (2019), no. 3, 2043--2072
work page 2019
- [48]
-
[49]
H. Federer, Geometric measure theory , Die Grundlehren der mathematischen Wissenschaften, Band 153 Springer-Verlag New York Inc., New York 1969 xiv+676 pp
work page 1969
-
[50]
A. Figalli, Regularity of interfaces in phase transitions via obstacle problems—Fields Medal lecture , Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. I. Plenary lectures, 225–247, World Sci. Publ., Hackensack, NJ, 2018
work page 2018
-
[51]
A. Figalli, H. Shahgholian, An overview of unconstrained free boundary problems , Philos. Trans. Roy. Soc. A 373 (2015), no. 2050, 20140281, 11 pp
work page 2015
-
[52]
The splitting theorem in non-smooth context
N. Gigli, The splitting theorem in non-smooth context, available at https://arxiv.org/abs/1302.5555
work page internal anchor Pith review Pith/arXiv arXiv
-
[53]
On the differential structure of metric measure spaces and applications , Mem. Amer. Math. Soc. 236 (2015), no. 1113, 1--91
work page 2015
- [54]
- [55]
-
[56]
Giusti, Minimal surfaces and functions of bounded variation , Monographs in Mathematics, vol
E. Giusti, Minimal surfaces and functions of bounded variation , Monographs in Mathematics, vol. 80, Birkh\" a user Verlag, Basel, 1984
work page 1984
-
[57]
H. Ge, W. Jiang, and H.-C. Zhang, Partial regularity of harmonic maps from Alexandrov spaces ,
-
[58]
G \'o rka, Campanato theorem on metric measure spaces , Ann
P. G \'o rka, Campanato theorem on metric measure spaces , Ann. Acad. Sci. Fenn. Math. 34 (2009), no. 2, 523--528
work page 2009
-
[59]
Gromov, Metric structures for Riemannian and non-Riemannian spaces
M. Gromov, Metric structures for Riemannian and non-Riemannian spaces. Modern Birkhäuser Classics. Birkhäuser Boston, Inc., Boston, MA, 2007
work page 2007
- [60]
-
[61]
P. Hajasz and P. Koskela, Sobolev met P oincar\' e , Mem. Amer. Math. Soc. 145 (2000), no. 688, 1--101
work page 2000
-
[62]
D. Jerison and O. Savin, Some remarks on stability of cones for the one-phase free boundary problem , Geom. Funct. Anal. 25 (2015), no. 4, 1240--1257
work page 2015
- [63]
-
[64]
V. Kapovitch, A. Mondino, On the topology and the boundary of N -dimensional RCD(K,N) spaces , To appear on Geometry & Topology, Preprint arXiv:1907.02614
-
[65]
Ketterer, Cones over metric measure spaces and the maximal diameter theorem , J
C. Ketterer, Cones over metric measure spaces and the maximal diameter theorem , J. Math. Pures Appl. (9) 103 (2015), no. 5, 1228--1275
work page 2015
-
[66]
Y. Kitabeppu, S. Lakzian, Characterization of low dimensional RCD^*(K, N) paces , Anal. Geom. Metr. Spaces, 4, (2016), 187--215
work page 2016
-
[67]
D. Kriventsov and F. Lin, Regularity for shape optimizers: the nondegenerate case , Comm. Pure Appl. Math. 71 (2018), no. 8, 1535--1596
work page 2018
-
[68]
D. Kinderlehrer and L. Nirenberg, Analyticity at the boundary of solutions of nonlinear second-order parabolic equations , Comm. Pure Appl. Math. 31 (1978), no. 3, 283--338
work page 1978
-
[69]
N. J. Korevaar and R. M. Schoen, Sobolev spaces and harmonic maps for metric space targets , Comm. Anal. Geom. 1 (1993), no. 4, 561--659
work page 1993
-
[70]
J. Kinnunen and N. Shanmugalingam, Regularity of quasi-minimizers on metric spaces , Manuscripta Math. 105 (2001), no. 3, 401--423
work page 2001
-
[71]
J. Lamboley, P. Sicbaldi, Existence and regularity of Faber-Krahn minimizers in a Riemannian manifold, J. Math. Pure. Appl. 141 (2020), 137--183
work page 2020
-
[72]
J. Lott and C. Villani, Weak curvature conditions and functional inequalities , J. Funct. Anal.) 245 (2007), no. 1, 311--333
work page 2007
-
[73]
J. Lott and C. Villani, Ricci curvature for metric-measure spaces via optimal transport , Ann. of Math. (2) 169 (2009), no. 3, 903--991
work page 2009
-
[74]
D. Mazzoleni, S. Terracini, and B. Velichkov, Regularity of the optimal sets for some spectral functionals , Geom. Funct. Anal. 27 (2017), no. 2, 373--426
work page 2017
-
[75]
, Regularity of the free boundary for the vectorial B ernoulli problem , Anal. PDE 13 (2020), no. 3, 741--764
work page 2020
-
[76]
Miranda, Functions of bounded variation on ``good'' metric spaces , J
M. Miranda, Functions of bounded variation on ``good'' metric spaces , J. Math. Pures Appl. (9) 82 (2003), no. 8, 975--1004
work page 2003
-
[77]
A. Mondino, A. Naber, Structure theory of metric measure spaces with lower Ricci curvature bounds, J. Eur. Math. Soc. (JEMS) 21 (2019), no. 6, 1809--1854
work page 2019
-
[78]
A. Mondino, D. Semola Weak Laplacian bounds and minimal boundaries in non-smooth spaces with Ricci curvature lower bounds , available at arXiv.org, arXiv:2107.12344v1
-
[79]
A. Naber and D. Valtorta, Rectifiable- R eifenberg and the regularity of stationary and minimizing harmonic maps , Ann. of Math. (2) 185 (2017), no. 1, 131--227
work page 2017
-
[80]
Y. Otsu, T. Shioya, The Riemannian structure of Alexandrov spaces , J. Differ. Geom. 39 (1994), 629--658
work page 1994
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.