Pith. sign in

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 →

arxiv 1908.06276 v3 pith:GS5XM3CW submitted 2019-08-17 math.DG cond-mat.softmath.CV

classification math.DGcond-mat.softmath.CV MSC 53A10
keywords minimalsurfacesstackingdisorderinfinitegenusnode-openingconstructionHeckeformtwinningdefectsWeierstrassdatatriplyperiodic
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

The paper proves that embedded minimal surfaces of infinite genus can be built by stacking flat tori in a three-dimensional torus, with one tiny catenoid neck between neighboring layers. The main theorem says that any balanced, non-degenerate, uniformly separated prescription of the neck positions gives a 1-parameter family of such surfaces that converges to the foliation by tori as a parameter goes to zero. This matters because it turns crystallographic observations of stacking faults and twinning defects in triply periodic minimal surfaces into rigorous existence theorems, and because the admissible patterns include completely disordered stacks.

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.

Watch

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

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

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 6 minor

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)
  1. [§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. [§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)
  1. [Abstract] The phrase "where T denotes a flat 2-tori" should be "a flat 2-torus"; the plural usage elsewhere is fine.
  2. [Example 5, first bullet] In "which are symptotic, as x3→+∞ and x3→−∞," the word "symptotic" should be "asymptotic."
  3. [§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.
  4. [§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.
  5. [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.
  6. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 7 assumptions · 0 invented entities

No fitted free parameters and no new postulated entities. The construction is conditional on explicit geometric hypotheses (balance, non-degeneracy, uniform separation) and uses standard theorems: Weierstrass representation, implicit function theorem on l∞, opening nodes, Shiffman and Meeks-White, and external results on Green function critical points.

assumptions (7)
  • domain assumption Uniform separation: nodes pk and pl are at distance at least ϱ if |k−l|=1 (Hypothesis 1.2).
    Required so the disks around poles and nodes can be chosen uniformly and the l∞ implicit function theorem applies over infinitely many tori.
  • 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∞).
    These are explicit hypotheses of Theorem 1.5 and are not derived; they are exactly the conditions that allow solving the period and balancing equations.
  • standard math Implicit Function Theorem and contraction mapping principle in l∞ and weighted l∞ spaces.
    Used in Propositions 3.3, 3.4, 3.6, 5.6, 6.1, and 6.5 to solve the parameter equations; standard functional analysis.
  • 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.
    The Regularity Problem in Section 3.4 is the core geometric condition; this is a standard theorem in minimal surface theory.
  • 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.
    Used in Section 3.7 and Section 4 to prove embeddedness and uniqueness of limit 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].
    The construction of the 1-form ω in Section 5 rests on this machinery and cites it rather than reproving it.
  • 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]).
    Used in Section 2 to generate uncountably many balanced configurations; these results are imported from the PDE and complex dynamics literature.

how reviews work

0 comments
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

Figures reproduced from arXiv: 1908.06276 by the authors.

Figure 1
Figure 1. Twinning defects in an rPD surface near the catenoid limit, as described in Example 5. This is actually an approximation by a TPMS with large vertical period. The surface has a horizontal symmetry plane in the mid￾dle. The image was computed in Surface Evolver [Bra92] using the procedure in [Che19b]. Remark 1.1. Our construction can, in principle, handle finitely many necks between each adjacent pair of tori. But in… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 33 canonical work pages

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

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

  3. [3]

    Kenneth A. Brakke. The Surface Evolver . Experiment. Math. , 1(2):141--165, 1992

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

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

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

  7. [7]

    Minimal twin surfaces

    Hao Chen. Minimal twin surfaces. Exp. Math. , 28(4):404--419, 2019

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

Show all 34 references
  1. [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

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

  3. [11]

    John D. Fay. Theta Functions on Riemann Surfaces , volume 352 of Lecture Notes in Mathematics . 1973

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

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

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

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

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

  9. [17]

    Zur T heorie der elliptischen M odulfunktionen

    Erich Hecke. Zur T heorie der elliptischen M odulfunktionen. Math. Ann. , 97(1):210--242, 1927

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

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

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

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

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

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

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

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

  18. [26]

    Alan H. Schoen. Infinite periodic minimal surfaces without self-intersections. Technical Note D-5541, NASA, Cambridge, Mass., May 1970

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

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

  21. [29]

    An embedded minimal surface with no symmetries

    Martin Traizet. An embedded minimal surface with no symmetries. J. Diff. Geom. , 60:103--153, 2002

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

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

  24. [32]

    Opening infinitely many nodes

    Martin Traizet. Opening infinitely many nodes. J. Reine Angew. Math. , 684:165--186, 2013

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

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

Pith tools

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