Affine Maxfaces: Singular Affine Maximal Maps

• Affine maxfaces are singular affine maximal maps in R³ defined by a conformal minimal immersion as the conormal map, merging affine differential geometry with Euclidean minimal surface theory.
• They utilize a Weierstrass-type representation to provide explicit analytic criteria for singularity classification and establish notions of completeness through minimal conormal data.
• Global properties such as finite total curvature and completeness are governed by Osserman-type inequalities, distinctly separating affine maxfaces from improper affine fronts.

Affine maxfaces are a special subclass of affine maximal maps with singularities in $\mathbb{R}^3$. They are defined by the requirement that the conormal map be a Euclidean conformal minimal immersion, so their structure is governed simultaneously by affine differential geometry and classical minimal surface theory. Within the global theory of affine maximal maps introduced to allow degeneration of the affine metric, affine maxfaces form a class sharply separated from improper affine fronts: both locally and, under completeness hypotheses, globally, the only common case is the elliptic paraboloid. Their theory combines a Weierstrass-type representation, front-type singularity criteria, completeness notions adapted to singular affine geometry, and an Osserman-type inequality derived from the minimal conormal map (Matsumoto, 14 Jul 2025).

1. Foundational definition and ambient setting

A locally strongly convex affine maximal immersion $\psi:\Sigma\to\mathbb{R}^3$ is a Blaschke immersion whose affine mean curvature vanishes. In the formulation used for affine maximal maps, this is recalled as the condition that the affine metric $h$ is positive definite and the affine mean curvature is zero, equivalently

$\Delta_h N=0,$

where $N$ is the conormal map. When $h$ degenerates, singularities appear; affine maximal maps were introduced precisely to include such singular behavior (Matsumoto, 14 Jul 2025).

An affine maximal map $\psi:\Sigma\to\mathbb{R}^3$ is defined by the existence of a holomorphic map $F:\widetilde{\Sigma}\to\mathbb{C}^3$ on the universal cover such that $F+\overline{F}$ is single-valued,

$\Re\left(i\int_c (F\times dF)\right)=0$

for every closed curve $\psi:\Sigma\to\mathbb{R}^3$0 in $\psi:\Sigma\to\mathbb{R}^3$1, and

$\psi:\Sigma\to\mathbb{R}^3$2

The map $\psi:\Sigma\to\mathbb{R}^3$3 is the Weierstrass data, the conormal map is

$\psi:\Sigma\to\mathbb{R}^3$4

and the affine metric is

$\psi:\Sigma\to\mathbb{R}^3$5

A singular point is exactly a point where the affine metric vanishes.

An affine maxface is an affine maximal map whose conormal map $\psi:\Sigma\to\mathbb{R}^3$6 is a Euclidean conformal minimal immersion in $\psi:\Sigma\to\mathbb{R}^3$7. The paper introducing the class calls $\psi:\Sigma\to\mathbb{R}^3$8 the minimal conormal map. This definition is the essential structural restriction distinguishing affine maxfaces from general affine maximal maps.

Class	Defining condition	Distinguished feature
Affine maximal map	Holomorphic $\psi:\Sigma\to\mathbb{R}^3$9 with the period condition and $h$0	Singularities occur where $h$1 vanishes
Affine maxface	Affine maximal map whose conormal map $h$2 is a Euclidean conformal minimal immersion	Uses Euclidean minimal surface theory
Improper affine front	Conormal map $h$3 has image contained in a plane	Only overlaps with affine maxfaces in the elliptic paraboloid case

A major structural theorem states that if $h$4 is simply connected and $h$5 is an affine maxface, then $h$6 is an improper affine front if and only if $h$7 is contained in an elliptic paraboloid. Thus the only local overlap between affine maxfaces and improper affine fronts is the trivial elliptic paraboloid case.

2. Weierstrass data and the minimal-conormal representation

Because the conormal map of an affine maxface is a conformal minimal immersion, it admits the classical Euclidean minimal-surface Weierstrass representation on a simply connected domain: $h$8 with $h$9 meromorphic and $\Delta_h N=0,$0 a holomorphic $\Delta_h N=0,$1-form. The corresponding holomorphic null curve is

$\Delta_h N=0,$2

The first fundamental form of the minimal conormal map is

$\Delta_h N=0,$3

The Euclidean unit normal of $\Delta_h N=0,$4 is

$\Delta_h N=0,$5

where $\Delta_h N=0,$6 is the stereographic projection. In these terms, the affine metric of the affine maxface is

$\Delta_h N=0,$7

