arXiv:math/0703627v3 [math.DG] 26 May 2011 etosi eto .Frbt id fcnetosw iea give W H.C. we to connections due of is which kinds [ algebra from both Lie invariaideas For holonomy of the treatment of 2. similar description a section present in and nections 1 section in tions Introduction. sqieaaoos nntsmlatmrhsso atng Cartan A. of by automorphisms Cartan invariant discussed Infinitesimal of case analogous. The quite [Wan58]. is in Wang H.C. by treated geome Cartan a of 2.2. automorphisms infinitesimal the calculate hs,hlnm,cnomlgeometry. conformal holonomy, phism, tutrs n a neuvlneo aeoiswt certa with Yam93, categories ([Tan79, of geometries equivalence tan an has and one hyp structures structures, struc of contact structures projective such CR structures, for almost projective structures, conformal geometries: are which parabolic homogeneous treating elementary. quite are case homogeneous tutr ntepouto w pee:W s elkonme geometry. this known Acknowledgments of well algebra a ge Lie use parabolic holonomy We this the to calculate spheres: connection Cartan two canonical of the obtain product the on structure curvatur structures. like these geometries, to Cartan automorphisms, for infinitesimal discussed notions all norgmn.Ias hn aj aeshi o e valua her for Sagerschnig Katja thank also I encouragement. e od n phrases. and words Key ohn nhr sral e.Ivratpicplconnecti principal Invariant new. really is here in Nothing 2000 Date h uhrswr a upre yteI 08Nfne ythe by funded I008-N IK the by supported was work author’s The eetees sawoe hspoie ieadsml fra simple and nice a provides this whole, a as Nevertheless, nscin3w osdra nepii xml h aeo co a of case the example explicit an as consider we 3 section In uy20 Sm omlscretd a 2011). May corrected: formulas (Some 2007 July : ahmtc ujc Classification. Subject Mathematics xml fa ooeeu aaoi emtyw ra conf a spheres. treat two we of product geometry algorit the parabolic purely on are homogeneous structure calculations connecti an above Cartan main of the The invariant example that an automorphisms. is infinitesimal of paper the this case for the formula a in give the holonomy; calculate the to how and show and bundles principal homogeneous Abstract. OOEEU ATNGEOMETRIES CARTAN HOMOGENEOUS a0]w a s h nweg ftehlnm i ler to algebra Lie holonomy the of knowledge the use can we Cap08] ˇ ebgnwt icsino nain rnia connec- principal invariant of discussion a with begin We a n[ in Cap ˇ edsrb nain rnia n atncnetoson connections Cartan and principal invariant describe We . pca hnsg oAndreas to go thanks Special atngoer,hmgnossae nntsmlautomor infinitesimal space, homogeneous geometry, Cartan a0]adtecneune rw eefrthe for here drawn consequences the and Cap08] ˇ ATISHAMMERL MATTHIAS CS00, ˇ 1 33,5B5 32,53C30. 53C29, 53B15, 53A30, S9) hsimdaeyextends immediately this CS09]): ˇ a o i upr and support his for Cap ˇ lotquaternionic almost mc san As hmic. nvriyo Vienna. of University ,hlnm and holonomy e, mtyadthen and ometry n eealready were ons ntpso Car- of types in curvature tCra con- Cartan nt oere were eometries rufc type, ersurface eutof result l comments. ble r nsection in try ue,among tures, nwe on ormal connections eokfor mework n.Using ang. explicit n nformal hdto thod - 2 MATTHIASHAMMERL

1. Invariant principal connections π 1.1. Homogeneous P -principal bundles. Let M be a P -principal bundle. The right action of P on shall be calledG → G r : P , G× → G rp(u)= r(u, p)= u p. · We say that the P -principal bundle is homogeneous when there is a Lie group H acting fiber-transitively on G by principal bundle automorphisms. G We denote the action of an element h H on by λh Aut( ) and ∈ G ∈ G simply write λh(u) = h u for u . The diffeomorphism λh factorizes to · ∈ G a diffeomorphism λˇh of M and fiber-transitivity of the action of H on is equivalent to transitivity of the induced action of H on M. G Let o M be an arbitrary point. Then the isotropy group K = Ho of o is a Lie subgroup∈ of H and M = H/K. Now the action of K on leaves the G fiber o of over o invariant. Take some u0 o; then one sees that there is a uniqueG G homomorphism of Lie groups Ψ : K∈ G P with k u = u Ψ(k). → · 0 0 · Now one checks that in fact = H K P = H Ψ P , the associated bundle to the principal K-bundle HG H/K× obtained× by the action of K on P by Ψ. We denote the equivalence→ class π˜(h, p)= (h k, Ψ(k) p), k K = [h, p]. { · · ∈ } So we described an arbitrary homogeneous P -principal bundle as a quo- tient of the trivial bundle H P . We have a K-principal bundle whose base is a P -principal bundle: × o H P o K × π˜  o H K P P × π  H/K

