Arxiv:2001.01775V2 [Math.DG]

Home , Metric connection

arXiv:2001.01775v2 [math.DG] 2 Oct 2020 and isometry ahpoint each ..Teeitneo naatdcneto 7 4 12 ( systems LH for Theorem Kiriˇcenko’s Ambrose-Singer theorem manifolds, Riemannian 3.2. LH connection 3.1. adapted Applications an of existence 3. The sect formula homogeneous Leibniz 2.2. infinitesimally A for theorem Ambrose-Singer 2.1. An sections homogeneous 2. Infinitesimally 1.1. Introduction 1. imninmnfl ( manifold Riemannian A ..Srcueadcasfiainterm 24 18 Spin homogeneous Locally theorems classification and 4.3. Structure triples homogeneous 4.2. Infinitesimally triples homogeneous 4.1. Locally spinors homogeneous homogeneous 4. Locally locally on theorem 3.4. Opozda’s 3.3. References d x s x rnia udeon bundle principal a Abstract. antb banduigtekonfraim,eg classi appli a new obtain e.g. spinors. formalisms, also homogeneous known We locally the for data. using of an obtained by system be theorems cannot initial type gene the Ambrose-Singer this known of how the choice explain prove We to used conditions. be parallelism connect of a system of a existence the prove we theorem, Ambrose-Singer eitouea nntsmlhmgniycniinfrsec for bundle condition vector ated homogeneity infinitesimal an introduce We iin o rpe ( triples for ditions 00MteaisSbetClassification 53C35 Subject 53C30, Mathematics Connections 2010 bundles, Principal theorem, Ambrose-Singer Words Key theorem. Cartan and Ambrose-Singer the the and of triples, versions symmetric bundle locally and homogeneous locally NIIEIA OOEET N BUNDLES AND HOMOGENEITY INFINITESIMAL s = x ial eitouentrllclhmgniyadlclsy local and homogeneity local natural introduce we Finally x − : U id ∈ T → M x M U Let hr xssa isometry an exists there , . RS ADRADADE TELEMAN ANDREI AND BAZDAR ARASH emti tutrs nntsmlyhomogeneous, Infinitesimally structures, Geometric : endo noe neighborhood open an on defined Q Q → ,P g, × M M G −→ ,g M, V p n oncinon connection a and , eaprincipal a be ihrsetto respect with 1. ,A M, scle ymti lclysmerc f for if, symmetric) (locally symmetric called is ) Introduction c Contents pisadtils29 triples and -pairs ossigo imninmti on metric Riemannian a of consisting ) 1 G bnl,and -bundle, B 0 ,P g, s n,isie ytewl known well the by inspired and, , x P 1 : u anrslsconcern results main Our . P , . . . , M G srcue 14 -structures B U → 0 30,53C15, 53C05, : k of oncinon connection a a evee as viewed be can y M .13 ). in na associ- an in tions o hc satisfies which ion x cto theorem fication a hoe can theorem ral uhthat such ) rsetvl local a (respectively ain,which cations, mtycon- mmetry appropriate M Q os6 ions s , . x ( x = ) 11 18 16 32 x 6 1 2 ARASHBAZDARANDANDREITELEMAN

An explicit characterization of these spaces is given by the following theorem due to E. Cartan: Theorem 1.1. [KN2, Theorem 6.2, Theorem 6.3] A Riemannian manifold (M,g) is locally symmetric if and only if ∇gRg = 0, where ∇g is the Levi-Civita connection of g and Rg is the Riemann curvature tensor. Moreover, any connected, simply connected, complete locally symmetric Riemannian manifold is (globally) symmetric. Symmetric (locally symmetric) Riemannian manifolds are homogeneous (resp. locally homogeneous). Recall that a Riemannian manifold (M,g) is called homogeneous (locally homogeneous) if for any two points x1, x2 ∈ M there is an isometry ϕ : M → M (resp. ϕ : U1 → U2 between open neighborhoods Ui ∋ xi) with ϕ(x1)= x2. Cartan’s result (Theorem 1.1) has been extended by Ambrose and Singer to the locally homogeneous framework: Theorem 1.2. [AS][Si] A Riemannian manifold (M,g) is locally homogeneous if and only if there exists a metric connection ∇ such that ∇R∇ = ∇T ∇ =0, where ∇ 0 2 ∇ 2 T ∈ A (Lalt(TM ,TM )) and R ∈ A (gl(TM )) denote the torsion and the curvature of ∇. Moreover, any connected, simply connected, complete locally homogeneous Riemannian manifold is (globally) homogeneous. A metric connection satisfying the above conditions is called an Ambrose-Singer connection by some authors [TV, Tr, NT]. Obviously the Levi-Civita connection of a locally symmetric space is an Ambrose-Singer connection. Theorem 1.2 can be reformulated as follows: (M,g) is locally homogeneous if and only if it admits an Ambrose-Singer connection. This statement is a special case of a very general principle in modern differential geometry: a local homogeneity condition for a class of geometric structures on a given manifold is equivalent to the existence of a connection (on a suitable bundle) which satisfies an Ambrose-Singer type condition. The goal of this article is a general theorem which implies all known results of this type, i.e. all Ambrose- Singer type theorems. Our approach and our formalism are motivated by the following bundle versions of Cartan’s and Ambrose-Singer’s theorem. In order to state these theorems, which will be proved in section 4, we define the bundle analogues of the notions “(locally) symmetric space”, “(locally) homogeneous space”: Definition 1.3. Let M be a differentiable manifold, and K a Lie group. A triple p (g, P −→ M, A) consisting of a Riemannian metric g on M, a principal K-bundle p P −→ M on M, and a connection A on P is called: (1) Symmetric (locally symmetric) if, for each point x ∈ M, there exists: s s (i) An isometry M −−→x M (resp. a local isometry U −−→x U) such that

sx(x)= x and dxsx = −idTxM , Φx Φx (ii) An sx-covering bundle isomorphism P −−→ P (resp. PU −−→ PU ) which leaves any point y ∈ Px and the connection A (resp. AU ) invariant. (2) Homogeneous (locally homogeneous) if for any two points x1, x2 ∈ M there exists: ϕ ϕ (a) An isometry M −→ M (resp. a local isometry x1 ∈ U1 −→ U2 ∋ x2) with ϕ(x1)= x2. Φ Φ (b) A ϕ-covering bundle isomorphism P −→ P (resp. PU1 −→ PU2 ) which ∗ leaves A-invariant (resp. such that Φ (AU2 )= AU1 ). INFINITESIMALHOMOGENEITYANDBUNDLES 3

−1 In this definition Px stands for the fiber p (x), and for an open set U ⊂ M, we denoted by PU (AU ) the restriction of the bundle P (the connection A) to U (respectively PU ). With these definitions we will prove the following bundle analogous of Cartan’s, respectively Ambrose-Singer’s theorem : Theorem 1.4. Let M be a differentiable manifold, and K a compact Lie group. p (1) A triple (g, P −→ M, A0) as above is locally symmetric if and only if ∇gRg =0, (∇g ⊗ ∇A0 )F A0 =0. p (2) A triple (g, P −→ M, A0) as above is locally homogeneous if and only if there exists a pair (∇, A) consisting of a metric connection on M and a connection A on P such that ∇ ∇ A A A ∇R =0, ∇T =0, (∇ ⊗ ∇ )F =0, (∇ ⊗ ∇ )(A − A0)=0 . In this statement we used the affine space structure of the space A(P ) of all 1 connections on P , so A − A0 is an element of A (M, ad(P )).

Why are we interested in these bundle analogues of the classical notions and results we have recalled? Note first that a result of Itoh, which we explain below, yields a large class of symmetric triples in the sense of Definition 1.3. Example 1.1. Let (G, H) be a reductive pair. In other words, G is a connected Lie group, H a closed subgroup of G such that h admits an adH -invariant complement s in g. Such a complement defines a G-invariant connection As on the principal bundle G → G/H. For a Lie group K, the data of a G-homogeneous K-bundle on M := G/H is equivalent to the data of a morphism λ : H → K. The bundle corresponding to λ is Pλ := G ×λ K. This bundle comes with an obvious G- s s invariant connection, namely Aλ := (ρλ)∗(A ), where ρλ : G → Pλ is the obvious bundle morphism. For a symmetric space (G, H, σ) (see [KN2, Section XI.2]) one has a canonical choice of s (see [KN2, Proposition 2.2]), so any G-homogeneous K-bundle P on M comes with a canonical connection, which will be denoted by Aλ. With these preparations we can state the following result of Itoh [It]. Theorem 1.5. [It] Let (G, H, σ) be a symmetric space with H compact, and M = G/H compact and oriented. Let P be a G-homogeneous principal K-bundle on M with K compact. Let g be the Riemannian metric on M associated with an adH -invariant inner product on the canonical complement s of h in g. Then, the curvature of the canonical invariant connection Aλ on P is parallel with respect to ∇g ⊗ ∇Aλ .

Therefore, the triple (g, Pλ → M, Aλ) is locally symmetric; it will be symmetric when M is simply connected. Note also that Example 1.2. For a locally symmetric (locally homogeneous) Riemannian manifold (M,g), let C0 ∈ A(O(M)) denote the Levi-Civita connection on the orthonormal frame bundle O(M) of (M,g). The associated triple (g, O(M) → M, C0) is locally symmetric (respectively locally homogeneous) in the sense of Deﬁnition 1.3. Our bundle versions of Cartan’s and Ambrose-Singer’s theorem (Theorem 1.4) have important consequences : we will prove (see Theorem 4.25, Corollary 4.26) that any locally symmetric (homogeneous) triple on a simply connected, complete base (M,g) is globally symmetric (homogeneous). This will allow us to prove a classiﬁ- cation theorem for locally symmetric (homogeneous) triples: any locally symmetric (homogeneous) triple on a compact base M is a quotient of a globally symmetric 4 ARASHBAZDARANDANDREITELEMAN

(homogeneous) triple on the universal cover M˜ (see Theorem 4.27, Corollary 4.29). These results play an important role and can be used eﬀectively for the classiﬁca- tion of geometric manifolds (in the sense of Thurston) which are principal bundles over a given geometric base (see [Ba2], [BT]).

In this article we prove a general theorem, explained in the next subsection, which yields not only Theorem 1.4 (2), but all Ambrose-Singer type theorems which we found in the literature. Moreover, as special cases of our theorem, we will obtain new such results, for instance a characterization of locally homogeneous pairs (g,s) consisting of a Riemannian metric on a spin manifold and a spinor.

1.1. Infinitesimally homogeneous sections. Let M be a differentiable manifold of dimension n, and L(M) → M be its bundle of linear frames. Let G be a Lie group, π : Q → M be a principal G-bundle over M, r : G → GL(n) be a morphism of Lie groups, and f : Q → L(M) be an r-morphism of principal bundles over M. Let also V be a finite dimensional vector space, ρ : G → GL(V ) be a morphism of Lie groups, and E := Q ×ρ V be the associated vector bundle.

For B ∈ A(Q), the linear connection on the tangent bundle TM associated with B f∗(B) is denoted by ∇M ; it coincides with the linear connection associated with n B on the vector bundle Q ×r R ≃ TM . The linear connections on the vector B bundles E = Q ×ρ V (ad(Q)= Q ×ad g) associated with B will be denoted by ∇E B (respectively ∇ad ).

Let B0 be a ﬁxed connection on Q, and σ ∈ Γ(E). We deﬁne recursively the derivatives of σ with respect to B0 by

(0) (i) B0 ⊗(i−1) B0 (i−1) σB0 = σ, σB0 = (∇M ) ⊗ ∇E σB0 . For any k ∈ N and x ∈ M put hσ : (i) x(k) = {b ∈ ad(Qx)| b ·{σB0 }x =0 for 0 ≤ i ≤ k} , (1) σ and note that hx(k) is a Lie subalgebra of the ﬁnite dimensional Lie algebra ad(Qx). σ σ One has hx(k + 1) ⊂ hx(k) for any k. Put σ N σ σ kx := min{k ∈ | hx(k +1)= hx(k)} .

If (x1, x2) ∈ M × M then for any G-equivariant isomorphism θ : Qx1 → Qx2 , we can deﬁne the next linear isomorphisms

θV : Ex1 → Ex2 , θg : ad(Qx1 ) → ad(Qx2 ) .

We also obtain a linear isomorphism θM : Tx1 M → Tx2 M via the bundle morphism k 1 ⊗k 1 ⊗k f. Now, denoting by θ the induced isomorphism {Λx1 } ⊗ Ex1 →{Λx2 } ⊗ Ex2 we deﬁne

Definition 1.6. Let B0 ∈ A(Q) be a connection on Q. A section σ ∈ Γ(E) is called infinitesimally homogeneous with respect to B0 if for any pair (x1, x2) ∈ M × M there exists a G-equivariant isomorphism θ : Qx1 → Qx2 such that θi σ(i) = σ(i) for 0 ≤ i ≤ kσ +1 . (2) B0 x1 B0 x2 x1 Let θ : Qx1 → Qx2 be a G-equivariant isomorphism such that (2) holds. Then σ σ σ θg applies isomorphically hx1 (k) on hx2 (k) for 0 ≤ k ≤ kx1 + 1. This implies Remark 1.7. If σ ∈ Γ(E) is an infinitesimally homogeneous section with respect to σ σ B0, then kx is independent of x. The obtained constant will be denoted by k . Our generalizations of the Ambrose-Singer theorem will be based on: INFINITESIMALHOMOGENEITYANDBUNDLES 5

Theorem 2.13. Suppose that σ is inﬁnitesimally homogeneous with respect to B0. σ Fix q0 ∈ Q, and suppose that the pair (G, Hq0 ) is reductive. There exists a connection B ∈ A(Q) such that:

B ⊗k B (k) σ (1) ((∇M ) ⊗ ∇E )(σB0 )=0 for 0 ≤ k ≤ k +1. B B (2) (∇M ⊗ ∇ad )(B − B0)=0.

Note that (supposing M connected) the existence of a connection B satisfying (1) implies the infinitesimally homogeneity of σ with respect to B0. Indeed, for any pair (x1, x2) ∈ M × M, parallel transport with respect to B along a path γ : [0, 1] → M with γ(0) = x1, γ(1) = x2 defines a G-equivariant diffeomorphism (k) (k) σ Qx1 → Qx2 mapping {σ onto {σ for any 0 ≤ k ≤ k + 1. B0 x1 B0 x2 x1

The reductivity condition needed in the theorem (see section 2.2) is automatically satisfied when G is compact. We will see that this theorem can be used to prove Theorem 1.4 stated above. Moreover, it provides a general approach for the study of locally homogeneous objects by investigating their corresponding infinitesimally homogeneous analogues. In each specific case we will choose an appropriate system of data

(M,Q,ρ,f : Q → L(M),B0, σ) and, using Theorem 2.13, we will prove in each case a result of the type “locally homogeneous is equivalent to infinitesimally homogeneous, and is equivalent to globally homogeneous in the complete, simply connected case”. Section 2 of this article is devoted to the proof of Theorem 1.1. In section 3, this result will be first used to prove known Ambrose-Singer type theorems: (1) The classical Ambrose-Singer theorem (Theorem 1.2). (2) Kiriˇcenko’s theorem for locally homogeneous systems (g, P1,...,Pk), where g is a Riemannian metric, and Pi are tensor fields (Theorem 3.5). In particular we will consider the case of locally homogeneous almost Hermitian manifolds (Theorem 3.6). (3) Opozda’s theorem on locally homogeneous G-structures (Theorem 3.9). Note that, using a lemma based on elliptic regularity (see Lemma 3.12), we show that the analyticity condition in Opozda’s theorem is not necessary. At the end of the section we prove a new Ambrose-Singer type theorem which concerns locally homogeneous pairs (g,s) consisting of a Riemannian metric and a spinor on a spin Riemannian manifold M. This result is not a special case of Kiriˇcenko’s theorem, because a spinor on M cannot be considered as a tensor field. Indeed, s is a section in the spinor bundle, which is a vector bundle associated with the principal bundle of the fixed spin structure, not with the frame bundle L(M). This shows already the advantage of our formalism (which uses a general principal G-bundle Q instead of the classical L(M)). Section 4 is dedicated to locally symmetric (homogeneous) triples in the sense of Definition 1.3. We will prove Theorem 1.4, and we will explain how this result can be used for the classification of the locally symmetric (homogeneous) triples on a given compact Riemannian manifold in terms of globally symmetric (homogeneous) triples on its universal cover. The last subsection is dedicated to local homogeneity in the framework of Spinc-manifolds. We introduce and study natural local homogeneity conditions for pairs (Λ, A) consisting of a Spinc-structure and a Levi-Civita lifting Spinc-connection, and for triples (Λ,A,s) where (Λ, A) is a above, and s is a Spinc-spinor. 6 ARASHBAZDARANDANDREITELEMAN

2. An Ambrose-Singer theorem for infinitesimally homogeneous sections In this section we will give the proof Theorem 2.13.

2.1. A Leibniz formula. Let M be a differentiable manifold of dimension n and L(M) → M be its frame bundle. Let G be a Lie group and let r : G → GL(n) be a morphism of Lie groups, π : Q → M be a principal G-bundle over M. Moreover, let V be a finite dimensional vector space, ρ : G → GL(V ) be a morphism of Lie groups, and E := Q ×ρ V be the associated vector bundle. Put n ⊗i n∗ ⊗j ⊗p ∗⊗q Wijpq := (R ) ⊗ (R ) ⊗ V ⊗ V , and let R : G → GL(Wijpq ) be the linear representation induced by r and ρ. Let g be the Lie algebra of G and consider the Lie algebra morphism g → gl(Wijpq ). This infinitesimal action defines a G-invariant pairing

g × Wijpq → Wijpq , (3) which induces a paring of associated vector bundles ⊗i 1 ⊗j ⊗p ⊗∗q ⊗i 1 ⊗j ⊗p ⊗∗q ad(Q) × TM ⊗ (ΛM ) ⊗ E ⊗ E → TM ⊗ (ΛM ) ⊗ E ⊗ E (4) The pairings (3), (4) will be denoted by (b, η) 7→ b · η to save on notations. For 1 ⊗j instance, if b ∈ ad(Q) and η ∈{ΛM } ⊗ E then the pairing 1 ⊗j · 1 ⊗j ad(Q) ×M {ΛM } ⊗ E −→{ΛM } ⊗ E (5) is given by the formula j

(b · η)(w1,...,wj ) := b · (η(w1,...,wj )) − η(w1,...,b · wi,...,wj ) . Xi=1 The fact that the pairing (3) is G-invariant, has an important consequence: Remark 2.1. The pairing of associated vector bundles given in (4) is parallel with respect to any connection on Q. We shall also need the pairing 1 ⊗k 1 ⊗j · 1 ⊗(j+k) {ΛM } ⊗ ad(Q) ×M {ΛM } ⊗ E −→{ΛM } ⊗ E (6) given by u ⊗ b) · η := u ⊗ (b · η) . 1 ⊗k 1 ⊗j Explicitly, for β ∈{Λx} ⊗ ad(Qx) and η ∈{Λx} ⊗ Ex, one has

(β · η)(v1,...,vk, w1,...,wj )= β(v1,...,vk) · η (w1,...,wj )= j (7) = β(v1,...,vk) · η(w1,...,wj ) − η(w1,...,β(v1,...,vk) · wi,...,wj ) . Xi=1 1 Note also that, if β = (ω1 ⊗···⊗ ωk) ⊗ b is a tensor monomial with ωi ∈ Λx and b ∈ ad(Qx), then

(ω1 ⊗···⊗ ωk) ⊗ b · η = (ω1 ⊗···⊗ ωk) ⊗ (b · η) . Let B be a connection on the principal G-bundle Q as above and f : Q → L(M) B be an r-morphism of principal bundles over M. Let ∇M denote the linear connection on the tangent bundle TM associated with f∗(B). This connection corresponds to n the linear connection associated with B on the vector bundle Q ×r R ≃ TM . B B Let ∇E , ∇ad denote the linear connections on the vector bundles E = Q ×ρ V , respectively ad(Q)= Q ×ad g which are associated with B. We also need the linear INFINITESIMALHOMOGENEITYANDBUNDLES 7

B ⊗i 1 ⊗j ⊗p ⊗∗q connection ∇ijpq on the vector bundle TM ⊗(ΛM ) ⊗E ⊗E associated with B. This connection can be written as B B ⊗i B ∗⊗j B ⊗p B ∗⊗q ∇ijpq = (∇M ) ⊗ (∇M ) ⊗ (∇E ) ⊗ (∇E ) . Taking into account Remark 2.1 it follows

Remark 2.2. For any x ∈ M and tangent vector ξ ∈ TxM the following Leibniz rule holds: B B B ∇ijpq,ξ (b · η) = (∇ad,ξb) · η + b · ∇ijpq,ξ η .

In particular, for any pairs (b, v) ∈ Γ(ad(Q)) × X(M) one has B B B ∇M,ξ(b · v) = (∇ad,ξb) · v + b · (∇M,ξv) , and for any (b,y) ∈ Γ(ad(Q)) × Γ(E) B B B ∇E,ξ(b · y) = (∇ad b) · y + b · (∇E y) . B ⊗j B The tensor product of connections induces the connection (∇M ) ⊗ ∇E on the 1 ⊗j B ⊗j B vector bundle {ΛM } ⊗ E and the connection (∇M ) ⊗ ∇ad on the vector bundle 1 ⊗j {ΛM } ⊗ ad(Q). The pairing (6) will be used to obtain the following variation B ⊗j B formula for the connection (∇M ) ⊗ ∇E with respect to B: Remark 2.3. Let B ∈ A(Q) and β ∈ A1(M, ad(Q)). Put B′ := B + β. For any 1 ⊗j η ∈ Γ {ΛM } ⊗ E one has B′ ⊗j B′ B ⊗j B (∇M ) ⊗ ∇E η = (∇M ) ⊗ ∇E η + β · η . (8) Explicitly, for any x ∈ M and ξ ∈ TxM B′ ⊗j B′ B ⊗j B (∇M ) ⊗ ∇E ξη = (∇M ) ⊗ ∇E ξη + β(ξ) · η . With the notations introduced above one can prove the following Leibniz formula.

1 ⊗k 1 ⊗j Lemma 2.4. For any β ∈ Γ {ΛM } ⊗ ad(Q) , η ∈ Γ {ΛM } ⊗ E , and any tangent vector ξ ∈ TxM one has B ⊗(k+j) B B ⊗k B B ⊗j B (∇M ) ⊗ ∇E ξ β · η = (∇M ) ⊗ ∇ad ξβ · η + β · (∇M ) ⊗ ∇E ξη . (9) Proof. We give the proof in the case k = 1, which will be used later. We may 1 suppose that β is tensor monomial, so it has the form β = ω ⊗ b, where ω ∈ Γ(ΛM ), and b ∈ Γ(ad(Q)). Using Remark 2.2 we obtain B ⊗(1+j) B B ⊗(1+j) B (∇M ) ⊗ ∇E ξ β · η = (∇M ) ⊗ ∇E ξ (ω ⊗ b) · η B B ⊗j B = (∇M ) ⊗ ((∇M ) ⊗ ∇E ) ξ ω ⊗ (b · η) B B B ⊗j B =∇M,ξ ω ⊗ (b · η)+ ω ⊗ (∇ad,ξb) · η + b · ((∇M ) ⊗ ∇E )ξη B B B ⊗j B = ∇M,ξ ω ⊗ b + ω ⊗ ∇ad,ξb · η + (ω ⊗ b) · ((∇M ) ⊗ ∇E )ξη B B B ⊗j B = ∇M ⊗ ∇ad ξβ · η + β · ((∇M ) ⊗ ∇E )ξη .

2.2. The existence of an adapted connection. Let Q be a principal G-bundle on M, and H be a closed subgroup of G. We will need the following general result which classiﬁes all the reductions of Q to subgroups of G which are conjugate to −1 H. For a class u = gH ∈ G/H, denote by Hu the conjugate Hu := gHg = ιg(H) (which obviously depends only on u = [g]H ). In general, for a section ϕ in an associated bundle with ﬁber F we will denote byϕ ˜ the associated F -valued equivariant map. 8 ARASHBAZDARANDANDREITELEMAN

Lemma 2.5. Let π : Q → M be a principal G-bundle over a manifold M, and let H be a closed subgroup of G.

(1) There is a bijection between the set of pairs (u, P ), where P is a Hu- reduction of Q, and the product (G/H) × Γ(M,Q ×G (G/H)). The Hu- reduction associated with a pair (u, ϕ) is the pre-image ϕ˜−1(u). −1 (2) Let ϕ ∈ Γ(M,Q ×G (G/H)), and y ∈ Q. The pre-image ϕ˜ (˜ϕ(y)) is an Hϕ˜(y)-reduction of Q which contains y. The subgroup Hϕ˜(y) coincides with the stabilizer of ϕ˜(y) with respect to the left G-action on G/H. Proof. Let K ⊂ G be a closed subgroup. By [KN1, Proposition 5.6] we have a bijection between Γ(M,Q ×G (G/K)) × (G/K) and the set of K-reductions of Q given by −1 ϕ 7→ ϕ˜ ([e]K ) . Letting u vary in G/H we obtain a bijection a : S → R between the set of pairs

S := (u, ψ)| u ∈ G/H, ψ ∈ Γ(M,Q ×G (G/Hu))} and the set of pairs

R := (u, P )| u ∈ G/H, P is an Hu-reduction of Q ˜−1 given by a(u, ψ)= ψ ([e]Hu ). Note now that an element u = [g]H ∈ G/H deﬁnes a diﬀeomorphism of left G-spaces

ru : G/Hu → G/H , ru([γ]Hu ) := [γg]H . We obtain a bijection

b : (G/H) × Γ(M,Q ×G (G/H)) → S , b(u, ϕ) := (u, ψu,ϕ) , where ψu,ϕ ∈ Γ(M,Q×G (G/Hu)) is the section deﬁned by the Hu-equivariant map ˜ −1 ψu,ϕ˜ := ru ◦ ϕ˜ .

It is easy to check that ψ˜u,ϕ˜ is Hu-equivariant if and only ifϕ ˜ is H-equivariant. The composition a ◦ b will be a bijection (G/H) × Γ(M,Q ×G (G/H)) → R as claimed.

Let P ⊂ Q be the H-reduction of Q. A connection B ∈ A(Q) will be called compatible with P if the restriction of B to P is tangent to P (and hence defines a connection on P ). Remark 2.6. Let P ⊂ Q be the H-reduction associated with the pair (ϕ, u). Then the direct image map [KN1] defines an affine embedding A(P ) ֒→ A(Q) whose image is the space of connections on Q which are compatible with P , and whose associated linear map is the inclusion A1(ad(P )) ⊂ A1(ad(Q)). Taking into account Remark 2.6, in the presence of a fixed H-reduction P ⊂ Q, we will identify a connection B ∈ A(P ) with its image in A(Q), so any connection B ∈ A(P ) will also be regarded as connection on Q.

Let σ be an inﬁnitesimally homogeneous section with respect to B0 ∈ A(Q). We will deﬁne a closed subgroup Hσ ⊂ G and a Hσ-reduction P σ ⊂ Q such that for any connection B′ on P σ one has B′ ⊗k B′ (k) σ ((∇M ) ⊗ ∇E )σB0 =0 for0 ≤ k ≤ k +1 .

For x ∈ M we will identify the ﬁbre L(M)x of the frame bundle L(M) with the n space of linear isomorphisms R → TxM. Therefore, with the notations introduced at the beginning of this section, a point q ∈ Q deﬁnes a linear isomorphism n f(q): R → TxM. INFINITESIMALHOMOGENEITYANDBUNDLES 9

(k) Using the k-order covariant derivative σB0 of σ we obtain a G-equivariant map k n ϕk : Q → L (R , V ) defined by the formula (k) Rn k σB0 (f(q)(ξ1),...,f(q)(ξk)) = [q, ϕk(q)(ξ1,...,ξk)] ∀(ξ1,...,ξk) ∈ ( ) . k Rn (k) In other words, ϕk is the G-equivariant map Q → L ( , V ) associated with σB0 regarded as a section in the associated bundle 1 ⊗k k Rn (ΛM ) ⊗ E = Q ×G L ( , V ) . σ k +1 k Rn Put W := k=0 L ( , V ) and define a G-equivariant map Φ : Q → W by L Φ(q) := (ϕk(q))0≤k≤kσ +1 . (10) Since the section σ ∈ Γ(E) is infinitesimally homogeneous, it follows that Φ(Q) is a single G-orbit of W . Indeed, let q0 ∈ Q, and put x0 := π(q0). For a point q ∈ Q, let x = π(q) and θ : Qx0 → Qx be a G-equivariant isomorphism such that θk σ(k) = σ(k) for 0 ≤ k ≤ kσ +1 . (11) B0 x0 B0 x (see Definition 1.6). This implies the equality

[θ(q0), ϕk(q0)] = [q, ϕk(q)] k n in Qx ×G L (R , V ). Choosing a ∈ G such that θ(q0)= qa, we obtain σ ϕk(q)= aϕk(q0) for 0 ≤ k ≤ k +1 , which shows that Φ(q) ∈ GΦ(q0). Therefore Φ(Q) ⊂ GΦ(q0). Using the G- equivariance property of Φ we get Φ(Q)= GΦ(q0), as claimed. Put σ σ −1 Hq0 := GΦ(q0 ) , Pq0 :=Φ (Φ(q0)) . σ σ Using Lemma 2.5, it follows that Pq0 is a Hq0 -reduction of Q. Since Φ is obviously σ σ constant on Pq , it follows that the restrictions ϕk P σ are all constant on Pq , so 0 q0 0 σ the corresponding sections will be parallel with respect to any connection on Pq0 . Therefore (k) σ Remark 2.7. The sections σB0 (0 ≤ k ≤ k + 1) are parallel with respect to any σ connection on the bundle Pq0 , so with respect to any connection on Q which is σ σ compatible with Pq0 . In other words, for any B ∈ A(Pq0 ) we have B ⊗k B (k) σ ((∇M ) ⊗ ∇E )(σB0 )=0 for 0 ≤ k ≤ k + 1 (12) σ σ σ Remark 2.8. For any x ∈ M one has hx(k +1) = ad(Pq0 )x. σ σ Proof. By definition hx(k +1) is the infinitesimal stabilizer in ad(Qx) of the system (k) σ ({σB0 }x)0≤k≤k +1, regarded as an element of the fiber Qx ×G W of the associated vector bundle Q ×G W . An element q ∈ Qx identifies ad(Qx) with g, the system (k) σ σ : ({σB0 }x)0≤k≤k +1 with Φ(q) and the fiber Qx ×G W with W . For q ∈ Pq0 = −1 Φ (Φ(q0)), we have Φ(q)=Φ(q0), so σ σ σ σ hx(k +1)= {[q,u]| u ∈ gΦ(q0)} = {[q,u]| u ∈ hq0 } = ad(Pq0 )x.

Remark 2.8 shows in particular that the union σ σ σ h := hx(k + 1) x[∈M is a Lie algebra sub-bundle of ad(Q). 10 ARASHBAZDARANDANDREITELEMAN

Proposition 2.9. Suppose that σ is inﬁnitesimally homogeneous with respect to ′ σ B0. Let B ∈ A(Q) be a connection compatible with Pq0 . Then ′ (1) The sub-bundle hσ ⊂ ad(Q) is ∇B -parallel. ′ ′ ad B B ′ 1 1 σ (2) One has (∇M ⊗ ∇ad )(B − B0) ∈ Γ(ΛM ⊗ ΛM ⊗ h ) . Proof. (1) Let ν : [0, 1] → M be a smooth path in M. By Remarks 2.2 and 2.7, the B′ σ parallel transport with respect to the connection ∇ad maps isomorphically hν(0) σ onto hν(1). ′ 1 σ (2) Put β := B −B0 ∈ A (ad(Q)). Using Remark 2.3 we obtain, for 0 ≤ k ≤ k +1 ′ ′ B ⊗k B (k) B0 ⊗k B0 (k) (k) (k+1) (k) 0 = ((∇M ) ⊗∇E )σB0 = ((∇M ) ⊗∇E )σB0 +β ·σB0 = σB0 +β ·σB0 . (13) σ B′ ⊗k B′ Let x ∈ M, ξ ∈ TxM. Taking 0 ≤ k ≤ k , applying ((∇M ) ⊗ ∇E )ξ on both terms of (13), noting that for these values of k the ﬁrst term on the right will still vanish, and using the Leibniz rule (Lemma 2.4), one obtains B′ B′ (k) σ (∇M ⊗ ∇ad )ξβ · σB0 =0 for0 ≤ k ≤ k . Taking into account formula (7) it follows that, for any v ∈ TxM one has B′ B′ (k) (∇M ⊗ ∇ad )ξβ (v) · σB0 =0 . Therefore for any (ξ, v) ∈ TxM × TxM one has B′ B′ σ σ σ σ (∇M ⊗ ∇ad )β (ξ, v) ∈ hx(kx )= hx(kx + 1) , which shows that ′ ′ B B 1 1 σ σ 1 1 σ (∇M ⊗ ∇ad )β ∈ Γ(ΛM ⊗ ΛM ⊗ h (k +1)) = Γ(ΛM ⊗ ΛM ⊗ h ) .

We recall that a pair (G, H), where G is a Lie group, and H ⊂ G a closed subgroup, is called reductive if h admits an adH -invariant complement in g [SW, Example 4, p. 165]. Note that Remark 2.10. Any pair (G, H) with H compact is reductive. In particular, when G is compact, any pair (G, H) with H ⊂ G a closed subgroup, is reductive.

Let σ be a infinitesimally homogeneous section with respect to B0. The following σ ′ σ result shows that, assuming that (G, Hq0 ) is reductive, any connection B ∈ A(Pq0 ) can be modified, such that the obtained connection B satisfies B B (∇M ⊗ ∇ad )(B − B0)=0, which is a much stronger property than Proposition 2.9 (2). In order to prove this note first that σ Remark 2.11. Suppose that (G, H ) is reductive, and let k be an adHσ -invariant q0 q0 σ complement of hq0 in g. The direct sum decomposition σ g = hq0 ⊕ k , σ σ is adHσ -invariant. Putting k := P ×Hσ k we obtain a vector bundle decomposi- q0 q0 q0 tion σ σ σ ad(Q)= Q ×G g = P ×Hσ g = h ⊕ k , q0 q0 σ which is parallel with respect to any connection on Pq0 (so to any connection on Q σ which is compatible with Pq0 ).

Note that the Lie algebra isomorphism θg : ad(Q)x1 → ad(Q)x2 associated with σ σ a G-isomorphism θ : Qx1 → Qx2 satisfying (2) maps isomorphically kx1 onto kx2 . INFINITESIMALHOMOGENEITYANDBUNDLES 11

Proposition 2.12. Suppose that σ is inﬁnitesimally homogeneous with respect to σ σ B0, and the pair (G, Hq0 ) is reductive. Then there exists a connection B ∈ A(Pq0 ) such that B B (∇M ⊗ ∇ad )(B − B0)=0 . (14) ′ σ Proof. Let B ∈ A(Pq0 ), so that Proposition 2.9 applies. The problem is to ﬁnd 1 σ ′ β ∈ Γ(ΛM ⊗ h ) such that the equation 14 holds for B = B + β. We have the following direct sum decompositions ad(Q)= hσ ⊕ kσ, (15) 1 1 σ 1 σ Λ ⊗ ad(Q)= (ΛM ⊗ h ) ⊕ (ΛM ⊗ k ) . (16) ′ 1 Using the splitting (16) we can decompose B − B0 ∈ ΛM ⊗ ad(Q) in a unique way as follows ′ B − B0 = bh + bk . 1 σ 1 σ where bh ∈ ΛM ⊗ h and bk ∈ ΛM ⊗ k . ′ 1 σ Put B := B − bh = B0 + bk, β := −bh ∈ ΛM ⊗ h . By Remark 2.11 the decomposition (15) is parallel with respect to B. Similarly, the decomposition (16) B B 1 σ B B will be (∇M ⊗ ∇ad )-parallel, so ΛM ⊗ k is a (∇M ⊗ ∇ad )-parallel sub-bundle of 1 1 σ ΛM ⊗ ad(Q). Since bk is a section of ΛM ⊗ k we obtain B B 1 1 σ (∇M ⊗ ∇ad )ξbk ∈ Γ(ΛM ⊗ ΛM ⊗ k ) ∀ξ ∈ TM . On the other hand, using Proposition 2.9, we obtain B B 1 1 σ (∇M ⊗ ∇ad )ξbk ∈ Γ(ΛM ⊗ ΛM ⊗ h ) ∀ξ ∈ TM . B B Therefore (∇M ⊗ ∇ad )ξbk = 0, which proves (14) because bk = B − B0.

Combining Proposition 2.12 with Remark 2.7, we obtain

Theorem 2.13. Suppose that σ is inﬁnitesimally homogeneous with respect to B0. σ Fix q0 ∈ Q, and suppose that the pair (G, Hq0 ) is reductive. There exists a connection B ∈ A(Q) such that: B ⊗k B (k) σ (1) ((∇M ) ⊗ ∇E )(σB0 )=0 for 0 ≤ k ≤ k +1. B B (2) (∇M ⊗ ∇ad )(B − B0)=0. A connection B ∈ A(Q) satisfying the conclusion of Theorem 2.13 will be called an adapted, or Ambrose-Singer type connection for the inﬁnitesimally homogeneous (0) section σ. In particular if, k = 0 then σB0 = σ, and we obtain the following result:

Corollary 2.14. Suppose that σ is inﬁnitesimally homogeneous with respect to B0. σ Fix q0 ∈ Q, and suppose that the pair (G, Hq0 ) is reductive. Then there exists a connection B ∈ A(Q) with the properties: B B B ∇E σ =0 , (∇M ⊗ ∇ad )(B − B0)=0 . It is important to note that if G is compact, then the reductivity condition in Theorem 2.13, Corollary 2.14 will be automatically satisﬁed.

3. Applications In this section we will see that our results provide a general framework to study locally homogeneous objects by investigating the corresponding infinitesimally homogeneous analogues. For each class of locally homogeneous objects one chooses a system of data (M,Q,ρ,f : Q → L(M),B0, σ) of the type considered in the previous section, and considers the corresponding infinitesimally homogeneity condition, which a priori is weaker than local homogeneity. In the presence of an 12 ARASHBAZDARANDANDREITELEMAN infinitesimally homogeneous object our general Theorem 2.13 will yield an adapted connection B, which can be used to prove that any infinitesimally homogeneous object is locally homogeneous, and is even globally homogeneous if certain topological and completeness conditions are satisfied.

3.1. LH Riemannian manifolds, Ambrose-Singer Theorem. In this section we explain briefly how the Ambrose-Singer theorem (Theorem 1.2 ) can be obtained using our Theorem 2.13. As explained above we need first to chose an appropriate system of data (M,Q,ρ,f : Q → L(M),B0, σ). Let Q := O(M) be the orthonormal frame bundle of (M,g) and C0 be be the Levi-Civita connection on it. Let f : Q → L(M) be the inclusion bundle map and σ := Rg be the Riemann curvature tensor of g, regarded as a section of the vector 1 ⊗4 Rn∗ ⊗4 bundle E := (ΛM ) ≃ Q ×ρ ( ) . It is easy to see that Singer’s infinitesimally homogeneous condition for g [Si] is equivalent to our infinitesimally homogeneous g condition for the section R ∈ Γ(E) with respect to C0 (see Definition 1.6). Suppose that the Riemannian curvature tensor Rg is infinitesimally homogeneous with respect to C0. By Corollary 2.14 there exists a connection C ∈ A(O(M)) such that: C g C C ∇E R =0 , (∇M ⊗ ∇ad )(C − C0)=0 . g Let ∇ be the metric connection on M induced by C; then ∇R = 0, ∇(C −C0)=0 and Corollary 3.2 below shows that ∇ is indeed an Ambrose-Singer connection.

Proposition 3.1. Let ∇0 ( resp. ∇) be the linear connections on smooth manifold M associated with C0 ∈ A(L(M)) (resp. C ∈ A(L(M))). Let 1 1 S := ∇ − ∇0 = C − C0 ∈ A (End(TM )) = A (ad(L(M)). Then the following conditions are equivalent: (1) ∇R∇0 = ∇T ∇0 = ∇S =0 , (2) ∇R∇ = ∇T ∇ = ∇S =0.

∇ ∇0 Proof. The diﬀerence T − T is the image of C − C0 under the bundle morohism 1 2 Λ End(TM ) → Lalt(TM ,TM ) given by S 7→ TS, where

TS(X, Y ) := S(X)(Y ) − S(Y )(X) . This morphism is induced by an GL(n)-equivariant isomorphism Rn∗ 2 Rn Rn ⊗ gl(n) → Lalt( , ), so it is parallel with respect to any linear connection on M. Therefore ∇S = 0 ∇0 implies ∇TS = 0, so, under the assumption ∇S = 0, the conditions ∇T = 0, ∇T ∇ = 0 are equivalent.

∇0 ∇ ∇ 1 Since ∇0 = ∇− S, we have R = R − d S + 2 [S ∧ S]. A direct computation shows that the assumption ∇S = 0 implies (1) ∇[S ∧ S] = 0. (2) (d∇S)(X, Y )= S(T ∇(X, Y )) for any vector ﬁelds X, Y ∈ X(M). Therefore, under the assumptions ∇S = 0, ∇T ∇ = 0, the conditions ∇R∇0 =0 and ∇R∇ = 0 are equivalent.

Suppose now that C0 is the Levi-Civita connection of a Riemannian manifold 1 2 (M,g), and let C ∈ A(O(M)). The morphism Λ so(TM ) → Lalt(TM ,TM ) given by S 7→ TS is a bundle isomorphism, which is O(n)-equivariant, hence parallel with respect to any metric connection on M. Therefore, in this case the conditions ∇ ∇T = 0 and ∇(C − C0) = 0 are equivalent, so Proposition 3.1 gives INFINITESIMALHOMOGENEITYANDBUNDLES 13

Corollary 3.2. Let C0 ∈ A(O(M)) be the Levi-Civita connection of (M,g), and Rg be the Riemann curvature tensor. Let ∇ be a linear metric connection on M associated with C ∈ A(O(M)). The following conditions are equivalent. g (1) ∇R = ∇(C − C0)=0 , (2) ∇R∇ = ∇T ∇ =0. Note that the existence of an Ambrose-Singer connection has a fundamental consequence, namely Singer’s theorem which states that any infinitesimally homogeneous (in particular any locally homogeneous) complete and simply connected Riemannian manifold is globally homogeneous [Si]. This result holds in the differentiable framework (does not need the real analyticity). More precisely one can prove the next theorem by applying the [KN1, Corollary 7.9] to an Ambrose-Singer connection. Theorem 3.3. A Riemannian manifold (M,g) is infinitesimally homogeneous if and only if it is locally homogeneous. Any connected, simply connected, complete infinitesimally homogeneous Riemannian manifold is homogeneous. The Ambrose-Singer theorem has been extended to the general framework of locally homogeneous pseudo-Riemannian manifolds. Since the structure group of the frame bundle is not necessary compact, one needs an additional reductivity condition [GO, Lu, CL]. Similar generalizations can also be obtained using Theorem 2.13.

3.2. Kiriˇcenko’s theorem for LH systems (g, P1,...,Pk). Let M be a smooth manifold of dimension n.

Deﬁnition 3.4. A system (g, P1,...,Pk) consisting of a Riemannian metric g and tensor ﬁelds P1, ..., Pk on M is called locally homogeneous if for any two points x1, x2 ∈ M there is a an isometry ϕ : U1 → U2 between open neighborhoods Ui ∋ xi such that ϕ(x1)= x2 and ϕ∗(Pj U1 )= Pj U2 .

A locally homogeneous system (g, P1,...,Pk) defines a pseudogroup of local isometries of (M,g) which acts transitively on M. So, in the terminology used by Kiriˇcenko [Ki], one obtains a “geometric structure” on M which is associated with the metric g and the system (P1,...,Pk). rj ⊗rj 1 ⊗sj Each tensor field Pj is a section in the vector bundle Tsj (M) := TM ⊗(ΛM ) . The following result due to Kiriˇcenko [Ki], extends the Ambrose-Singer theorem to manifolds with a geometric structure defined by a locally homogeneous system (g, P1,...,Pk).

Theorem 3.5. A system (g, P1,...,Pk) consisting of a Riemannian metric g and tensor ﬁelds P1, ..., Pk on M is locally homogeneous if and only if there exists a metric connection ∇ such that ∇ ∇ ∇R = ∇T = ∇P1 = ··· = ∇Pk =0. (17)

If M is simply connected, then any locally homogeneous system (g, P1,...,Pk) with (M,g) complete is globally homogeneous in the following sense: the exists a transitive group of isometries of (M,g) leaving the tensor ﬁelds Pj invariant.

In the presence of locally homogeneous system (g, P1,...,Pk), a metric connection satisfying (17) is called an Ambrose-Singer-Kiriˇcenko connection for the system (g, P1,...,Pk) (or for the geometric structure deﬁned by this system) [Lu].

Let Q := O(M) be the orthonormal frame bundle of (M,g), C0 be its Levi-Civita connection, and f : Q → L(M) be the obvious inclusion bundle map. The system g (R , P1, ··· , Pk) deﬁnes a section σ of the vector bundle

1 ⊗4 r1 r2 rk E := (ΛM ) ⊕ Ts1 (M) ⊕ Ts2 (M) ⊕···⊕Tsk (M) . 14 ARASHBAZDARANDANDREITELEMAN

Since the system (g, P1,...,Pk) is locally homogeneous, the section σ ∈ Γ(E) is infinitesimally homogeneous with respect to C0 (see Definition 1.6). Using Corollary 2.14 there exists a connection C ∈ A(O(M)) such that: C C C ∇E σ =0,(∇M ⊗ ∇ad )(C − C0)=0 . Let ∇ be the metric connection on M induced by C. Then, one obtains g ∇R =0, ∇(C − C0)=0, ∇P1 = ∇P2 = ··· = ∇Pk =0. By Corollary 3.2 we see that ∇ is indeed an Ambrose-Singer-Kiriˇcenko connection. The converse implication is proved by applying the [KN1, Corollary 7.5] (and its proof method) to a connection satisfying (17). More precisely, for two points x1, x2 ∈ M we choose a smooth path γ : [0, 1] → M with γ(0) = x1, γ(1) = x2. The parallel transport with respect to ∇ defines an isometric isomorphism F : Tx1 M → ∇ ∇ ∇ ∇ Tx2 M mapping Rx1 , Tx1 , Pjx1 to Rx2 , Tx2 , Pjx2 respectively. As in [KN1, Corollary 7.5] F gives a local ∇-affine isomorphism ϕ, which will be isometric and leave the tensor fields Pj invariant. In the complete, simply connected case the ∇-affine isomorphisms ϕ obtained in this way extend to global isometries of (M,g).

Note that a generalization of Theorem 3.5 to pseudo-Riemannian manifolds can be found in [GO], [Lu]. Example 3.1. The case of locally homogeneous almost Hermitian manifolds is considered in [Se]. An almost Hermitian manifold (M,g,J) is locally homogeneous if, for every two points x1, x2 ∈ M there is a Hermitian isometry ϕ : U1 → U2 between open neighborhoods Ui ∋ xi sending x1 to x2. By a Hermitian isometry we mean a diffeomorphism which is compatible with both the almost complex structure and the Hermitian metric. A characterization theorem similar to Theorem 1.2 was proved by Sekigawa [Se] for almost Hermitian manifolds. The following local version can be obtained using Kiriˇcenko’s theorem by choosing k = 1 and P1 = J. Theorem 3.6. [Se], [CN, Theorem 1] An almost Hermitian manifold (M,g,J) is locally homogeneous if and only if there exists a metric connection ∇ such that ∇R∇ = ∇T ∇ = ∇J =0. If M is simply connected, then any complete locally homogeneous almost Hermitian structure on M is (globally) homogeneous. 3.3. Opozda’s theorem on locally homogeneous G-structures. In [O2, O3] affine connections and their affine transformations has been investigated by Opozda and in [O1] the notion of infinitesimal homogeneity is extended to arbitrary connections on G-structures. In this section we show that Opozda’s theorem can be proved using Theorem 2.13. Our Lemma 3.12 will allow us to show that the analyticity condition required in Opozda’s statement is not necessary. Let M be an n-dimensional manifold, and G be a Lie subgroup of the linear group GL(n, R). We recall that a G-structure on M, is a sub-bundle P ⊂ L(M) where P is a principal G-bundle, and the inclusion map is G-equivariant.

Definition 3.7. Let P ⊂ L(M) be a G-structure on M. A connection C0 on P is called locally homogeneous, if for any two points x1, x2 ∈ M there exists a f diffeomorphism x1 ∈ U1 −→ U2 ∋ x2 between open neighborhoods of xi, such that df(PU1 ) ⊂ PU2 , and f is a ∇0-affine isomorphism, where ∇0 is the linear connection associated with C0. INFINITESIMALHOMOGENEITYANDBUNDLES 15

Opozda also introduces a natural infinitesimal homogeneity condition for connections on the principal bundle of a G-structure (see [O1, Definitions 1.3, 1.5]). Using our formalism (see Definition 1.6), this condition is equivalent to

Definition 3.8. Let P ⊂ L(M) be a G-structure on M. A connection C0 on P is called infinitesimally homogeneous, if the pair (T ∇0 , R∇0 ), regarded as a section in the associated vector bundle 2 Rn Rn 2 Rn Rn E := P ×G (Lalt( , ) ⊕ Lalt( , End( )), is infinitesimally homogeneous with respect to C0.

∇0 ∇0 Suppose that C0 is inﬁnitesimally homogeneous, i.e. the section σ0 = (T , R ) is inﬁnitesimally homogeneous with respect to C0. By Theorem 2.13 we obtain a connection C ∈ A(P ) such that for 0 ≤ k ≤ kσ0 + 1: C ⊗k C (k) C C ((∇M ) ⊗ ∇E )(σC0 )=0,(∇M ⊗ ∇ad )(C − C0)=0 . (18) Let ∇ denote the linear connection on M induced by C. Taking k = 0, one obtains

∇0 ∇0 ∇T =0 , ∇R =0 , ∇(C − C0)=0.

Proposition 3.1 with S := ∇ − ∇0 gives ∇R∇ = ∇T ∇ = ∇S =0. Lemma 3.12 proved below shows that the atlas consisting of ∇-normal coordinate systems is analytic, and with respect to the corresponding analytic structure, the connection ∇0 = ∇− S is analytic. The equation (18) implies that for 0 ≤ k ≤ kσ0 + 1: (k) ∇0 (k) ∇0 ∇(∇0 T )=0 , ∇(∇0 R )=0. Using [O1, Lemma 2.1] the above equations are verified for all k ≥ 0. Fot two points x1, x2 ∈ M we choose a smooth path γ : [0, 1] → M with γ(0) = x1, γ(1) = x2. The parallel transport with respect to ∇ defines a linear iso- (k) ∇0 (k) ∇0 (k) ∇0 morphism F : Tx1 M → Tx2 M mapping (∇0 T )x1 , (∇0 R )x1 to (∇0 T )x2 , (k) ∇0 (∇0 R )x2 respectively. Using [KN1, Theorem 7.2] F defines a local ∇0-affine isomorphism ϕ sending x1 to x2. Therefore, we obtain Opozda’s theorem ([O1, Theorem 2.2 ]):

Theorem 3.9. Let P ⊂ L(M) be a G-structure on a manifold M and C0 be an inﬁnitesimally P -homogeneous connection on P . Fix q0 ∈ P , and suppose that the σ0 pair (G, Hq0 ) is reductive. Then ∇0 is locally homogeneous. Lemma 3.10. Let M be an analytic n-manifold, G be a Lie group, p : P → M be an analytic principal G-bundle on M, and A ∈ A(P ) be an analytic connection on P . Let ρ : G → GL(F ) be a representation of G on an r-dimensional vector space ρ F , E := P ×ρ F be the associated vector bundle, and ∇A be the linear connection on E associated with A. Then 0 ρ (1) Let σ ∈ A (M, E) such that ∇Aσ is an analytic E-valued 1-form. Then σ is analytic. (2) Let ∇ be an analytic connection on M, and α ∈ A1(M, ad(P )) such that A 0 1 1 the derivative (∇ ⊗ ∇ad)(α) vanishes in A (ΛM ⊗ ΛM ⊗ ad(P )). Then α is analytic, so B := A + α is an analytic connection on P . Proof. (1) The problem is local, so it suﬃcient to prove that α is analytic around any point x ∈ M. With respect to • an analytic chart h : U → V ⊂ Rn, • an analytic trivialization τ : PU → U × G of P , • a basis b of F , 16 ARASHBAZDARANDANDREITELEMAN

ρ the restriction of the operator ∇A to a sufficiently small open neighborhood U of x can be identified with a differential operator of the form 0 r 1 r d + ah,τ,b : A (V, R ) → A (V, R ) , 1 0 r r where ah,τ,b ∈ A (V, gl(r)) is analytic. Let σh,τ,b ∈ A (V, R ) be the R -valued map associated with σ. The hypothesis implies that (d + ah,τ,b)σh,τ,B is analytic, hence ∗ d (d + ah,τ,b)σh,τ,b ∗ is also analytic. But d (d + ah,τ,b) is an elliptic operator with analytic coefficients, so, by analytic elliptic regularity [Be, Theorem 40, p. 467], it follows that σh,τ,b is analytic. Therefore σ U is analytic.

(2) Let C ∈ A(L(M)) be the connection on the frame bundle L(M) which corresponds to ∇. The statement follows by applying (1) to the connection deﬁned by the pair (C, A) on the product bundle L(M) ×M P and the representation n t −1 GL(R) × G → GL(R ⊗ g) given by (u,l) 7→ (u ) ⊗ adl.

Lemma 3.11. Let M be an analytic manifold, and ∇ be an analytic connection 1 on M. Let S ∈ A (End(TM )) be such that ∇S is analytic. Then S is analytic, so the connection ∇ + S is also analytic. Lemma 3.12. Let M be a diﬀerentiable manifold, let ∇ be a linear connection on ∇ ∇ 1 M such that ∇T =0, ∇R =0, and let S ∈ A (End(TM )) be such that ∇S =0. The atlas consisting of ∇-normal coordinate systems is analytic, and with respect to the corresponding analytic structure, the connections ∇ and ∇ + S are analytic. Proof. By [KN1, Theorem 7.7] the atlas consisting of ∇-normal coordinate systems is analytic and with respect to the corresponding analytic structure the connection ∇ is analytic. By Lemma 3.11 the connection ∇ + S is analytic.

3.4. Locally homogeneous spinors. We have seen that the case of LH almost Hermitian structures can be obtained as a special case of Kiriˇcenko’s formalism dedicated to LH tensors. We give now an example which cannot be obtained as a special case of this formalism. In this example we have to consider a section in a vector bundle which is not associated with the frame bundle of the base manifold. Let r : Spin(n) → SO(n) be the canonical epimorphism, and (M,g) be an oriented Riemannian n-manifold. A Spin structure of (M,g) is a bundle morphism Λ : Q → SO(M) of type r, where Q is a Spin(n)-bundle. The short exact sequence 1 → {±1} → Spin(n) → SO(n) → 1 shows M is a Spin manfold (i.e. it admits a Spin structure) if and only if its Stiefel- Whitney class w2(M) vanishes, and, if non-empty, the set of isomorphism classes 1 of Spin structures on M is an H (M, Z2)-torsor. In particular a simply connected Spin manifold admits an (up to isomorphism) unique Spin structure. Let κ : Spin(n) → GL(∆n) be the spin representation and S := Q ×κ ∆n be the associated spinor bundle, where ∆n is the vector space of Dirac spinors defined by 2 2 ∆n = C ⊗···⊗ C for n =2k, 2k +1. k times Recall that, if n is even,| then{z S comes} with a Levi-Civita parallel orthogonal decomposition S = S+⊕S−(see [Fr, Section 2.5]). Since the Lie group morphism r is a local isomorphism it follows that a Spin structure Λ induces a bijection A(Q) → A(SO(M)) between the spaces of connections on the two bundles. Denoting by C˜0 ∈ A(Q) the lift of the Levi-Civita connection C0 to Q, we see that, if (M,g) is INFINITESIMALHOMOGENEITYANDBUNDLES 17 locally homogeneous, then (g, Q, C˜0) is a locally homogeneous triple in the sense of Definition 1.3. Indeed, if ϕ : U1 → U2 is an isometry between simply connected sets U1, U2 ⊂ M, then, by Lemma 3.17 below, the bundle mapϕ ˜∗ : SO(U1) → SO(U2) induced by the tangent map of ϕ lifts to a bundle map Ψ : QU1 → QU2 . Since ϕ˜∗ leaves the Levi-Civita connection C0 invariant, it follows that Ψ leaves the connection C˜0 invariant. Definition 3.13. Let (M,g) be a LH Riemannian manifold. A spinor s ∈ Γ(M,S) will be called LH if for any pair (x1, x2) ∈ M × M there exists an isometry ϕ U1 −→ U2 between open neighborhoods Ui ∋ xi, and a ϕ˜∗-covering bundle isomor- Ψ phism QU1 −→ QU2 such that Ψ∗(s U1 )= s U2 . We also have a natural infinitesimal homogeneity condition: this is just the infinitesimal homogeneity condition for s regarded as a section of S with respect to the lift C˜0 of the Levi-Civita connection C0 to Q. This condition is apparently weaker than the LH condition. Remark 3.14. Let (M,g) be a spin LH Riemannian manifold, and s a LH spinor, then the section (Rg,s) is infinitesimally homogeneous with respect to connection C˜0 ∈ A(Q).

Proof. Let ϕ : U1 → U2 ,Ψ: QU1 → QU2 as in Definition 3.13. Since Ψ liftsϕ ˜∗, the induced vector bundle map TU1 → TU2 is precisely the tangent map ϕ∗. Taking also into account that Ψ leaves the connection C˜0 invariant (becauseϕ ˜∗ leaves C0 g (i) g (i) invariant) and maps s|U1 onto s|U2 , it follows that it maps (R ) |U1 onto (R ) |U2 C˜0 C˜0 (i) (i) and s |U1 onto s |U2 for any i. C˜0 C˜0 A metric connection ∇ on M defines a connection on SO(M), so, via the identification A(SO(M)) = A(Q), it defines a Hermitian connection (which will be denoted by the same symbol ∇) on the spinor bundle S. Theorem 3.15. Let s ∈ Γ(M,S) be a locally homogeneous spinor. There exists an Ambrose - Singer connection ∇ on (M,g) which leaves s invariant.

1 ⊗4 Proof. Put G := Spin(n). Consider the associated vector bundle E := (ΛM ) ⊕ S, n∗ ⊗4 associated with the representation ρ : G → GL((R ) ⊕ ∆n) induced by (r, κ). Let Rg be the Riemann curvature tensor and s ∈ Γ(M,S) be a spinor. The pair (Rg,s) defines a section σ of vector bundle E, which is obviously infinitesimally homogeneous with respect to C˜0. Corollary 2.14 gives a connection C˜ ∈ A(Q) such that C˜ C˜ C˜ ˜ ˜ ∇E σ =0 , (∇M ⊗ ∇ad)(C − C0)=0 . Using the identification A(SO(M)) = A(Q), we denote by the same symbol ∇ the connections on the vector bundles TM , S induced by C˜. The above equations are equivalent to g ∇R =0, ∇(C˜ − C˜0)=0, ∇s =0 . By Corollary 3.2, we see that ∇ is an Ambrose-Singer connection which leaves the spinor s invariant.

Corollary 3.16. Let (M,g) be a simply connected, complete LH Riemannian manifold, and s ∈ Γ(M,S) is a locally homogeneous spinor. There exists a Lie group G and an action β : G×Q → Q by bundle isomorphisms with the following properties: (1) β lifts a transitive action by isometries α : G × M → M. (2) β leaves s invariant. 18 ARASHBAZDARANDANDREITELEMAN

Proof. Using Theorem 3.15, let ∇ be an Ambrose-Singer connection on (M,g) which leaves s invariant. Let Γ be the Lie group of isometric ∇-aﬃne transformations of M. The proof of the classical Ambrose-Singer theorem shows that Γ acts transitively on M. By Lemma 3.17 below, the group of lifts

ΓQ := {Ψ: Q → Q bundle isomorphisms| ∃ϕ ∈ Γ such that Ψ liftsϕ ˜∗} is a trivial extension of Γ by {±1}. The group

G := {Ψ ∈ ΓQ| Ψ(s)= s} is a closed subgroup of ΓQ, so it has a natural Lie group structure. We will prove that G acts transitively on M via the natural morphism G → Γ. Let(u, v) ∈ M×M. The existence of an element ϕ ∈ Γ such that ϕ(u) = v is proved as follows (see [KN1, Corollary 7.5 p 262]): choose a smooth path γ : [0, 1] → M such that γ(0) = u, γ(1) = v. Parallel transport along γ with respect to ∇ gives a linear ∇ ∇ ∇ ∇ isometry f : TuM → TvM mapping Tu onto Tv and Ru onto Rv . Since g is complete and ∇ is compatible with g, it follows that ∇ is complete (see [TV, Proposition 1.5]) so, by [KN1, Corollary 7.9 p 265] there exists a unique ∇-affine transformation ϕ : M → M whose tangent map at u is f. Since ϕ∗u = f is an isometry, and ϕ is affine with respect to the metric connection ∇, it follows that ϕ is an isometry. Let C be the connection on SO(M) associated with ∇, and C˜ be its lift to the Spin(n)-bundle Q. Note that any lift Ψ ofϕ ˜∗ leaves the connection C˜ invariant. Indeed,ϕ ˜∗ leaves C invariant (because ϕ is ∇-affine), so C˜ and Ψ∗(C˜) induce the same connection C on SO(M), so they coincide. We claim that there exists a lift Ψ ofϕ ˜∗ which leaves the spinor s invariant. Par- allel transport along the same curve γ with respect to C˜ gives a Spin(n)-equivariant θ diffeomorphism Qu −→ Qv which liftsϕ ˜∗u and (since ∇ leaves s invariant) maps su onto sv. Let Ψ be the unique lift ofϕ ˜ such that Ψu = θ (see the proof of Lemma 3.17). The spinors s and Ψ(s) are both C˜-parallel and coincide at v, so they coincide. By construction we have Ψ ∈ G. Since Ψ lifts ϕ, it maps u onto v, which completes the proof.

Lemma 3.17. Let M1, M2 be a connected diﬀerentiable manifolds, Pi be an SO(n)- bundle on Mi, and Λi : Qi → Pi be a bundle morphism of type r. Let ϕ : M1 → M2 be a diﬀeomorphism, and Φ: P1 → P2 be a ϕ-covering bundle isomorphism. If 1 H (M1, Z2)=0, then the set of Φ-covering bundle isomorphims Q1 → Q2 has two elements.

Proof. For a point x ∈ M1 the set Ix of Φx-lifting Spin(n)-equivariant diﬀeomor- phisms Q1,x → Q2,ϕ(x) is a {±1}-torsor, and the union ∪x∈M Ix has a manifold structure such that the obvious projection I → M1 is a double cover. Since 1 H (M1, Z2) = 0, this double cover is trivial, and its sections give two global bundle isomorphisms Q1 → Q2 lifting Φ.

4. Locally homogeneous triples 4.1. Infinitesimally homogeneous triples. Let (M,g) be a connected, compact, locally homogeneous Riemannian manifold, K be a connected, compact Lie group, and p : P → M be a principal K-bundle on M. Let A be a connection on P and fix an ad-invariant inner product on the Lie algebra k of K; these data define a K-invariant Riemannian metric gA on P which makes p a Riemannian submersion. Such metrics on principal bundles are called connection metrics and have been studied in the literature [FZ, Je, WZ]. INFINITESIMALHOMOGENEITYANDBUNDLES 19

p The connection metric gA associated with any LH triple (g, P −→ M, A) is locally homogeneous, hence it defines a geometric structure in the sense of Thurston [Th] on the total space P . Therefore the classification of LH triples on a given connected, compact LH Riemannian manifold (M,g) is related to the classification of compact geometric manifolds which are principal bundles over a geometric base. We refer to [Ba2] and [BT] for classes of examples of geometric manifolds which can be obtained in this way (using a LH triple). In [BT] we proved explicit classifications theorems for LH triples on Riemann surfaces. Let (M,g)bean n-dimensional Riemannian manifold, K be a compact Lie group, P be a principal K-bundle on M, and A0 be a connection on P . Put n∗ ⊗4 n∗ ⊗2 G := O(n) × K,Q := O(M) ×M P , V := (R ) ⊕ (R ) ⊗ k . Note that G comes with obvious representations r : G → GL( n), ρ : G → GL(V ), and Q comes with an obvious bundle morphism f : Q → L(M) of type r given by the projection O(M) ×M P → O(M) ⊂ L(M). g 1 ⊗4 The Riemann curvature tensor R of g will be regarded as a section of (ΛM ) , A0 and the curvature F of connection A0 will be regarded as a section of the vector 2 1 ⊗2 g A0 bundle ΛM ⊗ ad(P ) ⊂ (ΛM ) ⊗ ad(P ). The pair σ := (R , F ) is a section of the associated vector bundle E := Q ×G V . Let C0 denote the Levi-Civita connection on O(M) and let B0 be the connection on Q defined by the pair of connections

B0 := (C0, A0) ∈ A(O(M)) × A(P )= A(Q). p Definition 4.1. The triple (g, P −→ M, A0) will be called infinitesimally homogeneous if the section σ := (Rg, F A0 ) ∈ Γ(E) is infinitesimally homogeneous with respect to B0 in the sense of Definition 1.6. This condition can be reformulated explicitly as follows: Let ∇g denotes the Levi-Civita connection of g on M and, let ∇A0 denote the associted connection on adjoint bundle ad(P ). We denote by ∇g ⊗ ∇A0 the tensor 2 product connection on ΛM ⊗ ad(P ). More generally, we obtain a tensor product connection (∇g ⊗ ∇A0 )i = (∇g)⊗(i−1) ⊗ (∇g ⊗ ∇A0 ) on the vector bundle 1 ⊗(i−1) 2 (ΛM ) ⊗ ΛM ⊗ ad(P ). For x ∈ M, the Lie algebra of skew-symmetric endomorphism of the Euclidian space (TxM,gx) will be denoted by so(TxM). For any k ∈ N and x ∈ M we define g,A0 hx (k) to be the set of all pairs (u, v) ∈ so(TxM) ⊕ ad(Px) such that

g i g g A0 i A0 u · ((∇ ) R )x =0 , (u, v) · ((∇ ⊗ ∇ ) F )x =0 for 0 ≤ i ≤ k .

g,A0 N Note that hx (k) is a Lie subalgebra of so(TxM)⊕ad(Px), and that for any k ∈ g,A0 g,A0 hx (k + 1) ⊂ hx (k) . Put g,A0 N g,A0 g,A0 kx := min{k ∈ | hx (k +1)= hx (k)} . Using these definitions and notations we see that p Remark 4.2. The triple (g, P −→ M, A0) is infinitesimally homogeneous if and only if for any (x1, x2) ∈ M × M, there exists a pair (f, φ) where f : Tx1 M → Tx2 M is a linear isometry, and φ : Px1 → Px2 is a K-equivariant isomorphism, such that for g,A0 any 0 ≤ k ≤ kx1 + 1 one has: (1) f (∇g)kRg = (∇g)kRg . x1 x2 (2) (f, φ) (∇g ⊗ ∇A0 )kF A0 = (∇g ⊗ ∇A0 )kF A0 . x1 x2 The second condition can be formulated explicitly as follows: (∇g ⊗ ∇A0 )kF A0 1 ⊗k 2 is a section of the vector bundle (ΛM ) ⊗ΛM ⊗ad(P ). The fiber ad(P )x at x ∈ M 20 ARASHBAZDARANDANDREITELEMAN for the adjoint bundle ad(P ) is given by ad(P )x = (Px × k)/K, so a K-equivariant isomorphism φ : Px1 → Px2 induces a linear isomorphism

ad(φ) : ad(P )x1 → ad(P )x2 , [y, α] 7→ [φ(y), α]. The second condition in Remark 4.2 can be written as

g A0 k A0 (∇ ⊗ ∇ ) F f(v1),...,f(vk),f(w1),f(w2) = x2 (19) g A0 k A0 = ad(φ) {(∇ ⊗ ∇ ) F }x1 (v1,...,vk, w1, w2) for any tangent vectors vi ∈ Tx1 M, w1, w2 ∈ Tx1 M .

The isomorphism pair (f, φ) deﬁnes a Lie algebra isomorphism

so(Tx1 M) ⊕ ad(Px1 ) → so(Tx2 M) ⊕ ad(Px2 ) ,

g,A0 g,A0 g,A0 which isomorphically maps hx1 (k) onto hx2 (k) for 0 ≤ k ≤ kx1 + 1. This implies p Remark 4.3. Let (g, P −→ M, A0) be an inﬁnitesimally homogeneous triples. Then g,A0 g,A0 kx is independent of x. We will denote by k the obtained constant. Applying Theorem 2.13 to our situation we obtain: p Theorem 4.4. Suppose (g, P −→ M, A0) is an inﬁnitesimally homogeneous triple on (M,g). Then, there exists a pair (∇, A) consisting of a metric connection on M and A ∈ A(P ) with the following properties: ∇ ∇ A A A ∇R =0, ∇T =0, (∇ ⊗ ∇ )F =0, (∇ ⊗ ∇ )(A − A0)=0 .

Proof. Let Q := O(M) ×M P and E := Q ×G V be as above. Let σ ∈ Γ(E) be the section deﬁned by the pair (Rg, F A0 ). By Corollary 2.14 there exists a connection B = (C, A) ∈ A(O(M)) × A(P )= A(Q) such that: B B B ∇E σ =0 , (∇M ⊗ ∇ad )(B − B0)=0 . Let ∇ denote the induced metric connection on M by C and ∇A denote the induced B connection on the adjoint bundle ad(P ) by A. From ∇E σ = 0 we obtain ∇Rg =0, (∇ ⊗ ∇A)F A0 =0 . (20)

The diﬀerence B − B0 can be identiﬁed with the pair (C − C0, A − A0). Hence, B B equation (∇M ⊗ ∇ad )(B − B0) = 0 is equivalent to A ∇(C − C0)=0 , (∇ ⊗ ∇ )(A − A0)=0 , (21) g ∇ The conditions ∇R = 0 , ∇(C − C0) = 0 and Corollary 3.2 imply ∇R = 0 , ∇ ∇ A A A0 ∇T = 0. The conditions ∇T =0,(∇ ⊗ ∇ )(A − A0)=0, (∇ ⊗ ∇ )F = 0 and Lemma 4.5 below give (∇ ⊗ ∇A)F A = 0.

∇ A Lemma 4.5. Retain the notation used above. If ∇T =0, (∇⊗∇ )(A−A0)=0, then (∇ ⊗ ∇A)F A0 =0 if and only if (∇ ⊗ ∇A)F A =0.

1 Proof. Put α := A − A0 ∈ A (M, ad(P )). One has the following variation formula for the curvature 2-form 1 F A0 = F A−α = F A − dAα + [α ∧ α] . (22) 2 Let X, Y , Z ∈ X(M) be arbitrary vector ﬁelds on M. In one hand, A A A (d α)(X, Y )= ∇X (α(Y )) − ∇Y (α(X)) − α([X, Y ]) . (23) On the other hand, since α ∈ A1(M, ad(P )) is (∇ ⊗ ∇A)-parallel, one has A A 0 = ((∇ ⊗ ∇ )α)(X, Y )= ∇X (α(Y )) − α(∇X Y ) . (24) INFINITESIMALHOMOGENEITYANDBUNDLES 21

Using (23) and (24), one obtains A ∇ (d α)(X, Y )= α(∇X Y ) − α(∇Y X) − α([X, Y ]) = α(T (X, Y )) . (25) A ∇ ∇ and from (24) one gets ∇X (α(T (Y,Z))) = α(∇X T (Y,Z)) . Using (24) and (25) one obtains A A A A A A ((∇ ⊗ ∇ )d α)(X,Y,Z)= ∇X ((d α)(Y,Z)) − (d α)(∇X Y,Z) − (d α)(Y, ∇X Z) A ∇ ∇ ∇ = ∇X (α(T (Y,Z))) − α(T (∇X Y,Z)) − α(T (Y, ∇X Z)) ∇ ∇ ∇ = α(∇X T (Y,Z)) − α(T (∇X Y,Z)) − α(T (Y, ∇X Z)) ∇ = α((∇X T )(Y,Z))=0. 1 Put η = 2 [α ∧ α]. For arbitrary vector ﬁelds Y,Z ∈ X(M) 2η(Y,Z) = [α ∧ α](Y,Z) = [α(Y ), α(Z)] − [α(Z), α(Y )] = 2[α(Y ), α(Z)] . (26) Therefore, A A A A ∇X (η(Y,Z)) = ∇X ([α(Y ), α(Z)]) = [∇X (α(Y )), α(Z)] + [α(Y ), ∇X (α(Z))] . (27) Using (24) and (27) we obtain A A ((∇⊗∇ )X η)(Y,Z)= ∇X (η(Y,Z)) − η(∇X Y,Z) − η(Y, ∇X Z) A A =[∇X (α(Y )), α(Z)] + [α(Y ), ∇X (α(Z))] − [α(∇X Y ), α(Z)] − [α(Y ), α(∇X Z)] A A =[((∇ ⊗ ∇ )X α)(Y ), α(Z)] + [α(Y ), ((∇ ⊗ ∇ )X α)(Z)]=0 . So, we proved that the ad-valued 2-forms dAα and [α ∧ α] are (∇ ⊗ ∇A)-parallel. Using (22), we conclude: (∇ ⊗ ∇A)F A0 = 0 if and only if (∇ ⊗ ∇A)F A = 0.

Using Ambrose-Singer’s theorem (see Theorem 1.2) we obtain: p Remark 4.6. Let (g, P −→ M, A0) be an infinitesimally homogeneous triple over (M,g). Then, the Riemannian metric g is locally homogeneous. A pair (∇, A) of a metric connection on M and A ∈ A(P ) defines in a canonical way a linear connection ∇¯ on the tangent bundle TP . This construction will play a major role in what follows, so we explain this construction in detail: Recall that, in general, a connection A on the principal K-bundle p : P → M can be identified with the corresponding horizontal distribution. Using the bundle ∗ isomorphism J : p TM → A (defined by the inverse of p∗ A), we obtain a linear h,A ∗ connection ∇ := J(p ∇) on the horizontal subbundle A ⊂ TP . On the other hand we can define a linear connection ∇v,A on the vertical bundle # VP via the canonical bundle isomorphism VP ≃ P × k. More precisely, if a , b# denote the fundamental fields corresponding to a,b ∈ k and if X˜ denotes the A-horizontal lift of X ∈ X(M), then we define ∇v,Ab# = [a,b]#, ∇v,Aa# =0 . a# X˜ h,A Using the direct sum decomposition TP = A ⊕ VP , the linear connection ∇ on the horizontal subbundle A, and the linear connection ∇v,A on the vertical subbundle VP , we obtain a linear connection on P defined by ∇¯ := ∇h,A ⊕ ∇v,A. The straightforward calculations show that [Ba2, Proposition 2.6], the connection ∇¯ has the following properties:

Proposition 4.7. Let ∇¯ be the linear connection on the tangent bundle TP defined as above. Let X˜, Y˜ be the A-horizontal lift of vector fields X, Y ∈ X(M) and Z be a vertical vector field on P . Then ¯ ˜ ∼ ¯ ˜ (1) ∇X˜ Y = (∇X Y ) , ∇X˜ Z = [X,Z]. 22 ARASHBAZDARANDANDREITELEMAN

¯ # # ¯ # (2) ∇a# b = [a,b] , ∇a# Z = [a ,Z]. ¯ # ¯ ˜ # ˜ (3) ∇X˜ a = ∇a# X = [a , X]=0.

The canonical bundle isomorphism ξ : P × k → VP can be used to identify the space of smooth maps C∞(P, k) with the Lie algebra of vertical vector fields on P . ∞ This identification is given by f 7→ ξ(f), where, for f ∈C (P, k), ξ(f): P → VP is the vertical vector field given by d ξ(f) := f(y)# = y exp tf(y) . y y dt t=0 The following proposition can be proved easily [Ba2, Lemma 2.7, Prop. 2.8.]. Proposition 4.8. Let p : P → M be a principal K-bundle and A ∈ A(P ). Let ν ∈ A0(ad(P )) and a# denote the fundamental vector field corresponding to a ∈ k. Let X˜ be the A-horizontal lift of vector field X ∈ X(M). Then, one has ¯ # ¯ ˜ A ∇a# ξ(ν) = [a , ξ(ν)]=0 , ∇X˜ ξ(ν) = [X, ξ(ν)] = ξ(∇X ν). Theorem 4.9. Let (∇, A) be a pair consisting of a metric connection on M and a connection A ∈ A(P ). Suppose ∇R∇ =0, ∇T ∇ =0, (∇ ⊗ ∇A)F A =0. Then, the associated connection ∇¯ := ∇h,A ⊕ ∇v,A satisfies the following conditions: ¯ ¯ ∇¯ R∇ =0 , ∇¯ T ∇ =0. Proof. Denote the torsion tensor and the curvature tensor of connection ∇¯ by T¯, R¯ to save on notation. Let a#, b# be the fundamental vector fields corresponding to a,b ∈ k, and let X˜, Y˜ denote the A-horizontal lifts of vector fields X, Y on M. The properties of ∇¯ in Proposition 4.7 imply T¯(X,a˜ #)=0 , T¯(a#,b#) = [a#,b#] . (28) Using the equation ξ(F A(X, Y )) = [X, Y ]∼ − [X,˜ Y˜ ] for the vertical component of the Lie bracket of two horizontal lifts [GH, P. 257], one obtains T¯(X,˜ Y˜ )= T ∇(X, Y )∼ + ξ(F A(X, Y )). (29) To prove ∇¯ T¯ = 0, it suffices to show that (∇¯ T¯)(U,V,W ) = 0 for vector fields U, V , W ∈ X(P ) in the special cases when each one of these three vector fields is either a horizontal lift, or a fundamental vector field. One has

(∇¯ U T¯)(V, W )= ∇¯ U T¯(V, W ) − T¯(∇¯ U V, W ) − T¯(V, ∇¯ U W ) . (30) If U = X˜, V = Y˜ , W = Z˜ then ¯ ¯ ¯ ∇ ∼ A ∇U T (V, W )= ∇X˜ (T (Y,Z) )+ ξ(F (Y,Z)) (31) ∇ ∼ A A = ∇X T (Y,Z) + ξ(∇X F (Y,Z)). In the same way one obtains ∇ ∼ A T¯(∇¯ U V, W ) = (T (∇X Y,Z)) + ξ(F (∇X Y,Z)) , (32) ∇ ∼ A T¯(V, ∇¯ U W ) = (T (Y, ∇X Z)) + ξ(F (Y, ∇X Z)) . (33) Using the equations (30), (31), (32), (33) and Proposition 4.8 :

(∇¯ U T¯)(V, W )= ∇¯ U T¯(V, W ) − T¯(∇¯ U V, W ) − T¯(V, ∇¯ U W ) ∇ ∼ ∇ ∼ ∇ ∼ = (∇X T (Y,Z)) − (T (∇X Y,Z)) − (T (Y, ∇X Z)) A A A A + ξ(∇X F (Y,Z)) − ξ(F (∇X Y,Z)) − ξ(F (Y, ∇X Z)) ∼ = (∇T ∇)(X,Y,Z) + ξ (∇ ⊗ ∇A)F A)(X,Y,Z) . As ∇T ∇ = 0 and (∇ ⊗ ∇A)F A = 0, the right hand side of above equation vanishes. INFINITESIMALHOMOGENEITYANDBUNDLES 23

If U = a#, V = b#, W = c#, where a, b, c ∈ k then by the Jacobi identity ¯ ¯ # # # (∇a# T )(b ,c )= [a, [b,c]] + [b, [c,a]]] + [c, [a,b]] =0. If U = a# and V = Y˜ , W = Z˜ are the A-horizontal lifts of vector ﬁelds Y,Z ∈ X(M) then using Propositions 4.8 , 4.7 we get ¯ ∇ ∼ A ¯ ¯ ˜ ˜ ¯ ˜ ¯ ˜ ∇a# (T (Y,Z)) + ξ(F (Y,Z)) − T (∇a# Y, Z) − T (Y, ∇a# Z)=0. In any other possible cases the claim follows directly from the deﬁnition of ∇¯ . For the curvature tensor the only non vanishing cases are: ¯ ˜ ˜ ˜ ∇ ∼ ¯ ˜ ˜ # ¯ # R(X, Y )Z = (R (X, Y )Z) , R(X, Y )c = ∇ξ(F A(X,Y ))c . (34) and with the same kind of arguments as above, one obtains ∇¯ R¯ = 0.

Recall that the space of connections A(P ) for a principal K-bundle P over M 1 is an aﬃne space with model space A (ad(P )) [DK]. For a connection A0 ∈ A(P ), 1 and a 1-form α ∈ A (ad(P )) the connection form ωA of A := A0 + α is given by

ωA = ωA0 + α, where the second term on the right has been identiﬁed with the associated tensorial 1-form of type ad on P (see [KN1, Example 5.2 p.76]). In other words, for a tangent vector v ∈ TyP the element αy(v) ∈ k is deﬁned by the equality α(p∗(v)) = [y, αy(v)] ∈ ad(Pp(y)). So, regarding α(p∗(v)) as a K-equivariant map Pp(y) → k, one has αy(v)= α(p∗(v))(y).

1 Lemma 4.10. Let A = A0 + α, where A, A0 ∈ A(P ) and α ∈ A (ad(P )). Let Z A0 A be a vector field on M, Z˜ be its A0-horizontal lift, and Z˜ be its A-horizontal lift (which coincides with the A-horizontal projection of ZÃ0 ). Then ZÃ = ZÃ0 − ξ(α(Z)) . Proof. For any vector field Y ∈ X(P ) the A-horizontal projection of Y is given by A Ã0 Y = Y − ξ(ωA(Y )). If now Y = Z , we have ωA0 (Y ) = 0, so for any y ∈ P we have ωA,y(Y )= αy(Y )= α(Z)(y).

Lemma 4.11. Let ∇ be a linear connection on M and A ∈ A(P ) such that ∇ ∇ A A A ∇R =0 , ∇T =0 , (∇ ⊗ ∇ )F =0 , (∇ ⊗ ∇ )(A − A0)=0 . h,A v,A Then the distributions A, A0 are ∇¯ -parallel, where ∇¯ = ∇ ⊕ ∇ . Proof. To prove that A is ∇¯ -parallel, let X˜ be the A-horizontal lift of vector field X on M. We have to show that for any vector field Y on P the vector field ∇¯ Y X˜ is A-horizontal. If Y := Z˜ is A-horizontal lift of a vector fields Z on M then ∇¯ Y X˜ is A-horizontal lift of ∇Z X. If Y ∈ X(P ) is a vertical vector field, then ∇¯ Y X˜ =0 and therefore ∇¯ Y X˜ ∈ Γ(A). A0 For the second property, we will denote by Z˜ the A0-horizontal lift of a vector A0 field Z ∈ X(M). Since the vector fields of the form Z˜ generate Γ(A0) as a C∞(P, R)-module, it suffices to prove that, for arbitrary vector fields Y ∈ X(P ) and A0 Z ∈ X(M) one has ∇¯ Y (Z˜ ) ∈ Γ(A0). Putting α = A − A0 and using Lemma 4.10 we obtain ZÃ = ZÃ0 − ξ(α(Z)). If Y = U˜ is the A-horizontal lift of a vector field U on M, then, using the parallelism assumption (∇ ⊗ ∇A)α = 0, the definition of ∇¯ and Proposition 4.8, we obtain

¯ ˜A0 ¯ ˜A ∼A ¯ ∇Y Z = ∇Y Z + ξ(α(Z)) = (∇U Z) + ∇U˜ ξ(α(Z)) ∼A A ∼A = (∇U Z) + ξ ∇U (α(Z)) = (∇U Z) + ξ(α(∇U Z)) . 24 ARASHBAZDARANDANDREITELEMAN

But, by Lemma 4.10, the right hand side of the above equation is the A0-horizontal # lift of ∇U Z, which proves the claim in this case. If now Y = a is a fundamental field, then ¯ Ã0 ¯ Ã ¯ Ã ¯ ∇Y Z = ∇a# Z + ξ(α(Z)) = ∇a# Z + ∇a# ξ(α(Z)) . ¯ Ã 0 By Proposition 4.7, ∇a# Z = 0. Also, as α(Z) ∈ A (ad(P )), using Proposition 4.8 ¯ ¯ Ã0 we obtain ∇a# ξ(α(Z)) = 0. Therefore, ∇Y Z is A0-horizontal. In conclusion, using Theorems 4.4, Theorem 4.9, Lemma 4.11 and Proposition 4.7 we obtain p Theorem 4.12. Let (g, P −→ M, A0) be infinitesimally homogeneous. There exists a pair (∇, A) consisting of a metric connection on (M,g) and A ∈ A(P ) such that ∇ ∇ A A A ∇R =0, ∇T =0, (∇ ⊗ ∇ )F =0, (∇ ⊗ ∇ )(A − A0)=0 . h,A v,A The linear connection ∇¯ = ∇ ⊕ ∇ on the tangent bundle TP associated with this pair has the following properties: (1) ∇¯ R∇¯ = ∇¯ T ∇¯ =0, (2) The vector fields a# are ∇¯ parallel along the A-horizontal curves, (3) The distributions A, A0 are ∇¯ -parallel. 4.2. Structure and classification theorems. We begin by recalling the results proved in [KN1, Ch.VI Section 7] on the existence and extension properties of local affine isomorphisms with respect to a linear connection satisfying the conditions ∇R∇ = ∇T ∇ = 0. Compared to [KN1], our presentation uses a new formalism: the space of germs of ∇-affine isomorphisms. Let M be a differentiable n-manifold, and let ∇ be a linear connection on M satisfying the conditions ∇R∇ = ∇T ∇ = 0. Let S∇ be the space of germs of ∇-affine isomorphisms defined between open sets of M, and let s : S∇ → M, t : S∇ → M be the source, respectively the target map on this space. S∇ has a canonical structure of a differentiable manifold and, with respect to this structure, ∇ s and t are local diffeomorphisms. A germ ϕ ∈ S defines an isomorphism ϕ∗ : Ts(ϕ)M → Tt(ϕ)M with the property ∇ ∇ ∇ ∇ ϕ∗(Rs(ϕ))= Rt(ϕ), ϕ∗(Ts(ϕ))= Tt(ϕ) . Conversely, [KN1, Theorem 7.4, p. 261] can be reformulated as follows

Remark 4.13. Let (u, v) ∈ M × M. For any linear isomorphism f : TuM → TvM satisfying ∇ ∇ ∇ ∇ f(Ru )= Rv , f(Tu )= Tv (35) −1 there exists a unique germ ϕf ∈ (s, t) (u, v) (of a ∇-aﬃne isomorphism) such that (ϕf )∗ = f. Moreover, taking into account [KN1, Corollary 7.5, p. 262] we see that Remark 4.14. Suppose that M is connected. The map (s, t): S∇ → M × M is surjective. Proof. Indeed, let (u, v) ∈ M × M. Parallel transport along a path γ : [0, 1] → M joining u to v deﬁnes a linear isomorphism f : TuM → TvM satisfying (35). The claim follows from Remark 4.13.

Let now σ : M ×M → M, τ : M ×M → M be the projections on the two factors, ∗ ∗ ∗ ∗ and let Iso(σ (TM ), τ (TM )) ⊂ Hom(σ (TM ), τ (TM )) be the (locally trivial) ﬁbre bundle of isomorphisms between the two pull-backs of TM . Conditions (35) deﬁne INFINITESIMALHOMOGENEITYANDBUNDLES 25

∇ ∗ ∗ a closed, locally trivial subbundle S ⊂ Iso(σ (TM ), τ (TM )). Remark 4.13 shows that

∇ ∇ Remark 4.15. The natural map δ : S → S given by ϕ 7→ ϕ∗ is bijective. This map is an injective immersion, and it is bijective, but it is not a diffeomorphism. S∇ can be identified with the union of leaves of a foliation of S∇ with n-dimensional leaves. The topology of S∇ is finer than the topology of S∇. The leaves of this foliation are the integrable submanifolds of the involutive distribution ∇ ∇ D ⊂ TS∇ defined in the following way: Let f ∈ S . Put u := σ(f), v := τ(f), −1 ϕ := δ (f). For a tangent vector ξ ∈ TuM, let γ : (−ε,ε) → M be a smooth curve such that γ(0) = u,γ ˙ (0) = ξ. Using parallel transport with respect to ∇ along the curves γ, ϕ ◦ γ we obtain, for any sufficiently small t ∈ (−ε,ε), isomorphisms at : TuM → Tγ(t)M, bt : TvM → Tϕ(γ(t))M. Define

d −1 ∇ λf (ξ) := (bt ◦ f ◦ at ) ∈ T(u,v)(S ) . dt t=0 The distribution D∇ is deﬁned by ∇ Df := {λf (ξ)| ξ ∈ Tσ(f)M} . −1 The curve t 7→ bt ◦ f ◦ at will be an integral curve of this distribution. Note that we may take γ to be the ∇-geodesic with initial condition (u, ξ), and then ϕ ◦ γ will be the ∇-geodesic with initial condition (v,f(ξ)). Using this remark, we obtain

∇ Remark 4.16. Let ϕ ∈ S , and ξ ∈ Ts(ϕ)M. Suppose that ∇-geodesics γ, η with initial conditions (s(ϕ), ξ), (t(ϕ), ϕ∗(ξ)) respectively can be both extended on the interval (α, β) ∋ 0. Then γ has a smooth lift in S∇ with initial condition ϕ via the source map s : S∇ → M. Using this remark one can prove: Proposition 4.17. Let ∇ be a connection on a connected manifold M such that ∇R∇ = ∇T ∇ =0. Suppose that ∇ is complete. Then the source map s : S∇ → M is a covering map. In particular, when ∇ is complete and M is simply connected, any element ϕ ∈ S∇ extends to a unique global ∇-affine isomorphism M → M. In particular, for any pair (x, x′) ∈ M × M there exists a unique global ∇-affine isomorphism mapping x to x′. Proof. It suffices to note, that for a ∇-convex open set U ⊂ M the following holds: any germ ϕ ∈ S∇ with s(ϕ) ∈ U has an extension on U. The point is that, since ∇ is complete, for any geodesic γ : (α, β) → U passing through s(ϕ), the composition ϕ ◦ γ can be extended on the whole (α, β). Therefore all ∇- geodesics in U passing through s(ϕ) admit lifts with initial condition ϕ. Using these lifts it follows that the connected components of s−1(U) are identified with U via s.

An important special case (which intervenes in the proof of Singer’s theorem) concerns a linear connection ∇ satisfying the conditions ∇R∇ = ∇T ∇ = 0 which is a metric connection, i.e. there exists a Riemannian metric g on M such that ∇g = 0. In this case one deﬁnes submanifolds ∇ ∇ ∇ ∇ Sg := {ϕ ∈ S | ϕ∗ is an isometry}, Sg := {f ∈ S | f is an isometry} ∇ ∇ ∇ ∇ ∇ of S , S respectively. Sg is open in S . In other words Sg is a union of integral submanifolds (of maximal dimension) of the involutive distribution D∇. On the other hand, an important result in Riemannian geometry states [TV, Proposition 1.5]: 26 ARASHBAZDARANDANDREITELEMAN

Proposition 4.18. Let (M,g) be a complete Riemannian manifold. Then any metric connection ∇ on M is complete. Using these facts Proposition 4.17 combined with the proof of Remark 4.14 gives: Corollary 4.19. Let (M,g) be a connected Riemannian manifold endowed with a metric connection ∇ such that ∇R∇ = ∇T ∇ =0. Suppose that (M,g) is complete. ∇ Then the source map s : Sg → M is a covering map. In particular, when (M,g) ∇ is complete and simply connected, any element ϕ ∈ Sg extends to a unique global ∇-affine isometry M → M. In particular, for any pair (x, x′) ∈ M ×M there exists a unique global ∇-affine isometry mapping x to x′. h,A v,A Now we come back to the connection ∇¯ = ∇ ⊕ ∇ on TP associated with a pair (∇, A) of a metric connection on M and A ∈ A(P ) which satisfy the conditions ∇ ∇ A A A ∇R =0, ∇T =0, (∇ ⊗ ∇ )F =0, (∇ ⊗ ∇ )(A − A0)=0 . We know that ∇¯ R∇¯ = ∇¯ T ∇¯ = 0, so all constructions and results above apply to ∇¯ . Using the additional structure we have on P (the K-action, the two connections ∇¯ A, A0, and the metric g on P/K) we will define an open submanifold Sg,K of S∇¯ consisting of germs of affine transformations which are compatible with this structure: Since ∇¯ is K-invariant, the manifolds S∇¯ , S∇¯ come with natural right K-actions −1 −1 given by (ϕ, k) 7→ Rk ◦ ϕ ◦ Rk , (f, k) 7→ (Rk)∗ ◦ f ◦ (Rk )∗, and the maps s, t : S∇¯ → P , σ, τ : S∇¯ → P are K-equivariant. ∇¯ ∇¯ We define a submanifold SK,g ⊂ S by ∇¯ ∇¯ Sg,K := f ∈ S | f(Aσ(f))= Aτ(f) , f(A0,σ(f))= A0,τ(f) , # # (36) f(aσ(f))= aτ(f)∀a ∈ k ,f induces an isometry Tp(σ(f))M → Tp(τ(f))M .

∇¯ Lemma 4.20. Sg,K is K-invariant, and is a union of integral submanifolds of the ∇¯ ∇¯ −1 ∇¯ distribution D . In particular Sg,K := δ (Sg,K ) is a K-invariant open submanifold of S∇¯ . ∇¯ ∇¯ Proof. We have to prove that for any f ∈ Sg,K one has Df ⊂ Tf Sg,K , i.e. that for ∇¯ any ξ ∈ Tσ(f)P we have λf (ξ) ∈ Tf Sg,K . It suffices to prove that for any a ∈ k and ˜ any ζ ∈ Tp(σ(f))M one has (denoting by ζσ(f) the A-horizontal lift of ζ at σ(f)): # ∇¯ ˜ ∇¯ λf (aσ(f)) ∈ Tf Sg,K , λf (ζσ(f)) ∈ Tf Sg,K . The first formula is obtained using the curve t 7→ σ(f)exp(ta), and the second is obtained using the curve t 7→ η˜σ(f)(t), where η : (−ε,ε) → M is a ∇-geodesic such that η(0) = p(σ(f)),η ˙(0) = ζ. One uses the fact that the vector fields a# are ∇¯ - parallel along A-horizontal curves, and that the distributions A, A0 are ∇¯ -parallel.

Lemma 4.21. The restrictions, ∇¯ ∇¯ (p ◦ σ, p ◦ τ) ∇¯ : Sg,K → M × M, (p ◦ s,p ◦ t) ∇¯ : Sg,K → M × M Sg,K Sg,K are surjective.

Proof. Let x0, x1 ∈ M, and let η : [0, 1] → M be a smooth path in M such that

η(0) = x0, η(1) = x1. Choose a point y0 ∈ Px0 , letη ˜ be the A-horizontal lift of η with the initial conditionη ˜(0) = y0, and let y1 :=η ˜(1). Using ∇¯ -parallel transport ∇¯ alongη ˜, we obtain an element f ∈ S with σ(f)= y0, τ(f)= y1. Using Theorem ∇¯ 4.12, we see that f ∈ Sg,K INFINITESIMALHOMOGENEITYANDBUNDLES 27

p Theorem 4.22. Let (M,g) be a connected Riemannian manifold, (g, P −→ M, A0) be a triple consisting of a principal K-bundle P on M, and a connection A0 on P . The following conditions are equivalent: p (1) (g, P −→ M, A0) is locally homogeneous. p (2) (g, P −→ M, A0) is infinitesimally homogeneous. (3) There exists a pair (∇, A) consisting of a metric connection on (M,g) and a connection A ∈ A(P ) such that ∇ ∇ A A A ∇R =0, ∇T =0, (∇ ⊗ ∇ )F =0, (∇ ⊗ ∇ )(A − A0)=0 . (37) Proof. The implication (1)⇒(2) is obvious, and the implication (2)⇒(3) is stated by Theorem 4.4. For the implication (3)⇒(1), let ∇¯ = ∇h,A ⊕ ∇v,A be the connection on TP associated with a pair (∇, A). Let (x0, x1) ∈ M × M. By Lemma 4.21 there ∇¯ exists ϕ ∈ Sg,K such that y0 := s(ϕ) ∈ Px0 , y1 := t(ϕ) ∈ Px1 . The orbit ϕK is a ∇¯ submanifold of Sg,K which is mapped diffeomorphically onto y0K via s, and onto ∇¯ y1K via t. Regarding the maps s, t : Sg,K → P as sheaves of sets over P , and using ∇¯ [God, Théorème 3.3.1, p. 150] we obtain an open neighbourhood U ⊂ Sg,K of ϕK ∇¯ in Sg,K which is mapped injectively onto an open neighborhood U of y0K via s, and is mapped injectively onto an open neighborhood V of y1K via t. Since K is compact, we may suppose that U is K-invariant. Therefore U and V will be also −1 −1 K-invariant, so U = p (U), V = p (V ) for open neighborhoods U, V of x0, x1 respectively. U defines a K-equivariant, ∇¯ -affine isomorphism U →V which maps p A0U onto A0V and induces an isometry U → V . This shows that (g, P −→ M, A0) is locally homogeneous.

For the symmetric case we have: p Theorem 4.23. Let (M,g) be a connected Riemannian manifold, (g, P −→ M, A0) be a triple consisting of a principal K-bundle P on M, and a connection A0 on P . The following conditions are equivalent: p (1) (g, P −→ M, A0) is locally symmetric. (2) One has ∇gRg =0, (∇g ⊗ ∇A0 )F A0 =0 .

Proof. Suppose that (1) holds, and, for a point x ∈ M, let U := Ux, s := sx, g Φ := Φx be as in Deﬁnition 1.3. Taking into account that ∇ is s-invariant, and g g g A0 A0 A0 is Φ-invariant, it follows that ∇ R , (∇ ⊗ ∇ )F are invariant sections of 1 ⊗5 1 ⊗3 (ΛU ) , (ΛU ) ⊗ad(PU ) which are invariant with respect to the involution deﬁned by s, respectively by the pair (s, Φ). Since the degree of these sections with respect to M are odd, the argument of [KN2, Section XI.1, Theorem 1.1] applies.

g Conversely, suppose (2) holds. Note that the pair (∇ , A0) satisﬁes the conditions in Lemma 4.11. Using the same construction as in the proof of Theorem 4.22, we obtain a linear connection ∇¯ on P which satisﬁes the conditions ∇¯ R∇¯ = ∇¯ T ∇¯ =0 and leaves the horizontal distribution of A0 invariant (see Theorem 4.12). Let x ∈ M. For any point y ∈ Px put

−id(A0)y 0 fy := ∈ GL(TyP ), 0 idTy (Px) where (A0)y ⊂ TyP stands for the A0-horizontal space at y. Using formulae (28), ∇¯ (29), (34) it is easy to check that for any y ∈ Px one has fy ∈ Sg,K . Moreover, it is easy to see that Fx := {fy| y ∈ Px} is a K-orbit with respect to the K-action on ∇¯ ∇¯ ∇¯ Sg,K . Using the bijection Sg,K → Sg,K we obtain a K-orbit Fx := {ϕy| y ∈ Px} 28 ARASHBAZDARANDANDREITELEMAN

∇¯ for the K-action on Sg,K which is mapped diffeomorphically onto Px via the maps s and t. The same arguments as in the proof of Theorem 4.22 apply, and give a bundle isomorphism Φ : p−1(U) → p−1(V ), where U, V are open neighborhoods of x, and the induced map s : U → V is an isometry. Moreover, one has Φ∗y = fy for any y ∈ Px, in particular s∗x = −idTxM . Therefore s induces an isometric involution on a sufficiently small normal neighborhood W ⊂ M of x. It suffices to note that the restriction of Φ to p−1(W ) is an involution. This is obvious taking into account the next remark which gives an explicit geometric construction of Φ: Remark 4.24. Let γ : [0, 1] → W be a smooth path with γ(0) = x, γ′ := s ◦ γ, let ′ ′ y ∈ P , and letγ ˜,γ ˜ be the A0-horizontal lifts with initial conditionsγ ˜(0) =γ ˜ (0) = y. Then Φ(˜γ(1)) =γ ˜′(1), and Φ(˜γ′(1)) =γ ˜(1).

The remark is proved using that Φ lifts s and leaves the connection A0 invariant.

For the case when (M,g) is complete, we have p Theorem 4.25. Let (g, P −→ M, A0) be a locally homogeneous triple with M con- ∇¯ nected. If (M,g) is complete, then the map Sg,K /K → M induced by s is a covering ∇¯ map. If (M,g) is complete and M is simply connected, then any germ ϕ ∈ Sg,K can be extended to a unique bundle isomorphism Φ: P → P which covers an isometry ′ M → M, and has the property Φ∗(A0)= A0. In particular, for any (x, x ) ∈ M ×M there exists such a bundle isomorphism with Φ(Px)= Px′ . Proof. We use the same method as in the proof of Proposition 4.17, Corollary 4.19. ∇¯ The fact that Sg,K /K → M is a covering map is obtained using parallel transport with respect to ∇¯ along A-horizontal lifts of ∇-geodesics in M.

p Corollary 4.26. Let (g, P −→ M, A0) be a locally symmetric triple with M simply p connected, and (M,g) complete. Then (g, P −→ M, A0) is a symmetric triple. Proof. By Theorem 4.22 any locally symmetric triple is locally homogeneous, so Theorem 4.25 applies, so the locally deﬁned involutive bundle isomorphisms Φx given by the locally symmetric condition (see Deﬁnition 1.3) extend to the whole total space P .

Using theorem 4.25 we can also prove the following classiﬁcation theorem for LH triples: Theorem 4.27. Let M be a compact manifold, and K be a compact Lie group. Let π : M˜ → M be the universal cover of M, Γ be the corresponding covering p transformation group. Then, for any locally homogeneous triple (g, P −→ M, A) with structure group K on M there exists (1) A connection B on the pull-back bundle Q := π∗(P ). (2) A closed subgroup G ⊂ Iso(M,˜ π∗(g)) acting transitively on M˜ which contains Γ and leaves invariant the gauge class [B] ∈B(Q). B (3) A lift j : Γ → GG (Q) of the inclusion monomorphism ιΓ : Γ → G, where B GG (Q) stands for the group of automorphisms of (Q,B) which lift transformations in G. (4) An isomorphism between the Γ-quotient of (π∗g,Q → M,B˜ ) and the initial p triple (g, P −→ M, A) . Proof. Let G ⊂ Iso(M,˜ g˜) be the subgroup deﬁned by G := ψ ∈ Iso(M,˜ g˜)| ∃ Ψ: Q → Q ψ-covering bundle isom., Ψ∗(B)= B . INFINITESIMALHOMOGENEITYANDBUNDLES 29

Using the fact that K is compact, it follows by Lemma 4.28 below, that G is a closed subgroup of the Lie group Iso(M,˜ g˜). Note that Lemma 4.28 applies because the action of the Lie group Iso(M,˜ g˜) on M˜ is smooth. Applying Theorem 4.25 to (π∗(g),Q,B), it follows that G acts transitively on M˜ , and leaves invariant the gauge class [B]. Moreover, the deﬁnition of G shows that it contains Γ. The lift j is obtained as follows: for ϕ ∈ Γ we deﬁne j(ϕ): Q → Q by

j(ϕ)(˜x,y) := (ϕ(˜x),y) ∀(˜x,y) ∈ Q := M˜ ×π P. B Note that the map Γ ∋ ϕ 7→ j(ϕ) ∈ GG (Q) is a group morphism (as required).

Lemma 4.28. [Ba1] Let M be a differentiable manifold, K be a compact Lie group, p : P → M be a principal K-bundle over M, and A ∈ A(P ) be a connection on P . Let α : L × M → M be a a smooth action of a Lie group L on M. For l ∈ L denote by ϕl : M → M the corresponding diffeomorphism. The subspace ∗ LA := {l ∈ L| ∃Φ ∈ Homϕl (P, P ) such that Φ (A)= A} is a closed Lie subgroup of L. Theorem 4.27 shows that: Corollary 4.29. Let M be a connected compact manifold, and K be a compact Lie group. Let π : M˜ → M be the universal cover of M, Γ be the corresponding covering p transformation group. Then any locally homogeneous triple (g, P −→ M, A) with structure group K on M can be identified with a Γ-quotient of a homogeneous triple (π∗g,Q := π∗(P ) → M,B˜ ) on the universal cover M˜ . 4.3. Locally homogeneous Spinc-pairs and triples. The group Spinc(n) := 1 Spin(n) ×Z2 S fits in a short exact sequence (ρ,δ) 1 → {±1} → Spinc(n) −−−→ SO(n) × S1 →{1} , where ρ is induced by the canonical morphism r : Spin(n) → SO(n), and δ is induced by Spin(n) × S1 ∋ (u,z) 7→ z2. Let (M,g) be a connected, oriented Riemannian n-manifold. A Spinc-structure on M is a bundle morphism Λ : Q → SO(M) of type ρ, where Q is a Spinc(n)-bundle. The associated S1-bundle δ(Q) := 1 Q ×δ S is called the determinant bundle of Q (or of Λ). The spinor bundle of Λ is c the associated bundle S := Q ×κ ∆n, where κ : Spin (n) → GL(∆n) is the natural extension of the Spin representation. We recall (see for instance [Fr, Remark, p. 48], [Te, Proposition 5.2.7 (ii)]) c that (M,g) admits a Spin -structure if and only if the Stiefel-Whitney class w2(M) admits an integral lift, and that, if non-empty, the set of isomorphism classes of Spinc-structures on M is an H2(M, Z)-torsor (see [Fr, Proposition p. 53], [Te, Proposition 5.2.7 (iii)]). Whereas the principal bundle of a Spin-structure comes with a unique lift of the c Levi-Civita connection C0 ∈ A(SO(M)), for a Spin -structure we have: Remark 4.30. Let Λ : Q → SO(M) be a Spinc-structure on (M,g). The map A(Q) ∋ A 7→ δ(A) ∈ A(δ(Q)) induces an isomorphism between the space of lifts of 1 C0 in A(Q) and the space A(δ(Q)) of connections on the determinant S -bundle δ(Q). Remark 4.31. These Levi-Civita lifts are important because they intervene in the c construction of Spin -Dirac operators. The Dirac operator D/ A associated with a lift A of C0 is defined as the composition

∇A 1 c Γ(M,S) −−−→ Γ(M, ΛM ⊗ S) −→ Γ(M,S) , 30 ARASHBAZDARANDANDREITELEMAN

1 where c is induced by the Cliﬀord multiplication ΛM ⊗ S → S (see for instance [Fr, Section 3.2], [Te, section 5.3]). D/ A is a ﬁrst order, elliptic, self-adjoint operator.

Note that the assignment A 7→ D/ A plays a fundamental role in Seiberg-Witten theory (see for instance [Te, section 6.1]). Remark 4.31 justifies the definition Definition 4.32. Let (M,g) be a compact, connected, oriented Riemannian n- manifold. A Spinc-pair on (M,g) is a pair (Λ, A), where Λ: Q → SO(M) is a Spinc-structure on (M,g), and A ∈ A(Q) is a lift of the Levi-Civita connection. In other words a Spinc-pair on (M,g) is a system of data which intervene in the construction of a Spinc-Dirac operator. For such pairs we have a natural local homogeneity condition Definition 4.33. Suppose that (M,g) is locally homogeneous. A Spinc-pair (Λ, A) on (M,g) is called LH if for any pair (x0, x1) ∈ M ×M there exists a local isometry ϕ Φ x0 ∈ U0 −→ U1 ∋ x1, and an ϕ˜∗-covering bundle isomorphism QU0 −→ QU1 which preserves A. Proposition 4.34. Let (Λ, A) be a Spinc-pair on a locally homogeneous Riemann- 1 ian manifold (M,g), let a ∈ A(δ(Q)) be the associated S -connection, and Fa ∈ iA2(M) be its curvature form. The following conditions are equivalent: (1) (Λ, A) is locally homogeneous. (2) The triple (g,δ(Q) → M,a) is locally homogeneous. ϕ (3) for any (x0, x1) ∈ M × M there exists a local isometry x0 ∈ U0 −→ U1 ∋ x1 ∗ such that ϕ (Fa|U1 )= Fa|U0 . (4) (M,g) admits an Ambrose-Singer connection ∇ such that ∇Fa =0. Proof. The implications (1)⇒(2)⇒(3) are obvious. The equivalence (3) ⇔(4) is a special case of Theorem 3.5. The implication (4) ⇒ (2) follows from Theorem 4.22 choosing A0 = A = a. Indeed, the adjoint bundle ad(δ(Q)) can be identified with the trivial line bundle iR, and the connection induced on ad(δ(Q)) by any connection on δ(Q) is the standard trivial connection. Therefore the condition a (∇ ⊗ ∇ )Fa = 0 intervening in Theorem 4.22 becomes ∇Fa = 0. It remains to prove the implication (2)⇒(1). Let (x0, x1) ∈ M × M. We know ϕ that there exists an isometry x0 ∈ U0 −→ U1 ∋ x1 and a ϕ-covering bundle isomorphism φ : δ(Q)U0 → δ(Q)U1 which preserves a. We obtain a bundle isomorphism

(˜ϕ∗, φ) : (SO(M) ×M δ(Q))U0 → (SO(M) ×M δ(Q))U1 which preserves the connection (C0,a). Assuming Ui simply connected, there exists a bundle isomorphism Φ : QU0 → QU1 which lifts (ϕ ˜∗, φ), in particular Φ liftsϕ ˜∗ via ∗ Λ. The connections AU0 , Φ (AU1 ) coincide, because they both lift the connection ∗ (C0,a)U0 =(˜ϕ∗, φ) ((C0,a)U1 ) on (SO(M) ×M δ(Q))U0 .

Applying Theorem 4.25 to the triple (g,δ(Q) → M,a) and using the same lifting argument as above we obtain: Corollary 4.35. Let (Λ, A) be an LH Spinc-pair on a complete, simply connected LH Riemannian manifold (M,g). There exists a Lie group G and an action β : G × Q → Q by bundle isomorphisms with the following properties: (1) β lifts a transitive action by isometries α : G × M → M. (2) β leaves A invariant. One has also a natural local homogeneity condition for triples (Λ,A,s), where (Λ, A) is a Spinc-pair on (M,g), and s ∈ Γ(M,S). Such a triple will be called a Spinc-triple. INFINITESIMALHOMOGENEITYANDBUNDLES 31

Deﬁnition 4.36. Let (M,g) be an LH Riemannian manifold. A Spinc-triple (Λ,A,s) is called LH if for any pair (x0, x1) ∈ M × M there exists a local isometry ϕ Φ x0 ∈ U0 −→ U1 ∋ x1, and a ϕ˜∗-covering bundle isomorphism QU0 −→ QU1 which preserves A and s.

Note that if (Λ,A,s) is LH, so is (Λ, A, D/ As). Proposition 4.37. Let (M,g) be LH Riemannian manifold, and (Λ,A,s) be an LH Spinc-triple on (M,g). There exists B ∈ A(Q) such that (1) The induced connection C := ρ(B) is an Ambrose-Singer connection on the frame bundle SO(M). C C (2) Putting a := δ(A), b := δ(B), one has ∇ Fa =0, ∇ (b − a)=0. (3) ∇Bs =0. Proof. The local homogeneity assumptions imply that the section deﬁned by the g triple (R , Fa,s) is inﬁnitesimally homogeneous with respect to the connection A. The claim follows from Corollary 2.14 noting that, via the direct sum decomposition R ad(Q) = so(TM ) ⊕ i , one has B − A = (C − C0,b − a), FA = (FC0 , Fa).

Using the proofs of Lemma 4.21, Theorems 4.22, 4.25 we obtain the following analogue of Corollary 3.16 for LH Spinc-triples: Corollary 4.38. Let (M,g) be a simply connected, complete LH Riemannian manifold, and (Λ,A,s) be an LH Spinc-triple on (M,g). There exists a Lie group G and an action β : G × Q → Q by bundle isomorphisms with the following properties: (1) β lifts a transitive action by isometries α : G × M → M. (2) β leaves A and s invariant. Proof. Let B ∈ A(Q) be a connection given by Proposition 4.37, and put C := ρ(B), b := δ(B), a := δ(A). Applying Lemma 4.11 to the triple (g,δ(Q) → M,a) and the pair (∇C ,b), we obtain a connection ∇¯ on the total space δ(Q) which preserves the distributions a and b. It suffices to prove that for any (x0, x1) ∈ M × M there exists an isometry ϕ : M → M with ϕ(x0) = x1, andaϕ ˜∗-covering bundle isomorphism Φ : Q → Q which preserves A and s. Since the triple (g,δ(Q) → M,a) is locally homogeneous, Theorem 4.25 gives an isometry ϕ : M → M and a ϕ-covering bundle isomorphism φ : δ(Q) → δ(Q) which preserves a. Using the constructive proof of the transitivity property stated in Lemma 4.21, we see that such a lift φ can be obtained explicitly in the following way: Let η : [0, 1] → M be a smooth path with η(i) = xi,η ˜ : [0, 1] → δ(Q) be a b- horizontal lift of η, and let f : Tη˜(0)(δ(Q)) → Tη˜(1)(δ(Q)) be the linear isomorphism given by ∇¯ -parallel transport alongη ˜. The proofs of Theorems 4.22, 4.25 show that f is the tangent map atη ˜(0) of a global bundle isomorphism φ : δ(Q) → δ(Q) which is affine with respect to ∇¯ and lifts an isometry ϕ : M → M with ϕ(x0)= x1. Taking into account the definition ¯ of f and the explicit construction of ∇, it follows that the tangent map ϕ∗x0 is C given by ∇ -parallel transport along η, soϕ ˜∗,x0 is given by C-parallel transport along η in SO(M). ¯ ¯ ¯ Since ∇ preserves a and b, φ∗,η˜(0) is given by ∇-parallel transport, and Φ is ∇- affine, it follows that φ preserves the connections a and b. The bundle isomorphism

(˜ϕ∗, φ) : SO(M) ×M δ(Q) → SO(M) ×M δ(Q) preserves the connection (C0,a), so any lift Φ : Q → Q of it preserves A. It suﬃces to prove that there exists such a lift which also preserves s. Let η1 : [0, 1] → SO(M) be a C-horizontal lift of η, andη ¯ be a lift of (η1, η˜) to Q via 32 ARASHBAZDARANDANDREITELEMAN the double cover Q → SO(M) ×M δ(Q). We know that

(˜ϕ∗, φ)(η1(0), η˜(0)) = (η1(1), η˜(1)) .

Since M is simply connected, the double cover Q → SO(M) ×M δ(Q) is trivial, so there exists a lift Φ : Q → Q of (˜ϕ∗, φ) which mapsη ¯(0) ontoη ¯(1). We claim that Φ(s)= s, or, equivalently, thats ˜◦ Φ=˜s, wheres ˜ : Q → ∆n is the equivariant map associated with s. Since (η1, η˜) is (C,b)-horizontal, it follows that its liftη ¯ to Q is B-horizontal. Since ∇Bs = 0 it follows thats ˜ is constant alongη ¯, so s˜(¯η(0)) =s ˜(¯η(1)) = (˜s ◦ Φ)(¯η(0)) . Therefores ˜,s ˜◦ Φ are equivariant maps which are constant along B-parallel curves and coincide at s(¯η(0)), so they coincide.

References

[AS] Ambrose, W., Singer, I. M.: On homogeneous Riemannian manifolds, Duke Math. J., 25, 647-669 (1958). [Ba1] Bazdar, A.: Locally homogeneous triples: Extension theorems for parallel sections and parallel bundle isomorphisms, Mediterr. J. Math. Vol. 14, 55 (2017). [Ba2] Bazdar, A.: Geometric principal bundles over geometric Riemannian manifolds, Ph.D. thesis, Aix-Marseille University. (2017). http://www.theses.fr/2017AIXM0210 [BT] Bazdar, A., Teleman, A.: Locally homogeneous connections on principal bundles over hyperbolic Riemann surfaces, Bull. Math. Soc. Sci. Math. Roumanie Tome 63 (111), No. 1, 23–41 (2020). [Be] Besse, A.: Einstein manifolds, Classics in Mathematics, Springer, Berlin, Heidelberg (1987). [CL] Calvaruso, G., Lopez, M. C.:Pseudo-Riemannian Homogeneous Structures, Developments in Mathematics, Vol. 56, Springer, Switzerland (2019). [CN] Console, S.,Nicolodi, L.: Infinitesimal characterization of almost Hermitian homogeneous spaces, Commentationes Mathematicae Universitatis Carolinae, Vol. 40 , 713-721 (1999). [DK] Donaldson, S., Kronheimer, P.: The Geometry of Four-Manifolds, Oxford Mathematical Monographs, Clarendon Press, Oxford (1990). [FZ] Florit, L., Ziller, W.: Topological obstructions to fatness revisited, Geometry & Topology 15, 891-925 (2011). [Fr] Friedrich, Th.: Dirac Operators in Riemannian Geometry, Graduate Studies in Mathe- matics vol. 25, AMS, Providence, Rhode Island (2000). [GO] Gadea, P. M., Oubiña, J. A.: Homogeneous pseudo-Riemannian structures and homogeneous almost para-Hermitian structures, Houston J. Math. 18, 449–465 (1992). [God] Godement, R.: Topologie Algébrique et Théorie des Faisceaux, Hermann, Paris (1964). [GH] Greub, W., Halperin, S., Vanstone, R.: Connections, Curvature and Cohomology II , Pure Appl. Math., 47-II, Academic Press, London, (1973). [It] Itoh, M.:Invariant connections and Yang–Mills solutions. Trans. Amer. Math. Soc. 267(1), 229-236 (1981). [Je] Jensen, G.: Einstein metrics on principal fiber bundles, J. Diff. Geom. 8, 599-614 (1973). [KN1] Kobayashi S., Nomizu, K.: Foundations of Differential Geometry I, Interscience Publ., New York, Vol. I (1963). [KN2] Kobayashi S., Nomizu, K.: Foundations of Differential Geometry II, Interscience Publ., New York, Vol. II (1969). [Ki] Kiriˇcenko, V. F.: On homogeneous Riemannian spaces with invariant tensor structure, Soviet Math. Dokl., Vol. 21 No. 3, 734-737 (1980). [Lu] Lujan, I.: Reductive locally homogeneous pseudo-Riemannian manifolds and Ambrose- Singer connections, Differ. Geom. Appl. 41, 65-90 (2015). [NT] Nicolodi, L., Tricerri, F.: On two theorems of I. M. Singer about homogeneous spaces, Ann. Global Anal. Geom. 8 ,193-209 (1990). [O1] Opozda, B.:On locally homogeneous G-structures, Geom. Dedicata, 73, 215-223 (1998). [O2] Opozda, B.:Curvature homogeneous and locally homogeneous affine connections, Proc. Amer. Math. Soc. 124, 1889-1893 (1996). [O3] Opozda, B.: Affine versions of Singer’s theorem on curvature homogeneous spaces, Ann. Global Anal. Geom., 187-199 (1997). INFINITESIMALHOMOGENEITYANDBUNDLES 33

[SW] A. Sagle, R. Walde: Introduction to Lie groups and Lie algebras, Academic Press, New York and London (1973). [Se] Sekigawa, K.: Notes on homogeneous almost Hermitian manifolds, Hokkaido Math. J. 7, 206-213 (1978). [Si] Singer, I. M.: Infinitesimally homogeneous spaces , Comm. Pure Appl. Math.,13, 685-697 (1960). [Te] Teleman, A.: Introduction àla théorie de jauge, SMF, Cours Spécialisés, vol. 18 (2012). [Th] Thurston, W. P.: Three-dimensional manifolds, Kleinian groups and hyperbolic geometry, AMS, Bulletin. New Series, vol. 6 (3) 357-381 (1982). [Tr] Tricerri, F.:Locally homogeneous Riemannian manifolds, Rend. Sem. Mat. Univ. Politec. Torino 50.4, 411-426 (1993). [TV] Tricerri, F., Vanhecke, L.: Homogeneous Structures on Riemannian Manifolds , London Math. Soc. Lect. Notes, vol. 83. Cambridge Univ. Press, Cambridge (1983). [WZ] Wang, M., Ziller, W.: Einstein metrics on principal torus bundles, J. Diff. Geom. 31, 215-248 (1990).

Aix Marseille Universite,´ CNRS, Centrale Marseille, I2M, UMR 7373, 13453 Mar- seille, France Email address, Arash Bazdar: [email protected]

Email address, Andrei Teleman: [email protected]