L-Isothermic Surfaces

• L-isothermic surfaces are defined by the existence of curvature-line coordinates and conformal first fundamental forms, extending classical Euclidean conditions.
• They generalize isothermic surface concepts to Lie sphere, Laguerre, quaternionic, conformal, and Lorentz-Minkowski geometries with robust transformation theories.
• Their study leverages flat connection families, closed Lie algebra-valued 1-forms, and gauge-theoretic formulations to analyze integrable system properties and construction methods.

An L-isothermic surface belongs to a family of isothermic surface theories in which curvature-line coordinates, conformal structure, and transformation theory remain central, but the ambient geometry is broader than the classical Euclidean setting. In the classical formulation, an isothermic parametrization is an isothermal curvature-line parametrization: for an immersion $f$, one requires

$$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$

Later literature places closely related $L$-isothermic theories in Lie sphere, Laguerre, quaternionic, conformal, and Lorentz-Minkowski frameworks. The common theme is that one can choose coordinates or gauges in which the relevant metric, curvature directions, or flat connection family acquires a particularly rigid form, exposing Möbius-invariant or integrable structure (Aulisa et al., 2013, Leschke, 14 Apr 2025).

1. Classical core and the range of the term

In the Euclidean theory, isothermic coordinates are precisely coordinates whose parameter lines are curvature lines and whose first fundamental form is conformal. For a surface immersed in Euclidean space, this means

$$\|f_u\|^2=\|f_v\|^2=E(u,v),\qquad \langle f_u,f_v\rangle=0,\qquad \langle f_{uv},N\rangle=0.$$

A surface is isothermic if it locally admits such coordinates away from umbilics, and the Hopf differential criterion says that, under conformal coordinates $z=u+iv$, the surface is isothermic if and only if the Hopf differential coefficient is real-valued (Aulisa et al., 2013).

These coordinates play a standard role for Bonnet surfaces, constant mean curvature surfaces, and Christoffel duality. The constructive Euclidean theory also points toward broader geometries: the same source notes that L-isothermic surfaces generalize isothermic surfaces in Lie sphere geometry and related settings, while the discrete literature places discrete L-isothermic nets in Laguerre geometry (Aulisa et al., 2013, Hertrich-Jeromin et al., 2018).

Across the literature, the prefix $L$ is not used in a single completely uniform way. In one strand it refers to Lie or Laguerre-geometric generalizations; in another, quaternionic or conformal formulations model isothermic surfaces in $\mathbb{R}^4\cong\mathbb{H}$; and in Lorentz-Minkowski surface theory, isothermic coordinates for spacelike constant mean curvature surfaces are sometimes called L-isothermic or Lorentzian-isothermic to distinguish them from the Euclidean case (Leschke, 14 Apr 2025, Kawakami et al., 9 Jun 2025). This suggests a stable mathematical core together with geometry-dependent realizations.

2. Existence criteria and constructive coordinate systems

A direct Euclidean construction starts from an arbitrary immersion $f(x,y)$ with first and second fundamental form coefficients $E,F,G,l,m,n$. One first applies a local Gram-Schmidt rotation by an angle $\alpha(x,y)$ to orthogonalize the tangent basis and then rescales by a positive function $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$0. The rotation angle is chosen so that the new coordinate lines are curvature lines: $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$1 The scaling factor $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$2 must satisfy a pair of PDEs, and the change of variables $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$3 is recovered from a first-order system. Numerically, the recommended procedure is ODE integration, for example a fourth-order Runge-Kutta method, followed by integration of the new partial velocities to reconstruct the surface. The construction is local, breaks down at umbilics, and is unique up to rigid motions, scale, and branch choice for $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$4 (Aulisa et al., 2013).

A coordinate-invariant criterion is given by the covariant formulation for a metric $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$5 and a symmetric tensor $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$6 on a 2-manifold. Writing

$$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$7

one defines the 1-form

$$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$8

Then there exist local coordinates in which $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$9 is conformally flat and $L$0 is diagonal if and only if

$L$1

This condition is both coordinate-invariant and conformally invariant. When it holds, one constructs isothermic coordinates by finding a unit vector field $L$2 such that $L$3, solving for a function $L$4, and integrating

