arxiv: v2 [math.dg] 6 Jan 2015

Transcription

1 Symmetry, Integrability and Geometry: Methods and Applications Geometry of Centroaffine Surfaces in R 5 Nathaniel BUSHEK and Jeanne N. CLELLAND Department of Mathematics, UNC - Chapel Hill, CB #5, Phillips Hall, Chapel Hill, NC 7599, USA bushek@unc.edu SIGMA 5),, 4 pages arxiv:48.488v [math.dg 6 Jan 5 Department of Mathematics, 95 UCB, University of Colorado, Boulder, CO 89-95, USA Jeanne.Clelland@colorado.edu Received August, 4, in final form December 6, 4; Published online January 6, 5 Abstract. We use Cartan s method of moving frames to compute a complete set of local invariants for nondegenerate, -dimensional centroaffine surfaces in R 5 \ {} with nondegenerate centroaffine metric. We then give a complete classification of all homogeneous centroaffine surfaces in this class. Key words: centroaffine geometry; Cartan s method of moving frames Mathematics Subject Classification: 5A5; 58A5 Introduction An immersion f : M R n \ {} is called a centroaffine immersion cf. Definition.) if the position vector fx) is transversal to the tangent space f T x M) for all x M. Centroaffine geometry is the study of those properties of centroaffine immersions that are invariant under the action of the centroaffine group GLn, R) on R n \ {}. Much attention has been given to the study of centroaffine curves and hypersurfaces [5, 8, 9,,, 7, 8,, and more recently to the study of centroaffine immersions of codimension [, 4,, 5, 6, 9,,. In [, applications of centroaffine geometry to the problem of feedback equivalence in control theory are discussed. In this paper, we consider the case of a -dimensional centroaffine surface in R 5 \ {}. We will use Cartan s method of moving frames to construct a complete set of local invariants for a large class of such surfaces under certain nondegeneracy assumptions cf. Definition., Assumption.). In addition, we give a complete classification of the homogeneous centroaffine surfaces in this class i.e., those that admit a -dimensional Lie group of symmetries that acts transitively on an adapted frame bundle canonically associated to the surface cf. Definition 6.). Our primary results are Theorems 4. and 5., which describe local invariants for centroaffine surfaces with definite and indefinite centroaffine metrics, respectively, and Theorem 6.6, which describes the homogeneous examples. The paper is organized as follows. In Section, we introduce the basic concepts of centroaffine geometry and centroaffine surfaces in R 5 \ {}, including the centroaffine frame bundle and the Maurer Cartan forms. In Section, we begin the method of moving frames and identify firstorder invariants for centroaffine surfaces. Based on these invariants, nondegenerate surfaces may be locally classified as space-like, time-like, or null. In Sections 4 and 5, we continue the method of moving frames for the space-like and time-like cases, respectively. We do not consider the null case here; it may be explored in a future paper.) Finally, in Section 6 we classify the homogeneous examples in both the space-like and time-like cases.

2 N. Bushek and J.N. Clelland Centroaffine surfaces in R 5, adapted frames, and Maurer Cartan forms Five-dimensional centroaffine space is the manifold R 5 \ {}, equipped with a natural GL5, R)- action. Specifically, GL5, R) acts on R 5 \ {} by left multiplication: for x R 5 \ {}, g GL5, R), we have g x = gx. The group GL5, R) may be regarded as a principal bundle over R 5 \ {}: write an arbitrary element g GL5, R) as g = [ e e e e e 4, where e,..., e 4 R 5 \ {} are linearly independent column vectors. Then define the bundle map π : GL5, R) R 5 \ {} by π [ e e e e e 4 ) = e..) The fiber group H is isomorphic to the stabilizer of the point [ T R 5 \ {}, and this construction endows the manifold R 5 \{} with the structure of the homogeneous space GL5, R)/H. We also think of the bundle π : GL5, R) R 5 \ {} as the centroaffine frame bundle F over R 5 \ {}. For each point e R 5 \ {}, the fiber over e consists of all frames e, e, e, e, e 4 ) for the tangent space T e R 5 \ {}) i.e., all frames for which the first vector in the frame is equal to the position vector. The Maurer Cartan forms ωj i on F are defined by the equations de i = e j ω j i, i, j 4,.) and they satisfy the Cartan structure equations dω i j = ω i k k j..) For details, see [7, p. 8 or [.) We are interested in the geometry of -dimensional immersions f : M R 5 \ {}; we will use Cartan s method of moving frames to compute local invariants for such immersions under the action of GL5, R). Definition.. An immersion f of a -dimensional manifold M into R 5 \ {} is called a centroaffine immersion if the position vector fx) is transversal to the tangent space f T x M) for all x M. The image Σ = fm) is called a centroaffine surface in R 5 \ {}. In order to begin the method of moving frames, consider the induced bundle of centroaffine frames along Σ = fm); this is simply the pullback bundle F = f F over M. A centroaffine frame field along Σ is a section of F i.e., a smooth map f : M GL5, R) such that π f = f. Throughout the remainder of this paper, we will consider the pullbacks of the Maurer Cartan forms on F to M via such sections f, and we will suppress the pullback notation. We will gradually adapt our choice of centroaffine frame fields based on the geometry of Σ. For our first adaptation, consider the subbundle F F consisting of all frames for which