This identity is central: it ties the singular affine geometry of $\Delta_h N=0,$8 to the Euclidean geometry of the minimal conormal map (Matsumoto, 14 Jul 2025).

The singular set is therefore characterized by

$\Delta_h N=0,$9

Equivalently, singular points are exactly those at which the Euclidean normal of the minimal conormal map becomes orthogonal to the conormal itself. The paper uses

$N$0

as the identifier of singularities, and writes the singular set as $N$1.

This representation has two immediate consequences. First, the intrinsic geometry of affine maxfaces is encoded by minimal-surface data $N$2. Second, global questions about completeness, total curvature, and end behavior can be transferred to the minimal conormal map, which is why Euclidean minimal surface theory plays a decisive role in the subject.

3. Singularities, fronts, and local classification

Affine maxfaces are treated as fronts at singular points. More precisely, for any singular point $N$3, if $N$4, then $N$5, and every affine maxface is a front at each singular point (Matsumoto, 14 Jul 2025). This front structure allows the use of singularity criteria of Kokubu–Rossman–Saji–Umehara–Yamada.

A singular point $N$6 is non-degenerate if and only if

$N$7

This criterion is explicit in terms of the minimal conormal data.

For cuspidal edges, the paper gives a criterion at a non-degenerate singular point. In the generic case $N$8, the condition is

$N$9

For swallowtails, the same expression must vanish while an additional derivative condition must hold. In the case $h$0, the conditions are

$h$1

and

$h$2

These formulas show that singularity classification for affine maxfaces is not merely qualitative. The local type is determined directly from the meromorphic Gauss map, the holomorphic $h$3-form, and the conormal components. This gives the theory an explicit analytic character parallel to, but distinct from, the singularity theory of Lorentzian maxfaces.

4. Completeness, finite total curvature, and global inequalities

The theory uses two notions of completeness. For an affine maximal map with affine metric $h$4, completeness in the Aledo–Martínez–Milan sense means that there exists a compactly supported symmetric $h$5-tensor $h$6 such that $h$7 is a complete Riemannian metric. For affine maxfaces there is also weak completeness, defined by completeness of

$h$8

A basic implication is

$h$9

but the converse fails in general (Matsumoto, 14 Jul 2025).

A decisive characterization states that an affine maxface is complete regular if and only if it is weakly complete, of finite total curvature, and has compact singular set. For a complete regular affine maxface, the minimal conormal map is a complete minimal immersion of finite total curvature, and the Weierstrass data $\psi:\Sigma\to\mathbb{R}^3$0 extend meromorphically to the ends. The total curvature is

$\psi:\Sigma\to\mathbb{R}^3$1

The main global inequality is an Osserman-type inequality. If

$\psi:\Sigma\to\mathbb{R}^3$2

is a complete regular affine maxface, then

$\psi:\Sigma\to\mathbb{R}^3$3

Since $\psi:\Sigma\to\mathbb{R}^3$4, this is equivalently

$\psi:\Sigma\to\mathbb{R}^3$5

Equality holds if and only if all ends are embedded. The same inequality also holds for weakly complete affine maxfaces of finite total curvature.

A further global rigidity result states that a complete affine maxface is an improper affine front if and only if it is the elliptic paraboloid. Moreover, any complete affine maxface with constant affine Gauss map is the elliptic paraboloid. This separates the class of affine maxfaces from the established theory of improper affine fronts at the level of complete surfaces as well as locally.

5. Canonical examples and what they show

The theory is illustrated by examples induced from classical Euclidean minimal surfaces (Matsumoto, 14 Jul 2025).

Example	Weierstrass data	Reported behavior
Elliptic paraboloid	$\psi:\Sigma\to\mathbb{R}^3$6	Trivial affine maxface; also the only improper affine front in the class
Enneper-type	$\psi:\Sigma\to\mathbb{R}^3$7	Weakly complete, total curvature $\psi:\Sigma\to\mathbb{R}^3$8, not complete
Catenoid-type	$\psi:\Sigma\to\mathbb{R}^3$9	Weakly complete, total curvature $F:\widetilde{\Sigma}\to\mathbb{C}^3$0, complete regular
Helicoid-type	$F:\widetilde{\Sigma}\to\mathbb{C}^3$1	Infinite total curvature, always incomplete
Minimal Möbius strip type	$F:\widetilde{\Sigma}\to\mathbb{C}^3$2	Weakly complete, incomplete, total curvature $F:\widetilde{\Sigma}\to\mathbb{C}^3$3

