Printer Friendly

Willmore-Like Tori in Killing Submersions.

1. Introduction

In 1811 S. Germain pointed out that the free energy controlling the physical system associated with an elastic plate is the total squared curvature or bending energy. For a surface S in [R.sup.3] the bending energy is given by

W (S) = [[integral].sub.S][H.sup.2] dA, (1)

where H denotes the mean curvature of S, which, according to a popular model in Biophysics, can be seen also as part of the elastic energy of fluid membranes [1]. Notice that, for curves [gamma] isometrically immersed in a Riemannian manifold, H is nothing but the geodesic curvature of [gamma], [kappa], and W(S) boils down to

E ([gamma]) = [[integral].sub.[gamma]] [[kappa].sup.2] ds. (2)

Following a classical model of D. Bernoulli, planar curves minimizing the bending energy E([gamma]) can be thought of as the equilibrium positions of thin elastic rods (or elasticae). Elastica (and their generalizations) in semi-Riemannian manifolds is a classical subject which has many applications to Physics where they can be used, among other applications, to produce mathematical models of stiff rods, stiff polymers, vortices in fluids, superconductors, membranes, mechanical properties of DNA molecules, and also imaging and visual perception (for more details and references on this subject, see, for example, [2]).

The study of the variational problem associated with W(S) for surfaces in [R.sup.3] goes back to Blaschke's school in the 1920s. Thus, G. Thomsen in [3] obtained the first variation and the Euler-Lagrange equations corresponding to (1). Years later, T. J. Willmore reintroduced the problem in [4] and this is reason why W(S) is also known as the Willmore energy of the surface and its critical points are called Willmore surfaces. The Willmore energy is a conformal invariant [5, 6], a property which has been constantly exploited in the vast literature on the subject (see, for example, [2, 7-13]). In the last years, there has been also an intensive investigation of Willmore surfaces in connection with Willmore problem, that is, the determination of the minima for the Willmore energy within a given topological class. In particular, T. Willmore proposed in 1965 the following conjecture: for every smooth immersed torus M in [R.sup.3], W(M) [less than or equal to] 2[[pi].sup.2] and the equality is obtained at the Clifford torus. The conjecture has been recently proved in [14], although prior to this proof the Willmore conjecture had already been shown for many special cases (see [14-17] and references therein).

A generalization of the Willmore energy is due to BY Chen [18]. He extended the Willmore functional to any submanifold [M.sup.n] of any Riemannian manifold [N.sup.n] so that the conformal invariance property is preserved. Given a Riemannian submanifold [M.sup.n] of Nm the Chen-Willmore functional is defined by

CW (M) = [[integral].sub.M] [([H.sup.2] - [[tau].sub.e]).sup.n/2] dV, (3)

where H and [[tau].sub.e] denote the mean curvature and the extrinsic scalar curvature of M, respectively. The energy CW(M) is conformally invariant and its critical points are known as Chen-Willmore submanifolds [18, 19]. In contrast to the case of Willmore surfaces in ambient spaces of constant curvature, there are not many results concerning Chen-Willmore submanifolds in background spaces with nonconstant sectional curvature. Nevertheless, Willmore surfaces and submanifolds have strong connections in Physics with applications to (just to mention a few) the analysis of elastic plates and biological membranes [1, 20] and to bosonic string theories and sigma models (for more details, see [21, 22] and references therein). Several of these applications are based on a beautiful link between Willmore surfaces and elastica which can be established by using a symmetry reduction procedure [12].

In this paper we will study the following generalization of the Willmore energy:

[mathematical expression not reproducible], (4)

where S is a surface of a 3-dimensional Riemannian manifold N, H denotes the mean curvature of S, and [PHI] [member of] [C.sup.[infinity]] (N). Here, [W.sub.[PHI]](S) will be called Willmore energy with a potential [PHI] and in Section 3 the first variation formula and Euler-Lagrange equation associated with [W.sub.[PHI]] are computed.

On the other hand, our analysis will be focused mainly on surfaces living in the total space of a Killing submersion. A Riemannian submersion [pi] : N [right arrow] M of a 3-dimensional Riemannian manifold N over a surface M will be called a Killing submersion if its fibers are the trajectories of a complete unit Killing vector field [xi]. Killing submersions are determined by two functions on M, its Gaussian curvature and the so-called bundle curvature (for more details, see [23, 24] and Section 2). A remarkable family of Killing submersions are the homogeneous 3-spaces. With the exception of the hyperbolic 3-space, [H.sup.3](-1), simply connected homogeneous Riemannian 3-manifolds with isometry group of dimension 4 or 6, can be represented by a 2-parameter family E(c, [mu]), where c, [mu] [member of] R. These E(c, [mu])-spaces are 3-manifolds admitting a global unit Killing vector field whose integral curves are the fibers of a certain Riemannian submersion over the simply connected constant Gaussian curvature surface M(c) and, therefore, determine Killing submersions [pi] : E(c, [mu]) [right arrow] M(c) (for more details, see [25]). A local description of these examples can be given by using the so-called Bianchi-Cartan-Vranceanu spaces (see Section 2).

In Section 4, we establish a connection between invariant Willmore-like tori with [xi]-invariant potentials in the total space N of Killing submersions and elastic curves with related potentials in the base surface M. We show also how one can apply this connection to study [xi]-invariant Willmore tori in the total space N of a Killing submersion and, in particular, to the case of [xi]-invariant Willmore tori in orthonormal frame bundles on Riemannian surfaces. Finally, the previous results are applied in Section 5 to the construction of foliations, of certain Killing submersions, consisting of Willmore tori with constant mean curvature.

2. Killing Submersions

A Riemannian submersion [pi] : N [right arrow] M of a 3-dimensional Riemannian manifold N over a surface M will be called a Killing submersion if its fibers are the trajectories of a complete unit Killing vector field [xi] (for more details, see [23, 24]). Fibers of Killing submersions are geodesics in N and form a foliation called the vertical foliation. Most of the geometry of a Killing submersion is encoded in a pair of functions: K, [tau]. Here K represents the Gaussian curvature function of the base surface M, while [tau] denotes the so-called bundle curvature which is defined as follows. Since [xi] is a (vertical) unit Killing vector field, then it is clear that for any vector field, Z, on N, there exists a function [[tau].sub.Z] (which, a priori, depends on the vector field Z) such that [bar.[nabla]].sub.Z][xi] = [[tau].sub.Z]Z [conjunction] [xi], where [bar.[nabla]] denotes the Levi-Civita connection of N. Actually, it is not difficult to see that [[tau].sub.Z] does not depend on the vector field Z (see [23] for details) so we get a function [tau] [member of] [C.sup.[infinity]](N), the bundle curvature, satisfying