3 Geometry of Centroaffine Surfaces in R 5 e x), e x)) span the tangent space T fx) Σ for each x M. A section f : M F will be called a -adapted frame field along Σ. Any two -adapted frames e,..., e 4 ), ẽ,..., ẽ 4 ) based at the same point x M are related by a transformation of the form r r 4 [ a a r r 4 [ẽ ẽ ẽ ẽ ẽ 4 = e e e e e 4 a a r r 4 b b 4,.4) b 4 b 44 where the submatrices [ [ a a A = b b, B = 4 a a b 4 b 44 are elements of GL, R). We will denote the group of all matrices of the form in.4) by G ; then the bundle F is a principal bundle over M with fiber group G. If f, f : M F are two -adapted frame fields along Σ, then f, f are related by the equation fx) = fx) gx) for some smooth function g : M G, as in equation.4). Then the corresponding gl5, R)- valued Maurer Cartan forms Ω = [ωj i, Ω = [ ω j i on M are related as follows: Ω = g dg + g Ωg..5) Reduction of the structure group and f irst-order invariants Now consider the pullbacks of the Maurer Cartan forms to M via a -adapted frame field f. From equation.) for de and the fact that the image of de is spanned by e and e, we have ω = ω = ω 4 =..) Moreover, the -forms ω, ω are semi-basic for the projection π : F M; in fact, they form a basis for the semi-basic -forms on F. Differentiating equations.) yields: = dω = ω + ω ), = dω = ω + ω ), = dω 4 = ω 4 + ω 4 ). Cartan s lemma see, e.g., [7 or [) then implies that there exist functions h k ij = hk ji, k =,, 4, on M such that [ [ [ ω k h k ω k = h k ω h k h k ω. For simplicity of notation, let h k denote the matrix [ h h k k = h k h k h k, k =,, 4.

4 4 N. Bushek and J.N. Clelland If f, f : M F are two -adapted frame fields related by a transformation of the form.4), then we can use equation.5) to determine how the corresponding matrices h k, h k are related. First, it follows from the fact that ẽ = e that dẽ = [ ẽ ẽ [ ω ω Then, since we have [ẽ ẽ = [ e e A, = [ e e [ ω ω = de. we must have [ [ ω ω ω = A ω..) Similar considerations show that [ [ ) [ ω ω ω = det B) AT b ω 4 44 ω b 4 ω 4, [ [ ) [ ω 4 ω ω 4 = det B) AT b ω 4 4 ω + b ω 4, [ [ ω ω ω = A T [ ω ω r [ ω 4 ω r 4 ω 4..) Together, equations.),.) imply that h = det B) AT b 44 h b 4 h 4) A, h4 = det B) AT b 4 h + b h 4) A, h = A T h A r h r 4 h4..4) Definition.. A centroaffine surface Σ = fm) will be called nondegenerate if the matrices h, h, h 4 are linearly independent in Sym R) at every point of M. Henceforth, we assume that Σ is nondegenerate; from the group action.4) it is clear that this definition is independent of the choice of -adapted frame field f : M F along Σ. The next step is to use the group action.4) to find normal forms for the matrices h, h, h 4. First consider the action on h, h 4 : it can be written as the composition of two separate actions by the matrices A, B GL, R): A h, h 4) = A T h A, A T h 4 A ), B h, h 4) = b44 h b 4 h 4), b4 h + b h 4)). det B) det B) If we let P denote the -dimensional subspace of Sym R) spanned by h, h 4 ), then we see that the action by B preserves P, while A acts on P via A P = A T P A..5) In order to understand the action.5), consider the related action A h = A T ha.6)

5 Geometry of Centroaffine Surfaces in R 5 5 on Sym R). It is shown in [, p. 5 that this action preserves the indefinite quadratic form Qh) = deth).7) up to a scale factor. More precisely, Q gives Sym R) the structure of the Minkowski space R,, and the action.6) gives a representation of GL, R) as the group CSO +, ) of orientationpreserving, orthochronous, conformal Minkowski transformations of R,. This action has precisely 6 orbits, represented by the matrices [, [, [, [, [, [..8) In terms of the Minkowski metric on Sym R) determined by Q, the second and third matrices in.8) represent the two orbits of null vectors oriented in opposite time directions); the fourth and fifth represent the two orbits of time-like vectors oriented in opposite time directions), while the sixth represents the single orbit of space-like vectors. The action.6) induces the action.5) on the Grassmannian of -planes in Sym R), which corresponds to the action of CSO +, ) on planes in R,. This action has precisely orbits, consisting of planes that are space-like, time-like, or null with respect to the quadratic form.7). These orbits are represented by the -planes [ [ ) P = span, space-like), [ [ ) P = span, time-like), P = span, [ [ ) null)..9) The type of the plane P spanned by h, h 4 ) space-like, time-like, or null) is preserved by the group action.4); thus the type of P at any point x M is well-defined, independent of the choice of -adapted frame field f : M F. Remark.. We note that similar quadratic forms h, h 4 were obtained by Nomizu and Vrancken in their study of affine surfaces in R 4 ; see [4. At this point, the method of moving frames dictates that we divide into cases based on the type of P. In order to proceed, we make the following assumption: Assumption.. Assume that Σ has constant type i.e., that the type of P is the same at every point x M. In this paper we will consider only the space-like and time-like cases; the null case is considerably more complicated and may be explored in a future paper. 4 The space-like case First, suppose that the plane P spanned by h, h 4 ) is space-like at every point of M. According to the group action.5), we can find a -adapted frame field along Σ for which P = P, as in equation.9). Furthermore, we can then use the action by B to find a -adapted frame field along Σ for which [ h =, h 4 = [. 4.)

6 6 N. Bushek and J.N. Clelland The next step is to determine the subgroup of G that preserves the conditions 4.). To this end, first note that the plane P spanned by the matrices 4.) consists precisely of the trace-free matrices in Sym R). A straightforward computation shows that, with h, h 4 as in 4.), tr A T h A ) = a + a a a, tr A T h 4 A ) = a a + a a ). Therefore, the action.5) preserves P if and only if a + a a a = a a + a a =, which is true if and only if A = λa for some λ R, A O, R). Substituting this condition into equations.4) and imposing the conditions h = h, h 4 = h 4 then yields B = λ A ). For simplicity, we will restrict to transformations with A SO, R), λ > ; this has the advantage of producing a frame bundle whose fiber is a connected Lie group. Thus we will assume that [ [ λ cosθ) λ sinθ) λ A =, B = cosθ) λ sinθ) λ sinθ) λ cosθ) λ sinθ) λ, 4.) cosθ) where λ >, θ R. Next, consider the effect of the action.4) on h. With A = I and r, r 4 chosen appropriately, we can add any linear combination of h, h 4 to h. Thus we can find a -adapted frame field for which h is a multiple nonzero by the nondegeneracy assumption) of the identity matrix I. Then under the action.4) with A, B as in 4.), we have h = λ h + [ r r 4 r 4 r. Therefore, we can find a -adapted frame field along Σ satisfying the additional condition that h = ±I, and this condition is preserved by transformations of the form.4) with A, B as in 4.), λ =, and and r = r 4 =. Definition 4.. Let Σ = fm) be a nondegenerate, space-like centroaffine surface in R 5 \ {}. A -adapted frame field f : M F will be called -adapted if it satisfies the conditions [ [ [ h =, h 4 =, h ɛ =, 4.) ɛ with ɛ = ±, at every point of M. Any two -adapted frames e,..., e 4 ), ẽ,..., ẽ 4 ) based at the same point x M are related by a transformation of the form [ẽ ẽ ẽ ẽ ẽ 4 = [ cosθ) sinθ) r r 4 e e e e e 4 sinθ) cosθ) r r 4 cosθ) sinθ). 4.4) sinθ) cosθ)