$L$5

The same formulation applies in arbitrary 3-dimensional Riemannian manifolds, not only in $L$6 (Tafel, 2014).

3. Möbius-invariant and gauge-theoretic formulations

A modern conformal description uses the light-cone model of the conformal 3-sphere. Let $L$7 be an immersion with lift $L$8 into the light cone of $L$9. The retraction form

$$\|f_u\|^2=\|f_v\|^2=E(u,v),\qquad \langle f_u,f_v\rangle=0,\qquad \langle f_{uv},N\rangle=0.$$0

is a closed 1-form valued in $$\|f_u\|^2=\|f_v\|^2=E(u,v),\qquad \langle f_u,f_v\rangle=0,\qquad \langle f_{uv},N\rangle=0.$$1. A surface is isothermic if and only if it admits a nonzero $$\|f_u\|^2=\|f_v\|^2=E(u,v),\qquad \langle f_u,f_v\rangle=0,\qquad \langle f_{uv},N\rangle=0.$$2 taking values in $$\|f_u\|^2=\|f_v\|^2=E(u,v),\qquad \langle f_u,f_v\rangle=0,\qquad \langle f_{uv},N\rangle=0.$$3 with

$$\|f_u\|^2=\|f_v\|^2=E(u,v),\qquad \langle f_u,f_v\rangle=0,\qquad \langle f_{uv},N\rangle=0.$$4

The associated holomorphic quadratic differential is recovered from $$\|f_u\|^2=\|f_v\|^2=E(u,v),\qquad \langle f_u,f_v\rangle=0,\qquad \langle f_{uv},N\rangle=0.$$5. In a spherical model, $$\|f_u\|^2=\|f_v\|^2=E(u,v),\qquad \langle f_u,f_v\rangle=0,\qquad \langle f_{uv},N\rangle=0.$$6 becomes

$$\|f_u\|^2=\|f_v\|^2=E(u,v),\qquad \langle f_u,f_v\rangle=0,\qquad \langle f_{uv},N\rangle=0.$$7

and the closedness condition is equivalent to

$$\|f_u\|^2=\|f_v\|^2=E(u,v),\qquad \langle f_u,f_v\rangle=0,\qquad \langle f_{uv},N\rangle=0.$$8

This formulation is Möbius-invariant and identifies the isothermic condition with the existence of a closed Lie algebra-valued 1-form (Burstall et al., 16 Jun 2025).

The same framework yields a direct link with Bonnet pairs. If $$\|f_u\|^2=\|f_v\|^2=E(u,v),\qquad \langle f_u,f_v\rangle=0,\qquad \langle f_{uv},N\rangle=0.$$9 and

$z=u+iv$0

then $z=u+iv$1 and $z=u+iv$2 are isometric and conformal to the original isothermic surface, and their second fundamental forms satisfy

$z=u+iv$3

Conversely, up to sign, all Bonnet pairs with $z=u+iv$4 nowhere vanishing arise in this way. In quaternionic language, $z=u+iv$5 and $z=u+iv$6, with

$z=u+iv$7

This quaternionic recasting is one of the settings in which the literature explicitly speaks of $z=u+iv$8-isothermic surfaces (Burstall et al., 16 Jun 2025).

A parallel gauge-theoretic treatment encodes an isothermic surface as a pair $z=u+iv$9, where $L$0 is a null line subbundle and $L$1 is a closed 1-form in $L$2. This produces a pencil of flat metric connections

$L$3

Within this formalism, a surface is special isothermic of type $L$4 if there exists a polynomial conserved quantity

$L$5

The hierarchy includes type $L$6 surfaces lying in a 2-sphere, type $L$7 surfaces corresponding to constant mean curvature in codimension $L$8, and type $L$9 surfaces recovering the classical special isothermic class of Darboux and Bianchi (Burstall et al., 2010).

4. Flat connections, spectral parameters, and transformation theory

The integrable-systems description makes the isothermic condition equivalent to flatness of an associated connection family. Geometrically, isothermic surfaces are characterized by the existence of a Christoffel dual $\mathbb{R}^4\cong\mathbb{H}$0 satisfying

