# The \(\mu \)-Darboux transformation of minimal surfaces

- 76 Downloads

## Abstract

The classical notion of the Darboux transformation of isothermic surfaces can be generalised to a transformation for conformal immersions. Since a minimal surface is Willmore, we can use the associated \(\mathbb { C}_*\)-family of flat connections of the harmonic conformal Gauss map to construct such transforms, the so-called \(\mu \)-Darboux transforms. We show that a \(\mu \)-Darboux transform of a minimal surface is not minimal but a Willmore surface in 4-space. More precisely, we show that a \(\mu \)-Darboux transform of a minimal surface *f* is a twistor projection of a holomorphic curve in \(\mathbb { C}\mathbb { P}^3\) which is canonically associated to a minimal surface \(f_{p,q}\) in the right-associated family of *f*. Here we use an extension of the notion of the associated family \(f_{p,q}\) of a minimal surface to allow quaternionic parameters. We prove that the pointwise limit of Darboux transforms of *f* is the associated Willmore surface of *f* at \(\mu =1\). Moreover, the family of Willmore surfaces \(\mu \)-Darboux transforms, \(\mu \in \mathbb { C}_*\), extends to a \(\mathbb { C}\mathbb { P}^1\) family of Willmore surfaces \(f^\mu : M \rightarrow S^4\) where \(\mu \in \mathbb { C}\mathbb { P}^1\).

## Mathematics Subject Classification

53A10 53C42 53C43## 1 Introduction

A classical Darboux pair is given geometrically by a pair of conformal immersions \((f, f^\sharp )\) into 3-space such that there exists a sphere congruence conformally enveloping both surfaces [10]. In this case, both surfaces *f* and \(f^\sharp \) are isothermic, that is, they allow a conformal curvature line parametrisation. Algebraically, one obtains a classical Darboux transform of an isothermic surface by a solution to a Riccati equation which is given in terms of a dual isothermic surface and a real parameter, [17]. This directly links to integrability: the parameter can be considered as the spectral parameter of an integrable system [2]. Put differently, the Darboux transform is given in terms of a parallel section of an associated family of flat connections, e.g. [6, 16]. In [3] the Darboux transformation has been generalised to arbitrary conformal immersions in the 4-sphere: geometrically, the enveloping condition is weakened, algebraically, one uses quaternionic holomorphic sections instead of parallel sections. This way, one obtains a geometric interpretation of the spectral curve of a conformal torus as the normalisation of the set of all closed Darboux transforms: conformal tori can be constructed by spectral data. At the same time the Darboux transformation provides a tool to construct new surfaces from given, simpler ones while controlling the closing conditions.

In recent papers, it has been investigated how the classical spectral parameter corresponds to such generalised Darboux transforms. In case of a CMC surface, that is an immersion \(f: M \rightarrow \mathbb { R}^3\) from a Riemann surface *M* into 3-space with non-vanishing constant mean curvature, the Gauss map *N* of *f* is harmonic by the Ruh–Vilms theorem. The introduction of a spectral parameter \(\lambda \in \mathbb { C}_*\) gives rise to a \(\mathbb { C}_*\)-family of flat connections given by the harmonic Gauss map. A parallel section acts on *N* by conjugation and gives the associated family of harmonic maps when \(\lambda \in S^1\), and thus CMC surfaces via the Sym–Bobenko formula. On the other hand, for fixed \(\mu \), a parallel section of the associated family of flat connections defines a quaternionic holomorphic section, and this way a special Darboux transform, a so-called \(\mu \)*-Darboux transform* [9]. CMC surfaces are isothermic however a \(\mu \)-Darboux transform of a CMC surface is only a classical Darboux transform in \(\mathbb { R}^3\) if \(\mu \in \mathbb { R}_*\cup S^1\). In general a \(\mu \)-Darboux transform takes values in \(\mathbb { R}^4\) but it can be shown to be a CMC surface in \(\mathbb { R}^3\) up to a constant translation in \(\mathbb { R}^4\). Moreover, the desingularisation of the set of closed \(\mu \)-Darboux transforms of a CMC torus is biholomorphic to Hitchin’s eigenline spectral curve [9, 15].

Similar results hold for Willmore surfaces and Hamiltonian stationary Lagrangians [4, 19, 22]: again the associated harmonic map allows to define a family of flat connections and through those, \(\mu \)-Darboux transforms which are again Willmore and Hamiltonian stationary respectively.

The case of minimal surfaces \(f: M\rightarrow \mathbb { R}^3\) is surprisingly more complicated. Since a minimal surface has constant mean curvature its Gauss map is harmonic by the Ruh–Vilms theorem. In particular, there is an associated family of flat connections. However, the Gauss map does not determine a minimal surface uniquely so further information needs to be incorporated into the associated family of flat connections to encode a minimal surface via spectral data. To do so we consider in this paper a minimal surface as a Willmore surface: the conformal Gauss map of a minimal surface is harmonic and thus gives rise to a family of flat connections \(d_\lambda \) with \(\lambda \in \mathbb { C}_*\). Parallel sections on the unit circle give again via conjugation new harmonic conformal Gauss maps and the associated surfaces for \(\lambda =e^{i\theta }\in S^1\) give the classical associated family \(f_{\theta }=\cos \theta f + \sin \theta f^*\) of isometric minimal surfaces where \(f^*\) is the conjugate minimal surface of *f*. This construction can be extended off the unit circle, and one obtains a generalised *left-and right-associated family* of minimal surfaces given by the \(f^{p,q}=pf + qf^*\) and \(f_{p,q}=fp + f^*q\) respectively where \(p,q\in \mathbb { H}_*\) [21]. On the other hand, for fixed \(\mu \) a parallel section of the flat connection \(d_\mu \) in the associated family again gives rise to generalised Darboux transforms. As before, we call Darboux transforms which are given by parallel sections \(\mu \)*-Darboux transforms*.

