arxiv: v1 [math.dg] 5 Jan 2014

Transcription

1 A NEW CHARACTERIZATION OF CALABI COMPOSITION OF HYPERBOLIC AFFINE HYPERSPHERES XINGXIAO LI axiv: v1 [math.dg] 5 Jan 2014 Abstact. In this pape, we mainly pove a theoem with a coollay establishing two chaacteizations of the Calabi composition of hypebolic hypesphees, whee the second chaacteization i.e., the coollay) has been given via a dual coespondence theoem ealie but now we would like to use a vey diect method. Note that Z.J. Hu, H.Z. Li and L. Vancken also gave a chaacteization of the 2-facto Calabi composition in a diffeent manne. keywods and expessions: hypebolic affine sphees;calabi composition;chaacteization;educibility of Riemannian manifolds AMS Classification: 53C Contents 1. Intoduction 1 2. Peliminaies The equiaffine geomety of hypesufaces The multiple Calabi poduct of hypebolic affine hypesphees 5 3. A chaacteization of the Calabi composition 8 Refeences Intoduction As we know, affine hypesphees ae the most impotant objects studied in affine diffeential geomety of hypesusufaces, dawing geat attention of many geometes. In fact, affine hypesphees seems simple in definition but they do fom a vey lage class of hypesufaces, the study of which is fuitful in ecent twenty yeas. Fo example, the poof of the Calabi s conjectue [13], [14]), the classification of hypesphees of constant affine cuvatues [21], [22], [11]), and in [10] the complete classification of locally stongly convex hypesufaces with paallel Fubini-Pick foms as a special class of hypebolic affine hypesphees fo some ealie patial esults, see [1], [4], [9]). As fo the geneal nondegeneate case, thee also have been some inteesting patial classification esults, see fo example the seies of published papes by Z.J. Hu etc: [6], [7] and [8]. In 1972, E. Calabi [2]) found a composition fomula by which one can constuct new hypebolic affine hypesphees fom any two given ones. The pesent autho has genealized Calabi constuction to the case of multiple factos See [17], published in Chinese). Late in 1994 F. Dillen and L. Vancken [3] genealized Calabi oiginal composition to any two pope affine hypesphees and gave a detailed study of these composed affine hypesphees. They also mentioned that thei constuction applies to the case of multiple factos but with no detail of this. In 2008, in ode to establish thei late classification in [10] mentioned above, Z.J. Hu, H.Z. Li and L. Vancken poved a chaacteization of the Calabi composition of hypebolic hypesphees [5]) by special decompositions of the tangent bundle. We would like to emak 1

2 2 XINGXIAO LI that, by using the simila idea of [5], H.Z. Li and X.F. Wang has in a way chaacteized the so called Calabi poduct of paallel Lagangian submanifolds in the complex pojective space CP n [16]). In a pevious pape, we explicitly defined the Calabi composition of multiple factos of hypebolic hypesphees, possibly including some point factos viewing as 0-dimensional hypebolic hypesphees, and made it in detail fo the computation of the basic affine invaiants of this composition. In this aticle, by using those basic affine invaiants, we pove a theoem see Theoem 3.1) which povides a new and moe natual chaacteization of the Calabi composition of multiple hypebolic hypesphees. In the case of affine symmetic factos this chaacteization tuns out to be much moe simple see Coollay 3.2). Acknowledgement The autho is gateful to Pofesso A-M Li fo his encouagement and impotant suggestions duing the pepaation of this aticle. He also thanks Pofesso Z.J. Hu fo poviding him valuable elated efeences some of which ae listed in the end of this pape. 2. Peliminaies 2.1. The equiaffine geomety of hypesufaces. In this subsection, we bief some basic facts in the equiaffine geomety of hypesufaces. Fo details the eades ae efeed to some text books, say, [15] and [20]. Letx : M n R n+1 beanondegeneatehypesuface. Thentheeaesevealbasicequiaffineinvaiants of x among which ae: the affine metic Bewald-Blaschke metic) g, the affine nomal ξ := 1 n gx, the Fubini-Pick 3-fom the so called cubic fom) A 3 T M n and the affine second fundamental 2-fom B 2 T M n. By using the index lifting by the metic g, we can identify A and B with the linea maps A : TM n EndTM n ) o A : TM n TM n TM n and B : TM n TM n, espectively, by gax)y,z) = AX,Y,Z) o gax,y),z) = AX,Y,Z), gbx),y) = BX,Y), 2.1) fo all X,Y,Z TM n. Sometimes we call the coesponding B EndTM n ) the affine shape opeato of x. In this sense, the affine Gauss equation can be witten as follows: RX,Y)Z = 1 gy,z)bx)+by,z)x gx,z)by) BX,Z)Y) [AX),AY)]Z), 2.2) 2 whee, fo any linea tansfomations T,S EndTM n ), [T,S] = T S S T. 2.3) Each of the eigenvalues B 1,,B n of the linea map B : TM n TM n is called the affine pincipal cuvatue of x. Define L 1 := 1 n tb = 1 B i. 2.4) n Then L 1 is efeed to as the affine mean cuvatue of x. A hypesuface x is called an elliptic, paabolic, o hypebolic) affine hypesphee, if all of its affine pincipal cuvatues ae equal to one positive, 0, o negative) constant. In this case we have i BX) = L 1 X, fo all X TM n. 2.5) It follows that the affine Gauss equation 2.2) of an affine hypesphee assumes the following fom: RX,Y)Z = L 1 gy,z)x gx,z)y) [AX),AY)]Z), 2.6) Futhemoe, all the affine lines of an elliptic affine hypesphee o a hypebolic affine hypesphee x : M n R n+1 pass though a fix point o which is efe to as the affine cente of x; Both the elliptic affine hypesphees and the hypebolic affine hypesphees ae called pope affine hypesphees, while the paabolic affine hypesphees ae called impope affine hypesphees. Fo each vecto field η tansvesal to the tangent space of x, we have the following diect decomposition x TR n+1 = x TM) R η.

