Solutions to the minimal surface system with large singular sets

Connor Mooney; Ovidiu Savin

REVIEW 2 major objections 5 minor 19 references

Solutions to the minimal surface system with large singular sets

T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Area-minimizing limits of Lipschitz graphs can develop large interior vertical patches that are not minimal.

desk verdict Genuinely new construction in minimal dimension/codimension answering three GMS questions; main proof is coherent but the 'easy to see' minimizing sequence is a real gap that needs filling. read the letter →

arxiv 2411.14376 v1 pith:SCSG42NV submitted 2024-11-21 math.AP math.DG

Connor Mooney , Ovidiu Savin This is my paper · ORCID

classification math.APmath.DG MSC 49Q0553A1035J47

keywords minimalsurfacesystemCartesiancurrentshighercodimensionareaminimizationfreeboundaryproblemcalibrationverticaltangentplanessingularsolutions

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper constructs solutions to the minimal surface system whose graphs develop large interior vertical and non-minimal portions when one passes to the limit of minimizing sequences. The authors show that limits of Lipschitz graphs with fixed boundary data—objects called Cartesian currents—can contain a positive-area vertical piece projecting onto an interior analytic surface, and this piece is not a minimal submanifold. This gives negative answers to three structural questions about such limits posed in the Cartesian-currents literature, and it highlights a sharp contrast with codimension one, where interior discontinuities cannot occur. The construction is explicit and lives in the smallest possible dimensions: domain dimension $n = 3$ and codimension $m = 2$.

What carries the argument

The central mechanism is the axis swap $y(x) = (w_1(x), x_2, x_3)$ together with a calibration form $\omega$ built from the area integrand $F(M) = \sqrt{\det(I + M^T M)}$ and its gradient. The axis swap converts a region where $\partial_1 w_1$ vanishes into a vertical patch of positive area projecting to the analytic surface $\Sigma$, while preserving the area of the graph. The calibration, constructed from $w$ and from the free-boundary equation $\partial_i(\sqrt{\det g}\, g^{ij} \partial_j w_\alpha) = \partial_1 H \, \chi_{\{H>0\}}$ (with $\alpha = 1$, and zero for $\alpha = 2$), satisfies $|\omega(T)| \le 1$ on every unit $n$-plane with equality only on the tangent plane to the graph of $w$, so Stokes' theorem gives the global area comparison.

What would settle it

Numerically compute the Cauchy–Kovalevskaya extension in Section 4.1 for small $\varepsilon$ and $\delta$ and check that $\partial_\nu \tilde{v}^1_1 > 0$ on $\partial\Omega_0 \setminus \Gamma$ and $\partial^2_{\nu\nu} \tilde{v}^1_1 > 0$ on $\Gamma$; any violation would destroy the exact identity $\{\partial_1 w_1 = 0\} = \overline{\Omega_0}$. Alternatively, compute the area of the graph of an analytic competitor with the same boundary data as $u$ (for instance the small solution whose existence is cited in Remark 4.2) and compare it with the completed graph of $u$; if the competitor has area no larger, Theorem 1.2 is false.

Watch

Extended reading notes

Core claim

The paper's central claim is that there exists a Lipschitz map $w = (w_1, w_2)$ from a bounded convex domain $\Omega \subset \mathbb{R}^3$ to $\mathbb{R}^2$, analytic off an analytic convex subdomain $\Omega_0$ compactly contained in $\Omega$, solving the minimal surface system in $\Omega \setminus \Omega_0$ and not solving it in $\Omega_0$, with $\partial_1 w_1 \ge 0$ and $\{\partial_1 w_1 = 0\} = \overline{\Omega_0}$. Swapping the $x_1$ and $w_1$ axes turns the graph of $w$ into the graph of a map $u$ defined on $U \setminus \Sigma$, where $\Sigma = y(\Omega_0)$ is an analytic embedded surface resembling a potato chip; the graph of $u$, completed by a vertical patch over $\Sigma$, is a Cartesian current obtained as a limit of Lipschitz graphs. Theorem 1.2 states that this completed graph has smaller area than the graph of every Lipschitz map from $U$ to $\mathbb{R}^2$ with the same boundary data, even though the vertical patch is not minimal. The same mechanism yields the first singular solution to the minimal surface system in the minimal dimension $n = 3$ and codimension $m = 2$.

