On Symmetric Brackets Induced by Linear Connections

In this note, we discuss symmetric brackets on skew-symmetric algebroids associated with metric or symplectic structures. Given a pseudo-Riemannian metric structure, we describe the symmetric brackets induced by connections with totally skew-symmetric torsion in the language of Lie derivatives and differentials of functions. We formulate a generalization of the fundamental theorem of Riemannian geometry. In particular, we obtain an explicit formula of the Levi-Civita connection. We also present some symmetric brackets on almost Hermitian manifolds and discuss the first canonical Hermitian connection. Given a symplectic structure, we describe symplectic connections using symmetric brackets. We define a symmetric bracket of smooth functions on skew-symmetric algebroids with the metric structure and show that it has properties analogous to the Lie bracket of Hamiltonian vector fields on symplectic manifolds.


Introduction
Let M be a differential manifold and S k T * M denote the k-th symmetric power of the cotangent bundle of M. On S(TM) = k≥0 S k T * M, there exists the mapping d s : S(TM) → S(TM) being the symmetrized covariant derivative of a connection ∇ on M, i.e., d s η = (k + 1) · (Sym •∇)η for η ∈ Γ(S k T * M). This mapping can be written, for η ∈ Γ(S k T * M), X 1 , . . . , X k+1 ∈ Γ(TM), as follows: (d s η)(X 1 , . . . , X k+1 ) = k+1 ∑ j=1 X j (η(X 1 , . . . X j . . . , X k+1 )) (1) − ∑ i<j η( X i : X j ∇ , X 1 , . . . X i . . . X j . . . , X k+1 ), for X, Y ∈ Γ(TM). Thus, d s can be written in the Koszul-type form (1) shown above. This form is a symmetric equivalent of the exterior derivative operator where the role of the Lie bracket of vector fields is taken over by the symmetric bracket (2). We add that the Koszul-type shape of d s for tangent bundles was first obtained by Heydari, Boroojerdian, and Peyghan in [1] and next under the study of generalized gradients on Lie algebroids in the sense of Stein-Weiss in [2]. However, d s in the case of tangent bundles was introduced by Sampson in [3]. This mapping on tangent bundles was discussed by several authors when studying the Lichnerowicz-type Laplacian on symmetric tensors, cf. [4,5].
We say that an A-connection is torsion-free if its torsion equals zero. In the article [19] by Enrietti, Fino, and Vezzoni, the connections on Lie algebras, understood precisely as anchored bundles with skew-symmetric brackets, are examined. Such research motivates the indication of the properties of connections on more general structures involving both Lie algebras and differential manifolds.
An important algebraic structure that provides further motivations for the study of connections on skew-symmetric algebroids is the special algebroid structure determined by an almost complex manifold. Namely, an almost complex structure J : TM → TM on 2n-dimensional manifold M defines a new skew-symmetric bracket [[X, Y]] J = [JX, Y] + [X, JY] − J[X, Y] giving a skew-symmetric algebroid structure in TM with J as an anchor (cf. [14]). The fulfillment of Jacobi's identity by the bracket [[·, ·]] J is equivalent to the integrability of J. Thus, structures of skew-symmetric algebroids naturally appear in geometric problems.
We now describe the sections of this paper. In Section 2, we discuss the substitution operator, the Lie derivative operator, and the exterior derivative operator on the general structure of a skew-symmetric algebroid. We also consider the symmetrized covariant derivative d s determined by a connection. Symmetrized covariant derivatives depend on symmetric products designated by the connection. In Section 3, we extend the concept of symmetric brackets to anchored bundles and the associated symmetric Lie derivative and d s to the whole tensor bundle. We note that d s satisfy the Cartan-type formulas analogous to those on exterior forms. The primary goal of Section 4 is to obtain the explicit formula for the symmetric bracket defined by the metric connection. As a result, we obtain an explicit formula for a symmetric bracket defined by a connection with totally skew-symmetric torsion. Section 5 deals with metric connections on skew-symmetric algebroids with an additional symmetric bracket. We show that the condition for connections with totally skew-symmetric torsion to be compatible with the metric is that the (alternating) Lie derivative of the metric should be equal to the minus of the symmetric Lie derivative of the metric. We also extend the fundamental theorem of Riemannian geometry to skew-symmetric algebroids equipped with a metric structure. In a particular case, this theorem implies the existence of the only torsion-free connection compatible with the metric, which is called the Levi-Civita connection associated with the metric. In consequence, we give an explicit formula for a metric connection with totally skew-symmetric torsion using the language of symmetric product. To describe this symmetric product, we use the Lie derivative and the exterior derivative operator induced by the structure of the skew-symmetric algebroid and their symmetric counterparts.
In Section 6, we consider an almost Hermitian structure and some symmetric brackets associated with connections that are compatible with the metric structure and the almost complex structure. We consider two structures of the skew-symmetric algebroid in the almost Hermitian manifold (M, g, J). The first structure is the tangent bundle with the identity as an anchor and with the Lie bracket of vector fields. The second skew-symmetric algebroid structure TM J induced by the almost complex structure J, where J is the anchor and the bracket is associated with the Nijenhuis tensor, was introduced in [14]. We also discuss the first canonical Hermitian connection ∇ and obtain a formula for ∇ in the case of nearly Kähler manifolds using the properties of symmetric brackets. Moreover, we show the dependence of the Bismut connection in Hermitian manifolds on the structure of the skew-symmetric algebroid TM J . The torsion of this connection depends on the exterior differential of the Kähler form in TM J . Section 7 deals with symplectic connections on skew-symmetric algebroids additionally equipped with a symplectic form. A symplectic connection as a torsion-free connection is determined completely by a skew-symmetric bracket in a given algebroid and some symmetric brackets. Finding symmetric brackets that define symmetric connections is our goal. We use the idea of constructing symplectic connections noticed by Tondeur in [20] and by Bieliavsky, Cahen, Gutt, Rawnsley, and Schwachhöfer in [21].
We show that this idea leads to connections that are determined by the affine sum of two symmetric brackets. The first of them is a symmetric bracket for a certain initial torsion-free connection ∇ 0 , while the second is a symmetric bracket of the connection, which is a dual to ∇ 0 with respect to the symplectic form. In addition to general considerations, we consider symplectic connections on symplectic manifolds and on skew-symmetric algebras, which contain the family of symplectic Lie algebras. We give an example of the symplectic connection on a 4-dimensional symplectic Lie algebra r 2 r 2 being the double direct product of 2-dimensional non-abelian Lie algebra r 2 = aff(R) of the group of affine transformations of the real line (cf. [22,23]). We note that the symmetric bracket associated with this symplectic connection defines a structure of Jordan algebra in r 2 r 2 .
Motivations for the considerations in Section 8 come from Poisson geometry, in particular from symplectic geometry. In a given Poisson manifold, the Lie bracket of Hamiltonian vector fields is the Hamiltonian vector field defined by the Poisson bracket of smooth functions. We show that the analogical property holds on skew-symmetric algebroids over a manifold M with a metric g for the symmetric bracket ·, · LC defined by the Levi-Civita connection associated with g. We define a symmetric bracket (·, ·) : . We consider in particular the case of a symplectic manifold where we introduce a symmetric bracket in the algebra of Hamiltonian vector fields and show that it has analogous properties to the Lie bracket of Hamiltonian vector fields.