We summarize: Every homogeneous P -principal bundle is of the form = H K P H/K with the canonical left- respectively right- actions of GH resp.×P on→ . We can also say: the data defining an H-homogeneous P -principal bundleG is a 4-tuple (H,K,P, Ψ) , where H and P are Lie groups, K is a closed subgroup of H and Ψ is a homomorphism of Lie groups from K to P .

1.2. Invariant principal connections on homogeneous P -principal bundles. Any H-invariant P -principal connection γ Ω(H K P, p) can be pulled back to a P -principal connection on the trivial∈ bundle× H P . Now Frobenius reciprocity (see e.g. [Mic08], 22.14) provides a one-to-one× correspondence between K-invariant horizontal forms on H P and p-valued × forms on H K P . This can be used to show that H-left invariant P -principal × connections on H K P correspond exactly to certain linear maps α : h p. Precisely: Left-trivialize× H P = H P h p, then → × × × × HOMOGENEOUSCARTANGEOMETRIES 3

Theorem 1.1 ([Wan58], Prop. (5.1), Prop. (5.2); [Ham06], Thm. 2.2.6, Thm.4.1.1;). Every invariant principal connection γ on = H K P is obtained by factorizing a p-valued one form G ×

γˆ Ω1 (H P, p)hor, ∈ K × (h,p,X,Y ) Ad(p−1)α(X)+ Y 7→ with h H,p P, X h and Y p. Here the conditions on α L(h, p) such that∈ γˆ is indeed∈ K∈-invariant∈ and horizontal are ∈ ′ i. α|k =Ψ ii. α(Ad(k)X) = Ad(Ψ(k))α(X). I.e.: α is a K-equivariant extension of Ψ′ to a linear map from h p. → This description of invariant principal connections on leads to an easy formula for the curvature. If γ Ω1( , p) is the invariantG principal connec- tion corresponding to α : h ∈p, theG curvatureρ ¯ Ω2( , p) of γ is given by → ∈ G

ρ¯(ξ, η)= γ([ξhor, ηhor]), − where ξhor, ηhor are the horizontal projections of vector fields ξ, η X( ). ∈ G Nowρ ¯ is P -equivariant and horizontal and thus factorizes to a H K p- 2 × valued 2-form on H/K, i.e., a section of H K Λ (h/k) p. It is easy to see that H-invariance of γ implies H-invariance× of this⊗ section, which is therefore determined by a unique K-invariant element ρ of Λ2(h/k) p. 2 ⊗ Therefore we will say that the curvature of α is ρ = ρα Λ (h/k) p, and one calculates that ∈ ⊗

ρ(X , X ) = [α(X ), α(X )] α([X , X ]) 1 2 1 2 − 1 2 for X1, X2 h. So the curvature∈ of α is its failure to be (an extension of Ψ′ : k p to) a homomorphism of Lie algebras h p. → Denote the holonomy of the invariant→ principal connection corresponding to α : h p by hol(α). H.C. Wang gave an explicit description of hol(α): →

Theorem 1.2 ([Wan58], Theorem (B)). Denote by Rˆ = ρ(X1, X2) X1, X2 h the span of the image of ρ in p. Then hol(α) is theh{h-module generated| ∈ }i by Rˆ. I.e.:

hol(α)= Rˆ + [α(h), Rˆ] + [α(h), [α(h), Rˆ]] + . (1) · · · Note that it follows in particular that Rˆ +[α(h), Rˆ]+[α(h), [α(h), Rˆ]]+ is already a Lie subalgebra of p. The proof is quite involved. From the· · · Ambrose-Singer theorem ([AS53]) one knows hat Rˆ hol(α). The essential part is then the construction of a group which can⊂ be explicitly described and which contains the holonomy group as a normal subgroup. Then hol(α) is a module under this group and is shown to be generated by Rˆ, which can then be reformulated as (1). 4 MATTHIASHAMMERL