7 Geometry of Centroaffine Surfaces in R 5 7 We will denote the group of all matrices of the form in 4.4) by G ; then the -adapted frame fields along Σ are the smooth sections of a principal bundle F F over M with fiber group G. The equations 4.) are equivalent to the condition that the Maurer Cartan forms associated to a -adapted frame field satisfy the conditions ω = ω, ω = ω, ω 4 = ω, ω 4 = ω, ω = ɛω, ω = ɛω. 4.5) Differentiating equations 4.5) yields ω ω ) + ω ω ω4 ) =, ω ω ω4 ) + ω ω ) =, ω ω 4 ) + ω + ω ω4 4 ) =, ω + ω ω4 4 ) + ω + ω 4 ) =, ɛω ω ) + ɛω + ɛω ω4 ) =, ɛω + ɛω ω4 ) + ɛω + ω ) =. Applying Cartan s lemma to these equations shows that there exists a -form α and functions h i jk on F such that ω = h ω + h ω, ω 4 = h 4ω + h 4ω, ω = h ω + h ω, ω = α + h ω + h ω, ω = α + h ω + h ω, ω = h ω + h ω, ω = h ω + h ω, ω 4 = α + h 4ω + h 4ω, ω 4 = α + h 4 ω + h 4 ω, ω 4 4 = h 4 4ω + h 4 4ω. 4.6) Moreover, the functions h i jk satisfy the relations h h + h 4 =, h h h 4 =, h h + h + h 4 h 4 4 =, h h + h h 4 h 4 4 =, h h 4 + ɛ h h ) =, h + h 4 + ɛ h h ) =. 4.7) If f, f : M F are two -adapted frame fields related by a transformation of the form 4.4), then we can once again use equation.5) to determine how the corresponding functions h i jk, h i jk are related. Some of these relationships are more complicated than others; the most straightforward to compute are those corresponding to the forms ω, ω 4. These forms appear as the coefficients of ẽ = e in the equations.) for dẽ, dẽ 4. By applying equations 4.4) and 4.6), one can show that [ [ h [ cosθ) sinθ) h [ r h = sinθ) cosθ) 4 h + ɛ, r 4 4 [ [ h [ cosθ) sinθ) h [ r = + ɛ. sinθ) cosθ) h 4 h 4 Thus we can find a -adapted frame field along Σ satisfying the conditions that h = h = h 4 = h 4 =, r 4 and these conditions are preserved by transformations of the form 4.4) with r = r 4 = r = r 4 =.

8 8 N. Bushek and J.N. Clelland Definition 4.. Let Σ = fm) be a nondegenerate, space-like centroaffine surface in R 5 \ {}. A -adapted frame field f : M F will be called -adapted if it satisfies the conditions h = h = h 4 = h 4 = 4.8) at every point of M. Any two -adapted frames e,..., e 4 ), ẽ,..., ẽ 4 ) based at the same point x M are related by a transformation of the form [ẽ ẽ ẽ ẽ ẽ 4 = [ cosθ) sinθ) e e e e e 4 sinθ) cosθ) cosθ) sinθ). 4.9) sinθ) cosθ) We will denote the group of all matrices of the form in 4.9) by G ; note that G = SO, R). Then the -adapted frame fields are the smooth sections of a principal bundle F F over M with fiber group G. The equations 4.8) are equivalent to the condition that the Maurer Cartan forms associated to a -adapted frame field satisfy the conditions ω = ω 4 =. 4.) Differentiating equations 4.) yields ω + ω = ω 4 + ω 4 =, and applying Cartan s lemma shows that there exist functions h i jk on F such that ω = h ω + h ω, ω = h ω + h ω, ω 4 = h 4ω + h 4ω, ω 4 = h 4ω + h 4ω. Moreover, on F, the last two relations in equations 4.7) simplify to h h = h h =. At this point, we have canonically associated to any nondegenerate, space-like centroaffine surface in R 5 \ {} a frame bundle F over M with fiber group isomorphic to SO, R). Thus we have the following theorem: Theorem 4.. Let f : M R 5 \ {} be a centroaffine immersion whose image Σ = fm) is a nondegenerate, space-like centroaffine surface. Then the pullbacks of the Maurer Cartan forms on GL5, R) to the bundle F of -adapted frames on Σ determine a well-defined Riemannian metric I = ω ) ) + ω on Σ, called the centroaffine metric. Moreover, there is a well-defined centroaffine normal bundle NΣ whose fiber N x Σ at each point x M is spanned by the vectors e x), e 4 x)) of any -adapted frame at x, together with a well-defined Riemannian metric I normal = ω ) ) + ω 4 on NΣ.

