Pith. sign in

REVIEW 3 major objections 4 minor 17 references

This paper proves that every rectangular prism contains a free boundary minimal surface of genus 0 with six boundary components, one on each face, obtained as a critical point of an eigenvalue-optimization energy.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

For any rectangular prism, a genus-0 free boundary minimal surface with one boundary curve on each face exists.

T0 review reviewed 2026-08-04 challenge →

load-bearing objection A promising eigenvalue-optimization route to free boundary minimal surfaces in prisms; the main theorem is plausible but rests on an unproved conformality step. the 3 major comments →

arxiv 2510.17729 v2 pith:6Z7AMJJR submitted 2025-10-20 math.DG

Free boundary minimal surfaces in products of balls

Jaigyoung Choe , Ailana Fraser , Richard Schoen This is my paper
classification math.DG MSC 53A1058E1258C40
keywords free boundary minimal surfacesSteklov-Neumann eigenvalueseigenvalue optimizationSchwarz P-surfacerectangular prismproducts of ballsreflection symmetryconformal maps
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The reading

The paper develops an eigenvalue-optimization method for constructing free boundary minimal surfaces in products of Euclidean balls, and uses it to prove that any rectangular prism—with arbitrary side lengths—contains a genus-0 free boundary minimal surface with six boundary components, one on each face. This is a direct generalization of the Schwarz P-surface in a cube. The authors define a functional F built from normalized mixed Steklov-Neumann eigenvalues, show its supremum is unattained without symmetry, and then, imposing reflection symmetries, construct maximizing metrics that are induced by free boundary minimal immersions. In the prism case, restricting to eigenfunctions odd under the face-interchanging reflections, they reduce existence to finding a critical point of an explicit energy on the moduli space of symmetric conformal structures, which they obtain by a min-max argument. If correct, the result supplies free boundary minimal surfaces in any box and links them to an extremal eigenvalue problem.

Core claim

The central discovery is that free boundary minimal surfaces in products of balls are exactly the geometric realizations of maximizers of a mixed Steklov-Neumann eigenvalue functional, provided the surface and eigenfunctions are equivariant under a finite reflection group. For the genus-0 six-boundary surface paired into three reflection-related pairs, the paper explicitly identifies the conformal maximizer: it is the metric whose boundary length density is the normal derivative of the harmonic function taking the values ±a_i on the i-th boundary pair, with Neumann data on the other pairs. The corresponding map u=(u1,u2,u3) is harmonic, and a critical point of its energy E on the three-dimen

What carries the argument