2. Homogeneous Cartan Geometries One has a very similar description of invariant Cartan connections on homogeneous principal bundles. Recall that for Lie groups (G, P ) with P a closed subgroup of G a Cartan geometry of type (G, P ) is a P -principal bundle over a manifold M endowed with a one form ω Ω1( , g), called the CartanG connection, satisfying ∈ G i. ω is P -equivariant: (rp)∗(ω) = Ad(p−1) ω for all p P . ◦ ∈ ii. ω reproduces fundamental vector fields: ω( d u exp(tY )) = Y for dt |t=0 · all Y p. ∈ iii. ω is an absolute parallelism: at every u the map ωu : Tu g is an isomorphism. ∈ G G → We will say that ( ,ω) is a Cartan geometry of type (G, P ). A Cartan geometryG ( ,ω) is homogeneous if there is a Lie group H acting fiber-transitively on byG automorphisms of the Cartan geometry. I.e., when G we denote the action of H on by λh : we have that for every h H G G → G ∈ i. λh is an automorphism of the P -principal bundle : λh(u p)= λh(u) p ∗ G · · ii. λh preserves ω: λh(ω)= ω. Now we saw in section 1.1 that is of the form H Ψ P for some homo- morphism Ψ : K P and analogouslyG to the case of× principal connections one gets the following→ description of invariant Cartan connections of type (G, P ) on = H K P : G × Theorem 2.1 ([Wan58], Thm. 4; [Ham06], Thm. 4.2.1.). Invariant Cartan connections on H K P are in 1:1-correspondence with maps α : h g satisfying × → ′ (C.1) α|k =Ψ (C.2) α(Ad(k)X) = Ad(Ψ(k))α(X) for all X h, k K (C.3) α induces an isomorphism of h/k with g∈/p. ∈ Explicitly: given such an α, the corresponding Cartan connection ω is ob- tained by factorizing 1 ωˆ Ω (H K P, g), ∈ × ωˆ((h,p,X,Y )) = Ad(p−1)α(X)+ Y. We will say that α is a Cartan connection. Similarly as in the case of invariant principal connections, the curvature of an invariant Cartan connection α : h p is described by an element 2 → κ = κα Λ (h/k) g: it is given by ∈ ⊗ κ(X , X ) = [α(X ), α(X )] α([X , X ]. 1 2 1 2 − 1 2 Using the isomorphism induced by α between h/k and g/p we can also regard the curvature as κ = κ(α) Λ2(g/p)∗ g. ∈ ⊗ 2.1. The holonomy of a Cartan connection. Consider a Cartan geom- etry ( ,ω) of type (G, P ). We can extend the structure group of from G ′ G1 P to G by taking = P G. Then a Cartan connection ω Ω ( , g) extends equivariantlyG toG a ×G-principal connection ω′ Ω1( ′, g)∈ on ′.G We ∈ G G HOMOGENEOUSCARTANGEOMETRIES 5 will say that the holonomy Lie group Hol(ω) of the Cartan geometry ( ,ω) is Hol(ω′). G When ( ,ω) is homogeneous, i.e., = H K P and ω is induced by an G G × ′ α : h g satisfying (C.1)-(C.3) the above construction yields = H Ψ G, ×(with→ Ψ regarded as a map from K P ֒ G, and ω′ correspondsG (again to α : h g; Note here that α in particular→ → satisfies (C.1) and (C.2). Thus→ we have Theorem 2.2. The holonomy Lie algebra of a homogeneous Cartan geom- etry (H K P, α : h g) is × → hol(α)= Rˆ + [α(h), Rˆ] + [α(h), [α(h), Rˆ]] + , · · · where Rˆ = κ(X , X ) X , X h . h{ 1 2 | 1 2 ∈ }i 2.2. Infinitesimal Automorphisms. Let ( M,ω) be a Cartan geome- try of type (G, P ). A vector field ξ X( ) isG an →infinitesimal automorphism of ( M,ω) if it satisfies ∈ G G → (1) ξ is P -invariant: T rpξ(u)= ξ(u p) u ,p P · ∀ ∈ G ∈ (2) ξ preserves ω: ξω = 0. L We remark that the Lie algebra of the automorphism group of the Cartan geometry ( ,ω) is formed by the complete vector fields on which are infinitesimalG automorphisms. G Condition (1) is equivalent to ω ξ : g being P -equivariant. Thus an infinitesimal automorphism ξ of ( ◦,ω)G gives → rise to a section of the adjoint tractor bundle G

M := P g. A G× We want to describe, in terms of geometric data on M, those sections of M which correspond to infinitesimal automorphismsA of ( ,ω). We first showA how ω induces a linear connection on M: Since the actionG of P on g is just the restriction of the adjoint action ofA G on g we have ′ M = P g = ( P G) G g = G g. A G× G× × G × ′ ′ Recall from 2.1: = P G: is the extension of structure group of from P to G andG ( ′G,ω ×′) is a G-principal bundle endowed with a prin- cipalG connection. ThusG the principal connection ω′ on ′ induces a linear connection on M. G The second∇ ingredientA we need to give a condition on a section s Γ( M) to be an automorphism of ( ,ω) comes from the curvature function∈ A G κ : Λ2(g/p)∗ g. G → ⊗ It is a P -equivariant smooth map, and since T M = P g/p, G× κ Γ(Λ2(T ∗M) M) Γ(T ∗M T ∗M M). ∈ ⊗A ⊂ ⊗ ⊗A Now note that since M = P g the canonical surjection Π : g g/p induces a map A G × → Π¯ : M T M. A → 6 MATTHIASHAMMERL

For s Γ( M)) we may thus consider ∈ A 1 isκ := κ(Π(¯ s), ) Ω (M, M). · ∈ A The following theorem characterizes infinitesimal automorphisms of a par- abolic geometry as parallel sections of a connection on the adjoint tractor bundle M: A Theorem 2.3 ([Cap08],ˇ Prop. 3.2). A section s of M corresponds to an infinitesimal automorphism of ( ,ω) if and only if A G s + isκ = 0. ∇ Proof. Let ξ X( ) be a P -invariant vector field on . Then ω ξ is a P -equivariant∈ mapG g and the corresponding sectionG s Γ(◦ M) is G → ∈ A obtained by factorizing u [u, ω(ξ(u))]. Now ξω = iξdω + d(ω(ξ)); Take a vector field η X( ) which7→ is π-related to a vectorL fieldη ˜ on M; Then ∈ G ( ξω)(η)= dω(ξ, η)+ η ω(ξ)= κ(ξ, η)+ η ω(ξ) [ω(ξ),ω(η)]. L · · − Since η˜s corresponds to to the P -equivariant map u η(u) ω(ξ) + ∇ 7→ ·  adωu(η)(ωu(ξ)) this proves the claim. Now

ˆ ξs := ξs + κ(Π(¯ s),ξ) for ξ Γ(T M),s Γ( M) (2) ∇ ∇ ∈ ∈ A is again a linear connection on M, and thus Theorem 2.3 says that the infinitesimal automorphisms of (A,ω) are G inf(ω) := s Γ( M) : ˆ s = 0 . { ∈ A ∇ } i.e.:inf(ω) consists of the parallel sections of ( M, ˆ ). This allows us to reformulate the problemA of determining∇ inf(ω) in the following way: Theorem 2.4. inf(ω)= X g : Ad(Hol( ˆ ))X = X . { ∈ ∇ { }} In particular, if M is simply connected, inf(ω)= X g : ad(hol( ˆ ))X = 0 . { ∈ ∇ { }} This follows from the well known fact that parallel sections of vector bundles correspond to holonomy-invariant elements of the modeling vector space. 2.2.1. Infinitesimal Automorphisms of Homogeneous Cartan Geometries. We can now apply theorem 2.4 to the case of a Cartan connection α : h g on → a homogeneous principal bundle H K P H/K as discussed in section 2: × → ˆ as defined in (2) is H-invariant and it is easy to see that it is induced by∇ the G-principal connection αˆ : h gl(g), → αˆ(X) = ad(α(X)) + κ(Π( ), α(X)+ p) · ′ on G = P G. Thus weG× have HOMOGENEOUSCARTANGEOMETRIES 7

Theorem 2.5. Let α : h g be a Cartan connection of type (G, P ) on a simply connected homogeneous→ space H/K. Then the Lie algebra of infini- tesimal automorphisms of the corresponding homogeneous Cartan geometry consists of all elements of g which are stabilized by hol(ˆα), i.e.: inf(α)= X g : hol(ˆα)X = 0 . { ∈ { }} Since we can determine hol(ˆα) by using theorem 1.2 it is a purely algo- rithmic task to calculate the infinitesimal automorphisms of a homogeneous Cartan geometry. Of course we know that H acts by automorphisms of Cartan geometries on ( , α) = (H K P, α) from the left. It is clear that the fundamental vectorG fields on × for this action are infinitesimal automorphisms and we have seen aboveG that they are thus determined by elements of g: It is easy to see that these elements are exactly those in the image of α : h g. It is not difficult either to verify that indeed α(h) lies in the kernel of→ every element of the holonomy Lie algebra ofα ˆ; the main observation here is that αˆ(X)α(Y )= α([X,Y ]) for X,Y h. ∈

3. The conformal holonomy of the product of two spheres It is a classical result of Elie´ Cartan ([Car23]) that conformal geometries are equivalent to certain parabolic geometries. Thus 2.1 provides a notion of holonomy for conformal structures, which is called conformal holonomy. Conformal holonomies induced by bi-invariant metrics on Lie groups have been treated in [Lei08]. Our setting for calculating conformal holonomies works for invariant conformal structures on arbitrary simply connected ho- mogeneous spaces. Let Sp,Sq be the Euclidean spheres of dimension p,q with p + q 3 and R ≥ let g1,g2 denote their Riemannian metrics of radius 1. For s ,s> 0 and ′ R ′ ∈ 1 1 s 0 we have the (pseudo-)Riemannian metric g(s,s ) = ( s g1, s′ g2) ∈ \{ }p q ′ ′ on M = S S . When s > 0 g ′ is positive definite and for s < 0 it × (s,s ) has signature (p,q). The conformal class [g(s,s′)] of this Riemannian metric endows Sp Sq with a conformal structure and we are going to calculate its conformal× holonomy. To do this, we first switch to a homogeneous or Lie p q group description of the conformal geometry (S S , g ′ ). × (s,s ) Since Sp = O(p + 1)/O(p) we have M = Sp Sq = H/K with H = O(p + 1) O(q + 1) and K = O(p) O(q). We× will write elements of so(p + 1) as× × 0 vt v A = − ⊕ v A  with v Rp and A so(p). So so(p +1) = Rp so(p) and the Lie bracket is ∈ ∈ ⊕ [v A , v A ]= A v A v v vt v vt + [A , A ] . (3) 1 ⊕ 1 2 ⊕ 2 1 2 − 2 1 ⊕ 2 1 − 1 2 1 2

Thus k = so(p) so(q) and h = (Rp Rq) k. We will denote n = p q ⊕ ⊕ ⊕ R R < h. Let g1 = Ip, g2 = Iq be the standard Euclidean inner products ⊕p q on R and R . It will later be useful also to regard g1,g2 as (degenerate) bilinear forms on Rp+q by trivial extension. 8 MATTHIASHAMMERL

It is easy to see that the H = O(p + 1) O(q + 1)-invariant (pseudo- 1 1 × p q )Riemannian metric g ′ = ( g , ′ g ) on M = S S = H/K corre- (s,s ) s 1 s 2 × ′ 1 1 sponds to the K-invariant (pseudo-) inner product g(s,s ) = s g1 s′ g2 on Rp Rq. ⊕ ⊕ 3.1. The prolongation to a canonical Cartan connection. Now we p q describe (H/K = S S , [g ′ ]) as a (canonical) Cartan geometry of type × (s,s ) (G, P ): here G = PO(p + q + 1, 1) for s′ > 0 and G = PO(p + 1,q + 1) for ′ ′ s < 0. Let g := g1 + sgn(s )g2. This is the standard inner product of the same signature as g(s,s′). The Lie algebra of G is graded

g = g g g = Rp+q co(Rp+q, g) (Rp+q)∗ −1 ⊕ 0 ⊕ 1 ⊕ ⊕ and P is the stabilizer of the induced filtration of g. The adjoint action identifies g0 with co(g−1, g). There is a unique (up to isomorphisms of g) Cartan connection

α : h g → which induces an isomorphism of the Euclidean spaces (n, g(s,s′)) and g/p = p+q g−1 = (R , g) and satisfies the following two normalization conditions: (Conf.1) Imκ p: its curvature has vanishing g -part ⊂ − (Conf.2) The Ricci-type contraction of the g0-component of κ vanishes. We will now obtain maps Ψ : K P and α : h g such that the → 0 → conformal structure g(s,s′) is the underlying structure of the homogeneous Cartan geometry corresponding to (Ψ, α0). First note that we have a canon- ical embedding Ψ of K = O(p) O(q) into O(g) < CO(g)= G0 < P ; Being × ′ less formal, one could say that Ψ = Ad|K. Now Ψ : k h is extended to a → p q 1 1 map α : h g by the obvious isometry of (n, g ′ ) = (R R , g ′ g ) 0 → (s,s ) ⊕ s 1 ⊕ s 2 with (g , g) = (Rp+q, g sgn(s′)g ): −1 1 ⊕ 2 α : n Rp+q < g, 0|n → 1 1 v 0 w 0 v w 0 0. ⊕ ⊕ ⊕ 7→ √s ⊕ s′ ⊕ ⊕

| |
p It is clear that α0 : h g is K-equivariant; also, α0 satisfies (C.1) and (C.3) by construction and→ thus it is a Cartan connection of type (G, P ). Since in so(p +1) = Rp so(p) the Rp-part brackets into so(p) by (3) we also have [n, n] k; thus ⊕ ⊂ κ(v w , v w ) p, 1 ⊕ 1 2 ⊕ 2 ⊂ which is the first normalizing condition (Conf.1) on the Cartan connection to this conformal structure. So it remains to find a map A : g g such −1 → 1 that α = α0 + A α0 also satisfies (Conf.2). ◦ p+q p+q ∗ This problem is solved by the Rho-tensor Aij L(R , (R ) ): ∈ 1 R˜ Aij = Rij gij . −p + q 2 − 2(p + q 1) − −
HOMOGENEOUSCARTANGEOMETRIES 9

a Here R = κ0, the g0-component of the curvature of α0, Rij = Rai j is the ij Ricci curvature and R˜ = g Rij is the scalar curvature. It is a straightfor- ward calculation that the Ricci curvature is ′ ′ Rij = s(p 1)g + s (q 1)sgn(s )g − 1ij − 2ij and the scalar curvature is R˜ = sp(p 1) + s′q(q 1). − − Thus the Rho-tensor is given by

1 ′ ′ ′ ′ Aij = (2s∆+ m(s,s ))g + (2s ∆ m(s,s ))sgn(s )g , (4) −2δ 1ij − 2ij
where δ = (p + q 1)(p + q 2); − − ∆ = (p 1)(q 1); − − m(s,s′)= sp(p 1) s′q(q 1). − − − 3.2. Calculation of the curvature and the holonomy. Now we can calculate the curvature κ of the normal Cartan connection α = α0 + A α0. Since, as we have already observed,[n, n] k, and since the projection◦ of α ⊂ to g0 vanishes, it is easy to see that the g1-component of κ vanishes. Thus κ = κ and for X , X Rp+q g0 1 2 ∈ κ (X , X )= R(X , X ) + [X , A(X )] [X , A(X )]. g0 1 2 1 2 1 2 − 2 1 r r One obtains that κij s is the skew-symmetrization ofκ ˜ij s in the variables i, j, where

r 1 ′ r ′ 1 ′ ′ r ′ κ˜ij = s (m(s,s ) + 2s∆) δ g + s + (m(s,s ) 2s ∆) δ sgn(s )g s − δ 1i 1js δ − 2i 2js
2∆
(s + s′) δ rg δ rsgn(s′)g . − δ 1i 2js − 2i 1js (5)

Theorem 3.1 (Special cases). i. If either p or q is 1 or if s′ = s, (Sp q − × S , g(s,s′)) is conformally flat. p−1 p q ii. If p,q 2 and s′ = s then (S S , g ′ ) is Einstein and ≥ q−1 × (s,s ) p q hol(S S , g ′ )= so(p + q + 1). × (s,s ) Proof. Of course the case s′ = s just reflects the fact that then Sp Sq is simply a twofold covering of the− homogeneous model of conformal× Cartan geometries of signature (p,q). But both conformally flat cases can be seen immediately by choosing an orthogonal basis for R Rp+q R and using the embeddings ⊕ ⊕ 0 vt 0 0 t t − 0 v 0 w v A1 0 0 − − v A1  ⊕ w A2  7→ 0 0 A2 w   0 0 wt 0  −  10 MATTHIASHAMMERL for s = 1,s′ = 1 resp. − 0 vt 0 0 − t v A1 0 0  0 v 0 w 1 − − 0 0 0 ′ w v A1  ⊕ w 0  7→  √|s |   ′ 1  0 0 sgn(s ) ′ w 0   √|s |  for q = 1,s = 1 and s′ of arbitrary signature. To see the second claim we first notice that hol(α) contains so(Rn, g): Since 2∆ (s + s′) = 0 δ 6 the image of κ contains all matrices of the form 0 B so(Rn, g).  sgn(s′)Bt 0  ∈ − But since 0 0 0 0 A 0 α = 1 so(Rn, g) 0 A1 ⊕ 0 A2  0 A2 ∈ and hol(α) is the (h, α)-module generated by the image of κ, simplicity of so(Rn, g) shows that indeed so(Rn, g) hol(α). Now the condition ⊂ p 1 s′ = − s q 1 − means exactly that the Ricci curvature Rij is a multiple of g, and thus p q (S S , g(s,s′)) is Einstein. Then by (4) also A is a multiple of g, and, explicitly:× A = rg with p 1 r = − . −2(p + q 1) − Thus α((v A ) (w A ) = (v w) (A A ) r(v w)t, ⊕ 1 ⊕ ⊕ 2 ⊕ ⊕ 1 ⊕ 2 ⊕ ⊕ and we see that the smallest Lie subalgebra of g containing Imκ and being invariant under (h, α) consists of matrices of the form 0 rXt 0 X A rX , 0 Xt −0  −  which proves the claim since r< 0.  When both p and q are at least two a generic ratio of radii (s,s′) of arbitrary signature yields full holonomy, which is straightforward to check. A different argument for this case can be found in [Arm07]. Theorem 3.2 (The generic case). If p,q 2, then for s′ s, p−1 s , ≥ 6∈ {− q−1 } p q ′ hol(S S , g ′ )= g = so(p + q + 1, 1) for s > 0 resp. × (s,s ) p q ′ hol(S S , g ′ )= g = so(p + 1,q + 1) for s < 0. × (s,s ) HOMOGENEOUSCARTANGEOMETRIES 11

Remark 3.3. The treatment of the holonomy of homogeneous parabolic ge- ometries other than conformal structures is closely parallel, the only addi- tional problem which appears is that there are no longer general formulas for the prolongation of the given geometric data to the corresponding Car- tan geometries. To see how this problem boils down to basic representation theory see e.g. [Cap06]ˇ or [Ham06] for explicit examples of prolongations in the realm of CR-structures. References [Arm07] S. Armstrong. Definite signature conformal holonomy: a complete classification. J. Geom. Phys., 57(10):2024–2048, 2007. [AS53] W. Ambrose and I. M. Singer. A theorem on holonomy. Trans. Amer. Math. Soc., 75:428–443, 1953. [Cap06]ˇ A. Cap.ˇ On left invariant CR structures on SU(2). Arch. Math. (Brno), 42(suppl.):185–195, 2006. [Cap08]ˇ A. Cap.ˇ Infinitesimal automorphisms and deformations of parabolic geometries. J. Eur. Math. Soc. (JEMS), 10(2):415–437, 2008. [Car23] E.´ Cartan. Les espaces `aconnexion conforme. Ann. Soc. Pol. Math, (2):172–202, 1923. [CS00]ˇ A. Capˇ and H. Schichl. Parabolic Geometries and Canonical Cartan Connections. Hokkaido Math. J., 29(3):453–505, 2000. [CS09]ˇ A. Capˇ and J. Slov´ak. Parabolic Geometries I: Background and General Theory v.1. Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2009. [Ham06] M. Hammerl. Homogeneous Cartan Geometries. Diploma thesis, Universit¨at Wien, 2006. http://othes.univie.ac.at/1022/. [Lei08] F. Leitner. Conformal holonomy of bi-invariant metrics. Conform. Geom. Dyn., 12:18–31, 2008. [Mic08] P. W. Michor. Topics in differential geometry, volume 93 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2008. [Tan79] N. Tanaka. On the Equivalence Problem Associated with Simple Graded Lie algebras. Hokkaido Math. J., pages 23–84, 1979. [Wan58] H.-C. Wang. On invariant connections over a principal fibre bundle. Nagoya Math. J., 13:1–19, 1958. [Yam93] K. Yamaguchi. Differential Systems Associated with Simple Graded Lie algebras. Advanced Studies in Pure Math., pages 413–494, 1993.

Institut fur¨ Mathematik, Universitat¨ Wien, Nordbergstraße 15, A–1090 Wien, Austria E-mail address: [email protected]