9 Geometry of Centroaffine Surfaces in R 5 9 In order to obtain more information about the centroaffine metric, consider the structure equations.) for the semi-basic forms ω, ω on M. Based on our adaptations, it is straightforward to compute that dω = α, dω = α. Therefore, α is the Levi-Civita connection form associated to the centroaffine metric on Σ, and the Gauss curvature K of this metric is determined by the equation dα = Kω. The remaining structure equations.) determine relations between the functions h i jk on F and their covariant derivatives with respect to ω, ω. These relations may be viewed as analogs of the Gauss and Codazzi equations for Riemannian surfaces in Euclidean space. In particular, the analog of the Gauss equation is K = h h 4 h 4 4h 4 + h 4h 4 4 h h h 4 h + h 4 h 4 h 4 4h + h 4h 4 + h h + h 4) ɛ, 4.) while the remainder of the relations are partial differential equations involving the functions h i jk. An analog of Bonnet s theorem see [6) guarantees that, at least locally, any solution of this PDE system gives rise to a nondegenerate, space-like centroaffine surface, and that this surface is unique up to the action of GL5, R) on R 5 \ {}. In particular, the functions h i jk on F form a complete set of local invariants for such surfaces. 5 The time-like case Now, suppose that the plane P spanned by h, h 4 ) is time-like at every point of M. According to the group action.5), we can find a -adapted frame field along Σ for which P = P, as in equation.9). Furthermore, we can then use the action by B to find a -adapted frame field along Σ for which [ [ h =, h 4 =. 5.) This choice of h, h 4 represents a null basis for P with respect to the indefinite quadratic form.7) on P.) The next step is to determine the subgroup of G that preserves the conditions 5.). To this end, first note that the plane P spanned by the matrices 5.) consists precisely of the diagonal matrices in Sym R). A straightforward computation shows that, with h, h 4 as in 5.), the offdiagonal components of tra T h A) and tra T h 4 A) are equal to a a and a a, respectively. Therefore, the action.5) preserves P if and only if a a = a a =. Substituting this condition into equations.4) and imposing the conditions h = h, h 4 = h 4 then shows that we must have either [ [ a a A =, B = a a, a, a, 5.) or A = [ a, B = a [ a a, a, a.

10 N. Bushek and J.N. Clelland Since the latter transformation may be obtained from the former simply by interchanging e, e ) and e, e 4 ), we will restrict our attention to transformations of the form 5.), where A, B are diagonal matrices and B = A. Next, consider the effect of the action.4) on h. With A = I and r, r 4 chosen appropriately, we can add any linear combination of h, h 4 to h. Thus we can find a -adapted [ frame field for which h is a multiple nonzero by the nondegeneracy assumption) of the matrix. Then under the action.4) with A, B as in 5.), we have [ h = a a h r +. r 4 Thus we can find a -adapted frame field along Σ satisfying the additional condition that [ h =, and this condition is preserved by transformations of the form.4) with A, B as in 5.), such that a a = and r = r 4 =. For simplicity, we will assume that a > ; then we can set [ [ e λ e λ A = e λ, B = e λ, λ R. Definition 5.. Let Σ = fm) be a nondegenerate, time-like centroaffine surface in R 5 \ {}. A -adapted frame field f : M F will be called -adapted if it satisfies the conditions h = [, h 4 = at every point of M. [, h = [ Any two -adapted frames e,..., e 4 ), ẽ,..., ẽ 4 ) based at the same point x M are related by a transformation of the form 5.) [ e λ r r 4 [ẽ ẽ ẽ ẽ ẽ 4 = e e e e e 4 e λ r r 4 e λ. 5.4) e λ We will denote the group of all matrices of the form in 5.4) by G ; then the -adapted frame fields along Σ are the smooth sections of a principal bundle F F over M with fiber group G. The equations 5.) are equivalent to the condition that the Maurer Cartan forms associated to a -adapted frame field satisfy the conditions ω = ω, ω =, ω 4 =, ω 4 = ω, ω = ω, ω = ω. 5.5) Differentiating equations 5.5) yields ω ω ) + ω =, ω ω4 =, ω 4 + ω =, ω + ω ω4) 4 =, ω ω ) + ω + ω ) =, ω + ω ) + ω ω4 ) =.

11 Geometry of Centroaffine Surfaces in R 5 Applying Cartan s lemma to these equations shows that there exists a -form α and functions h i jk on F such that ω = h ω + h ω, ω 4 = h 4ω + h 4ω, ω = α + h ω + h ω, ω = h ω + h ω, ω = h ω + h ω, ω = α + h ω + h ω, ω = α + h ω + h ω, ω 4 = h 4ω + h 4ω, ω 4 = h 4 ω + h 4 ω, ω 4 4 = α + h 4 4ω + h 4 4ω. 5.6) Moreover, the functions h i jk satisfy the relations h h h =, h + h 4 =, h + h 4 =, h h h 4 4 =, h h + h =, h h + h 4 =. 5.7) If f, f : M F are two -adapted frame fields related by a transformation of the form 5.4), then we can once again use equation.5) to determine how the corresponding functions h i jk, h i jk are related. As in the space-like case, the most straightforward to compute are those corresponding to the forms ω, ω 4. These forms appear as the coefficients of ẽ = e in the equations.) for dẽ, dẽ 4. By applying equations 5.4) and 5.6), one can show that [ h = h 4 [ e λ e λ [ h + h 4 [ r r 4, [ h = h 4 [ e λ e λ [ h + Thus we can find a -adapted frame field along Σ satisfying the conditions that h = h = h 4 = h 4 =, and these conditions are preserved by transformations of the form 5.4) with r = r 4 = r = r 4 =. Definition 5.. Let Σ = fm) be a nondegenerate, time-like centroaffine surface in R 5 \ {}. A -adapted frame field f : M F will be called -adapted if it satisfies the conditions h = h = h 4 = h 4 = 5.8) at every point of M. Any two -adapted frames e,..., e 4 ), ẽ,..., ẽ 4 ) based at the same point x M are related by a transformation of the form [ e λ [ẽ ẽ ẽ ẽ ẽ 4 = e e e e e 4 e λ e λ. 5.9) e λ We will denote the group of all matrices of the form in 5.9) by G ; note that G = SO +, ). Then the -adapted frame fields are the smooth sections of a principal bundle F F over M with fiber group G. h 4 [ r r 4.

12 N. Bushek and J.N. Clelland The equations 5.8) are equivalent to the condition that the Maurer Cartan forms associated to a -adapted frame field satisfy the conditions ω = ω 4 =. 5.) Differentiating equations 5.) yields ω + ω = ω 4 + ω 4 =, and applying Cartan s lemma shows that there exist functions h i jk on F such that ω = h ω + h ω, ω = h ω + h ω, ω 4 = h 4ω + h 4ω, ω 4 = h 4ω + h 4ω. Moreover, on F, the last two relations in equations 5.7) simplify to h h = h h =. At this point, we have canonically associated to any nondegenerate, time-like centroaffine surface in R 5 \ {} a frame bundle F over M with fiber group isomorphic to SO +, ). Thus we have the following theorem: Theorem 5.. Let f : M R 5 \ {} be a centroaffine immersion whose image Σ = fm) is a nondegenerate, time-like centroaffine surface. Then the pullbacks of the Maurer Cartan forms on GL5, R) to the bundle F of -adapted frames on Σ determine a well-defined Lorentzian metric I = ω ω on Σ, called the centroaffine metric. Moreoever, there is a well-defined centroaffine normal bundle NΣ whose fiber N x Σ at each point x M is spanned by the vectors e x), e 4 x)) of any -adapted frame at x, together with a well-defined Lorentzian metric on NΣ. I normal = ω ω 4 In order to obtain more information about the centroaffine metric, consider the structure equations.) for the semi-basic forms ω, ω on M. Based on our adaptations, it is straightforward to compute that dω = α, dω = α. Therefore, α is the Levi-Civita connection form associated to the centroaffine metric on Σ, and the Gauss curvature K of this metric is determined by the equation dα = Kω. As in the space-like case, the remaining structure equations.) determine relations between the functions h i jk on F and their covariant derivatives with respect to ω, ω. The analog of the Gauss equation is K = h 4h 4 h h h + h ) 4, 5.) while the remainder of the relations are partial differential equations involving the functions h i jk. As in the space-like case, any solution of this PDE system locally gives rise to a nondegenerate, time-like centroaffine surface; this surface is unique up to the action of GL5, R) on R 5 \ {}, and the functions h i jk on F form a complete set of local invariants for such surfaces.

