REVIEW 2 major objections 6 minor 34 references
Stacking disorder in periodic minimal surfaces
T0 review · 2 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Disordered stacking of catenoid necks yields embedded minimal surfaces
desk verdict A substantial and mostly rigorous node-opening construction yielding non-periodic stacked minimal surfaces, with one load-bearing but likely patchable gap in the embeddedness proof and an open non-degeneracy issue for C≠0. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The construction is node-opening. At the degenerate limit t=0, the surface is a union of horizontal flat tori T_k in T×R, with the point v_k on T_k identified with the origin on T_{k+1} to form a node; for t>0, small disks are removed and the resulting annuli are glued by z_+ z_- = $t^{2}$, opening a catenoid-like neck. The Gauss map is written with elliptic functions and the height differential is a normalized holomorphic 1-form ω with imaginary periods. Solving the period and regularity problems reduces at t=0 to the balancing condition that the sequence G_k = G(q_k;τ) = ζ(q_k;τ) − ξ(q_k;τ) is constant; the function G is the Hecke form, a translation-invariant combination of the Weierstrass zeta function and a linear correction term. Non-degeneracy means the differential of (q_k) ↦ (G_k) is an isomorphism of ℓ^∞, and the Implicit Function Theorem then converts a balanced non-degenerate pattern into the desired family.
What would settle it
Compute the Jacobian determinant of G(q;τ) at each solution of G(q;τ)=C for a nonzero C, for example at τ=exp(iπ/3); if a degenerate solution exists and can be placed in a uniformly separated bi-infinite sequence, that marks a configuration where the theorem's non-degeneracy hypothesis genuinely fails, and it would show the C≠0 'rich variety' examples are not covered by the current proof.
Extended reading notes
Core claim
Theorem 1.5 is the central statement: if a node configuration q is balanced, non-degenerate, and satisfies the uniform separation hypothesis, then T×R contains a 1-parameter family (M_t) of embedded stacked minimal surfaces converging to the horizontal foliation as t→0, with necks asymptotic to catenoids and their limit positions prescribed by q. Theorem 1.6 adds that if one configuration is periodic and a second agrees with it for all sufficiently high levels, then the corresponding surfaces are respectively a triply periodic minimal surface and a surface asymptotic to a translation of that TPMS. The paper thereby reproduces experimentally observed twinning defects as the special case where a periodic stacking pattern changes once and then stays regular.
Load-bearing premise
The construction collapses if the prescribed stacking pattern is a degenerate solution of the design equation G(q;τ)=C, and for C≠0 the paper does not prove that any of its 1 to 5 solutions is non-degenerate.
Editorial extensions
If this is right
- Any bi-infinite sequence drawn from the solutions of G(q;τ)=C with non-singular differential is a balanced, non-degenerate configuration, so a single level set of G produces many disordered surfaces.
- For C=0, every flat torus admits uncountably many such configurations, yielding uncountably many 1-parameter families of non-periodic infinite-genus minimal surfaces.
- Periodic configurations recover known triply periodic minimal surfaces, including Schwarz' P (as oPa and oPb), CLP (as oCLP'), the rhombohedral rPD family, the newly constructed o∆ family, and Schwarz' H family.
- Configurations that become periodic after finitely many levels give surfaces asymptotic to a translation of the corresponding TPMS, proving that a twinning defect in a periodic minimal surface decays to the perfect TPMS.
Reading between the lines
- Going beyond the paper: if non-degeneracy of the C≠0 solutions of G(q;τ)=C were established, Theorem 2.2 would provide a five-letter alphabet of layer types, so the disorder space would contain all bi-infinite words over five symbols.
- Going beyond the paper: the same design equation could be used computationally — fix a desired stacking pattern, solve G(q;τ)=C for the torus and neck positions, and the theorem guarantees the surface exists arbitrarily close to the foliation limit.
- Going beyond the paper: because the paper notes that finitely many necks per layer can be handled in principle, the same construction should produce richer layer defects with several necks per level, paralleling polytypism in close-packed crystals.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs 1-parameter families of embedded, non-periodic, infinite-genus minimal surfaces in T×R that degenerate to the horizontal foliation as t→0. The construction glues one catenoid neck between infinitely many flat tori with alternating moduli, using Weierstrass data and three consecutive implicit-function arguments (§3.3–§3.6) to solve the regularity, period, and balance problems. The balance condition is shown to be equivalent to constancy of G_k = G(q_k; τ), and Theorem 1.5 asserts existence for any balanced, non-degenerate, uniformly separated configuration. Section 2 produces examples from solutions of G(q; τ) = C, including TPMSs and twinning defects; Theorem 1.6 states that eventually periodic configurations are asymptotic to a TPMS. The paper is an extension of Traizet's node-opening scheme from finitely many tori and from the Riemann-sphere setting of [MT12] to infinitely many tori, and it connects the limit equations to Hecke forms, mean-field equations, and Painlevé VI.
Significance. If Theorem 1.5 holds, the paper solves a natural existence problem suggested by crystallographic twinning defects and gives uncountably many infinite-genus embedded minimal surfaces with prescribed stacking disorder. The construction is largely self-contained: the balance equation is derived by residue computation (Propositions 3.5–3.6), the fixed-point construction of the 1-form ω in §5 is explicit and detailed, and the weighted-space asymptotic estimates in §6 give quantitative decay. The examples tie the construction to known TPMS families (oPa, oCLP', o∆, H, rPD) and to prior results on the Hecke form. The main reservation is the embeddedness proof in §3.7, which contains an acknowledged non-rigorous step; this is the reason for recommending major revision rather than acceptance.
major comments (2)
- [§3.7, Eq. (15) and Remark 3.3] The embeddedness and the prescribed neck positions claimed in Theorem 1.5 depend on the limit lim_{t→0}(X_t(w_k(t)) − X_t(w_{k−1}(t))) = q_k, but the proof of (15) is only established on the fixed domains Ω_{k,r}, while w_k(t) lies in the annuli A^±_k, which degenerate as t→0. Remark 3.3 explicitly concedes that this computation is not rigorous and defers to Appendix A of [MT12], yet the paper states no lemma verifying that the Laurent-series estimates there apply to the present setting of infinitely many tori with alternating moduli τ_k = (−conj)^k τ, nor that the resulting estimates are uniform in k. Because the identification of the limiting neck positions is used to locate the convex curves γ^±_k and hence to conclude embeddedness via Shiffman's theorem, this missing exchange-of-limits argument is load-bearing for Theorem 1.5. The gap appears fixable within the authors' framework, but as written the central existence theorem is not fully proven.
- [§2.5, Theorem 2.2 and §2, Proposition 2.1] Proposition 2.1 converts the main theorem's non-degeneracy hypothesis into non-singularity of dG at each element of a finite set of solutions of G(q; τ) = C. For C = 0 this is supplied by [CKLW18] and [LW17]. For C ≠ 0, Theorem 2.2 only proves existence and a bound on the number of solutions, and the paper explicitly leaves non-degeneracy open: "we still need to study the non-degeneracy of the solutions." Consequently, the advertised arbitrary stacking of solutions with C ≠ 0 is not yet a theorem, and any example built from a degenerate solution would not satisfy the hypothesis of Theorem 1.5. The C = 0 examples in Sections 2.2–2.3 remain valid, but the scope of the "rich variety" claim should be narrowed or the missing non-degeneracy proof supplied.
minor comments (6)
- [Abstract] The phrase "where T denotes a flat 2-tori" should be "a flat 2-torus"; the plural usage elsewhere is fine.
- [Example 5, first bullet] In "which are symptotic, as x3→+∞ and x3→−∞," the word "symptotic" should be "asymptotic."
- [§2.4, after Eq. (4)] The list "elliptic integrals of the first kind, associated first kind, and second kind" is confusing; K′ is the complementary complete elliptic integral, not a separate "associated" kind, and the sentence should be rephrased.
- [§3.7, height estimate] The symbol ≃ in the estimate ∫_{O_k}^{O_{k−1}} ω_t ≃ −2 log t is not defined; please state the precise asymptotic meaning and specify the uniformity in k, since the height-separation argument below depends on that uniformity.
- [Theorem 1.6 and §4] Theorem 1.6 states a period N with q_{k+N} = q_k, while the proof in §4 assumes "periodic with even period N." This is harmless because an odd period can be doubled, but the statement or proof should say so explicitly.
- [Figure 1] The figure would be easier to read with labels marking the twin boundary and the horizontal symmetry plane mentioned in the caption.
Circularity Check
No significant circularity: the main theorem is a conditional implicit-function-theorem construction whose hypotheses (balanced, non-degenerate, uniformly separated) are not equivalent to its conclusions, and the examples are imported from independent external results.
full rationale
The central claim, Theorem 1.5, is a conditional existence theorem: given a balanced, non-degenerate configuration satisfying uniform separation, the paper constructs a 1-parameter family of embedded stacked minimal surfaces. The balance condition is not disguised as an output; it is an explicit hypothesis (Definitions 1.3–1.4), and the construction solves for the parameters a_k, b_k, τ_k, and v_k by three successive implicit-function-theorem steps (Propositions 3.3, 3.4, 3.6) starting from the existence of the holomorphic 1-form ω proven independently in Section 5. The limiting neck positions are indeed encoded by the input q_k through the central value v_k = (−conj)^k q_k, but this is the intended meaning of 'prescribed positions,' not a fitted quantity renamed as a prediction: the work lies in proving that the Weierstrass data solve the period and regularity problems and that the resulting surface is embedded. The examples in Section 2 rely on external results on the Hecke form G(q;τ)=C ([LW10, CKLW18, BE16]), which are not derived from the present construction and whose assumptions do not include Theorem 1.5; the paper even flags that non-degeneracy for C≠0 remains open. The citations to [Tra08], [Tra13], and [MT12] are technical precedents rather than load-bearing self-citations: the paper reproves the needed 1-form existence in its own setting and only defers a Laurent-series estimate to [MT12] for rigor. The one genuine concern, stated in Remark 3.3, is that the limit (15) is established only on fixed compact domains and the exchange of limits at the neck points w_k(t) is deferred to Appendix A of [MT12]; this is a possible proof gap or correctness risk, not circularity, because it does not identify the conclusion with the hypotheses or with any fitted parameter. Accordingly, no step in the derivation reduces by construction to its own inputs.
Assumptions & free parameters
assumptions (7)
- domain assumption Uniform separation: nodes pk and pl are at distance at least ϱ if |k−l|=1 (Hypothesis 1.2).
- domain assumption The input configuration q is balanced (F_k=0 for all k) and non-degenerate (differential of (G_k) with respect to (q_k) is an isomorphism of l∞).
- standard math Implicit Function Theorem and contraction mapping principle in l∞ and weighted l∞ spaces.
- standard math Weierstrass representation: an immersion is obtained from (g,dh) if dh has zeros exactly at zeros and poles of g with matching multiplicities.
- standard math Shiffman's theorem: annuli bounded by two convex curves in parallel planes are foliated by convex curves; Meeks-White uniqueness for such minimal annuli.
- standard math Opening nodes theory: existence and smooth dependence of normalized holomorphic 1-forms on nodal Riemann surfaces, including the infinite-node version from [Tra13].
- standard math Known results on critical points of the Green function on flat tori: G(q;τ)=0 has 3 or 5 solutions and at least two 2-division solutions are non-degenerate for every τ ([LW10, BE16, CKLW18, LW17]).
Cite this review
Pith. "Pith review of Stacking disorder in periodic minimal surfaces." pith.science (2026). https://pith.science/paper/GS5XM3CW
@misc{pith2026190806276,
author = {Pith},
title = {Pith review of: Stacking disorder in periodic minimal surfaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/GS5XM3CW}},
note = {Machine review of arXiv:1908.06276}
}
abstract
We construct 1-parameter families of non-periodic embedded minimal surfaces of infinite genus in $T \times \mathbb{R}$, where $T$ denotes a flat 2-tori. Each of our families converges to a foliation of $T \times \mathbb{R}$ by $T$. These surfaces then lift to minimal surfaces in $\mathbb{R}^3$ that are periodic in horizontal directions but not periodic in the vertical direction. In the language of crystallography, our construction can be interpreted as disordered stacking of layers of periodically arranged catenoid necks. Our work is motivated by experimental observations of twinning defects in periodic minimal surfaces, which we reproduce as special cases of stacking disorder.
Figures
Reference graph
Works this paper leans on
-
[1]
Green's function and anti-holomorphic dynamics on a torus
Walter Bergweiler and Alexandre Eremenko. Green's function and anti-holomorphic dynamics on a torus. Proc. Amer. Math. Soc. , 144(7):2911--2922, 2016
work page 2016
-
[2]
Antiholomorphic perturbations of W eierstrass Z eta functions and G reen's function on tori
Konstantin Bogdanov, Khudoyor Mamayusupov, Sabyasachi Mukherjee, and Dierk Schleicher. Antiholomorphic perturbations of W eierstrass Z eta functions and G reen's function on tori. Nonlinearity , 30(8):3241--3254, 2017
work page 2017
-
[3]
Kenneth A. Brakke. The Surface Evolver . Experiment. Math. , 1(2):141--165, 1992
work page 1992
-
[4]
Conn, Oscar Ces, Xavier Mulet, Stephanie Finet, Roland Winter, John M
Charlotte E. Conn, Oscar Ces, Xavier Mulet, Stephanie Finet, Roland Winter, John M. Seddon, and Richard H. Templer. Dynamics of structural transformations between lamellar and inverse bicontinuous cubic lyotropic phases. Physical review letters , 96(10):108102, 2006
work page 2006
-
[5]
Lattice of passages connecting membranes
Thierry Charitat and Bertrand Fourcade. Lattice of passages connecting membranes. Journal de Physique II , 7(1):15--35, 1997
work page 1997
-
[6]
Existence of the tetragonal and rhombohedral deformation families of the gyroid
Hao Chen. Existence of the rhombohedral and tetragonal deformation families of the gyroid . page 21 pp., 2019. preprint, arXiv:1901.04006
work page Pith review arXiv 2019
-
[7]
Hao Chen. Minimal twin surfaces. Exp. Math. , 28(4):404--419, 2019
work page 2019
-
[8]
Green function, P ainlev\' e VI equation, and E isenstein series of weight one
Zhijie Chen, Ting-Jung Kuo, Chang-Shou Lin, and Chin-Lung Wang. Green function, P ainlev\' e VI equation, and E isenstein series of weight one. J. Differential Geom. , 108(2):185--241, 2018
work page 2018
Show all 34 references
-
[9]
A new deformation family of Schwarz' D surface
Hao Chen and Matthias Weber. A new deformation family of Schwarz' D surface . page 15 pp., 2018. to appear in Trans. Amer. Math. Soc., arXiv:1804.01442
2018 arXiv
-
[10]
An orthorhombic deformation family of Schwarz' H surfaces
Hao Chen and Matthias Weber. An orthorhombic deformation family of Schwarz' H surfaces . page 17 pp., 2018. to appear in Trans. Amer. Math. Soc., arXiv:1807.10631
2018 arXiv
-
[11]
John D. Fay. Theta Functions on Riemann Surfaces , volume 352 of Lecture Notes in Mathematics . 1973
1973
-
[12]
Parametrization of triply periodic minimal surfaces
Andrew Fogden and Stephen T Hyde. Parametrization of triply periodic minimal surfaces. ii. regular class solutions. Acta Crystallographica Section A: Foundations of Crystallography , 48(4):575--591, 1992
1992
-
[13]
Andrew Fogden and Stephen T. Hyde. Continuous transformations of cubic minimal surfaces. The European Physical Journal B-Condensed Matter and Complex Systems , 7(1):91--104, 1999
1999
-
[14]
Generalizations of the gyroid surface
Andrew Fogden, Markus Haeberlein, and Sven Lidin. Generalizations of the gyroid surface. J. Phys. I , 3(12):2371--2385, 1993
1993
-
[15]
The gyroid is embedded and has constant mean curvature companions
Karsten Gro e-Brauckmann and Meinhard Wohlgemuth. The gyroid is embedded and has constant mean curvature companions. Calc. Var. Partial Differential Equations , 4(6):499--523, 1996
1996
-
[16]
Hyde, Zoltan Blum, Tomas Landh, Sven Lidin, Barry W
Stephen T. Hyde, Zoltan Blum, Tomas Landh, Sven Lidin, Barry W. Ninham, Sten Andersson, and K a re Larsson. The Language of Shape: The Role of Curvature in Condensed Matter: Physics, Chemistry and Biology . Elsevier Science, 1996
1996
-
[17]
Zur T heorie der elliptischen M odulfunktionen
Erich Hecke. Zur T heorie der elliptischen M odulfunktionen. Math. Ann. , 97(1):210--242, 1927
1927
-
[18]
Spontaneous formation and characterization of silica mesoporous crystal spheres with reverse multiply twinned polyhedral hollows
Lu Han, Ping Xiong, Jingfeng Bai, and Shunai Che. Spontaneous formation and characterization of silica mesoporous crystal spheres with reverse multiply twinned polyhedral hollows. Journal of the American Chemical Society , 133(16):6106--6109, 2011
2011
-
[19]
Introduction to modular forms , volume 222 of Grundlehren der Mathematischen Wissenschaften
Serge Lang. Introduction to modular forms , volume 222 of Grundlehren der Mathematischen Wissenschaften . Springer-Verlag, Berlin, 1995. With appendixes by D. Zagier and Walter Feit, Corrected reprint of the 1976 original
1995
-
[20]
Green function, mean field equation and P ainlev\' e VI equation
Chang-Shou Lin. Green function, mean field equation and P ainlev\' e VI equation. In Current developments in mathematics 2015 , pages 137--188. Int. Press, Somerville, MA, 2016
2015
-
[21]
Elliptic functions, G reen functions and the mean field equations on tori
Chang-Shou Lin and Chin-Lung Wang. Elliptic functions, G reen functions and the mean field equations on tori. Ann. of Math. (2) , 172(2):911--954, 2010
2010
-
[22]
On the minimality of extra critical points of G reen functions on flat tori
Chang-Shou Lin and Chin-Lung Wang. On the minimality of extra critical points of G reen functions on flat tori. Int. Math. Res. Not. IMRN , (18):5591--5608, 2017
2017
-
[23]
Fluctuating vesicles of nonspherical topology
Xavier Michalet, David Bensimon, and Bertrand Fourcade. Fluctuating vesicles of nonspherical topology. Physical review letters , 72(1):168, 1994
1994
-
[24]
Non-periodic R iemann examples with handles
Filippo Morabito and Martin Traizet. Non-periodic R iemann examples with handles. Adv. Math. , 229(1):26--53, 2012
2012
-
[25]
Meeks and Brian White
William H. Meeks and Brian White. Minimal surfaces bounded by convex curves in parallel planes. Comment. Math. Helvetici , 66:263--278, 1991
1991
-
[26]
Alan H. Schoen. Infinite periodic minimal surfaces without self-intersections. Technical Note D-5541, NASA, Cambridge, Mass., May 1970
1970
-
[27]
On surfaces of stationary area bounded by two circles, or convex curves, in parallel planes
Max Shiffman. On surfaces of stationary area bounded by two circles, or convex curves, in parallel planes. Ann. of Math. (2) , 63:77--90, 1956
1956
-
[28]
Dora Tang, Nicholas J
T.-Y. Dora Tang, Nicholas J. Brooks, Oscar Ces, John M. Seddon, and Richard H. Templer. Structural studies of the lamellar to bicontinuous gyroid cubic (Q GII) phase transitions under limited hydration conditions . Soft matter , 11(10):1991--1997, 2015
1991
-
[29]
An embedded minimal surface with no symmetries
Martin Traizet. An embedded minimal surface with no symmetries. J. Diff. Geom. , 60:103--153, 2002
2002
-
[30]
On the genus of triply periodic minimal surfaces
Martin Traizet. On the genus of triply periodic minimal surfaces. J. Diff. Geom. , 79(2):243--275, 2008
2008
-
[31]
On minimal surfaces bounded by two convex curves in parallel planes
Martin Traizet. On minimal surfaces bounded by two convex curves in parallel planes. Comment. Math. Helv. , 85:39--71, 2010
2010
-
[32]
Opening infinitely many nodes
Martin Traizet. Opening infinitely many nodes. J. Reine Angew. Math. , 684:165--186, 2013
2013
-
[33]
Period quotient maps of meromorphic 1-forms and minimal surfaces on tori
Matthias Weber. Period quotient maps of meromorphic 1-forms and minimal surfaces on tori. J. Geom. Anal. , 12(2):325--354, 2002
2002
-
[34]
An embedded genus-one helicoid
Matthias Weber, David Hoffman, and Michael Wolf. An embedded genus-one helicoid. Ann. of Math. (2) , 169(2):347--448, 2009
2009
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.