Riemannian Lie Subalgebroid

This paper talks about Riemannian Lie subalgebroid. We investigate the induced Levi-civita connection on Riemannian Lie subalgebroid, and give a construction of the second fondamental form like in case of Riemannian submanifold. We also give the Gauss formula in the case of Riemannian Lie subalgebroid. In the case of the Lie subalgebroid induced by a Leaf of a characteristic foliation, we obtain that the leaf carries more curvature than the manifold as shown by Boucetta (2011).


Introduction
The notion of Lie groupoids and Lie algebroid are nowadays central resarch subjects in differential geometry.Lie algebroid was first introduced by Pradines and appeared as an infinitesimal counterpart of Lie groupoid.It is a generalization of the notion of Lie algebra and fiber bundle.A. Wenstein shows the crucial role of Lie algebroid in the study of Poisson manifold and Lagrangian mechanics.This motivated many studies on Lie algebroid, among others integrability by M. Crainic and R. L. Fernandes (2003), covariantes derivatives by Fernandes (2002) and Riemannian metric by M. Boucitta (2011), • • • The authors introduced in [1] the notion of geodesically complete Lie algebroid, and the notion of Riemannian distance.They also give a Hopf Rinow type theorem, caracterise the base connected manifold and characteristic leaf of this Lie algebroid.
This paper deals with Riemannian Lie subalgebroid.We will introduce the notion of Riemannian Lie algebroid as a generalisation of Riemannian submanifold.Hence we will give the second fondamental form of Lie subalgebroid and rewrite the Gauss's formulas type.We will investigate the special case of Riemannian Lie subalgebroid induced by a leaf of a characteristic foliation of a Riemannian manifold.
The paper is organised as follow.After this introduction, the second section gives some preliminary.In the third section, we introduce the notion of Lie subalgebroid of a Lie algebroid, induced by a submanifold of the base manifold.The fourth section deals with Riemannian Lie subalgebroid, and the second fondamental form in the case of Riemannian Lie subalgebroid will be introduced.We also give the Gauss's type formulas.In the last section we investigate a special case of Riemannian Lie subalgebroid induced by a leaf of a characteristic foliation.

Some Basic Facts on Lie Algebroids
Most of notions introduced in this section come from Boucetta (2003) and from J.-P.Dufour and N. T. Zung' s book (2005).

Lie Algebroid
A Lie algebroid is a vector bundle p : A → M such that : • the sectons space Γ(A) carry a Lie structure [, ]; • there is a bundle map ♯ : A → T M named anchor; Note that a Lie algebroid is said to be transitive if the anchor is surjective.
The anchor ♯ also satisfies: where a, b ∈ Γ(A) and the bracket in the right is the natural Lie bracket of vector bundle.We also have: and for any a, b ∈ Γ(A) and f, g ∈ C ∞ (M).We also have a local splitting of a lie algebroid.given by R. Fernandes in (2002).
Theorem 2.1(2002)(local splitting) Let x 0 ∈ M be a point where ♯ x 0 has rank q.There exists a system of cordinates where b i j ∈ C ∞ (U) are smooth functions depending only on the y ′ s and vanishing at x 0 : b

Linear A-connection
The notion of connection on Lie algebroids was first introduced in the contexte of Poisson geometry by Vaisman (1994) and R. Fernandes (2002).It appears as natural extension of the usual connection on fiber bundle (covariant derivative).
Remark 2.1 The notion of A-connection is a generalization of the notion of the usual linear connection on a vector bundle.Lot of classic notions associate with covariant derivative can be written in the case of Lie algebroid.
To introduce the notion of parallel transport, Boucetta sets the following definition and then we can introduce the notion of linear A-connexion.

Definiton 2.1 Let p : A → M be a Lie algebroid. A linear A-connection D is an A-connection on the vector bundle
, then the Christoffel's symbols of the linear connection D can be defined by: The most interesting fact about this notion is that one can ask about his relationship with the natural covariant derivative.
The answer given by Fernandes in ( 2002) is relative to the notion of compatibility with Lie algebroid structure.
2. A linear A-connection D is weakly compatible with the Lie algebroid structure if and only if, for any leaf L and any sections α ∈ Γ(Ker♯ L ) and β ∈ Γ(Ker♯ L ), D α β ∈ Γ(Ker♯ L ).