Load-bearing premise

The whole construction hinges on a local extension step: the minimal surface system can be solved from prescribed first-order data on the free boundary, with strict sign control on the derivatives of the first-component derivative just outside; if that solvability or those sign estimates failed, the vertical patch would not sit exactly over the intended interior surface.

Editorial extensions

If this is right

The three structural questions about Cartesian currents—mass-minimality, vanishing vertical mass, and generalized mean curvature zero—all receive negative answers in higher codimension.
Area minimizers among Cartesian currents can have vertical parts of the highest possible dimension (three in this case), and these parts can project onto an analytic surface inside the domain.
Such minimizers need not be minimal as geometric objects: the vertical patch carries positive area and is not a minimal submanifold, so the classical monotonicity formula cannot hold for these minimizers.
Graphicality itself acts as an interior free-boundary constraint in higher codimension, in contrast with codimension one where non-graphical behavior can only appear at the boundary.
The dimension and codimension are optimal: when $n = 2$ or $m = 1$, a maximum principle for the gradient rules out the existence of such interior vertical patches.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same axis-swap and calibration strategy may transfer to other variational problems whose integrand has the convexity and growth properties of the area functional, producing vertical patches for more general quasiconvex or polyconvex energies in higher codimension.
Because the construction uses Cauchy–Kovalevskaya, the vertical patch is placed very close to the boundary; a natural next step is to see whether the free-boundary minimization described in the paper can push the patch deep into the interior, which would indicate the phenomenon is stable rather than a boundary artifact.
The comparison with the special Lagrangian example suggests that among Lagrangian competitors the area comparison may fail, so one could test whether the new example admits a Lagrangian approximation without increasing area; the paper's Section 5 indicates this is not the case for the earlier construction.
The explicit point-singularity example gives a concrete numerical target: verifying the expansion $\partial_1 w_1 = 3x_1^2 + x_2^2 + x_3^2 + O(|x|^3)$ and the resulting $C^{1/3}$ regularity of $u$ would independently confirm the claimed optimal regularity.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Read Mooney-Savin. The headline: this is a genuinely new construction in the minimal dimension and codimension, and if it holds up it settles three questions from Giaquinta-Modica-Souček in the negative—limits of area-minimizing Lipschitz graphs can develop large interior vertical parts with positive mass that are not minimal. That is a real result, not a marginal one.

What is actually new: the point-singularity solution in n=3, m=2 (Section 3) is the first in the minimal dimension/codimension, and the large-singularity example (Section 4) produces a Cartesian current whose vertical patch projects to an interior analytic surface and is non-minimal. The construction is coherent: build v via Cauchy data so that f = ∂ᵢ(√det g g^{ij} ∂ⱼ v¹) = ∂₁H, take Ω₀ = {H > 0}, extend v across ∂Ω₀ by Cauchy-Kovalevskaya, and prove sign estimates on normal derivatives of ṽ¹₁ so that {w¹₁ = 0} is exactly Ω̄₀. The sign computation in 4.1 is terse but the pieces are present. The calibration in 4.3 is the right tool: the convexity inequality (5) gives a form with the correct tightness, and the Stokes argument handles graphical competitors cleanly. Section 5's demonstration that their earlier special Lagrangian example fails the same area property is a useful contrast. Citations are appropriate; the only self-citation (the special Lagrangian example [13]) is used for comparison, not as a load-bearing step.

