Maximal Translation Surfaces in Lorentz–Minkowski

• Maximal surfaces of translation type are zero-mean-curvature surfaces in Lorentz–Minkowski space, defined by the sum of two spatial curves or graph functions.
• They are classified based on the causal properties and curvature of generating curves, leading to distinct families like Scherk-type, helicoidal, and pseudo-null examples.
• Rigidity results, including those from linear Weingarten constraints, ensure that no nontrivial mixed curvature cases arise, reinforcing a limited, explicit structure.

Searching arXiv for recent and foundational papers on maximal translation surfaces, Lorentz–Minkowski classification, and finite decomposition results. arXiv search query: "maximal translation surfaces Lorentz-Minkowski space" Maximal surfaces of translation type are zero-mean-curvature translation surfaces in Lorentz–Minkowski $3$-space, usually denoted $\mathbb{R}^3_1$ or $\mathbb{L}^3$, with ambient metric $dx^2+dy^2-dz^2$. In current usage, the subject has two closely related formulations. One treats a translation surface as the sum of two spatial curves,

$X(s,t)=\alpha(s)+\beta(t),$

and analyzes the resulting zero-mean-curvature condition intrinsically in Lorentzian surface theory. The other studies local graphical representatives of translation type, especially spacelike graphs of the form $z=f(x)+g(y)$, within the broader class of maximal graphs. Together these viewpoints yield a rigid picture: planes, Scherk-type families, helicoidal self-sum surfaces, and pseudo-null-generated examples form the principal families currently identified in Lorentz–Minkowski space, while mixed linear Weingarten constraints do not produce additional translation-type maximal surfaces (López, 18 Jul 2025, Bueno et al., 2014).

1. Lorentz–Minkowski framework and the meaning of translation type

The ambient space for the standard theory is Lorentz–Minkowski $3$-space

$$\mathbb{R}^3_1=(\mathbb{R}^3,\langle\cdot,\cdot\rangle),\qquad \langle dx,dx\rangle=dx^2+dy^2-dz^2.$$

A vector is spacelike if $\langle v,v\rangle>0$, timelike if $\langle v,v\rangle<0$, and lightlike if $\mathbb{R}^3_1$0. A surface is spacelike when its induced metric is Riemannian. For spacelike surfaces one can choose a globally defined timelike unit normal $\mathbb{R}^3_1$1, and the mean curvature is

$\mathbb{R}^3_1$2

A maximal surface is a spacelike surface with

$\mathbb{R}^3_1$3

The same zero-mean-curvature condition is also used in the cited classification when computations extend into timelike regions (López, 18 Jul 2025).

A translation surface is defined there as a surface given by the sum of two curves,

$\mathbb{R}^3_1$4

where $\mathbb{R}^3_1$5 are spatial curves in $\mathbb{R}^3_1$6. This notion is affine rather than metric, and regularity is equivalent to

$\mathbb{R}^3_1$7

(López, 18 Jul 2025).

In the local graphical formulation, a translation surface in $\mathbb{R}^3_1$8 is again a local graph of a sum of two one-variable functions, but the allowed coordinate plane depends on causal type. If the surface is spacelike, then locally

$\mathbb{R}^3_1$9

If the surface is timelike, then locally either

$\mathbb{L}^3$0

This graph property is local and not metric-dependent, although the admissible coordinate choices are metric-sensitive (Bueno et al., 2014).

2. Maximality equations and the translation ansatz

For a graphical surface $\mathbb{L}^3$1 in $\mathbb{L}^3$2, maximality is equivalent to the zero mean curvature equation

$\mathbb{L}^3$3

This is the Lorentzian analogue of the minimal-surface equation for Euclidean graphs and is the fundamental PDE for local maximal graphs (Dey et al., 2020).

For translation surfaces written as

$\mathbb{L}^3$4

the mean curvature equation admits a particularly simple reduction. Since $\mathbb{L}^3$5, the zero-mean-curvature condition becomes

$\mathbb{L}^3$6