Riemannian Metric on Lie Algebroid
Let p : A → M be a Lie algebroid.
Definition 2.3 A Riemannian metric on a Lie algebroid p : A → M is the data, for any x ∈ M, of a scalar product g x on the fiber A x such that, for any local sections a, b ∈ Γ(A), the function g(a, b) is smooth.
Like in the classic case of Riemannian manifold, one of the most interesting fact is the existence of a linear A-connection which has the same characteristics with the Levi-civita connection.The A-connection is Also, the Linear A-connection D is characterized by the Koszul type formula: for all sections a, b, c ∈ Γ(A) The Christoffel's symbols of the Levi-civita A-connexion are defined, in a local coordinates system (x 1 , • • • , x n ) over a trivializing neighborhood U of M where Γ(A) admits a local basis of sections {a 1 , • • • , a r }, by: where the structures functions b g i j =< a i , a j > and (g i j ) denote the inverse matrix of (g i j ).
The author of [?] define the sectional curvature of two linearly independant vectors a, b ∈ A x by where R is Riemannian curvature.

Notion of Lie Subalgebroid
The notion of Lie subalgebroid is studied by many authors.K. Mackenzie (1987) gives the following definition Definition 2.4 Let p : A → M be a Lie algebroid.A Lie subalgebroid of A is a Lie algebroid A ′ on M together with an injective morphism A ′ → A of Lie algebroid over M.
Here we give a construction of this notion which generalised the classic notion of a submanifold.
Let p : A → M be a Lie algebroid with anchor map ♯ and let N be a submanifold of M. Let's set and If there is no risk of confusion, let's denote by ♯ : A N → T N the restriction of ♯ to A N .Then we can defined a Lie bracket [, ] N on Γ(A N ), which is like a restriction of the Lie bracket of Γ(A), by setting for all a, b ∈ Γ(A N ) and x ∈ N: This bracket is well defined and induced a Lie algebroid structure on p N : A N → N.
Remark 2.3 One of the best example of this Lie subalgebroid structure, it's the one induced by a leaf of a characteristic foliation L. This structure Lie subalgebroid is transitive.We will use this structure to study some particular Riemannian Lie subalgebroid.

Riemannian Lie Subalgebroid
Let p : A → M be a Lie algebroid with anchor map ♯ and let g be a Riemannian metric on A. Let N be submanifold of M and p N : A N → N be an induced Lie subalgebroid.As in the Riemannian case, if f : A N → A is an isometric immersion, then g = f * g is an induced metric on A N .
Definition 3.1 (A N , g) is a Riemannian Lie algebroid called Riemannian Lie subalgebroid.
Like in the classic case of Riemannian submanifold, one can ask about the induced Levi-Civita A N -connection and it's relationship with the Levi-civita A-connection.
As an answer, we will give a similar connection construction with the classic one of Riemannian submanifold.For this construction for all x ∈ N we denote by (A N ) ⊥ x the orthogonal complementary of (A N ) x in respect with gx .then we have : x can be defined by: Thus for all a ∈ Γ(A) one has a = a ⊤ + a ⊥ with a ⊤ ∈ Γ(A N ) and a ⊥ ∈ Γ(A N ) ⊥ .
Moreover if D is the Levi-civita A-connection, then for all α, β ∈ Γ(A N ) one has: Let's set D N α β = (D α β) ⊤ .Then we have the following proposition.
Proposition 3.1 D N is the Levi-civita A N -connection associate to the Riemannian metric g.
proof Indeed D N is free torsion: for all α, β ∈ Γ(A N ) one has

Second Fondamental Form
This notion is a generalization of the classical case of Riemannian submanifold.we will show that the A -second fondamental form satisfies all properties of the second fondamental form of a Riemannian submanifold.

Definition 3.2 The operator h
This operator h is C ∞ (N)-bilinear and symmetric.

Gauss and Kodazzi's Equations
Here we rewrite the Gauss and Kodazzi's formulas in the case of Riemannian Lie subalgebroid.
For all α ∈ Γ(A N ) and ξ ∈ Γ(A N ) ⊥ the relation (5) becomes : Now if we set B ξ α = −(D α ξ) ⊤ and L(α, ξ) = (D α ξ) ⊥ then we have the Gauss type formula: One of the important fact in the study of Riemannian submanifold is the relationship between the Riemannian curvature of the manifold and the one on the submanifold.Similarly to this case we can investigate this relationship between Riemannian curvature associate to g and the induced one associate to g.
The following proposition gives the Gauss equation in the case of Riemannian Lie subalgebroid.
Proposition 3.3 If R and R N are respectively the curvature associate to g and g, then we have: respectively the sectional curvature on A N and A, then the Gauss equation ( 8) become by sitting Moreover if α and β are orthornormal, then the equation ( 9) becomes :

