# Harmonic maps into the orthogonal group and null curves

- 28 Downloads

## Abstract

We find algebraic parametrizations of extended solutions of harmonic maps of finite uniton number from a surface to the orthogonal group \({\mathrm {O}}(n)\) in terms of free holomorphic data which lead to formulae for all such harmonic maps. Our work reveals an interesting correspondence between certain harmonic maps and the free Weierstrass representation of null curves and minimal surfaces in 3- and 4-space.

## Keywords

Harmonic map Null curve Weierstrass representation Non-linear sigma model## Mathematics Subject Classification

53C43 58E20## 1 Introduction

*Harmonic maps* are smooth maps between Riemannian manifolds which extremize the ‘Dirichlet’ energy integral (see, for example [16, 37]). They include many interesting classes of mappings, including *geodesics*, *minimal submanifolds* and *harmonic functions*. Harmonic maps from surfaces to Lie groups and their symmetric spaces are of particular interest, as they admit an integrable systems formulation in terms of *extended solutions*, and they constitute the *chiral* or *non-linear *\(\sigma \)*-model* of particle physics, see for example [41].

We give an algorithm (Theorem 3.8) which determines, inductively, algebraic parametrizations of extended solutions of harmonic maps of finite uniton number from a surface to the orthogonal group \(\mathrm {O}(n)\) in terms of free holomorphic data; this determines all such harmonic maps. In contrast to previous work, e.g. [34, Sect. 6], the holomorphic data is *free*. The parametrizations involves no integration: to avoid that, the algorithm replaces the initial choice of data by new data; this gives *global formulae* for the parametrizations. These formulae determine all harmonic maps locally by choosing the free holomorphic data to be meromorphic functions on open subsets of *M*. There are two important cases where all extended solutions, and so harmonic maps, are determined globally by our formulae:

(i) \(S^1\)*-invariant extended solutions for harmonic maps into* \(\mathrm {O}(n)\). These relate to harmonic maps which arise from *twistor constructions*; these have extended solutions which are invariant under the natural \(S^1\)-action of Terng, see [36, Sect. 7]. An early twistor construction was that of Calabi who gave [10, 11] a construction of all harmonic maps from the 2-sphere to real projective spaces or spheres in terms of *totally isotropic holomorphic maps*. We give a correspondence (Theorem 4.3) between \(S^1\)-invariant extended solutions for harmonic maps into \(\mathrm {O}(n)\) of maximum uniton number and such totally isotropic holomorphic maps, and so, harmonic maps to spheres. Using our algorithm, we can give totally explicit global formulae for all these objects (Theorem 4.1).

(ii) *The case *\(n \le 6\). In Sect. 4, by modifying our algorithm in some cases (see, for example, Sect. 4.8c), we find global formulae for all harmonic maps of finite uniton number and their extended solutions from a surface to \(\mathrm {O}(n)\). Our formulae have the following interesting application:

A *null curve* is a holomorphic (or meromorphic) map from a surface to \({\mathbb {C}}^n\) whose derivative is null (isotropic). The real part of a null curve is a *minimal surface* in \({\mathbb {R}}^n\) and all minimal surfaces are given that way, locally. As well as the usual Weierstrass representation involving integration, Weierstrass [38] gave a formula for such null curves in \({\mathbb {C}}^3\), called the *free Weierstrass representation*; de Montcheuil [26] gave a similar formula for \({\mathbb {C}}^4\), thus giving (locally) all minimal surfaces in \({\mathbb {R}}^3\) and \({\mathbb {R}}^4\) without integration. Our parametrizations for \(n=5,6\) lead to correspondences between certain extended solutions for harmonic maps into \(\mathrm {O}(n)\) and null curves (Theorems 5.1, 5.3), where the free Weierstrass data appear very simply in a matrix giving the extended solution.

The starting point is the seminal work of Uhlenbeck [36] who, by introducing a *spectral parameter* \(\lambda \), showed that all harmonic maps from a surface to the unitary group \(\mathrm {U}(n)\) can be obtained, locally at least, from certain maps into its loop group \(\Omega \mathrm {U}(n)\), namely the *extended solutions* mentioned above. If there is an extended solution polynomial in \(\lambda \), the harmonic map is said to be of *finite uniton number*; all harmonic maps from a compact Riemann surface with a globally defined extended solution, and so all harmonic maps from the 2-sphere, are of finite uniton number. Further, Uhlenbeck gave a factorization of a polynomial extended solution into certain linear factors called *unitons*. Using the Grassmannian model of the loop group, Segal [30] showed how to represent an extended solution by a subbundle *W* of a trivial bundle with fibre a Hilbert space, and showed how to find uniton factorizations from a certain natural filtration of *W*. This was put into a general framework in [34], which led to formulae for uniton factorizations including those of [14, 22] (which had been found by different methods). The minimum number of unitons needed to obtain a given harmonic map is called its *uniton number*.

In [7], a different approach was taken by Burstall and Guest using a finer classification than that given by uniton number based on a Bruhat decomposition of the algebraic loop group. This reduced the problem of finding harmonic maps of finite uniton number and their extended solutions into a compact Lie group to solving a sequence of ordinary differential equations in the Lie *algebra*, amounting to successive integrations. They also solve the corresponding equations in the Lie *group* \(\mathrm {U}(n)\) in some special cases of low dimension.

Now any compact Lie group can be embedded in \(\mathrm {U}(n)\), but this imposes conditions on the data so that it can be hard to find, cf. [34, Sect. 6]. Using the framework of [7], we solve this problem for \(\mathrm {O}(n)\) and give an algorithm which is inductive on dimension, finding formulae for extended solutions for the group \(\mathrm {O}(n)\) from those for \(\mathrm {O}(n-2)\) to end up with algebraic formulae for all harmonic maps of finite uniton number and their extended solutions from a surface to \(\mathrm {O}(n)\) of finite uniton number in terms of free holomorphic data. Our method is to interpret the extended solution equations in the Lie group and replace the initial data of Burstall and Guest, which had to be integrated in [7], by data which gives the solution by differentiation and algebraic operations.

Note that it does not seem easy to extend our method to general compact Lie groups; however, a modification of our method has been developed for the symplectic group [27] where harmonic maps and extended solutions were found in [28], but with constrained holomorphic data.

The authors thank Fran Burstall, Joe Oliver, Rui Pacheco, Martin Svensson and the referee for some useful comments on this paper.

## 2 Preliminaries

### 2.1 Harmonic maps into a Lie group

We recall the basic theory of harmonic maps from Riemann surfaces to Lie groups and symmetric spaces. Throughout this paper, all manifolds, bundles, and structures on them, will be taken to be \(C^{\infty }\)-smooth, and all manifolds will be without boundary. *Throughout this paper **M**will denote a Riemann surface*, i.e., a connected 1-dimensional complex manifold, equivalently a (smooth) oriented 2-dimensional manifold with a conformal structure. Since harmonicity of a map from a 2-dimensional manifold only depends on the conformal structure [17, Sect. 4B] (see also, for example, [40, Sect. 1.2]), the concept of harmonicity for a map from a Riemann surface is well defined.

*M*to a Lie group

*G*, we can formulate the harmonicity equations in the following way [23, 36]. For any smooth map \(\varphi :M\rightarrow G\), set \(A^{\varphi }=\tfrac{1}{2}\varphi ^{-1}\mathrm {d}\varphi \); thus \(A^{\varphi }\) is a 1-form with values in the Lie algebra \({\mathfrak {g}}\) of

*G*; in fact, it is half the pull-back of the Maurer–Cartan form of

*G*. Now, any compact Lie group can be embedded in the unitary group \(\mathrm {U}(n)\); such an embedding is totally geodesic. From the composition law [17, Sect. 5A], a smooth map into a totally geodesic submanifold

*N*of a Riemannian manifold

*P*is harmonic into

*N*if and only if it is harmonic as a map into

*P*; thus it is natural to first consider harmonic maps into \(\mathrm {U}(n)\). Let \(\underline{{\mathbb {C}}}^n\) denote the trivial complex bundle \(\underline{{\mathbb {C}}}^n = M \times {\mathbb {C}}^n\), then \(D^{\varphi } = \mathrm {d}+A^{\varphi }\) defines a unitary connection on \(\underline{{\mathbb {C}}}^n\). We decompose \(A^{\varphi }\) and \(D^{\varphi }\) into (1, 0)- and (0, 1)-parts; explicitly, in a (local complex) coordinate domain (

*U*,

*z*), writing \(\mathrm {d}\varphi = \varphi _z \mathrm {d}z + \varphi _{\overline{z}}\mathrm {d}\overline{z}\), \(A^{\varphi } = A^{\varphi }_z \mathrm {d}z + A^{\varphi }_{\overline{z}} \mathrm {d}\overline{z}\), \(D^{\varphi } = D^{\varphi }_z \mathrm {d}z + D^{\varphi }_{\overline{z}} \mathrm {d}\overline{z}\), \(\partial _z = \partial /\partial z\) and \(\partial _{\overline{z}} = \partial /\partial \overline{z}\), we have

*(Koszul–Malgrange) holomorphic structure*[25]

*induced by*\(\varphi \) we mean the unique holomorphic structure on \(\underline{{\mathbb {C}}}^n\) with \(\overline{\partial }\)-operator given on each coordinate domain (

*U*,

*z*) by \(D^{\varphi }_{\overline{z}}\) ; we denote the resulting holomorphic vector bundle by \((\underline{{\mathbb {C}}}^n, D^{\varphi }_{\overline{z}})\). Uhlenbeck [36] provided the following nice formulation of harmonicity:

*a smooth map*\(\varphi :M\rightarrow G\)

*is harmonic if and only if, on each coordinate domain,*\(A^{\varphi }_z\)

*is a holomorphic endomorphism of the holomorphic vector bundle*\((\underline{{\mathbb {C}}}^n, D^{\varphi }_{\overline{z}})\). We call harmonic maps \(\varphi \) and \(\widetilde{\varphi }\) with \(\widetilde{\varphi } = g\varphi \) for some \(g \in \mathrm {U}(n)\)

*(left-)equivalent*; if \(\varphi \) is replaced by an equivalent harmonic map \(\widetilde{\varphi }\), then all the quantities in (2.1) are unchanged.

Let \({\mathbb {N}}= \{0,1,2,\ldots \}\). For any \(N \in {\mathbb {N}}\) and \(k \in \{0,1,\ldots ,N\}\), let \(G_k({\mathbb {C}}^N)\) denote the Grassmannian of *k*-dimensional subspaces of \({\mathbb {C}}^N\); it is convenient to write \(G_*({\mathbb {C}}^N)\) for the disjoint union \(\cup _{k=0,1,\ldots ,N}G_k({\mathbb {C}}^N)\). We shall often identify, without comment, a smooth map \(\varphi :M \rightarrow G_k({\mathbb {C}}^N)\) with the rank *k* subbundle of \(\underline{{\mathbb {C}}}^N = M \times {\mathbb {C}}^N\) whose fibre at \(p \in M\) is \(\varphi (p)\); we denote this subbundle also by \(\varphi \), not underlining this as in, for example, [9, 21, 22].

*V*of \({\mathbb {C}}^n\) we denote by \(\pi _V\) (resp. \(\pi _V^{\perp }\)) orthogonal projection from \({\mathbb {C}}^n\) to

*V*(resp. to its orthogonal complement \(V^{\perp }\)); we use the same notation for orthogonal projection from \(\underline{{\mathbb {C}}}^n\) to a subbundle. The

*Cartan embedding*[12, p. 66] of the complex Grassmannian is given by

*V*with its image \(\iota (V)\); since \(\iota (V^{\perp }) = -\iota (V)\), this identifies \(V^{\perp }\) with \(-V\).

### 2.2 Extended solutions and the Grassmannian model

Let *G* be a compact connected Lie group with complexification \(G^{{\mathbb {C}}}\); denote the corresponding Lie algebras by \({\mathfrak {g}}\) and \({\mathfrak {g}}^{{\mathbb {C}}} = {\mathfrak {g}}\otimes {\mathbb {C}}\).

For any Lie group, we define the *free* and *based loop groups* by \(\Lambda G = \{\gamma :S^1 \rightarrow G : \gamma \text { smooth}\}\) and \(\Omega G = \{\gamma \in \Lambda G : \gamma (1) = e\}\), respectively, where *e* denotes the identity of *G*; their corresponding Lie algebras \(\Lambda {\mathfrak {g}}\) and \(\Omega {\mathfrak {g}}\) are similarly defined. By an *extended solution* [36] we mean a smooth map \(\Phi :M \rightarrow \Omega G\) from a (Riemann) surface which satisfies \(\Phi ^{-1}\Phi _z = (1-\lambda ^{-1})A\) on each coordinate domain (*U*, *z*) for some map \(A:U \rightarrow {\mathfrak {g}}^{{\mathbb {C}}}\). We frequently write \(\Phi _{\lambda }(z) = \Phi (z)(\lambda )\) (\(z \in M\), \(\lambda \in S^1\)). Given an extended solution \(\Phi :M \rightarrow \Omega G\), for any \(g \in G\), \(\varphi = g \Phi _{-1}\) is harmonic with the \(A^{\varphi }_z\) of (2.1) equal to the *A* just defined; \(\varphi \) and \(\Phi \) are said to be *associated * to each other. Any harmonic map on a *simply connected* domain has an associated extended solution. Any two extended solutions \(\Phi \) and \(\widetilde{\Phi }\) associated to the same or equivalent harmonic map are related by a loop: \(\widetilde{\Phi }= \eta \Phi \) where \(\eta \in \Omega G\): we shall say that such extended solutions are *equivalent*; we are interested in finding harmonic maps and extended solutions up to equivalence.

*algebraic loop group*to be the subgroup \(\Omega _{\mathrm{alg}}\mathrm {U}(n)\) of those \(\gamma \in \Omega \mathrm {U}(n)\) given by finite Laurent (i.e., Fourier) series: \(\gamma = \sum _{i=s}^t \lambda ^k S_k\) where \(s \le t\) are integers and the \(S_k\) are \(n \times n\) complex matrices, and define \(\Lambda _{\mathrm{alg}}\mathrm {U}(n)\) similarly. We say that \(\Phi \) has

*finite uniton number*if it is a map from

*M*to \(\Omega _{\mathrm{alg}}\mathrm {U}(n)\); more precisely, the uniton number is defined to be \(t-s\) assuming \(S_s\) and \(S_t\) are non-zero. For \(r \in {\mathbb {N}}\), let \(\Omega _r\mathrm {U}(n)\) denote the set of polynomials of degree at most

*r*:

*finite uniton number*if it has an associated polynomial extended solution \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)\). Then the (\(\mathrm {U}(n)\))

*(minimal) uniton number of*\(\varphi \) is the minimum degree of such a \(\Phi \). Any harmonic map from a

*compact*surface

*M*to \(\mathrm {U}(n)\) which has an associated extended solution defined on the whole of

*M*is of finite uniton number at most \(n-1\) [36]; in particular, this applies to any harmonic map from \(S^2\).

*v*is given by \(\langle v,w\rangle = \sum _i v_i \overline{w}_i\). The natural action of \(\mathrm {U}(n)\) on \({\mathbb {C}}^n\) induces an action on \({\mathcal {H}}\) which is isometric with respect to this \(L^2\) inner product. We consider the closed subspace

*W*of \({\mathcal {H}}\) satisfying \(\lambda ^r{\mathcal {H}}_+ \subset W\subset \lambda ^{s}{\mathcal {H}}_+\,\) for some integers \(r \ge s\); it further restricts to a bijection from \(\Omega _r\mathrm {U}(n)\) to the subset \(Gr_r \subset Gr\) of those \(\lambda \)-closed subspaces

*W*of \({\mathcal {H}}\) satisfying

*W*as a subbundle of the trivial bundle \(\underline{{\mathcal {H}}}:= M \times {\mathcal {H}}\). Then Segal [30] showed that \(\Phi \) is an extended solution if and only if

*W*satisfies two conditions:

*Grassmannian model*of the extended solution \(\Phi \). The assignment \(\Phi \mapsto W=\Phi {\mathcal {H}}_+\) induces a one-to-one correspondence between polynomial extended solutions \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)\) and smooth maps \(W:M \rightarrow Gr_r\) satisfying (2.6).

### 2.3 Complex extended solutions

*complex extended solution*we mean a smooth map \(\Psi :M \rightarrow \Lambda ^*\mathrm {U}(n)^{{\mathbb {C}}}\) which satisfies, on each coordinate domain (

*U*,

*z*),

*Iwasawa decomposition*or

*loop group factorization*of \(\Lambda \mathrm {U}(n)^{{\mathbb {C}}}\) as the product of the two given factors. It also gives an identification between \(\Omega \mathrm {U}(n)\) and the homogeneous space \(\Lambda \mathrm {U}(n)^{{\mathbb {C}}}/\Lambda ^+\mathrm {U}(n)^{{\mathbb {C}}}\); thus \(\Omega \mathrm {U}(n)\) acquires the structure of a complex manifold. From [15], given a complex extended solution \(\Psi \), its projection \(\Phi = [\Psi ]\) onto \(\Omega \mathrm {U}(n)\) is an extended solution; note that this is holomorphic with respect to the complex structure just defined. Further, the corresponding Grassmannian model \(W=\Phi {\mathcal {H}}_+\) is also given by \(W=\Psi {\mathcal {H}}_+\). Conversely, as in [7, 15], any extended solution \(\Phi \) is locally the projection of a complex extended solution.

More generally, we shall say that a meromorphic map \(\Psi :M \rightarrow \Lambda ^*\mathrm {U}(n)^{{\mathbb {C}}}\) is a *meromorphic complex extended solution* if it is a complex extended solution away from its poles. Then we can extend \(W=\Psi {\mathcal {H}}_+\), and so \(\Phi =[\Psi ]\), smoothly over the poles: indeed the columns of \(\Psi \) give meromorphic sections of *W* which span \(W \!\!\mod \lambda W\), i.e., writing *Y* for the span of the columns of \(\Psi \) so that \(Y=\Psi ({\mathbb {C}}^n)\), then \(W = \sum _{i=0}^{\infty } \lambda ^i Y\). Note that *Y*, and so *W*, extend as in [34, Lemma 4.1(ii)]; in fact, the columns of \(\Psi \) form a *meromorphic basis* for *Y*, cf. [14, Sect. 7]. We will continue to write \(\Phi =[\Psi ]\) for the projection of \(\Psi \) onto \(\Omega \mathrm {U}(n)\) even when \(\Psi \) is meromorphic.