The soft spot is the one the stress-test flags, and it is real. The abstract's central claim—that Gr(u) is the limit of a minimizing sequence of Lipschitz graphs—rests on one 'easy to see' sentence. The rotated maps live on U_k = y_k(Ω), not U, and no gluing argument is given to transfer them to U with boundary data u|∂U and area loss going to zero. I believe the gluing works: the boundary values match at corresponding points, the domains differ by O(1/k), and u is smooth near ∂U. But it is load-bearing for the interpretation, and a referee should ask for it to be written out. The reader's other worry, the Cauchy-Kovalevskaya radius, is more minor: the sign estimates are strict at ∂Ω₀, so they persist on a fixed neighborhood, and CK existence in a neighborhood is standard for this kind of construction. Also minor: the projection argument for competitors outside the cylinder is sketched, and a few computations are asserted rather than shown.

Who this is for: geometric measure theory and calculus of variations people who care about Cartesian currents, the minimal surface system, and free boundary problems. The calibration inequality alone is a nice tool. I would send it to a serious referee. Verdict: conditional accept with revisions; the main theorem is likely correct, but the minimizing-sequence gap should be closed before publication.

Referee Report

2 major / 5 minor

Summary. The paper constructs a C^{1,1} map w from a bounded convex domain Ω⊂R^3 to R^2 satisfying the minimal surface system outside an analytic convex subdomain Ω0, with ∂1w1≥0 and {∂1w1=0}=closure(Ω0). By swapping the x1 and w1 axes, the authors obtain a map u on U=y(Ω) that is analytic outside the surface Σ=y(Ω0) and develops a three-dimensional vertical patch over Σ. They prove by a calibration argument (Theorem 1.2) that the graph of u has area no larger than that of any Lipschitz graph over U with the same boundary data, and they conclude that limits of minimizing sequences of Lipschitz graphs can have large interior vertical and non-minimal portions, giving negative answers to questions of Giaquinta-Modica-Souček. The paper also constructs a point-singularity example in the minimal dimension n=3 and codimension m=2, and shows that a previous special Lagrangian example does not minimize area among Lagrangian graphs.

Significance. If the construction is correct, the result is significant: it provides the first examples showing that non-parametric area minimization in higher codimension can produce interior vertical patches of positive area that are not minimal, in sharp contrast with the codimension-one theory. The free-boundary construction via Cauchy-Kovalevskaya, together with the new calibration argument based on the convexity of the area integrand, is an interesting and potentially reusable technique. The point-singularity example is also valuable as the first singular solution to the minimal surface system in the minimal dimension and codimension. The paper is carefully written and the main algebraic steps are reproducible, though some estimates are compressed.

major comments (2)

[Introduction (paragraph after Thm. 1.2) and §4.3] The assertion that the graph of u is the limit of a minimizing sequence of Lipschitz graphs is not demonstrated. The natural approximants are obtained by rotating the graphs of w+(x1/k,0), but these are maps defined on U_k=y_k(Ω), not on U. The paper does not explain how to reparametrize or glue them to u near ∂U, nor does it estimate the area of the modification. Theorem 1.2 is only a comparison inequality against all Lipschitz graphs; it does not by itself provide a sequence attaining the infimum. Without such a sequence, the negative answers to the Giaquinta-Modica-Souček questions stated in the introduction do not follow from the calibration theorem alone. This is a load-bearing gap and should be fixed, either by giving the missing gluing construction with a vanishing area-loss estimate or by explicitly reformulating the conclusions for minimizers among Cartesian currents, which are already addressed in Remark 4.3.
[§4.1, sign estimates after equation (10)] The proof that ∂ν ṽ1_1 > 0 on ∂Ω0\Γ and ∂νν ṽ1_1 > 0 on Γ is too compressed to be readily verified. In particular, after differentiating the equations in the e1 direction at p∈Γ, the claim that 'the first and second terms can be rewritten as expressions involving the curvature' and hence vanish using D2v1 = D2ṽ1 at p is not written out. These estimates are exactly what guarantee that {w1_1 = 0} = closure(Ω0), and therefore that the rotated map u has the claimed vertical patch. Please provide a complete derivation of the two sign estimates, including the role of the chosen coordinates and the geometry of ∂Ω0.

minor comments (5)