This scalar relation is the basic structural equation in the recent Lorentzian classification. It separates the geometry into cases according to the causal and Frenet-theoretic types of the generating curves (López, 18 Jul 2025).

The graphical and curve-sum formulations are complementary rather than identical in emphasis. The graph ansatz $\mathbb{L}^3$7 isolates spacelike translation graphs and is especially effective in curvature computations for Weingarten-type problems. The curve-sum ansatz $\mathbb{L}^3$8 is broader and supports a classification by the geometry of the generators: planar curves, Frenet-type curves, circular helices, and pseudo-null curves (Bueno et al., 2014, López, 18 Jul 2025).

3. Rigidity under linear Weingarten constraints

A major rigidity result for translation surfaces states that a non-degenerate translation surface in $\mathbb{L}^3$9 satisfying a linear Weingarten relation

$dx^2+dy^2-dz^2$0

must satisfy

$dx^2+dy^2-dz^2$1

Accordingly, a Lorentzian translation surface with a linear Weingarten relation has either constant mean curvature or constant Gauss curvature; there is no genuinely mixed $dx^2+dy^2-dz^2$2-$dx^2+dy^2-dz^2$3 relation in the translation category (Bueno et al., 2014).

This has an immediate consequence for maximal surfaces of translation type. Since maximality means $dx^2+dy^2-dz^2$4, maximal translation surfaces belong to the constant-mean-curvature branch, not to a broader mixed linear Weingarten family. The theorem therefore excludes any nontrivial linear coupling of $dx^2+dy^2-dz^2$5 and $dx^2+dy^2-dz^2$6 as a source of new maximal translation surfaces.

The same paper emphasizes the classification input used in this rigidity statement: translation surfaces in $dx^2+dy^2-dz^2$7 with constant mean curvature or constant Gauss curvature are a plane, a Scherk-type minimal surface, or a generalized cylinder. Within the maximal subclass, the relevance is not that every maximal translation surface is exhausted by the older graphical list, but rather that no extra translation-type examples arise from a linear Weingarten condition with $dx^2+dy^2-dz^2$8. A plausible implication is that the later, more geometric classification of curve-sum translation surfaces should be read as a refinement of the zero-mean-curvature problem rather than as a contradiction to the earlier rigidity theorem.

4. Classification in Lorentz–Minkowski space

The recent classification organizes maximal translation surfaces by the geometry of the generating curves and establishes a strong propagation-of-planarity principle: if one generating curve is planar, then the other generating curve is also planar. Since pseudo-null curves are contained in lightlike planes, this theorem also settles the pseudo-null case structurally (López, 18 Jul 2025).

A curve of Frenet type is a spacelike curve whose second derivative is spacelike or timelike, with Frenet equations

$dx^2+dy^2-dz^2$9

A pseudo-null curve is one for which the second derivative is lightlike, with Frenet frame

$X(s,t)=\alpha(s)+\beta(t),$0

When $X(s,t)=\alpha(s)+\beta(t),$1 is constant, a pseudo-null curve has the explicit form

$X(s,t)=\alpha(s)+\beta(t),$2

where $X(s,t)=\alpha(s)+\beta(t),$3 is lightlike and $X(s,t)=\alpha(s)+\beta(t),$4 is spacelike, orthogonal to $X(s,t)=\alpha(s)+\beta(t),$5 (López, 18 Jul 2025).

If one generator is pseudo-null and the other is of Frenet type, the classification produces explicit planar families after rigid motion. For instance, when $X(s,t)=\alpha(s)+\beta(t),$6 is spacelike and $X(s,t)=\alpha(s)+\beta(t),$7 is pseudo-null, either the surface is a plane or

$X(s,t)=\alpha(s)+\beta(t),$8

with

$X(s,t)=\alpha(s)+\beta(t),$9

$z=f(x)+g(y)$0

where $z=f(x)+g(y)$1, $z=f(x)+g(y)$2. When $z=f(x)+g(y)$3 is timelike and $z=f(x)+g(y)$4 is pseudo-null, two further families arise: $z=f(x)+g(y)$5 or