The process of finding \(\Phi \) explicitly from \(\Psi \) can be tricky in the general case; however, in the finite uniton number case, \(\Phi \) can be found explicitly from *W* by the formulae in [34], see the next section. Conversely, *given an extended solution *\(\Phi :M \rightarrow \Omega \mathrm {U}(n)\)* of finite uniton number* (*i.e., with values in *\(\Omega _{\mathrm{alg}}\mathrm {U}(n)\)),* there is a meromorphic complex extended solution *\(\Psi :M \rightarrow \Lambda ^*\mathrm {U}(n)^{{\mathbb {C}}}\) with \(\Phi = [\Psi ]\); this follows from Proposition 2.2 below.

### 2.4 Uniton factorizations from extended solutions

Let \(\varphi : M \rightarrow \mathrm {U}(n)\) be a harmonic map. Uhlenbeck called a subbundle \(\alpha \) of \(\underline{{\mathbb {C}}}^n\) a *uniton* (for \(\varphi \)) if (i) \(\alpha \) is holomorphic with respect to the Koszul–Malgrange holomorphic structure induced by \(\varphi \), i.e., \(D^{\varphi }_{\overline{z}}(\sigma ) \in \Gamma (\alpha )\) for all \(\sigma \in \Gamma (\alpha )\); and (ii) \(\alpha \) is closed under the endomorphism \(A^{\varphi }_z\), i.e., \(A^{\varphi }_z(\sigma ) \in \Gamma (\alpha )\) for all \(\sigma \in \Gamma (\alpha )\). She showed [36] that given a harmonic map \(\varphi \) and a uniton \(\alpha \), the product \(\widetilde{\varphi } = \varphi (\pi _{\alpha } - \pi _{\alpha }^{\perp })\) gives a new harmonic map, a process she called *adding a uniton*. If \(\Phi \) is an extended solution, we say that \(\alpha \) is a uniton for \(\Phi \) if it is a uniton for any associated harmonic map \(\varphi = g\Phi _{-1}\)\((g \in \mathrm {U}(n))\); then we have [36, Corollary 12.2]: *given an extended solution *\(\Phi :M \rightarrow \Omega \mathrm {U}(n)\),* a subbundle *\(\alpha \)* of* \(\underline{{\mathbb {C}}}^n\)* is a uniton for *\(\Phi \) *if and only if *\(\widetilde{\Phi } = \Phi (\pi _{\alpha } + \lambda \pi _{\alpha }^{\perp })\) *is an extended solution*.

*polynomial*extended solution (see Sect. 2.2). By a

*uniton factorization*of \(\Phi \) we mean a product:

*partial product*\(\Phi _{i-1} = (\pi _{\alpha _1} + \lambda \pi _{\alpha _1}^{\perp }) \cdots (\pi _{\alpha _{i-1}} + \lambda \pi _{\alpha _{i-1}}^{\perp })\); here we set \(\Phi _0 = I\). Uhlenbeck [36] proved that any polynomial extended solution has a uniton factorization. A tool for finding uniton factorizations was proposed by Segal [30], namely that they are equivalent to certain filtrations; this was developed in [34] where the following terminology was introduced: Let \(\underline{{\mathcal {H}}}_+\) denote the trivial bundle \(M \times {\mathcal {H}}_+\) . By a \(\lambda \)-

*filtration*\((W_i)\)

*of*

*W*we mean a nested sequence

*Segal filtration*\((W_i^S\)) [30] and the

*Uhlenbeck filtration*\((W_i^U)\) [36, Sect. 2.2] given by \(W_i^S = W + \lambda ^i\underline{{\mathcal {H}}}_+\) and \(W_i^U = (\lambda ^{i-r}W) \cap \underline{{\mathcal {H}}}+\). These are obtained by applying the following steps (called \(\lambda \)-

*steps*in [34]) for \(i = r,r-1,\ldots ,2,1\), starting with \(W_r^S = W_r^U = W\):

*alternating filtration*[34, Example 4.5]. Starting with an Uhlenbeck step on \(W =W_r\) , this is given by

*W*. Then [34, Sect. 3] the \(W_i\) satisfy (2.6) so \(W_i = \Phi _i{\mathcal {H}}_+\) for some extended solution \(\Phi _i\). Let \(P_0:{\mathcal {H}}_+ \rightarrow {\mathbb {C}}^n\) denote evaluation at \(\lambda =0\), i.e., \(P_0(\sum \lambda ^i L_i) = L_0\). Then [34, Proposition 2.3],

*setting*

*gives a uniton factorization*(2.8)

*with partial products given by the*\(\Phi _i\) ; all uniton factorizations are given this way [34, Sect. 3]. The formula (2.11) gives

*explicit*formulae for any uniton factorization; these include the formulae of [14, 22] for the Segal and Uhlenbeck factorizations. Applying (2.11) to the alternating filtration gives the

*alternating factorization*which has the useful property in the \(\mathrm {O}(n)\) case that adjacent unitons combine to give real quadratic factors, see [34, Sect. 6.1]. We shall use this factorization in Sect. 4.3ff.

### 2.5 Maps into complex Grassmannians and \(S^1\)-invariant maps

*any harmonic map*\(\varphi :M \rightarrow G_*({\mathbb {C}}^n)\)

*of finite uniton number is of the form*\(\varphi = \Phi _{-1}\)

*for some polynomial extended solution*\(\Phi \) satisfying (2.12), see [34, Sect. 5.1] where bounds on the degree of \(\Phi \) are given. See [21] for more information and explicit formulae.

*invariant*if

*an extended solution*\(\Phi \)

*is*\(S^1\)

*-invariant if and only if it has a uniton factorization*(2.8)

*with nested unitons*:

*for some*

*r*. Further, the \(\alpha _i\) are holomorphic subbundles of \(\underline{{\mathbb {C}}}^n\) which form a

*superhorizontal sequence*(see, for example [34, Definition 3.13]), i.e., for all \(i \in \{0,1,\ldots , r\}\), \(\partial _z(s) \in \Gamma (\alpha _{i+1})\) for all \(s \in \Gamma (\alpha _i)\). The corresponding Grassmannian model \(W =\Phi {\mathcal {H}}_+\) is given by

*twistor fibration*, see [7, Sect. 3] and [8] for the general theory, [35] for further constructions, and Sect. 3.1 for the real case.

*An example of an * \(S^1\) *-invariant extended solution with* \(r=n-1\) * is given by setting * \(\alpha _i =\) *the * \((i-1)\) *th associated curve* \(f_{(i-1)}\) [34, Definition 4.2] *of a full holomorphic* *map * \(f:M \rightarrow {\mathbb {C}}P^{n-1}\).

### 2.6 The method of Burstall and Guest for \(\mathrm {U}(n)\)

The starting point for the theory in [7] is a finer classification than that provided by uniton number by using ‘canonical elements’: Let *G* be a compact connected semisimple Lie group with complexification \(G^{{\mathbb {C}}}\); denote the corresponding Lie algebras by \({\mathfrak {g}}\) and \({\mathfrak {g}}^{{\mathbb {C}}} = {\mathfrak {g}}\otimes {\mathbb {C}}\). Let \(\delta _1, \ldots , \delta _{\ell }\) be a choice of simple roots for some Cartan subalgebra \({\mathfrak {t}}\). Then a *canonical element* (for \({\mathfrak {g}}\)) [7, 8] is an element \(\xi \in {\mathfrak {t}}\) such that \(\delta _j(\xi ) = 0\) or \(\mathrm {i}\ (\,= \sqrt{-1})\) for all *j*. The eigenvalues of \({{\mathrm{ad}}}\xi \) are of the form \(\mathrm {i}k\) where *k* is an integer with \(-r \le k \le r\) where \(r=r(\xi ) = \max \{k : {\mathfrak {g}}_k(\xi ) \ne 0\}\); we define \({\mathfrak {g}}_k={\mathfrak {g}}_k(\xi )\) to be the corresponding eigenspace; we then have \({\mathfrak {g}}^{{\mathbb {C}}} = \sum _{k=-r}^r {\mathfrak {g}}_k\) .

*by a canonical element of*\(\Omega _r\mathrm {U}(n)\)

*we mean a diagonal matrix*\(\xi = \mathrm {i}{{\mathrm{\mathrm {diag}}}}(\xi _1,\ldots ,\xi _n)\)

*where the*\(\xi _i\)

*are*

*non-negative integers satisfying*(2.17). We have a corresponding

*canonical geodesic*\(\gamma _{\xi }:S^1 \rightarrow \mathrm {U}(n)\) defined by \(\gamma _{\xi }(\lambda ) = {{\mathrm{\mathrm {diag}}}}(\lambda ^{\xi _1},\ldots ,\lambda ^{\xi _n})\), thus \(\gamma _{\xi } \in \Omega _r\mathrm {U}(n)\).

The canonical element \(\xi \) is determined by the \((r+1)\)-tuple \((t_0,t_1,\ldots ,t_r)\) of positive integers where \(t_j := \#\{i:\xi _i = j\}\); we call \((t_0,t_1,\ldots ,t_r)\) the *type* of \(\xi \). Note that \(\sum _{j=0}^r t_j =n\); we shall see that the type determines the block structure of the \(n \times n\)-matrices below. In particular, \({\mathfrak {g}}_k^{{\mathbb {C}}} = \{B = (b_{ij}) \in {{\mathfrak {g}}}{{\mathfrak {l}}}(n,{\mathbb {C}}): b_{ij}=0 \ \text { if} \ \xi _i-\xi _j \ne k\}\), i.e., \({\mathfrak {g}}_k^{{\mathbb {C}}}\) consists of matrices with entries zero unless they are on the *k**th block superdiagonal: *\(\xi _i-\xi _j = k\) (if *k* is negative this is below the diagonal). As in [36, Corollary 14.4], \(r \le n-1\); equality is attained by type \((1,1,\ldots ,1)\), in which case \(\xi _i = r+1-i\) and \(\xi _i-\xi _j = j-i\). The example at the end of Sect. 2.5 is of this type.

Write \(\Lambda ^+_{\mathrm{alg}}\mathrm {U}(n)^{{\mathbb {C}}} = \Lambda ^+_{\mathrm{alg}}\mathrm {GL}(n,{\mathbb {C}}) := \Lambda ^+\mathrm {U}(n)^{{\mathbb {C}}} \cap \Lambda _{\mathrm{alg}}\mathrm {U}(n)^{{\mathbb {C}}}\) and similarly for \(\Lambda ^+_{\mathrm{alg}}{\mathfrak {u}}(n)^{{\mathbb {C}}} = \Lambda ^+_{\mathrm{alg}}{{\mathfrak {g}}}{{\mathfrak {l}}}(n,{\mathbb {C}})\). To apply the above to find polynomial extended solutions, and so harmonic maps of finite uniton number into \(\mathrm {U}(n)\), we need

### Definition 2.1

In the sequel, \([ ]\) denotes the projection \(\Lambda \mathrm {U}(n)^{{\mathbb {C}}} \rightarrow \Omega \mathrm {U}(n)\) onto the first factor in the Iwasawa decomposition of Sect. 2.3.

### Proposition 2.2

Let \(\widetilde{\Phi }:M \rightarrow \Omega _{\widetilde{r}}\mathrm {U}(n)\) be a polynomial extended solution for some \(\widetilde{r} \in {\mathbb {N}}\). Then there is an equivalent extended solution \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)\) with \(0 \le r \le \widetilde{r}\), a canonical element \(\xi =\mathrm {i}{{\mathrm{\mathrm {diag}}}}(\xi _1,\ldots ,\xi _n)\) of \(\Omega _r\mathrm {U}(n)\) and a meromorphic map \(A:M \rightarrow {\mathfrak {A}}_{\xi }^{{\mathbb {C}}}\) such that \(\Phi = [A\gamma _{\xi }]\).

Further, *A* and \(\xi \) are uniquely determined by \(\Phi \).

All harmonic maps \(\varphi :M \rightarrow \mathrm {U}(n)\) of finite uniton number have such an associated extended solution \(\Phi \) .

Given a canonical element \(\xi \) of type \((t_0,\ldots , t_r)\), we shall say that \(A:M \rightarrow {\mathfrak {A}}_{\xi }^{{\mathbb {C}}}\), \(\Phi = [A \gamma _{\xi }]\) and the associated Grassmannian model \(W=\Phi {\mathcal {H}}_+\) are of *canonical type*, specifically, *of type *\(\xi \), or *of type *\((t_0,\ldots , t_r)\). Note that \(\Psi =A\gamma _{\xi }\) is a meromorphic extended solution with \(\Phi =[\Psi ]\), see Sect. 2.3, and \(\Phi \) and \(\Psi \) are both polynomial of degree *r* in \(\lambda \).

### Proof

*D*of

*M*such that a complex extended solution \(\Psi :M {\setminus } D \rightarrow \Lambda ^+_{\mathrm{alg}}\mathrm {GL}(n,{\mathbb {C}})\) with \([\Psi ]=\Phi \) is given by \(\Psi = A \gamma _{\xi }\) where \(A = \exp B\) for some holomorphic map \(B:M {\setminus } D \rightarrow {\mathfrak {a}}_{\xi }^{{\mathbb {C}}}\) ; thus

*A*is a holomorphic map from \(M {\setminus } D\) to \({\mathfrak {A}}^{{\mathbb {C}}}_{\xi }\) . Uniqueness of \(\xi \) is from the Bruhat decomposition, cf. [7, Corollary 2.2]; uniqueness of

*B*and so

*A*follows from [7, Proposition 2.7]. Alternatively, Suppose \([\widetilde{A}\gamma _{\xi }] = [A\gamma _{\xi }]\) for \(A,\widetilde{A}:M {\setminus } D \rightarrow {\mathfrak {A}}_{\xi }^{{\mathbb {C}}}\). Then \(\widetilde{A}\gamma _{\xi } = A\gamma _{\xi }B\) for some \(B: M \rightarrow \Lambda ^+\mathrm {U}(n)^{{\mathbb {C}}}\). Then \(B = \gamma _{\xi }^{-1}\widetilde{B}\gamma _{\xi }\) where \(\widetilde{B} = A^{-1}\widetilde{A}\); the matrix

*B*is the product of block upper-triangular matrices, so is block upper-triangular, i.e. \(b_{ij} = \delta _{ij}\) (\(\xi _i \le \xi _j\)). On the other hand, the entries of

*B*below the block diagonal are given by \(b_{ij} = \lambda ^{\xi _j - \xi _i}\widetilde{b}_{ij}\) (\(\xi _i > \xi _j\)) which, since \(\widetilde{B} \in {\mathfrak {A}}_{\xi }^{{\mathbb {C}}}\), has degree at most \((\xi _j - \xi _i) + (\xi _i - \xi _j-1) = -1\), a contradiction to

*B*having values in \(\Lambda ^+\mathrm {U}(n)^{{\mathbb {C}}}\) unless \(b_{ij} = 0\). Hence \(B = I\) and uniqueness is established.

Since \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)\) is holomorphic map to a projective algebraic variety, *B*, and so *A* and \(\Psi = A\gamma _{\xi }\), are meromorphic on *M* as in [7, p. 560].

All harmonic maps of finite uniton number have a polynomial associated extended solution \(\widetilde{\Phi }:M \rightarrow \Omega _{\widetilde{r}}\mathrm {U}(n)\), and so an associated extended solution \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)\) given as described. \(\square \)

### Remark 2.3

- (i)
The method of Burstall and Guest applies to centreless groups, see [13] for a study of extended solutions into groups with centre, using a related notion of ‘

*I*-canonical element’. - (ii)
The matrices

*B*in \({\mathfrak {a}}_{\xi }^{{\mathbb {C}}}\) are nilpotent, and the matrices*A*in \({\mathfrak {A}}_{\xi }^{{\mathbb {C}}}\) are*block unitriangular*by which we mean upper block-triangular with identity matrices on the block diagonal; in particular \(A-I\) is nilpotent. The exponential map \(B \mapsto A = \exp B\) is given by a finite power series in*B*; further, it is surjective with inverse given \(A \mapsto \log A\), a finite power series in \(A-I\). - (iii)We exemplify the form of
*A*by showing it for types (1, 1, 1, 1, 1, 1) (so \(r=5\)) and (1, 2, 2, 1) (so \(r=3\)), respectively: the superscript in the notation \(a_{ij}^{[k]}\) show the maximum degree \(\xi _i-\xi _j-1\) of the polynomial \(a_{ij}\); observe that this equals \(k-1\) on the*k*th block superdiagonal (\(k=1,2,\ldots ,r\)):$$\begin{aligned} A = \left( \begin{array}{c|c|c|c|c|c} 1 &{} a_{12}^{[0]} &{} a_{13}^{[1]} &{} a_{14}^{[2]} &{} a_{15}^{[3]} &{} a_{16}^{[4]} \\ \hline 0 &{} 1 &{} a_{23}^{[0]} &{} a_{24}^{[1]} &{} a_{25}^{[2]} &{} a_{26}^{[3]} \\ \hline 0 &{} 0 &{} 1 &{} a_{34}^{[0]} &{} a_{35}^{[1]} &{} a_{36}^{[2]} \\ \hline 0 &{} 0 &{} 0 &{} 1 &{} a_{45}^{[0]} &{} a_{46}^{[1]} \\ \hline 0 &{} 0 &{} 0 &{} 0 &{} 1 &{} a_{56}^{[0]} \\ \hline 0 &{} 0 &{} 0 &{} 0 &{} 0 &{} 1 \end{array}\right) , \qquad A = \left( \begin{array}{c|cc|cc|c} 1 &{} a_{12}^{[0]} &{} a_{13}^{[0]} &{} a_{14}^{[1]} &{} a_{15}^{[1]} &{} a_{16}^{[2]} \\ \hline 0 &{} 1 &{} 0 &{} a_{24}^{[0]} &{} a_{25}^{[0]} &{} a_{26}^{[1]} \\ 0 &{} 0 &{} 1 &{} a_{34}^{[0]} &{} a_{35}^{[0]} &{} a_{36}^{[1]} \\ \hline 0 &{} 0 &{} 0 &{} 1 &{} 0 &{} a_{46}^{[0]} \\ 0 &{} 0 &{} 0 &{} 0 &{} 1 &{} a_{56}^{[0]} \\ \hline 0 &{} 0 &{} 0 &{} 0 &{} 0 &{} 1 \end{array}\right) . \end{aligned}$$(2.19) - (iv)
The Grassmannian model \(W = \Phi {\mathcal {H}}_+\) is given by \(W = A \gamma _{\xi }{\mathcal {H}}_+\) and so by (2.15) where \(\alpha _i\) is the span of the columns \(c_j\) of