The elliptic paraboloid is the trivial affine maxface. It is also the only example that is simultaneously an improper affine front, which makes it the exceptional surface in all comparison theorems.

The Enneper-type affine maxface has minimal conormal map equal to the Euclidean Enneper surface. It is weakly complete and has total curvature $F:\widetilde{\Sigma}\to\mathbb{C}^3$4, but it is not complete because the singular set accumulates at the end $F:\widetilde{\Sigma}\to\mathbb{C}^3$5. For $F:\widetilde{\Sigma}\to\mathbb{C}^3$6, its singular set is

$F:\widetilde{\Sigma}\to\mathbb{C}^3$7

$F:\widetilde{\Sigma}\to\mathbb{C}^3$8 is the only degenerate singular point, and the remaining singular points are cuspidal edges. This example shows concretely that weak completeness does not imply completeness.

The catenoid-type affine maxface has Euclidean catenoid as minimal conormal map. It is well-defined under the period condition

$F:\widetilde{\Sigma}\to\mathbb{C}^3$9

It is weakly complete, has total curvature $F+\overline{F}$0, and has compact singular set, so it is complete regular. Its singularities are cone-like, its profile curve shows that it is a surface of revolution, and it belongs to the earlier $F+\overline{F}$1-type family of complete regular affine maximal maps.

The helicoid-type example is always well-defined, but it has infinite total curvature and is always incomplete; its singular set accumulates at the end $F+\overline{F}$2. The example induced from the minimal Möbius strip is well-defined and weakly complete but incomplete, with singular set accumulating at both ends. Its total curvature is $F+\overline{F}$3, even though the underlying minimal Möbius strip has total curvature $F+\overline{F}$4. The family derived from Miyaoka–Sato minimal surfaces,

$F+\overline{F}$5

produces affine maxfaces that are well-defined, weakly complete, and have total curvature $F+\overline{F}$6, yet are incomplete because the singular set accumulates at the end $F+\overline{F}$7. These families make clear that large classes of affine maxfaces arise from classical minimal surfaces, but completeness is delicate and strongly constrained by the global behavior of the singular set.

6. Relation to Lorentzian maxfaces and other affine-maximal theories

Affine maxfaces should be distinguished from the maxfaces studied in Lorentz–Minkowski $F+\overline{F}$8-space. In the Lorentzian theory, a maxface is a generalized maximal immersion in $F+\overline{F}$9 described by Weierstrass-type data $\Re\left(i\int_c (F\times dF)\right)=0$0 or $\Re\left(i\int_c (F\times dF)\right)=0$1, with singular set typically given by $\Re\left(i\int_c (F\times dF)\right)=0$2. This framework underlies genus-zero complete maximal maps and maxfaces with prescribed singularity sets and arbitrary numbers of ends (Kumar et al., 2023), higher-genus maxfaces with one Enneper end (Bardhan et al., 2023), and infinite-genus periodic families with infinitely many planar ends and swallowtails (Dhochak, 19 Apr 2026). The 2026 infinite-genus paper explicitly states that it does not discuss affine maxfaces explicitly and that any affine-maxface connection would be speculative or derivative (Dhochak, 19 Apr 2026).

The term “affine maximal” also appears in several settings that are different from affine maxfaces. In fully affine geometry, the full affine group is

$\Re\left(i\int_c (F\times dF)\right)=0$3

and fully affine maximal curves are critical points of the fully affine length functional; the theory includes a second variation formula, a fully affine isoperimetric inequality, and a fully affine heat flow (Yang, 2022). In Calabi affine geometry, one studies graph hypersurfaces with Calabi metric and equations such as

$\Re\left(i\int_c (F\times dF)\right)=0$4

leading to classifications of Calabi hypersurfaces with constant negative sectional curvature and explicit complete non-quadratic solutions to the affine maximal type equation and the Abreu equation (Sun et al., 15 Jan 2025). Closely related work proves that every Calabi extremal surface in $\Re\left(i\int_c (F\times dF)\right)=0$5 is also maximal in Calabi affine geometry and constructs new complete Calabi affine maximal surfaces and centroaffine extremal hypersurfaces (Sun et al., 15 Jan 2026).

These theories share the language of affine maximality, but their ambient geometries, variational functionals, and singularity mechanisms are different. This suggests that affine maxfaces occupy a distinct niche: they are singular affine maximal maps in $\Re\left(i\int_c (F\times dF)\right)=0$6 whose global geometry is organized by a Euclidean minimal conormal map, rather than by Lorentzian maximal-surface theory, fully affine length, or Calabi/centroaffine extremal equations.