The Exterior Derivative Operator and the Symmetrized Covariant Derivative
The (alternating) Lie derivative L a X : We define the A-connection∇ in the dual bundle in a classical way by the following formula for ω ∈ Γ(A * ), X, Y ∈ Γ(A). Next, by the Leibniz rule, we extend this connection to the Aconnection in the whole tensor bundle A * , which will also be denoted by ∇. Then, for We recall that the exterior derivative operator on the skew-symmetric algebroid for X, Y, Z ∈ Γ(A). If the bracket [·, ·] satisfies the Jacobi identity, i.e., Jac [·,·] = 0, d a • d a = 0 (discussed in [24]). If ∇ is torsion-free A-connection in A, then d a can be written as the alternation of the operator ∇ (cf. [2]), i.e., d a = (k where Alt is the alternator given by (Alt ζ)(X 1 , . . . , Here, we recall the classical Cartan's formulas: The symmetrized covariant derivative is which is the symmetrization of ∇ up to a constant on the symmetric power bundle, where Sym is the symmetrizer defined by (Sym ζ)(X 1 , . . . , for η ∈ Γ(S k A * ), X 1 , . . . , X k+1 ∈ Γ(A). We recall that d s in the case of tangent bundles was introduced by Sampson in [3], in which a symmetric version of Chern's theorem was proved. This mapping on tangent bundles was discussed in [1], in which a Frölicher-Nijenhuis bracket for vector-valued symmetric tensors was also discussed and in [25], in which the Dirac-type operator on symmetric tensors was considered. One can check that for η ∈ Γ(S k A * ), X 1 , . . . , X k+1 ∈ Γ(A), the following Koszul-type formula holds: . This shape of d s in the case A = TM was discovered by Heydari, Boroojerdian, and Peyghan in [1]. The symmetric R-bilinear form is called the symmetric product or the symmetric bracket induced by the A-connection ∇. The symmetric product in the case A = TM was first introduced by Crouch in [26]. However, the symmetric product for Lie algebroids was first considered in the context of control systems by Cortés and Martínez in [27]. Observe that for all X, Y ∈ Γ(A) and f ∈ C ∞ (M). Therefore, · : · satisfies the Leibniz-kind rule.
We add that Lewis in [28] gives some interesting geometrical interpretation of the symmetric product associated with the geodesically invariant property of a distribution. We say that a smooth distribution D on a manifold M with an affine connection ∇ TM is geodesically invariant if for every geodesic c : I → M satisfying the property c (s) ∈ D c(s) for some s ∈ I, we have c (s) ∈ D c(s) for every s ∈ I. Lewis proved in [28] that a distribution D on a manifold M equipped with an affine connection ∇ TM is geodesically invariant if and only if the symmetric product induced by ∇ TM is closed under D.

Symmetric Bracket. Symmetric Lie Derivative
In this section, we introduce the concepts of a symmetric bracket and the related mapping d s and the symmetric Lie derivative defined on the whole tensor bundle of a given skew-symmetric algebroid. Implemented operators satisfy the Cartan properties analogous to those fulfilled by the exterior derivative and the Lie derivative.
We define d s : Γ( k A * ) → Γ( k+1 A * ) on the whole tensor bundle by for Ω ∈ Γ( k A * ), X 1 , . . . , X k+1 ∈ Γ(A). We denote the restriction of d s to the symmetric power bundle S(A) by the same symbol.
The symmetric Lie derivative L s X : for Ω ∈ Γ( k A * ), X 1 , . . . , X k ∈ Γ(A). Notice that the image L s X (ϕ) of a symmetric tensor ϕ is also a symmetric tensor.
By using definitions, one can prove that the symmetric Lie derivative satisfies the following Cartan's identities analogous to these Cartan identities on exterior forms: Moreover, the symmetric Lie derivative has the following properties:

The Symmetric Brackets Induced by Connections Associated with a Metric Structure
Let (A, A , [·, ·]) be a skew-symmetric algebroid over a manifold M equipped with a pseudo-Riemannian metric g ∈ Γ(S 2 A * ) in the vector bundle A and an A-connection ∇ in A. Let · : · ∇ be the symmetric product induced by ∇ and d s the symmetrized covariant derivative. A connection ∇ on is said to be compatible with the metric g if ∇g = 0. The pseudo-Riemannian metric defines two homomorphisms of vector bundles For any X ∈ Γ(A), the 1-form i X g = g(X, ·) will be denoted, briefly, by X . We say that ∇ is a connection with totally skew-symmetric torsion with respect to a pseudo-Riemannian metric g if the tensor T g ∈ Γ( 3 A * ) given by In particular, if ∇ is a connection with totally skew-symmetric torsion compatible with g, then Therefore, we have Next, observe that Moreover, if ∇ is a metric connection with totally skew-symmetric torsion, then ∇g = 0, d s g = 0, and and, in consequence, we obtain (6). This completes the proof.
Applying Theorem 1, we have Theorem 2. Let X, Y, Z ∈ Γ(A) and let X : Y ∇ be the symmetric bracket of sections induced by ∇. Then, Proof. Using the following polarization formula and Theorem 1, we obtain First, observe that Since g is a symmetric tensor and T ∇ is skew-symmetric, we conclude that Moreover, Hence, it is clear that some summands of g( X : Y ∇ , Z) cancel. This establishes (7).
The formula in Theorem 2 gives an explicit one of symmetric bracket defined by any metric connection with totally skew-symmetric torsion. Corollary 1. Let ∇ be any metric A-connection in A with totally skew-symmetric torsion with respect to a pseudo-Riemannian metric g. Then,

A General Metric Compatibility Condition of Connections with Totally Skew-Symmetric Torsion. Fundamental Theorem of Pseudo-Riemannian Geometry and the Levi-Civita Connection
In this section, we consider skew-symmetric algebroids equipped with a metric structure and additionally with a symmetric bracket. The considerations in the last section show that the given skew-symmetric bracket and the metric define a symmetric bracket. We would like to note here that some properties hold for any given symmetric bracket. Thus, the discovery of the symmetric bracket leads to receiving new structure. Using the symmetric bracket setting by the metric, we will show a generalization of the fundamental theorem of the Riemannian geometry, which says that for a given metric and the 2-form Ω with values in a given algebroid, there is exactly one metric connection preserving the given metric and whose torsion is equal to Ω. In particular, we will obtain the form of a metric connection with totally skew-symmetric torsion and a formula for the Levi-Civita connection.
Let (A, A , [·, ·]) be a skew-symmetric algebroid over a manifold M equipped with a pseudo-Riemannian metric g ∈ Γ(S 2 A * ) in the vector bundle A and a symmetric bracket . By definition, we recall that the symmetric bracket is an Rbilinear symmetric mapping which satisfies the following Leibniz-kind rule: Let L s and d s denote the symmetric Lie derivative and the symmetric covariant derivative, respectively, and both are induced by · : · . Theorem 3. Let ∇ be an A-connection in A with totally skew-symmetric torsion with respect to a pseudo-Riemannian metric g on A given by for X, Y ∈ Γ(A), and some T ∈ Γ( 2 A * ⊗ A). Then, Hence, we can conclude the following condition on a connection with totally skewsymmetric torsion to be a metric connection: Corollary 2. If ∇ is an A-connection with totally skew-symmetric torsion with respect to g given by (8), then ∇ is metric with respect to g if and only if L a X g = −L s X g for any X ∈ Γ(A).
Now, we recall some properties of the (skew-symmetric) Lie derivative.
Theorem 4. Given a skew-symmetric algebroid (A, A , [·, ·]), we define for X, Y ∈ Γ(A). Then, · : · s is a symmetric bracket that defines the symmetric Lie derivative L s satisfying L s X g = −L a X g.

Proof.
It is evident that · : · s is a symmetric and R-bilinear mapping. Let X, Y, Z ∈ Γ(A).
we conclude that · : · s satisfies the Leibniz rule. In consequence, · : · s is a symmetric bracket. Observe that Similarly, Therefore, Theorem 3 now yields: The torsion-free connection ∇ given by for X, Y ∈ Γ(A), is compatible with g.
Now, we show that for the skew-symmetric algebroid structure equipped with additional pseudometric g, the following generalization of the fundamental theorem of Riemannian geometry holds: Theorem 5. Let g be a pseudo-Riemannian metric in the vector bundle A and Ω ∈ Γ( 2 A * ⊗ A) be a 2-form on A with values in A. Then, there exists a unique connection ∇ on A compatible with g such that its torsion tensor equals Ω, i.e., ∇g = 0 and T ∇ = Ω, and is given by Proof. Let X, Y ∈ Γ(A). Consider the linear connection ∇ g given by . Let ∇ be a linear connection compatible with g and with torsion T ∇ = Ω. Observe that This shows at once that S is determined uniquely. Since ∇g = 0, Theorem 2 and (12) now lead to From this and skew-symmetricity of the torsion T ∇ = Ω, it follows that One can immediately see that the result of Theorem 5 allows us to write formulas of some connections related to the given 2-skew-symmetric form on A with values in A. In the case, if ∇ is a metric A-connection in the bundle A with torsion T ∈ Γ( 2 A * ⊗ A) which is totally skew-symmetric with respect to g, we can write the form of this connection as ∇ X Y = 1 2 [X, Y] + X : Y s + 1 2 T(X, Y), where X : Y s is given in (9).
Given the bundle metric g on A, there is a unique A-connection in A which is torsionfree and metric-compatible (i.e., T ∇ = 0 and ∇g = 0). We call such an A-connection the Levi-Civita connection with respect to g. Of course, the explicit formula of the Levi-Civita connection compatible with g is written in Corollary 3.

Symmetric Brackets on Almost Hermitian Manifolds
In this section, we consider various symmetric brackets induced by the structures of almost Hermitian manifolds. We would like to show here that symmetric brackets are related to the symmetrized covariant derivatives and use the observed relationships to show some classical properties of the first canonical Hermitian connection, in particular in the case of nearly Kähler manifolds.
An almost complex structure (M, g, J) defines a skew-symmetric bracket on vector fields other than the usual Lie bracket of vector fields introducing a new skew-symmetric algebroid structure TM J into the tangent bundle. We note the relationship of this structure with connections compatible with a given Riemannian structure or an almost complex structure with totally skew-symmetric torsion. We consider the Bismut connection on the Hermitian manifold noting that the torsion of this connection depends on the differential d J of the Kähler form, where d J is the exterior differential operator in the algebroid TM J . Let (M, g, J) be an almost Hermitian manifold, i.e., (M, g) is a 2n-dimensional Riemannian manifold admitting an orthogonal almost complex structure J : TM → TM. Associated with the structures g and J are the Kähler form Ω ∈ Γ( 2 T * M) given by for X, Y ∈ Γ(TM) and the Nijenhuis tensor N J ∈ Γ( 2 T * M ⊗ TM) of J, which is defined by for X, Y ∈ Γ(TM).
Theorem 6. The mapping is a symmetric bracket in the skew-symmetric algebroid TM, ρ, [·, ·] ρ . Proof. Let d a be the exterior derivative on manifold M. Taking ρ = Id TM in Theorem 6 and using Theorem 4, we deduce that the formula defines a symmetric bracket in the tangent bundle with Id TM as an anchor and with the classical Lie bracket. Since Ω is a skew-symmetric 2-form on M, it follows that g(X, JY) + g(JX, Y) = Ω(Y, X) + Ω(Y, X) = 0. Therefore, Let ∇ be the Levi-Civita connection in (TM, Id TM , [·, ·]) with respect to g determining the symmetric bracket · : · ∇ , i.e., It is obvious that the bracket in Corollary 4 is a totally symmetric part of the connection ∇ J : Γ(TM) × Γ(TM) → Γ(TM) defined by Hence, ∇ J X Y = −J∇ X (JY). One can observe that the affine sum ∇ = 1 2 ∇ + ∇ J of connections ∇ and ∇ J is Lichnerowicz's first canonical Hermitian connection (cf. [29]), which is compatible with both the metric structure and the almost complex structure. In fact, since ∇ J J = −∇J and (∇ J g)(X, Y, Z) = (∇g)(X, JY, JZ) for X, Y, Z ∈ Γ(TM), we conclude that ∇J = 0 and ∇ J g = 0, and consequently ∇g = 1 2 ∇ + ∇ J g = 0. We will now consider some further properties of ∇ J and ∇. For an A-connection ∇ on A, we define the operators as the alternation and the symmetrization of ∇, respectively, i.e., for ζ ∈ Γ( k T * M), X 1 , . . . , X k+1 ∈ Γ(TM), we have We say that an almost Hermitian manifold (M, g, J) is nearly Kähler if (∇ X J)Y = −(∇ Y J)Y for X, Y ∈ Γ(TM) (cf. [30]). Thus, we have the following lemma. Moreover, if (M, g, J) is nearly Kähler, ∇ is a Hermitian connection with totally skewsymmetric torsion (cf. [31]). Now, we compare the symmetric brackets induced by ∇ and ∇. We will denote by · : · ∇ the symmetric product of ∇. Proof. We first observe that From this equality, we obtain Proof. Since ∇ = 1 2 ∇ + ∇ J is an affine sum of connections ∇ and ∇ J , From this result and Theorem 7, we see that Y)).
Proof. Let X, Y ∈ Γ(TM). Then (e.g., [31] shows the first equality), Moreover, Since ∇ is a totally skew-symmetric connection, Theorems 8 and (15) now lead to Combining (16) with Lemma 6 and Theorems 9 and 10, we get the following result: Now, we would like to show the relationship of the Bismut connection [32] with the structure of the algebroid TM J . The Bismut connection is the unique connection ∇ B on a complex Hermitian manifold (M, g, J) (J is integrable, i.e., the Nijenhuis tensor vanishes) with totally skew-symmetric torsion such that ∇ B g = 0 and ∇ B J = 0.
It is proved in (Theorem 10.1 [33]) by Friedrich and Ivanov that a Hermitian connection ∇ on an almost complex manifold (M, g, J) with totally skew-symmetric torsion exists if and only if the Nijenhuis tensor is totally skew-symmetric, and if the Nijenhuis tensor is totally skew-symmetric, the unique Hermitian connection with torsion T is given by ∇ = ∇ LC + 1 2 T, where ∇ LC is the Levi-Civita connection associated with g and g(T(X, Y), Z) = dΩ(JX, JY, JZ) + g(N(X, Y), Z) for X, Y, Z ∈ Γ(TM). The idea comes from [34] by Gauduchon (cf. also [31]).
We will now show the relation linking the torsion of such a connection with the structure of the algebroid TM J . As a conclusion, we obtain that the Bismut connection is determined by the Levi-Civita connection ∇ LC on M with respect to g and is related to d J Ω as follows: In view of Theorem 5, we can say that the Bismut connection is the only one connection with totally skew-symmetric torsion such that its torsion T B satisfies g(T B (X, Y), Z) = (d J Ω)(X, Y, Z) for X, Y ∈ Γ(TM).

Examples of Symmetric Product Associated with a Symplectic Connection
In this section, we show the existence of a symplectic connection for a skew-symmetric algebroid equipped with a symplectic form. We base our considerations on this general framework because we want to apply them to specific cases. Such structures include symplectic manifolds on the one hand, and symplectic Lie algebras on the other hand, understood as Lie algebroids with zero anchors. We will show that a symplectic form determines a symplectic connection understood as a linear torsion-free connection preserving the symplectic form. We add that the existence of such a connection is not unique. Each connection with zero torsion is determined by some symmetric brackets. We designate such brackets and see that the considered examples are related to a certain linear connection and its dual with respect to the symplectic form. More precisely, the resulting symmetric bracket is a certain affine combination of two symmetric brackets corresponding to the selected connection and to its dual connection.

Some Symplectic Connection on a Skew-symmetric Algebroid with Symplectic Form
Let (A, A , [·, ·]) be a skew-symmetric algebroid over a manifold M equipped with a symplectic form ω ∈ Γ( 2 A * ), i.e., a nondegenerated and 2-skew-symmetric form ω on A which is closed with respect to the exterior differential operator d a given in (4). We define ω : , which is an isomorphism with the inverse map ω : A → A * defined by the contraction ω (X) = i X ω. We will use the symbol X ω to denote i X ω for X ∈ Γ(A).
We find the construction of a symplectic connection on symplectic manifolds primarily in [20] by Tondeur and its application in [21]. When looking for a symplectic connection, a good starting point is to take some torsion-free connection ∇ 0 . When ∇ 0 is torsionfree and · : · 0 is the symmetric bracket determined by ∇ 0 , the construction is to find a symmetric 2-tensor S ∈ Γ(S 2 A * ⊗ A) such that · : · 0 + S is a symmetric product associated with the connection ∇ we are looking for, which means that (X, Y ∈ Γ(A)) defines a torsion-free connection compatible with ω. This approach uses the equality Alt( ∇)(η)

Z) for any
A-connection ∇ in A and η ∈ Γ( 2 A * ). Let ∇ 0 be an A-connection in A with zero torsion, T ∇ 0 = 0. Our search for a symplectic connection and its corresponding symmetric bracket will be based on the mentioned construction (cf. [20,21]) with ∇ 0 as the initial connection. We take the symmetric tensor S ∈ Γ(S 2 A * ⊗ A) uniquely determined by for X, Y, Z ∈ Γ(A). Then, (∇ X ω)(Y, Z) = 1 3 Alt(∇)(ω) = 1 3 d a ω = 0 because ∇ is torsionfree and ω is closed. Thus, in fact, the formula in (17) describes a symplectic connection. We will write S as a linear combination of two symmetric brackets. The first is the symmetric bracket corresponding to ∇ 0 , while the second is the symmetric bracket of its dual connection ∇ 0 * with respect to ω defined by Let us denote by · : · * the symmetric bracket induced by (∇ 0 ) * . The key to determining a symmetric bracket is the result written in the lemma below.
Lemma 8. Let · : · * be the symmetric bracket determined by the connection ∇ 0 * . Then, Proof. Let us take an arbitrary X, Y, Z ∈ Γ(A). The computation goes as follows: Now, we can write the formula on the symplectic connection ∇ in the language of symmetric brackets.

Corollary 6.
The symmetric bracket determined by ∇ is some affine sum of symmetric brackets associated with ∇ 0 and ∇ 0 * , namely

Remark 1.
The construction of a symplectic connection used here consists in looking for a ∈ R such that the torsion-free connection given by is compatible with ω. Therefore, we will see below why for a = 1 3 the connection ∇ is compatible with the symplectic form. For this purpose, let us note some properties of ∇ 0 , ∇ and the skew-symmetric and corresponding symmetric Lie derivatives written in the lemma below. Lemma 9. Let a ∈ R and L s,0 , L s, * , and L s denote the symmetric Lie derivatives determined by symmetric brackets · : · 0 , · : · * , and · : · s = a · : · 0 + (1 − a) · : · * , respectively. Let L alt be the Lie derivative associated with the skew-symmetric bracket [·, ·], X ∈ Γ(A), and ∇ be given in (20). Then, Proof. Since ∇ 0 is torsion-free, ∇ X Y = 1 2 ([X, Y] + X : Y s ) for X, Y ∈ Γ(A). Hence, (a) and (b) immediately follow. From Lemma 8, it follows that From this equality and the fact that d a ω = 0, one can obtain (c) and (d).
Properties from Lemma 9 are helpful in determining the relationship between ∇ω and ∇ 0 ω, which allows us to notice how important it is for the connection given in (20) to be compatible with the symplectic form; this is the influence of constant a = 1 3 . We present this relationship in the corollary below.
Proof. Let X ∈ Γ(A). Using successively the properties (a)-(d) from Lemma 9, we get In Sections 7.2 and 7.3, we give examples of symplectic connections and the corresponding symmetric brackets in two cases: a symplectic manifold and a symplectic algebra (in particular, a symplectic Lie algebra).

The Case of Symplectic Manifold
Let (M, ω) be a symplectic manifold, i.e., the manifold M is equipped with a nondegenerated and closed exterior 2-form ω on M. The form ω is then called a symplectic form on M. We define ω : T * M → TM, ω( ω (α), Y) = α(Y), which is an isomorphism with the inverse map ω : TM → T * M defined by the contraction ω (X) = i X ω. We will use the symbol X ω to denote i X ω for X ∈ Γ(TM).
We use the construction discussed in Section 7.1. We take the Levi-Civita connection associated with g as a starting connection. Let J : TM → TM be an almost complex structure compatible with ω and g be an associated pseudo-Riemannian metric, i.e., g(X, Y) = ω(X, JY) for X, Y ∈ Γ(TM). Let ∇ LC be the Levi-Civita connection induced by g and ·, · LC be the symmetric product defined by ∇ LC . Let g : T * M → TM denote the sharp operator for g, i.e., g( g (α), Y) = α(Y) for α ∈ Γ(T * M), Y ∈ Γ(TM).
We will calculate the dual connection and the symmetric bracket designated by it, also analogously to the Levi-Civita connection using the Lie derivative and the differential operator. Let us recall that in the geometry of Hermitian manifolds, a special role is played by the connection ∇ J associated with ∇ LC and the almost complex structure by The dual connection ∇ LC * to the Levi-Civita connection is just ∇ J . Indeed, note that since ∇ LC preserves the metric, we have for X, Y, Z ∈ Γ(TM).
Let · : · LC and · : · J denote the symmetric brackets determined by ∇ LC and ∇ J , respectively. Theorem 11 shows immediately that an example of a symplectic connection is a torsion-free connection ∇ that defines a symmetric bracket, which is the following affine combination 1 3 · : · LC + 2 3 · : · , i.e., for X, Y ∈ Γ(TM). We will now designate the symmetric bracket · : · J setting by ∇ J . Note that using the formula (11) of · : · LC we can write explicitly the symmetric bracket of the connection ∇ J :

Remark 2.
When looking for symmetric brackets, we notice that properties written in Lemmas 4 and 3 imply that one of the brackets is where the symmetric Lie derivative is defined for ·, · LC , i.e., for the symmetric product associated with ∇ LC . Observe that (·, ·) s is the symmetric product defined by the connection ∇ given by ∇ X Y := 1 2 ω (L a X Y ω + L s X Y ω ) for X, Y ∈ Γ(TM). One can check that ∇ is actually the Levi-Civita connection associated with g.

The Case of Symplectic Skew-symmetric Algebra
We say that (g, [·, ·]) is a skew-symmetric algebra if g is a real vector space and [·, ·] is a bilinear skew-symmetric mapping. A skew-symmetric algebra can be regarded as a skewsymmetric algebroid with a zero anchor. In particular, any finite-dimensional Lie algebra is such an algebra. We call each skew-symmetric algebra (g, [·, ·]) together with a bilinear skew-symmetric nondegenerated closed form ω ∈ 2 g * a symplectic skew-symmetric algebra. Then, ω is said to be a symplectic form on g. A Lie algebra (g, [·, ·]) endowed with a symplectic form ω is called a symplectic Lie algebra.
Let (g, [·, ·]) be a skew-symmetric algebra together with a bilinear skew-symmetric nondegenerated form ω ∈ 2 g * . Let ad : g → End(g) be the adjoint representation of g, i.e., ad x (y) = [x, y] for x, y ∈ g. Our goal is to admit a certain symplectic connection using the result of Theorem 11. Thus, the starting point is a certain torsion-free connection. As a starting connection, let us take ∇ 0 = 1 2 ad. Next, we take the connection ∇ * = 1 2 ad * , where ad * is dual to ad with respect to the symplectic form ω. To be more precise, ∇ * is determined as follows: for x, y, z ∈ g. Hence, the symmetric bracket · : · * of 1 2 ad * is given by Since · : · ∇ 0 = 0 holds, Theorem 11, indicates that defines a symplectic connection with respect to the symplectic form ω. From (21), we conclude that for x, y, z ∈ g. Using the condition dω = 0, we can rewrite (23) as Example 1. We will designate a symplectic connection of the symplectic algebra g = r 2 r 2 from [23], where the classification of four dimensional symplectic Lie algebras is given. We consider a 4-dimensional vector space g with a basis {e 1 , e 2 , e 3 , e 3 }. Let e 1 , e 2 , e 3 , e 4 be its dual basis of g * . We define the skew-symmetric bracket [·, ·] : g × g → g satisfying the following rules [e 1 , e 2 ] = e 2 , [e 3 , e 4 ] = e 4 . The Lie algebra defined in this way is isomorphic to the direct product r 2 × r 2 , where r 2 = aff(R) is 2-dimensional non-abelian Lie algebra of the group of affine transformations of the real line (cf. [22,23]). Let a, b, c ∈ R. Take the skew-symmetric bilinear form Note that the determinant of the matrix ω(e i , e j ) of ω in the frame B = (e 1 , e 2 , e 3 , e 3 ) is equal to a 2 c 2 . It follows that if a = 0 and c = 0, then ω is nondegenerate, and in consequence, ω is a symplectic form on g. We further assume that a and c are nonzero reals. The symmetric bracket · : · * of 1 2 ad * is given by (21). Therefore, one can check that · : · * is fully designated by the following values: Therefore, a symplectic connection ∇ given in (22) and (23)  described in Section 7.1 gives the same symplectic connection for both of the initial torsionfree connections. In h we have a natural metric g ∈ S 2 h * given by To discover a symplectic connection with respect to ω, one can take the Levi-Civita connection with respect to g as an initial connection. It can be checked that ∇ is actually the Levi-Civita ∇ LC connection with respect to g. Thus, the Levi-Civita connection related to g is also a symplectic connection in h with respect to the symplectic form ω.

The Bochner Bracket of Smooth Functions
In this section, given the skew-symmetric algebroid endowed with a metric, we consider a symmetric product (·, ·) of smooth functions determined naturally by the metric. We consider a linear connection ∇ on a given algebroid and examine whether for a symmetric product · : · ∇ determined by this connection there is the property grad f : grad h ∇ = grad( f , h) for any smooth functions f , h. Thus, we investigate whether there is an analogous property that holds for Hamiltonian vector fields on a Poisson manifold. We will see that this property holds for the connection with totally skew-symmetric torsion. The symmetric bracket defined by the Levi-Civita connection is essential.
By the gradient of a smooth function f ∈ C ∞ (M) with respect to g we mean the section where d a is the exterior derivative operator in the a skew-symmetric algebroid (A, A , [·, ·]), i.e., (d a f )(X) = ( A • X)( f ) for X ∈ Γ(A). Now, define the symmetric bracket on smooth functions This bracket will be called the Bochner bracket of smooth functions, following Crouch [26]. Observe that (·, ·) is a symmetric R-bilinear mapping with the property We would now like to examine under what conditions the linear connection ∇ defines a symmetric bracket · : · ∇ , for which the gradient of the Bochner bracket of smooth functions defined in (24) is the bracket of the gradients. We notice in the lemma below the relationship of the Lie derivative with the symmetric bracket of functions. These properties are related to the symmetric bracket defined by the metric connection and given in (11).
As a consequence of the last result and Theorem 5, we obtain the following: Theorem 12. If ∇ is a metric A-connection in A with totally skew-symmetric torsion with respect to a pseudo-Riemannian metric g and f , h ∈ C ∞ (M), then grad f : grad h ∇ = grad( f , h).
Proof. Let f , h ∈ C ∞ (M). Define X = grad f and Y = grad h. By Theorem 5 and Lemma 10, we have at once that grad f : grad h ∇ = X : Y ∇ = (L a X Y + L a Y X − d a (g(X, Y)) = grad( f , h) + grad( f , h) − grad( f , h) = grad( f , h).

Corollary 8.
The space of all gradients Grad(A, g) together with the restricted symmetric bracket · : · LC : Grad(A, g) × Grad(A, g) → Grad(A, g) of the Levi-Civita connection associated with g forms a symmetric algebra. The multiplication · : · LC satisfies X : f Y LC = f X : Y LC + g(grad f , X)Y for X, Y ∈ Grad(A, g), f ∈ C ∞ (M).

The Case of Symplectic Manifolds.
Let M continue to be a symplectic manifold with a symplectic form ω. Fix an almost complex structure J : TM → TM compatible with ω, i.e., J is a bundle morphism with J 2 = − id TM and g ∈ Γ(S 2 A * ) defined by g(X, Y) = ω(X, JY) is a Riemannian metric. These conditions imply that J : TM → TM is an isometry both with respect to ω (we then say that J is a symplectomorphism) and with respect to g, i.e., ω(JX, JY) = ω(X, Y) and g(JX, JY) = g(X, Y) for X, Y ∈ Γ(TM), respectively. Let ω : T * M → TM and ω : TM → T * M be the mappings defined at the beginning of Section 7.2 and determined by the symplectic form ω. On the other hand, the maps g : T * M → TM, g( g (α), Y) = α(Y) and ω : TM → T * M, ω (X) = i X ω are determined by the metric g. For any X ∈ Γ(A), the forms i X g and i X ω will be denoted, briefly, by X and X ω , respectively.
For every f ∈ C ∞ (M), there is a corresponding unique vector field H f ∈ Γ(TM) such that i H f ω = d f .
The vector field H f is called the Hamiltonian vector field with Hamiltonian function f . The space of all Hamiltonian vector fields on (M, ω) is denoted by X Ham (M). Since [X, Y] = H ω(Y,X) for any Hamiltonian vector fields X, Y, X Ham (M) is a Lie algebra with the Lie bracket of vector fields. Let · : · LC be the symmetric bracket determined by the Levi-Civita connection associated with g. Let us note that the relations between the symplectic structure, the almost complex structure, and the metric imply the following identities: g = J • ω , X = −(JX) ω , X ω = (JX) (26) for X, Y ∈ Γ(TM). From this, we have For any X, Y ∈ Γ(TM), we define (X : Y) = J JX : JY LC .
Since X Ham (M) : X Ham (M) ⊂ X Ham (M) holds, the map (· : ·) introduces the structure of symmetric algebra into the space of Hamiltonian vector fields. From the general form of the Levi-Civita connection and identities (26), it follows that (X : Y) = −(J • g )(L a JX (JY) + L a JY (JX) − d a (g(X, Y)) = ω (L a JX Y ω + L a JY X ω − d a (ω(X, JY)) for X, Y ∈ Γ(TM).
The symmetric bracket of smooth functions introduced at the beginning of this section by (24) is connected with the corresponding Hamiltonian vector fields. This relation is shown in the theorem below. for all X, Y ∈ X Ham (M).

Concluding Remarks
The result obtained in the last section generalizes the result for Riemannian manifolds and the Levi-Civita connections [26] and shows that the properties analogous to those for the Hamiltonian vector fields on Poisson manifolds naturally occur for gradients and symmetric brackets determined by some connections. According to Theorem 2, it is important to assume that a given connection compatible with the pseudometric has a totally skew-symmetric torsion with respect to the metric. However, the symmetric brackets of such connection are completely determined by the bracket for the Levi-Civita connection. Examples show that the symmetric bracket associated with a metric connection and brackets for the dual connections with respect to a given nondegenerate bilinear form have an important role in the construction of linear connections on various geometric structures related to skew-symmetric algebroids.