REVIEW 3 major objections 4 minor 13 references
Minimal tori in $\mathbb{R}^4$
T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read The paper constructs explicit non-holomorphic minimal tori in $\mathbb{R}^4$ for every rectangular torus and proves a unique family for the square torus.
desk verdict The square-torus classification and equianharmonic no-go are solid; the rectangular existence theorem is real but its Sagemath sign check needs certification before the main claim rests on it. 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 machinery is the Weierstrass $\wp$-function representation of a torus end: four meromorphic functions $e',f',g',h'$ with a common pole at the removed point, conformality enforced by $e'f'+g'h'=0$, and periodicity enforced by two period equations. Because the pole order is fixed by the total curvature, the functions take the form of $\wp^2,\wp',\wp,1$ combinations, and the whole problem becomes a real system of ten quadratic or linear equations in eleven unknowns whose coefficients are $\tau,g_2,g_3,\eta_1$. For the square torus the system collapses to a unique family; for rectangular tori an extra symmetry ansatz reduces it to one linear equation in $u^2$, and the sign of a rational expression $A(g_2,g_3,\eta,R)$ decides existence.
What would settle it
Evaluate the left-hand side of inequality (65) with rigorous interval arithmetic for all R>1, particularly on [1.05,1.15]; if it is nonnegative at any R, the theorem's rectangular claim fails under its own ansatz. Alternatively, find a rectangular torus where the explicit formulas of Section 7.8 fail to satisfy the original conformality and period equations.
Extended reading notes
Core claim
On its own terms, the paper's central discovery is that the one-ended, total-curvature $-8\pi$ minimal torus problem in $\mathbb{R}^4$ is algebraically tractable: it is equivalent to a finite system of real equations, and in the cases studied the system has explicit answers. For the square torus $\tau=i$, Theorem 3 gives a complete classification: the maps (30), parameterized by $\lambda\in\mathbb{C}^*$, are the only non-holomorphic proper minimal immersions with one end and total curvature $-8\pi$, and they reduce to the Chen-Gackstatter torus in $\mathbb{R}^3$ exactly when $|\lambda|=1$. For every rectangular torus $\tau=Ri$, Theorem 5 constructs a non-holomorphic minimal torus $T_R$ whose coordinates are rational functions of $R,g_2,g_3,\eta_1$. The equianharmonic torus is excluded by Proposition 6.
Load-bearing premise
The existence proof for rectangular tori assumes the unknowns are real and obey the symmetry t=w, u=-y, v=-z; if that ansatz does not cover all solutions, or the numerical sign check on the interval 1.05\le R\le 1.15 has an error, the theorem is not established for every R.
Editorial extensions
If this is right
- If Theorem 3 is correct, the square torus's solution set is completely described by the one-complex-parameter family (30), and the 3D Chen-Gackstatter torus is exactly the $|\lambda|=1$ slice.
- If Theorem 5 is correct, every rectangular torus $T_{Ri}$ admits an explicit non-holomorphic minimal torus with one end and total curvature $-8\pi$, so the Main Problem has a positive answer on a one-parameter family of conformal types.
- If Proposition 6 is correct, the equianharmonic torus is an obstruction example: total curvature $-8\pi$ and one end are not sufficient for existence.
- The paper's integral formula (Theorem 2) and braid-at-infinity computation imply that the 4D Chen-Gackstatter square tori with $|\lambda|\neq1$ are not embedded.
- For every solution, the end has order $N=3$ by the Jorge-Meeks formula, so the end behavior is fixed: $z\mapsto(z^3+o(|z^3|),o(|z^3|))$.
Reading between the lines
- Editorial inference: if the rectangular family is continuous in $R$, then the square torus is not isolated: tori with $R$ close to 1 produce one-ended, total-curvature $-8\pi$ minimal tori near the 3D Chen-Gackstatter torus, suggesting a one-dimensional family of conformal types.
- Editorial inference: the symmetry Assumption 4 is a genuine restriction, so the same 10-equation system may have additional rectangular solutions with $t\neq w$ or complex parameters; a numerical search could test this.
- Editorial inference: the writhe-at-infinity invariant computed for square tori gives a blueprint for testing embeddedness of the rectangular tori; the paper's final Question could be settled by computing $w_\infty$ for the rectangular ends.
- Editorial inference: if a torus satisfying the Type (I) condition (33) exists, it would lie outside the Type (II) classification, so the current 'no equianharmonic' and uniqueness results would not cover the full problem.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies complete proper non-holomorphic minimal immersions of a punctured 2-torus into R^4 with one end and total curvature -8\pi. It translates the geometric problem into a system of algebraic equations in the Weierstrass data (Propositions 4 and 5), then treats three conformal classes: the square torus, where it claims a complete classification and an explicit one-complex-parameter family generalizing the Chen--Gackstatter torus (Theorem 3); the equianharmonic torus, where it proves nonexistence (Proposition 6); and rectangular tori, where it claims existence for every R>1 with explicit rational formulas (Theorem 5). The paper also introduces tools involving Gauss maps, links, braids, and writhe at infinity in Section 2, and uses them to analyze the ends and conclude non-embeddedness of the square family. The rectangular theorem is proved under an additional symmetry ansatz, Assumption 4, and relies in part on a Sagemath numerical check in Section 7.7.
Significance. If the square-torus uniqueness and the equianharmonic nonexistence hold, they are strong and explicit results in the still-underdeveloped theory of minimal tori in R^4, and the explicit deformation family of the Chen--Gackstatter torus is a useful addition. The algebraic reduction of the period and conformality conditions to the 10-equation system is a clear methodological contribution, and the equianharmonic proof in Section 6 is short and rigorous. The rectangular existence theorem would also be significant, but as written it is not fully established: the decisive sign check on [1.05,1.15] is delegated to unreported numerical evaluations, and the positivity of t^2 required for real solutions is not proved. The paper does not ship code or certified interval arithmetic, so the numerical part is not independently checkable. I regard the main results as plausible and likely correct, but the rectangular theorem needs additional work before it can be accepted as stated.
major comments (3)
- [§7.7, Theorem 5] The proof that the inequality (65), equivalently the negativity of (78), holds for all R>1 is not complete. The cases R≥1.15 and 1<R≤1.05 are handled analytically in §7.5 and §7.6, but the remaining interval 1.05≤R≤1.15 is treated only by ten asserted Sagemath estimates of A+B+C. The manuscript gives neither the code nor the intermediate values of A, B, C, nor any interval-arithmetic or certified-rounding bounds. Since Theorem 5 asserts existence for every rectangular torus, a single incorrect or non-strict estimate on any of the ten subintervals would invalidate the existence conclusion exactly where the analytic estimates do not reach. Because the expression in (78) is an explicit rational function of q-series with known formulas (51)-(52), this numerical step is replaceable by rigorous interval bounds; as written, however, the proof is not independently checkable.
- [§7.8, Assumption 4] After the formulas for u^2 and c are obtained, the paper sets t^2 = (c - u^2)T(R) in (55). For Assumption 4 to yield real solutions, t^2 must be nonnegative. Lemma 2 only rules out c = u^2; it does not establish c - u^2 > 0 for all R>1. The sample value R=2 is not a substitute for a general argument. Since t appears in the explicit map (89), the existence of a real t is part of the construction, and the missing positivity check is therefore load-bearing for Theorem 5.
- [§5.3, Theorem 3(2)] The uniqueness proof for the square torus is not fully self-contained as written. It depends on Assumption 3, whose 'without loss of generality' status is not demonstrated: the remark after Assumption 3 reduces the case u℘ + \bar v\bar{℘} to R^3, but the excluded case u℘' + \bar v\bar{℘'} is merely ruled out by assumption, not by an argument. In addition, after deriving that s=vz=uy=0 (or the corresponding vanishing statements), the text concludes v=z=0 using that t and w are not zero, but this nonvanishing has not been proved at that point; it would require, for instance, a justification that a=-4tw is nonzero in the first equation of (40). Without these steps, the claimed completeness of the classification for all non-holomorphic minimal square tori is not established.
minor comments (4)
- [Throughout] There are several typos and stylistic slips that should be corrected in revision: 'finit union' in §2, 'prelimineries' in §1.3, 'Exemple' in §7.9, '4 D Chen-Gacksatter' in §8, and inconsistent capitalization of 'Sagemath' (should be 'SageMath').
- [§7.7] The ten numerical estimates A+B+C are presented as a bare list; a table with the interval endpoints and the individual bounds for A, B, and C would greatly improve verifiability, even before adding certified arithmetic.
- [§7.8, Eq. (88)] The displayed formula for the second coordinate contains the term 't℘+ t℘', which appears to be a typo; it should presumably be t℘ + t\bar{℘} or an equivalent expression. The notation for antiderivatives involving \bar{℘} is also used without a clear convention and should be spelled out.
- [§7.6] The analytic bounds in Lemmas 8 and 9 quote numerical constants such as g2(1)≈ and g3(1)≈ without listing their exact expressions or the elementary estimates used. Since these numbers enter the conclusion (65) ≤ -0.5, they should be stated explicitly.
Circularity Check
No significant circularity: the torus equations are derived from first principles and solved explicitly; numerical and symmetry assumptions are rigor issues, not circularity.
full rationale
The paper's derivation is self-contained in the relevant sense: the conformality condition (4) and the period conditions (5) are first-principles constraints, and the algebraic systems (40)-(42) are obtained by expanding e'f'+g'h'=0 and integrating over the two cycles, with no target conclusion substituted in. The square-torus unicity (§5.3) solves those equations explicitly, invoking Chen-Gackstatter uniqueness in R^3 ([9],[13]) only to exclude an auxiliary class, which is an external classification theorem rather than a fitted input. The rectangular-torus existence proof introduces Assumption 4 as a symmetry ansatz, which is restrictive but not circular; the decisive sign condition (65)/(78) is proved by analytic estimates supplemented by Sagemath numerics on 1.05 ≤ R ≤ 1.15. That numerical check is not interval-arithmetic certified, so it is a reproducibility and rigor concern, not a circularity: the quantity is evaluated independently and no fitted parameter is renamed as a prediction. The only self-citation ([1] for the quaternionic Gauss map) is a definitional reference and is not load-bearing; the same map is also sourced to [4] and [6]. Therefore no step reduces to its own input.
Assumptions & free parameters
free parameters (1)
- λ (complex parameter in Theorem 3) =
arbitrary nonzero complex number
assumptions (5)
- standard math Meromorphic functions on a torus with prescribed poles are expressible in terms of the Weierstrass ℘ function and its derivative.
- standard math Jorge-Meeks formula relating total curvature, Euler characteristic and end order: for a torus with one end, -8π/(2π) = χ - N, giving N=3.
- domain assumption The Chen-Gackstatter torus is the only minimal torus in R^3 with total curvature -8π and one end (Theorem 4, cited from references [9] and [13]).
- ad hoc to paper Assumption 4: for rectangular tori, the unknowns a,b,c,d,s,t,u,v,y,z are real and the second component satisfies t=w, u=-y, v=-z.
- ad hoc to paper The Sagemath numerical estimates on the interval 1.05≤R≤1.15 are accurate to the stated inequalities.
Cite this review
Pith. "Pith review of Minimal tori in $\mathbb{R}^4$." pith.science (2026). https://pith.science/paper/HQX2FOMO
@misc{pith2026250712914,
author = {Pith},
title = {Pith review of: Minimal tori in $\mathbbR^4$},
year = {2026},
howpublished = {\url{https://pith.science/paper/HQX2FOMO}},
note = {Machine review of arXiv:2507.12914}
}
abstract
We describe tools for the study of minimal surfaces in $\mathbb{R}^4$; some are classical (the Gauss maps) and some are newer (the link/braid/writhe at infinity). Then we look for complete proper non holomorphic minimal tori with total curvature $-8\pi$ and a single end immersed in $\mathbb{R}^4$. We translate the problem into a system of $10$ quadratic or linear equations in $11$ real variables with coefficients in terms of the Weierstrass function $\wp$ and give explicit solutions for these equations if $T$ is a rectangular torus. For the square torus, we have a complete answer with a unique family of solutions generalizing the Chen-Gackstetter torus in $\mathbb{R}^3$. On the other hand, we show that there is no solution on the equianharmonic torus.
Reference graph
Works this paper leans on
- [1]
-
[2]
C. C. Chen, F. Gackstatter Elliptische und hyperelliptische Funktio- nen und vollst¨ andige Minimalfl¨ achen vom Enneperschen Typ, Math. Annalen (1982), 259(3), 359–369
work page 1982
- [3]
- [4]
-
[5]
Fine Knots, minimal surfaces and J-holomorphic curves , arXiv:2112.07713
J. Fine Knots, minimal surfaces and J-holomorphic curves , arXiv:2112.07713
-
[6]
D. A. Hofman, R. Osserman The Gauss map of surfaces in Rn, Jour. Diff. Geom. 18 (1983), 733-754
work page 1983
-
[7]
L. P. Jorge, W. H. Meeks III, The topology of complete minimal sur- faces of finite total Gaussian curvature , Topology Vol. 23(2), (1963) 203-221
work page 1963
-
[8]
Lang Elliptic functions , Graduate Texts in Mathematics, Springer, 1987 29
S. Lang Elliptic functions , Graduate Texts in Mathematics, Springer, 1987 29
work page 1987
Show all 13 references
-
[9]
Lopez The classification of complete minimal surfaces with total curvature greater than −2π, Trans
F. Lopez The classification of complete minimal surfaces with total curvature greater than −2π, Trans. Amer. Math. Soc. 334, (1992), 49-74
1992
-
[10]
X. Ma, Z. Xie Chen–Gackstatter type surfaces in R4 1: deformation, symmetry and the problem of embeddedness , International Journal of mathematics, 25(2) 2014
2014
-
[11]
Neumann, L
W. Neumann, L. Rudolph, Unfoldings in knot theory, Math. Ann. 278, 409-439 (1987)
1987
-
[12]
M. Waldschmidt An introduction to irrationality and tran- scendence methods The University of Arizona The South- west Center for Arithmetic Geometry 2008 Arizona Winter School, March 15-19, 2008 Special Functions and Transcendence http://swc.math.arizona.edu/aws/08/index.html ...
2008
-
[13]
Weber Period quotient maps of meromorphic 1-forms and minimal surfaces on tori Marc Soret: Universit´ e F
M. Weber Period quotient maps of meromorphic 1-forms and minimal surfaces on tori Marc Soret: Universit´ e F. Rabelais, D´ ep. de Math´ ematiques, 37000 Tours, France, Marc.Soret@univ-tours.fr Marina Ville: Univ Paris Est Creteil, CNRS, LAMA, F-94010 Creteil, France villemarin...
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.