Lie applicable surfaces and curved flats

We investigate curved flats in Lie sphere geometry. We show that in this setting curved flats are in one-to-one correspondence with pairs of Demoulin families of Lie applicable surfaces related by Darboux transformation.


Introduction
Curved flats, introduced by Ferus-Pedit [13], are an integrable system for maps into symmetric spaces. In [4] it is shown how Darboux pairs of isothermic surfaces are equivalent to curved flats in the symmetric space of point pairs in the conformal 3-sphere. In [1] curved flats in the space of circles (called hypercyclic systems) of S 3 are studied. It is shown that the orthogonal surfaces to these are Guichard surfaces that are mutually Eisenhart transforms of each other with parameter μ = 0. This was extended to S n in [5,14]. Curved flats in Laguerre geometry were studied in [15]. These are constructed from the Gauss maps of Bianchi-Darboux pairs of L-isothermic surfaces .
In [9][10][11] Demoulin discovered -surfaces and 0 -surfaces. Blaschke [3] showed that together these surfaces are the applicable surfaces of Lie sphere geometry. In [12,16] it is shown that these surfaces constitute an integrable system and this is given a gauge theoretic interpretation in [8,17]. This gives rise to a Lie-geometric analogue of the Darboux transformation for these surfaces. In this paper we show how curved flats in Lie sphere geometry are equivalent to a pair of Demoulin families of Lie applicable surfaces such that any two members of opposite families form a Darboux pair. 2,2). Let L denote the lightcone of R n+2,2 . In Lie sphere geometry, the projective lightcone P(L) parametrises oriented spheres of (n + 1)-dimensional space forms so that oriented spheres are in contact if and only if the line joining them lies in P(L) (see [7]). In this way the set of lines in P(L), denoted by Z, is identified with the manifold of contact elements.
It is well known that the exterior algebra ∧ 2 R n+2,2 is isomorphic to the Lie algebra o(n+2, 2) of O(n+2, 2), i.e., the space of skew-symmetric endomorphisms of R n+2,2 , via the isomorphism where for any c ∈ R n+2,2 , We shall make silent use of this identification throughout this paper.
Suppose that is a n-dimensional manifold and consider a smooth map f : → Z. Such a map can be equivalently considered as a rank 2 null subbundle of the trivial bundle R n+2,2 := × R n+2,2 . In Lie sphere geometry, one studies hypersurfaces in space forms by considering their contact lifts. These amount to smooth maps f : (1) denotes the set of sections of f and derivatives of sections of f . We call such an f a Legendre map 1 .

Splitting of the trivial bundle
Suppose that is an n-dimensional manifold and that f,f : → Z are complementary smooth maps into Z, that is, we may view them as rank 2 null subbundles of R n+2,2 such that f ∩f = {0}. We then have that f ⊕f is a rank 4 bundle of (2, 2) planes. We may then split the trivial bundle as where U := ( f ⊕f ) ⊥ . The trivial connection on R n+2,2 can then be expressed as where D is a metric connection preserving f ,f and U , and Let σ ∈ f . Then Since d is the trivial connection, and is thus flat, we obtain the Gauss-Codazzi-Ricci equations for this splitting:

Ribaucour transforms
Classically two submanifolds are Ribaucour transforms of each other if they envelop a sphere congruence in such a way that the curvature directions at corresponding points coincide. In [6] this was given a Lie geometric formulation which we shall recall now.
Suppose that f,f : → Z are Legendre maps that envelope a common sphere congruence s 0 : → P(L), i.e., f ∩f = s 0 . Consider the bundle This is a rank 2 subbundle of s ⊥ 0 /s 0 inheriting a metric of signature (1, 1). One then obtains a well defined orthogonal projection π : s ⊥ 0 /s 0 → H f,f and using this one defines a metric connection on H f,f where ν ∈ ( f +f ).

Lie applicable surfaces
is non-zero on a dense open set. We call such an η a gauge potential of f .
Remark 2.5. Clearly scales λη of gauge potentials η by a constant λ ∈ R\{0} are again gauge potentials. Some Legendre maps, such as those with planar curvature lines (see [16]), can also be multiply Lie applicable in the sense that they admit multiple gauge potentials that are not related by scale or gauge equivalence. To avoid this ambiguity, when we refer to a Lie applicable Legendre map f , we shall be referring to the pair ( f, [η]), for a fixed choice of [η].
Let f be a Lie applicable surface with gauge potential η. Then one obtains a 1-parameter family of flat connections {d + tη} t∈R on the trivial bundle. Parallel subbundles of these flat connections give rise to new Lie applicable surfaces in the following way: suppose thatŝ is a parallel rank 1 null subbundle of d + mη for some m ∈ R\{0} that lies nowhere in f . Let s 0 := f ∩ŝ ⊥ and definef := s 0 ⊕ŝ. Definition 2.6. We callf an m-Darboux transform of f .
In [8,17] it is shown thatf is also a Lie applicable surface and that f is an m-Darboux transform off . Thus we say that ( f,f ) is an m-Darboux pair.