*A*with \(\xi _j < i\) (these \(\alpha _i\) are functions of \(\lambda \) as well as of points of*M*); clearly, the \(\alpha _i\) are nested. The columns of the matrix*A*provide a canonical (a sort of ‘reduced echelon form’) meromorphic basis for \(Y = A \gamma _{\xi }{\mathbb {C}}^n\) (and so for*W*), adapted to the nested sequence \((\alpha _i)\). In the \(S^1\)-invariant case, the \(\alpha _i\) do not depend on \(\lambda \) and are the subbundles (2.14). - (v)
\(\Phi = [A\gamma _{\xi }]\) satisfies the symmetry condition (2.12), and so \(\Phi _{-1}\) is a harmonic map into a Grassmannian, if and only if

*A*is a function of \(\lambda ^2\), i.e., its entries only involve polynomials with even powers of \(\lambda \). Further \(\Phi \) is \(S^1\)-invariant if and only*A*is independent of \(\lambda \). Both statements follow from (iv), Sect. 2.5, and the uniqueness of*A*.

We now give a converse to Proposition 2.2. As above, denote the columns of *A* by \(c_1,\ldots , c_n\) so that \(c_j = (a_{1j},\ldots , a_{nj})^{{\mathrm {T}}}\). We write \(\sum _{j:\,P(j)}\) to mean the sum over all *j* satisfying the condition *P*(*j*); for example, \(\sum _{j:\,\xi _j > \xi _k}\) means the sum over all columns \(c_j\) in the blocks to the left of the block containing \(c_k\). Primes \({}'\) denote derivatives with respect to any local complex coordinate on *M*. Recall the concept of ‘complex extended solution’ from Sect. 2.3.

### Proposition 2.4

*A*satisfy

We shall call any of the above three equations the *extended solution equation *(*for **A*).

### Proof

*U*,

*z*), set

*P*is algebraic, i.e., its entries \(p_{jk}\) are polynomial in \(\lambda \) and \(\lambda ^{-1}\) (with coefficients holomorphic in

*z*); further, from the block structure of

*A*,

*P*is strictly upper block-triangular, i.e., \(p_{jk} = 0\) for \(\xi _j \le \xi _k\), so (2.23) reads

*i*th row, since

*A*is block unitriangular, \(a_{ij} = 0\) for \(\xi _i < \xi _j\), so (2.24) is equivalent to

*Suppose that*\(\Psi \)

*is a complex extended solution.*Then, from (2.7), each \(p_{ik}\) is polynomial in \(\lambda \) (with no \(\lambda ^{-1}\)). We prove by induction on \(\xi _i-\xi _k\) that (*):

*each*\(p_{ik}\)

*is of degree*0

*and equals*\(\rho _{ik}'\).

First, if \(\xi _i-\xi _k =1\), since \(a_{ij} = \delta _{ij}\) when \(\xi _j=\xi _i\), (2.25) reads \(a'_{ik} = p_{ik}\), which establishes (*) since \(a'_{ik}\) has degree 0.

Equation (2.20) follows. Equation (2.21) is the *i*th row of (2.20) and so is equivalent to it.

Now, by definition of \(\rho _{ik}\), the term of maximum possible degree \(\xi _i-\xi _k-1\) on the left-hand side of (2.21) equals the term of that degree, \(\lambda ^{\xi _i-\xi _k -1}\rho '_{ik}a_{ii} = \lambda ^{\xi _i-\xi _k -1}\rho '_{ik}\), on the right-hand side—all other terms in that sum are of degree at most \((\xi _j-\xi _k-1)+(\xi _i-\xi _j-1) = \xi _i-\xi _k-2\). Hence (2.21) holds if and only if it holds \(\mod \lambda ^{\xi _i-\xi _k-1}\), and we can miss out terms of degree \(\xi _i-\xi _k-1\), i.e., those with with \(\xi _i = \xi _j\), in the summation. In particular, (2.21) is equivalent to (2.22).

*Conversely, suppose that *(2.20)* holds.* Then (2.23) holds with each \(p_{jk}\) polynomial in \(\lambda \), so that (2.7) holds and \(\Psi \) is a complex extended solution. \(\square \)

Let \(\xi \) be a canonical element of \(\Omega _r\mathrm {U}(n)\) and let \(({\mathfrak {A}}_{\xi }^{{\mathbb {C}}})_0 = {\mathfrak {A}}_{\xi }^{{\mathbb {C}}} \cap \mathrm {U}(n)\), the group of block unitriangular \(n \times n\) matrices with complex entries. Let \(\mathrm {Sol}_{\xi }^{{\mathbb {C}}}\) (resp. \((\mathrm {Sol}_{\xi }^{{\mathbb {C}}})_0\)) denote the space of meromorphic maps *A* from *M* to \({\mathfrak {A}}_{\xi }^{{\mathbb {C}}}\) (resp. \(({\mathfrak {A}}_{\xi }^{{\mathbb {C}}})_0\)) which satisfy the Eq. (2.20) away from the poles of *A*. Combining Propositions 2.2 and 2.4, we have

### Corollary 2.5

Let \(\xi \) be a canonical element of \(\Omega _r\mathrm {U}(n)\). The assignment \(A \mapsto \Phi =[A\gamma _{\xi }]\) defines a one-to-one correspondence between \(\mathrm {Sol}_{\xi }^{{\mathbb {C}}}\) and the space of extended solutions \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)\) of type \(\xi \). It restricts to a one-to-one correspondence between \((\mathrm {Sol}_{\xi }^{{\mathbb {C}}})_0\) and the space of \(S^1\)-invariant extended solutions \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)\) of type \(\xi \). \(\square \)

### Remark 2.6

- (i)
In (2.21), we take the sum from the diagonal block onwards, as the entries \(a_{ij}\) are zero to the left of that block. However, since we only need this equation to hold \(\mod \lambda ^{\xi _i-\xi _k-1}\), we may additionally omit any entries in that diagonal block; in (2.22), we omit

*all*such entries. - (ii)
An extended solution \(\Phi \) of some type \(\xi \) can be deformed to an \(S^1\)-invariant solution of the same type, called its \(S^1\)-

*invariant limit*, see [7, Sect. 2], and [1] for a treatment of smoothness. For any \(\mu \in {\mathbb {C}}\), define \(A_{\mu }:M \rightarrow {\mathfrak {A}}^{{\mathbb {C}}}_{\xi }\) by \(A_{\mu }(z)(\lambda ) = A(z)(\mu \lambda )\)\((z \in M, \ \lambda \in {\mathbb {C}})\). If*A*satisfies the extended solution Eq. (2.20), so does \(A_{\mu }\) for all \(\mu \in {\mathbb {C}}\) including \(\mu =0\). Then the deformation is implemented by \(\mu \mapsto A_{\mu }\) with \(\mu \) going from 1 to 0. - (iii)
As in Remark 2.3(iv), the Grassmannian model \(W = \Phi {\mathcal {H}}_+\) is given by (2.15) where \(\alpha _i = {{\mathrm{span}}}\{c_j\,: \xi _j < i\}\). In the above deformation, these \(\alpha _i\) tend to the unitons (2.14) of the \(S^1\)-invariant limit.

Equation (2.20) for \(\mathrm {U}(n)\) are easy to solve, see [7, Sect. 4] and [23, Ch. 22]. However, finding all solutions in \(\mathrm {O}(n)\) is not so easy: we turn to that problem now.

## 3 Harmonic maps of finite uniton number into \(\mathrm {O}(n)\)

### 3.1 Generalities on harmonic maps into \(\mathrm {O}(n)\) and its symmetric spaces

Let \(z=x+\mathrm {i}y \mapsto \overline{z} = x-\mathrm {i}y\) denote standard complex conjugation on \({\mathbb {C}}\). To adapt the theory of the last section to \(\mathrm {O}(n)\), we include \({\mathbb {R}}^n\) in \({\mathbb {C}}^n\) so that \({\mathbb {R}}^n = \{(z_1,\ldots ,z_n) \in {\mathbb {C}}^n: \overline{z}_i = z_i \ (i=1,2,\ldots , n)\}\), and then \(\mathrm {O}(n)\) is the subgroup of \(\mathrm {U}(n)\) given by \(\mathrm {O}(n) = \{A\in \mathrm {U}(n) : \overline{A} = A\} = \{A\in \mathrm {U}(n) : A^{{\mathrm {T}}} A = I\}\) where, for \(A=(a_{ij})\), we have \(\overline{A} = (\overline{a_{ij}})\) and \(A^{{\mathrm {T}}} = (a_{ji})\). Similarly \(\Omega \mathrm {O}(n) = \Omega \mathrm {SO}(n) = \{\Phi \in \Omega \mathrm {U}(n): \overline{\Phi } = \Phi \} = \{\Phi \in \Omega \mathrm {U}(n) : \Phi ^{{\mathrm {T}}}\,\Phi = I\}\) where, for \(\Phi = \sum \lambda ^i \Phi _i\), we set \(\overline{\Phi } = \sum \lambda ^{-i}\overline{\Phi _i}\) and \(\Phi ^{{\mathrm {T}}} = \sum \lambda ^i \Phi _i^{{\mathrm {T}}}\) .

*if and only if*\(\overline{W}^{\perp } = \lambda ^{1-r}W\), in which case we say that \(\Phi \) and

*W*are

*real of degree*

*r*.

Let \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) be an extended solution, and set \(W = \Phi {\mathcal {H}}_+\) . *If **r** is even*, then \(\overline{\Phi _{-1}} = \Phi _{-1}\) so that \(\varphi = \pm \Phi _{-1}\) are harmonic maps into \(\mathrm {O}(n)\). By [34, Lemma 6.4], all harmonic maps \(M \rightarrow \mathrm {O}(n)\) of finite uniton number have an extended solution \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) with *r* even, and \(\varphi = \pm \Phi _{-1}\)—note that the (minimal) uniton number of \(\varphi \) may be less than *r* and may be even or odd. *If **r** is odd*, then, following [34, Sect. 6.3], *n* must be even, say \(n = 2m\), and \(\overline{\Phi _{-1}} = -\Phi _{-1}\) so that \(\varphi = \pm \mathrm {i}\Phi _{-1}\) are maps into \(\mathrm {O}(2m)\). In all cases, the alternating factorization [34, Sect. 6.1] of \(\Phi \), which can be calculated from *W* by (2.10), (2.11) and (2.8), gives an explicit factorization into unitons.

The *symmetric spaces* of \(\mathrm {O}(n)\) and \(\mathrm {SO}(n)\) are the real Grassmannians \(G_k({\mathbb {R}}^n) = \mathrm {O}(n)/\mathrm {O}(k) \times \mathrm {O}(n-k) = \mathrm {SO}(n)/{\mathrm {S}}(\mathrm {O}(k) \times \mathrm {O}(n-k))\) with double cover the Grassmannian of oriented subspaces, \(\mathrm {SO}(n)/\mathrm {SO}(k) \times \mathrm {SO}(n-k)\) (\(k=0,1,\ldots , n\)), and, when \(n=2m\), the space \(\mathrm {O}(2m)/\mathrm {U}(m)\) of orthogonal complex structures *J* on \({\mathbb {R}}^{2m}\) and its identity component \(\mathrm {SO}(2m)/\mathrm {U}(m)\). Note that mapping each *J* to its \(\mathrm {i}\)-eigenspace identifies \(\mathrm {O}(2m)/\mathrm {U}(m)\) with the space of all maximally isotropic subspaces of \({\mathbb {C}}^{2m}\). Let \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) be an extended solution which satisfies the symmetry condition (2.12). *If **r** is even*, \(\varphi = \pm \Phi _{-1}\) are harmonic maps of finite uniton number into a real Grassmannian \(G_*({\mathbb {R}}^n)\), all such harmonic maps can be obtained this way [34, Lemma 6.6]; note that \(-\varphi = \varphi ^{\perp }\). If *r* is odd, then *n* is even, and \(\pm \Phi _{-1}\) define harmonic maps of finite uniton number into \(\mathrm {O}(2m)/\mathrm {U}(m)\) for \(m=n/2\); all such harmonic maps are obtained this way [34, Lemma 6.9].

Lastly, let \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) be an extended solution which is \(S^1\)-invariant, i.e., satisfies (2.13). Then \(\Phi \) is given by (2.8) for some superhorizontal sequence (2.14) of holomorphic subbundles of \(\underline{{\mathbb {C}}}^n\) which is *real* in the sense that *the polar * \(\alpha _i^{\circ } := \overline{\alpha _i}^{\perp }\)* of *\(\alpha _i\) *is *\(\alpha _{r+1-i}\)* for all **i*,* equivalently, with *\(\psi _i\)* defined by *(2.16)*, *\(\psi _i = \overline{\psi _{r-i}}\)* for all **i*, see, for example [34, Sect. 6.4]. The corresponding harmonic map \(\varphi :=\Phi _{-1}\) is given by (2.16); it defines a map into a *real* Grassmannian (resp. \(\mathrm {O}(2m)/\mathrm {U}(m)\) with \(n=2m\)) according as *r* is even (resp. odd).

### 3.2 Analysis of harmonic maps into \(\mathrm {O}(n)\)

To analyse further harmonic maps into \(\mathrm {O}(n)\), we equip \({\mathbb {C}}^n\) with its standard symmetric inner product \((x,y) = \sum _{i=1}^n x_i y_i\) for \(x = (x_1,\ldots ,x_n)\), \(y = (y_1,\ldots ,y_n)\). Then the *complexification* \(\mathrm {O}(n,{\mathbb {C}})\) of \(\mathrm {O}(n)\) is given by \(\{ A \in \mathrm {GL}(n,{\mathbb {C}}): A^{{\mathrm {T}}} A = I\}\) where \(A^{{\mathrm {T}}}\) is the linear map characterized by \((Ax,y) = (x,A^{{\mathrm {T}}} y)\)\((x,y \in {\mathbb {C}}^n)\). With respect to the standard basis \(\{e_1=(1,0,0,\ldots ,0),\, e_2=(0,1,0,\ldots ,0), \ldots , e_n = (0,0,\ldots ,0,1)\}\), the matrix for \(A^{{\mathrm {T}}}\) is the usual transpose \((a_{ji})\) obtained from the matrix \(A = (a_{ij})\) by reflection in the principal diagonal \(i=j\). However, calculations are aided by taking a *null basis* \(\{\widetilde{e}_i\}\) for \({\mathbb {C}}^n\), i.e., one with \((\widetilde{e}_i,\widetilde{e}_j) = \delta _{i{\bar{j}}}\) where, for any \(j \in \{1,\ldots , n\}\) we write \({\bar{j}}= n+1-j\). Such a basis is given by \(\widetilde{e}_j = (1/\sqrt{2})(e_j + \mathrm {i}e_{{\bar{j}}})\), \(\widetilde{e}_{{\bar{j}}} = (1/\sqrt{2})(e_j - \mathrm {i}e_{{\bar{j}}})\) for \(j \le n/2\), together with \(\widetilde{e}_{(n+1)/2} = e_{(n+1)/2}\) if *n* is odd. *From now on, we shall write all vectors and matrices with respect to this null basis*; then *the standard symmetric bilinear inner product on* \({\mathbb {C}}^n\)* of *\(v = \sum _j v_j \widetilde{e}_j\)* and *\(w = \sum _j w_j \widetilde{e}_j\) *is given by *\((v,w) = \sum _{j=1}^n v_j w_{{\bar{j}}}\). In this null basis the transpose \(A^{{\mathrm {T}}}\) is represented by the matrix \(A^{{\mathfrak {T}}}\) with entries \((A^{{\mathfrak {T}}})_{ij} = a_{{\bar{j}}{\bar{i}}}\); we shall call this the *second transpose of **A*. This definition makes sense for any (rectangular) matrix; for a square matrix *A*, \(A^{{\mathfrak {T}}}\) is obtained from *A* by reflection in the *second diagonal* \(i = \overline{j}\).

*i*th column of

*A*by \(c_i\). Then \(A \in \mathrm {O}(n,{\mathbb {C}})\) if and only if

*rider*(R):

*if*

*r*