13 Geometry of Centroaffine Surfaces in R 5 6 Homogeneous examples The goal of this section is to give a complete classification up to the GL5, R)-action on R 5 \{}) of the homogeneous examples of space-like and time-like nondegenerate centroaffine surfaces in R 5 \ {}. First we must define precisely what we mean by the term homogeneous. Because any such surface Σ = fm) has a well-defined Riemannian or Lorentzian metric, any symmetry of Σ must preserve the centroaffine metric on Σ and hence must in fact be an isometry of Σ with its centroaffine metric. Furthermore, if the group of symmetries of Σ acts transitively, then the centroaffine metric must have constant Gauss curvature K. As is well-known, the maximal isometry group of any Riemannian or Lorentzian surface has dimension less than or equal to three, and in the maximal case the isometry group acts transitively on the orthonormal frame bundle. Thus we will use the following definition: Definition 6.. Let F be the bundle of -adapted frames along a nondegenerate, space-like or time-like centroaffine surface Σ = fm) in R 5 \ {}. A diffeomorphism φ : F F is called a symmetry of Σ if φ Ω = Ω; i.e., if φ preserves the Maurer Cartan forms on F. A nondegenerate space-like or time-like centroaffine surface Σ = fm) will be called homogeneous if the group of symmetries of Σ is a -dimensional Lie group that acts transitively on F. Remark 6.. It might also be of interest to consider the slightly less restrictive assumption that Σ has a -dimensional group of symmetries that acts transitively on the base manifold M, but we will not consider this scenario here. Our procedure for classifying the homogeneous examples is as follows. Observe that if Σ is homogeneous, then all the structure functions h i jk must be constant on the bundle F of -adapted frames on Σ. When this condition is imposed, the structure equations.) become algebraic relations among the constants h i jk. Given any solution to these relations, the structure equations.) imply that the corresponding Maurer Cartan form Ω = [ωj i takes values in a -dimensional Lie algebra g which is realized explicitly as a Lie subalgebra of gl5, R). Thus Ω is also the Maurer Cartan form of the connected Lie group G GL5, R) generated by exponentiating g, and this equivalence of the Maurer Cartan forms on F with those on G implies that F is a homogeneous space for G; indeed, G must be precisely the symmetry group that was assumed to act transitively on F. Now, choose any point f = e, e, e, e, e 4 ) F. Recall that we can view f as an element of GL5, R). The centroaffine surface Σ is equivalent via the GL5, R)-action to the surface Σ = f Σ, and the bundle F of -adapted frames over Σ is given by F = f F. So without loss of generality, we may assume that f is the identity matrix I 5. With this assumption, the tangent space T f F is equal to the Lie algebra g, and F must in fact be equal to G. Finally, Σ is given by the image of G under the projection.). In order to carry out this procedure, we consider the space-like and time-like cases separately. 6. Space-like homogeneous examples From the adaptations of Section 4, the matrix Ω = [ωj i of Maurer Cartan forms on F may be written as ɛ h + h 4 ) h4 + h4 4 h h 4 ) h h 4 Ω = α + h h 4 ) h + h 4 ) h h 4 ω h h 4 h 4 h 4 4

14 4 N. Bushek and J.N. Clelland ɛ h h 4 ) h + h 4 ) h h 4 + h + h 4 ) h h 4 ) + h4 + h4 4 h h 4 ω h h, 6.) 4 h 4 h 4 4 while the structure equations.) may be written as dω = Ω Ω. 6.) Substituting 6.) into equation 6.) and imposing the condition that all the functions h i jk are constant leads to a system of 5 algebraic equations some linear, some quadratic) for the 4 unknown constants h i jk. A somewhat tedious, but straightforward, computation shows that this system has precisely two solutions, one for ɛ = and one for ɛ =. These are described in the following two examples. Example 6.. When ɛ =, the unique solution to equation 6.) with all h i jk constant is Ω = α + ω + ω. 6.) Furthermore, the Gauss equation 4.) implies that the centroaffine metric has Gauss curvature K =. Denote the matrices in equation 6.) by M, M, M, respectively, so that Ω = M α + M ω + M ω. It is straightforward to compute that [M, M = M, [M, M = M, [M, M = M. These bracket relations imply that the Lie algebra g gl5, R) spanned by M, M, M ) is isomorphic to so, ). They also suggest that a more natural basis might be obtained by multiplying each of M, M by.) Furthermore, it is straightforward to check that g acts irreducibly on R 5 \ {}. It is well-known see, e.g., [, p. 49) that so, ) has a unique irreducible 5-dimensional representation and that this representation arises from a unique) irreducible representation of SO +, ); it follows that the Lie group G GL5, R) corresponding to the Lie algebra g is isomorphic to SO +, ). The easiest way to compute a local parametrization for G and hence for Σ is to compute the -parameter subgroups generated by M, M, M and take products of the resulting group elements. Warning. This must be done carefully in order to ensure that the resulting products cover the entire group G, which in turn guarantees that the resulting parametrization is surjective onto Σ. The subtlety of this issue can already be seen in the standard representation for so, ): the basis M =, M =, M =