3 A NEW CHARACTERIZATION OF CALABI COMPOSITION 3 This decomposition and the canonical diffeentiation D 0 on R n+1 define a bilinea fom h 2 T M n and a connection D η on TM n as follows: D 0 XY = x D η X Y)+hX,Y)η, X,Y TMn. 2.7) 2.7) can be efeed as to the affine Gauss fomula of the hypesuface x. In paticula, in case that η is paallel to the affine nomal ξ, the induced connection := D η is independent of the choice of η and is efeed to as the affine connection of x. In what follows we make the following convention fo the ange of indices: 1 i,j,k,l n. Let {e i,e n+1 } be a local unimodula fame field along x with η := e n+1 paallel to the affine nomal ξ, and {ω i,ω n+1 } be its dual cofame. Then we have connection foms ωb A, 1 A,B n+1, defined by n+1 dω A = ω B ωb A, dωa B = C=1 ω C A ωb C, ωn+1 0. Futhemoe, the above invaiants can be espectively expessed locally as g = g ij ω i ω j, A = A ijk ω i ω j ω k, B = B ij ω i ω j, 2.8) subject to the following basic fomulas: g ij A ijk = 0 the apolaity), 2.9) i,j A ijk,l A ijl,k = 1 2 g ikb jl +g jl B ik g il B jk g jk B il ), 2.10) A l ij,l = n 2 L 1g ij B ij ), 2.11) l whee A ijk,l ae the covaiant deivatives of A ijk with espect to the Levi-Civita connection of g. Wite h = h ij ω i ω j and H = deth ij ). Then Define k g ij = H 1 n+2 hij, ξ = H 1 n+2 en ) h ijk ω k = dh ij +h ij ω n+1 n+1 h kj ω k i h ik ω k j. 2.13) Then the Fubini-Pick fom A can be detemined by the following fomula: A ijk = 1 2 H 1 n+2 hijk. 2.14) Define the nomalized scala cuvatue χ and the Pick invaiant J by 1 χ = g il g jk 1 R ijkl, J = Aijk A pq g ip g jq g k. nn 1) nn 1) Then the affine Gauss equation can be witten in tems of the metic and the Fubini-Pick fom as follows R ijkl =A ijk,l A ijl,k )+χ J)g il g jk g ik g jl ) + 2 gik A jlm,m g il A jkm,m )+ A m ik n A jlm A m il A jkm). 2.15) The following existence and uniqueness theoems ae well known: Theoem 2.1. [15]) The existence) Let M n,g) be a simply connected Riemannian manifold of dimension n, and A be a symmetic 3-fom on M n satisfying the affine Gauss equation 2.15) and the apolaity condition 2.9). Then thee exists a locally stongly convex immesion x : M n R n+1 such that g and A ae the affine metic and the Fubini-Pick fom fo x, espectively. m

4 4 XINGXIAO LI Theoem 2.2. [15]) The uniqueness) Let x : M n R n+1, x : Mn R n+1 be two locally stongly convex hypesufaces of dimension n with espectively the affine metics g, ḡ and the Fubini-Pick foms A, Ā, and ϕ : M n,g) M n,ḡ) be an isomety between Riemannian manifolds. Then ϕ Ā = A if and only if thee exists a unimodula affine tansfomation Φ : R n+1 R n+1 such that x ϕ = Φ x, o equivalently, x = Φ x ϕ 1. Remak 2.1. The necessity pat of Theoem 2.2 is poved in [15]. Hee we give a poof fo the sufficient pat as follows: Choose an othonomal fame field {e i ; 1 i n} on M n with its dual cofame {ω i ; 1 i n}. Let ξ, ξ be espectively the affine nomal of x and x. Then {e 1,,e n,ξ} is unimodula. Define ē i = ϕ e i ), ω i = ϕ 1 ) ω i, 1 i n. Then { ω i ; 1 i n} is the dual cofame of {ē i ; 1 i n}. Since ϕ is an isomety, {ē 1,,ē n, ξ} is also unimodula. Unde the condition that x = Φ x ϕ 1, we claim that ξ = Φ ξ)) ϕ 1. In fact ē j ē i x) = ϕ e j )ϕ e i )Φ x ϕ 1 )) = ϕ e j )e i Φ x)) ϕ 1 ) = e j e i Φ x))) ϕ ) Denote espectively by, ˆ, and, ˆ, the affine connections of x, x, the Riemannian connections and the Laplacians of g,ḡ. Then we find ξ = 1 n x = 1 ) ) ē i ē i x) ˆ ēi ē i )x) n i = 1 ) ) e i e i Φ x))) ϕ 1 ϕ ˆ ei e i ) x) n i = 1 n i = 1 n = 1 n Φ i e i Φ e i x))) ϕ 1 ˆ ei e i )Φ x) ϕ 1)) Φ e i e i x))) ϕ 1 Φ ˆ ei e i )x)) ϕ 1)) i ) ) e i e i x) ˆ ei e i )x) ϕ 1 = 1 n Φ x)) ϕ 1 = Φ ξ)) ϕ 1. On the othe hand, by 2.16) and the affine Gauss fomula 2.7) of x ē j ē i x =e j e i Φ x)) ϕ 1 = e j Φ e i x)) ϕ 1 = Φ e j e i x)) ϕ 1 But, by the affine Gauss fomula of x, = Φ x ej e i )+δ ij ξ )) ϕ 1 = Φ x ej e i ) )) ϕ 1 +δ ij Φ ξ)) ϕ 1. ē j ē i x = x ēj ē i )+δ ij ξ = Φ x ϕ 1 ēj ē i )) ) ϕ 1 +δ ij Φ ξ)) ϕ 1. It follows that Φ x ej e i ) ) = Φ x ϕ 1 ēj ē i )) ). Theefoe ϕ 1 ē ēj i ) = ej e i, o equivalently, ϕ ej e i ) = ēj ē i, 2.17) fom which we find that Āē i,ē j,ē k ) =ḡāē i,ē j ),ē k ) = ḡ ēj ē i ˆ ēj ē i,ē k ) =gϕ 1 ēj ē i ) ϕ 1 ˆ ēj ē i ),e k ) = g ej e i ˆ ej e i ),e k ) = Ae i,e j,e k ). 2.18)