\(\mu \)-Darboux transforms are not classical Darboux transforms but we show that a non-trivial \(\mu \)-Darboux transform of a minimal surface \(f: M \rightarrow \mathbb { R}^3\) is a twistor projection of a holomorphic curve in \(\mathbb { C}\mathbb { P}^3\). Therefore, a \(\mu \)-Darboux transform \(f^\mu \) is given by complex holomorphic data but we show that \(f^\mu \) is not minimal if *f* is not a plane.

*associated Willmore surface*which is the twistor projection of a holomorphic curve in complex projective 3-space: In case of a minimal surface \(f: M \rightarrow \mathbb { R}^3\) the associated Willmore surface \(f^\flat \) is the conformal immersion in 4-space which is given by

*N*is the Gauss map of

*f*and \(f^*\) is a conjugate of

*f*. We show that a \(\mu \)-Darboux transform of

*f*is the associated Willmore surfaces of an element of the right-associated family \(f_{p,q}\) of

*f*for \(\mu \in \mathbb { C}\setminus \{0,1\}\). At \(\mu =-1\) we obtain the associated Willmore surface of the conjugate surface. For \(\mu =1\) all \(\mu \)-Darboux transforms are constant, however, the limit of (appropriately scaled and rotated) Darboux transforms of

*f*is the associated Willmore surface of

*f*at \(\mu =1\).

Finally we show that the family of Willmore surfaces of \(\mu \)-Darboux transforms, \(\mu \in \mathbb { C}_*\), extends to a \(\mathbb { C}\mathbb { P}^1\) family of Willmore surfaces \(f^\mu : M \rightarrow S^4\) where \(\mu \in \mathbb { C}\mathbb { P}^1\): the limits of \(\mu \)-Darboux transforms at \(\mu =0,\infty \) are Darboux transforms \(f^{0,\infty }\) in the 4-sphere of *f* but not \(\mu \)-Darboux transforms since the associated family \(d_\mu \) does not extend to \(\mu =0, \infty \). In fact, in an affine coordinate \(f^{0,\infty }\) are minimal surfaces in \(\mathbb { R}^4\) with an isolated set of ends.

## 2 Generalised Darboux transforms

We first recall some basic facts about conformal immersions in Euclidean space which will be needed in the following whilst setting up our notation. Although we are mostly interested in minimal surfaces in \(\mathbb { R}^3\), some of our transforms will be surfaces in \(S^4\). Therefore, we will study more generally conformal immersions in \(\mathbb { R}^4\) and \(S^4\). We recall basic facts in the quaternionic formalism, for details see [1].

### 2.1 Conformal immersions

*M*into 4-space. In this paper, we model Euclidean 4-space by the quaternions \(\mathbb { R}^4=\mathbb { H}\), and the Euclidean 3-space in \(\mathbb { R}^4\) by the imaginary quaternions \(\mathbb { R}^3=\mathrm{Im}\,\mathbb { H}\). Denote the complex structure of the Riemann surface

*M*by \(J_{TM}\) and put

*left*and

*right normal*\(N, R: M \rightarrow S^2=\{n\in \mathrm{Im}\,\mathbb { H}\mid n^2=-1\}\) of

*f*by

*Gauss map*of

*f*is given by the map \((N, R): M \rightarrow S^2\times S^2=\text {Gr}_2(\mathbb { R}^4)\) and the

*mean curvature vector*\(\mathcal {H}\) of \(f: M \rightarrow \mathbb { R}^4\) satisfies [1, p. 39]

*dR*with respect to the complex structure

*R*. Then the equation of the mean curvature vector becomes

*H*is the mean curvature of

*f*.

*f*is conformal then

### 2.2 General Darboux transformation

*classical Darboux pair*[10] if there exists a sphere congruence enveloping both

*f*and \(f^\sharp \). In this case, both

*f*and \(f^\sharp \) are

*isothermic*, that is, they allow a conformal curvature line parametrisation. A classical Darboux transform \(f^\sharp = f+ T\) of

*f*is given in terms of its

*dual surface (or Christoffel surface)*\(f^d\) which is defined [8, 16] by the property that

*T*of the Riccati equation

*f*and \(r\in \mathbb { R}_*\).

By weakening the enveloping condition the notion of a classical Darboux transformation has been extended in [3] to general conformal immersions \(f: M\rightarrow S^4\). In case of a conformal torus \(f: T^2\rightarrow S^4\), there exists at least a Riemann surface worth of Darboux transforms \(f^\sharp : T^2\rightarrow S^4\) of *f*. This way, one obtains a geometric interpretation of the spectral curve \(\Sigma \) of the conformal torus *f* as the normalisation of the set of closed Darboux transforms of *f*.

