Chen–Gackstatter Torus: Minimal Surface Theory

• The Chen–Gackstatter torus is a complete minimal surface of genus one with a single Enneper-type end and total curvature 8π in classical ℝ³.
• Lorentz deformations extend the classical model into Minkowski ℝ⁴₁, introducing new Gauss-map data and period conditions while preserving key geometric invariants.
• In Euclidean ℝ⁴, the torus inspires generalized minimal immersions that maintain its topology and symmetry, with challenges in embeddedness and self-intersections.

Searching arXiv for relevant papers on the Chen–Gackstatter torus and related deformations in $\mathbb{R}^4_1$ and $\mathbb{R}^4$. The Chen–Gackstatter torus is the classical complete minimal surface of genus one with a single Enneper-type end and total Gaussian curvature $-\int K\,dM=8\pi$, often described as a “torus with one end.” In the literature surveyed here, the term also encompasses higher-codimension analogues and deformations, especially stationary surfaces in Minkowski $4$-space $\mathbb{R}^4_1$ and minimal surfaces in Euclidean $\mathbb{R}^4$, where the genus-one, one-end, total-curvature-$8\pi$ configuration persists but the ambient geometry introduces new Gauss-map data, new period conditions, and a more intricate embeddedness theory (Xie et al., 2012, Soret et al., 17 Jul 2025).

1. Classical object in $\mathbb{R}^3$

The classical Chen–Gackstatter surface in $\mathbb{R}^3$ is the first example of a complete minimal surface of genus $1$ with a single Enneper-type end. Its topology is that of a torus punctured at one point, and its total Gaussian curvature is

$\mathbb{R}^4$0

which is the least possible for genus one in the framework discussed in the cited work (Xie et al., 2012).

In the algebraic formulation used for its Lorentzian deformation theory, the underlying Riemann surface is the square torus

$\mathbb{R}^4$1

equivalently the elliptic curve with parameter $\mathbb{R}^4$2. The Weierstrass data are

$\mathbb{R}^4$3

with

$\mathbb{R}^4$4

The parameter $\mathbb{R}^4$5 is chosen so that the horizontal period condition is satisfied, while $\mathbb{R}^4$6 is exact, so the vertical periods vanish (Xie et al., 2012).

The end is of Enneper type with multiplicity $\mathbb{R}^4$7, and consequently the surface is not embedded in $\mathbb{R}^4$8. The square torus model carries a $\mathbb{R}^4$9 symmetry group, described in the source as two planar reflections and two $-\int K\,dM=8\pi$0 rotations, and the classical surface has two isolated self-intersection points along the $-\int K\,dM=8\pi$1-axis (Xie et al., 2012). A later Euclidean $-\int K\,dM=8\pi$2 treatment also states that the classical Chen–Gackstatter torus is the unique complete minimal torus in $-\int K\,dM=8\pi$3 of genus one with a single end and total curvature $-\int K\,dM=8\pi$4, parametrized by the square torus $-\int K\,dM=8\pi$5, complete and proper, and non-embedded (Soret et al., 17 Jul 2025).

2. Stationary-surface framework in Minkowski $-\int K\,dM=8\pi$6

In $-\int K\,dM=8\pi$7, endowed with Lorentzian metric of signature $-\int K\,dM=8\pi$8,

$-\int K\,dM=8\pi$9

the relevant generalization is the class of stationary surfaces: spacelike immersions with zero mean curvature (Xie et al., 2012). The codimension-two setting differs essentially from the $4$0 theory because it involves two Gauss maps and correspondingly richer period constraints.

The Weierstrass-type representation used in this setting is formulated in terms of meromorphic functions $4$1 and a holomorphic $4$2-form $4$3 on a Riemann surface $4$4. If $4$5 on $4$6, the poles of $4$7 and $4$8 do not coincide, the zeros of $4$9 coincide with the poles of $\mathbb{R}^4_1$0 or $\mathbb{R}^4_1$1 with the same order, and the horizontal and vertical period conditions

$\mathbb{R}^4_1$2

hold along every closed path $\mathbb{R}^4_1$3, then

$\mathbb{R}^4_1$4

defines a stationary immersion $\mathbb{R}^4_1$5, with induced metric