5 A NEW CHARACTERIZATION OF CALABI COMPOSITION 5 Consequently Ā = Āē i,ē j,ē k ) ω i ω j ω k = Ae i,e j,e k )ϕ 1 ) ω i ϕ 1 ) ω j ϕ 1 ) ω k =ϕ 1 ) Aei,e j,e k )ω i ω j ω k) = ϕ 1 ) A, 2.19) o equivalently, ϕ Ā = A. We ae done. Given c R and a Riemannian manifold M d,g), denote by S M d,g)c) the set of all TM d -valued symmetic bilinea foms A Γ 2 T M d ) TM d )), satisfying the following conditions: 1) Unde the metic g, the coesponding 3-fom A Γ 2 T M d ) T M d )) is totally symmetic, that is, A Γ 3 T M d )); 2) Affine Gauss equation, that is, fo any X,Y,Z XM d ) RX,Y)Z = cgy,z)x gx,z)y) [AX),AY)]Z). 2.20) Moeove, by adding to S Md,g)c) the following so called apolaity condition 3) t g A) = 0, we define Fom Theoem 2.1 and Theoem 2.2, we have S Md,g)c) = {A S Md,g)c), t g A) 0}. Coollay 2.1. Fo each A S M d,g)c), thee uniquely exists one affine hypesphee x : M d R d+1 with affine metic g, Fubini-Pick fom A and affine mean cuvatue c. Motivated by Theoem 2.2, we intoduce the following modified equiaffine equivalence elation between nondegeneate hypesufaces: Definition 2.1. Let x : M n R n+1 be a nondegeneate hypesuface with the affine metic g. A hypesuface x : M n R n+1 is called affine equivalent to x if thee exists a unimodula tansfomation Φ : R n+1 R n+1 and an isomety ϕ of M n,g) such that x = Φ x ϕ 1. To end this section, we would like to ecall the following concept: Definition 2.2. [19]) A nondegeneate hypesuface x : M n R n+1 is called affine symmetic esp. locally affine symmetic) if 1) the pseudo-riemannian manifold M n,g) is symmetic esp. locally symmetic) and theefoe M n,g) can be witten esp. locally witten) as G/K fo some connected Lie goup G of isometies with K one of its closed subgoups; 2) the Fubini-Pick fom A is invaiant unde the action of G The multiple Calabi poduct of hypebolic affine hypesphees. Fo late use we make a bief eview of the Calabi composition of multiple factos of hypebolic affine hypesufaces. Detailed poofs of the fomulas in this subsection has been given in the pepint [18]. Now let,s be two nonnegative integes with K := +s 2 and x α : Mα nα Rnα+1, 1 α s, be hypebolic affine hypesphees of dimension n α > 0 with affine mean cuvatues α) L 1 and with the oigin thei common affine cente. Fo convenience we make the following convention: 1 a,b,c K, 1 λ,µ,ν K 1, 1 α,β,γ s, α = α+, β = β +, γ = γ +. Futhemoe, fo each α = 1,,s, set ĩ α = i α +K 1+ β<α n β with 1 i α n α. Define f a := { a, 1 a ; β α n β + α, +1 a = α +s,

6 6 XINGXIAO LI and In paticula, e a := exp t a 1 n a +1 + t a + t a t ) K 1, 1 a K = +s f a f a+1 f K 1 t1 e 1 = exp + t t ) K 1, e K = exp t ) K 1. f 1 f 2 f K 1 n K +1 Put n = α n α+k 1 and M n = R K 1 M n1 1 Mns s. Fo any K positive numbes c 1,,c K, define a smooth map x : M n R n+1 by xt 1,,t K 1,p 1,,p s ) := c 1 e 1,,c e,c +1 e +1 x 1 p 1 ),,c K e K x s p s )), t 1,,t K 1,p 1,,p s ) M n. 2.21) Poposition 2.1. [18]) The map x : M n R n+1 defined above is a new hypebolic affine hypesphee with the affine mean cuvatue 1 L 1 = n+1)c, C := 1 c 2 a n+1 a=1 s α=1 c 2nα+1) +α n α +1) nα+1 α) L 1) nα+2 1 n+2, 2.22) Moeove, fo given positive numbes c 1,,c K, thee exits some c > 0 and c > 0 such that the following thee hypebolic affine hypesphees ae equiaffine equivalent to each othe. x := c 1 e 1,,c e,c +1 e +1 x 1,,c K e s x s ), x := ce 1,,e,e +1 x 1,,e s x s ), x := e 1,,e,e +1 x 1,,c e s x s ) Definition 2.3. [18]) The hypebolic affine hypesphee x is called the Calabi composition of points and s hypebolic affine hypesphees. Denote by {v iα α ; i α = 1,,n α } the local coodinate system of M α, α = 1,,s. Then we have Poposition 2.2. [18]) The affine metic g, the affine mean cuvatue L 1 and the possibly nonzeo components of the Fubini-Pick fom A of the Calabi composition x : M n R n+1 of points and s hypebolic affine hypesphees x α : M α R nα+1, α = 1,,s, ae given as follows: λ+1 λ Cδ λµ, 1 λ 1; n g λµ = n 1 +1) Cδ µ, λ = ; 2.23) β α+1 n β + α+1 n α+1 +1) β α n β + α) Cδ λµ, +1 λ = α +s 1. gĩα j β = n α +1) α) L 1)C α) g iαj α δ αβ, g λĩ α = ) 1 λ 2 λ 2 C, 1 λ 1, ) 1 A λλλ = 2 1 n 1 +1) 2 C, λ =, β α+1 n ) β + α+1)c n α+1 +1) 1 β α n β + α) β α n β + α 1, +1 λ = α +s 1. n α )