*M*whose fibers at \(p\in M\) are given by

*L*is given by

*L*, the left normal

*N*of

*f*induces a quaternionic holomorphic structure on the bundle \(\underline{\mathbb { H}}^{2}/L\) via

Denote by \({\tilde{V}}\) the bundle which is given by the pullback of a vector bundle *V* over *M* to the universal cover \({\tilde{M}}\) of *M*. Then *D* induces a holomorphic structure on \(\widetilde{\underline{\mathbb { H}}^{2}/L}\) which we denote again, in abuse of notation, by *D*.

### Definition 2.1

( [3, 14]) Let \(f: M \rightarrow \mathbb { R}^4\) be conformal with left normal *N* and *L* its associated line bundle.

A section \(e\alpha \in \Gamma (\widetilde{e\mathbb { H}})=\Gamma (\widetilde{\underline{\mathbb { H}}^{2}/L})\) is called *holomorphic* if \(D(e\alpha )=0\), or, equivalently, if \(*d\alpha = N d\alpha \).

Since \(*df= Ndf\), for any holomorphic section \(e\alpha \) there is \(\beta : {\tilde{M}} \rightarrow \mathbb { H}\) with \(d\alpha = -df \beta \). In particular, there exists a unique *prolongation* of the holomorphic section \(e\alpha \), that is, a lift \(\varphi = e\alpha + \psi \beta \in \Gamma (\widetilde{\underline{\mathbb { H}}^{2}})\) such that \(d\varphi \in \Omega ^1({\tilde{L}})\).

### Definition 2.2

( [3]) Let \(f: M \rightarrow S^4\) be a conformal immersion. A *(generalised) Darboux transform*\(f^\sharp : {\tilde{M}} \rightarrow S^4\) of *f* is given by the prolongation \(\varphi \in \Gamma (\widetilde{\underline{\mathbb { H}}^{2}})\) of a holomorphic section of \(\widetilde{\mathbb { H}^2/L}\).

We obtain Darboux transforms of a conformal immersion *f* by finding non-trivial sections \(\varphi \in \Gamma (\widetilde{\underline{\mathbb { H}}^{2}})\) with \(d\varphi \in \Omega ^1({\tilde{L}})\): writing \(\varphi = e\alpha + \psi \beta \) we see that \(\alpha \not =0\) since otherwise \(0=\pi _L d\varphi = edf \beta \) implies \(\varphi =0\). But then \(\pi _L \varphi = e\alpha \) is a non-trivial holomorphic section since \(*d\alpha = -*df\beta = Nd\alpha \) and \(\varphi \) is its prolongation.

*T*satisfies a generalisation of the Riccati equation (4)

*f*is isothermic and a dual surface \(f^d\) of

*f*is given by \(df^d = d\beta \alpha ^{-1}\), see [18].

Note that for \(\alpha \) constant, we obtain the constant Darboux transform \(f^\sharp = \infty \) given by the point \(\infty = e\mathbb { H}\) at infinity.

### 2.3 Willmore surfaces

*Willmore surfaces* are critical points of the Willmore energy. This notion is conformally invariant hence it is useful to consider the conformal Gauss map rather than the Gauss map of a Willmore surface. Geometrically, the conformal Gauss map is a sphere congruence which is tangent at each point and has the same mean curvature vector as the surface at corresponding points. For our purposes it is convenient to model the conformal Gauss map by a complex structure:

### Definition 2.3

( [1, p. 27]) The *conformal Gauss map* of a conformal immersion \(f: M \rightarrow S^4\) is the unique complex structure *S* on \(\underline{\mathbb { H}}^{2}\) such that *S* and *dS* stabilise the line bundle *L* of *f* and its Hopf field *A* is a 1-form with values in *L*.

*Hopf field*

*A*of

*S*is the 1-form given by

*S*with respect to the complex structure

*S*.

*N*,

*R*are the left and right normals of

*f*respectively and

*H*is given by the mean curvature vector (2). Moreover, the Hopf field computes [1, Prop 12, p. 44] to

### Theorem 2.4

An important example are Willmore surfaces which are given by twistor projections of holomorphic curves:

### Theorem 2.5

( [1, Thm 4, p. 47]) Let \(f: M \rightarrow \mathbb { R}^4\) be a conformal immersion with right normal *R*. Then *f* is the twistor projection of a holomorphic curve \(F: M \rightarrow \mathbb { C}\mathbb { P}^3\) if and only if \((dR)''=\frac{1}{2}(dR+R*dR)=0\).

*f*is Willmore and the twistor lift of

*f*is the holomorphic curve \(F: M \rightarrow \mathbb { C}\mathbb { P}^3\) which is given by the line subbundle \(E\subset L\) via

*E*is the \(+i\) eigenspace of the conformal Gauss map of

*f*restricted to the line bundle

*L*of

*f*. Moreover, the Hopf field

*A*of

*f*vanishes.

In particular, by [23] if \(f: S^2 \rightarrow S^4\) is a Willmore sphere then *f* is either the stereographic projection of a minimal surface in \(\mathbb { R}^4\) or a twistor projection of a holomorphic (or anti-holomorphic) curve in \(\mathbb { C}\mathbb { P}^3\).

### 2.4 \(\mu \)-Darboux transforms

