Canonical Weierstrass Representations for Maximal Space-like Surfaces in $\RR^4_2$

Georgi Ganchev; Krasimir Kanchev

arxiv: 1906.09935 · v1 · pith:HSSGTG7Tnew · submitted 2019-06-24 · 🧮 math.DG

Canonical Weierstrass Representations for Maximal Space-like Surfaces in RR⁴₂

Georgi Ganchev , Krasimir Kanchev This is my paper

Pith reviewed 2026-05-25 17:06 UTC · model grok-4.3

classification 🧮 math.DG

keywords maximal space-like surfacesWeierstrass representationnatural PDE systemholomorphic functionspseudo-Euclidean spaceGauss curvaturenormal connectionMinkowski space

0 comments

The pith

Maximal space-like surfaces in neutral four-space are generated by pairs of holomorphic functions via canonical Weierstrass representations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper obtains a canonical Weierstrass representation for maximal space-like surfaces parametrized by canonical parameters in four-dimensional pseudo-Euclidean space with neutral metric. This representation uses two holomorphic functions in the Gauss plane to solve explicitly the system of natural PDEs that the Gauss curvature and the curvature of the normal connection must satisfy. A geometric correspondence is established among the surfaces of general type, the solutions to those PDEs, and the pairs of holomorphic functions. The authors also prove that every such surface in four dimensions generates two maximal space-like surfaces in three-dimensional Minkowski space and conversely.

Core claim

For any maximal space-like surface parametrized by canonical parameters a canonical Weierstrass representation is derived from two holomorphic functions in the Gauss plane. These formulas solve the system of natural PDE's explicitly. The relation between two pairs of holomorphic functions generating one and the same solution is found. A geometric correspondence is established between the maximal space-like surfaces of general type in R^4_2, the solutions to the system of natural PDE's and the pairs of holomorphic functions in the Gauss plane. Any maximal space-like surface in the four-dimensional pseudo-Euclidean space with neutral metric generates two maximal space-like surfaces in the 3D 3

What carries the argument

The canonical Weierstrass representation, which expresses the surface via two holomorphic functions in the Gauss plane that satisfy the natural PDE system for Gauss curvature and normal connection curvature.

If this is right

The system of natural PDE's admits explicit solutions in terms of arbitrary pairs of holomorphic functions.
Pairs of holomorphic functions related by a specific transformation generate identical solutions to the PDE system.
Maximal space-like surfaces of general type stand in one-to-one correspondence with solutions of the natural PDE system and with pairs of holomorphic functions.
Every maximal space-like surface in R^4_2 corresponds to a pair of maximal space-like surfaces in three-dimensional Minkowski space.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The explicit holomorphic parametrization makes it possible to produce concrete families of surfaces by direct choice of holomorphic data.
The local correspondence between surfaces, PDE solutions and holomorphic pairs may extend to global or complete surfaces when the data admit suitable continuation.
The two-way generation between four-dimensional and three-dimensional surfaces supplies a reduction that converts questions about one setting into questions about the other.

Load-bearing premise

Any maximal space-like surface without isotropic points admits locally geometric parameters that are a special case of isothermal parameters.

What would settle it

A maximal space-like surface without isotropic points whose curvatures under canonical parametrization fail to arise from any pair of holomorphic functions via the canonical Weierstrass formulas.

Figures

Figures reproduced from arXiv: 1906.09935 by Georgi Ganchev, Krasimir Kanchev.

**Figure 1.** Figure 1: Natural correspondence between the sets of basic objects a map from the set of equivalence classes of pairs of holomorphic functions in the Gauss plane into the set of classes of maximal space-like surfaces of general type in R 4 2 , which is a bijection. Finally, using Theorem 11.4 and Theorem 11.5 we obtain a map from the set of equivalence classes of pairs of holomorphic functions in the Gauss plane int… view at source ↗

**Figure 2.** Figure 2: Commutative diagram of bijections Let M be a maximal space-like surface of general type in R 4 2 , parametrized by canonical coordinates. Associate to M its Gauss curvature K and the curvature of the normal connection κ. It follows from Theorem 7.3 that this correspondence induces a map from MSR4 2 into SNER4 2 . What is more, Theorem 7.3 and Theorem 7.5 imply that this map is a bijection. Let (g1, g2) be … view at source ↗