7 A NEW CHARACTERIZATION OF CALABI COMPOSITION 7 λ+1 C, 1 λ < µ, λµ λ+1)c λ β α A λλµ = n, 1 λ 1,µ = α, β + α) n 1 ++1)C β α n, λ =, µ = α, β + α) γ α+1 n γ + α+1)c n α+1 +1) γ α n γ + α) γ β n γ + β), +1 λ = α < µ = β +s ) Aĩα j α α 1 = 1 n α +1 g ĩ α j α = α) L 1C α) g iαj α, 2.27) 1 Aĩα j α β = γ β n γ + β g ĩ α j α = n α) α +1) L 1) C α) γ β n γ + β g iαj α, β α, 2.28) Aĩα j α kα = n α +1) α) ) α) L 1 C Ai αj αk α, 2.29) whee α) L 1, α) g and α) A ae the affine mean cuvatue, the affine metic and the Fubini-Pick fom of x α, α = 1,,s. Fom Poposition 2.2, the following coollay is easily deived cf. [18]): Coollay 2.2. The Calabi composition x : M n R n+1 of points and s hypebolic affine hypesphees x α : M nα R nα+1, 1 α s, is affine symmetic if and only if each positive dimensional facto x α is symmetic. The next example will be used late: Example 2.1. Given a positive numbe C 0, let x 0 : R n0 R n0+1 be the well known flat hypebolic affine hypesphee of dimension n 0 which is defined by x 1 x n0 x n0+1 = C 0, x 1 > 0,,x n0+1 > 0. Then it is not had to see that x 0 is the Calabi composition of n 0 +1 points. In fact, we can wite fo example x 0 = e 1,,e n0,c 0 e n0+1). Then by Coollay 2.2 the affine metic g 0, the affine mean cuvatue 0) L 1 and the Fubini-Pick fom 0) A of x 0 ae espectively given by cf. [15]) 0) g λµ = λ+1 ) 1 C 2 n δλµ, 2.30) λ n 0 +1 Thus the Pick invaiant of x 0 is 0) J = 0) 1 L 1= n 0 +1)C = n 0 +1) n 0 +1 n 0 +2 C 2 n , 2.31) ) 1 λ2 1 C 2 n λ 2 n 0+1, if λ = µ = ν; ) 1 λ+1 C 2 n ) λν n 0+1, if λ = µ < ν; 0, othewise. 0) Aλµν= 1 0) 0) 0) 0) 0) g λ1λ2 g µ1µ2 g ν1ν2 Aλ n 0 n 0 1) 1µ 1ν 1 Aλ 2µ 2ν 2 = n 0 +1) n 0 +1 n 0 +2 C 2 n = 0) L ) By estictions, g defines a flat metic g 0 on R K 1 with matix g λµ ) and, fo each α, a metic g α on M α with matix ) ) ) gi α αj α = gĩα j α and invese matix g i αj α α, which is confomal to the oiginal metic

8 8 XINGXIAO LI α) g, o moe pecisely, g α = n α +1) α) L 1)C α) g. 2.34) Wite M 0 = R K 1. Then, with espect to the affine metic g on M n, the Fubini-Pick fom A can be identified with a TM n -valued symmetic 2-fom A : TM n TM n TM n. Fo each odeed tiple α,β,γ {0,1,,s}, A defines one TM γ -valued bilinea map A γ αβ : TM α TM β TM γ, which is the TM γ -component of A αβ, the estiction of A to TM α TM β. Fo α = 1,,s, define H α = 1 t gα A 0 αα 1 gα iαjα n α n α A 0 αα whee the metic g α is given by 2.34). Then we have [18]), vα iα v jα α ), 2.35) Poposition 2.3. Let x : M n R n+1 be the Calabi composition of points and s hypebolic affine hypesphees and g the affine metic of x. Then 1) The Riemannian manifold M n M n,g) is educible, that is M n,g) = R q M 1,g 1 ) M s,g s ), q +s 2; 2.36) 2) Thee must be a positive dimensional Euclidean facto R q in the de Rham decomposition 2.36) of M n, that is, q > 0; 3) q s 1 with the equality holding if and only if = 0; 4) A γ αβ 0 if α,β,γ) is not one of the following tiples: 0,0,0), α,α,0), α,0,α), 0,α,α) o α,α,α). 5) Fo any p = p 0,p 1,,p s ) M n and each α = 1,,s, it holds that A 0 ααr Mα X α,y α )Z α,w α )+A 0 ααz α,r Mα X α,y α )W α ) = 0, X α,y α,z α,w α T pα M α 2.37) equivalent to that the holonomy algeba h α of M α,g α ) acts on A 0 αα tivially, that is h α A 0 αα = 0. 6) The vecto-valued functions H α, α = 1,,s, defined by 2.35) satisfy the following equalities: H α = f α 1 f α C t α n β+1 +1 C, 2.38) s 1 β α f β+1 t β 1 gh α,h α ) = C 1 n α +1 1 ) = n n α f K n α +1 L 1), 2.39) gh α,h β ) = L 1 fo α β; 2.40) 7) A α αα is identical to the TM α-valued symmetic bilinea fom defined by the Fubini-Pick fom α) A of x α. In the next section we shall pove as the main esult that a locally stongly convex affine hypesuface x : M n R n+1 is locally the Calabi composition of some points and hypebolic affine hypesphees if and only if the above conditions 1), 4) and 5) hold. 3. A chaacteization of the Calabi composition We ae mainly to establish a necessay and sufficient condition fo a locally stongly convex hypebolic hypesphee locally to be the Calabi composition of seveal hypebolic affine hypesphees, possibly including point factos. It tuns out that this special chaacteization theoem is needed in some elated impotant classifications.