$z=f(x)+g(y)$6

$z=f(x)+g(y)$7

These are explicitly described as genuinely Lorentzian phenomena with no Euclidean analogues (López, 18 Jul 2025).

When both generating curves are pseudo-null, the surface is either a plane, the special symmetric surface $z=f(x)+g(y)$8, which is maximal for any pseudo-null curve $z=f(x)+g(y)$9, or, after a rigid motion,

$3$0

$3$1

where

$3$2

Two explicit examples are

$3$3

and

$3$4

The cited paper stresses that these have no Euclidean counterparts because pseudo-null curves do not exist in Euclidean space (López, 18 Jul 2025).

For nonplanar Frenet generators, the classification derives strong necessary conditions. If both generating curves are of Frenet type and nonplanar, then

$3$5

where

$3$6

Circular helices form a particularly rigid subcase: if $3$7 is a circular spacelike helix, then

$3$8

has zero mean curvature, and if one generating curve of a maximal translation surface is a circular helix, then the other one is congruent to it by a translation (López, 18 Jul 2025).

The planar Frenet case yields the Lorentzian Scherk-type families. If both generating curves are spacelike Frenet curves, then the maximal translation surface is either a plane or, up to a rigid motion, one of the following parametrized surfaces:

Generating-curve regime	Outcome	Model
Both planar spacelike Frenet curves	Plane or Scherk-type family	$3$9
Both planar spacelike Frenet curves	Plane or Scherk-type family	$$\mathbb{R}^3_1=(\mathbb{R}^3,\langle\cdot,\cdot\rangle),\qquad \langle dx,dx\rangle=dx^2+dy^2-dz^2.$$0
Both planar spacelike Frenet curves	Plane or Scherk-type family	$$\mathbb{R}^3_1=(\mathbb{R}^3,\langle\cdot,\cdot\rangle),\qquad \langle dx,dx\rangle=dx^2+dy^2-dz^2.$$1

Here $$\mathbb{R}^3_1=(\mathbb{R}^3,\langle\cdot,\cdot\rangle),\qquad \langle dx,dx\rangle=dx^2+dy^2-dz^2.$$2 and $$\mathbb{R}^3_1=(\mathbb{R}^3,\langle\cdot,\cdot\rangle),\qquad \langle dx,dx\rangle=dx^2+dy^2-dz^2.$$3. The special cases $$\mathbb{R}^3_1=(\mathbb{R}^3,\langle\cdot,\cdot\rangle),\qquad \langle dx,dx\rangle=dx^2+dy^2-dz^2.$$4 recover Lorentzian analogues of classical Scherk expressions such as

$$\mathbb{R}^3_1=(\mathbb{R}^3,\langle\cdot,\cdot\rangle),\qquad \langle dx,dx\rangle=dx^2+dy^2-dz^2.$$5

and

$$\mathbb{R}^3_1=(\mathbb{R}^3,\langle\cdot,\cdot\rangle),\qquad \langle dx,dx\rangle=dx^2+dy^2-dz^2.$$6

(López, 18 Jul 2025).

5. Finite decomposition and translation-type identities

A separate structural development shows that local maximal graphs admit finite translation/scaling decompositions at the level of height functions. In $$\mathbb{R}^3_1=(\mathbb{R}^3,\langle\cdot,\cdot\rangle),\qquad \langle dx,dx\rangle=dx^2+dy^2-dz^2.$$7 with metric

$$\mathbb{R}^3_1=(\mathbb{R}^3,\langle\cdot,\cdot\rangle),\qquad \langle dx,dx\rangle=dx^2+dy^2-dz^2.$$8

the Lorentzian Weierstrass–Enneper representation for a maximal surface is

$$\mathbb{R}^3_1=(\mathbb{R}^3,\langle\cdot,\cdot\rangle),\qquad \langle dx,dx\rangle=dx^2+dy^2-dz^2.$$9