$\mathbb{R}^4\cong\mathbb{H}$1

Algebraically, they give rise to a real-parameter family of flat connections

$\mathbb{R}^4\cong\mathbb{H}$2

and, in the quaternionic formulation, to a complex-parameter extension

$\mathbb{R}^4\cong\mathbb{H}$3

Parallel sections of these connections encode Darboux-type transformations and their permutability (Leschke, 14 Apr 2025).

For constant mean curvature surfaces, the harmonic Gauss map yields a different family,

$\mathbb{R}^4\cong\mathbb{H}$4

while constrained Willmore surfaces carry yet another associated family. A central result is that for a constant mean curvature surface the parallel sections of all three theories are algebraically related. The spectral parameters are linked by

$\mathbb{R}^4\cong\mathbb{H}$5

As a consequence, simple factor dressings, classical Darboux transforms, $\mathbb{R}^4\cong\mathbb{H}$6-Darboux transforms, and $\mathbb{R}^4\cong\mathbb{H}$7-Darboux transforms can be described in one algebraic framework, and the associated family of constant mean curvature surfaces appears as a limit of the associated families for isothermic and constrained Willmore surfaces (Leschke, 14 Apr 2025).

This viewpoint is especially relevant for $\mathbb{R}^4\cong\mathbb{H}$8-isothermic theories because the quaternionic model explicitly packages isothermic surfaces into rank-$\mathbb{R}^4\cong\mathbb{H}$9 flat connection families on $f(x,y)$0-bundles. The significance is not terminological but structural: the defining coordinate condition becomes a flatness condition, and transformation theory becomes a theory of parallel sections and dressing actions (Leschke, 14 Apr 2025).

5. Lorentz-Minkowski realization

In Lorentz-Minkowski 3-space $f(x,y)$1, a spacelike immersion $f(x,y)$2 is said to be isothermically parametrized when

$f(x,y)$3

In this context the coordinates are sometimes called L-isothermic to distinguish them from the Euclidean case (Kawakami et al., 9 Jun 2025).

For a simply connected domain $f(x,y)$4, a spacelike constant mean curvature immersion $f(x,y)$5 with $f(x,y)$6 and a non-umbilic point admits local isothermic coordinates $f(x,y)$7 such that

$f(x,y)$8

$f(x,y)$9

where $E,F,G,l,m,n$0 solves the sinh-Gordon equation

$E,F,G,l,m,n$1

Conversely, every solution of this equation determines a spacelike constant mean curvature surface with these fundamental forms, unique up to isometry (Kawakami et al., 9 Jun 2025).

The Hopf differential

$E,F,G,l,m,n$2

is holomorphic if and only if the mean curvature is constant, and umbilic points are characterized by $E,F,G,l,m,n$3. The coordinate reduction to sinh-Gordon form has global consequences: the only entire solution on $E,F,G,l,m,n$4 is $E,F,G,l,m,n$5, so the only complete non-umbilical spacelike constant mean curvature surface in $E,F,G,l,m,n$6 defined on $E,F,G,l,m,n$7 is the hyperbolic cylinder; if a complete spacelike constant mean curvature surface has non-negative Gaussian curvature, then it is either a plane or a hyperbolic cylinder (Kawakami et al., 9 Jun 2025).

The Lorentz-Minkowski picture fits naturally beside the covariant criterion $E,F,G,l,m,n$8 for isothermicity in general 3-dimensional curved spaces. In particular, for surfaces in space forms, all constant mean curvature surfaces are isothermic in the sense of the coordinate-invariant condition (Tafel, 2014).

6. Discrete and variational theories

Discrete surface theory supplies several analogues of isothermicity. In Lie sphere geometry, a discrete channel surface is a discrete Legendre map admitting a face-cyclide congruence constant along one family of coordinate ribbons. Within that theory, a nowhere-spherical discrete channel surface is isothermic if and only if it is a surface of revolution, a cylinder, or a cone in a suitably chosen Euclidean subgeometry; the same paper states that extension to the discrete $E,F,G,l,m,n$9-isothermic setting is reserved for future work (Hertrich-Jeromin et al., 2018).