$\mathbb{R}^4_1$6

Conversely, any stationary surface arises in this way (Xie et al., 2012).

For algebraic stationary surfaces with regular ends, the total curvature is governed by a Jorge–Meeks-type formula: $\mathbb{R}^4_1$7 In the genus-one, one-end case with pole order $\mathbb{R}^4_1$8 at the end, so that $\mathbb{R}^4_1$9, this yields

$\mathbb{R}^4$0

That normalization is used throughout the deformation theory of Chen–Gackstatter-type stationary surfaces (Xie et al., 2012).

This formalism makes clear that the Chen–Gackstatter torus in $\mathbb{R}^4$1 is not merely a single isolated example but the prototype for a genus-one, one-end, finite-total-curvature configuration whose core invariants can survive in Lorentzian codimension two. A plausible implication is that the one-end $\mathbb{R}^4$2 regime functions as a rigidity threshold: sufficiently constrained data lead back to the classical model, while relaxed ambient geometry permits nontrivial deformations.

3. Lorentz deformations and Chen–Gackstatter-type surfaces in $\mathbb{R}^4$3

A central result is that the classical $\mathbb{R}^4$4 Chen–Gackstatter surface admits explicit Lorentz deformations into $\mathbb{R}^4$5 (Xie et al., 2012). If a minimal surface in $\mathbb{R}^4$6 has complex differential

$\mathbb{R}^4$7

its Lorentz deformation is defined by

$\mathbb{R}^4$8

where $\mathbb{R}^4$9 satisfy $8\pi$0. Writing

$8\pi$1

and expressing the original $8\pi$2 minimal surface by Weierstrass data $8\pi$3 with $8\pi$4, the deformed data are

$8\pi$5

When $8\pi$6,

$8\pi$7

where $8\pi$8 is the harmonic conjugate of $8\pi$9 (Xie et al., 2012).

Applied to the Chen–Gackstatter surface, this produces a real $\mathbb{R}^3$0-parameter family of complete stationary surfaces in $\mathbb{R}^3$1, each retaining genus one, a unique regular end, and total curvature $\mathbb{R}^3$2. Up to congruence, the family reduces to an $\mathbb{R}^3$3-family of non-congruent deformations parameterized by $\mathbb{R}^3$4, because deformations with parameters related by $\mathbb{R}^3$5 for real $\mathbb{R}^3$6 are congruent in $\mathbb{R}^3$7 (Xie et al., 2012).

These deformations preserve the same $\mathbb{R}^3$8 symmetry group as the classical example. They also preserve the two self-intersection points of the original $\mathbb{R}^3$9 surface, so in general the deformed surfaces still intersect themselves at exactly two points. At the level of the end, however, the Lorentz deformation changes the local geometry more substantially: the Enneper end becomes embedded near the end in $\mathbb{R}^3$0, even though the whole surface remains non-embedded (Xie et al., 2012). This contrast isolates one of the main geometric novelties of the Lorentzian setting: local end embeddedness need not imply global embeddedness, and the topological obstruction imposed by the Enneper end in $\mathbb{R}^3$1 can be partially removed without eliminating all self-intersections.

A converse statement is equally significant. If $\mathbb{R}^3$2 is constant, then the stationary surface is precisely a Lorentz deformation of a minimal surface in $\mathbb{R}^3$3 (Xie et al., 2012). When $\mathbb{R}^3$4, the surface is not contained in any $\mathbb{R}^3$5-dimensional affine subspace. When $\mathbb{R}^3$6 is negative real, the surface is congruent to a minimal surface in $\mathbb{R}^3$7 (Xie et al., 2012). This criterion provides the precise bridge between the Lorentzian genus-one theory and the classical minimal-surface model.

4. Divisor structure, period calculus, and the real $\mathbb{R}^3$8-parameter family

For Chen–Gackstatter-type stationary surfaces

$\mathbb{R}^3$9

with one regular end and total curvature $1$0, the source torus is represented as

$1$1

The period analysis uses the holomorphic form

$1$2

and

$1$3

with periods $1$4 and $1$5 on generators $1$6 of $1$7. The Legendre relation

$1$8

and the reduction

$1$9

supply the key algebraic control on the period problem (Xie et al., 2012).