It is well-known [26] that an appropriate harmonic map gives rise to a family of flat connections. We now consider the associated family of flat connections of the conformal Gauss map *S* of a Willmore surface \(f: M \rightarrow \mathbb { R}^4\), and use parallel sections to construct Darboux transforms of *f*.

*I*is given by right multiplication by the unit quaternion

*i*. If the conformal Gauss map of a conformal immersion \(f: M \rightarrow S^4\) is harmonic, that is \(d*A=0\), the \(\mathbb { C}_*\)-family of connections

*M*where

*A*is the Hopf field of

*S*and

*A*with respect to

*I*.

Since by definition of the Hopf field \({{\,\mathrm{im}\,}}A\subset L\) we see that for fixed \(\mu \in \mathbb { C}_*\) every \(d_\mu \)-parallel section \(\varphi \in \Gamma (\widetilde{\underline{\mathbb { H}}^{2}})\) has \(d\varphi \in \Omega ^1({\tilde{L}})\), and thus \(L^\sharp = \varphi \mathbb { H}\) is a Darboux transform of *f* on the universal cover \({\tilde{M}}\) of *M*.

### Definition 2.6

Let \(f: M\rightarrow S^4\) be a Willmore surface. Let \(\mu \in \mathbb { C}_*\) and \(\varphi \in \Gamma ({\tilde{M}}\times \mathbb { H}^2)\) be a non-trivial parallel section of the flat connection \(d_\mu \) where \({\tilde{M}}\) is the universal cover of *M*. Then \(f^\sharp =\varphi \mathbb { H}: {\tilde{M}} \rightarrow S^4\) is called a \(\mu \)*-Darboux transform* of *f*.

Note that \(\varphi \) is a nowhere vanishing section since \(\varphi \) is \(d_\mu \)-parallel. In particular, the \(\mu \)-Darboux transform is well-defined on \({\tilde{M}}\).

## 3 Minimal surfaces

We first give some basic facts on minimal surfaces in Euclidean 4-space which will be needed in the following, in particular, we recall the extension of the associated family of minimal surfaces to allow quaternionic parameters, and characterise minimal surfaces by their Hopf fields, for details see e.g. [20, 21].

### 3.1 Minimal surfaces in \(\mathbb { R}^4\)

*M*into 4-space. Then

*f*is called

*minimal*if its mean curvature vector is vanishing. In terms of the Gauss map of

*f*we obtain with (2) that \(f: M \rightarrow \mathbb { R}^4\) is minimal if and only if

*f*is minimal then

*f*respectively. Thus, both

*N*and

*R*are quaternionic holomorphic sections [14] with respect to the induced quaternionic holomorphic structures on the trivial \(\mathbb { H}\) bundle \(\underline{\mathbb { H}}^{} = M \times \mathbb { H}\). Note also that a map \(R: M\rightarrow S^2\) is harmonic if and only if

*N*and

*R*of a minimal surface are conformal and harmonic.

*f*is minimal if and only if

*f*is harmonic, i.e.,

*f*is harmonic and there exists a

*conjugate surface*\(f^*\) on the universal cover \({\tilde{M}}\) of

*M*, given up to translation by

*f*has the same left and right normal as

*f*since

*associated family*(when lifting

*f*to the universal cover \({\tilde{M}}\)), e.g. [12],

### Definition 3.1

*f*, is called the

*right associated family*of

*f*.

Note that for \(p,q\in \mathbb { R}, (p,q)\not =(0,0),\) we obtain the usual associated family of a minimal surface up to scaling. Moreover, \(f_{pn, qn} = f_{p,q} n\) is given by a scaling of \(f_{p,q}\) and an isometry on \(\mathbb { R}^4\) for \(n\in \mathbb { H}_*\).

### Remark 3.2

Since \(df_{p,q} = df(p+Rq)\) we see that \(f_{p,q}\) has left normal \(N_{p,q}=N\) and right normal \(R_{p,q}= (p+Rq)^{-1}R(p+Rq)\).

In particular, for any immersion \(f: M \rightarrow \mathbb { R}^3 =\mathrm{Im}\,\mathbb { H}\) in Euclidean 3-space, the left and right normal coincide and a surface \( f_{p,q} \) in the right associated family has left normal \(N_{p,q} = N\) and right normal \(R_{p,q} = (p+Nq)^{-1}N(p+Nq)\). This shows that in general \(N_{p,q} \not = R_{p,q}\) and thus, elements of the right associated families of a minimal surface \(f: M \rightarrow \mathbb { R}^3\) are not necessarily minimal in 3-space but are minimal surface (Fig 1) in \(\mathbb { R}^4\).

### 3.2 Hopf fields of minimal surfaces

We first discuss a characterisation of minimal surfaces by the shape of their Hopf field. This allows to see that every minimal surface is a Willmore surface and provides tools for later discussion of \(\mu \)-Darboux transforms of minimal surfaces.

First note that surfaces which are both minimal and twistor projections are given by holomorphic maps into \(\mathbb { C}^2\):

### Proposition 3.3

- (i)
There exists a constant complex structure \(\mathbf i\) on \(\mathbb { R}^4\) such that \(f: M \rightarrow \mathbb { C}^2=(\mathbb { R}^4, \mathbf i)\) is complex holomorphic.

- (ii)
The right normal