[bar.[nabla]].sub.Z][xi] = [tau]Z [conjunction] [xi], (5)

where [conjunction] denotes the vector product. The bundle curvature is obviously constant along the fibers and, consequently, it can be seen as a function on the base surface, [tau] [member of] [C.sup.[infinity]](M). In product spaces M x R the projection over the first factor is a Killing submersion, so its bundle curvature is [tau] [equivalent to] 0. More generally, it is easy to deduce from (5) that [tau] [equivalent to] 0 in a Killing submersion, if and only if, the horizontal distribution in the total space, N, is integrable. It is customary to denote the total space of a Killing submersion by N(K, [tau]).

Existence of Killing submersions over a given simply connected surface M for a prescribed bundle curvature, [tau] [member of] [C.sup.[infinity]](M), has been proved in [24]. Uniqueness of these submersions, up to isomorphisms, is guaranteed under the assumption that the total space is also simply connected. This fact leads to the classification of Killing submersions on a simply connected surface as quotients of simply connected total spaces under vertical translations. In particular, we can suppose that fibers have finite length since, if necessary, we can always take a suitable quotient under a vertical translation in order to get a circle bundle over M. The following result provides existence of Killing submersions with prescribed bundle curvature over arbitrary Riemannian surfaces

Theorem 1. Let M be a Riemannian surface with Gaussian curvature K and choose any function [tau] [member of] [C.sup.[infinity]](M). Then there exists a Killing submersion over M with bundle curvature [tau], (N(K, [tau]), [pi]). Moreover, (N(K, [tau]), [pi]) can be chosen having compact fibers.

Proof. If M is simply connected, then the result was proved in [24]. Therefore we assume that M is not simply connected and, thus, it has a nontrivial fundamental group [[pi].sub.1](M). Denote by [M.sub.o] its universal covering and by p : [M.sub.o] [right arrow] M the universal covering map. Now, if g is the metric on M, then we consider [M.sub.o] endowed with the metric [g.sub.o] = [p.sup.*] (g) so that p is a Riemannian covering map. Denote by [GAMMA] the group of deck transformations of ([M.sub.o], p) which is a subgroup of the group of isometries Isom([M.sub.o], [g.sub.o]) isomorphic to [[pi].sub.1](M).