Under the normalization $\mathbb{R}^4$00 and $\mathbb{R}^4$01, there are two possible divisor configurations (Xie et al., 2012):

Case	Divisors
Case 1	$\mathbb{R}^4$02, $\mathbb{R}^4$03, $\mathbb{R}^4$04
Case 2	$\mathbb{R}^4$05, $\mathbb{R}^4$06, $\mathbb{R}^4$07

In Case 1, the data can be written in terms of six complex parameters $\mathbb{R}^4$08: $\mathbb{R}^4$09

$\mathbb{R}^4$10

$\mathbb{R}^4$11

$\mathbb{R}^4$12

The period conditions reduce to

$\mathbb{R}^4$13

$\mathbb{R}^4$14

$\mathbb{R}^4$15

where

$\mathbb{R}^4$16

Regularity requires

$\mathbb{R}^4$17

away from the designated divisor points (Xie et al., 2012).

The special subcase $\mathbb{R}^4$18 yields a sharp characterization. The period conditions simplify to

$\mathbb{R}^4$19

$\mathbb{R}^4$20

By Weber’s theorem, one obtains $\mathbb{R}^4$21, so the torus is square, and $\mathbb{R}^4$22 is constant. By the converse of the Lorentz deformation theorem, the surface is therefore a Lorentz deformation of the classical Chen–Gackstatter surface (Xie et al., 2012).

The same paper proves a more general local-existence result. In Case 1, the period conditions define $\mathbb{R}^4$23 real equations in $\mathbb{R}^4$24 real variables. Writing the period mapping

$\mathbb{R}^4$25

the classical Chen–Gackstatter point corresponds to

$\mathbb{R}^4$26

with $\mathbb{R}^4$27. The Jacobian $\mathbb{R}^4$28 has rank $\mathbb{R}^4$29, and hence, by the preimage theorem, there exists a smooth real $\mathbb{R}^4$30-dimensional family of nearby solutions (Xie et al., 2012). The resulting theorem states:

$\mathbb{R}^4$31

$\mathbb{R}^4$32

Regularity $\mathbb{R}^4$33 persists under small deformation by uniform continuity of the stereographic distance on $\mathbb{R}^4$34 between $\mathbb{R}^4$35 (Xie et al., 2012). This establishes an explicit distinction between the globally described Lorentz-deformation family and a larger local moduli space detected through the period map.

5. Symmetry, uniqueness, and classification constraints

A major classification theorem states that among genus-one Chen–Gackstatter surfaces in $\mathbb{R}^4$36 with a unique end and total curvature $\mathbb{R}^4$37, the deformations obtained from the explicit Lorentz deformation construction are the only ones whose symmetry group $\mathbb{R}^4$38 satisfies $\mathbb{R}^4$39 (Xie et al., 2012).

The symmetry analysis proceeds through the conformal type of the torus. If $\mathbb{R}^4$40, the torus must be conformally equivalent either to the square torus $\mathbb{R}^4$41 with automorphism group $\mathbb{R}^4$42 of order $\mathbb{R}^4$43, or to the equilateral torus $\mathbb{R}^4$44 with automorphism group $\mathbb{R}^4$45 of order $\mathbb{R}^4$46 (Xie et al., 2012). A key lemma states that in both divisor cases the divisors of $\mathbb{R}^4$47 and $\mathbb{R}^4$48 are preserved by any symmetry, while the divisors of $\mathbb{R}^4$49 and $\mathbb{R}^4$50 are preserved or interchanged. This uses the ambient block-diagonal action $\mathbb{R}^4$51 preserving tangent and normal limit planes at the end (Xie et al., 2012).

The case-by-case consequences are decisive. In Case 1 on the square torus, $\mathbb{R}^4$52 symmetry forces $\mathbb{R}^4$53 at the center of the fundamental square, so $\mathbb{R}^4$54 has a double zero at $\mathbb{R}^4$55, and the earlier uniqueness proposition applies; the surface must be a Lorentz deformation of the classical Chen–Gackstatter surface. In Case 1 on the equilateral torus, a $\mathbb{R}^4$56 symmetry would force $\mathbb{R}^4$57 and $\mathbb{R}^4$58, contradicting regularity because $\mathbb{R}^4$59 and $\mathbb{R}^4$60 would then have common zeros or poles. In Case 2 on the square torus, there are no solutions. In Case 2 on the equilateral torus, $\mathbb{R}^4$61 symmetry forces the zeros and poles to be located at triangle centers so that $\mathbb{R}^4$62 is constant; by the converse Lorentz-deformation theorem this would come from a genus-one minimal torus in $\mathbb{R}^4$63 with one end on the equilateral torus, excluded by López’s uniqueness and classification as quoted in the source (Xie et al., 2012).

