pith. sign in

arxiv: 2112.06962 · v4 · submitted 2021-12-13 · 🧮 math.AP · math.DG· math.MG

One-phase Free Boundary Problems on RCD Metric Measure Spaces

Pith reviewed 2026-05-24 12:43 UTC · model grok-4.3

classification 🧮 math.AP math.DGmath.MG
keywords free boundary problemsRCD spacesmetric measure spacesone-phase Bernoulli problemregularity theorytopological manifolds
0
0 comments X

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.

The paper studies a vector-valued one-phase Bernoulli-type free boundary problem on metric measure spaces that satisfy the RCD(K,N) curvature-dimension condition. It first shows that solutions exist and are locally Lipschitz when the underlying space is non-collapsed, meaning its measure equals the N-dimensional Hausdorff measure. The central result then establishes that the free boundary is an (N-1)-dimensional topological manifold except on a relatively closed subset whose Hausdorff dimension is at most N-3. This transfers classical Euclidean free-boundary regularity to a wide class of possibly singular spaces with curvature bounds.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

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)
  1. [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.
  2. 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.
  3. 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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the RCD(K,N) curvature-dimension condition and the non-collapsed assumption that the measure equals N-dimensional Hausdorff measure; these are domain assumptions imported from prior RCD theory rather than derived here.

axioms (2)
  • domain assumption The metric measure space satisfies the RCD(K,N) condition
    Invoked as the ambient geometric setting for all results.
  • domain assumption μ coincides with the N-dimensional Hausdorff measure (non-collapsed)
    Explicitly required for existence, Lipschitz regularity, and the manifold conclusion.

pith-pipeline@v0.9.0 · 5629 in / 1371 out tokens · 41934 ms · 2026-05-24T12:43:36.634609+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

94 extracted references · 94 canonical work pages · 1 internal anchor

  1. [1]

    Allen, H

    M. Allen, H. Chang Lara, Free boundaries on two-dimensional cones, J. Geom. Anal. 25(3) (2015), 1547--1575

  2. [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

  3. [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

  4. [4]

    Differential Equations 56 (1985), no

    , Compressible flows of jets and cavities , J. Differential Equations 56 (1985), no. 1, 82--141

  5. [5]

    Ambrosio, Some fine properties of sets of finite perimeter in Ahlfors regular metric measure spaces , Adv

    L. Ambrosio, Some fine properties of sets of finite perimeter in Ahlfors regular metric measure spaces , Adv. Math. 159 (2001), no. 1, 51--67

  6. [6]

    Ambrosio, Calculus, heat flow and curvature-dimension bounds in metric measure spaces , Proceedings of the International Congress of Mathematicians--Rio de Janeiro 2018

    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

  7. [7]

    Ambrosio, E

    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

  8. [8]

    Ambrosio, N

    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

  9. [9]

    Ambrosio, N

    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

  10. [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

  11. [11]

    , Metric measure spaces with Riemannian R icci curvature bounded from below , Duke Math. J. 163 (2014), no. 7, 1405--1490

  12. [12]

    Ambrosio, A

    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

  13. [13]

    Antonelli, E

    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

  14. [14]

    orn and J. Bj\

    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

  15. [15]

    Bru\`e, A

    E. Bru\`e, A. Naber & D. Semola, Boundary regularity and stability for spaces with Ricci bounded below , available at arXiv:2011.08383v1

  16. [16]

    Bru\`e, E

    E. Bru\`e, E. Pasqualetto, D. Semola, Rectifiability of the reduced boundary for sets of finite perimeter over RCD(K,N) spaces, available at arXiv:1909.00381

  17. [17]

    Bru\`e, E

    E. Bru\`e, E. Pasqualetto, D. Semola, Constancy of the dimension in codimension one and locality of the unit normal on RCD(K,N) spaces, available at arXiv:2109.12585

  18. [18]

    Bru\`e, D

    E. Bru\`e, D. Semola, Constancy of the dimension for RCD(K,N) spaces via regularity of Lagrangian flows, Comm. Pure Appl. Math., 73 (2019), 1141--1204

  19. [19]

    Bucur and G

    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

  20. [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

  21. [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

  22. [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

  23. [23]

    [Fermi Lectures], Scuola Normale Superiore, Pisa, 1998

    , The obstacle problem , Lezioni Fermiane. [Fermi Lectures], Scuola Normale Superiore, Pisa, 1998

  24. [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

  25. [25]

    Caffarelli, F.-H

    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

  26. [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

  27. [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

  28. [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

  29. [29]

    Cavalletti, E

    F. Cavalletti, E. Milman, The Globalization Theorem for the Curvature Dimension Condition , Invent. math., 226 (2021), 1--137

  30. [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

  31. [31]

    Cheeger, T

    J. Cheeger, T. Colding, Lower bounds on Ricci curvature and the almost rigidity of warped products, Ann. of Math. 144, 189--237 (1996)

  32. [32]

    Cheeger, T

    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)

  33. [33]

    Cheeger, T

    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)

  34. [34]

    Cheeger, W

    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

  35. [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

  36. [36]

    David and T

    G. David and T. Toro, Regularity of almost minimizers with free boundary , Calc. Var. Partial Differential Equations 54 (2015), no. 1, 455--524

  37. [37]

    David, M

    G. David, M. Engelstein and T. Toro, Free boundary regularity for almost-minimizers , Adv. Math. 350 (2019), 1109--1192

  38. [38]

    De Philippis, N

    G. De Philippis, N. Gigli, From volume cone to metric cone in the nonsmooth setting, Geom. Funct. Anal., 26 (2016), 1526–1587

  39. [39]

    De Philippis and N

    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

  40. [40]

    De Philippis, L

    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. [41]

    , Rectifiability and almost everywhere uniqueness of the blow-up for the vectorial Bernoulli free boundary , available at arXiv:2107.12485v2

  42. [42]

    De Silva, F

    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

  43. [43]

    , Recent progresses on elliptic two-phase free boundary problems , Discrete Contin. Dyn. Syst. 39 (2019), no. 12, 6961--6978

  44. [44]

    De Silva and D

    D. De Silva and D. Jerison, A singular energy minimizing free boundary , J. Reine Angew. Math. 2009 (2009), no. 635, 1--21

  45. [45]

    De Silva and O

    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

  46. [46]

    Ding, Minimal hypersurfaces in manifolds of Ricci curvature bounded below , available at arXiv:2109.02483

    Q. Ding, Minimal hypersurfaces in manifolds of Ricci curvature bounded below , available at arXiv:2109.02483

  47. [47]

    Edelen and M

    N. Edelen and M. Engelstein, Quantitative stratification for some free-boundary problems , Trans. Amer. Math. Soc. 371 (2019), no. 3, 2043--2072

  48. [48]

    Erbar, K

    M. Erbar, K. Kuwada & K. Sturm, On the equivalence of the entropic curvature-dimension condition and Bochner's inequality on metric measure spaces, Invent. Math., 201 (2015), 993--1071

  49. [49]

    Federer, Geometric measure theory , Die Grundlehren der mathematischen Wissenschaften, Band 153 Springer-Verlag New York Inc., New York 1969 xiv+676 pp

    H. Federer, Geometric measure theory , Die Grundlehren der mathematischen Wissenschaften, Band 153 Springer-Verlag New York Inc., New York 1969 xiv+676 pp

  50. [50]

    Figalli, Regularity of interfaces in phase transitions via obstacle problems—Fields Medal lecture , Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018

    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

  51. [51]

    Figalli, H

    A. Figalli, H. Shahgholian, An overview of unconstrained free boundary problems , Philos. Trans. Roy. Soc. A 373 (2015), no. 2050, 20140281, 11 pp

  52. [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

  53. [53]

    On the differential structure of metric measure spaces and applications , Mem. Amer. Math. Soc. 236 (2015), no. 1113, 1--91

  54. [54]

    Gigli, A

    N. Gigli, A. Mondino, G. Savar\'e, Convergence of pointed non-compact metric measure spaces and stability of Ricci curvature bounds and heat flows, Proc. Lond. Math. Soc. (3), 111 (2015), 1071--1129

  55. [55]

    Gigli, I

    N. Gigli, I. Y. Violo, Monotonicity formulas for harmonic functions in RCD(0,N) spaces, available at arXiv:2101.03331

  56. [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

  57. [57]

    H. Ge, W. Jiang, and H.-C. Zhang, Partial regularity of harmonic maps from Alexandrov spaces ,

  58. [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

  59. [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

  60. [60]

    Gromov, R

    M. Gromov, R. Schoen, Harmonic maps into singular spaces and padic superrigidity for lattices in groups of rank one . Publ. Math. IHES 76, 165--246 (1992)

  61. [61]

    Hajasz and P

    P. Hajasz and P. Koskela, Sobolev met P oincar\' e , Mem. Amer. Math. Soc. 145 (2000), no. 688, 1--101

  62. [62]

    Jerison and O

    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

  63. [63]

    Jiang, P

    R. Jiang, P. Koskela & D. Yang, Isoperimetric inequality via Lipschitz regularity of Cheeger-harmonic functions . J. Math. Pures Appl. 101, 583--598 (2014)

  64. [64]

    Kapovitch, A

    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. [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

  66. [66]

    Kitabeppu, S

    Y. Kitabeppu, S. Lakzian, Characterization of low dimensional RCD^*(K, N) paces , Anal. Geom. Metr. Spaces, 4, (2016), 187--215

  67. [67]

    Kriventsov and F

    D. Kriventsov and F. Lin, Regularity for shape optimizers: the nondegenerate case , Comm. Pure Appl. Math. 71 (2018), no. 8, 1535--1596

  68. [68]

    Kinderlehrer and L

    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

  69. [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

  70. [70]

    Kinnunen and N

    J. Kinnunen and N. Shanmugalingam, Regularity of quasi-minimizers on metric spaces , Manuscripta Math. 105 (2001), no. 3, 401--423

  71. [71]

    Lamboley, P

    J. Lamboley, P. Sicbaldi, Existence and regularity of Faber-Krahn minimizers in a Riemannian manifold, J. Math. Pure. Appl. 141 (2020), 137--183

  72. [72]

    Lott and C

    J. Lott and C. Villani, Weak curvature conditions and functional inequalities , J. Funct. Anal.) 245 (2007), no. 1, 311--333

  73. [73]

    Lott and C

    J. Lott and C. Villani, Ricci curvature for metric-measure spaces via optimal transport , Ann. of Math. (2) 169 (2009), no. 3, 903--991

  74. [74]

    Mazzoleni, S

    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

  75. [75]

    PDE 13 (2020), no

    , Regularity of the free boundary for the vectorial B ernoulli problem , Anal. PDE 13 (2020), no. 3, 741--764

  76. [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

  77. [77]

    Mondino, A

    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

  78. [78]

    Mondino, D

    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. [79]

    Naber and D

    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

  80. [80]

    Y. Otsu, T. Shioya, The Riemannian structure of Alexandrov spaces , J. Differ. Geom. 39 (1994), 629--658

Showing first 80 references.