9 A NEW CHARACTERIZATION OF CALABI COMPOSITION 9 Theoem 3.1 The Main Theoem). A locally stongly convex hypebolic hypesphee x : M n R n+1, with the affine metic g and the Fubini-Pick fom A ΓT M n T M n TM n ), is locally affine equivalent to the Calabi composition of some hypebolic affine hypesphees, possibly including point factos, if and only if the following thee conditions hold: 1) The Riemannian manifold M n,g) is educible, that is M n,g) = R q M 1,g 1 ) M s,g s ), q +s 2, 3.1) whee M α,g α ), α = 1,,s, ae ieducible Riemannian manifolds; 2) Denote M 0 = R q and by A γ αβ, 0 α,β,γ s, the TM γ-component of the estiction of A to TM α TM β. Then A γ αβ 0 if the oiented tiple α,β,γ) is not one of the followings: 0,0,0), α,α,0), α,0,α), 0,α,α), α,α,α). 3) Fo each α = 1,,s, the holonomy algeba h α of M α,g α ) acts on A 0 αα tivially: h α A 0 αα = 0, o equivalently, fo any p = p 0,p 1,,p s ) M n and fo all X α,y α,z α,w α T pα M α, it holds that A 0 αα RMα X α,y α )Z α,w α )+A 0 αα Z α,r Mα X α,y α )W α ) = ) Poof. Since ou consideation is local hee, we suppose that M n is connected and simply connected. The necessay pat of the theoem is clealy fom Poposition 2.3. To pove the sufficient pat, we fist note that, the affine mean cuvatue L 1 of a hypebolic affine hypesphee is a negative constant. Claim: M n must have an Euclidean facto R q, q > 0, in its de Rham decomposition 3.1). In fact it suffices to show that M n would be ieducible if q = 0. To do this we suppose that s > 1. Then fo non-vanishing X TM 1 and Y TM 2, we have by the affine Gauss equation 2.6) that 0 =RX,Y)Y = L 1 gy,y)x gx,y)y) [AX),AY)]Y) = L 1 gy,y)x, 3.3) whee we have used the fact that AY)Y) = AY,Y) TM 2 and AX)Y) = AX,Y) = 0 due to the condition 2) in the theoem. Clealy 3.3) is not possible since L 1 < 0 and Y 0. This contadiction poves the claim. By the assumption, A can be decomposed as s s A = A α αα + A 0 αα + α=0 α=1 s A α α0 + α=1 s A α 0α. 3.4) Same as in the last section, fo α = 1,,s, we define H α = 1 n α t gα A 0 αα ) and denote c α = H α. Then we have Lemma 3.1. A 0 00 S R ql 1) and the following identities hold: α=1 A 0 αα X α,y α ) = gx α,y α )H α, g 0 H α,h β ) = L 1, if 1 α β s, 3.5) A α α0 X α,z 0 ) = A α 0α Z 0,X α ) = g 0 Z 0,H α )X α. 3.6) A 0 00 Z 0,H α ) = g 0 Z 0,H α )H α +L 1 Z 0, 3.7) whee Z 0 T p0 M 0, X α,y α T pα M α, and g 0 is the flat metic on R q. Poof of Lemma 3.1: Fist note that the fist conclusion is diect fom the fact that A S Mn,g)L 1 ) togethe with the decomposition 3.4). Let p = p 0,p 1,,p s ) M n be an abitay point with p α M α, α = 0,1,,s. Let h be the holonomyalgebaofm n,g), andh 1,, h s theholonomyalgebasofm 1,g 1 ),, M s,g s ), espectively. Then by 3.1) we have h = h 1 + +h s, 3.8)

10 10 XINGXIAO LI Since Riemannian manifold M α,g α ) 1 α s) is ieducible, h α acts ieducible on T pα M α fo evey point p α M α and, at the same time, acts tivially on any othe T pβ M β, β α. Fo each α = 1,,s and fo all T h α, X α,y α T pα M α, 3.2) gives that By using the ieducibility of h α on T pα M α, we get fom 3.9) A 0 αα TX α,y α )+A 0 αα X α,ty α ) = ) A 0 αα X α,y α ),e a = c a α g αx α,y α ) 3.10) fo some constants c a α R, whee {e a} is an othonomal basis fo T p0 R q R q. Theefoe A 0 αα X α,y α ) = g α X α,y α ) a c a α e a. On the othe hand, it is seen that H α = a ca α e a, poving the fist equality in 3.5). This with the symmety of A gives 3.6). Now put Z 0 T p0 M 0, X α,y α T pα M α. Then the affine Gauss equation 2.6) of x tells that But by the fist equality of 3.5) and 3.6) we find 0 = L 1 g α X α,y α )Z 0 [AZ 0 ),AX α )]Y α ). 3.11) [AZ 0 ),AX α )]Y α ) = AZ 0,AX α,y α )) AX α,az 0,Y α )) =AZ 0,A 0 ααx α,y α )+A α ααx α,y α )) AX α,a α 0αZ 0,Y α )) =AZ 0,g α X α,y α )H α )+AZ 0,A α αα X α,y α )) AX α,gz 0,H α )Y α )) =g α X α,y α )A 0 00 Z 0,H α )+A α 0α Z 0,A α αα X α,y α )) gz 0,H α )A 0 αα X α,y α )+A α αα X α,y α )) =g α X α,y α )A 0 00 Z 0,H α )+gz 0,H α )A α αα X α,y α ) gz 0,H α )g α X α,y α )H α gz 0,H α )A α ααx α,y α ) =g α X α,y α )A 0 00Z 0,H α ) gz 0,H α )H α ). Putting this equality into 3.11) we obtain 3.7). Similaly, fo 1 α β s, let X α T pα M α and Y β,z β T pβ M β. Then But 0 = L 1 g β Y β,z β )X α [AX α ),AY β )]Z β ). 3.12) [AX α ),AY β )]Z β ) =AX α,ay β,z β )) AY β,ax α,z β )) =AX α,a 0 ββy β,z β )+A β ββ Y β,z β )) =A α α0 X α,g β Y β,z β )H β ) = g β Y β,z β )gh α,h β )X α. Compaing this with 3.12) gives the second fomula in 3.5). Fo the given point p = p 0,p 1,,p s ) M n, denote by H p the subspace of T p0 M 0 R q geneated by H 1 p 1 ), H s p s ) and by H p the othogonal complement of H p in T p0 M 0. Thus T p0 M 0 = H p H p. Then A 0 00p) can be decomposed into the sum of its H p -component A Hp 0 and its H p -component A H p 0, that is, A 0 00 p) = AHp 0 +A H p 0. Lemma 3.2. Let q, s be as above. Then q dimh p s 1. Futhemoe, q s if and only if dimh p = s.