The combined effect is a rigidity principle for highly symmetric examples: symmetry larger than order $\mathbb{R}^4$64 forces the Minkowski-space theory back to the square-torus Lorentz deformations of the classical $\mathbb{R}^4$65 object. This suggests that the broader $\mathbb{R}^4$66-parameter family exists in a substantially less symmetric regime.

6. Embeddedness, self-intersections, and multiplicity issues

Embeddedness is among the most delicate points in the Chen–Gackstatter theory. In the classical $\mathbb{R}^4$67 case, the Enneper-type end of multiplicity $\mathbb{R}^4$68 forces non-embeddedness, and the surface has two isolated self-intersection points (Xie et al., 2012). In $\mathbb{R}^4$69, the situation changes locally but not completely globally.

For the explicit Lorentz-deformed family in $\mathbb{R}^4$70, the end becomes embedded near infinity, which the source describes as the Lorentz deformation “untangling” the Enneper end, but the surface still self-intersects at the two points inherited from the classical example (Xie et al., 2012). For the larger $\mathbb{R}^4$71-parameter family of Case 1, the embeddedness problem remains open (Xie et al., 2012).

Case 2 admits a definitive obstruction. If a complete regular algebraic stationary surface

$\mathbb{R}^4$72

with total curvature $\mathbb{R}^4$73 has Gauss maps of order $\mathbb{R}^4$74 at the end, then it is not embedded (Xie et al., 2012). The proof uses the involution

$\mathbb{R}^4$75

on the elliptic curve, which satisfies

$\mathbb{R}^4$76

Hence $\mathbb{R}^4$77 is centrally symmetric with center at $\mathbb{R}^4$78. The three Weierstrass points $\mathbb{R}^4$79 are fixed by $\mathbb{R}^4$80, and their images coincide at the symmetry center, producing a triple point (Xie et al., 2012).

The paper further notes a sharp contrast with the Euclidean $\mathbb{R}^4$81 monotonicity framework. In $\mathbb{R}^4$82, a multiplicity inequality derived from the monotonicity formula bounds point multiplicity by the sum of end multiplicities and excludes triple points in the genus-one, one-end class. In $\mathbb{R}^4$83, because the metric is indefinite, no direct analogue is available. The authors therefore formulate a conjectural multiplicity inequality: if a complete algebraic stationary surface has multiplicity $\mathbb{R}^4$84 at a point and regular ends of multiplicities $\mathbb{R}^4$85, then

$\mathbb{R}^4$86

This remains conjectural in the cited work (Xie et al., 2012).

A comparison given in the same source underscores that the embeddedness obstruction is specific to the Lorentzian stationary setting rather than to genus one or one-endedness alone. In Euclidean $\mathbb{R}^4$87, embedded minimal tori with one end and total curvature $\mathbb{R}^4$88 are readily available, for example

$\mathbb{R}^4$89

which are embedded with a unique end of multiplicity $\mathbb{R}^4$90 and curvature $\mathbb{R}^4$91 by Jorge–Meeks (Xie et al., 2012).

7. Euclidean $\mathbb{R}^4$92 generalizations and later developments

A recent Euclidean $\mathbb{R}^4$93 development reformulates the genus-one, one-end, total-curvature-$\mathbb{R}^4$94 problem in terms of minimal immersions

$\mathbb{R}^4$95

with holomorphic data satisfying

$\mathbb{R}^4$96

where the derivatives are meromorphic on the torus with a common pole at the puncture (Soret et al., 17 Jul 2025). In this framework, complete proper non-holomorphic minimal immersions of a punctured torus into $\mathbb{R}^4$97 with one end and total curvature $\mathbb{R}^4$98 are sought through a system of $\mathbb{R}^4$99 quadratic or linear equations in $-\int K\,dM=8\pi$00 real variables (Soret et al., 17 Jul 2025).