**Figure 3.** Figure 3: Commutative diagram of bijections Finally we consider the set of holomorphic functions of the type (D, g), where the domain D of the function g is a neighborhood of zero in R 2 ≡ C, and the holomorphic function g satisfies the conditions g ′ 6= 0 and |g| 6= 1. Two functions (D, g) and (Dˆ, gˆ) are said to be equivalent, if there exists a neighborhood of zero D0 ⊂ D ∩ Dˆ, such that both functions are relate… view at source ↗

read the original abstract

It is known that any maximal space-like surface without isotropic points in the four-dimensional pseudo-Euclidean space with neutral metric admits locally geometric parameters which are special case of isothermal parameters. With respect to such parameters the surface is determined uniquely up to a motion by the Gauss curvature and the curvature of the normal connection, which satisfy a system of two PDE's (the system of natural PDE's). For any maximal space-like surface parametrized by canonical parameters we obtain a special Weierstrass representation -- canonical Weierstrass representation. These Weierstrass formulas allow us to solve explicitly the system of natural PDE's by virtue of two holomorphic functions in the Gauss plane. We find the relation between two pairs of holomorphic functions generating one and the same solution to the system of natural PDE's. We establish a geometric correspondence between the maximal space-like surfaces of general type in $\RR^4_2$, the solutions to the system of natural PDE's and the pairs of holomorphic functions in the Gauss plane. We prove that any maximal space-like surface in the four-dimensional pseudo-Euclidean space with neutral metric generates two maximal space-like surfaces in the three-dimensional Minkowski space and vice versa.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives explicit Weierstrass formulas that solve the natural PDE system for these surfaces from two holomorphic functions and links them to pairs of 3D Minkowski surfaces, but the construction rests on a parametrization result presented as already known.

read the letter

The new piece is the canonical Weierstrass representation itself. Once a maximal spacelike surface without isotropic points is written in the special isothermal coordinates, the representation expresses the immersion directly in terms of two holomorphic functions on the Gauss plane and solves the two natural PDEs for the curvatures explicitly. The paper also records how different pairs of holomorphic functions can generate the same solution and shows that each such surface in neutral 4-space produces (and comes from) a pair of maximal surfaces in 3D Minkowski space. That geometric correspondence is concrete and may be the part most readers will actually use when they want examples or a construction method. The derivations appear to follow the usual Weierstrass pattern adapted to the neutral metric, with no internal contradictions visible from the text. Credit is due for turning the PDE system into something that can be integrated by holomorphic data rather than left as an abstract existence statement. The main soft spot is the opening premise. The abstract states that any such surface admits locally these canonical parameters and is uniquely determined up to rigid motion by the two curvatures satisfying the natural PDEs, calling the fact known. No derivation or citation appears in the supplied text, so the later representation formulas inherit whatever gaps exist in that background result. If the full manuscript supplies a reference or a short self-contained argument for the parametrization step, the concern is minor; otherwise it is a presentational weakness that makes the novelty conditional. The work is aimed at people already working on maximal surfaces in pseudo-Euclidean 4-space and who know the isothermal-parameter literature. A reader outside that narrow circle will find the notation and the unexpanded background hard to follow. It is the sort of explicit-construction paper that deserves a serious referee who can check the holomorphic integration steps and the 3D correspondence against the existing literature, even if the foundational parametrization claim needs a clearer pointer.

Referee Report

1 major / 0 minor

Summary. The paper claims that any maximal space-like surface without isotropic points in R^4_2 admits locally canonical parameters (a special case of isothermal parameters) with respect to which the surface is uniquely determined up to rigid motion by its Gauss curvature K and the curvature κ of the normal connection, where (K, κ) satisfy a system of two natural PDEs. For surfaces parametrized by these canonical parameters, the authors derive a canonical Weierstrass representation expressed via two holomorphic functions on the Gauss plane; these formulas are asserted to solve the natural PDE system explicitly. The paper further relates distinct pairs of holomorphic functions that generate the same solution, establishes a geometric correspondence among the surfaces of general type, the PDE solutions, and the holomorphic pairs, and proves that every such surface in R^4_2 induces (and is induced by) a pair of maximal space-like surfaces in 3-dimensional Minkowski space.

Significance. If the existence and uniqueness properties of the canonical parameters are rigorously established, the explicit holomorphic representation would furnish a concrete method for constructing and classifying maximal surfaces in neutral 4-space by means of two holomorphic functions, extending classical Weierstrass-type results to this setting and providing a bridge to the 3-dimensional Minkowski case. Such a correspondence could be useful for generating examples and studying the geometry of maximal surfaces via holomorphic data.