A structure-preserving discretization of the Björling problem uses Bobenko-Pinkall discrete isothermic surfaces, whose elementary quadrilaterals are conformal squares satisfying

$\alpha(x,y)$0

For analytic initial data, the resulting discrete surfaces converge in $\alpha(x,y)$1 to the unique smooth isothermic solution with error $\alpha(x,y)$2. The discrete Christoffel and Darboux transforms converge to their smooth counterparts as well. The same source states that the analytic Cauchy-problem framework and convergence analysis extend, with minor modifications, to $\alpha(x,y)$3-isothermic surfaces in the Laguerre-geometric sense (Bücking et al., 2015).

Triangulated analogues replace coordinate lines by discrete differential forms. A non-degenerate triangulated surface $\alpha(x,y)$4 is isothermic if there exists a nonzero $\alpha(x,y)$5-valued dual 1-form $\alpha(x,y)$6 on interior dual edges such that

$\alpha(x,y)$7

This is equivalent, in the simply connected strongly non-degenerate case, to the existence of a nontrivial infinitesimal isometric deformation preserving the integrated mean curvature around vertices. The class is Möbius invariant and supports a discrete Christoffel duality yielding discrete minimal surfaces from discrete harmonic functions (Lam et al., 2015).

Variational analysis gives isothermicity another role. A global isothermic immersion is one for which there exists a holomorphic quadratic differential $\alpha(x,y)$8 such that

$\alpha(x,y)$9

In Willmore minimization under fixed conformal class, minimizers are either smooth conformal Willmore immersions or global isothermic immersions; if the minimal energy in the conformal class is below $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$00, branched points do not occur and the minimizer is a smooth embedding. Isothermic immersions appear as degenerate points of the map from immersion to conformal class (Rivière, 2010). For sequences of smooth global isothermic immersions with bounded total curvature and converging conformal classes, weak $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$01 limits are again possibly branched weak isothermic immersions, and the defect measure can propagate along exceptional directions determined by the limiting holomorphic quadratic differential rather than only concentrate at points (Rivière, 2012).

7. Special classes, tori, and global models

The hierarchy of special isothermic surfaces of type $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$02 organizes many classical examples. Type $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$03 consists of surfaces lying in a 2-sphere, type $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$04 recovers constant mean curvature surfaces in codimension $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$05, and type $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$06 gives the classical special isothermic surfaces of Darboux and Bianchi. The gauge-theoretic formalism also explains how Darboux transforms, Christoffel transforms, $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$07-transforms, and Bianchi permutability act on the hierarchy, and extends the theory to arbitrary codimension (Burstall et al., 2010).

A striking global development is the classification of isothermic tori with one family of planar curvature lines. Darboux’s nineteenth-century local classification used one real reduction of a theta-function description, but that reduction cannot contain tori. The later classification shows that tori occur in a second real reduction, corresponding to rhombic rather than rectangular period lattices. The planar curvature lines are given by explicit theta-function formulas, and these curves are identified as particular area constrained hyperbolic elastica (Bobenko et al., 2023).

In that setting, the Euler-Lagrange equation becomes lower order than expected when written in a Euclidean gauge. If $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$08, where $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$09 is the Euclidean tangent angle, then

$$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$10

The same analysis studies the finite-dimensional moduli space for the condition that the second family of curvature lines is spherical; the moduli space is five-dimensional in that case. Wente tori are recovered as a limit case of the formulas, and these isothermic tori were subsequently used to construct the first examples of compact analytic Bonnet pairs (Bobenko et al., 2023).

Taken together, these results show that $$\langle f_u,f_v\rangle = 0,\qquad \|f_u\|^2=\|f_v\|^2,\qquad \langle f_{uv},N\rangle = 0.$$11-isothermic surface theory is best understood not as a single isolated definition but as a coherent cluster of geometries. Its recurrent features are conformal curvature-line coordinates, holomorphic quadratic differentials, closed Lie algebra-valued 1-forms, flat connection pencils, and transformation theories that survive passage to Lorentzian, Möbius, Lie sphere, Laguerre, and discrete settings.