[§2.3 and §4.2] The symbol U is used both for Ω×R^m in the Cartesian-current preliminaries and for y(Ω) in the main construction. Please use a different letter for one of these to avoid ambiguity.
[§4.3, beginning] Before defining the form ω̃, please make explicit the coordinate identification after rotation: (y1,y2,y3,u1,u2) corresponds to (w1,x2,x3,x1,w2), so that the variables z1 and z2 in the calibration argument are w1 and w2 respectively. Without this, the expressions dz^1∧dx^2∧... are difficult to follow.
[Remark 4.2] The statement that taking ǫ and then δ small makes |Dw| arbitrarily small in Ω is plausible but not proved. Since the calibration in §4.3 requires |Dw| < δ(n,m), please spell out the parameter choices.
[Throughout] There are several typographical errors from the arXiv source, including 'surf ace' in the title, 'th e' in the abstract, and 'the the' in Remark 1.3. These should be corrected in the final version.
[§5, after equation (11)] The expansion (11) is stated with O(λ^2)O(|x|^2); it would be clearer to write a single term O(λ^2 |x|^2), and later a similar notational cleanup would help in the displayed estimate for the integral over Ω0.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular step found; the main area comparison is a genuine calibration from the constructed w, and the only self-citation is a comparison example, not an input to Theorem 1.2.

full rationale

The construction is self-contained. Section 4.1 builds w via explicit Cauchy data, defines H and Ω0, sets w=v in Ω0 and w=ṽ outside, and derives the sign estimates ∂νṽ1_1>0 and ∂ννṽ1_1>0; the parameters ε and δ are chosen for smallness rather than fitted to force the conclusion. The area comparison in Section 4.3 is a calibration argument: inequality (5) is proved from the principal-value form of F, |ω|≤1 follows from it, and dω=dω̃ follows from the free-boundary system (10), with Stokes' theorem supplying the area gap. No equation in the paper is equivalent by construction to the target result. The only substantial self-citation is the previous special Lagrangian example [13], which appears in Section 5 as an object of comparison and is not used to prove Theorem 1.2. The sentence 'It is easy to see that the graph of u is a Cartesian current ... by rotating the graphs of w+(x1/k,0) and gluing these to the graph of u near ∂U' is an unproved gluing construction; this is a rigor/completeness gap in the passage from Theorem 1.2 to the abstract's 'limits of minimizing sequences', but it is not circular because it neither assumes the conclusion nor reduces any prediction to a fitted input. The minor self-citation and the gap justify a low score on the circularity scale, while no circular step can be exhibited.

Assumptions & free parameters 3 free parameters · 4 assumptions · 0 invented entities

The construction rests on standard PDE and geometric measure theory tools: real-analytic solvability, compactness of currents, area-decreasing projections, and area-minimality of small graphs. No unlisted physical or mathematical entities are introduced. The only hand-chosen quantities are smallness parameters used to place the example in the strictly convex regime of the area functional.

free parameters (3)

epsilon = small; no explicit value
Sets the Cauchy data for v2 and controls the size of |Dw|; chosen small so the area integrand lies in the strictly convex calibration regime (Sections 3, 4.1).
delta = small, chosen after epsilon
Defines H=delta - C_eps |x|^2/2 and the size of the singular region Ω0={H>0}; chosen small so Ω0 is analytic and uniformly convex (Section 4.1).
A_eps = (5+4*eps^2)/eps
Chosen in Section 3 so that w1_111(0)=6 and ∂1w1 has a nondegenerate minimum at the origin.

assumptions (4)

standard math Cauchy-Kovalevskaya theorem provides real-analytic local solutions from noncharacteristic Cauchy data.
Used in Section 3 to construct w from data on {x1=0} and in Section 4.1 to construct ṽ from data on ∂Ω0.
standard math Federer-Fleming compactness and the GMS structure theorem for Cartesian currents.
Used in Section 2.3 to justify existence of limits and the decomposition into a graph part and a vertical part; frames Question 1.1.
standard math Small Lipschitz graphs minimize area, via Lawlor-Morgan and Federer.
Used in Section 3 and Remark 4.2 to assert area-minimality of the small graphs of w and w̃.
standard math Nearest point projection to a convex cylinder is area-decreasing.
Used in Section 4.3 to extend the calibration comparison from competitors supported in Ω×R^m to arbitrary Lipschitz graphs over U.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Solutions to the minimal surface system with large singular sets." pith.science (2026). https://pith.science/paper/SCSG42NV