major comments (1)

[Abstract] Abstract (opening paragraph): The foundational premise that 'It is known that any maximal space-like surface without isotropic points... admits locally geometric parameters which are special case of isothermal parameters' and that the surface 'is determined uniquely up to a motion by the Gauss curvature and the curvature of the normal connection, which satisfy a system of two PDE's' is stated without citation, derivation, or reference to prior literature. All subsequent claims—the canonical Weierstrass representation, the explicit solution of the natural PDEs, the relation between holomorphic pairs, and the geometric correspondences—rest directly on this parametrization existing and possessing the stated uniqueness property. Without substantiation of this premise, the central results lack a verified foundation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for identifying this foundational issue in the abstract. We respond to the major comment below.

read point-by-point responses

Referee: [Abstract] Abstract (opening paragraph): The foundational premise that 'It is known that any maximal space-like surface without isotropic points... admits locally geometric parameters which are special case of isothermal parameters' and that the surface 'is determined uniquely up to a motion by the Gauss curvature and the curvature of the normal connection, which satisfy a system of two PDE's' is stated without citation, derivation, or reference to prior literature. All subsequent claims—the canonical Weierstrass representation, the explicit solution of the natural PDEs, the relation between holomorphic pairs, and the geometric correspondences—rest directly on this parametrization existing and possessing the stated uniqueness property. Without substantiation of this premise, the central results lack a verified foundation.

Authors: We agree that the abstract asserts the existence and uniqueness of canonical parameters without a supporting reference or derivation, and that this premise underpins all subsequent claims. The property follows from reducing the Gauss-Codazzi-Ricci equations for maximal surfaces in R^4_2 to the natural PDE system under the assumption of geometric (canonical) parameters; this reduction is standard in the literature on maximal surfaces in pseudo-Euclidean 4-space. In the revised version we will insert a citation to the relevant prior work establishing the parametrization and add a concise derivation or outline of the uniqueness argument in the introduction, thereby providing the required foundation. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation builds on externally stated premise

full rationale