where $\langle v,v\rangle>0$0 is holomorphic, $\langle v,v\rangle>0$1 is meromorphic, and $\langle v,v\rangle>0$2 is holomorphic. Once $\langle v,v\rangle>0$3 can be inverted locally as functions of $\langle v,v\rangle>0$4, one obtains a local height function $\langle v,v\rangle>0$5 (Dey et al., 2020).

The decomposition theorem states that if $\langle v,v\rangle>0$6 is invertible, then there exist invertible maps

$\langle v,v\rangle>0$7

such that for any sequence $\langle v,v\rangle>0$8 of nonzero real numbers and $\langle v,v\rangle>0$9,

$\langle v,v\rangle<0$0

where

$\langle v,v\rangle<0$1

and $\langle v,v\rangle<0$2 is again a maximal surface with

$\langle v,v\rangle<0$3

Conceptually, each summand is obtained by affine rescaling and translation in $\langle v,v\rangle<0$4 together with an overall height scaling, and the decomposition is not unique (Dey et al., 2020).

The paper gives an explicit maximal-surface example by complexifying Scherk’s second minimal surface. Starting from

$\langle v,v\rangle<0$5

the substitution $\langle v,v\rangle<0$6 yields the complex maximal surface

$\langle v,v\rangle<0$7

with $\langle v,v\rangle<0$8 allowed to be complex. For this surface,

$\langle v,v\rangle<0$9

where

$\mathbb{R}^3_1$00

This identity exhibits translation-type splitting in a concrete maximal-surface model and illustrates the broader principle that maximal height functions can decompose into finite sums of translated and scaled copies of the same form (Dey et al., 2020).

6. Terminological distinctions and related ambient geometries

The expression “translation surface” is not uniform across geometry, and confusion is common. In Teichmüller dynamics and flat-surface theory, a translation surface $\mathbb{R}^3_1$01 is a compact Riemann surface $\mathbb{R}^3_1$02 together with a nonzero holomorphic $\mathbb{R}^3_1$03-form $\mathbb{R}^3_1$04. Away from the zeros of $\mathbb{R}^3_1$05, local charts are given by

$\mathbb{R}^3_1$06

and transition maps are translations $\mathbb{R}^3_1$07. This equips $\mathbb{R}^3_1$08 with a singular Euclidean metric. That usage is distinct from the Lorentzian surface-theoretic meaning in which a translation surface is a sum of curves or a graph $\mathbb{R}^3_1$09 (Shinomiya, 2020).

Related notions also appear in non-Euclidean ambient geometries other than $\mathbb{R}^3_1$10. In Galilean $\mathbb{R}^3_1$11-space $\mathbb{R}^3_1$12, a translation surface is locally

$\mathbb{R}^3_1$13

and the paper on constant-curvature translation surfaces states that its “maximal” surfaces correspond exactly to minimal surfaces in that setting, namely those with

$\mathbb{R}^3_1$14

The resulting classification is strongly type-dependent: for types $\mathbb{R}^3_1$15–$\mathbb{R}^3_1$16, $\mathbb{R}^3_1$17 yields an isotropic plane, a generalized cylinder with isotropic rulings, or a non-cylindrical ruled surface of type $\mathbb{R}^3_1$18 whose base curve is a parabolic circle; type $\mathbb{R}^3_1$19 admits $\mathbb{R}^3_1$20 only in the generalized-cylinder case with isotropic rulings; type $\mathbb{R}^3_1$21 admits no minimal translation surface; and type $\mathbb{R}^3_1$22 remains open, with no maximal examples reported there (Ogrenmis et al., 2017).

These terminological and geometric distinctions matter because “translation type” is a formal construction principle rather than a single invariant geometric class across all categories. In Lorentz–Minkowski geometry, maximal surfaces of translation type are specifically the zero-mean-curvature representatives within that construction, and current results show that their structure is both rigid and distinctly Lorentzian: planarity propagates, Scherk-type families survive in generalized form, circular-helix self-sums furnish nonplanar examples, and pseudo-null generators create phenomena unavailable in Euclidean space (López, 18 Jul 2025).