*is odd,*\(\#\{i:\xi _i =1/2\} \ge 2\). This corrects [6, Proposition A.2] which omits the rider and gives a condition (C2) which is incorrect in the \({\mathfrak {o}}(n)\) case. The corresponding eigenspaces of \({{\mathrm{ad}}}\xi \), which we shall denote by \({\mathfrak {g}}_k^{{\mathbb {R}}} = {\mathfrak {g}}_k^{{\mathbb {R}}}(\xi )\), are the intersections with \({\mathfrak {o}}(n,{\mathbb {C}}) = {\mathfrak {o}}(n) \otimes {\mathbb {C}}\) of the eigenspaces \({\mathfrak {g}}_k^{{\mathbb {C}}} = {\mathfrak {g}}_k^{{\mathbb {C}}}(\xi )\) for \({\mathfrak {u}}(n)\) described in Sect. 2.6, thus \({\mathfrak {g}}_k^{{\mathbb {R}}}\) is the

*k*th block superdiagonal \(\xi _i-\xi _j = k\) of \({\mathfrak {o}}(n,{\mathbb {C}})\).

When the \(\xi _i\) are half-integers, the canonical elements above do not exponentiate to geodesics in \(\mathrm {O}(n)\). However, we can work in \(\Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) by adding the constant matrix (*r* / 2)*I* on to each canonical element (cf. Sect. 2.6) to give the following definition.

### Definition 3.1

By a *canonical element of *\(\Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) we mean a diagonal matrix \(\xi = \mathrm {i}{{\mathrm{\mathrm {diag}}}}(\xi _1,\ldots ,\xi _n)\) where the \(\xi _i\) are *integers* with \(\xi _i - \xi _{i+1} = 0\) or 1, \(\xi _1 = r\), \(\xi _n = 0\), \(\xi _{{\bar{i}}} = r-\xi _i\) and, if *r* is odd, we have that (R): \(\xi _{n/2-1}=\xi _{n/2}\).

Recall that, if *r* is odd, *n* is even. In this case, the rider (R) says \(\xi _{n/2-1}=\xi _{n/2} = (r+1)/2\) and \(\xi _{n/2+1}=\xi _{n/2+2} = (r-1)/2\). Noting that the canonical elements of \(\Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) form a subset of those in \(\Omega _r\mathrm {U}(n)\), we may define ‘type’ as in Sect. 2.6. Then the possible types of canonical elements for \(\Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) are \((t_0,t_1, \ldots ,t_r)\) where the \(t_i\) are positive integers such that \(t_i = t_{r-i}\) for all *i*, and (by the rider (R)) if *r* is odd, the two middle entries \(t_{(r-1)/2} = t_{(r+1)/2}\) are at least 2.

### Remark 3.2

- (i)
*When the type is*\((1,t_1,\ldots ,t_{r-1},1)\), \({\mathfrak {g}}_r^{{\mathbb {R}}}\)*is zero.*Indeed, it consists of matrices with only possible non-zero entry in the top-right position, but this is zero by the skew-symmetry (\(B^{{\mathfrak {T}}} = -B\)) of matrices*B*in \({\mathfrak {o}}(n,{\mathbb {C}})\). - (ii)
If

*n*is odd, the maximal uniton number is \(n-1\) attained by type \((1,1,\ldots ,1)\). If*n*is even, the rider (R) shows that this type is not possible, and the maximal uniton number is \(n-2\) attained by type \((1,\ldots ,1,2,1,\ldots ,1)\). This confirms the bounds on the uniton number in [34, Proposition 6.17]; we shall see how to construct extended solutions of all types in Theorem 3.8.

Let \(\xi \) be a canonical element of \(\Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\). Recall the space \({\mathfrak {A}}_{\xi }^{{\mathbb {C}}}\) from Definition 2.1, and set \({\mathfrak {A}}_{\xi }^{{\mathbb {R}}} = {\mathfrak {A}}_{\xi }^{{\mathbb {C}}} \cap \Omega \mathrm {O}(n,{\mathbb {C}})\). Let \(A \in {\mathfrak {A}}_{\xi }^{{\mathbb {R}}}\). By definition of \({\mathfrak {A}}_{\xi }^{{\mathbb {C}}}\), each entry \(a_{ij}\) of *A* above the block diagonal, i.e., with \(\xi _i - \xi _j \ge 1\) , is polynomial of degree at most \(\xi _i-\xi _j-1\). We now show that when \(A \in {\mathfrak {A}}_{\xi }^{{\mathbb {R}}}\), the degrees of the entries \(a_{i{\bar{i}}}\) on the second diagonal which lie above the block *super*diagonal, i.e. with \(\xi _i - \xi _{{\bar{i}}} \ge 2\), are at most one less than this.

### Lemma 3.3

Let \(A \in {\mathfrak {A}}_{\xi }^{{\mathbb {R}}}\). The degree of an element \(a_{i{\bar{i}}}\) of *A* with \(\xi _i-\xi _{{\bar{i}}} \ge 2\) is at most \(\xi _i-\xi _{{\bar{i}}}-2 = r-2\xi _{{\bar{i}}}-2\).

### Proof

Complex-orthogonality (3.2) gives \((c_{{\bar{i}}},c_{{\bar{i}}})=0\). When \(\xi _i-\xi _{{\bar{i}}} \ge 2\), expanding this gives \(2 a_{i{\bar{i}}} = -\sum _{\ell =i+1}^{{\bar{i}}-1} a_{\ell {\bar{i}}} a_{\bar{\ell }{\bar{i}}}\) which equals \(-\sum _{\ell :\xi _{{\bar{i}}}< \xi _{\ell } < \xi _i} a_{\ell {\bar{i}}} a_{\bar{\ell }{\bar{i}}}\) , since \(a_{\ell {\bar{i}}}=\delta _{\ell {\bar{i}}}\) when \(\xi _{\ell }=\xi _{{\bar{i}}}\). The degree of each product in this sum is at most \((\xi _{\ell }-\xi _{{\bar{i}}}-1) + (\xi _{\bar{\ell }}-\xi _{{\bar{i}}}-1)\), which gives the stated bound. \(\square \)

We now give a version of Proposition 2.2 for \(\mathrm {O}(n)\). Let \(\mathrm {Sol}_{\xi }^{{\mathbb {R}}}\) (resp. \((\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0\) ) denote the space of meromorphic maps *A* from *M* to \({\mathfrak {A}}_{\xi }^{{\mathbb {R}}}\) (resp. \(({\mathfrak {A}}_{\xi }^{{\mathbb {R}}})_0\) ) which satisfy the extended solution Eq. (2.20) away from the poles of *A*.

### Proposition 3.4

Let \(\widetilde{\Phi }: M \rightarrow \Omega _{\widetilde{r}}\mathrm {U}(n)^{{\mathbb {R}}}\) be a polynomial extended solution for some \(\widetilde{r} \in {\mathbb {N}}\). Then there is an equivalent extended solution \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) with \(0 \le r \le \widetilde{r}\), a canonical element \(\xi =\mathrm {i}{{\mathrm{\mathrm {diag}}}}(\xi _1,\ldots ,\xi _n)\) of \(\Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) and meromorphic map \(A:M \rightarrow {\mathfrak {A}}_{\xi }^{{\mathbb {R}}}\) such that \(\Phi = [A\gamma _{\xi }]\).

Further, *A* and \(\xi \) are uniquely determined by \(\Phi \), in fact, the assignment \(A \mapsto \Phi =[A\gamma _{\xi }]\) defines a one-to-one correspondence between \(\mathrm {Sol}_{\xi }^{{\mathbb {R}}}\) and the space of extended solutions \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) of type \(\xi \). It restricts to a one-to-one correspondence between \((\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0\) and the space of \(S^1\)-invariant extended solutions \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) of type \(\xi \).

All harmonic maps of finite uniton number \(\varphi :M \rightarrow \mathrm {O}(n)\) have an associated extended solution \(\Phi \in \mathrm {Sol}_{\xi }^{{\mathbb {R}}}\) for some canonical element \(\xi \).

### Proof

Let *C* be the centre of \(\mathrm {SO}(n)\), this is trivial if *n* is odd and \(\{\pm I\}\) if *n* is even; let \(\pi :\mathrm {SO}(n) \rightarrow \mathrm {SO}(n)/C\) be the natural projection. Recall that, if \(\widetilde{r}\) is odd, then *n* is even [34, Sect. 6.3]. Then, in all cases, \(\lambda ^{-\widetilde{r}/2}\,\pi \circ \widetilde{\Phi }:M \rightarrow \Omega (\mathrm {SO}(n)/C)\) is an extended solution. We apply [7, Theorem 4.5] to the centreless group \(\mathrm {SO}(n)/C\) which has Lie algebra \({\mathfrak {o}}(n)\). We set \({\mathfrak {a}}_{\xi }^{{\mathbb {R}}}\) equal to the intersection of the set \({\mathfrak {a}}_{\xi }^{{\mathbb {C}}}\) defined by (2.18) with \(\Lambda {\mathfrak {o}}(n,{\mathbb {C}})\), then \({\mathfrak {a}}_{\xi }^{{\mathbb {R}}}\) is the \({\mathfrak {u}}_{\xi }^0\) of [7, Proposition 2.7] for \({\mathfrak {g}}={\mathfrak {o}}(n)\), and the exponential map sends \({\mathfrak {a}}_{\xi }^{{\mathbb {R}}}\) to \({\mathfrak {A}}_{\xi }^{{\mathbb {R}}}\).

By [7, p. 560] there is an associated extended solution \({\check{\Phi }}:M \rightarrow \Omega (\mathrm {SO}(n)/C)\), canonical element \({\check{\xi }} \in {\mathfrak {o}}(n)\) and meromorphic map \(B:M \rightarrow {\mathfrak {a}}_{\xi }^{{\mathbb {R}}}\) such that, setting \(A = \exp B\), \({\check{\Psi }} = A \gamma _{\check{\xi }}:M \rightarrow \Lambda _{\mathrm{alg}}(\mathrm {O}(n,{\mathbb {C}})/C)\) is a meromorphic complex extended solution with \([{\check{\Psi }}] = {\check{\Phi }}\); explicitly, there is a loop \(\eta \in \Omega \mathrm {O}(n)/C\) such that \(\lambda ^{-\widetilde{r}/2}\pi \circ {\check{\Phi }} = \eta [{\check{A}}\gamma _{\check{\xi }}]\).

Set \(r = 2{\check{\xi }}_n\), then \(\gamma _{\xi } = \lambda ^{r/2}\gamma _{{\check{\xi }}}\) is a canonical element in \(\Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) and \(A\gamma _{\xi }:M \rightarrow \Lambda _{\mathrm{alg}}\mathrm {O}(n,{\mathbb {C}})\) is a complex extended solution. Set \(\Phi = [A\gamma _{\xi }]:M \rightarrow \Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\). Then \(\widetilde{\Phi }\Phi ^{-1}:M \rightarrow \Omega _{\mathrm{alg}}\mathrm {U}(n)\) satisfies \(\pi \circ (\widetilde{\Phi }\Phi ^{-1}) = \eta \lambda ^{(\widetilde{r}-r)/2}\), which is independent of \(z \in M\). Hence \(\widetilde{\Phi }\Phi ^{-1}\) is also independent of *z*, i.e., is a loop in \(\mathrm {U}(n)\), so that \(\Phi \) is equivalent to \(\widetilde{\Phi }\) and we are done. \(\square \)

### Remark 3.5

- (i)
Let

*f*be a holomorphic map \(M \rightarrow \mathrm {O}(2m)/\mathrm {U}(m)\)\((m >1)\) so that*f*is a maximally isotropic holomorphic subbundle of \(\underline{{\mathbb {C}}}^{2m}\), then*f*has polynomial associated extended solution \(\widetilde{\Psi }= \pi _{f} + \lambda \,\pi _{f}^{\perp }:M \rightarrow \Omega _1\mathrm {U}(2m)^{{\mathbb {R}}}\). The above proof constructs the extended solution \(\check{\Phi } = \lambda ^{-1/2}\widetilde{\Psi }= (1/\lambda ^{1/2})\pi _{f} + \lambda ^{1/2}\,\pi _{f}^{\perp }:M \rightarrow \Omega (\mathrm {SO}(2m)/C)\) which can be written in the form \([A\gamma _{\check{\xi }}]\) with \(\check{\xi } = \mathrm {i}{{\mathrm{\mathrm {diag}}}}(1/2,\ldots ,1/2,-1/2,\ldots ,-1/2)\), a canonical element of \({\mathfrak {o}}(2m)\), and*A*as in (4.6). Then \(\Psi = \lambda ^{1/2}\check{\Phi } = \widetilde{\Psi }\) is of the form \([A\gamma _{\xi }]\) with \(\xi =\mathrm {i}{{\mathrm{\mathrm {diag}}}}(1,\ldots ,1,0,\ldots ,0)\), a canonical element of \(\Omega _1\mathrm {U}(2m)^{{\mathbb {R}}}\), and \(A:M\rightarrow {\mathfrak {A}}^{{\mathbb {R}}}_{\xi }\). - (ii)
Given \(\xi \) and \(A \in \mathrm {Sol}_{\xi }^{{\mathbb {R}}}\), we can find the extended solution \(\Phi = [A\gamma _{\xi }]\) and the resulting harmonic map \(\Phi _{-1}\) explicitly from \(W = A\gamma _{\xi }{\mathcal {H}}_+\) as a product of unitons, by using the alternating factorization [34, Sect. 6.1] given by (2.10), (2.11) and (2.8). In the \(S^1\)-invariant case, we have the simpler procedure: set \(\alpha _i = \) the span of the columns \(c_j\) of

*A*with \(\xi _j<i\); then the corresponding factors \(\pi _{\alpha _i} + \lambda \pi _{\alpha _i}^{\perp }\) are unitons which commute and give the Segal, Uhlenbeck and alternating factorizations depending on the order in which they are written.

### 3.3 Adding a border to increase dimension

We will give a method of finding parametrizations of complex extended solutions of finite uniton number from a Riemann surface *M* to \(\mathrm {O}(n)\) by induction on the dimension *n*. Our starting point is Proposition 3.4 which reduces the problem to finding, for each canonical element \(\xi \), all meromorphic maps \(A:M \rightarrow {\mathfrak {A}}_{\xi }^{{\mathbb {R}}}\) satisfying the extended solution Eq. (2.20). We shall give an algorithm for parametrizing such *A*.

So let \(\xi = \mathrm {i}{{\mathrm{\mathrm {diag}}}}(\xi _1,\xi _2, \ldots ,\xi _{n-1},\xi _n)\) be a canonical element of \(\Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) for some \(r \in {\mathbb {N}}\), \(n \ge 3\); denote its type by \((t_0,t_1,\ldots , t_{r-1}, t_r)\). Set \(\widetilde{\xi }= \mathrm {i}{{\mathrm{\mathrm {diag}}}}(\xi _2,\ldots , \xi _{n-1})\). Then, unless it has type (1, 1), \(\widetilde{\xi }\) is a canonical element of \(\Omega _{\widetilde{r}}\mathrm {U}(n-2)^{{\mathbb {R}}}\) whose type \((\widetilde{t}_0, \ldots , \widetilde{t}_{\widetilde{r}})\) is equal to \((t_0\!-\!1,t_1,\ldots , t_{r-1}, t_r\!-\!1)\) with \(\widetilde{r} = r\) if \(t_0\ ( =t_r) \ge 2\), and \((t_1,\ldots , t_{r-1})\) with \(\widetilde{r} = r-2\) otherwise. If \(\widetilde{\xi }\) has type (1, 1) and so is not canonical, then \(n=4\) and \(\xi \) is of type (2, 2); we will treat that case separately.

Given \(A:M \rightarrow \Omega \mathrm {O}(n,{\mathbb {C}})\) with values in \({\mathfrak {A}}_{\xi }^{{\mathbb {R}}}\), the matrix \(\widetilde{A}\) obtained by *removing the border*, i.e., \(\widetilde{A} = (a_{ij})_{i,j=2,\ldots ,n-1}\) defines a map from *M* to \({\mathfrak {A}}_{\widetilde{\xi }}^{{\mathbb {R}}}\). Conversely, given \(\widetilde{A} = (a_{ij})_{i,j=2,\ldots , n-1}:M \rightarrow {\mathfrak {A}}_{\widetilde{\xi }}^{{\mathbb {R}}}\) we define a map \(A:M \rightarrow {\mathfrak {A}}_{\xi }^{{\mathbb {R}}}\) by a process of *adding a border*. This consists of adding a *new top row*\((a_{12}, \ldots , a_{1,n-1})\), *new last column* \((a_{2n}, \ldots , a_{n-1,n})^{{\mathrm {T}}}\) and *new top-right element* \(a_{1n}\), and then completing the border by setting \(a_{i1}=\delta _{i1}\) and \(a_{nj} = \delta _{nj}\) for \(i,j=1,\ldots ,n\). Note that our definitions of ‘new top row’ and ‘new last column’ exclude the new top-right element \(a_{1n}\). Note also that, given \(\widetilde{A}\) and either the new top row or the new last column, we can find the rest of the matrix by imposing the complex-orthogonality (3.2) of the columns \(c_i\) of *A*; in fact, using \((c_i,c_n)=0\) for \(i=2,\ldots , n-1\) in turn gives the new top row from the new last column or vice-versa, and then using \((c_n,c_n) = 0\) gives the new top-right element. We refer to this as completing the matrix *by algebra*. Note that, although removing the border preserves symmetry and \(S^1\)-invariance (by Remark 2.3(v)), adding a border may destroy these, depending on the data chosen.

The following lemma underpins the induction step. For a canonical element \(\xi \) of type \((t_0,\ldots , t_r)\), define integers \(0 = T_{r+1}< T_r< \cdots < T_0 = n\) by \(T_k = \sum _{j=k}^r t_j\). Note that \(\xi _i=k\) precisely when \(T_{k+1} < i \le T_k\).

### Lemma 3.6

- (i)
Suppose that \(A:M \rightarrow {\mathfrak {A}}_{\xi }^{{\mathbb {R}}}\) satisfies the extended solution Eq. (2.20). Then so does \(\widetilde{A}:M \rightarrow {\mathfrak {A}}_{\widetilde{\xi }}^{{\mathbb {R}}}\) .

- (ii)Conversely, suppose that \(\widetilde{A}:M \rightarrow {\mathfrak {A}}_{\widetilde{\xi }}^{{\mathbb {R}}}\) satisfies (2.20). Then the following are equivalent :
- (a)
\(A:M \rightarrow {\mathfrak {A}}_{\xi }^{{\mathbb {R}}}\) satisfies (2.20);

- (b)the entries in the new top row satisfy (2.21), i.e.,$$\begin{aligned} a_{1j}' = \sum _{i:\,\xi _i > \xi _j}\lambda ^{\xi _i-\xi _j-1}\rho _{ij}'a_{1i} \quad \mod \lambda ^{r-\xi _j-1} \qquad (j=T_r,\ldots , n-1); \end{aligned}$$(3.3)
- (c)the entries of the new last column satisfy (2.21), i.e.,$$\begin{aligned} a_{in}' = \sum _{j:\, \xi _i \ge \xi _j > 0}\lambda ^{\xi _j-1}\rho _{jn}'a_{ij} \quad \mod \lambda ^{\xi _i-1} \qquad (i= 2,\ldots , T_1). \end{aligned}$$(3.4)

- (a)

### Proof

*First, suppose that*(c)

*holds*. As usual, let \(c_1,\ldots , c_n\) denote the columns of

*A*; let \(\widetilde{c}_1,\ldots , \widetilde{c}_n\) denote the same columns omitting top and bottom entries, i.e., \(\widetilde{c}_j = (a_{2j}, \ldots , a_{n-1,j})^{{\mathrm {T}}}\) (note that \(\widetilde{c}_1\) has all entries zero). As in Proposition 2.4, hypothesis (c) is equivalent to