11 A NEW CHARACTERIZATION OF CALABI COMPOSITION 11 Poof of Lemma 3.2: Fo simplicity we omit the point p in the symbols. To pove the fist pat of the lemma, it suffices to show that the set of the s nonzeo vectos H 1,,H s in TM 0 R q has a ank not less than s 1. This is equivalent to show that the s-th ode matix gh 1,H 1 ) gh 1,H 2 ) gh 1,H s ) c 2 1 L 1 L 1 gh 2,H 1 ) gh 2,H 2 ) gh 2,H s ) = L 1 c 2 2 L 1 gh s,h 1 ) gh s,h 2 ) gh s,h s ) L 1 L 1 c 2 s has a ank equal to o lage than s 1. Indeed, by deleting the last line and the second last column, we find a s 1)-mino of the above matix: c 2 1 L 1 L 1 c 2 det L 1 c 2 1 L 1 L 1 2 L 1 = L 1det L 1 c 2 2 L 1 L 1 L 1 L c 2 1 L =L 1 det 0 c 2 2 L =L 1 c 2 1 L 1) c 2 s 2 L 1) < ) Futhemoe, if q s, and dimh = s 1, then 1 := dimh 1. Conside the estiction ĀH 0 of A H 0 to the subspace H H. Define H 0 = 1 1 tāh 0 and c 0 = H 0. Then, fo any unit vecto e 0 H and each α = 1,,s, we have implying that gāh 0 e 0,e 0 ),H α ) =gae 0,e 0 ),H α ) = ga 0 00e 0,H α ),e 0 ) =L 1 ge 0,e 0 ) = L 1, gh 0,H α ) = L 1, α = 1,,s. Then in the same way as in poving that the ank of the matix gh α,h β )) 1 α,β s of ode s is no less than s 1 we can obtain that the ank of the s+1)-th ode matix gh α,h β )) 0 α,β s is no less than s. Since {H α ; 0 α s} H, it follows that dimh s which contadicts the assumption. Since q is fixed, we have Coollay 3.1. dimh p and dimh p ae independent of the point p. Thus they fom two subbundles H and H of the tangent bundle TM 0. DefineĀH 0 = A H 0. By3.7),foanyX H,Y H H, A 0 H H 00 X H,Y H ) H, andfoanyy H H, A 0 00 X H,Y H ) H. Theefoe, A 0 00 can be decomposed into the following components: A 0 00 = ĀH 0 +ĀH 0 + AH 0 + H H AH 0 + A H 0 H H H H. 3.14) Lemma 3.3. Define = ankh +1. Then ĀH 0 S R 1 n+1)l1 ) if ankh 1. Poof of Lemma 3.3: Since ankh 1, it holds by Lemma 3.2 that q = ankh+ankh s 1+1 = s. Making use of Lemma 3.2 once again we have that ankh = s and theefoe {H 1,,H s } is a fame fo the vecto bundle H. Set h αβ = gh α,h β ), 1 α,β s, and h αβ ) = h αβ ) 1.

12 12 XINGXIAO LI We fist compute ĀH 0. Wite Ā H 0 X,Y) = C α XY H α, X,Y H. Then we have gāh 0 X,Y),H α) = C β XY gh β,h α ) = C β XY h βα; gāh 0 X,Y),H α ) =ga 0 00X,Y),H α ) = ga 0 00X,H β ),Y) =ggx,h α )H α +L 1 X,Y) = L 1 gx,y), implying that C β XY h βα = L 1 gx,y) o equivalently C α XY = L 1gX,Y) β h αβ. It follows that Ā H 0 X,Y) = L 1 gx,y) α,β h αβ H α, X,Y H. 3.15) Thus we have H 0 = 1 1 tāh 0 ) = L 1 On the othe hand, by using 3.4) and the fact that ta) = 0, it is seen that which with the decomposition 3.14) gives ta α h αβ H α. 3.16) α,β ta 0 αα = 0, tāh 0 ) = 0, 3.17) 1)H 0 + α,β h αβ A H 0 H α,h β )+ α n α H α = ) But by 3.7), Thus 3.18) can be ewitten as A H 0 H α,h β ) = gh α,h β )H β +L 1 H α = h αβ H β +L 1 H α. 1)H 0 + α Compaing 3.16) and 3.19) gives that L 1 h αβ +n α +1) H α = 0, o equivalently It follows that which with 3.15) gives α 1+L 1 h αβ )H α + n α H α = ) α β β L 1 h αβ +n α +1) = 0, α = 1,,s. 3.20) β Ā H 0 X,Y) = gx,y) α β h αβ = n α +1 L 1, α 3.21) n α +1 H α, X,Y H, 3.22)