Consider [[tau].sub.0] = [tau] [??] p [member of] [C.sup.[infinity]]([M.sub.o]). Since [M.sub.o] is simply connected, we know there exists a unique (up to isomorphisms) Killing submersion [[pi].sub.o] : [N.sub.o] [right arrow] [M.sub.o] with simply connected total space [N.sub.o] and bundle curvature [[tau].sub.o] (see [24] for details). Now, if h [member of] [GAMMA], then it is obvious that [[tau].sub.o] [??] h = [[tau].sub.o]. Consequently, once an initial condition has been chosen, there exists a unique isometry [bar.h] [member of] Isom([N.sub.o], [[bar.g].sub.o]) preserving the Killing fiber flow ([[bar.h].sub.*[xi] = [xi]) and satisfying [[pi].sub.o] [??] [bar.h] = h [??] [[pi].sub.o]. Hence, we have a monomorphism from [GAMMA] into Isom([N.sub.o], [[bar.g].sub.o]) whose image [bar.[GAMMA]] is isomorphic to [GAMMA]. It is not difficult to see that this determines a properly discontinuous action of [bar.[GAMMA]] on [N.sub.o], defining a Riemannian covering map [bar.p]: ([N.sub.o], [[bar.g].sub.o]) [right arrow] (N = [N.sub.o]/[GAMMA], [bar.g]). Finally we define [pi] : N [right arrow] M by [pi]([bar.p]([bar.a])) = p([[pi].sub.o]([bar.a])) which satisfies [pi] * (g) = [bar.g]. It can be checked that it provides a Killing submersion over M with bundle curvature [tau].

Any Killing submersion is locally isometric to one of the following canonical examples [24], which include, as we will see later, the so-called Bianchi-Cartan-Vranceanu spaces for suitable choices of the functions [lambda], a, b.

Example 2 (canonical examples). Given an open set [OMEGA] [subset] [R.sup.2] and [lambda], a, b [member of] [C.sup.[infinity]]([OMEGA]) with [lambda] > 0, the Killing submersion

[pi]: ([OMEGA] x R, [ds.sup.2.sub.[lambda],a,b]) [right arrow] ([OMEGA], [ds.sup.2.sub.[lambda]]),

[pi] (x, y, z) = (x, y), (6)


[ds.sup.2.sub.[lambda],a,b] = [[lambda].sup.2] ([dx.sup.2] + [dy.sup.2]) + [(dz - [lambda] (adx + bdy)).sup.2] (7)


[ds.sup.2.sub.[lambda]] = [[lambda].sup.2] ([dx.sup.2] + [dy.sup.2]), (8)

will be called the canonical example associated with ([lambda], a, b). Regardless of the values of the functions a, b [member of] [C.sup.[infinity]]([OMEGA]), the Riemannian metric given by (7) satisfies that [pi] is a Killing submersion over ([OMEGA], [ds.sup.2.sub.[lambda]]) with [xi] = [[partial derivative].sub.z] as unit vertical Killing field. The bundle curvature and the Gaussian curvature are given by

2[tau] = 1/[[lambda].sup.2] ([([lambda]b).sub.x] - [([lambda]a).sub.y]),

K = -1/[[lambda].sup.2] [[DELTA].sub.o] (log [lambda]), (9)

where [[DELTA].sub.o] represents the Laplacian with respect to the standard metric in the plane.

Example 3 (Bianchi-Cartan-Vranceanu spaces). Particularizing the above construction one can get models for all Killing submersions over [R.sup.2], [H.sup.2](c) and the punctured sphere [S.sup.2.sub.*](c). Given c [member of] R, we define [[lambda].sub.c] [member of] [C.sup.[infinity]]([[OMEGA].sub.c]) by

[[lambda].sub.c](x, y) = [(1 + c/4([x.sup.2] + [y.sup.2])).sup.-1], (10)


[mathematical expression not reproducible] (11)

Then, the metric [[lambda].sup.2.sub.c]([dx.sup.2] + [dy.sup.2]) in [[OMEGA].sub.c] has constant Gaussian curvature K = c. If, in addition, we choose a = -[mu]y and b = [mu]x for some real constant then one obtains the metrics of the Bianchi-Cartan-Vranceanu spaces E(c, [mu]) = [[OMEGA].sub.c] x R ([25, Section 2.3]):

[[lambda].sup.2.sub.c] ([dx.sup.2] + [dy.sup.2]) + [(dz + [mu][[lambda].sub.c] (ydx - xdy)).sup.2]. (12)

A simple computation, using (9), gives [mu] = [tau]. Thus the Bianchi-Cartan-Vranceanu spaces (BCV spaces) can be seen as the canonical models of Killing submersions with constant bundle curvature and constant Gaussian curvature. Cartan in [26] showed that the examples above cover, in fact, all possible 3-dimensional homogeneous spaces with 4-dimensional isometry group. The BCV family also includes two real space forms, which have 6-dimensional isometry group.

Example 4 (bundle-like metrics). Let [bar.M] be the three-dimensional total space of a principal fiber bundle on a surface, M, and denote by [pi] : [bar.M] [right arrow] M the natural projection. Consider a principal connection [omega] and denote by [dt.sup.2] the metric on the fiber. Now, given a positive smooth function f [member of] [C.sup.[infinity]](M) and any Riemannian metric, g, on M, we can define the following generalized Kaluza-Klein Riemannian metric on [bar.M]:

[bar.g] = [[pi].sup.*] (g) + [(f [??] [pi]).sup.2] [[omega].sup.*] ([dt.sup.2]). (13)

In particular, if the function f is constant, then [bar.g] is called a Kaluza-Klein metric or a bundle-like metric. As it is well known, the following properties are satisfied by the above class of metrics:

(i) The natural action of the structure group, G, on [bar.M] is carried out by isometries of ([bar.M], [bar.g]). Consequently, the fiber flow is associated with a Killing vector field of ([bar.M], [bar.g]).

(ii) The natural projection [pi] : ([bar.M], [bar.g]) [right arrow] (M, g) is a Riemannian submersion. Furthermore, its leaves are geodesics in ([bar.M], [bar.g]), if and only if, f is a constant function, i.e., [bar.g] is a bundle-like metric.

(iii) Setting

[bar.g] = 1/(f [??] [[pi].sup.2]) [bar.g] = [[pi].sup.*] (1/[f.sup.2] g) + [[omega].sup.*] ([dt.sup.2]) (14)

one sees that generalized Kaluza-Klein metrics are conformal to bundle-like metrics.

Hence, once a suitable conformal change has been made (if necessary), every bundle-like metric provides a Riemannian submersion whose fiber flow is associated with a vertical unit Killing vector field. In other words, we have a Killing submersion. Moreover, we see that homogeneous 3-spaces with 4-dimensional isometry group pose bundle-like metrics and their classes of congruence are completely determined, up to topology, for a pair of constants: the curvature of the base surface c, and the bundle curvature [tau].

3. Willmore-Like Energies

Let ([bar.M], [bar.g] = <,>) be a 3-dimensional Riemannian manifold, [PHI] [member of] [C.sup.[infinity]]([bar.M]) a smooth function, and S a compact surface with no boundary. In the space of isometric immersions of S in [bar.M], I(S, [bar.M]), we define the following Willmore-like energy:

[mathematical expression not reproducible] (15)

where [phi] [member of] I(S, [bar.M]), [H.sub.[phi]] denotes the mean curvature function of [phi] and d[A.sub.[phi]] is the induced element of area via the immersion [phi].

The main purpose of this section is to compute the field equations associated with this kind of functionals. To this end, we consider a variation of [phi] [member of] I(S, [bar.M]). That is, a smooth map [PSI] : S x (-[delta], [delta]) [right arrow] [bar.M] satisfies the following conditions:

(i) For any [epsilon] [member of] (-[delta], [delta]) the map [[phi].sub.[epsilon]] : S [right arrow] [bar.M] defined by [[phi].sub.[epsilon]](m) = [PSI](m, [epsilon]) belongs to I(S, [bar.M]).

(ii) [[phi].sub.0] = [phi].

Then, the vector field on [PSI] given by

V(m, [epsilon]) = [[PSI].sub.*] ([partial derivative]/[partial derivative][epsilon] (m, [epsilon])) (16)

determines a vector field along [phi], V(m) := V(m, 0), which is called the variational vector field associated with the variation [PSI]. Thus, we can identify the tangent space [T.sub.[phi]](I(S, [bar.M])) with the space of vector fields along [phi] and, consequently, we have

[mathematical expression not reproducible] (17)

Now, the following lemma collects some formulae that will be needed in the sequel. They can be obtained using similar computations to those included in [13, 22]. For simplicity, we have eliminated the symbol [phi] in most of our notation.

Lemma 5. With the previous notation, the following statements hold:

(1) Let [??](m, [epsilon]) be the mean curvature vector field of [[phi].sub.[epsilon]] at m [member of] S, then

[mathematical expression not reproducible] (18)

where [DELTA] is the Laplacian associated with the connection D in the normal bundle of [phi](S), [??] stands for the Simons operator [13], Ric is the Ricci curvature of [bar.M], and N denotes the unit normal vector field of [phi]. Here [().sup.T] and [().sub.[perpendicular to]] denote tangential and normal components, respectively.

(2) The variation of the area element is given by the following formula:

[mathematical expression not reproducible] (19)

where d is the one-form defined by [theta](X) = [dA.sub.[phi]]([V.sup.T], X).

Combining the above two formulae and an argument involving integration by parts, we obtain the first variation formula of the first term in (15):

[mathematical expression not reproducible] (20)

where [K.sub.S] denotes the Gaussian curvature of S endowed with the induced metric associated with the initial immersion [phi], and R stands for its extrinsic Gaussian curvature (that is, the sectional curvature of [bar.M] on the tangent plane of [phi]).

Now, Lemma 5 can be used once more to compute the first variation formula of the second term in (15):

[mathematical expression not reproducible] (21)

where [nabla][PHI] denotes the gradient of the potential [PHI]. Now, it is easy to see that d[PHI] [conjunction] [theta] = [V.sup.T] ([PHI])dA and then

[mathematical expression not reproducible] (22)

Finally, we combine (20) and (22) to characterize the extremals of [W.sub.[PHI]](S) as the solutions of the following Euler-Lagrange equation:

[DELTA]H + H (2[H.sup.2] - 2[K.sub.S] + 2R + Ric (N, N) - 2[PHI]) + N ([PHI]) = 0. (23)

Along this note, solution surfaces of (23), that is extremals of [W.sub.[PHI]](S), will be called Willmore-like surfaces. Hence, we have

Theorem 6. Let ([bar.M], [bar.g]) be a 3-dimensional Riemannian manifold, [PHI] [member of] [C.sup.[infinity]]([bar.M]) a smooth function, and S a compact surface isometrically immersed in [bar.M]. Then S is a Willmore-like surface, if and only if, (23) is satisfied.

Notice that if the potential [PHI] is a constant function, say [mu] (in particular, the case in which [W.sub.[PHI]] (S) is the Willmore energy in a space of constant curvature [mu]), then every minimal surface is automatically a Willmore-like surface. However, if the potential is not constant, it follows from (23) that a minimal surface, S, is Willmore-like if and only if [nabla][PHI] is tangent to S anywhere.

4. Vertical Willmore Tori in Killing Submersions

Assume we have a Killing submersion [pi] : N(K, [tau]) [right arrow] M of a 3-dimensional Riemannian manifold N over a surface M. Let [gamma] be an immersed curve in (M, g), then [S.sub.[gamma]] = [[pi].sup.-1]([gamma]) is a surface isometrically immersed in N (by the natural inclusion i = [phi]) which is invariant under G := {[[psi].sub.t] : t [member of] R}, the one-parameter group of isometries associated with the Killing vector field [xi]. In fact, any G-invariant surface in N, S, is obtained in this way: S = [[pi].sup.-1] ([gamma]), for some curve [gamma] of M. It is usual to call [S.sub.[gamma]] the vertical tube (or vertical cylinder) shaped on the curve [gamma]. Notice that [S.sub.[gamma]] is embedded if [gamma] is a simple curve, and it is a torus when [gamma] is closed and G = [S.sup.1] is a circle group. If [gamma] is parametrized by its arc-length, then any horizontal lift of [gamma], [bar.[gamma]], is also arc-length parametrized. Now, using as coordinate curves the horizontal lifts of [gamma] and the fibers of the submersion, these vertical tubes [S.sub.[gamma]] can be parametrized by [PSI](s, t) = [[psi].sub.t]([bar.[gamma]](s)) and, as a consequence, [S.sub.[gamma]] are flat. It is also known that the mean curvature of these surfaces H is related to the curvature function of the corresponding cross sections by the formula (for details, see [27]):

H = 1/2 [kappa] [??] [pi], (24)

[kappa] denoting the geodesic curvature of [gamma] in M. Then, we have

Proposition 7. Consider a Willmore-like energy [W.sub.[PHI]](S) = [[integral].sub.S]([H.sup.2] + [PHI])dA with invariant potential [PHI]([PHI] = [phi] [??] [pi]) defined on the space of surface immersions in the total space of a Killing submersion [pi] : N(K, [tau]) [right arrow] M with compact fiber, i.e., G = [S.sup.1]. If [gamma] is a closed curve in M, then its vertical torus [S.sub.[gamma]] = [[pi].sup.-1]([gamma]) is a Willmore-like surface, if and only if, [gamma] is a extremal of the following elastic-like energy [E.sub.[phi]]([gamma]) = [[integral].sub.[gamma]]([[kappa].sup.2] + 4[phi])ds.

Proof. Let [S.sub.[gamma]] be a torus over [gamma]. The [S.sup.1]-action on N(K, [tau]) can be naturally extended to I(S, N) by [W.sub.[PHI]](<p) = [W.sub.[PHI]]([[psi].sub.t] [??] [phi]), for all t [member of] R, [phi] [member of] I(S, N). On the other hand the space, [summation], of the [S.sup.1]-invariant immersions, can be identified with

[summation] = {[S.sub.[gamma]] = [[pi].sup.-1] ([gamma]) : [gamma] is a closed curve in M}. (25)

In this setting, we can apply the symmetric criticality principle of Palais [28] to reduce symmetry and then [S.sub.[gamma]] = [[pi].sup.-1]([gamma]) is a Willmore torus, if and only if, it is an extremal of [W.sub.[PHI]] restricted to [summation]. Finally, we use (24) to conclude that this happens, precisely, when [gamma] is a critical curve for [E.sub.[phi]].

Remark 8. If the potential [phi] is constant, then extremals of the above energy [E.sub.[phi]] are known as elastic curves (see [29]). Thus, critical curves [gamma] of [E.sub.[phi]] will be called elasticae with potential 4[phi].

As an application, we obtain the following known characterization of closed elasticae with potential which will be used later

Corollary 9. A closed unit speed curve [gamma](s) of a Riemannian surface M is an extremal of the elastic-like energy [E.sub.[phi]] ([gamma]) = [[integral].sub.[gamma]] ([[kappa].sup.2] + 4[phi])ds ([kappa] being its geodesic curvature in M), if and only if,

2[kappa]" + [[kappa].sup.3] + 2(K - 2[phi])[kappa] + 4[??] ([phi]) = 0, (26)

where ( )' = d/ds, [??] denotes the unit normal of [gamma] in M and K is the Gaussian curvature of M.

Proof. If K is the Gaussian curvature of M, choose any [tau] [member of] [C.sup.[infinity]](M) and a Killing submersion [pi] : N(K, [tau]) [right arrow] M with compact fibers, as guaranteed by Theorem 1. Define [PHI] = [phi] [??] [pi] on N(K, [tau]). Now, from Proposition 7, we have that [gamma] is an extremal of the elastic-like energy [E.sub.[phi]]([gamma]) = [[integral].sub.[gamma]]([[kappa].sup.2] + 4[phi])ds, if and only if, [S.sub.[gamma]] is a critical point of [W.sub.[PHI]](S) = [[integral].sub.S]([H.sup.2] + [PHI])dA. Since [S.sub.[gamma]] is flat [mathematical expression not reproducible], moreover, a straightforward computation shows that on these vertical flat tori 2R + Ric(N, N) = K, N being the unit normal along [S.sub.[gamma]]. Hence (23) gives that [S.sub.[gamma]] must provide a solution of the following differential equation:

[DELTA]H + H (2[H.sup.2] + K - 2[phi] + N ([phi]) = 0, (27)

where H is the mean curvature function of [S.sub.[gamma]] in N(K, [tau]). Finally we combine (24) and (27) to conclude that the curvature of the elastica with 40-potential must satisfy

2[kappa]" + [[kappa].sup.3] + 2 (K - 2[phi])[kappa] + 4[??] ([phi]) = 0, (28)

[??] denoting the unit normal of [gamma] in M.

(n the other hand, as it has been mentioned previously in the introduction, in the context of Killing submersions the Willmore problem can be described as the variational problem associated with the so-called Chen-Willmore energy:

W (S) = W (S, [phi]) = [[integral].sub.S] ([H.sup.2.sub.[phi]] + R)d[A.sub.[phi]], (29)

where [phi] [member of] I(S, N(K, [tau])), and R denotes the extrinsic Gaussian curvature associated with the immersion [phi], that is the sectional curvature of N(K, [tau]) restricted to the tangent bundle d[phi](TS) of the corresponding surface. Recall that extremals of W are known as Willmore surfaces. It should be noticed that, in general, the energy (29) does not coincide with those given in (15), because the potential in (29) is defined on the Grassmannian of two planes, but if (N(K, [tau]), [bar.g]) has constant sectional curvature, c, then the Willmore energy (29) would correspond to a Willmore-like energy with constant potential [PHI] = c. Nevertheless, the situation for vertical cylinders shaped on closed curves of the base surface changes and we have the following.

Proposition 10. Assume that [pi] : N(K, [tau]) [right arrow] M is a Killing submersion with compact fiber, i.e., G = [S.sup.1]. Then, a vertical torus over a closed curve [gamma] in M, [S.sub.[gamma]] = [[pi].sup.-1]([gamma]), is a Willmore surface in N(K, [tau]), if and only if, [S.sub.[gamma]] is an extremal of the following Willmore-like energy:

[mathematical expression not reproducible] (30)

And this happens in turn, if and only if, [gamma] is an elastica with potential 4[[tau].sup.2] in M.

Proof. The extrinsic Gaussian curvature of vertical cylinders [S.sub.[gamma]] is related to the bundle curvature by

R([bar.X], [xi], [xi], [bar.X]) = [[tau].sup.2], (31)

where [bar.X] denotes the horizontal lift of the unit tangent vector field X = [gamma]'. Now, combining (29) and (31) and applying similar arguments to those used in Proposition 7 and the symmetric criticality principle of Palais [28], we draw the conclusion.

It is well known that compact minimal surfaces in spaces of constant curvature are examples of Willmore surfaces. The Euclidean 3-space does not contain compact minimal surfaces. However, the round three-sphere has plenty of compact minimal surfaces. These Willmore surfaces can be conformally projected by the stereographic projection to the Euclidean space, obtaining so examples of Willmore surfaces in the Euclidean 3-spaces because the Willmore energy is invariant under conformal changes in the surrounding metric. Both the Euclidean 3-space and the round 3-sphere provide examples of total 3-spaces associated with Killing submersions. In the former case K = [tau] = 0 and [pi] is just the projection over a plane. In the spherical case K = 4[[tau].sup.2] is a constant and [pi] is the well-known Hopf map from [S.sup.3] on [S.sup.2]. As it has been said previously, besides these spaces (whose group of isometries has dimension 6) the class of homogeneous three-space with 4-dimensional group of isometries provides also nice examples of Killing submersions with both K and [tau] being constant. In this case vertical minimal tori are automatically Willmore (see [30] and references therein). In contrast, for general Killing submersions we have the following direct consequence of Proposition 10 and (28)

Corollary 11. Let [pi] : N(K, [tau]) [right arrow] M be a Killing submersion and [gamma](s) be a closed geodesic in M, then [S.sub.[gamma]] = [[pi].sup.-1]([gamma]) is a Willmore torus in N(K, [tau]) if and only if [gamma](s) is a tangent line of [[tau].sup.2].

As an application, let us consider, for example, the unit round 2-sphere, [S.sup.2] [subset] [R.sup.3], which we assume to be centered at the point [p.sub.o] = (0,0, 1). Now, choose the nonnegative function h [member of] [C.sup.[infinity]]([S.sup.2]) obtained as the restriction of the height function, in [R.sup.3], to the plane z = 0. It is clear that the gradient flow associated with [nabla]h is made up of the great circles through the origin, which obviously are geodesics. On the other hand, we know that there exists a Killing submersion N(K = 1, h) [right arrow] [S.sup.2] with bundle curvature h [24]. This Killing submersion is unique up to isomorphism and in this case, it coincides with the Hopf map [pi] : [S.sup.3] [right arrow] [S.sup.2] where the 3-sphere is endowed with a suitable metric. Therefore, in the corresponding conformal class, we get a class of minimal Willmore tori having a pair of great circles in common.

To end this section, we consider frame bundles of surfaces as a particular case of Killing submersions and study Willmore surfaces in this context. Let (M, g) be a Riemannian surface with metric g and Gaussian curvature K. Denote by FM its orthonormal frame bundle. Then, the natural projection, [pi] : FM [right arrow] M gives a principal bundle with structure group O(2). Certainly the geometry of FM is more closely related to M than that of any other principal bundle. Remember, for example, the popular definitions of the Levi-Civita connection and the curvature operator of (M, g) in terms of the connection form w and the curvature form [OMEGA] of FM. Now, FM can be endowed with bundle-like metrics as follows:

[bar.g] = [[pi].sup.*] (g) + [[omega].sup.*] ([dt.sup.2]), (32)

providing a large class of Killing submersions. The corresponding bundle curvature [tau] can be computed using (31) and [31]:

[mathematical expression not reproducible] (33)

where [mu] is the third O'Neill invariant [32] defined in terms of the connection form [omega] = ([[omega].sub.ij]) by

[mathematical expression not reproducible] (34)

But 1 = [bar.g]([xi], [xi]) = <[omega]([xi]), [omega]([xi])> = [[summation].sup.2.sub.i[not equal to]j][([[omega].sub.ij]([xi])).sup.2] = 2[([[omega].sub.12]([xi])).sup.2] and consequently [([[omega].sub.12]([xi])).sup.2] = 1/2. Therefore, [[absolute value of ([mu]([xi]))].sup.2] = 2. Moreover, we have

[mathematical expression not reproducible] (35)

and we obtain

[[absolute value of ([R.sub.[mu]([xi])]X)].sup.2] = 2[K.sup.2] ([<X, [f.sub.1]>.sup.2] + [<X, [f.sub.2]>.sup.2]) = 2[K.sup.2], (36)

where [absolute value of (X)] = 1. Hence, from (33) we see that the bundle curvature of the frame bundle Killing submersion is given by

[[tau].sup.2] = 1/4[K.sup.2] [??] [pi]. (37)

Thus, combining Proposition 10 and (37) we have the following.

Corollary 12. Let [gamma] be a closed curve in a Riemannian surface, M, with Gaussian curvature K. Then [S.sub.[gamma]] = [[pi].sup.-1] ([gamma]) is a Willmore torus in the orthonormal frame bundle FM if and only if [gamma] is an extremal of the following elastic energy with potential

A([gamma]) = [[integral].sub.[gamma]] ([[kappa].sup.2] + [K.sup.2])ds, (38)

acting on the space of closed curves in M.

5. Killing Submersions and Willmore Tori Foliations

5.1. Willmore Foliations of Orthonormal Frame Bundles on Surfaces. We first show how one can get minimal Willmore tori families foliating the frame bundle of compact rotation surfaces in [R.sup.3].

Proposition 13. The orthonormal frame bundle of any compact rotation surface in [R.sup.3] admits a foliation by minimal Willmore tori.

Proof. Let [S.sub.[gamma]] be the rotation torus swept out by revolving around the z-axis a closed curve y contained in the half plane z = 0, x > 0. Denote by [R.sub.t]([gamma]) the meridian obtained by rotating an angle t the profile curve [gamma]. It is obvious that [[pi].sup.-1] ([R.sub.t]([gamma])) is a minimal torus in F[S.sub.[gamma]], where [pi] : FM [right arrow] [S.sub.[gamma]] denotes the natural projection. Moreover, meridians are not only geodesics, but also they are extremals of the elastic energy A because [??](K) = 0 (see Corollary 12 and (28)). Consequently, {[[pi].sup.-1]([R.sub.t]([gamma])) : t [member of] R} constitutes a foliation of F[S.sub.[gamma]] by minimal Willmore tori.

Now we want to obtain orthonormal frame bundles of surfaces admitting foliations by nonminimal Willmore tori. To this end, we consider the following construction.

Let f(s) be a smooth function defined on a real interval I = (a, b) and consider the surface I x [S.sup.1] endowed with the warped product metric [ds.sup.2] + f(s)d[[theta].sup.2]. The corresponding Riemannian surface is called a warped product surface and is simply denoted by [S.sub.f] := I x [sub.f][S.sup.1]. The group [S.sup.1] acts trivially on [S.sub.f] by isometries and the orbits of this action, [[gamma].sub.s]([theta]) := {s} x [S.sup.1], are called fibers of [S.sub.f]. We first want to determine the warped surfaces for which all fibers are extremals of

A ([gamma]) = [[integral].sub.[gamma]]([[kappa].sup.2] + [K.sup.2])ds, (39)

K being the Gaussian curvature of [S.sub.f]. According to the results in previous section, they will give rise to orthonormal frame bundles admitting foliations by Willmore tori with constant mean curvature. Then, we have

Proposition 14. Let [S.sub.f] := I x [sub.f][S.sup.1] be a warped product surface all whose fibers are critical for the energy functional (39). Then, locally, either f is constant and [S.sub.f] is a Riemannian product surface, or f(s) is determined by

[mathematical expression not reproducible] (40)

where [c.sub.2], [lambda] [member of] [R.sup.+] and Lam denotes the Lambert function [33].

Proof. The Euler-Lagrange equation for closed extremals of (39) in a surface are obtained using Corollary 9:

2[kappa]" (t) + [kappa] [(t).sup.3] + 2K (t) [kappa](t) - K [(t).sup.2] [kappa] (t) + [??] (K[(t).sup.2]) = 0, (41)

where t is the arc-length parameter of the curve, the derivative with respect to t is denoted by ()' = d/dt, K(t) is the Gaussian curvature of the surface along the curve, and [??] is the normal vector to the curve in the surface.

Assume that every orbit of [S.sub.f] is critical for (39). In [S.sub.f] the geodesic curvature of any orbit, [kappa](s, [theta]) = -[??](s)/f(s), is constant on it (where now we are using overdots for d/ds) while the Gaussian curvature is given by K(s, [theta]) = - [??](s)/f(s). Observe that [??] [equivalent to] d/ds is the normal vector field to the orbits on the surface. Since all orbits are critical, (41) tells us that

[mathematical expression not reproducible] (42)

for s [member of] I. If f(s) is constant, then [S.sub.f] is locally a Riemannian product which is a flat surface with every orbit being a geodesic. Therefore, orbits of Riemannian products satisfy (41) so that they are critical for (39). If f(s) is not constant, we divide (42) by f[((s)).sup.2] obtaining

[mathematical expression not reproducible] (43)

and therefore

[mathematical expression not reproducible] (44)

for some [lambda] [member of] [R.sup.+]. For convenience, in the following manipulations we put y(s) := f(s). Then, (44) can be written as

1-j-((y(s))2) = [+ or -](Xy(s)-(y(s)f)m. (45)

Thus, setting z(s) = [([??](s)).sup.2], p(y) = dz/dy, one gets

1/2 dz/dy = [+ or -] [([lambda]y - z).sup.1/2],

y = 1/[lambda](1/4[p.sup.2] + x). (46)

Differentiating with respect to z the second identity in (46), we have

dz = 1/2 [p.sup.2]/[lambda] - p dp. (47)

Integrating this we get

z + [c.sub.1] = -[lambda]/2 p - 1/4 [p.sup.2] - [[lambda].sup.2]/2 log ([lambda] - p), (48)

with [c.sub.1] [member of] R. Unwinding the changes of variable (48) reduces to

[mathematical expression not reproducible] (49)

Manipulating (49), we obtain

[mathematical expression not reproducible] (50)

for a certain constant [d.sub.1] [member of] R. In other words

[mathematical expression not reproducible] (51)

where Lam denotes the Lambert function (see, [33]). Finally, from (51) we have

[mathematical expression not reproducible] (52)

5.2. Elasticae with Potential and Willmore Tori in Killing Submersions. For a given Riemannian surface M with Gaussian curvature K, and for a potential [mu] [member of] [C.sup.[infinity]](M), we can consider the following elastic energy:

[A.sub.[mu] ([gamma]) = [[integral].sub.[gamma]] ([[kappa].sup.2] + [mu]) ds (53)

acting on the space of closed curves in M. From Corollary 9 the Euler-Lagrange equation associated with critical curves of this functional is

2[kappa]" + [[kappa].sup.3] + 2K[kappa] - [mu][kappa] + [??] ([mu]) = 0, (54)

[kappa] denoting the geodesic curvature of the extremal curve. In particular, if the potential [mu] is constant say [lambda], then the extremals of [A.sub.[lambda]] are the classical elastic curves (which we will call here [lambda]-elasticae). Now, a natural problem is the following: given an elastica, say [gamma](s), in M, determine those potentials [mu] [member of] [C.sup.[infinity]](M) for which [gamma](s) is an extremal of [A.sub.[mu]], in other words, a solution of (54). It is clear that these potentials must satisfy the following differential equations along the curve [gamma](s):

[??] (ln ([mu] - [lambda])) = [kappa]. (55)

Therefore, in a neighborhood of [gamma](s) in M, they must have the following form:

[mu] (s, t) = exp ([kappa] (s)t + [omega] (s)) + [lambda], (56)

where [omega](s) is an arbitrary function along [gamma](s). Consequently, we have

Theorem 15. Let y(s) be a [lambda]-elastica with curvature function [kappa](s) lying on a surface M with Gaussian curvature K. For an arbitrary function [omega](s) along [gamma](s) consider

[mu] (s, t) = exp ([kappa] (s)t + [omega] (s)) + [lambda], (57)

defined on a certain neighborhood t [member of] (-[epsilon], [epsilon]) of [gamma](s). Let [pi] : N(K, [tau]) [right arrow] M be a Killing submersion with closed fibers and bundle curvature [tau], satisfying 4[[tau].sup.2] = [mu](s, t) on the chosen neighborhood. Then, [S.sub.[gamma]] = [[pi].sup.-1] ([gamma]) is a Willmore torus in N(K, [tau]).

Finally, as an illustration we analyze the following problem. In M = [R.sup.2] - {(0,0)} consider the family of circles {[C.sub.t] : t > 0} defined by [C.sub.t] = {(x, y); [x.sup.2] + [y.sup.2] = [t.sup.2]}. It is obvious that this family constitutes the leaves of a foliation in M. Now, we wish to determine those potentials [mu] [member of] [C.sup.[infinity]](M) that make the whole family of circles extremals of the energy (53). Noticed that we are considering M as the once-punctured Euclidean plane and obviously endowed with the Euclidean metric, so K = 0 and the curvature of [C.sub.t] is 1/t. Hence, from (54) we must determine those functions [mu](s, t) which are solutions of the following differential equation:

[[partial derivative].sub.t][mu] = 1/t [mu] - 1/[t.sup.3]. (58)

But, the general solution of (58) is

[mu](s, t) = f(s)t + 1/3[t.sup.2], f [member of] [C.sup.[infinity]] ([S.sup.1]). (59)

so that we can prove the following statement.

Corollary 16. Let M = [R.sup.2] - {(0, 0)} be the once-punctured Euclidean plane, f [member of] [C.sup.[infinity]] a periodic positive function and define [mu] by (59). Then, there exists a Killing submersion [pi] : N(0, [tau]) [right arrow] M with bundle curvature given by 4[[tau].sup.2] = [mu] which admits a foliation by Willmore tori with constant mean curvature.

Proof. Positivity of the function f allows ensuring the existence of [tau] [member of] [C.sup.[infinity]](M) satisfying 4[[tau].sup.2] = [mu], where [mu] is defined in (59). Now, we use Theorem 1 to obtain a Killing submersion, say [pi] : N(0, [tau]) [right arrow] M, with compact fibers over M and bundle curvature [tau]. Since the circles [C.sub.t], t >0 are extremals of the energy action (53), we obtain that [S.sub.t] = [[pi].sup.-1]([C.sub.t]) are Willmore tori in N (see Proposition 10).

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.


This research was partially supported by MINECO-FEDER Grants MTM2014-54804-P and MTM2013-47828-C2-1-P and Gobierno Vasco Grant IT1094-16, Spain. The third author has been supported by Programa Predoctoral de Formation de Personal Investigador No Doctor, GobiernoVasco, 2015.


[1] W. Helfrich, "Elastic properties of lipid bilayers: theory and possible experiments," Zeitschrift fur Naturforschung C, vol. 28, no. 11-12, pp. 693-703, 1973.

[2] O. J. Garay, "Riemannian submanifolds shaped by the bending energy and its allies," in Proceedings of the Sixteenth International Workshop on Diff Geom., vol. 16, pp. 57-70, 2012.

[3] G. Thomsen, "Uber konforme Geometrie I: Grundlagen der konformen Fachentheorie," Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg, vol. 3, no. 1, pp. 31-56, 1923.

[4] T. J. Willmore, "Mean curvature of immersed surfaces," Analele stiinfifice ale Universitafii "Al. I. Cuza" din Iasi. Matematica (SERIE NOUA), vol. 14, pp. 99-103, 1968.

[5] W. Blaschke, Vorlesungen Uber Differentialgeometrie III, Springer, Berlin, Germany, 1929.

[6] J. H. White, "A global invariant of conformal mappings in space," Proceedings of the American Mathematical Society, vol. 38, pp. 162-164, 1973.

[7] M. Barros and B.-Y. Chen, "Stationary 2-type surfaces in a hypersphere," Journal of the Mathematical Society of Japan, vol. 39, no. 4, pp. 627-648, 1987.

[8] R. L. Bryant, "A duality theorem for Willmore surfaces," Journal of Differential Geometry, vol. 20, no. 1, pp. 23-53, 1984.

[9] I. Castro and F. Urbano, "Willmore surfaces of R4 and the Whitney sphere," Annals of Global Analysis and Geometry, vol. 19, no. 2, pp. 153-175, 2001.

[10] D. Ferus and F. Pedit, "S1-equivariant minimal tori in S4 and S1-equivariant Willmore tori in S3," Mathematische Zeitschrift, vol. 204, no. 2, pp. 269-282, 1990.

[11] S. Montiel, "Willmore two-spheres in the four-sphere," Transactions of the American Mathematical Society, vol. 352, no. 10, pp. 4469-4486, 2000.

[12] U. Pinkall, "Hopf tori in S3," Inventiones Mathematicae, vol. 81, no. 2, pp. 379-386, 1985.

[13] J. L. Weiner, "On a problem of Chen, Willmore, et al," Indiana University Mathematics Journal, vol. 27, no. 1, pp. 19-35, 1978.

[14] F. C. Marques and A. Neves, "Min-max theory and the Willmore conjecture," Annals of Mathematics: Second Series, vol. 179, no. 2, pp. 683-782, 2014.

[15] J. Langer and D. Singer, "Curves in the hyperbolic plane and mean curvature of tori in 3-space," Bulletin of the London Mathematical Society, vol. 16, no. 5, pp. 531-534, 1984.

[16] A. Ros, "The Willmore conjecture in the real projective space," Mathematical Research Letters, vol. 6, no. 5-6, pp. 487-493, 1999.

[17] P. Topping, "Towards the Willmore conjecture," Calculus of Variations and Partial Differential Equations, vol. 11, no. 4, pp. 361-393, 2000.

[18] B.-Y. Chen, "Some conformal invariants of submanifolds and their applications," Bollettino dell'Unione Matematica Italiana, vol. 6, pp. 380-385, 1974.

[19] B.-Y. Chen, Total Mean Curvature and Submanifolds of Finite Type, vol. 27 of Series in Pure Mathematics, World Scientific Publishing Corporation, Singapore, 2nd edition, 1984.

[20] J. C. Nitsche, "Boundary value problems for variational integrals involving surface curvatures," Quarterly of Applied Mathematics, vol. 51, no. 2, pp. 363-387, 1993.

[21] M. Barros, "A geometric algorithm to construct new solitons in the O(3) nonlinear sigma model," Physics Letters B, vol. 553, no. 3-4, pp. 325-331, 2003.

[22] M. Barros, M. Caballero, and M. Ortega, "Rotational surfaces in L3 and solutions of the nonlinear sigma model," Communications in Mathematical Physics, vol. 290, no. 2, pp. 437-477, 2009.

[23] J. M. Espinar and I. S. de Oliveira, "Locally convex surfaces immersed in a Killing submersion," Bulletin of the Brazilian Mathematical Society, vol. 44, no. 1, pp. 155-171, 2013.

[24] J. M. Manzano, "On the classification of Killing submersions and their isometries," Pacific Journal of Mathematics, vol. 270, no. 2, pp. 367-392, 2014.

[25] B. Daniel, "Isometric immersions into 3-dimensional homogeneous manifolds," Commentarii Mathematici Helvetici, vol. 82, no. 1, pp. 87-131, 2007.

[26] E. Cartan, Lecons sur la Geometrie des Espaces de Riemann, Gauthier Villars, Paris, 1928.

[27] M. Barros, "Willmore tori in non-standard 3-spheres," Mathematical Proceedings of the Cambridge Philosophical Society, vol. 121, no. 2, pp. 321-324, 1997.

[28] R. S. Palais, "The principle of symmetric criticality," Communications in Mathematical Physics, vol. 69, no. 1, pp. 19-30, 1979.

[29] J. Langer and D. A. Singer, "The total squared curvature of closed curves," Journal of Differential Geometry, vol. 20, no. 1, pp. 1-22, 1984.

[30] M. Barros, A. Ferrandez, and O. J. Garay, "Equivariant Willmore surfaces in conformal homogeneous three spaces," Journal of Mathematical Analysis and Applications, vol. 431, no. 1, pp. 342-364, 2015.

[31] A. Gray, "Pseudo-riemannian almost product manifolds and submersions," Journal of Mathematics and Mechanics on JSTOR, vol. 16, pp. 715-727, 1967.

[32] B. O'Neill, "The fundamental equations of a submersion," Michigan Mathematical Journal, vol. 13, pp. 459-469, 1966.

[33] R. M. Corless, G. H. Gonnet, D. E. Hare, D. J. Jeffrey, and D. E. Knuth, "On the Lambert W function," Advances in Computational Mathematics, vol. 5, no. 4, pp. 329-359, 1996.

Manuel Barros, (1) Oscar J. Garay (iD), (2) and Alvaro Pampano (2)

(1) Departamento de Geometria y Topologia, Universidad de Granada, Granada, Spain

(2) Department of Mathematics, Faculty of Science and Technology, University of the Basque Country UPV/EHU, Bilbao, Spain

Correspondence should be addressed to (Oscar J. Garay;

Received 28 March 2018; Accepted 14 May 2018; Published 12 June 2018

Academic Editor: Remi Leandre
COPYRIGHT 2018 Hindawi Limited
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2018 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Title Annotation:Research Article
Author:Barros, Manuel; Garay, Oscar J.; Pampano, Alvaro
Publication:Advances in Mathematical Physics
Article Type:Report
Geographic Code:1USA
Date:Jan 1, 2018
Previous Article:Loss, Gain, and Singular Points in Open Quantum Systems.
Next Article:The Convergence of Riemann Solutions to the Modified Chaplygin Gas Equations with a Coulomb-Like Friction Term as the Pressure Vanishes.

Terms of use | Privacy policy | Copyright © 2022 Farlex, Inc. | Feedback | For webmasters |