As for the first term on the right-hand side of (3.6), by the extended solution Eq. (2.20) for \(\widetilde{A}\), we have \(\widetilde{c}_j' = \sum _{i \ge 2: \xi _i > \xi _j} \lambda ^{\xi _i-\xi _j-1}\rho _{ij}' \widetilde{c}_i\) so that \((\widetilde{c}_j',\widetilde{c}_n) = \sum _{i \ge 2: \xi _i > \xi _j} \lambda ^{\xi _i-\xi _j-1}\rho _{ij}'(\widetilde{c}_i,\widetilde{c}_n)\). Now \((\widetilde{c}_i,\widetilde{c}_n) + a_{1i} = (c_i,c_n)\) which is zero for \(i \ge 2\) by (3.2). Hence, \((\widetilde{c}_j', \widetilde{c}_n) = -\sum _{i \ge 2: \xi _i > \xi _j} \lambda ^{\xi _i-\xi _j-1} \rho _{ij}'a_{1i}\), and then, adding in the second term calculated above, (3.6) gives \(a_{1j}' = \sum _{i \ge 2: \xi _i > \xi _j} \lambda ^{\xi _i-\xi _j-1}\rho _{ij}'a_{1i}\) \(\mod \lambda ^{r-\xi _{j}-1}\), which is equivalent to (b) by Remark 2.6(i).

We also see that (2.20) holds for the top-right entry, indeed, expanding \((c_n,c_n) = 0\) gives \(a_{1n} = -\tfrac{1}{2}( \widetilde{c}_n, \widetilde{c}_n)\). Differentiating this and using (3.5) gives \(a_{1n}' = - \sum _{i:\xi _i> 0} \lambda ^{\xi _i-1}\rho _{in}' (\widetilde{c}_i,\widetilde{c}_n) = \sum _{i:\xi _i > 0} \lambda ^{\xi _i-1}\rho _{in}' a_{1i}\). So * (c) implies that *(2.20)* holds for all columns of **A** including the last, i.e., *(a)* holds*.

*Next, assume that *(b)* holds*. We prove that (c) holds by downward induction on \(i \in [2,T_1]\). For \(T_2 < i \le T_1\) so that \(\xi _i = 1\), (3.4) is trivially true as it says \(a_{in}' = \rho _{in}'\). We may thus use \(I=T_2+1\) as the starting point of our induction.

Substituting (3.10) into (3.9) and then into (3.8) we obtain (3.4) for \(i=I\) completing the induction step, and so (c) holds. This completes the proof of the lemma. \(\square \)

### 3.4 Parametrization of extended solutions for \(\mathrm {O}(n)\)

*generalized derivative*of a meromorphic function \(\nu \) on

*M*we mean a quotient \(\nu '/e\), where \({}'\) denotes derivative with respect to some local complex coordinate

*z*on

*M*and \(e = \sum \beta '_j b_j\) is a finite sum which is not identically zero. Here \(\beta _j\) and \(b_j\) are meromorphic functions on

*M*; note that the quotient \(\nu '/e\) is independent of the choice of complex coordinate

*z*on

*M*. In particular, we shall call a generalized derivative of the form \(\nu '/\beta '\) with \(\beta \) meromorphic and non-constant the

*generalized derivative of*\(\nu \)

*with respect to*\(\beta \); all generalized derivatives are locally of this form. Away from points where \(\beta \) has a pole or \(\beta '\) is zero, \(\beta \) gives an alternative complex coordinate to

*z*and \(\nu '/\beta '\) is the derivative of \(\nu \) with respect to that complex coordinate. When the denominator is unimportant, we shall often denote a generalized derivative by \(\nu ^{(1)}\) and higher generalized derivatives by \(\nu ^{(2)},\nu ^{(3)}, \ldots \), and we set \(\nu ^{(0)} = \nu \); thus for any \(d \ge 1\), \(\nu ^{(d)}\) is the generalized derivative of \(\nu ^{(d-1)}\) given by

*M*. For example, if \(\nu ^{(1)} = \nu '/e_0\) then \(\nu ^{(2)} = (\nu ^{(1)})'/e_1 = (\nu '/e_0)'/e_1\).

Let \({\mathcal {M}}(M)\) denote the space of meromorphic functions on the surface. Let \(\xi \) be a canonical element of \(\Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) for some *r*, set \(p = p(\xi ) = \sum _{k=1}^r \dim {\mathfrak {g}}_k^{{\mathbb {R}}}(\xi )\) and \(p_1 = p_1(\xi ) = \dim {\mathfrak {g}}_1^{{\mathbb {R}}}(\xi )\). Recall the spaces \(\mathrm {Sol}_{\xi }^{{\mathbb {R}}}\) and \((\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0\) from Corollary 2.5.

### Proposition 3.7

The algorithm below defines a mapping \(h = h_{\xi }:{\mathcal {M}}(M)^p \rightarrow \mathrm {Sol}_{\xi }^{{\mathbb {R}}}\). It restricts to an algorithm which defines a mapping \(h_0 = (h_0)_{\xi }: {\mathcal {M}}(M)^{p_1} \rightarrow (\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0\).

### Proof

*We first give the algorithm which defines * \(h_0:{\mathcal {M}}(M)^{p_1} \rightarrow (\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0\)* for any *\(\xi \). This is trivial when \(n=1,2\), as \(\mathrm {O}(n,{\mathbb {C}}) = \{I\}\) so \(\xi =\mathrm {i}I\) and \(\mathrm {Sol}_{\xi }^{{\mathbb {R}}} = (\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0 = \{I\}\). We use these as a base for an induction on the dimension *n*: in the induction step *n* is increased by 2.

*suppose that we have determined*\(\widetilde{h}_0:{\mathcal {M}}(M)^{\widetilde{p}_1} \rightarrow (\mathrm {Sol}_{\widetilde{\xi }}^{{\mathbb {R}}})_0\). We show how to find \(h_0:{\mathcal {M}}(M)^{p_1} \rightarrow (\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0\) explicitly from \(\widetilde{h}_0\). Recall that all \(A:M \rightarrow ({\mathfrak {A}}_{\xi }^{{\mathbb {R}}})_0\) in \((\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0\) are obtained from some \(\widetilde{A}:M \rightarrow ({\mathfrak {A}}_{\widetilde{\xi }}^{{\mathbb {R}}})_0\) in \((\mathrm {Sol}_{\widetilde{\xi }}^{{\mathbb {R}}})_0\) by adding a border as in Sect. 3.3. We shall find a parametrization of the new first row \((a_{12}, \ldots , a_{1,n-1})\) by solving the equation (3.3) which now reads

*for each*\(K = 1,\ldots , n-1-T_{r-1}\),

*there are parameters*\(\nu = (\nu _{K,1},\ldots ,\nu _{K,t_{r-1}})\)

*with each*\(\nu _{K\!\!-1,i}\)

*equal either to*\(\nu _{K,i}\),

*or to a generalized derivative*\(\nu _{K,i}^{(p)}\)

*of*\(\nu _{K,i}\)

*with respect to a function of*\(\mu \),

*such that*

*p*th generalized derivative as explained above. This is established for \(K=1\) by (3.14).

*for some*

*K*

*with*\(2 \le K \le n-1-T_{r-1}\), (3.15)

*holds with*

*K*

*replaced by*\(K\!\!-1\),

*i.e.*,

*p*times gives

We now replace the parameters \(\nu _{K\!\!-1,i}\) by ‘new’ parameters \(\nu _{K,i}\) where the ‘old’ parameters \(\nu _{K\!\!-1,i}\) are given in terms of the new ones as follows. If \(e_i\) is identically zero, \(\nu _{K\!\!-1,i} = \nu _{K,i}\); we call this a *degenerate step* and say that the algorithm is *degenerate* if this ever occurs. Otherwise, \(\nu _{K\!\!-1,i}\) is equal to the generalized derivative \((\nu _{K,i})'/e_i\), so that the integral in (3.17) evaluates to \(\nu _{K,i}\). If not *all* \(e_i\) are identically zero, we may absorb the constant \(c_K\) of integration into one of the new parameters \(\nu _{K,i}\); however, if all \(e_i\) are identically zero, then we cannot. In this case, we remove \(c_K\) by premultiplying *A* by a matrix \(E = (e_{ij}) \in \mathrm {O}(n,{\mathbb {C}})\) which is the identity matrix except that \(e_{1K}=-c\), \(e_{n+1-K,n} = c\) and, if *n* is odd and \(K = (n+1)/2\), \(e_{1n} = -\tfrac{1}{2}c^2\). This does not alter \(\widetilde{A}\) or any previous entries \(a_{1k}\)\((k < K)\) of the new first row. This establishes (3.15) for \(k=K\).

Finally, for \(k < K\) we replace the \(\nu _{K\!\!-1,i}\) in (3.16) by the expressions in terms of \(\nu _{K,i}\) just given, and the induction step is complete. This gives the new first row \((a_{12}, \ldots , a_{1,n-1})\); we complete the matrix finding the new last column \((a_{2n}, \ldots , a_{n-1,n})^{{\mathrm {T}}}\) and new top-right element \(a_{1n}\) by algebra, i.e., imposing that *A* has values in \(\mathrm {O}(n,{\mathbb {C}})\) by using (3.2), see Sect. 3.3. We have now given an algorithm for finding \(h_0:{\mathcal {M}}(M)^{p_1} \rightarrow (\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0\) from \(\widetilde{h}_0\) which completes the induction on dimension.

Note that the subset of data where the algorithm is degenerate at some stage in the induction forms an algebraic subvariety of \({\mathcal {M}}(M)^{p_1}\); define \({\mathcal {M}}(M)^{p_1}_{\widetilde{\text {ND}}}\) to be its complement.

*We now extend the algorithm to define a map *\(h:{\mathcal {M}}(M)^p \rightarrow \mathrm {Sol}_{\xi }^{{\mathbb {R}}}\). We follow the same method of adding a border, then the equations to satisfy for the first row are again (3.3) but now each element is a polynomial in \(\lambda \); we write \(a_{ij}^q\) for the coefficient of \(\lambda ^q\) in \(a_{ij}\). When \(i=1\), for each *j*, \(a_{1j}\) is a polynomial of degree at most \(\xi _i-\xi _j - 1 = r-\xi _j -1\). We now equate coefficients of \(\lambda ^q\) in Eq. (3.12). For the highest possible degree on the left-hand side, \(q = r-\xi _k -1\), there is no equation to satisfy since we are working \(\mod \lambda ^{r-\xi _k-1}\). Thus our initial choice of data for the first row will be \(\{a_{1k}^{r-\xi _k-1} : t_r+1 \le k \le n-1\}\); note that this does not include \(a_{1n}\), which is determined by algebra, see Sect. 3.3. We set \(a_{1k}^{r-\xi _k-1} = \nu ^0_{k-t_r}\)\((k=t_r+1,\ldots , n-1)\) giving our initial choice of parameters \(\nu ^0 = (\nu ^0_1,\ldots , \nu ^0_{n-1-t_r})\).

*j*the sum concerns the coefficient of \(\lambda ^{q-(\xi _j-\xi _k-1)}\) of \(a_{1j}\); since \(q < r-\xi _k-1\), this is at most \(r-\xi _j -1\), the maximum possible power for \(a_{1j}\). Finally note that the condition \(\xi _k \le r-q-1\) is saying that \(a_{1k}\) is in the block where \(\xi _k = r-q-1\) or in a block to the right of that. For clarity, we write out the first three equations of (3.18):

*k*by induction on

*q*with initial data \(\nu ^0\) as above; we omit the details.

Putting the initial data for each new first row together shows that our *initial data* for finding \(A \in \mathrm {Sol}_{\xi }^{{\mathbb {R}}}\) is \(\{a_{ij}^{\xi _i-\xi _j-1} : \xi _i > \xi _j\,, j < {\bar{i}}\, \}\), i.e., the \(\lambda ^q\)-coefficient of each entry of *A* on the part of the \((q+1)\)st block superdiagonal of *A* above the second diagonal, for \(q=0, 1,2,\ldots , r-1\). Note that this initial data is related to that in [7] by the exponential map; it is, however, our *final data* which forms \(\mu \in {\mathcal {M}}(M)^p\).

Again, the subset of (final) data where the algorithm is degenerate at some stage in the induction forms an algebraic subvariety of \({\mathcal {M}}(M)^p\); define \({\mathcal {M}}(M)^p_{\widetilde{\text {ND}}}\) to be its complement. \(\square \)

We now see how the above algorithm gives parametrizations of extended solutions of canonical type: recall that by Proposition 3.4, any extended solution is equivalent to one of canonical type.

### Theorem 3.8

*M*be a Riemann surface. Let \(\xi =\mathrm {i}{{\mathrm{\mathrm {diag}}}}(\xi _1,\ldots ,\xi _n)\) be a canonical element of \(\Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) for some \(r \in {\mathbb {N}};\) set \(p = p(\xi ) = \sum _{k=1}^r \dim {\mathfrak {g}}_k^{{\mathbb {R}}}(\xi )\) and \(p_1 = p_1(\xi ) = \dim {\mathfrak {g}}_1^{{\mathbb {R}}}(\xi )\). Let \(h=h_{\xi }:{\mathcal {M}}(M)^p \rightarrow \mathrm {Sol}_{\xi }^{{\mathbb {R}}}\) and \(h_0 = (h_0)_{\xi }:{\mathcal {M}}(M)^{p_1} \rightarrow (\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0\) be the mappings of Proposition 3.7.

- (i)
The maps

*h*and \(h_0\) are locally surjective up to replacing*A*by*EA*for some constant matrix \(E \in \mathrm {O}(n,{\mathbb {C}})\). - (ii)
The map

*h*restricts to a locally surjective mapping \(h:{\mathcal {M}}(M)^p_{\widetilde{\text {ND}}} \rightarrow (\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_{\widetilde{\text {ND}}}\), \(\mu \mapsto A(\mu )\) to an open dense subset of \(\mathrm {Sol}_{\xi }^{{\mathbb {R}}}\); this map is algebraic in the sense that each entry of \(A(\mu )\) is polynomial in \(\lambda \) with coefficients rational functions of the \(\mu _i\) and their derivatives of order less than or equal to \(n-3\).The extended solution \(\Phi = [A\gamma _{\xi }]:M \rightarrow \Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) corresponding to a choice of \(\mu \in {\mathcal {M}}(M)^p\) is given explicitly by (2.10), (2.11) and (2.8); each entry of \(\Phi \) is polynomial in \(\lambda \) with coefficients rational functions of the \(\mu _i\), their derivatives of order less than or equal to \(n-3\) and the complex conjugates of these.

- (iii)
The map \(h_0\) restricts to a locally surjective mapping \(h_0:{\mathcal {M}}(M)^{p_1}_{\widetilde{\text {ND}}} \rightarrow (\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0^{\widetilde{\text {ND}}}\) to an open dense subset of \((\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0\); this map is algebraic in the sense that each entry of \(A(\mu )\) is a rational function of the \(\mu _i\) and their derivatives of order less than or equal to \(n-3\).

In this case, the extended solution \(\Phi = [A\gamma _{\xi }]:M \rightarrow \Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) corresponding to a choice of \(\mu \in {\mathcal {M}}(M)^{p_1}\) is \(S^1\)-invariant and is given explicitly by (2.8) where \(\alpha _i\) is the span of columns \(c_j\) of

*A*with \(\xi _j < i\).

Note that, since the value of \(h(\mu )\) at a point of *M* only depends on the germ of \(\mu \) at that point, *h* restricts to a map on \({\mathcal {M}}(U)^p\) for any open subset *U* of *M*. To say that *h* is *locally surjective* means that, given an extended solution \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) of type \(\xi \), there is a discrete set *D* of points such that, for any point *p* of \(M {\setminus } D\), there is an open neighbourhood *U* of *p*, such that \(\Phi |_U = h(\mu )\) for some \(\mu \in {\mathcal {M}}(U)^p\) defined on *U*. Similarly for \(h_0\).

### Proof

- (i)
Given a solution, we can read off the values of the

*initial*parameters which give it from its entries, viz. \(\{a_{ij}^{\xi _i-\xi _j-1} : \xi _i > \xi _j\,, j < {\bar{i}}\, \}\). The values of our final parameters \(\mu _i\) can then be found from those initial parameters by a finite number of integrations, and premultiplication by constant matrices in \(\mathrm {O}(n,{\mathbb {C}})\) in the degenerate case. As we can only integrate on a simply-connected open set and must avoid the discrete set of simple poles for every integration, this shows local surjectivity. - (ii)
Let \((\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_{\widetilde{\text {ND}}}\) be the subset of solutions in \(\mathrm {Sol}_{\xi }^{{\mathbb {R}}}\) given locally by the algorithm with no degenerate steps. The rest is clear; similarly for (iii). \(\square \)

Since, by Proposition (3.4), every harmonic map has an associated extended solution \(\Phi \) in \(\mathrm {Sol}_{\xi }^{{\mathbb {R}}}\), and the formulae for \(\Phi \) given by (2.11), (2.10) and (2.8) introduce complex conjugates, we deduce

### Corollary 3.9

All harmonic maps of finite uniton number from a surface to \(\mathrm {O}(n)\) are given locally as rational functions of a finite number of meromorphic functions \(\mu _i\) and their derivatives of order less than or equal to \(n-3\), together with the complex conjugates of those. \(\square \)

### Remark 3.10

- (i)
The algorithm in the proof finds the entries of

*A*in terms of*generalized*derivatives of the \(\mu _i\). However, these may be written in terms of*ordinary*derivatives with respect to a local coordinate (and vice versa). - (ii)
Although, in order to prove local surjectivity we have had to use integration,

*the formulae we obtain for*\(A = h(\mu )\)*are algebraic involving no integration, are globally defined on*\({\mathcal {M}}(M)^p\)*and are independent of local coordinates*. Further, there is a stratification of \({\mathcal {M}}(M)^p\) with top stratum \({\mathcal {M}}(M)^p_{\widetilde{ND}}\), with other strata determined by the list of degenerate steps in the algorithm, with different algebraic formulae on each stratum, see the examples in the next section. - (iii)
We could equally well give an algorithm with induction step which finds the new last

*column*, and then complete the matrix by finding the new first row and top-right element by algebra. That such a process would be equivalent to our method follows from Lemma 3.6. - (iv)
Our algorithm does not modify the parametrization of \(\widetilde{A}\). In the special case \(n=6\) we get nicer parametrizations if we do that, see Sect. 4.8(c) and (e).

## 4 Classifications

We use our algorithm to find all extended solutions \(\Phi :M \rightarrow \Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) of canonical type, and so all harmonic maps \(\varphi :M \rightarrow \mathrm {O}(n)\) of finite uniton number, in two cases: (i) \(S^1\)-invariant solutions of type \((1,1,\ldots ,1)\); (ii) \(n \le 6\). We shall interpret some of the resulting harmonic maps using terminology to be found in older papers, e.g. [2]. In Sect. 4.2, we will discuss how our constructions relate to totally isotropic holomorphic maps. Recall from Remark 3.2(ii) and [34, Sect. 6.3] that (i) if *n* is odd, then the uniton number *r* of \(\varphi \) is even and \(r \le n-1\); (ii) if *n* is even, then \(r \le n-2\).

### 4.1 \(S^1\)-invariant solutions of type \((1,1,\ldots ,1)\)

*n*is odd. In this case, the algorithm of the last section becomes very simple and we can give a clearer statement. When \(n=1\), the only solution is \(A=I\). Otherwise, the extended solution Eq. (2.21) reads

*A*‘in the \({\mathfrak {g}}_1\)-position’, i.e., on the superdiagonal; we shall say that

*A*and the corresponding extended solution \(\Phi =[A\gamma _{\xi _0}]\) are

*non-degenerate*if the superdiagonal elements \(a_{k-1,k}\) of

*A*are non-constant, equivalently their derivatives are not identically zero. The weaker condition of non-degeneracy of \(\widetilde{A}\) is also important; the development below shows that it is equivalent to our algorithm being non-degenerate. In either case, we get the following more precise version of Theorem 3.8.

### Theorem 4.1

*M*be a Riemann surface, \(n =2m+1\)\((m \ge 0)\). Given an

*m*-tuple of meromorphic functions \((\mu _1,\ldots ,\mu _m)\) on

*M*, calculate generalized derivatives \(\mu _i^{(j)}\) and functions \(\rho _1,\ldots ,\rho _{2m}\) inductively for \(i =1,2,\ldots , m\) as follows :

*m*-tuples of meromorphic functions \((\mu _1,\ldots ,\mu _m)\) satisfying the

*non-degeneracy condition:*

Slightly more generally, these formulae define a one-to-one correspondence between the subset \({\mathcal {M}}(M)^m_{\widetilde{ND}} = \{\mu \in {\mathcal {M}}(M)^m: \) (4.3) \(\text { holds for } i=1,\ldots , m-1\}\) and the set \(\{A \in (\mathrm {Sol}^{{\mathbb {R}}}_{\xi _0})_0 : \widetilde{A} \text { is non-degenerate}\}\).

The extended solution \(\Phi = [A \gamma _{\xi _0}]\) is given explicitly by (2.8) where \(\alpha _i\) is the span of the last *i* columns; the corresponding harmonic map \(\varphi =\Phi _{-1}\) is given by (2.16).

### Proof

This is trivially true for \(m=0\), i.e. \(n=1\), where *A* is the \(1 \times 1\) identity matrix, and there are no parameters.

Assume that it is true for *m* replaced by \(m-1\) for some \(m > 0\), thus all solutions \(\widetilde{A} = (a_{ij})_{i,j=2,\ldots , n-1}:M \rightarrow {\mathfrak {A}}_{\widetilde{\xi }_0}^{{\mathbb {R}}}\) to the extended solution Eq. (4.1) are parametrized by an \((m-1)\)-tuple \((\mu _1,\ldots ,\mu _{m-1})\) in the fashion described by the theorem. Following our algorithm, we add a border to give a square matrix *A* of size *n*. As usual, it suffices to find the new first row \((a_{11},\ldots , a_{1,n-1})\) by solving (4.1) for \(i=1\). Of course, \(a_{11} = 1\), and the next entry \(a_{12}\) satisfies no equation so we initially parametrize it by \(\nu _0 = a_{12}\). If \(n=3\), there are no equations to satisfy and we complete the matrix by algebra, i.e. by using (3.2), see Example 4.2 below.

Otherwise, the first equation to satisfy in (4.1) is \(a_{13}' = \rho _{23}'a_{12} = \rho _{23}'\nu _0\). To integrate this, we replace \(\nu _0\) by a new parameter \(\nu _1 = a_{13}\) and set \(\nu _0 = (\nu _1)^{(1)} :=(\nu _1)'/\rho _{23}'\). Substituting for \(\nu _0\) in the expression \(a_{12} = \nu _0\) gives \(a_{12} = (\nu _1)^{(1)}\). Inductively, to solve the *K*th equation \(a_{1,K+2}' = \rho _{K+1,K+2}'a_{1,K+1}\), replace \(\nu _{K\!\!-1}\) by a new parameter \(\nu _K = a_{1,K+2}\) and set \(\nu _{K\!\!-1} = (\nu _K)^{(1)} := (\nu _K)'/\rho _{K+1,K+2}'\), giving \((a_{12},a_{13}, \ldots , a_{1,K+2}) = \bigl ((\nu _K)^{(K)},(\nu _K)^{(K\!\!-1)}, \ldots , \nu _K \bigr )\).

### Example 4.2

*A*is parametrized by \((\mu _1,\mu _2,\mu _3)\) and its last column and top-right entry \(a_{67},\ldots , a_{17}\) can be calculated from \((c_7, c_i)=0\) for \(i=2\ldots ,7\); in particular \(a_{67} = -\mu _3^{(4)}\); the other entries \(a_{i7}\) are polynomial in the \(\mu _i\) and their derivatives: we leave the reader to work these out.

*E*as in the algorithm, we can make it 0 and we obtain the middle \(5 \times 5\) matrix in the right-hand matrix below. Then, if \(\mu _2\) is constant, again we can make it zero and we obtain the left-hand \(7 \times 7\) matrix; if \(\mu _2\) is not constant, we obtain the right-hand matrix.

### 4.2 Totally isotropic maps and extended solutions

We now see how the extended solutions constructed in the last section relate to other interesting maps. Recall ([39], see also [34, Example 4.7]) that a harmonic map \(f:M \rightarrow G_*({\mathbb {C}}^n)\) generates a *harmonic sequence* \(G^{(i)}(f)\) \((i \in {\mathbb {Z}})\) of *Gauss bundles* or *transforms*, all harmonic maps. By the *(complex) isotropy order* of a *harmonic* map \(f:M \rightarrow {\mathbb {C}}P^{n-1}\), we mean the maximum *r* such that *f* is perpendicular to \(G^{(i)}(f)\) for \(i=1,\ldots ,r\), equivalently [9, Lemma 3.1], the maximum *r* such that \(G^{(i)}(f)\) is perpendicular to \(G^{(j)}(f)\) for all \(i, j \in {\mathbb {Z}}\) with \(0 < |i - j| \le r\).

*real isotropy order*of a full

*holomorphic*map \(f=[F]:M \rightarrow {\mathbb {C}}P^{n-1}\) we mean the maximum integer \(t \ge -1\) such that

*f*and \(F^{(i)}\) denotes the

*i*th derivative with respect to a local complex coordinate: the definition is independent of choice of

*F*and of local coordinate. Differentiation shows that, if \((F^{(s)}, F^{(s)}) = 0\) for some

*s*, then also \((F^{(s+1)}, F^{(s)}) = 0\). It follows that

*t*is odd, i.e. \(t=2s+1\) for some \(s \ge -1\); note that \((F,F) = 0 \iff s \ge 0\). The largest possible value of

*s*is \([(n-3)/2]\): in that case fullness implies that

*n*is odd and \(t=n-2\), and we say that

*f*is

*totally isotropic*[18]. Note that the real isotropy order

*t*is not the same as the complex isotropy order: indeed, the latter is infinite for a holomorphic map. However, if

*f*is a holomorphic map of real isotropy order \(t \ge 0\), the map \(f \oplus \overline{f}:M \rightarrow G_2({\mathbb {R}}^n)\) is a harmonic map called a

*real mixed pair*; by [2, Lemma 2.14] this has complex isotropy order

*t*.

In [10, 11], Calabi showed how that all harmonic maps into \({\mathbb {R}}P^{2m}\) or \(S^{2m}\) can be obtained from totally isotropic holomorphic maps, giving the bijections between (ii), (iii) and (iv) below; in particular, the bijection from (ii) to (iii) is given by \(f \mapsto G^{(m)}(f)\). We now explain how these relate to polynomial extended solutions of harmonic maps into \(\mathrm {O}(2m+1)\) of type \((1,1,\ldots ,1)\), and so of the maximum possible uniton number 2*m*. The corresponding canonical element is \(\xi _0 = \mathrm {i}{{\mathrm{\mathrm {diag}}}}(2m,2m-1,\ldots , 1,0)\).

### Theorem 4.3

*M*be a Riemann surface and \(n =2m+1 \ge 3\) an odd integer. The following sets are in one-to-one correspondence :

- (i)
non-degenerate \(S^1\)-invariant extended solutions \(\Phi :M \rightarrow \Omega _{n-1}\mathrm {U}(n)^{{\mathbb {R}}}\) of type \((1,1,\ldots ,1);\)

- (i)’
non-degenerate solutions \(A:M \rightarrow ({\mathfrak {A}}_{\xi _0}^{{\mathbb {R}}})_0\) to the extended solution Eq. (2.20);

- (ii)
full totally isotropic holomorphic maps \(f:M \rightarrow {\mathbb {C}}P^{n-1};\)

- (iii)
full harmonic maps \(\varphi :M \rightarrow {\mathbb {R}}P^{n-1};\)

- (iv)
antipodal pairs \(\pm \widetilde{\varphi }:M \rightarrow S^{n-1}\) of full harmonic maps.

*m*-tuples \((\mu _1,\ldots ,\mu _m)\) of meromorphic functions satisfying the non-degeneracy condition (4.3).

### Proof

By Proposition 3.4, the map \(\Phi = [A\gamma _{\xi _0}]\) defines a bijection between (i) and (i)\('\). Given *A* in (i)\('\), its last column gives a full totally isotropic holomorphic map *f*; indeed, each associated curve \(f_{(i)}\) is the span of the last \(i+1\) columns of *A*, so that *f* is full and (4.5) holds for \(t = n-2\); thus *f* is in set (ii).

Conversely, given *f* in (ii), we can write \(f = [F]\) where \(F = (F_0,F_1,\ldots , F_{n-1})\) is meromorphic with \(F_0 = 1\); define the last column of *A* by \(c_n = F^{{\mathfrak {T}}}\), i.e., \(a_{in} = F_{n-i}\)\((i=1,\ldots , n)\). Then, for \(j=n-1,n-2, \ldots , 1\), define the *j*th column of *A* by \(c_j = c_{j+1}'/a_{j,j+1}'\); by fullness, no denominator is identically zero; this gives *A* in (i)\('\).

The last statement follows by parametrizing set (i) as in Theorem 4.1. \(\square \)

### 4.3 Uniton number at most 2

In this case, we find all harmonic maps completely explicitly, as follows. In the sequel, all uniton factorizations will be the alternating factorization, see Sect. 2.4.

### Proposition 4.4

- (i)
A harmonic map \(\varphi :M \rightarrow \mathrm {O}(n)\) has uniton number 0 if and only if it is constant; in particular, any harmonic map with \(n \le 2\) is of this type. It has an associated extended solution \(\Phi =[A\gamma _{\xi }] = I\) of type (

*n*) given by \(\xi = 0\) and \(A = \gamma _{\xi } = I\). We shall refer to this as the*trivial solution*. - (ii)
A harmonic map \(\varphi :M \rightarrow \mathrm {O}(n)\) has uniton number 1 if and only if \(n=2m\) for some

*m*, and up to left-multiplication by a constant matrix in \(\mathrm {O}(2m)\), it is a holomorphic map into \(\mathrm {O}(2m)/\mathrm {U}(m)\). More precisely, \(\varphi = \mathrm {i}(\pi _V - \pi _V^{\perp }) = \mathrm {i}(\pi _V - \pi _{\overline{V}})\) where*V*is a maximally isotropic holomorphic subbundle of \(\underline{{\mathbb {C}}}^n;\) \(\varphi \) has associated extended solution \(\Phi = \pi _V + \lambda \pi _V^{\perp }\) with \(\varphi = \mathrm {i}\Phi _{-1}\).

### Proof

(i) Evident, since it has a polynomial associated extended solution of degree 0, which must equal the identity matrix. When \(n \le 2\) this is the only element of \(\mathrm {O}(n,{\mathbb {C}})\).

*m*,

*m*) for some

*m*, so \(n=2m\) and \(\xi = \mathrm {i}{{\mathrm{\mathrm {diag}}}}(1,\ldots ,1,0,\ldots ,0)\), which gives the canonical geodesic \(\gamma _{\xi } = {{\mathrm{\mathrm {diag}}}}(\lambda ,\ldots ,\lambda ,1,\ldots ,1)\). Now, any solution \(A:M \rightarrow \mathrm {O}(2m,{\mathbb {C}})\) to (2.20) with \(r=1\) is of the form

*V*is the span of the last

*m*columns of

*A*, a maximally isotropic subbundle of \(\underline{{\mathbb {C}}}^n\), equivalently a holomorphic map from

*M*to \(\mathrm {O}(2m)/\mathrm {U}(m)\) (see Sect. 3.1); this

*W*corresponds to the stated extended solution. \(\square \)

See Sects. 4.6(a) and 4.8(b) for examples of this type. We next discuss extended solutions of harmonic maps of uniton number 2. Such a harmonic map has an associated polynomial extended solution of canonical type and of degree 2, so it suffices to discuss those.

### Proposition 4.5

- (i)Any extended solution \(\Phi :M \rightarrow \Omega _2\mathrm {U}(n)^{{\mathbb {R}}}\) of canonical type has a uniton factorization of the formwhere$$\begin{aligned} \Phi = (\pi _X + \lambda \pi _X^{\perp })(\pi _V + \lambda \pi _V^{\perp }) \end{aligned}$$(4.7)
*X*and*V*are holomorphic subbundles of \(\underline{{\mathbb {C}}}^n\) with \(X^{\perp }\) and*V*isotropic and \(\pi _V X = V\).This is \(S^1\)-invariant if and only if*X*is the polar \(V^{\circ } = \overline{V}^{\perp }\) of*V*, in which case*X*,*V*and \(\overline{V}\) all commute and (4.7) readsThe corresponding harmonic map is then \(\varphi = \Phi _{-1} = V \oplus \overline{V}:M \rightarrow G_{2s}({\mathbb {C}}^n)\) (where \(s={{\mathrm{rank}}}V\)), which is a (higher dimensional)$$\begin{aligned} \Phi = \lambda (\pi _{\overline{V}} + \lambda ^{-1}\pi _{\overline{V}}^{\perp })(\pi _V + \lambda \pi _V^{\perp }) = \lambda (\pi _V + \lambda \pi _V^{\perp })(\pi _{\overline{V}} + \lambda ^{-1}\pi _{\overline{V}}^{\perp }). \end{aligned}$$(4.8)*real mixed pair*[2], and has (minimal) uniton number 2 unless*V*is constant. - (ii)
All extended solutions \(\Phi :M \rightarrow \Omega _2\mathrm {U}(n)^{{\mathbb {R}}}\) of type \((1,t_1,1)\) are \(S^1\)-invariant, and so are of the form (4.8) with \({{\mathrm{rank}}}V=1\); the corresponding harmonic maps \(\varphi = V \oplus \overline{V}\) are real mixed pairs.

### Proof

- (i)
Write \(\Phi = [A\gamma _{\xi }]\); note that the type must be \((t_0,t_1,t_0)\) for some \(t_0, t_1\) with \(2t_0 + t_1 = n\). For each

*j*, write the*j*th column of*A*as \(c_j = c_j^0 + \lambda c_j^1\), note \(c_j^1=0\) for all \(j \le t_0+t_1\). Set \(X = {{\mathrm{span}}}\{c_j^0 : t_0 < j \le n\}\) and \(\widetilde{V} = {{\mathrm{span}}}\{c_j = c_j^0+ \lambda c_j^1 : t_0+t_1 < j \le n\}\). Then the Grassmannian model \(W = A\gamma _{\xi }{\mathcal {H}}_+\) is \(W = \widetilde{V} + \lambda X + \lambda ^2 {\mathcal {H}}_+\) so, from (2.10), (2.11) and (2.8), the alternating uniton factorization is given by (4.7) where \(V = {{\mathrm{span}}}\{c_j^0 + \pi _X^{\perp }c_j^1 : t_0+t_1 < j \le n\}\).This is \(S^1\)-invariant if and only if \(c_j^1 = 0\) for all \(t_0+t_1 <j \le n\), equivalently

*X*is the polar of*V*. Then \((V,X)=(V,V^{\circ })\) is a \(\partial '\)-*pair*in the sense of [20]. Thus the Grassmannian model \(W = A\gamma _{\xi }{\mathcal {H}}_+\) is \(W = V + \lambda V^{\circ } + \lambda ^2 \underline{{\mathcal {H}}}_+\), giving extended solution (4.8). - (ii)
By Lemma 3.3, the maximum degree of any term of

*A*is 0, giving an \(S^1\)-invariant extended solution. \(\square \)

### 4.4 All extended solutions for *n* at most 6

We will now find all extended solutions of canonical type for \(n \le 6\). To do this we find all solutions \(A:M \rightarrow {\mathfrak {A}}_{\xi }^{{\mathbb {R}}}\) to (2.20) by our algorithm; we can then compute the corresponding extended solutions \(\Phi =[A\gamma _{\xi }]\) using the formulae in Sect. 2.4, or Sect. 2.5 in the \(S^1\)-invariant case. By modifying our algorithm, and so the mappings *h* and \(h_0\) in some cases, we obtain the following improvement of Theorem 3.8 where ‘locally surjective’ is replaced by ‘surjective’, or even, ‘bijective’.

### Theorem 4.6

*M*be a Riemann surface and let \(n \le 6\). Let \(\xi =\mathrm {i}{{\mathrm{\mathrm {diag}}}}(\xi _1,\ldots ,\xi _n)\) be a canonical element of \(\Omega _r\mathrm {U}(n)^{{\mathbb {R}}}\) for some \(r \in {\mathbb {N}};\) set \(p = p(\xi ) = \sum _{k=1}^r \dim {\mathfrak {g}}_k^{{\mathbb {R}}}(\xi )\) and \(p_1 = p_1(\xi ) = \dim {\mathfrak {g}}_1^{{\mathbb {R}}}(\xi )\). There are maps \(h=h_{\xi }:{\mathcal {M}}(M)^p \rightarrow \mathrm {Sol}_{\xi }^{{\mathbb {R}}}\) and \(h_0 = (h_0)_{\xi }:{\mathcal {M}}(M)^{p_1} \rightarrow (\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_0\) such that

- (i)
*h*and \(h_0\) are*surjective*up to replacing*A*by*EA*for some constant matrix \(E \in \mathrm {O}(n,{\mathbb {C}});\) - (ii)
*h*restricts to a*bijective*map \(h:{\mathcal {M}}(M)^p_{\widetilde{\text {ND}}} \rightarrow (\mathrm {Sol}_{\xi }^{{\mathbb {R}}})_{\widetilde{\text {ND}}}\), \(\mu \mapsto A(\mu )\) to an open dense subset of \(\mathrm {Sol}_{\xi }^{{\mathbb {R}}}\); this map is algebraic in the sense that each entry of \(A(\mu )\) is polynomial in \(\lambda \) with coefficients rational functions of the \(\mu _i\) and their derivatives of order less than or equal to \(n-3\).

We shall show this for each dimension in turn, concentrating on non-degenerate cases; the reader can easily calculate degenerate cases as in Example 4.2. Dimensions \(n=1\) and 2 are trivial, see Proposition 4.4, so we start with \(n=3\).

### 4.5 Dimension n = 3

Note that, if *g* is constant, then \(\varphi \) is constant and has (minimal) uniton number 0, otherwise it has uniton number 2.

### 4.6 Dimension n = 4

There are two non-trivial types, as follows.

**Type (2,2)**. Here \(r=1\) and \(\xi = \mathrm {i}{{\mathrm{\mathrm {diag}}}}(1,1,0,0)\), and, as in Proposition 4.4(ii),

*g*on

*M*. Then \(W = V \oplus \lambda \underline{{\mathcal {H}}}_+\), where

*V*is the maximally isotropic subbundle of \(\underline{{\mathbb {C}}}^4\) spanned by the last two columns \(c_3\) and \(c_4\) of

*A*and the extended solution \(\Phi =[A\gamma _{\xi }]\) is \(\Phi =\pi _V+\lambda \pi _V^{\perp }\). The corresponding harmonic map \(\Phi _{-1}\) is the holomorphic map \(V:M \rightarrow \mathrm {O}(4)/\mathrm {U}(2)\). More explicitly, it is the composition:(b)

**Type (1,2,1)**. Here \(r=2\), the maximum possible for \(n=4\), and \(\xi = \mathrm {i}{{\mathrm{\mathrm {diag}}}}(2,1,1,0)\). We obtain the solution by adding a border to the unique solution \(\widetilde{A}=I\) of type (2). Then we have two new entries \(a_{12}\), \(a_{13}\) in the \({\mathfrak {g}}_1\)-position (i.e., on the block superdiagonal), we set \(a_{12} = -g_1\), \(a_{13} = -g_2\) where \(g_1,g_2\) are arbitrary meromorphic functions. Filling in the last column by algebra (see Sect. 3.3) gives

*h*denote the span of the last column \(c_4\), thus \(h = [1,g_1,g_2,-g_1g_2]^{{\mathfrak {T}}}\) where \(^{{\mathfrak {T}}}\) denotes the second transpose as in Sect. 3.2; by (3.2) the polar \(h^{\circ } = \overline{h}^{\perp }\) of

*h*is the span of the last three columns. The above

*A*gives \(W = h \oplus \lambda h^{\circ } \oplus \lambda ^2\underline{{\mathcal {H}}}_+\), and as in Proposition 4.5, the corresponding extended solution is

### Proposition 4.7

- (i)
every extended solution of canonical type \(M \rightarrow \Omega \mathrm {O}(n)\) is \(S^1\)-invariant;

- (ii)
in particular, every extended solution of canonical type \(M \rightarrow \Omega \mathrm {O}(n)\) satisfies the symmetry condition (2.12), and so the corresponding harmonic map \(\varphi = \Phi _{-1}\) maps into a real Grassmannian or into \(\mathrm {O}(2m)/\mathrm {U}(m)\) with \(n = 2m\).

That neither statement is true for \(n=5\) is shown by the examples in Sect. 4.7(a) and (c) below.

Note that the proposition together with the last statement of Proposition 3.4 shows that *every harmonic map of finite uniton number from a surface to *\(\mathrm {O}(n)\)* with *\(n \le 4\)* has an associated extended solution which is *\(S^1\)*-invariant*.

### 4.7 Dimension n = 5

All solutions are obtained from one of the two \(n=3\) cases of Sect. 4.5, i.e., type (3) or type (1,1,1), by adding a border. This gives three non-trivial types, as follows.

**Type (2,1,2)**. Here \(r=2\) and \(\xi = \mathrm {i}{{\mathrm{\mathrm {diag}}}}(2,2,1,0,0)\). We apply the algorithm in the proof of Theorem 3.8 to obtain this case from the (1, 1, 1) case (4.9); we shall give the details in the non-degenerate case, i.e., when

*g*is non-constant. We have one new entry \(a_{13}\) in the \({\mathfrak {g}}_1\)-position; we initially set this equal to an arbitrary meromorphic function \(\nu _1\). Write \(a_{14} = a_{14}^0 + \lambda a_{14}^1\). Then \(a_{14}^1\) is arbitrary, say \(\sigma \), and \(a_{14}^0\) satisfies \((a_{14}^0)' = -g' a_{13}\) \(\mod \lambda \). According to the algorithm, to integrate this, we replace our initial choice \(\nu _1\) of parameter by a new parameter \(\nu = a_{14}^0\) so that \(\nu _1 = \nu ^{(1)}\), where generalized derivatives \(\nu ^{(d)}\) are taken with respect to

*g*. As no further integrations are necessary, \(\nu \) is our final parameter. Then, filling in the last column by algebra, i.e., using \((c_i,c_5)=0\) for \(i=3,4,5\) (see Sect. 3.3), we obtain

*h*and its derivative, thus \(\varphi = h_{(1)} \oplus \overline{h_{(1)}}: M \rightarrow G_4({\mathbb {R}}^5)\). Its orthogonal complement is the harmonic map \(\varphi ^{\perp }:M \rightarrow {\mathbb {R}}P^4\) given by the middle vertex of the following harmonic sequence—by being careful with orientations \(\varphi ^{\perp }\) actually defines a map into \(S^4\).

### Remark 4.8

This example is equivalent to that of [34, Example 6.21]. The reality conditions (i)–(iii) of that example, which were hard to solve using the methods of [34], are automatically satisfied by our method.

**Type (1,3,1)**, so \(r=2\). This is obtained from \(n=3\), type (3), i.e., the identity matrix, by adding a border givingThe resulting extended solution and harmonic map are described by Proposition 4.5(ii).

**Type (1,1,1,1,1)**. Here \(r=4\) and \(\xi = \mathrm {i}{{\mathrm{\mathrm {diag}}}}(4,3,2,1,0)\). As in the (2, 1, 2) case above, we apply the algorithm in the proof of Theorem 3.8 to obtain this case from the (1, 1, 1) case (4.9). As in Theorem 4.1, this shows that any \(S^1\)-invariant extended solution with middle \(3 \times 3\) matrix \(\widetilde{A}\) non-degenerate, i.e.,

*g*non-constant, has a complex extended solution \(\Psi = A\gamma _{\xi }\) where

*g*and \(\nu _1\) with

*g*non-constant, and generalized derivatives are taken with respect to

*g*. When \(\widetilde{A}\) is degenerate, i.e.

*g*is constant, we obtain a simpler formula, see Example 4.2.

Note that *A* itself is non-degenerate if and only if both *g* and \(\nu _1^{(2)}\) are non-constant; equivalently, the last column spans a full holomorphic map \(h:M \rightarrow {\mathbb {C}}P^n\). Then \(\varphi =\Phi _{-1}\) is the harmonic map \(\varphi = h \oplus G^{(2)}(h) \oplus G^{(4)}(h)\); as in Theorem 4.3, *h* totally isotropic, i.e., \(G^{(4)}(h) = \overline{h}\), so that \(\varphi \) is a harmonic map into the *real* Grassmannian \(G_3({\mathbb {R}}^5)\). Also, \(G^{(2)}(h)\) defines a harmonic map into \({\mathbb {R}}P^4\) and into its double cover \(S^4\). Finally note that the middle three components of *h* give a ‘null curve’ in \({\mathbb {C}}^3\), see Sect. 5.1.

When \(H_1 \equiv 0\) but \(H_2 \not \equiv 0\), (4.12) gives an example of a harmonic map into \(G_2({\mathbb {R}}^5)\) with non-\(S^1\)-invariant extended solution. When \(H_1 \not \equiv 0\), (4.11) does not satisfy the symmetry condition (2.12). Thus, in this example, the corresponding harmonic map \(\Phi _{-1}\) does not, in general, have values in a Grassmannian. By Proposition 4.7, this cannot happen in dimension \(n \le 4\).

### 4.8 Dimension n = 6

- (a)
**Type (1,4,1)**, so \(r=2\). This is similar to \(n=5\), type (1, 3, 1) above. - (b)
**Type (3,3)**. This has \(r=1\) and is obtained from type (2, 2) by adding a border; there are two new parameters \(\nu _1,\nu _2\) in the \({\mathfrak {g}}_1\)-position, call these \(-h\) and \(-k\) giving the \(S^1\)-invariant solution depending on three arbitrary meromorphic functions:By Proposition 4.4(ii), the corresponding harmonic map is the holomorphic map \(V: M \rightarrow \mathrm {SO}(6)/\mathrm {U}(3)\) given by the maximally isotropic subspace$$\begin{aligned} A = \begin{pmatrix} 1 &{} 0 &{} 0 &{} -h &{} -k &{} 0 \\ 0 &{} 1 &{} 0 &{} -g &{} 0 &{} k \\ 0 &{} 0 &{} 1 &{} 0 &{} g &{} h \\ 0 &{} 0 &{} 0 &{} 1 &{} 0 &{} 0 \\ 0 &{} \quad 0 &{} \quad 0 &{} \quad 0 &{} \quad 1 &{} \quad 0 \\ 0 &{} \quad 0 &{} \quad 0 &{} \quad 0 &{} \quad 0 &{} \quad 1 \end{pmatrix}. \end{aligned}$$*V*spanned by the last three columns of*A*. Now the holomorphic map \({\mathbb {C}}^3 \rightarrow \mathrm {SO}(6)/\mathrm {U}(3)\) given by \((g,h,k) \mapsto V\) extends to a holomorphic diffeomorphism from \({\mathbb {C}}P^3\) to \(\mathrm {SO}(6)/\mathrm {U}(3)\) given by \([\ell ,g,h,k] \mapsto \) the span of the four vectors \((0,0,\ell ,0,-g,-h)\), \((0,\ell ,0,g,0,-k)\), \((\ell ,0,0,h,k,0)\), \((g,-h,k,0,0,0)\); whether*d*is zero or non-zero, these vectors are linearly dependent and span a maximally isotropic subspace of dimension 3, cf. [3, Example 2.4] or [4, Sect. 3.1], thus*V*defines a holomorphic map into \({\mathbb {C}}P^3\). - (c)
**Type (2,2,2)**. This has \(r=2\) and is obtained from type (1,2,1) in Sect. 4.6 above by adding a border. The entries in the first row in the \({\mathfrak {g}}_1\)-position are \(a_{13}\) and \(a_{14}\), giving two new parameters, and the \(\lambda \)-term of \(a_{15}\) gives a further parameter. Carrying out our algorithm in the case that \(g_1\) and \(g_2\) are non-constant gives

*c*. Also, although it is surjective

*locally*as \(\nu _1\) and \(\nu _2\) can be found by integration from \(a_{13}\) and \(a_{14}\), it is not

*globally*surjective. For example, if \(M = S^2\), \(g_1 = g_2 = z\) and \(a_{13}=-a_{14} = 1/z\), then \(\nu _1 = -\nu _2 = \int (1/z)dz = \log z\) which is not globally defined, though \(a_{15} = 0\) is.

**Type (1,2,2,1)**. This has \(r=3\) and is obtained from type (2, 2) by adding a border; it has two new initial parameters \(\nu _1^1\), \(\nu _2^1\) in the \({\mathfrak {g}}_1\), i.e., block superdiagonal positions \(a_{12}, a_{13}\), and two further parameters \(\nu _3, \nu _4\) on the second block superdiagonal. Carrying out our algorithm in the non-degenerate case when

*g*is non-constant replaces \(\nu _1^1\), \(\nu _2^1\) by \(\nu _1\), \(\nu _2\) giving

*g*. The top-right entry \(\zeta _0+\lambda \zeta _1\) is determined by algebra from \((c_6,c_6)=0\), in fact, \(\zeta _0 = \nu _1^{(1)}\nu _2 - \nu _2^{(1)}\nu _1\) and \(\zeta _1 = -\nu _1^{(1)}\nu _4 - \nu _2^{(1)}\nu _3\). We now calculate the corresponding extended solution. Write the

*j*th column of

*A*as \(c_j = c_j^0 + \lambda c_j^1\), so \(c_j^1=0\)\((j=1,2,3)\); then, as in Sect. 3.1,

In the general case with \(\nu _3\) or \(\nu _4\) not necessarily zero, we calculate the alternating factorization (2.8) into unitons from (2.10) and (2.11) to be \(\Phi = (\pi _{\alpha _1} + \lambda \pi _{\alpha _1^{\perp }}) (\pi _{\alpha _2} + \lambda \pi _{\alpha _2^{\perp }})(\pi _{\alpha _3} + \lambda \pi _{\alpha _3^{\perp }})\) where \(\alpha _1 = \delta _2\), \(\alpha _2 = {{\mathrm{span}}}\{c_6^0 + \pi _{\delta _2}^{\perp }c_6^1,\, c_5^0 + \pi _{\delta _2}^{\perp }c_5^1,\, c_4^0 + \pi _{\delta _2}^{\perp }c_4^1\} \oplus \psi _2\) and \(\alpha _3 = {{\mathrm{span}}}\{c_6^0 + \pi _{\delta _2}^{\perp }c_6^1\}\). Note that \(\alpha _1\) is maximally isotropic, and \(\alpha _3\) is isotropic and is the polar of \(\alpha _2\) (in the \(S^1\)-invariant case, \(\alpha _2=\delta _3\) and \(\alpha _3 = \delta _1\)). The corresponding harmonic map \(\varphi = \mathrm {i}\Phi _{-1}\) is given by the product of the two maps into \(\mathrm {O}(6)\): \(\varphi = \mathrm {i}(\pi _{\delta _2} - \pi _{\delta _2}^{\perp })\cdot (\pi _{\alpha _3 + \overline{\alpha _3}} - \pi _{\alpha _3 + \overline{\alpha _3}}^{\perp })\). This example is related to [34, Example 6.22] (that example has a \(\lambda ^2\)-term which can be removed by a suitable transformation of the data); it provides extended solutions of harmonic maps into \(\mathrm {O}(6)\) which do not lie in a Grassmannian but have \(S^1\)-invariant limits into \(\mathrm {O}(6)/\mathrm {U}(3)\).

(e) **Type (1,1,2,1,1)** This has \(r=4\) and, like type (2,2,2) above, is obtained from \(n=4\), type (1, 2, 1) by adding a border. However, due to the special nature of \(\mathrm {SO}(4)\) as being double-covered by the product of \(\mathrm {SU}(2)\) with itself, there is an easier way which involves *first finding the new last column* of *A* then filling in the top-right element and new first row by algebra (see Sect. 3.3); for the \(S^1\)-invariant case this is as follows, with all generalized derivatives with respect to \(g_1\):

- (i)First, \(\chi _2' = g_1 \chi _1'\). Integrating by parts givesReplace \(\chi _1\) by a new parameter \(h_1\) and set \(\chi _1 = h_1^{(1)} := h_1'/g_1'\). Then \(\chi _2 = g_1 h_1^{(1)} - h_1\).$$\begin{aligned} \chi _2 = g_1 \chi _1 - \int \! g_1' \chi _1\,. \end{aligned}$$
- (ii)Next, \(\chi _3' = g_2 \chi _1'\) so that \(\chi _4' = -g_1 g_2 \chi _1' = -g_1 \chi _3'\). From this equation we have, in a similar way to (i),Replace \(\chi _3\) by a new parameter \(h_2\) and set \(\chi _3 = h_2^{(1)} := h_2'/g_1'\). Then \(\chi _4 = -g_1 h_2^{(1)} + h_2\).$$\begin{aligned} \chi _4 = -g_1 \chi _3 + \int \! g_1' \chi _3\,. \end{aligned}$$The remaining entries \(a_{1j}\) are found by algebra, i.e., using \((c_j,c_n)=0\) for \(j=2,\ldots , n\). Thus we obtain, with generalized derivatives taken with respect to \(g_1\),Here \(g_1,h_1,h_2\) are arbitrary meromorphic functions. If \(h_1^{(1)}\) is non-constant, then \(g_2 = h_2^{(2)}/h_1^{(2)}\). Note how this departs from our usual algorithm by replacing a parameter in the middle \(4 \times 4\) matrix \(\widetilde{A}\), in this case \(g_2\) by \(h_2\). Note that the parameters \(g_1,h_1,h_2\) can be read off from the matrix$$\begin{aligned} A = \begin{pmatrix} 1 &{} -h_1^{(1)} &{} \quad h_1 &{} \quad g_2 h_1^{(1)}-h_2^{(1)} &{} \quad g_2 h_1 - h_2 &{} \quad h_1 h_2^{(1)} - h_2 h_1^{(1)} \\ 0 &{} \quad 1 &{} \quad -g_1 &{} \quad -g_2 &{} \quad -g_1 g_2 &{} \quad h_2 - g_1 h_2^{(1)} \\ 0 &{} \quad 0 &{} \quad 1 &{} \quad 0 &{} \quad g_2 &{} \quad h_2^{(1)} \\ 0 &{} \quad 0 &{} \quad 0 &{} \quad 1 &{} \quad g_1 &{} \quad -h_1 + g_1 h_1^{(1)} \\ 0 &{} \quad 0 &{} \quad 0 &{} \quad 0 &{} \quad 1 &{} \quad h_1^{(1)} \\ 0 &{} \quad 0 &{} \quad 0 &{} \quad 0 &{} \quad 0 &{} \quad 1 \end{pmatrix}. \end{aligned}$$(4.13)
*A*as entries, or combinations of entries. Note also that the middle four entries of the last column give the standard formula for null curves in \({\mathbb {C}}^4\), see Sect. 5.2.

### Proposition 4.9

For \(m \le 3\), any harmonic map of finite uniton number \(M \rightarrow \mathrm {O}(2m)/\mathrm {U}(m)\) has an \(S^1\)-invariant associated extended solution.

### Proof

As in Sect. 3.1, \(\varphi \) has a symmetric extended solution \(\Phi = [A\gamma _{\xi }]\) with *r* odd. By Remark 3.5, if \(\Phi \) is not \(S^1\)-invariant then *A* must contain a term in \(\lambda ^2\). By Lemma 3.3 this means that, either \(r=3\) with \(t_1 >1\), or \(r \ge 5\). Given that \(\sum _{i=1}^r{t_i} = 2m\), neither of these is possible with \(m \le 3\). \(\square \)

That this result is sharp is shown by the following example which is a particular case of [34, Example 6.26]. In that paper, reality conditions had to be solved: this was only done for \(m \ge 5\); by using our approach, the reality conditions in that example are automatic and give us an example for \(m=4\). Explicitly, take \(\xi \) of type (2, 2, 2, 2). By our method we may construct a solution \(A: M \rightarrow {\mathfrak {A}}_3^{{\mathbb {R}}}\) in the form \(A = A_0 + \lambda ^2 A_2\) where the penultimate entry of the top row of \(A_2\) is a freely chosen parameter \(\nu \). Completing the matrix *A* by algebra and setting \(\Phi =[A\gamma _{\xi }]\) gives an extended solution which is \(S^1\)-invariant if and only if \(\nu \equiv 0\).

## 5 Null curves, extended solutions and the Weierstrass representation

By a *(generalized) minimal surface in *\({\mathbb {R}}^n\) we mean a non-constant weakly conformal map from a Riemann surface *M* to \({\mathbb {R}}^n\) whose image is minimal away from branch points, equivalently, a weakly conformal harmonic map. Such a map is, on a simply connected domain, the real part of a *null holomorphic curve* by which is meant (somewhat confusingly) *a holomorphic map* \(\chi :M \rightarrow {\mathbb {C}}^n\)* with *\((\chi ',\chi ') = 0\)* and *\(\chi '\)* not identically zero*. We extend this definition to *null meromorphic curve*: note that for such a curve, \([\chi ']:M \rightarrow Q_{n-2}\) is a well-defined holomorphic map to the complex quadric and gives the Gauss map of the minimal surface. The usual Weierstrass representation parametrizes all such \(\chi '\) so that \(\chi \) is given by an *integral* with real part the minimal surface. In contrast, in the *Weierstrass representation in free form*, the null curve itself is parametrized and no integral is necessary. We see how this is related to our work.

### 5.1 Null curves in \({\mathbb {C}}^3\) and extended solutions

Let *M* be a Riemann surface. In Theorem 4.3, we related Calabi’s construction of harmonic maps into spheres with polynomial extended solutions of harmonic maps into \(\mathrm {O}(n)\) (*n* odd) of type \((1,1,\ldots , 1)\). In the case \(n=5\) we can add one further bijection: that with null meromorphic curves, showing how the Weierstrass representation in free form appears naturally from polynomial extended solutions for harmonic maps into \(\mathrm {O}(5)\) of type (1, 1, 1, 1, 1) and so of the maximum possible uniton number 4; the corresponding canonical element is \(\xi _0 = \mathrm {i}{{\mathrm{\mathrm {diag}}}}(4,3,2,1,0)\). In part (iii), the generalized derivative \(\nu ^{(2)}\) is taken with respect to *g*.

### Theorem 5.1

- (i)
null meromorphic curves \(\chi :M \rightarrow {\mathbb {C}}^3\) with \([\chi ']:M \rightarrow Q_1\) non-constant;

- (ii)
non-degenerate \(S^1\)-invariant extended solutions \(\Phi :M \rightarrow \Omega _4\mathrm {U}(5)^{{\mathbb {R}}}\) of type (1, 1, 1, 1, 1);

- (ii)’
non-degenerate solutions \(A:M \rightarrow ({\mathfrak {A}}_{\xi _0}^{{\mathbb {R}}})_0\) to the extended solution Eq. (2.20);

- (iii)
pairs of meromorphic functions \((g,\nu )\) on

*M*with*g*and \(\nu ^{(2)}\) non-constant; - (iv)
full totally isotropic holomorphic maps \(f:M \rightarrow {\mathbb {C}}P^4;\)

- (v)
full harmonic maps \(\varphi :M \rightarrow {\mathbb {R}}P^4;\)

- (vi)
antipodal pairs \(\pm \widetilde{\varphi }:M \rightarrow S^4\) of full harmonic maps.

### Proof

*A*is found by differentiating four times the middle of the last column; the remaining entries \(a_{1j}\) are filled in by algebra, i.e., using \((c_j,c_5)=0\) for \(j=2,3,4,5\). Thus \(\chi \mapsto A\) gives a bijection from set (i) to set (ii)\('\) with inverse \(\chi = (a_{45},a_{35},a_{25})\).

Given *A* as in (ii)\('\), define \((g,\nu )\) by (5.1). From the extended solution Eq. (4.1), with generalized derivatives with respect to *g*, \(a_{13}= \nu ^{(1)}\) and \(a_{12}= -\nu ^{(2)}\); then *A* is given by (4.10). By non-degeneracy of *A*, *g* and \(\nu ^{(2)}\) are non-constant. The assignment \(A \rightarrow (g,\nu )\) gives a bijection between sets (ii)\('\) and (iii) with inverse given by (4.10). \(\square \)

Composing the above bijections we deduce the Weierstrass representation in free form of null meromorphic curves:

### Corollary 5.2

- (i)
the set of pairs of meromorphic functions \((g,\nu )\) on

*M*with*g*and \(\nu ^{(2)}\) non-constant, - (ii)
the set of null meromorphic curves \(\chi :M \rightarrow {\mathbb {C}}^3\) with \([\chi ']:M \rightarrow Q_1\) non-constant,

Recall that minimal surfaces in \({\mathbb {R}}^3\) appear as the real part of such curves \(\chi \). The representation (5.3) seems to have been first given by Weierstrass [38]; explanations are given by Hitchin [24] and Small [32]. The new feature in our work is the correspondence with extended solutions for harmonic maps, specifically, *the free Weierstrass data* \((g,\nu )\) of \(\chi \) is given simply by the two entries (5.1) of the matrix *A* associated to \(\chi \) by (5.2), and this matrix defines an extended solution \(\Phi =[A\gamma _{\xi _0}]\) for a harmonic map \(M \rightarrow \mathrm {O}(5)\).

### 5.2 Null curves in \({\mathbb {C}}^4\) and extended solutions

Theorem 5.1 has an analogue in \({\mathbb {C}}^4\) as follows. For a null curve \(\chi =(\chi _1,\chi _2,\chi _3,\chi _4):M \rightarrow {\mathbb {C}}^4\), by definition, \(\chi '\) is not identically zero, so by permuting coordinates if necessary, we can assume that \(\chi _1\) is non-constant. Then we can set \(g_1 = \chi _2'/\chi _1'\) and \(g_2= \chi _3'/\chi _1'\) so that \([\chi '] = [1,g_1,g_2,-g_1g_2]\) and \([\chi ']\) is non-constant if and only if at least one of the *Gauss maps* \(g_1\) or \(g_2\) is non-constant; again, after permuting coordinates, if necessary, we can assume that \(g_1\) is non-constant. By *A** non-degenerate* we shall now mean that \(a_{i,i+1}\) is non-constant for \(i \ne 3\). The extended solutions in (ii) below are polynomial extended solutions for harmonic maps into \(\mathrm {O}(6)\), and, as in the \({\mathbb {C}}^3\) case, are of type (1, 1, 2, 1, 1), and so of the maximum possible uniton number, 4; the corresponding canonical element is \(\xi =\mathrm {i}{{\mathrm{\mathrm {diag}}}}(4,3,2,2,1,0)\).

### Theorem 5.3

- (i)
null meromorphic curves \(\chi :M \rightarrow {\mathbb {C}}^4\) with \(\chi _1\) and \(g_1 := \chi _2'/\chi _1'\) non-constant;

- (ii)
non-degenerate \(S^1\)-invariant extended solutions \(\Phi :M \rightarrow \Omega _4\mathrm {U}(6)^{{\mathbb {R}}}\) of type (1, 1, 2, 1, 1);

- (ii)’
non-degenerate solutions \(A:M \rightarrow ({\mathfrak {A}}_{\xi }^{{\mathbb {R}}})_0\) to the extended solution Eq. (2.20);

- (iii)
triples of meromorphic functions \((g_1,h_1,h_2)\) on

*M*with \(g_1\) and \(h_1^{(1)} := h_1'/g_1'\) non-constant.

The bijection from (ii)\('\) to (i) is given by \(\chi = (a_{56},a_{46},a_{36},a_{26})\).

### Proof

*A*in set (ii)\('\) which satisfies \(\chi = (a_{56},a_{46},a_{36},a_{26})\), namely,

Given \((g_1,h_1,h_2)\) in set (iii), set *A* equal to (4.13) where \(g_2 = h_2^{(2)}/h_1^{(2)}\). It is easily checked that this is the inverse of the map (5.4). \(\square \)

### Corollary 5.4

- (i)
the set of triples of meromorphic functions \((g_1,h_1,h_2)\) on

*M*with \(g_1\) and \(h_1^{(1)}\) non-constant, - (ii)
the set of null meromorphic curves \(\chi :M \rightarrow {\mathbb {C}}^4\) with \(\chi _1\) and \(g_1 := \chi _2'/\chi _1'\) non-constant,

Again minimal surfaces in \({\mathbb {R}}^4\) appear as the real part of such \(\chi \). This seems to have been first given by de Montcheuil [26], see also Eisenhart [19]; explanations are given by Small [33] and Shaw [31]. As before, the free Weierstrass data \((g_1,h_1,h_2)\) of \(\chi \) are given very simply by (5.4) from the entries of the matrix *A* associated to \(\chi \) by (5.5), and this matrix defines an extended solution \(\Phi =[A\gamma _{\xi }]\) for a harmonic map \(M \rightarrow \mathrm {O}(6)\).

## References

- 1.Aleman, A., Martín, M.J., Persson, A.M., Svensson, M.: Continuous deformations of harmonic maps and their unitons. arXiv:1702.06171 (
**preprint**) - 2.Bahy-El-Dien, A., Wood, J.C.: The explicit construction of all harmonic two-spheres in \(G_2({ R}^n)\). J. Reine. Angew. Math.
**398**, 36–66 (1989)MathSciNetzbMATHGoogle Scholar - 3.Baird, P., Wood, J.C.: Hermitian structures and harmonic morphisms on higher dimensional Euclidean spaces. Int. J. Math.
**6**, 161–192 (1995)MathSciNetCrossRefGoogle Scholar - 4.Borisov, L., Salamon, S., Viaclovsky, J.: Twistor geometry and warped product orthogonal complex structures. Duke Math. J.
**156**(1), 125–166 (2011)MathSciNetCrossRefGoogle Scholar - 5.Burstall, F.E.: On canonical elements. arXiv:1811.12041
**(preprint)** - 6.Burstall, F.E., Eschenburg, J.-H., Ferreira, M.J., Tribuzy, R.: Kähler submanifolds with parallel pluri-mean curvature. Differ. Geom. Appl.
**20**(1), 47–66 (2004)CrossRefGoogle Scholar - 7.Burstall, F.E., Guest, M.A.: Harmonic two-spheres in compact symmetric spaces, revisited. Math. Ann.
**309**, 541–572 (1997)MathSciNetCrossRefGoogle Scholar - 8.Burstall, F.E., Rawnsley, J.H.: Twistor Theory for Riemannian Symmetric Spaces, Lecture Notes in Mathematics, 1424. Springer, Heidelberg (1990)Google Scholar
- 9.Burstall, F.E., Wood, J.C.: The construction of harmonic maps into complex Grassmannians. J. Differ. Geom.
**23**, 255–298 (1986)MathSciNetCrossRefGoogle Scholar - 10.Calabi, E.: Quelques applications de l’analyse complexe aux surfaces d’aire minima. In: Topics in Complex Manifolds, pp. 59–81, Univ. of Montréal (1967)Google Scholar
- 11.Calabi, E.: Minimal immersions of surfaces in Euclidean spheres. J. Differ. Geom.
**1**, 111–125 (1967)MathSciNetCrossRefGoogle Scholar - 12.Cheeger, J., Ebin, D.G.: Comparison Theorems in Riemannian Geometry, Revised Reprint of the 1975 Original. AMS Chelsea Publishing, Providence (2008)zbMATHGoogle Scholar
- 13.Correia, N., Pacheco, R.: Harmonic maps of finite uniton number and their canonical elements. Ann. Glob. Anal. Geom.
**47**(4), 335–358 (2015)MathSciNetCrossRefGoogle Scholar - 14.Dai, B., Terng, C.-L.: Bäcklund transformations, Ward solitons, and unitons. J. Differ. Geom.
**75**, 57–108 (2007)CrossRefGoogle Scholar - 15.Dorfmeister, J., Pedit, F., Wu, H.: Weierstrass type representation of harmonic maps into symmetric spaces. Commun. Anal. Geom.
**6**(4), 633–668 (1998)MathSciNetCrossRefGoogle Scholar - 16.Eells, J., Lemaire, L.: Another report on harmonic maps. Bull. Lond. Math. Soc.
**20**, 385–524 (1988)MathSciNetCrossRefGoogle Scholar - 17.Eells, J., Sampson, J.H.: Harmonic mappings of Riemannian manifolds. Am. J. Math.
**86**, 109–160 (1964)MathSciNetCrossRefGoogle Scholar - 18.Eells, J., Wood, J.C.: Harmonic maps from surfaces to complex projective spaces. Adv. Math.
**49**, 217–263 (1983)MathSciNetCrossRefGoogle Scholar - 19.Eisenhart, L.P.: A fundamental parametric representation of space curves. Ann. Math. (2)
**13**(1–4), 17–35 (1911/12)MathSciNetCrossRefGoogle Scholar - 20.Erdem, S., Wood, J.C.: On the constructions of harmonic maps into a Grassmannian. J. Lond. Math. Soc. (2)
**28**, 161–174 (1983)MathSciNetCrossRefGoogle Scholar - 21.Ferreira, M.J., Simões, B.A.: Explicit construction of harmonic two-spheres into the complex Grassmannian. Math. Z.
**272**(1–2), 151–174 (2012)MathSciNetCrossRefGoogle Scholar - 22.Ferreira, M.J., Simões, B.A., Wood, J.C.: All harmonic \(2\)-spheres in the unitary group, completely explicitly. Math. Z.
**266**, 953–978 (2010)MathSciNetCrossRefGoogle Scholar - 23.Guest, M.A.: Harmonic Maps, Loop Groups, and Integrable Systems, London Mathematical Society Student Texts, 38. Cambridge University Press, Cambridge (1997)CrossRefGoogle Scholar
- 24.Hitchin, N.J.: Monopoles and geodesics. Commun. Math. Phys.
**83**(4), 579–602 (1982)MathSciNetCrossRefGoogle Scholar - 25.Koszul, J.L., Malgrange, B.: Sur certaines structures fibrées complexes. Arch. Math.
**9**, 102–109 (1958)MathSciNetCrossRefGoogle Scholar - 26.de Montcheuil, M.: Résolution de l’équation \(ds^2=dx^2+dy^2+dz^2\). Bull. Soc. Math. France
**33**, 170–171 (1905)MathSciNetCrossRefGoogle Scholar - 27.Oliver, J.: Harmonic Maps from Surfaces to Complex Projective Spaces and Certain Lie Groups. Doctoral Thesis (in preparation)Google Scholar
- 28.Pacheco, R.: Harmonic two-spheres in the symplectic group Sp\((n)\). Int. J. Math.
**17**, 295–311 (2006)MathSciNetCrossRefGoogle Scholar - 29.Pressley, A., Segal, G.: Loop Groups, Oxford Mathematical Monographs, Oxford Science Publications. University Press, Oxford (1986)Google Scholar
- 30.Segal, G.: Loop Groups and Harmonic Maps, Advances in Homotopy Theory (Cortona, 1988), 153–164, London Math. Soc. Lecture Notes Ser., 139. Cambridge University Press, Cambridge (1989)Google Scholar
- 31.Shaw, W.T.: Twistors, minimal surfaces and strings. Class. Quant. Gravity
**2**, L113–L119 (1985)MathSciNetCrossRefGoogle Scholar - 32.Small, A.: Minimal surfaces in \({{\mathbb{R}}}^3\) and algebraic curves. Differ. Geom. Appl.
**2**(4), 369–384 (1992)CrossRefGoogle Scholar - 33.Small, A.: Algebraic minimal surfaces in \({{\mathbb{R}}}^4\). Math. Scand.
**94**(1), 109–124 (2004)MathSciNetCrossRefGoogle Scholar - 34.Svensson, M., Wood, J.C.: Filtrations, factorizations and explicit formulae for harmonic maps. Commun. Math. Phys.
**310**, 99–134 (2012)MathSciNetCrossRefGoogle Scholar - 35.Svensson, M., Wood, J.C.: New constructions of twistor lifts for harmonic maps. Manuscr. Math.
**144**, 457–502 (2014)MathSciNetCrossRefGoogle Scholar - 36.Uhlenbeck, K.: Harmonic maps into Lie groups: classical solutions of the chiral model. J. Differ. Geom.
**30**, 1–50 (1989)MathSciNetCrossRefGoogle Scholar - 37.Urakawa, H.: Calculus of Variations and Harmonic Maps, Translated from the 1990 Japanese Original by the Author. Translations of Mathematical Monographs, 132. American Mathematical Society, Providence (1993)Google Scholar
- 38.Weierstrass, K.: Über die Fläche, deren mittlere Krümmung überall gleich Null ist, Monatsberichte der Berliner Akademie, pp. 612–625 (1866)Google Scholar
- 39.Wolfson, J.G.: Harmonic sequences and harmonic maps of surfaces into complex Grassmann manifolds. J. Differ. Geom.
**27**, 161–178 (1988)MathSciNetCrossRefGoogle Scholar - 40.Wood, J.C.: Explicit constructions of harmonic maps. In: Loubeau, E., Montaldo, S. (eds.) Harmonic Maps and Differential Geometry, Contemp. Math., 542, pp. 41–74. Providence, American Mathematical Society (2011)CrossRefGoogle Scholar
- 41.Zakrzewski, W.J.: Low-Dimensional Sigma Models. Adam Hilger Ltd, Bristol (1989)zbMATHGoogle 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.