15 Geometry of Centroaffine Surfaces in R 5 5 has the same bracket relations as M, M, M ), and exponentiating this basis yields the -parameter subgroups ḡ t) = cost) sint), sint) cost) coshu) sinhu) coshv) sinhv) ḡ u) = sinhu) coshu), ḡ v) =. sinhv) coshv) Now consider the following two maps f, f : R SO +, ), which are obtained by multiplying the elements ḡ t), ḡ u), ḡ v) in different orders: f u, v, t) = ḡ u)ḡ v)ḡ t) coshu) coshv) = sinhu) coshv) sinhu) cost) coshu) sinhv) sint) coshu) cost) sinhu) sinhv) sint) sinhu) sint) + coshu) sinhv) cost) coshu) sint) + sinhu) sinhv) cost), sinhv) coshv) sint) coshv) cost) f u, v, t) = ḡ u)ḡ t)ḡ v) coshu) coshv) + sinhu) sinhv) sint) = sinhu) coshv) + coshu) sinhv) sint) sinhu) cost) coshu) cost) coshu) sinhv) + sinhu) coshv) sint) sinhu) sinhv) + coshu) coshv) sint). sinhv) cost) sint) coshv) cost) It is not difficult to show that f is surjective onto SO +, ), whereas we can see from the middle column that f is not. Thus we must perform this construction with care. Now, the obvious correspondence M M, M M, M M, defines a Lie algebra isomorphism between the standard representation of so, ) and our Lie algebra g gl5, R). Therefore, the surjectivity of the map f above implies that the analogous map f : R G will also be surjective onto G, and it follows that the map f = π f will be surjective onto Σ. The map f will also turn out to be independent of t, and when regarded as a function of the two variables u, v) it will define a surjective parametrization f : R Σ. With these considerations in mind, define the -parameter subgroups cost) sint) g t) = exptm ) = sint) cost) cost) sint), sint) cost) g u) = expu M ) 4 coshu) + ) sinhu) 4 coshu) ) sinhu) coshu) sinhu) = coshu) sinhu), 4 coshu) ) sinhu) 4 coshu) + ) sinhu) coshu)

16 6 N. Bushek and J.N. Clelland Then set g v) = expv M ) 4 coshv) + ) sinhv) 4 coshv)) coshv) sinhv) = sinhv) coshv) sinhv). 4 coshv)) sinhv) 4 coshv) + ) sinhv) coshv) fu, v, t) = π g u) g v) g t)) = cosh u) cosh v) ) sinhu) coshu) cosh v) coshu) sinhv) coshv) cosh v)cosh u) ) + ). 6.4) sinhu) sinhv) coshv) It follows from the discussion above that f is a surjective map onto Σ. Moreover, it is straightforward to check that the tangent vectors f u, fv are linearly independent for all u, v) R ; therefore f parametrizes a smooth surface Σ R 5 \ {}, as expected. We can compute the centroaffine metric on Σ explicitly as follows. Let f : R G be the map corresponding to 6.4); i.e., fu, v, t) = g u) g v) g t). Then we have Ω = M α + M ω + M ω = f df. Comparing these two expressions for Ω shows that ω = coshv) cost)du sint)dv), ω = coshv) sint)du + cost)dv). Therefore, the centroaffine metric on Σ is given by I = ω ) + ω ) = cosh v)du + dv ). As expected, this metric has constant Gauss curvature K =. Topologically, Σ is simply connected and isometric to the hyperbolic plane H of radius, while F is isomorphic to the orthonormal frame bundle of H, with π as the projection map. In fact, we can describe Σ more intrinsically: if we denote the coordinates of a point x R 5 \ {} as x,..., x 4 ), then the coordinates of fu, v) satisfy the quadratic equations x x x ) x x 4 =, x x + x ) x x 4 =, 4x ) x x 9 =. 6.5) Therefore, Σ is contained in the real) algebraic variety X R 5 \{} defined by equations 6.5). Σ is not, however, equal to all of X; for instance, X contains an affine plane consisting of all points of the form,,, x, x 4 ), and this plane intersects Σ only when x = x 4 =. Projections of Σ to the x, x, x ), x, x, x ), and x, x, x 4 ) coordinate -planes are shown in Fig..

17 Geometry of Centroaffine Surfaces in R 5 7 Figure. Projections of surface from Example 6. to -D subspaces. Example 6.4. When ɛ =, the unique solution to equation 6.) with all h i jk constant is Ω = α + ω + ω. 6.6) Furthermore, the Gauss equation 4.) implies that the centroaffine metric has Gauss curvature K =. As in the previous example, denote the matrices in equation 6.6) by M, M, M, respectively. Then we have [M, M = M, [M, M = M, [M, M = M. These bracket relations imply that the Lie algebra g gl5, R) spanned by M, M, M ) is isomorphic to so, R). Furthermore, it is straightforward to check that g acts irreducibly on R 5 \ {}. Similarly to the previous example, so, R) has a unique irreducible 5-dimensional representation, and this representation arises from a unique) irreducible representation of SO, R); it follows that the Lie group G GL5, R) corresponding to the Lie algebra g is isomorphic to SO, R). We will compute a local parametrization for Σ as in the previous example: compute the -parameter subgroups of G generated by M, M, M and take products of the resulting group elements. Ensuring the surjectivity of the resulting parametrization is easier than in the previous example. First, observe that a basis M, M, M ) for the standard representation of so, R) with the same bracket relations as M, M, M ) is given by M =, M =, M =. Exponentiating this basis yields the -parameter subgroups ḡ t) = cost) sint), sint) cost) cosu) sinu) cosv) sinv) ḡ u) = sinu) cosu), ḡ v) =. sinv) cosv)

18 8 N. Bushek and J.N. Clelland Then the map f : R SO, R) defined by fu, v, t) = ḡ u)ḡ v)ḡ t) cosu) cosv) = sinu) cosv) sinu) cost) + cosu) sinv) sint) cosu) cost) + sinu) sinv) sint) sinu) sint) cosu) sinv) cost) cosu) sint) sinu) sinv) cost) sinv) cosv) sint) cosv) cost) is easily seen to be surjective onto SO, R). Thus the analogous map f : R G will be surjective onto G, and the map f = π f will be surjective onto Σ. So, define the -parameter subgroups cost) sint) g t) = exptm ) = sint) cost) cost) sint), sint) cost) Then set g u) = expu M ) 4 cosu) + ) sinu) 4 cosu)) sinu) cosu) sinu) = cosu) sinu), 4 cosu)) sinu) 4 cosu) + ) sinu) cosu) g v) = expv M ) 4 cosv) + ) sinv) 4 cosv) ) cosv) sinv) = sinv) cosv) sinv). 4 cosv) ) sinv) 4 cosv) + ) sinv) cosv) fu, v, t) = π g u) g v) g t)) = cos u) cos v) ) sinu) cosu) cos v) cosu) sinv) cosv) cos v) cos u)) ). 6.7) sinu) sinv) cosv) It follows from the discussion above that f is a surjective map onto Σ, and we see that f is also independent of t. Unlike in the previous example, the tangent vectors f u, fv are not linearly independent for all u, v) R ; indeed, f u = whenever v is an odd multiple of π. Nevertheless, the restriction of f to some neighborhood of the point u, v) =, ) is a smooth embedding, and then homogeneity implies that Σ is smooth everywhere. We can compute the centroaffine metric on Σ as in the previous example. Let f : R G be the map corresponding to 6.7); i.e., fu, v, t) = g u) g v) g t).