Totally Geodesic Lie Subalgebroid
Definition 3.3 Let (A N , g) be Riemannian Lie subalgebroid of a Riemannian Lie algebroid (A, g).A N is said to be totally geodesic if any A N -geodesic is an A-geodesic.
This class of Riemannian Lie subalgebroid is characterised by the following proposition.
Proposition 3.4 Let p N : A N → N be a Riemannian Lie subalgebroid of the Riemannian Lie algebroid p : A → M.Then, the following assertions are equivalent: 1.A N is totally geodesic; 2. the second fondamental A-form is identically nul.
Proof 1) ⇒ 2. Supposed that A N is a totally Riemannian Lie subalgebroid.Let s be an A N -geodesic, then D N s s = 0 and s is an A-geodesic (D s s = 0).Since D s s = D s s + ds dt , one has: 2 ⇒ 1).Supposed B ξ ≡ 0. Let s be an A N -geodesic, then : With the Gauss's formula ( 7), h(s, s) = 0 and s is an A-geodesic.
Corollary 3.1 If (A N , g) is a totally geodesic Riemannian Lie subalgebroid, then the Gauss type formula becomes: for all linearly independent vectors α, β

Minimal, Parallel and Totally Umbilical Lie Subalgebroid
From the splitting theorem, consider {a 1 , • • • , a r } a local basis of the sections space Γ(A).Supposed that the sections space As in the case of Riemannian submanifold, the mean curvature H associated to the second fondamental A-form is defined by: then with the Gauss formula (7) the mean curvature become: we have ξ k ∈ Γ(A N ) ⊥ and B ξ k = 0. Then H ≡ 0 and A N is minimal.
Definition 3.5 Let (A, g) be a Riemannian Lie algebroid and (A N , g) a Riemannian Lie subalgebroid of (A, g).
1.A normal section ξ ∈ Γ(A N ) ⊥ is called parallel, if for any section α ∈ Γ(A N ), one has: ) is said to be totally umbilic if, for all normal section ξ ∈ Γ(A N ) ⊥ , there exist a scalar λ such that: Proof Let α be a unit A N -section and {a 1 , • • • , a d } be a local orthonormal basis of the space of sections Γ(A N ).Then we have: with the Gauss equation ( 8), one has: Theorem 3.2 Let (A, g) be a Riemannian Lie algebroid with constant sectional curvature c.The scalar curvature of the Riemannian Lie subalgebroid (A N , g), S is given by : Proof Let {a 1 , • • • , a d } be a local orthogonal base of the space of A N -section Γ(A N ); then one has the scalar curvature:

Characteristic Riemannian Lie Subalgebroid
One of the interesting case is the situation of N with a leaf of characteristic foliation.Here we investigate on the following case : If N = L: In this case one has locally : Hence with the notion of compatibility of the A-connection D with the Lie algebroid structure (in the sens of Fernandes( 2002)), one has the following theorem.
Theorem 4.1 Let (A, g) be a Riemannian Lie algebroid.If L is a Leaf of the characteristic foliation, then: 1.For all ξ ∈ Γ(A L ) ⊥ , one has B ξ = 0. Hence (A L ) is totally geodesic.
2. The Gauss's equation become: from the definition of B ξ one has B ξ α ∈ Γ(A L ), and with the fact that g is not degenerate, one has: B ξ = 0.And A L is totally geodesic.
2. Since B ξ = 0, then with the gauss formula we have : If L ⊂ N In this case, one has the following decomposition: where (A L ) ⊥ N is the complementary g N -orthogonale of A L in A N .Thus for all α, β ∈ Γ(A L ) one has: Moreover : In other words, since L ⊂ N than A L ⊂ A N and (A N ) ⊥ ⊂ (A L ) ⊥ .Thus Proof This is a consequence of the fact that if L is a leaf of characteristic foliation, then A L is totally geodesic.
Corollary 4.2 If the Lie algebroid p : A → M is transitive, then N is a totally geodesic Riemannian submanifold of the Riemannian manifold M.
Proof Let γ be a geodesic on M and s an A-path with base path γ.Then α is an A-geodesic (see [?]).From the above theorem, α is an A N -geodesic and we can conclude.
h N (α, β) = h L (α, β) + h 1 (α, β)Hence we have the following proposition Theorem 4.2 If the submanifold N is entierelly contained in a leaf L of a characteristic foliation, then the Riemannian A N Lie subalgebroid is totally geodesic.Moreover A N have a reduction of codimension.
Boucetta (2011)r notion of compatibility between linear A-connection and Lie algebroid structure introduced byBoucetta (2011)which is less stronger than the above one.A linear A-connection D is strongly compatible with the Lie algebroid structure if, for any A-path α, the parallel transport τ α preserves Ker♯.A linear A-connection D is weakly compatible with the Lie algebroid structure if, for any vertical A-path α, the parallel transport τ α preserves Ker♯.-connection is strongly compatible with Lie algebroid structure if and only if, for any leaf L and any sections Moreover the equality hold if and only if A N is totally geodesic.Where Ric is a Ricci curvature.
Let (A, g) be a Riemannian Lie algebroid with constant sectional curvature c.If the Riemannian Lie subalgebroid (A N , g) has constant sectional curvature c, then: 1. c ≤ c, 2. c = c if and only if A N is totally geodesic.