@misc{pith2026241114376,
  author       = {Pith},
  title        = {Pith review of: Solutions to the minimal surface system with large singular sets},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SCSG42NV}},
  note         = {Machine review of arXiv:2411.14376}
}

abstract

Lawson and Osserman proved that the Dirichlet problem for the minimal surface system is not always solvable in the class of Lipschitz maps. However, it is known that minimizing sequences (for area) of Lipschitz graphs converge to objects called Cartesian currents. Essentially nothing is known about these limits. We show that such limits can have surprisingly large interior vertical and non-minimal portions. This demonstrates a striking discrepancy between the parametric and non-parametric area minimization problems in higher codimension. Moreover, our construction has the smallest possible dimension ($n = 3$) and codimension $(m = 2)$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 18 canonical work pages

[13]

Non C1 solutions to the special Lagrangian equation

Mooney, C.; Savin, O. Non C1 solutions to the special Lagrangian equation. Duke Math. J., to appear

work page
[1]

Resolving the singularity of minim al Hopf cones

Ding, W.-Y.; Yuan, Y. Resolving the singularity of minim al Hopf cones. J. Partial Diﬀer- ential Equations 19 (2006), 218-231

work page 2006
[2]

A minimizing property of extremal submanifo lds

Federer, H. A minimizing property of extremal submanifo lds. Arch. Rational Mech. Anal. 59 (1975), 207-217

work page 1975
[3]

Federer, H.; Fleming, W. H. Normal and integral currents . Ann. of Math. (2) 72 (1960), 458-520

work page 1960
[4]

Cartesian currents in the calculus of variations

Giaquinta, M.; Modica, G.; Souˇ cek, J. Cartesian currents in the calculus of variations. I. Cartesian currents. Ergeb. Math. Grenzgeb. (3), 37, Springer-Verlag, Berlin, 1998. 18 CONNOR MOONEY AND OVIDIU SA VIN

work page 1998
[5]

Cartesian currents in the calculus of variations

Giaquinta, M.; Modica, G.; Souˇ cek, J. Cartesian currents in the calculus of variations. II. Variational integrals. Ergeb. Math. Grenzgeb. (3), 38, Springer-Verlag, Berlin, 1998

work page 1998
[6]

Cartesian curren ts and variational problems for mappings into spheres

Giaquinta, M.; Modica, G.; Souˇ cek, J. Cartesian curren ts and variational problems for mappings into spheres. Ann. Sc. Norm. Super. Pisa Cl. Sci. (4) 16 (1989), 393-485

work page 1989
[7]

Cartesian curren ts, weak diﬀeomorphisms and exis- tence theorems in nonlinear elasticity

Giaquinta, M.; Modica, G.; Souˇ cek, J. Cartesian curren ts, weak diﬀeomorphisms and exis- tence theorems in nonlinear elasticity. Arch. Ration. Mech . Anal. 106 (1989), 97-159

work page 1989

Show all 19 references

[8]

Minimal Surfaces and Functions of Bounded Variation

Giusti, E. Minimal Surfaces and Functions of Bounded Variation. Birkh¨ auser, Boston, 1984

1984
[9]

Harvey, R.; Lawson, H. B. Calibrated geometries. Acta Math. 148 (1982), 47-157

1982
[10]

On the Lawson-Osserma n conjecture

Hirsch, J.; Mooney, C.; Tione, R. On the Lawson-Osserma n conjecture. Preprint 2023, arXiv:2308.04997

2023 arXiv
[11]

Curvy slicing proves that triple junctions locally minimize area