*R*of*f*is constant. - (iii)
*f*is minimal and the twistor projection of a holomorphic curve in \(\mathbb { C}\mathbb { P}^3\).

### Proof

If *f* is complex holomorphic then \(*df = df \mathbf i\) shows that the right normal of *f* is \(R=-\mathbf i\), hence the right normal *R* is constant. But then Theorem 2.5 shows that *f* is the twistor projection of a holomorphic curve since \((dR)'' = dR =0\). By (2) we see that \(H=0\) and *f* is minimal.

Finally, if *f* is minimal we have \(*dR =-RdR\), thus \((dR)'=0\). If *f* is also the twistor projection of a holomorphic curve then \((dR)'' =0\). Thus, the right normal *R* is constant and the right multiplication by \(-R\) gives a complex structure on \(\mathbb { R}^4=\mathbb { H}\). Then \(*df = -df R\) shows that \(f: M \rightarrow \mathbb { C}^2\) is complex holomorphic when identifying \(\mathbb { C}^2 = (\mathbb { H}, -R)\). \(\square \)

In the case when \(f: M \rightarrow \mathbb { R}^3\) is minimal and the twistor projection of a holomorphic curve in \(\mathbb { C}\mathbb { P}^3\) then the previous Proposition implies that the Gauss map \(N=R\) of *f* is constant. But then *f* is a plane. However, if we allow minimal surfaces in \(\mathbb { R}^4\) we obtain non-trivial examples:

*f*is a conformal immersion with right normal \(R= -i\) and thus,

*R*is conformal and harmonic:

*f*is minimal and the (affine coordinate of the) twistor projection of the holomorphic curve

We give a condition for minimality in terms of the Hopf field, see also [21].

### Theorem 3.4

A conformal immersion \(f: M\rightarrow \mathbb { R}^4\), which is not complex holomorphic, is minimal if and only if the kernel of the Hopf field *A* is the point at \(\infty \).

### Proof

*A*is \(\infty =e\mathbb { H}\) then \(\omega =0\) and \((dR)''\not = 0\). Therefore, \(0=*\omega + \omega N\) shows that

*f*is a minimal surface.

*A*of a minimal immersion \(f: M \rightarrow \mathbb { R}^4 \) satisfies

*R*and

*R*is not constant because

*f*is not complex holomorphic. Therefore, \(\ker A = \begin{pmatrix} 1\\ 0 \end{pmatrix}\mathbb { H}=\infty \).

\(\square \)

From the expression (13) of the Hopf field *A* of a minimal surface \(f: M\rightarrow \mathbb { R}^4\) we see that *A* is harmonic, that is, \(d*A =0\), since \(*dR = - RdR\) and thus \(df\wedge dR =0\).

In particular, we obtain the well-known result:

### Corollary 3.5

Every minimal immersion in \(\mathbb { R}^4\) is a Willmore surface in \(\mathbb { R}^4\).

## 4 The associated Willmore surface

We now discuss a correspondence between minimal surfaces and twistor projections of holomorphic curves in \(\mathbb { C}\mathbb { P}^3\).

If *f* is a minimal surface with constant right normal *R* then \(df^* = - *df = dfR\) shows that the conjugate surface is by [7] a rigid motion \(f^* = fR + c\) of *f* with \(c\in \mathbb { H}\). For general minimal surfaces *f* the map \(fR -f^*\) is a Willmore surface in \(\mathbb { R}^4\): the following theorem is a special case of a more general statement for super-conformal maps, [11, 24].

### Theorem 4.1

*M*and assume that its right normal

*R*is not constant. Then

*R*is branched.

### Proof

*f*is minimal then its right normal

*R*satisfies \(*dR = -RdR = dRR\) and

*R*is branched. Moreover, the right normal of \(f^\flat \) is \(R^\flat = -R\) and

\(\square \)

This leads to the following definition:

### Definition 4.2

*R*then we call

*associated Willmore surface*of

*f*.

## 5 \(\mu \)-Darboux transforms

Previous results [4, 5, 9, 22] seem to indicate that the Darboux transformation preserves a surface class which is given by a harmonicity condition as long as it is given by a parallel section of the associated family of flat connections of the harmonic map. In the case of a minimal surface \(f: M \rightarrow \mathbb { R}^4\), the conformal Gauss map is harmonic and we will consider parallel sections of its associated family of flat connections \(d_\mu \). Then a \(\mu \)-Darboux transform, that is, a Darboux transform which arises from parallel sections of \(d_\mu \), is indeed a Willmore surface but we will show that it is not minimal in \(\mathbb { R}^4\). However, a \(\mu \)-Darboux transform is still given by complex holomorphic data: it is the twistor projection of a holomorphic curve in \(\mathbb { C}\mathbb { P}^3\).

### 5.1 Parallel sections

*A*be the Hopf field of the harmonic conformal Gauss map

*S*of

*f*. By the expression (13) of the Hopf field of a minimal surface we have

*f*we see that

*f*. Since \(e\mathbb { H}\oplus L =\underline{\mathbb { H}}^{2}\) every \(d_\mu \)-parallel section \(\varphi \in \Gamma (\widetilde{\underline{\mathbb { H}}}^{2})\) of the trivial \(\mathbb { H}^2\) bundle over the universal cover \({\tilde{M}}\) of

*M*can be written as \( \varphi = e\alpha + \psi \beta \) with \(\alpha , \beta : {\tilde{M}} \rightarrow \mathbb { H}\). Then

### Proposition 5.1

*S*of

*f*. For \(\mu \in \mathbb { C}\setminus \{0,1\}\) every \(d_\mu \)-parallel section is either a constant section \(\varphi =e n, n\in \mathbb { H}\), or is given by \(\varphi = e\alpha + \psi \beta \in \Gamma (\widetilde{\underline{\mathbb { H}}}^{2})\) with

### Remark 5.2

*R*of

*f*but can also been shown directly: if \(\beta (p)=0\) then

### 5.2 \(\mu \)-Darboux tranforms

If a minimal surface \(f: M \rightarrow \mathbb { R}^4\) has constant right normal *R* then by (13) the Hopf field *A* vanishes and \(d_\mu = d\) for all \(\mu \in \mathbb { C}\setminus \{0,1\}\). That is, all \(\mu \)-Darboux transforms of *f* are in this case the constant sections of \(\Gamma (\underline{\mathbb { H}}^{2})\). Therefore, from now on we will assume that *f* is not the twistor projection of a holomorphic curve in \(\mathbb { C}\mathbb { P}^3\).

*f*. If \(\varphi =en, n\in \mathbb { H}_*\), is a constant parallel section then the corresponding \(\mu \)-Darboux transform is the constant point \(\infty = e\mathbb { H}\). On the other hand, every non-constant \(d_\mu \)-parallel section \(\varphi =e\alpha +\psi \beta \in \Gamma (\underline{\mathbb { H}}^{2}), \mu \in \mathbb { C}\setminus \{0,1\}\), is given by (16) and the \(\mu \)-Darboux transform is in this case given by

### Theorem 5.3

Let \(f: M\rightarrow \mathbb { R}^4\) be a minimal surface in \(\mathbb { R}^4\) on a simply connected Riemann surface *M* (and assume that *f* not holomorphic in some \(\mathbb { C}^2\)).

*f*is given by

*f*and \({\hat{\rho }} = m \frac{i(1+\mu )}{1-\mu } m^{-1}\) with \(\mu \in \mathbb { C}\setminus \{0, 1\}\), \(m\in \mathbb { H}_*\).

### Remark 5.4

- (i)
Whereas the associated Willmore surface is uniquely defined up to translation by the choice of the conjugate surface \(f^*\), the \(\mu \)-Darboux transformation depends non-trivially on \(f^*\): a translation of \(f^*\) by \(c\in \mathbb { H}\) results in an addition of \(-c(R+{\hat{\rho }})^{-1}\) to \(f^\mu \).

- (ii)
The \(\mu \)-Darboux transformation is independent of the choice of \(m\in \mathbb { H}_*\) exactly when \(\mu \in S^1\). This reflects the fact that the associated family of flat connections \(d_\mu \) is a family of quaternionic connections on the unit circle.

- (iii)
If

*M*is not simply connected we still obtain by (18) a \(\mu \)-Darboux transform but on the universal cover \({\tilde{M}}\) of*M*. Note that \(f^\mu \) is in this case globally defined on*M*only if the conjugate surface is defined on*M*. Put differently, the parallel section \(\varphi =e\alpha +\psi \beta \) is only a section with multiplier [3] if \(f^*\) is globally defined. In this case, the multiplier is trivial.

We also observe that \({\hat{\rho }}=0\) for \(\mu =-1\) and thus:

### Corollary 5.5

*f*is the \(\mu \)-Darboux transform

*f*for \(\mu =-1\).

Therefore, the pictures in Fig. 4 show \(\mu \)-Darboux transforms of the catenoid at \(\mu =-1\).

Since the associated Willmore surface of a minimal surface is Willmore but not minimal, we see that \(\mu \)-Darboux transforms are not minimal for \(\mu =-1\). Indeed, this extends to all \(\mu \)-Darboux transforms:

### Theorem 5.6

Let \(f: M \rightarrow \mathbb { R}^4\) be minimal (and not holomorphic) on a simply connected Riemann surface *M*.

Then every (non-constant) \(\mu \)-Darboux transform \(f^\mu : M\rightarrow \mathbb { R}^4\) of *f* is an associated Willmore surface of a minimal surface in the right associated family of *f*. In particular, \(f^\mu \) is not minimal.

### Proof

*f*where \({\hat{a}} = m\frac{\mu +\mu ^{-1}}{2}m ^{-1}, {\hat{b}} = m i \frac{\mu ^{-1}-\mu }{2} m^{-1}\) and \(m\in \mathbb { H}_*\). From Remark 3.2 we see that the right normal of the minimal surface

*h*is

*R*, and so does its inverse \(({\hat{\rho }} +R)({\hat{a}}-1)(R+{\hat{\rho }})\). This shows by (19) that

*h*: using the conjugate surface

*f*. By Theorem 5.3 every non-constant \(\mu \)-Darboux transform arises this way. Moreover, since the right normal of the associated Willmore surface \(h^\flat \) of

*h*is given by Theorem 4.1 as \(R_h^\flat = - R_h\) and \(R_h\) is not constant, the \(\mu \)-Darboux transform \(f^\mu \) is not minimal by Proposition 3.3. \(\square \)

Since \(f_{-\frac{{\hat{b}}}{2}, -\frac{{\hat{a}}-1}{2}} = f_{\frac{5}{8}, \frac{1}{2}+\frac{3j}{8}}\) for \(\mu = -\frac{i}{2}\) and \(m=\frac{1}{2}(1+i-j-k)\) and \(f_{-\frac{{\hat{b}}}{2}, -\frac{{\hat{a}}-1}{2}} = f_{-\frac{1}{2}, \frac{1}{2}}\) for \(\mu =i, m=1\), the \(\mu \)-Darboux transforms in Fig. 5 are also the associated Willmore surfaces of the minimal surfaces of the right associated family of the catenoid in Fig. 1.

### Remark 5.7

Every \(\mu \)-Darboux transform \(f^\mu \) of a minimal surface, which is not holomorphic, is a twistor projection of a holomorphic curve with vanishing Hopf field, see Theorem 2.5. Therefore, the family of flat connections of \(f^\mu \) is trivial and every \(\mu \)-Darboux transform of \(f^\mu \) is constant. This shows that the \(\mu \)-Darboux transformation on minimal surfaces trivially satisfies Bianchi permutability.

*N*is the right normal of

*f*, and the above equation generalizes the classical Ricatti equation (4) since \(f^d=N\) is a dual surface of

*f*. Note however that non-constant \(\mu \)-Darboux transforms of a minimal surface \(f: M\rightarrow \mathbb { R}^3\) are never classical: one can show that \(-dNm\alpha ^{-1}\) is not a closed 1-form.

### 5.3 \(\mathbb { C}\mathbb { P}^1\) family

We conclude this paper by investigating the limits of \(\mu \)-Darboux transforms at \(\mu = 1\) and \(\mu =0, \infty \). In the first case, the \(d_{\mu =1} = d\) is the trivial connection and all parallel sections give rise to constant Darboux transforms. However, the limit of appropriately scaled and rotated \(\mu \)-Darboux transforms is the associated Willmore surface of *f* (Fig. 6). In the second case, the family \(d_\mu \) of flat connections does not extend to \(\mu =0,\infty \), however the pointwise limit of \(\mu \)-Darboux transforms is still a Darboux transform (Fig. 7).

### Theorem 5.8

*f*is the associated Willmore surface \(f^\flat \), that is,

### Proof

We recall that \(f^\mu = (fR-f^*)(R+{\hat{\rho }})^{-1}\) for \(m\in \mathbb { H}_*, \mu \in \mathbb { C}\setminus \{0,1\}\). Since \({\hat{\rho }} = m \frac{i(1+\mu )}{1-\mu }\) has a well-define limit as \(\mu \) approaches 0 and \(\infty \) respectively, we can extend the \(\mu \)-Darboux transformation to \(\mu \in \mathbb { C}\mathbb { P}^1\), at least away from the isolated zeros of \(R\pm m i m^{-1}\).

### Theorem 5.9

- The pointwise limit \(f^0=\lim _{\mu \rightarrow 0}f^\mu \) of the \(\mu \)-Darboux tranforms of
*f*is a Darboux transform of*f*. More precisely, \(f^0: M \rightarrow S^4\) is a Willmore surface and is given in affine coordinates by the minimal surfacewhich has its ends at the isolated zeros of \(R+mim^{-1}\), \(m\in \mathbb { H}_*\).$$\begin{aligned} f^0= (fR-f^*)(R+mim^{-1})^{-1}\end{aligned}$$ - The pointwise limit \(f^\infty =\lim _{\mu \rightarrow \infty }f^\mu \) of the \(\mu \)-Darboux tranforms of
*f*is a Darboux transform of*f*. More precisely, \(f^\infty : M \rightarrow S^4\) is a Willmore surface and is given in affine coordinates by the minimal surfacewhich has its ends at the isolated zeros of \(R-mim^{-1}\), \(m\in \mathbb { H}_*\).$$\begin{aligned} f^\infty = (fR-f^*)(R-mim^{-1})^{-1}\end{aligned}$$

### Proof

We prove the statement for \(f^0\), the second claim follows similarly.

*f*. Since

*R*is conformal with \(*dR =-RdR\) we see that \(e(Rm+mi) = e\beta \) is a holomorphic section with respect to the quaternionic holomorphic structure \(D(e \gamma ):= \frac{1}{2}e(d\gamma -R*d\gamma )\). Thus, by [14] the zeros of \(\beta \) are isolated, and away from these zeros \(f^\sharp \) has affine coordinate

*f*. Since \({\hat{\rho }}_0 = \lim _{\mu \rightarrow 0} m\frac{i(1+\mu )}{1-\mu }m ^{-1}\) we see that the Darboux transform \(f^0\) is the pointwise limit \(f^0=\lim _{\mu \rightarrow 0} f^\mu \) of \(\mu \)-Darboux transforms. It remains to show that \(f^0\) is minimal. For this, we observe that

## Notes

## References

- 1.Burstall, F., Ferus, D., Leschke, K., Pedit, F., Pinkall, U.: Conformal Geometry of Surfaces in \({S}^4\) and Quaternions. Lecture Notes in Mathematics. Springer, Berlin (2002)CrossRefzbMATHGoogle Scholar
- 2.Burstall, F.E., Hertrich-Jeromin, U., Pedit, F., Pinkall, U.: Curved flats and isothermic surfaces. Math. Z.
**225**, 199–209 (1997)MathSciNetCrossRefzbMATHGoogle Scholar - 3.Bohle, C., Leschke, K., Pedit, F., Pinkall, U.: Conformal maps from a 2-torus to the 4-sphere. J. Reine Angew. Math.
**671**, 1–30 (2012)MathSciNetCrossRefzbMATHGoogle Scholar - 4.Bohle, C.: Constrained Willmore tori in the 4-sphere. J. Differ. Geom.
**86**(1), 71–131 (2010)MathSciNetCrossRefzbMATHGoogle Scholar - 5.Burstall, F., Quintino, A.: Dressing transformations of constrained Willmore surfaces. Commun. Anal. Geom.
**22**, 469–518 (2014)MathSciNetCrossRefzbMATHGoogle Scholar - 6.Burstall, F.E.: Isothermic surfaces: conformal geometry, Clifford algebras and integrable systems. In: Integrable Systems, Geometry, and Topology of AMS/IP Stud. Adv. Math., vol. 36, pp. 1–82. Am. Math. Soc., Providence (2006)Google Scholar
- 7.Cayley, A.: On certain results relating to quaternions. Math. Pap.
**1**, 123–126 (1889)Google Scholar - 8.Christoffel, E.: Ueber einige allgemeine Eigenschaften der Minimumsflächen. Crelle’s J.
**67**, 218–228 (1867)MathSciNetGoogle Scholar - 9.Carberry, E., Leschke, K., Pedit, F.: Darboux transforms and spectral curves of constant mean curvature surfaces revisited. Ann. Glob. Anal. Geom.
**43**(4), 299–329 (2013)CrossRefzbMATHGoogle Scholar - 10.Darboux, G.: Sur les surfaces isothermiques. C. R. Acad. Sci. Paris
**128**, 1299–1305 (1899)zbMATHGoogle Scholar - 11.Dajczer, M., Tojeiro, R.: All superconformal surfaces in \({\mathbb{ R}}^4\) in terms of minimal surfaces. Math. Z.
**261**, 869–890 (2009)MathSciNetCrossRefzbMATHGoogle Scholar - 12.Eisenhart, L.: Minimal surfaces in Euclidean four-space. Am. J. Math.
**34**(3), 215–236 (1912)MathSciNetCrossRefzbMATHGoogle Scholar - 13.Ejiri, N.: Willmore surfaces with a duality in \({S}^n\)(1). Proc. Lond. Math. Soc.
**3–57**(2), 383–416 (1988)CrossRefzbMATHGoogle Scholar - 14.Ferus, D., Leschke, K., Pedit, F., Pinkall, U.: Quaternionic holomorphic geometry: Plücker formula, Dirac eigenvalue estimates and energy estimates of harmonic 2-tori. Invent. Math.
**146**, 507–593 (2001)MathSciNetCrossRefzbMATHGoogle Scholar - 15.Hitchin, N.: Harmonic maps from a \(2\)-torus to the \(3\)-sphere. J. Differ. Geom.
**31**(3), 627–710 (1990)MathSciNetCrossRefzbMATHGoogle Scholar - 16.Hertrich-Jeromin, U.: Models in Moebius Differential Geometry. Habilitations schrift (2002)Google Scholar
- 17.Hertrich-Jeromin, U., Pedit, F.: Remarks on the Darboux transfoms of isothermic surfaces. Doc. Math. J. DMV
**2**, 313–333 (1997)zbMATHGoogle Scholar - 18.Leschke, K.: Transformations of isothermic surfaces. In preparationGoogle Scholar
- 19.Leschke, K.: Harmonic map methods for Willmore surfaces. Cont. Math.
**542**, 204–212 (2011)MathSciNetzbMATHGoogle Scholar - 20.Leschke, K., Moriya, K.: Applications of quaternionic holomorphic geometry to minimal surfaces. Complex Manifolds
**3**(1), 282–300 (2016)MathSciNetCrossRefzbMATHGoogle Scholar - 21.Leschke, K., Moriya, K.: Simple factor dressing and the Lopez-Ros deformation of minimal surfaces. Math. Z.
**291**, 1015–1058 (2018)CrossRefzbMATHGoogle Scholar - 22.Leschke, K., Romon, P.: Spectral curve of Hamiltonian stationary tori. Calc. Var. Partial Differ. Equ.
**38**(1), 45–74 (2010)CrossRefzbMATHGoogle Scholar - 23.Montiel, S.: Willmore two-spheres in the four sphere. Trans. Am. Math. Soc.
**352**, 4449–4486 (2000)MathSciNetCrossRefzbMATHGoogle Scholar - 24.Moriya, K.: Super-conformal surfaces associated with null complex holomorphic curves. Bull. Lond. Math. Soc.
**41**, 327–331 (2009)MathSciNetCrossRefzbMATHGoogle Scholar - 25.Rigoli, M.: The conformal Gauss map of submanifolds of the Moebius space. Ann. Glob. Anal. Geom
**5**(2), 97–116 (1987)CrossRefzbMATHGoogle Scholar - 26.Uhlenbeck, K.: Harmonic maps into Lie groups (classical solutions of the chiral model). J. Diff. Geom.
**30**, 1–50 (1989)MathSciNetCrossRefzbMATHGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/),which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.