The paper opens by stating the existence of canonical parameters and the uniqueness property via curvatures satisfying the natural PDEs as a known fact ('It is known that any maximal space-like surface without isotropic points... admits locally geometric parameters... the surface is determined uniquely up to a motion by the Gauss curvature and the curvature of the normal connection, which satisfy a system of two PDE's'). It then derives the canonical Weierstrass representation, explicit solution via holomorphic functions, and geometric correspondence from this premise. No self-citations, self-definitional reductions, fitted inputs renamed as predictions, or ansatz smuggling are present in the abstract or described claims. The central results do not reduce to their inputs by construction and rest on an independent external benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract alone supplies no concrete free parameters, axioms, or invented entities; full text needed to audit.

pith-pipeline@v0.9.0 · 5747 in / 1047 out tokens · 26481 ms · 2026-05-25T17:06:09.803712+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking contradicts

?

contradicts
CONTRADICTS: the theorem conflicts with this paper passage, or marks a claim that would need revision before publication.

It is known that any maximal space-like surface without isotropic points in the four-dimensional pseudo-Euclidean space with neutral metric admits locally geometric parameters... system of natural PDE's.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

canonical Weierstrass representation... two holomorphic functions in the Gauss plane... geometric correspondence between... surfaces... solutions... pairs of holomorphic functions

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages · 3 internal anchors

[1]

Kanchev (2014) Explicit solving of the system of natural PDE's of minimal surfaces in the four-dimensional Euclidean space, C

Ganchev G., K. Kanchev (2014) Explicit solving of the system of natural PDE's of minimal surfaces in the four-dimensional Euclidean space, C. R. Acad. Bulg. Sci, 67(5), 623-628\,

work page 2014
[2]

Kanchev (2017) Explicit solving of the system of natural PDE's of minimal space-like surfaces in Minkowski space-time

Ganchev G., K. Kanchev (2017) Explicit solving of the system of natural PDE's of minimal space-like surfaces in Minkowski space-time. C. R. Acad. Bulg. Sci., 70(6), 761-768\,

work page 2017
[3]

Kanchev (2019) Relation between the maximal space-like surfaces in ^4_2 and the maximal space-like surfaces in ^3_1 , C

Ganchev G., K. Kanchev (2019) Relation between the maximal space-like surfaces in ^4_2 and the maximal space-like surfaces in ^3_1 , C. R. Acad. Bulg. Sci, 72(6), 711-719\,

work page 2019
[4]

Canonical Weierstrass representations for minimal surfaces in Euclidean 4-space

Ganchev G., K. Kanchev (2016) Canonical Weierstrass representations for minimal surfaces in Euclidean 4-space, arXiv:1609.01606\,

work page internal anchor Pith review Pith/arXiv arXiv 2016
[5]

Canonical Weierstrass representations for minimal space-like surfaces in $\RR^4_1$

Ganchev G., K. Kanchev (2016) Canonical Weierstrass representations for minimal space-like surfaces in ^4_1 , arXiv:1612.05504\,

work page internal anchor Pith review Pith/arXiv arXiv 2016
[6]

Canonical Weierstrass Representation of Minimal and Maximal Surfaces in the Three-dimensional Minkowski Space

Ganchev G. (2008) Canonical Weierstrass Representation of Minimal and Maximal Surfaces in the Three-dimensional Minkowski Space, arXiv:0802.2632\,

work page internal anchor Pith review Pith/arXiv arXiv 2008
[7]

(2002) Spacelike Maximal Surfaces in 4-dimensional Space Forms of Index 2, Tokyo J

Sakaki M. (2002) Spacelike Maximal Surfaces in 4-dimensional Space Forms of Index 2, Tokyo J. Math., 25(2), 295-306\,

work page 2002
[8]

Kanchev, O

Ganchev G., K. Kanchev, O. Kassabov (2016) Transition to canonical principal parameters on maximal spacelike surfaces in Minkowsi space, Serdica Math. J. 42 (3-4) , 301-310\,

work page 2016

[1] [1]

Kanchev (2014) Explicit solving of the system of natural PDE's of minimal surfaces in the four-dimensional Euclidean space, C

Ganchev G., K. Kanchev (2014) Explicit solving of the system of natural PDE's of minimal surfaces in the four-dimensional Euclidean space, C. R. Acad. Bulg. Sci, 67(5), 623-628\,

work page 2014

[2] [2]

Kanchev (2017) Explicit solving of the system of natural PDE's of minimal space-like surfaces in Minkowski space-time

Ganchev G., K. Kanchev (2017) Explicit solving of the system of natural PDE's of minimal space-like surfaces in Minkowski space-time. C. R. Acad. Bulg. Sci., 70(6), 761-768\,

work page 2017

[3] [3]

Kanchev (2019) Relation between the maximal space-like surfaces in ^4_2 and the maximal space-like surfaces in ^3_1 , C

Ganchev G., K. Kanchev (2019) Relation between the maximal space-like surfaces in ^4_2 and the maximal space-like surfaces in ^3_1 , C. R. Acad. Bulg. Sci, 72(6), 711-719\,

work page 2019

[4] [4]

Canonical Weierstrass representations for minimal surfaces in Euclidean 4-space

Ganchev G., K. Kanchev (2016) Canonical Weierstrass representations for minimal surfaces in Euclidean 4-space, arXiv:1609.01606\,

work page internal anchor Pith review Pith/arXiv arXiv 2016

[5] [5]

Canonical Weierstrass representations for minimal space-like surfaces in $\RR^4_1$

Ganchev G., K. Kanchev (2016) Canonical Weierstrass representations for minimal space-like surfaces in ^4_1 , arXiv:1612.05504\,

work page internal anchor Pith review Pith/arXiv arXiv 2016

[6] [6]

Canonical Weierstrass Representation of Minimal and Maximal Surfaces in the Three-dimensional Minkowski Space

Ganchev G. (2008) Canonical Weierstrass Representation of Minimal and Maximal Surfaces in the Three-dimensional Minkowski Space, arXiv:0802.2632\,

work page internal anchor Pith review Pith/arXiv arXiv 2008

[7] [7]

(2002) Spacelike Maximal Surfaces in 4-dimensional Space Forms of Index 2, Tokyo J

Sakaki M. (2002) Spacelike Maximal Surfaces in 4-dimensional Space Forms of Index 2, Tokyo J. Math., 25(2), 295-306\,

work page 2002

[8] [8]

Kanchev, O

Ganchev G., K. Kanchev, O. Kassabov (2016) Transition to canonical principal parameters on maximal spacelike surfaces in Minkowsi space, Serdica Math. J. 42 (3-4) , 301-310\,

work page 2016