Lawlor, G.; Morgan, F. Curvy slicing proves that triple junctions locally minimize area. J. Diﬀ. Geom 44 (1996), 514-528

1996
[12]

B.; Osserman, R

Lawson, H. B.; Osserman, R. Non-existence, non-unique ness and irregularity of solutions to the minimal surface system. Acta Math. 139 (1977), 1-17

1977
[14]

Convex integration for Lipschitz mappings and c ounterexamples to regularity

M¨ uller, S.; ˇSver´ ak, V. Convex integration for Lipschitz mappings and c ounterexamples to regularity. Ann. of Math. (2) 157 (2003), 715-742

2003
[15]

Singular solution to spec ial Lagrangian equations

Nadirashvili, N.; Vladut, S. Singular solution to spec ial Lagrangian equations. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire27 (2010), 1179-1188

2010
[16]

Introduction to Geometric Measure Theory 2017, 2018

Simon, L. Introduction to Geometric Measure Theory 2017, 2018. https://web.stanford.edu/class/math285/ts-gmt.pdf

2017
[17]

The regularity of critical points of p olyconvex functionals

Sz´ ekelyhidi, L. The regularity of critical points of p olyconvex functionals. Arch. Ration. Mech. Anal. 172 (2004), 133-152

2004
[18]

W ang. D. K.; Yuan, Y. Singular solutions to special Lagr angian equations with subcritical phases and minimal surface systems. Amer. J. Math. 135 (2013), 1157-1177

2013
[19]

The Dirichlet problem for the minimal surfa ce system in arbitrary dimensions and codimensions

W ang, M.-T. The Dirichlet problem for the minimal surfa ce system in arbitrary dimensions and codimensions. Comm. Pure Appl. Math. 57 (2004), 267-281. Department of Mathematics, UC Irvine Email address : mooneycr@uci.edu Department of Mathematics, Columbia University Email ad...

2004

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [13]

Non C1 solutions to the special Lagrangian equation

Mooney, C.; Savin, O. Non C1 solutions to the special Lagrangian equation. Duke Math. J., to appear

work page

[2] [1]

Resolving the singularity of minim al Hopf cones

Ding, W.-Y.; Yuan, Y. Resolving the singularity of minim al Hopf cones. J. Partial Diﬀer- ential Equations 19 (2006), 218-231

work page 2006

[3] [2]

A minimizing property of extremal submanifo lds

Federer, H. A minimizing property of extremal submanifo lds. Arch. Rational Mech. Anal. 59 (1975), 207-217

work page 1975

[4] [3]

Federer, H.; Fleming, W. H. Normal and integral currents . Ann. of Math. (2) 72 (1960), 458-520

work page 1960

[5] [4]

Cartesian currents in the calculus of variations

Giaquinta, M.; Modica, G.; Souˇ cek, J. Cartesian currents in the calculus of variations. I. Cartesian currents. Ergeb. Math. Grenzgeb. (3), 37, Springer-Verlag, Berlin, 1998. 18 CONNOR MOONEY AND OVIDIU SA VIN

work page 1998

[6] [5]

Cartesian currents in the calculus of variations

Giaquinta, M.; Modica, G.; Souˇ cek, J. Cartesian currents in the calculus of variations. II. Variational integrals. Ergeb. Math. Grenzgeb. (3), 38, Springer-Verlag, Berlin, 1998

work page 1998

[7] [6]

Cartesian curren ts and variational problems for mappings into spheres

Giaquinta, M.; Modica, G.; Souˇ cek, J. Cartesian curren ts and variational problems for mappings into spheres. Ann. Sc. Norm. Super. Pisa Cl. Sci. (4) 16 (1989), 393-485

work page 1989

[8] [7]

Cartesian curren ts, weak diﬀeomorphisms and exis- tence theorems in nonlinear elasticity

Giaquinta, M.; Modica, G.; Souˇ cek, J. Cartesian curren ts, weak diﬀeomorphisms and exis- tence theorems in nonlinear elasticity. Arch. Ration. Mech . Anal. 106 (1989), 97-159

work page 1989