13 A NEW CHARACTERIZATION OF CALABI COMPOSITION 13 and thus H 0 = 1 1 tāh 0 ) = α n α +1 H α. 3.23) Since we have shown that tāh 0 ) = 0 Equation 3.17)), to complete the poof of Lemma 3.3, it now suffices to show that n+1)l 1 gy,z)x gx,z)y) fo all X,Y,Z H. In deed, the fact that A 0 00 S R ql 1) implies But by the decomposition 3.14) [ĀH 0 X),ĀH 0 Y)]Z) = ) L 1 gy,z)x gx,z)y) [A 0 00 X),A0 00 Y)]Z) = ) A 0 00 X)A0 00 Y)Z)) = A0 00 X,A0 00 Y,Z)) =A 0 00X,ĀH 0 Y,Z)+ĀH 0 Y,Z)) =A 0 00 X,ĀH 0 Y,Z))+A 0 00 X,ĀH 0 Y,Z)) =ĀH 0 X,ĀH 0 Y,Z))+ĀH 0 X,ĀH 0 Y,Z))+A H 0 X,ĀH 0 Y,Z)) =ĀH 0 X)ĀH 0 Y)Z)) 1 gx,āh 0 Y,Z)) α n α +1)H α 1 gy,z) α n α +1)A H 0 X,H α ) =ĀH 0 X)ĀH 0 Y)Z)) 1 gx,āh 0 Y,Z)) n α +1)H α α 1 n α +1)L 1 gy,z)x α =ĀH 0 X)ĀH 0 Y)Z)) 1 gx,āh 0 Y,Z)) n α +1)H α α n +1 L 1 gy,z)x whee we have used 3.7), 3.22) and the definition of. Since gx,āh 0 Y,Z)) = gy,āh 0 X,Z)), we find that [A 0 00X),A 0 00Y)]Z) = A 0 00X)A 0 00Y)Z)) A 0 00Y)A 0 00X)Z)) =ĀH 0 X)ĀH 0 Y)Z)) ĀH 0 Y)ĀH 0 X)Z)) n +1 L 1 gy,z)x gx,z)y) =[ĀH 0 X),ĀH 0 Y)]Z) n +1 L 1 gy,z)x gx,z)y). 3.26) Inseting the above equality into 3.25) we obtain the equation 3.24), which completes the poof of Lemma 3.3. Lemma 3.4. All the vectos H 0,H 1,,H s ae constant vectos in H R q ; In paticula, c 0, c 1,, c s ae all constants. Futhemoe, A α αα S M α L 1 c 2 α ). 3.27)

14 14 XINGXIAO LI Poof of Lemma 3.4: The fist conclusion of the lemma is easily obtained by taking the deivatives of 3.23) on M α fo each α = 0, 1,, s. We fist note that the conditions 1) and 3) fo 3.27) come coespondingly fom those fo A S M n,g)l 1 ). To veify the condition 2) fo 3.27), we use the affine Gauss equation 2.6) to see that But by 3.4), 3.5) and 3.6) we find R Mα X α,y α )Z α =L 1 g α Y α,z α )X α g α X α,z α )Y α ) [AX α ),AY α )]Z α ). 3.28) [AX α ),AY α )]Z α ) = AX α,ay α,z α )) AY α,ax α,z α )) =AX α,a 0 αα Y α,z α )+A α αα Y α,z α )) AY α,a 0 αα X α,z α )+A α αα X α,z α )) =A α α0 X α,g α Y α,z α )H α )+A 0 αα X α,a α αα Y α,z α )) +A α ααx α,a α ααy α,z α )) A α α0y α,g α X α,z α )H α ) A 0 ααx α,a α ααy α,z α )) A α ααy α,a α ααx α,z α )) =g α Y α,z α )g α H α,h α )X α +g α X α,a α αα Y α,z α )H α +A α ααx α,a α ααy α,z α )) g α X α,z α )g α H α,h α )Y α g α Y α,a α αα X α,z α )H α A α αα Y α,a α αα X α,z α )) = c 2 α g αy α,z α )X α g α X α,z α )Y α )+[A α αα X α),a α αα Y α)]z α ). Inseting the above into 3.28) we obtain R Mα X α,y α )Z α =L 1 c 2 α)g α Y α,z α )X α g α X α,z α )Y α ) [A α αα X α),a α αα Y α)]z α ), implying the condition 2) fo A α αα S M α L 1 c 2 α ). Lemma 3.5. The vecto-valued symmetic bilinea fom A S M n,g)l 1 ) is uniquely, up to equivalence, detemined by the metics g α, the flat metic g 0 on R q, the bilinea foms A α αα α = 1,,s) and the affine mean cuvatue L 1. Poof of Lemma 3.5: Since A α αα S Mα,g α)l 1 c 2 α), we see that the constant c α is completely detemined by g α, L 1 and A α αα via R gα X α,y α )Z α = L 1 + c 2 α)g α Y α,z α )X α g α X α,z α )Y α ) +[A α αα X α),a α αα Y α)]z α, whee X α,y α,z α TM α and R gα is the cuvatue tenso of g α. On the othe hand, up to an othogonal tansfomation on H TM 0 R q, the constant vectos H 1,,H s ae uniquely given by the matix equality gh 1,H 1 ) gh 1,H 2 ) gh 1,H s ) c 2 1 L 1 L 1 gh 2,H 1 ) gh 2,H 2 ) gh 2,H s ) = L 1 c 2 2 L 1. gh s,h 1 ) gh s,h 2 ) gh s,h s ) L 1 L 1 c 2 s Futhemoe, it is easily seen fom 3.5), 3.6), 3.7) and 3.15) that A 0 αα, Aα 0α, Aα α0, ĀH 0, AH 0, H H and AH 0 H H H H ae completely detemined by the flat metic g 0, the vectos H 1,,H s and A H 0 the affine mean cuvatue L 1.