Curved flats in
This yields a splitting of the trivial connection as where D W is the sum of the induced connections on W and W ⊥ , and N W ∈ 1 (W ∧ W ⊥ ). If D W | W is flat and is simply connected then there are two families of D Wparallel null rank 2 subbundles { f α }, {f β } of W , each parametrised by a circle, i.e., α, β ∈ RP 1 . In [6] it is shown that each f α ,f β is a Legendre map and any pair ( f α ,f β ) is a Ribaucour pair. We call { f α }, {f β } the Demoulin families of W . This is a Lie geometric reformulation of the Bianchi Permutability Theorem for Ribaucour transforms [2,354]. In this paper we shall be considering the case where in addition to D W | W being flat, we have that D W | W ⊥ is flat as well, i.e., D W is flat. This brings us to the following notion: The flatness of the trivial connections yields the equations: Now suppose that f,f ≤ W are complementary null line subbundles of W . Then we can write things in terms of the splitting from Sect. 2:

From (8), we see that D W is flat if and only if
Since the components of this sum live in linearly independent subbundles, we have that D W is flat if and only if Suppose now that f is a Legendre map. By Lemma 2.1, we have that A f,f = 0.
Then from (4), we learn that using (3) We are almost in the position to say that f is a Lie applicable surface, but we have to determine whether the quadratic differential q defined by (7) is non-zero on a dense open set. Now for σ ∈ f , Therefore, the quadratic differential associated to η is given by Hence q is non-zero on a dense open set if and only if W is regular. We also have that and thusf is a parallel subbundle of d + mη.

Proposition 3.5.
Suppose that W is a regular curved flat. Then any Legendre map f ≤ W is Lie applicable and any complementaryf ≤ W to f is a parallel subbundle of d + mη for some gauge potential η ∈ 1 ( f ∧ f ⊥ ) and m ∈ R\{0}.
Conversely, let f be a Lie applicable Legendre map with gauge potential η and suppose thatf : → Z is a complementary parallel subbundle of the flat connection d + mη.
. Now let us consider the connection d + mη: One deduces thatf is a parallel subbundle of d +mη if and only if Af , f = −mη ∧ 2 f and Nf = −mη f ∧W ⊥ . Hence, η = − 1 m (Af , f + Nf ). Now, by Lemma 3.4, the closure of η implies that D W is flat. Proposition 3.6. Suppose that f is a Lie applicable Legendre map with gauge potential η and suppose that a complementaryf is d + mη parallel for some m ∈ R\{0}. Then W := f ⊕f is a regular curved flat. Remark 3.7. Note that any other complementaryf ≤ W can be written as f = exp(mτ )f for some τ ∈ (∧ 2 f ). On the other hand exp(mτ )f is a parallel subbundle of d + mη where η := η − dτ is gauge equivalent to η. In particular, we learn that the m in Proposition 3.5 is independent of the choice of complementarỹ f .
Since d + tη is a flat connection for any t ∈ R, it admits many parallel null subbundlesf . Proposition 3.5 and Proposition 3.6 then yield:

Corollary 3.8. A Legendre map f is Lie applicable if and only if there exists a regular curved flat W
We now seek to understand the geometry of this situation. Recall that W such that D W | W is flat contain two families of Legendre maps { f α }, {f β }, with α, β ∈ RP 1 . We shall now see how the additional condition that D W | W ⊥ is flat affects these Demoulin families.
Conversely, let f ∈ { f α } be a regular Lie applicable Legendre map and let f 1 ,f 2 ,f 3 ∈ {f β } be m-Darboux transforms of f . Hence there exist rank 1 subbundlesŝ i ≤f i that are parallel for d + mη, for some gauge potential η of f . Let f :=ŝ 1 +ŝ 2 +ŝ 3 . Iff has rank 2 then Proposition 3.6 implies that W = f ⊕f is a curved flat. Otherwise, suppose thatf has rank 3 on some open subset U of . Without loss of generality, assume that U = . Then s :=f ∩ f is a rank 1 subbundle of f . Sincef is parallel for d + mη we have that dσ = (d + mη)σ ∈ 1 (f ) for any σ ∈ s. On the other hand, since f is a Legendre map, we have that dσ ∈ 1 ( f ⊥ ). Thus, dσ ∈ 1 (s) and s is constant. It then follows that there existŝ f ∈ {f β } with f ∩f = s. Nowf is an m-Darboux transform of f and thus there exists a d + mη parallel subbundleŝ ≤f withŝ ∩ f = {0}. Since we already have that s ≤f is d + mη parallel, it follows thatf is parallel for d + mη. Assuming thatf =f 1 (otherwise apply an analogous argument withŝ 2 ≤f 2 ) we may now chooseŝ ≤f that is d + mη parallel withŝ ⊥ŝ 1 . Settingf =ŝ ⊕ŝ 1 yields a rank 2 null subbundle of W complementary to f that is parallel for d + mη. Applying Proposition 3.6 then yields the result.

Examples:
1. If W is a curved flat containing a constant timelike vector p then W ⊥ is a curved flat in the space of circles (a hypercyclic system) of the conformal geometry of p ⊥ ∼ = R n+2,1 . The Demoulin families of W are then the contact lifts of the orthogonal submanifolds of this hypercyclic system. These are known to be conformally flat hypersurfaces that are mutually Eisenhart transforms with parameter μ = 0. See [1,5,14].
2. In the case that n = 2 and W is a curved flat containing a constant lightlike vector q, W ∩ q ⊥ projects to a curved flat in the Laguerre geometry q ⊥ /q ∼ = R 3,1 . The Demoulin families of W are then contact lifts of L-isothermic surfaces that are mutually Bianchi-Darboux transforms of each other. Geometrically the curved flat represents the map into the space of point pairs of S 2 built from the Gauss maps of such Bianchi-Darboux transforms. See [15].