19 Geometry of Centroaffine Surfaces in R 5 9 Then we have Ω = M α + M ω + M ω = f df. Comparing these two expressions for Ω shows that, whenever cosv), ω = cosv) cost)du sint)dv ), ω = cosv) sint)du + cost)dv ). Therefore, the centroaffine metric on Σ is given by I = ω ) + ω ) = cos v)du + dv ). As expected, this metric has constant Gauss curvature K =. Topologically, Σ is simply connected and isometric to the sphere S of radius, while F is isomorphic to the orthonormal frame bundle of S, with π as the projection map. As in the previous example, we can show that Σ is contained in the intersection of three quadric hypersurfaces in R 5 \ {}. The coordinates of fu, v) satisfy the quadratic equations x x + x ) + x x 4 =, x x x ) + x x 4 =, 4x ) + x + x 9 =. 6.8) Therefore, Σ is contained in the real) algebraic variety X R 5 \{} defined by equations 6.8). Once again, Σ is not equal to all of X: the variety X contains affine planes consisting of all points of the form,,, x, x 4 ) or,,, x, x 4 ); the former intersects Σ only when x = x 4 =, and the latter intersects Σ only when x +x 4 = 9 4. Projections of Σ to the x, x, x ), x, x, x ), and x, x, x 4 ) coordinate -planes are shown in Fig.. Figure. Projections of surface from Example 6.4 to -D subspaces. 6. Time-like homogeneous examples From the adaptations of Section 5, the matrix Ω = [ωj i of Maurer Cartan forms on F may be written as h 4 4 h h h 4 Ω = α + h 4 h 4 4 h h 4 ω h h 4 h 4 h 4 4

20 N. Bushek and J.N. Clelland h h 4 h h 4 + h 4 4 h h h 4 ω h h, 6.9) 4 h 4 h 4 4 while the structure equations.) may be written as dω = Ω Ω. 6.) Substituting 6.9) into equation 6.) and imposing the condition that all the functions h i jk are constant leads to a system of algebraic equations for the 4 unknown constants h i jk. This system has precisely one solution, which is described in the following example. Example 6.5. The unique solution to equation 6.) with all h i jk constant is Ω = α + ω + ω. 6.) Furthermore, the Gauss equation 5.) implies that the centroaffine metric has Gauss curvature K =. As in the space-like examples, denote the matrices in equation 6.) by M, M, M, respectively, so that Ω = M α + M ω + M ω. Then we have [M, M = M, [M, M = M, [M, M = M. These bracket relations imply that the Lie algebra g gl5, R) spanned by M, M, M ) is isomorphic to so, ). Furthermore, it is straightforward to check that g acts irreducibly on R 5 \{}. Similarly to the previous examples, so, ) has a unique irreducible 5-dimensional representation, and this representation arises from a unique) irreducible representation of SO +, ); it follows that the Lie group G GL5, R) corresponding to the Lie algebra g is isomorphic to SO +, ). We will compute a local parametrization for Σ more or less as in the space-like examples, by computing -parameter subgroups of G and taking products of the resulting group elements. Unfortunately, the basis M, M, M ) is not well-suited to generating a surjective parametrization, so first we need to modify it slightly. To this end, observe that a basis M, M, M ) for the standard representation of so, ) with the same bracket relations as M, M, M ) is given by M =, M =, M =. Now consider the modified basis M = M, M = M M ), M = M + M ).

21 Geometry of Centroaffine Surfaces in R 5 Exponentiating this modified basis yields the -parameter subgroups ḡ t) = e t, ḡ u) = e t cosu) sinu) sinu) sinu) + cosu)) cosu)), sinu) cosu)) + cosu)) coshv) sinhv) sinhv) ḡ v) = sinhv) coshv) + ) coshv) ). sinhv) coshv) ) coshv) + ) Then the map f : R SO +, ) defined by fu, v, t) = ḡ u)ḡ v)ḡ t) cosu) coshv) = sinu) coshv) + sinhv)) sinu) coshv) sinhv)) e t cosu) sinhv) sinu)) et sinu) sinhv) + coshv) + cosu)) et sinu) sinhv) coshv) + cosu)) e t cosu) sinhv) + sinu)) e t sinu) sinhv) + coshv) cosu)) e t sinu) sinhv) coshv) cosu)) is surjective onto SO +, ). Thus the analogous map f : R G will be surjective onto G, and the map f = π f will be surjective onto Σ. So, define the -parameter subgroups g t) = exptm ), ) ) g u) = exp u M M ), g v) = exp v M + M ). The explicit expressions for these group elements are each too large to fit on one line and are not particularly enlightening.) Then set fu, v, t) = π g u) g v) g t)) 4 [ cos u)coshv) + ) 6 4 cosu)[sinu)coshv) + ) + sinhv) = 6 4 cosu)[sinu)coshv) + ) sinhv). 6.) 8 [cos u)coshv) + ) coshv) + sinu) sinhv)) 8 [cos u)coshv) + ) coshv) sinu) sinhv)) It follows from the discussion above that f is a surjective map onto Σ, and we see that f is also independent of t. Moreover, it is straightforward to check that the tangent vectors f u, fv are linearly independent for all u, v) R ; therefore f parametrizes a smooth surface Σ R 5 \ {}, as expected. We can compute the centroaffine metric on Σ as in the previous examples. Let f : R G be the map corresponding to 6.); i.e., fu, v, t) = g u) g v) g t). Then we have Ω = M α + M ω + M ω = f df.