The functional F(g)=Σ_i a_i^2 L_i(g) σ_i(g), where σ_i is the first nonzero mixed Steklov-Neumann eigenvalue for the problem that is Steklov on boundary part Γ_i and Neumann on the rest, with L_i the length of Γ_i. The paper studies F under a finite reflection group G; its G-invariant maximizers are induced metrics of free boundary minimal immersions into products of balls. For the odd-eigenvalue problem F^o, using harmonic functions u_i with boundary values ±a_i on the paired components of Γ_i and Neumann data elsewhere, the conformal maximizer is the metric λ_i = ∂u_i/∂ν on Γ_i, and the energy E(u)=Σ∫|∇u_i|^2 equals F^o. Critical points of E over the moduli space M={(r1,r2,r3): r_i>0, r_i+

Load-bearing premise

The proof of Theorem 6.6 depends on an unstated implication: that a critical point p0 of the energy E on the moduli space yields a harmonic map that is a conformal immersion, with no explicit Hopf-differential calculation or cited theorem at that step; if that implication fails, the construction gives only a harmonic map, not a minimal surface.

What would settle it

Compute the Hopf differential of the harmonic map u=(u1,u2,u3) at a numerically located critical point for a non-cubical prism, say a1=2, a2=1, a3=1; if its norm is nonzero, the map is not conformal, contradicting Theorem 6.6.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • For any positive side lengths a1,a2,a3, there exists at least one free boundary minimal surface of genus 0 with six boundary components in the corresponding rectangular prism, each boundary component lying interior to one face (Theorem 6.6).
  • Unless the prism is a cube, the paper asserts there are at least two distinct such surfaces (stated in the abstract).
  • The same eigenvalue-optimization framework, maximizing F among metrics with reflection symmetries, produces a free boundary minimal immersion of the genus-0 six-boundary surface into a product of three 3-balls in R^9 (Theorem 7.4).
  • The Schwarz P-surface in a cube appears as the critical point of the energy E at the symmetric parameter values, giving it an eigenvalue characterization.
  • The functional F is shown to be bounded above but to have no smooth maximizer without symmetry, so symmetry is essential for the construction.

Where Pith is reading between the lines

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

  • The two surfaces arising when the prism is not a cube likely correspond to two distinct saddle points of E on the moduli space; identifying their geometry (e.g., one resembling a 'vertical' and one a 'horizontal' P-surface) is a natural next step.
  • The method should extend to other reflection groups and other boundary-pair topologies, potentially producing free boundary minimal surfaces in other polyhedra or with higher genus; the key is a moduli space on which the energy has a critical point.
  • A numerical check: for a specific non-cubic prism, compute the Hopf differential of the critical harmonic map; if it is nonzero, Theorem 6.6's conformal-immersion step fails for that example.
  • The abstract also asserts that any symmetric immersed genus-0 free boundary minimal surface with one boundary component on each face is embedded; the body text as provided does not contain a proof of that assertion, so it should be treated as a stated but unsupported claim.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper develops an extremal eigenvalue method for constructing free boundary minimal surfaces in products of Euclidean balls and, in particular, in rectangular prisms. The central object is the functional F(g)=Σ a_i^2 L_i(g) σ_1^{(i)}(g), where σ_1^{(i)} is the first mixed Steklov-Neumann eigenvalue for a surface whose boundary is partitioned into three pairs Γ_i. The authors show that F has no smooth maximizing metric in the product case, then impose a Z_2^3 reflection symmetry and study an associated odd-eigenvalue functional F^o. They parametrize the symmetric conformal structures by a three-dimensional moduli space M of radii (r_1,r_2,r_3) and construct a harmonic map u=(u_1,u_2,u_3) into the rectangular prism with boundary components on the faces. The main existence theorem (Theorem 6.6) asserts that a min-max critical point of the energy E on M yields a conformal immersion and hence a free boundary minimal surface in the prism with arbitrary side lengths. A second result (Theorem 7.4) claims existence of a maximizing metric for F in the symmetric class, giving a free boundary minimal immersion into B^3(a_1)×B^3(a_2)×B^3(a_3). The paper also contains an embeddedness result and a non-existence of absolute maximum statement.

Significance. If correct, the paper would provide a significant extension of the Fraser–Schoen eigenvalue-optimization program to products of balls and to arbitrary rectangular prisms, yielding Schwarz-P-type surfaces with arbitrary side lengths and new free boundary minimal surfaces in higher-dimensional products. The approach is original: it uses mixed Steklov-Neumann eigenvalues, a concrete 3-dimensional moduli space, and an explicit gradient formula. The paper contains no fitted parameters and is not circular; it relies on established theorems from prior work ([3],[5],[8]) and on well-known regularity theory. The explicit moduli-space description and the symmetry decomposition of eigenfunctions are valuable. However, the central existence theorem (Theorem 6.6) hinges on an unproved conformality assertion at a saddle point, so the main result is not yet established as written.

major comments (3)
  1. [Theorem 6.6 (final sentence)] The final step of the proof asserts: 'The condition that ∇E(p0)=0 then implies that the harmonic map u=(u1,u2,u3) is a conformal immersion to a free boundary minimal surface.' This implication is not proved. For a harmonic map u, conformality is equivalent to vanishing of its Hopf differential Φ=⟨u_z,u_z⟩dz². Criticality of E on the three-dimensional moduli space M only gives the three boundary integral conditions computed from the gradient formula before Theorem 6.5 (e.g., ∂E/∂r_i = ∫_{Γ_i}[(νu_i)^2 - Σ_{j≠i}(u'_j)^2]ds0). These are linear constraints on ∫_{Γ_i} Re Φ, not pointwise vanishing of Φ. The standard mechanisms that force Φ≡0 — stress-energy at a global maximum (Theorem 3.3) or Serre duality over the full Teichmüller space — do not apply to a saddle point of E restricted to a 3-dimensional symmetric subspace. A nondegeneracy/period lemma for holomorphic quadratic differentials
  2. [Proposition 6.3 and Theorem 6.5] The min-max construction relies on the superlevel sets {E>c0} having at least three connected components. In Proposition 6.3, the proof states that 'the energy goes to infinity as r_i approaches π/2' but omits the estimate with the remark 'This is an easy estimate which we omit.' This asymptotic is needed to ensure that each region {r_i>π/4} contains a component of the superlevel set, and hence the topological premise of the min-max is not fully verified. Moreover, the transition from the gradient-flow invariance of Vδ to the existence of a 'min-max critical point p0' is only sketched; the compactness (or Palais–Smale / nonsmooth critical point) argument should be made explicit.
  3. [Abstract] The abstract states: 'We further show that unless the rectangular prism is a cube there are at least two such surfaces.' No theorem in the manuscript proves this assertion. Theorem 6.6 proves existence of at least one surface for arbitrary positive side lengths; Theorem 7.4 gives a maximizing metric and an immersion into a product of balls. There is no statement or proof of a second surface or of a cube exception. The abstract must be corrected to match the results actually proved in the paper.
minor comments (4)
  1. [Lemma 5.3] In the proof, the Fourier coefficient bound and the estimate |∂u/∂θ(ϵ,θ)| ≤ cϵ/(1−ϵ) imply |u(ϵ,θ)−a0| = O(ϵ), not O(ϵ²) as written ('This implies... |u(ϵ,θ)| ≤ c ϵ²'). The subsequent conclusion ∫_{D_ϵ}|∇u|² da ≤ cϵ² still follows with the weaker O(ϵ) bound, so the lemma is likely correct, but the displayed intermediate estimate needs correction.
  2. [Lemma 5.3] The proof begins 'For i=1 or 2' whereas the statement of the lemma concerns i=2,3. Please correct this typo.
  3. [Proposition 5.1] The zero-counting property is cited to [5, Theorem 2.3], which is formulated for the Steklov problem. The same bound is asserted for mixed Steklov-Neumann eigenfunctions. Please either indicate why the argument extends directly or supply a reference that covers the mixed problem.
  4. [General] There are several typographical and notational issues: 'Raleigh' should be 'Rayleigh'; the symbol M is used both for the moduli space and for the surface; the arXiv abstract differs from the abstract printed in the text. A careful proofreading pass is needed.

Circularity Check

0 steps flagged

No significant circularity; main derivation is self-contained, with a possible non-circular gap in Theorem 6.6.

full rationale

The paper's derivation chain is not circular. The functional F(g)=Σ a_i^2 L_i σ_i^(1)(g) and its odd analogue F_o are defined purely from eigenvalue data and boundary-length data, with no fitted parameters and no reference to the target minimal surface; the side lengths a_i are arbitrary inputs. The maximizing-metric theorems (3.3, 3.5, 7.4) are proven by Hahn–Banach/convex-hull arguments in which the vanishing of the stress-energy tensor is derived from the Euler–Lagrange equations, not assumed. The explicit maximizers in §6 (λ_i from normal derivatives of harmonic functions u_i) are shown to be extremal by a Rayleigh-quotient inequality, and that inequality is not an identity: it is an upper bound whose equality case is characterized. Self-citations to [3],[4],[5],[6],[8] are used as tools (e.g., eigenvalue bounds, zero-count lemma, gluing method) and are established theorems with independent proofs; they do not import the paper's conclusions. The one point of concern is the final implication in Theorem 6.6 that ∇E(p0)=0 makes the harmonic map conformal; this is asserted without proof or citation and may be a genuine gap (the Hopf-differential condition is not shown to vanish pointwise). But that is a missing argument, not a reduction of the conclusion to an input: conformality is not contained in the definition of E, the metric λ_i, or the min-max setup. No prediction is equivalent by construction to a fitted quantity, and no load-bearing self-citation replaces the main derivation. Hence circularity score 0.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The central derivation has no fitted parameters: a1,a2,a3 are arbitrary inputs and r1,r2,r3 are variables in the moduli space that are optimized, not calibrated. The paper imports standard uniformization, eigenvalue bounds, free-boundary regularity, and prior equivariant optimization results. The only new construction is the functional F itself, which is not fitted to data.

axioms (5)
  • standard math Koebe's theorem: every genus-0 surface with 6 boundary components is conformally equivalent to a subdomain of S^2 bounded by circles.
    Invoked in Section 4 to reduce the surface to a canonical model and to parametrize the moduli space by radii (r1,r2,r3).
  • standard math Regularity of energy-minimizing maps / half-harmonic maps with free boundary.
    Used in Section 7, Proposition 7.1, via references [17],[2],[11], to obtain smoothness and boundary conditions for the minimizing map U.
  • standard math Upper bounds for mixed Steklov-Neumann eigenvalues on surfaces.
    Proposition 2.1, cited from [10],[3],[7], gives the boundedness of F that drives the nonexistence of an unconstrained maximizer.
  • domain assumption Equivariant maximizing metrics for the first Steklov eigenvalue produce free boundary minimal immersions.
    Theorems 3.3 and 3.5 are stated as extensions of [5, Proposition 5.2] and [8, Theorem 2.12]; the proofs are presented as analogous rather than fully independent.
  • domain assumption The canonical reflection group G = Z2^3 can be conjugated into diagonal ±1 matrices inside the Möbius group.
    Used in Section 4: compactness of the relevant subgroup and the abelian structure justify placing the six boundary circles on coordinate axes.

reviewed 2026-08-04 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Free boundary minimal surfaces in products of balls." pith.science (2026). https://pith.science/paper/6Z7AMJJR

@misc{pith2026251017729,
  author       = {Pith},
  title        = {Pith review of: Free boundary minimal surfaces in products of balls},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6Z7AMJJR}},
  note         = {Machine review of arXiv:2510.17729}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

In this paper we develop an extremal eigenvalue approach to the problem of construction of free boundary minimal surfaces in the product of Euclidean balls of chosen radii. The extremal problem involves a linear combination of normalized mixed Steklov-Neumann eigenvalues. The problem is motivated by the Schwarz P-surface which is a free boundary minimal surface in a cube. We show that the problem often does not have an absolute maximum in the product case even though it is bounded from above. By imposing a finite group of symmetries on both the surface and on the eigenfunctions we construct at least one free boundary minimal surface in a rectangular prism with arbitrary side lengths. We further show that unless the rectangular prism is a cube there are at least two such surfaces. We also prove that any immersed free boundary minimal surface of genus 0 with one boundary component on each face of a rectangular prism, and that is invariant under the reflections interchanging opposite faces of the prism, is necessarily embedded. Finally we show that for a genus 0 surface with 6 boundary components and suitable reflection symmetries there is a maximizing metric which can be realized by a free boundary minimal immersion into a product of Euclidean balls.

discussion (0)

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

Reference graph

Works this paper leans on

17 extracted references · 2 linked inside Pith

  1. [1]

    Bandle,Isoperimetric inequalities and applications, Monogr

    C. Bandle,Isoperimetric inequalities and applications, Monogr. Stud. Math., 7 Pitman (Advanced Publishing Program), Boston, Mass.-London, 1980, x+228 pp

    1980

  2. [2]

    Da Lio, T

    F. Da Lio, T. Rivi` ere, Three-term commutator estimates and the regularity of 1 2 -harmonic maps into spheres,Anal. PDE4(2011), no. 1, 149–190

    2011

  3. [3]

    Fraser, R

    A. Fraser, R. Schoen, The first Steklov eigenvalue, conformal geometry, and minimal surfaces,Adv. Math.226(2011), no. 5, 4011–4030

    2011

  4. [4]

    Fraser, R

    A. Fraser, R. Schoen, Minimal surfaces and eigenvalue problems,Geometric analysis, mathematical relativity, and nonlinear partial differential equations, 105–121, Contemp. Math., 599,Amer. Math. Soc., Providence, RI, 2013

    2013

  5. [5]

    Fraser, R

    A. Fraser, R. Schoen, Sharp eigenvalue bounds and minimal surfaces in the ballInvent. Math.203 (2016), no. 3, 823–890

    2016

  6. [6]

    Fraser, R

    A. Fraser, R. Schoen, Some results on higher eigenvalue optimizationCalc. Var. Partial Differential Equations59(2020), no. 5, Paper No. 151, 22 pp

    2020

  7. [7]

    Karpukhin, Bounds between Laplace and Steklov eigenvalues on nonnegatively curved manifolds, Electron

    M. Karpukhin, Bounds between Laplace and Steklov eigenvalues on nonnegatively curved manifolds, Electron. Res. Announc. Math. Sci.24(2017), 100–109

    2017

  8. [8]

    Karpukhin, R

    M. Karpukhin, R. Kusner, P. McGrath, D. Stern, Embedded minimal surfaces inS 3 andB 3 via equivariant eigenvalue optimization, arXiv:2402.13121

    Pith/arXiv arXiv

  9. [9]

    Koebe, Abhandlungen zur Theorie der konformen Abbildung,Math

    P. Koebe, Abhandlungen zur Theorie der konformen Abbildung,Math. Z.2(1918), 198–236

    1918

  10. [10]

    Kokarev, Variational aspects of Laplace eigenvalues on Riemannian surfaces,Adv

    G. Kokarev, Variational aspects of Laplace eigenvalues on Riemannian surfaces,Adv. Math.258 (2014), 191-239

    2014

  11. [11]

    Laurain, R

    P. Laurain, R. Petrides, Romain, Regularity and quantification for harmonic maps with free bound- ary,Adv. Calc. Var.10(2017), no. 1, 69–82

    2017

  12. [12]

    M. Li, Free boundary minimal surfaces in the unit ball: recent advances and open questions,Pro- ceedings of the International Consortium of Chinese Mathematicians 2017, 401–435, International Press, Boston, MA (2020)

    2017

  13. [13]

    C. B. Morrey Jr.,Multiple integrals in the calculus of variations, Die Grundlehren der mathematis- chen Wissenschaften, Band 130. Springer-Verlag New York, Inc., New York 1966. FREE BOUNDARY MINIMAL SURF ACES IN PRODUCTS OF BALLS 33

    1966

  14. [14]

    Petrides, Maximizing Steklov eigenvalues on surfaces,J

    R. Petrides, Maximizing Steklov eigenvalues on surfaces,J. Differential Geom.113(2019), no. 1, 95–188

    2019

  15. [15]

    Petrides, Shape optimization for combinations of Steklov eigenvalues on Riemannian surfaces, Math

    R. Petrides, Shape optimization for combinations of Steklov eigenvalues on Riemannian surfaces, Math. Z.307(2024), no. 1, Paper No. 13, 44 pp

    2024

  16. [16]

    Petrides, Non planar free boundary minimal disks into ellipsoids, arXiv:2304.12111

    R. Petrides, Non planar free boundary minimal disks into ellipsoids, arXiv:2304.12111

    Pith/arXiv arXiv

  17. [17]

    Scheven, Partial regularity for stationary harmonic maps at a free boundary,Math

    C. Scheven, Partial regularity for stationary harmonic maps at a free boundary,Math. Z.253 (2006), no. 1, 135–157. Jaigyoung Choe: Korea Institute for Advanced Study, Seoul, 02455, Korea Email address:choe@kias.re.kr Department of Mathematics, University of British Columbia, V ancouver, BC V6T 1Z2 Email address:afraser@math.ubc.ca Department of Mathematic...

    2006

This paper was first reviewed by deepseek-v4-flash on August 4, 2026.