15 A NEW CHARACTERIZATION OF CALABI COMPOSITION 15 ) Finally, since ĀH 0 S n+1)l1 R 1, it is ealized as the Fubini-Pick fom of a flat hypebolic affine hypesphee in R. Then a theoem of L. Vanken, A-M. Li and U. Simon in [21] also see [12]) assues that any of such flat affine hypesphee is equiaffine equivalent to the hypebolic hypesphee in Example 2.1. Thus ĀH 0 is also unique up to isometies on R 1. It then follows that A 0 00 is completely detemined by the flat metic g, the sections H 1,, H s and the affine mean cuvatue L 1 up to isometies on R q. Summing up, we have poved the conclusion of Lemma 3.5. Now we ae in a position to complete the poof of Theoem 3.1. Let C be given by 2.22). Suitably choosing the constants c a 1 a ), c +α, α) L 11 α s), we can also assume the fist equality. Fo each α = 1,,s, fix one Riemannian metic on M α. Then by 3.27), have find that We claim that A α αα S M α, α) g) n α +1)L 1 c 2 α ) n+1)l 1 α) g = n+1)l 1 n α +1) α) L 1 g α nα +1)L 1 c 2 α ) n+1)l 1 ) α) L 1. = 1, that is, c 2 α = n n α n α +1 L 1). 3.29) In fact, multiplying h αγ to the both sides of 3.21) and then taking sum ove α we have 1 = α,β h αβ h αγ = α Since, by 3.5), h γγ = c 2 γ and h αγ = L 1 fo α γ, the ight hand side of 3.30) is α n α +1 h αγ = n γ +1 c 2 γ n α +1 L 1 L 1 L 1 L 1 α γ = n γ +1 c 2 γ L 1 n α +1) 1 n α +1 L 1 h αγ. 3.30) α γ = n γ +1 L 1 c 2 γ + 1 n γ +1) 1 Fom 3.30) and 3.31) we easily pove the claim 3.29). n α +1) α = n γ +1 c 2 γ L n γ +1) 1 n +1) = n γ +1 c 2 γ 1 L 1 n n γ) ) α) g) The equality 3.29) shows that α) A A α αα S L 1). It follows fom Coollay 2.1 that, fo each M α) α, α = 1,,s, thee exists a hypebolic affine hypesphee x α : Mα nα Rnα+1 having α) g, α) L 1 and α) A as its affine metic, affine mean cuvatue and Fubini-Pick fom espectively. Suitably choosing the paametes t 1,,t K 1, K = +s, the oiginal flat metic g 0 on R K 1 can be witten as g 0 = λ,µ g λµdt λ dt µ whee g λµ is defined by 2.23). Now we conside the Calabi composition x of points and the s hypebolic affine hypesphees x α, with the peviously chosen constants c a,c +α mentioned. Then it follows that the oiginal hypebolic

16 16 XINGXIAO LI affine hypesphee x is equiaffine equivalent to the Calabi composition x since they have the same affine metic and Fubini-Pick fom by Poposition 2.2. As an application of Theoem 3.1, we can easily ecove the following esult in a diect manne: Coollay 3.2. [19]) A locally stongly convex and affine symmetic hypesuface x : M n R n+1 is locally affine equivalent to the Calabi composition of some hypebolic affine hypesphees possibly including point factos if and only if M n is educible as a Riemannian manifold with espect to the affine metic. In fact, if x is affine symmetic, then the holonomy algeba h fo M n,g) acts tivially on the Fubini- Pick fom A which, togethe with the fact that, fo each α = 1,,s, h α acts ieducibly on TM α and tivially on othe TM β β α), diectly implies 2) and 3) in Theoem 3.1. Refeences [1] N. Bokan, K. Nomizu and U. Simon, Affine hypesufaces with paallel cubic foms, Tôhoku Math. J ), , MR , Zbl [2] E. Calabi, Complete affine hypesufaces I, Symposia Math., ), [3] F. Dillen and L. Vancken, Calabi-type composition of affine sphees, Diff. Geom. appl, 41994), [4] F. Dillen, L. Vancken and S. Yapak, Affine hypesufaces with paallel cubic fom, Nagoya Math. J ), MR , Zbl [5] Z. J. Hu, H. Z. Li and L. Vancken, Chaacteizations of the Calabi poduct of hypebolic affine hypesphees, Result. Math ), 299C314. [6] Z. J. Hu, C.C. Li, The classification of 3-dimensional Loentian affine hypesufaces with paallel cubic fom, Result. Math ), 299C314. [7] Z. J. Hu, C.C. Li, H. Z. Li and L. Vancken, The classification of 4-dimensional nondegeneate affine hypesufaces with paallel cubic fom, Jounal of Geomety and Physics, ), 2035C2057. [8] Z. J. Hu, C.C. Li, H. Z. Li and L. Vancken, Loentzian affine hypesufaces with paallel cubic fom. Res. Math., ), 577C620. [9] Z. Hu, H. Li, U. Simon, and L. Vancken, On locally stongly convex affine hypesufaces with paallel cubic fom, I, Diff. Geom. Appl ), no2, [10] Z. J. Hu, H. Li, L. Vancken, Locally stongly convex affine hypesufaces with paallel cubic fom, J. Diff. Geom., ), [11] C. P. Wang, Loentian affine hypesphees with constant affine sectional cuvatue, Tans. Ame. Math. Soc., ), no4, [12] A-M. Li, Some theoems in affine diffeential geomety, Acta Math. Sinica, N.S., 51989), [13] A-M. Li, Calabi conjectue on hypebolic affine hypesphees, Math. Z ), [14] A-M. Li, Calabi conjectue on hypebolic affine hypesphees 2), Math. Ann ), [15] A-M. Li, U. Simon and G. S. Zhao, Global affine diffeential geomety of hypesufaces, de Guyte Expositions in Mathematics, vol. 11, Walte de Guyte and Co., Belin, [16] H.Z., Li and X.F. Wang, Calabi poduct Lagangian immesions in complex pojective space and complex hypebolic space. Results Math., ), [17] X. X. Li, The composition and the section of hypebolic affine sphees, J. Henan Nomal Univesity Natual Science Edition, in Chines), ), no.2, [18] X. X. Li, On the Calabi composition of multiple affine hypesphees, pepint, [19] X. X. Li, On the coespondence between symmetic equiaffine hypesphees and the minimal symmetic Lagangian submanifolds, pepint in Chinese, To appea. [20] K. Nomizu and T. Sasaki, Affine Diffeential Geomety. Cambidge Univesity Pess, Cambidge 1994). [21] L. Vancken, A-M. Li and U. Simon, Affine sphees with constant affine sectional cuvatue, Math. Z ), [22] C. P. Wang, Canonical equiaffine hypesufaces in R n+1, Math. Z., ),