For genus-one one-end examples, the Euclidean theory uses two holomorphic Gauss maps $-\int K\,dM=8\pi$01 with degrees $-\int K\,dM=8\pi$02. The total curvature and normal curvature satisfy

$-\int K\,dM=8\pi$03

In the examples constructed in that paper, total curvature $-\int K\,dM=8\pi$04 implies $-\int K\,dM=8\pi$05, and the surfaces are not complex for any isometric complex structure on $-\int K\,dM=8\pi$06, so both degrees are positive; in fact,

$-\int K\,dM=8\pi$07

(Soret et al., 17 Jul 2025).

The square torus case is completely solved there. Let $-\int K\,dM=8\pi$08 be the Weierstrass function on $-\int K\,dM=8\pi$09 and let

$-\int K\,dM=8\pi$10

For each $-\int K\,dM=8\pi$11, the map

$-\int K\,dM=8\pi$12

is minimal and proper, has one end of order $-\int K\,dM=8\pi$13, and total curvature $-\int K\,dM=8\pi$14 (Soret et al., 17 Jul 2025). It specializes to the classical Chen–Gackstatter torus precisely when $-\int K\,dM=8\pi$15, in which case the image lies in a $-\int K\,dM=8\pi$16-dimensional Euclidean subspace (Soret et al., 17 Jul 2025). The same source states that these are the only non-holomorphic proper minimal immersions of the square torus with one end and total curvature $-\int K\,dM=8\pi$17.

That Euclidean $-\int K\,dM=8\pi$18 family is described as generalizing the Chen–Gackstatter torus in $-\int K\,dM=8\pi$19, and the comparison with the Lorentzian theory is instructive. In $-\int K\,dM=8\pi$20, the explicit deformations preserve the $-\int K\,dM=8\pi$21 symmetry and retain two self-intersection points while locally embedding the end (Xie et al., 2012). In Euclidean $-\int K\,dM=8\pi$22, the square-torus family also recovers the classical $-\int K\,dM=8\pi$23 torus when restricted to $-\int K\,dM=8\pi$24, but for $-\int K\,dM=8\pi$25 the immersion is genuinely $-\int K\,dM=8\pi$26-dimensional (Soret et al., 17 Jul 2025). A plausible implication is that the Chen–Gackstatter configuration acts as a common organizing center for several adjacent moduli problems: minimal surfaces in $-\int K\,dM=8\pi$27, stationary surfaces in $-\int K\,dM=8\pi$28, and minimal surfaces in $-\int K\,dM=8\pi$29.

The Euclidean $-\int K\,dM=8\pi$30 paper also introduces braid, link, and writhe at infinity to analyze embeddedness. For the $-\int K\,dM=8\pi$31-dimensional Chen–Gackstatter family on the square torus, if $-\int K\,dM=8\pi$32, the end is asymptotic after coordinate change to

$-\int K\,dM=8\pi$33

the knot at infinity is a $-\int K\,dM=8\pi$34-torus knot, and the braid at infinity has writhe $-\int K\,dM=8\pi$35. Since

$-\int K\,dM=8\pi$36

the surfaces are not embedded; if only transverse double points occur then their algebraic count is $-\int K\,dM=8\pi$37 (Soret et al., 17 Jul 2025). This resonates with the non-embeddedness results and open embeddedness questions already present in the Lorentzian theory.

Taken together, the cited works place the Chen–Gackstatter torus at the center of a broad genus-one finite-total-curvature classification program. The classical square-torus example in $-\int K\,dM=8\pi$38 supplies the prototype. In $-\int K\,dM=8\pi$39, it generates a real $-\int K\,dM=8\pi$40-parameter explicit Lorentz family and a local real $-\int K\,dM=8\pi$41-parameter deformation family, while large symmetry forces uniqueness back to that explicit model (Xie et al., 2012). In Euclidean $-\int K\,dM=8\pi$42, it gives rise to a unique square-torus family of non-holomorphic proper minimal immersions and to further rectangular-torus constructions, while embeddedness remains governed by new invariants at infinity (Soret et al., 17 Jul 2025).