22 N. Bushek and J.N. Clelland Figure. Projections of surface from Example 6.5 to -D subspaces. Comparing these two expressions for Ω shows that ω = e t coshv)du + dv), ω = et coshv)du + dv). Therefore, the centroaffine metric on Σ is given by I = ω ω = cosh v)du + dv ). As expected, this metric has constant Gauss curvature K =. In this case, F is isomorphic to the orthonormal frame bundle of the time-like surface S, consisting of all space-like vectors of length in R,. This surface is a hyperboloid of one sheet, and so we might expect that Σ would be diffeomorphic to this hyperboloid. However, if we regard the domain of the parametrization 6.) as S R, we see that the map 6.) is invariant under the transformation u, v) u + π, v). 6.) Therefore, Σ is diffeomorphic to a Möbius band, which is precisely the quotient of the hyperboloid by this map. We note, however, that the map f : S R G is one-to-one, as the frame vectors e u, v),..., e 4 u, v) are not preserved by the transformation 6.).) As in the space-like examples, we can show that Σ is contained in the intersection of three quadric hypersurfaces in R 5 \ {}. The coordinates of fu, v) satisfy the quadratic equations x x 4 4x + ) =, x x 4x + ) =, x x x x =. 6.4) Therefore, Σ is contained in the real) algebraic variety X R 5 \{} defined by equations 6.4). Σ is an interesting and somewhat complicated subset of X: first observe that the projection of X to the x, x, x ) coordinate -plane consists of the hyperboloid of one sheet defined by

23 Geometry of Centroaffine Surfaces in R 5 the third equation in 6.4), minus all points of the form, x, x ) except for,, ). The projection of X to this punctured hyperboloid is one-to-one, except over the point,, ), where the inverse image consists of all points of the form,,, x, x 4 ). Meanwhile, Σ consists of that portion of X that projects to the portion of the hyperboloid with x >, together with the curve {,,, x, x 4 ) x x 4 = 9 4, x, x 4 > }. Projections of Σ to the x, x, x ), x, x, x ), x, x, x 4 ), x, x, x ), and x, x 4, x ) coordinate -planes are shown in Fig.. We collect the results of this section in the following theorem: Theorem 6.6. Let f : M R 5 \ {} be a centroaffine immersion whose image Σ = fm) is a homogeneous, nondegenerate, space-like or time-like centroaffine surface. Then Σ is equivalent via the GL5, R)-action on R 5 \ {} to one of the following: the immersion of the hyperbolic plane H of Example 6.; the immersion of the sphere S of Example 6.4; the immersion of the Lorentzian surface S, of Example 6.5. Acknowledgments This research was supported in part by NSF grants DMS and DMS-67. References [ Clelland J.N., From Frenet to Cartan: the method of moving frames, in preparation. [ Fulton W., Harris J., Representation theory, Graduate Texts in Mathematics, Vol. 9, Springer-Verlag, New York, 99. [ Furuhata H., Minimal centroaffine immersions of codimension two, Bull. Belg. Math. Soc. Simon Stevin 7 ), 5 4. [4 Furuhata H., Kurose T., Self-dual centroaffine surfaces of codimension two with constant affine mean curvature, Bull. Belg. Math. Soc. Simon Stevin 9 ), [5 Gardner R.B., Wilkens G.R., The fundamental theorems of curves and hypersurfaces in centro-affine geometry, Bull. Belg. Math. Soc. Simon Stevin 4 997), [6 Griffiths P., On Cartan s method of Lie groups and moving frames as applied to uniqueness and existence questions in differential geometry, Duke Math. J ), [7 Ivey T.A., Landsberg J.M., Cartan for beginners: differential geometry via moving frames and exterior differential systems, Graduate Studies in Mathematics, Vol. 6, Amer. Math. Soc., Providence, RI,. [8 Laugwitz D., Differentialgeometrie in Vektorräumen, unter besonderer Berücksichtigung der unendlichdimensionalen Räume, Friedr. Vieweg & Sohn, Braunschweig, 965. [9 Li A.M., Wang C.P., Canonical centroaffine hypersurfaces in R n+, Results Math. 99), [ Liu H.L., Wang C.P., The centroaffine Tchebychev operator, Results Math ), [ Mayer O., Myller A., La géométrie centroaffine des courbes planes, Ann. Scí. de l Universit e de Jassy 8 9), 4 8. [ Milnor J., Husemoller D., Symmetric bilinear forms, Ergebnisse der Mathematik und ihrer Grenzgebiete, Vol. 7, Springer-Verlag, New York Heidelberg, 97. [ Nomizu K., Sasaki T., Centroaffine immersions of codimension two and projective hypersurface theory, Nagoya Math. J. 99), 6 9. [4 Nomizu K., Vrancken L., A new equiaffine theory for surfaces in R 4, Internat. J. Math. 4 99), 7 65.

24 4 N. Bushek and J.N. Clelland [5 Scharlach C., Centroaffine first order invariants of surfaces in R 4, Results Math ), [6 Scharlach C., Centroaffine differential geometry of positive) definite oriented surfaces in R 4, in New Developments in Differential Geometry Budapest, 996), Kluwer Acad. Publ., Dordrecht, 999, [7 Scharlach C., Simon U., Verstraelen L., Vrancken L., A new intrinsic curvature invariant for centroaffine hypersurfaces, Beiträge Algebra Geom ), [8 Scharlach C., Vrancken L., A curvature invariant for centroaffine hypersurfaces. II, in Geometry and Topology of Submanifolds, VIII Brussels, 995/Nordfjordeid, 995), World Sci. Publ., River Edge, NJ, 996, 4 5. [9 Scharlach C., Vrancken L., Centroaffine surfaces in R 4 with planar -geodesics, Proc. Amer. Math. Soc ), 9. [ Wang C.P., Centroaffine minimal hypersurfaces in R n+, Geom. Dedicata 5 994), [ Wilkens G.R., Centro-affine geometry in the plane and feedback invariants of two-state scalar control systems, in Differential Geometry and Control Boulder, CO, 997), Proc. Sympos. Pure Math., Vol. 64, Amer. Math. Soc., Providence, RI, 999, 9. [ Yang Y., Liu H., Minimal centroaffine immersions of codimension two, Results Math. 5 8), [ Yang Y., Yu Y., Liu H., Flat centroaffine surfaces with the degenerate second fundamental form and vanishing Pick invariant in R 4, J. Math. Anal. Appl. 97 ), 6 7.