Finsler structures on holomorphic Lie algebroids

TL;DR

This paper extends the concept of Finsler structures from holomorphic vector bundles to holomorphic Lie algebroids, introducing connections and studying their properties in this more general setting.

Contribution

It introduces Finsler structures, partial and Chern-Finsler connections on holomorphic Lie algebroids, expanding the geometric framework beyond vector bundles.

Findings

Defined complex Finsler structures on holomorphic Lie algebroids

Studied nonlinear and linear connections and their relations

Introduced the analogue of the Chern-Finsler connection for Lie algebroids

Abstract

Complex Finsler vector bundles have been studied mainly by T. Aikou, who defined complex Finsler structures on holomorphic vector bundles. In this paper, we consider the more general case of a holomorphic Lie algebroid E and we introduce Finsler structures, partial and Chern-Finsler connections on it. First, we recall some basic notions on holomorphic Lie algebroids. Then, using an idea from E. Martinez, we introduce the concept of complexified prolongation of such an algebroid. Also, we study nonlinear and linear connections on the tangent bundle of E and on the prolongation of E and we investigate the relation between their coefficients. The analogue of the classical Chern-Finsler connection is defined and studied in the paper for the case of the holomorphic Lie algebroid.

Equations

$$[s_1,f{s}_2{]}_E=f[s_1,s_2{]}_E+{\rho }_E(s_1)(f)s_2$$

$${\rho }_E(e_{\alpha })={\rho }_{\alpha }^k\frac{\partial }{\partial z^k},$$

$$[e_{\alpha },e_{\beta }{]}_E={\mathcal{C}}_{\alpha \beta }^{\gamma }{e}_{\gamma }.$$

$${\mathcal{T}}_{\mathbb{C}}E=\{(e,v)\in E_{\mathbb{C}}\times T_{\mathbb{C}}E|{\rho }_{E,\mathbb{C}}(e)={\pi }_{\ast ,\mathbb{C}}(v)\}$$

$${\rho }_{\mathcal{T},\mathbb{C}}:{\mathcal{T}}_{\mathbb{C}}E\to T_{\mathbb{C}}E,{\rho }_{\mathcal{T},\mathbb{C}}(e,v)=v,$$

$$V{\mathcal{T}}^{\prime }E=\ker {\tau }_1=\{(e,v)\in {\mathcal{T}}^{\prime }E|{\tau }_1(e,v)=0\}.$$

$$v={\rho }_{\alpha }^k{v}^{\alpha }\frac{\partial }{\partial z^k}+w^{\alpha }\frac{\partial }{\partial u^{\alpha }}.$$

$$\mathcal{Z}_{\alpha}(u)=\bigg{(}e_{\alpha}(\pi(u)),\rho^{k}_{\alpha}\dfrac{\partial}{\partial z^{k}}\bigg{|}_{u}\bigg{)},\qquad\mathcal{V}_{\alpha}(u)=\bigg{(}0,\dfrac{\partial}{\partial u^{\alpha}}\bigg{|}_{u}\bigg{)},$$

$$\mathcal{Z}_{\bar{\alpha}}(u)=\bigg{(}e_{\bar{\alpha}}(\pi(u)),\rho_{\bar{\alpha}}^{\bar{k}}\dfrac{\partial}{\partial\bar{z}^{k}}\bigg{|}_{u}\bigg{)},\quad\mathcal{V}_{\bar{\alpha}}(u)=\bigg{(}0,\dfrac{\partial}{\partial\bar{u}^{\alpha}}\bigg{|}_{u}\bigg{)}.$$

$${\tilde{z}}^k={\tilde{z}}^k(z),{\tilde{u}}^{\alpha }=M_{\beta }^{\alpha }(z)u^{\beta },$$

$${\tilde{e}}_{\alpha }=W_{\alpha }^{\beta }{e}_{\beta },$$

$${\tilde{\rho }}_{\alpha }^k=W_{\alpha }^{\beta }{\rho }_{\beta }^h\frac{\partial {\tilde{z}}^k}{\partial z^h},$$

$$\frac{\partial }{\partial z^h}$$

$$\frac{\partial }{\partial u^{\beta }}$$

$${\tilde{z}}^k$$

$${\tilde{u}}^{\alpha }$$

$${\tilde{v}}^{\alpha }$$

$${\tilde{w}}^{\alpha }$$

$${\tilde{\mathcal{Z}}}_{\beta }$$

$${\tilde{\mathcal{V}}}_{\beta }$$

$$\mathcal{L}=u^{\alpha }{\mathcal{V}}_{\alpha }$$

$$T({\mathcal{Z}}^{\alpha })={\mathcal{V}}^{\alpha },T({\mathcal{V}}^{\alpha })=0.$$

$$T(\mathcal{S})=\mathcal{L}.$$

$$\mathcal{S}=u^{\alpha }{\mathcal{Z}}_{\alpha }-2G^{\alpha }(z,u){\mathcal{V}}_{\alpha }.$$

$$\frac{\partial }{\partial z^k}:={\partial }_k,\frac{\partial }{\partial u^{\alpha }}:={\dot{\partial }}_{\alpha },\frac{\partial }{\partial {\bar{z}}^k}:={\partial }_{\bar{k}},\frac{\partial }{\partial {\bar{u}}^{\alpha }}:={\dot{\partial }}_{\bar{\alpha }}.$$

$${\rho }_{\mathcal{T}}({\mathcal{Z}}_{\alpha })={\rho }_{\alpha }^k{\partial }_k=:{\partial }_{\alpha },{\rho }_{\mathcal{T}}({\mathcal{V}}_{\alpha })={\dot{\partial }}_{\alpha },$$

$${\rho }_{\mathcal{T}}({\mathcal{Z}}_{\bar{\alpha }})={\rho }_{\bar{\alpha }}^{\bar{z}}{\partial }_{\bar{k}}=:{\partial }_{\bar{\alpha }},{\rho }_{\mathcal{T}}({\mathcal{V}}_{\bar{\alpha }})={\dot{\partial }}_{\bar{\alpha }}.$$

$$[{\mathcal{Z}}_{\alpha },{\mathcal{Z}}_{\beta }{]}_{\mathcal{T}}={\mathcal{C}}_{\alpha \beta }^{\gamma }{\mathcal{Z}}_{\gamma },$$

$$[{\mathcal{Z}}_{\alpha },{\mathcal{Z}}_{\bar{\beta }}{]}_{\mathcal{T}}=0,$$

$$l^h({\mathcal{Z}}_{\alpha })={\mathcal{Z}}_{\alpha }-N_{\alpha }^{\beta }{\mathcal{V}}_{\beta },l^h({\mathcal{V}}_{\alpha })=0,$$

$${\delta }_k={\partial }_k-N_k^{\beta }{\dot{\partial }}_{\beta }$$

$$N_{\alpha }^{\beta }={\rho }_{\alpha }^k{N}_k^{\beta }.$$

$${\mathcal{X}}_{\alpha }={\mathcal{Z}}_{\alpha }-N_{\alpha }^{\beta }{\mathcal{V}}_{\beta }$$

$${\rho }_{\mathcal{T}}({\mathcal{Z}}_{\alpha })={\partial }_{\alpha },{\rho }_{\mathcal{T}}({\mathcal{V}}_{\alpha })={\dot{\partial }}_{\alpha },$$

Full text

First, we recall some basic notions on holomorphic Lie algebroids. Then, using an idea from E. Martinez, we introduce the concept of complexified prolongation of such an algebroid. Also, we study nonlinear and linear connections on the tangent bundle $T_{\mathbb{C}}E$ and on the prolongation $\mathcal{T}_{\mathbb{C}}E$ and we investigate the relation between their coefficients. The analogue of the classical Chern-Finsler connection is defined and studied in the paper for the case of the holomorphic Lie algebroid $E$.

AMS Mathematics Subject Classification $(2010)$: 17B66, 53B35, 53B40.

Key words and phrases: Holomorphic Lie algebroid, anchor map, Finsler, nonlinear connection, prolongation, Lagrangian structures.

FINSLER STRUCTURES ON HOLOMORPHIC LIE ALGEBROIDS

**Alexandru Ionescu111Faculty of Mathematics and Informatics, Transilvania University of Braşov, Romania,

e-mail: alexandru.codrin.ionescu@gmail.com**

Introduction

Complex Finsler structures on holomorphic vector bundles have been introduced and studied mainly by T. Aikou ([3, 4, 5]). In this paper, we introduce Finsler structures, partial and Chern-Finsler connections in the more general case of a holomorphic Lie algebroid. The setting for the geometrical constructions will be the tangent bundle of the algebroid and the prolongation of the algebroid, a concept introduced by E. Martinez ([13, 14]) and studied also by L. Popescu [17, 18] and E. Peyghan ([16]).

We briefly recall here some general notions and set our notations for the geometry of holomorphic Lie algebroids. More ideas can be found in [8, 9].

Let $M$ be a complex $n$-dimensional manifold and $E$ a holomorphic vector bundle of rank $m$ over $M$. Denote by $\pi:E\rightarrow M$ the holomorphic bundle projection, by $\Gamma(E)$ the module of holomorphic sections of $\pi$ and let $T_{\mathbb{C}}M=T^{\prime}M\oplus T^{\prime\prime}M$ be the complexified tangent bundle of $M$, split into the holomorphic and antiholomorphic tangent bundles.

The holomorphic vector bundle $E$ over $M$ is called anchored if there exists a holomorphic vector bundle morphism $\rho:E\rightarrow T^{\prime}M$, called anchor map.

The following definition is known from [6, 7, 10, 12, 20].

A holomorphic Lie algebroid over $M$ is a triple $(E,[\cdot,\cdot]_{E},\rho_{E})$, where $E$ is a holomorphic vector bundle anchored over $M$, $[\cdot,\cdot]_{E}$ is a Lie bracket on $\Gamma(E)$ and $\rho_{E}:\Gamma(E)\rightarrow\Gamma(T^{\prime}M)$ is the homomorphism of complex modules induced by the anchor map $\rho$ such that

[TABLE]

for all $s_{1},s_{2}\in\Gamma(E)$ and all $f\in Hol(M)$.

As a consequence of this definition, we have that $\rho_{E}([s_{1},s_{2}]_{E})=[\rho_{E}(s_{1}),\\ \rho_{E}(s_{2})]_{T^{\prime}M}$ ([12]), which means that $\rho_{E}:(\Gamma(E),[\cdot,\cdot]_{E})\rightarrow(\Gamma(T^{\prime}M),[\cdot,\cdot])$ is a complex Lie algebra homomorphism.

Locally, if $\{z^{k}\}_{k=\overline{1,n}}$ is a complex coordinate system on $U\subset M$ and $\{e_{\alpha}\}_{\alpha=\overline{1,m}}$ is a local frame of holomorphic sections of $E$ on $U$, then $(z^{k},u^{\alpha})$ are local complex coordinates on $\pi^{-1}(U)\subset E$, where $u=u^{\alpha}e_{\alpha}(z)\in E$.

The action of the holomorphic anchor map $\rho_{E}$ can locally be described by

[TABLE]

while the Lie bracket $[\cdot,\cdot]_{E}$ is locally given by

[TABLE]

The holomorphic functions $\rho^{k}_{\alpha}=\rho^{k}_{\alpha}(z)$ and $\mathcal{C}^{\>\gamma}_{\alpha\beta}=\mathcal{C}^{\>\gamma}_{\alpha\beta}(z)$ on $M$ are called the holomorphic anchor coefficients and the holomorphic structure functions of the Lie algebroid E, respectively.

Since $E$ is a holomorphic vector bundle, the natural complex structure acts on its sections by $J_{E}(e_{\alpha})=ie_{\alpha}$ and $J_{E}(\bar{e}_{\alpha})=-i\bar{e}_{\alpha}$. Hence, the complexified bundle $E_{\mathbb{C}}$ of $E$ decomposes into $E_{\mathbb{C}}=E^{\prime}\oplus E^{\prime\prime}$. The sections of $E_{\mathbb{C}}$ are given as usual by $\Gamma(E^{\prime})=\{s-iJ_{E}s\>|\>s\in\Gamma(E)\}$ and $\Gamma(E^{\prime\prime})=\{s+iJ_{E}s\>|\>s\in\Gamma(E)\}$, respectively. The local basis of sections of $E^{\prime}$ is $\{e_{\alpha}\}_{\alpha=\overline{1,m}}$, while for $E^{\prime\prime}$, the basis is represented by their conjugates $\{\bar{e}_{\alpha}:=e_{\bar{\alpha}}\}_{\alpha=\overline{1,m}}$. Since $\rho_{E}:\Gamma(E)\rightarrow\Gamma(T^{\prime}M)$ is a homomorphism of complex modules, it extends naturally to the complexified bundle by $\rho^{\prime}(e_{\alpha})=\rho_{E}(e_{\alpha})$ and $\rho^{\prime\prime}(e_{\bar{\alpha}})=\rho_{E}(e_{\bar{\alpha}})$. Thus, we can write $\rho_{E}=\rho^{\prime}\oplus\rho^{\prime\prime}$ on the complexified bundle, and since $E$ is holomorphic, the functions $\rho(z)$ are holomorphic, hence $\rho_{\alpha}^{\bar{k}}=\rho_{\bar{\alpha}}^{k}=0$ and $\rho_{\bar{\alpha}}^{\bar{k}}=\overline{\rho_{\alpha}^{k}}$.

As a vector bundle, the holomorphic Lie algebroid $E$ has a natural structure of complex manifold. If we wish to study a Finsler structure on the manifold $E$ with coordinates in a local chart $(z^{k},u^{\alpha})$, is of interest to consider the action of such a structure on the sections of the complexified tangent bundle $T_{\mathbb{C}}E$.

Two approaches on the tangent bundle of a holomorphic Lie algebroid $E$ were described in [9]. The first is the classical study of the tangent bundle of $E$, while the second is that of the prolongation of $E$. The latter idea is due to E. Martinez [13, 14] based on the work of P. Liberman [11] and it appeared from the need of a formalism for ordinary Lagrangian Mechanics where equations of motion could be obtained independent of structures on the dual of the algebroid, a problem raised by Weinstein ([19, 20]). For introducing geometrical objects such as nonlinear connections or sprays which could be studied in a similar manner to the tangent bundle of a complex manifold, this setting seems therefore more attractive for studying the Finsler structure. Further, we briefly introduce the notion of prolongation of a holomorphic Lie algebroid and complete the study with some results on its complexification.

1 The prolongation of a holomorphic Lie algebroid

Let us recall from [9] some ideas on the prolongation of the holomorphic Lie algebroid.

For the holomorphic Lie algebroid $E$ over a complex manifold $M$, its prolongation will be introduced using the tangent mapping $\pi^{\prime}_{\ast}:T^{\prime}E\rightarrow T^{\prime}M$ and the holomorphic anchor map $\rho_{E}:E\rightarrow T^{\prime}M$. Define the subset $\mathcal{T}^{\prime}E$ of $E\times T^{\prime}E$ by $\mathcal{T}^{\prime}E=\{(e,v)\in E\times T^{\prime}E\ |\ \rho(e)=\pi^{\prime}_{\ast}(v)\}$ and the mapping $\pi^{\prime}_{\mathcal{T}}:\mathcal{T}^{\prime}E\rightarrow E$, given by $\pi^{\prime}_{\mathcal{T}}(e,v)=\pi_{E}(v)$, where $\pi^{\prime}_{E}:T^{\prime}E\rightarrow E$ is the tangent projection. Then $(\mathcal{T}^{\prime}E,\pi^{\prime}_{\mathcal{T}},E)$ is a holomorphic vector bundle over $E$, of rank $2m$. Moreover, it is easy to verify that the projection onto the second factor $\rho^{\prime}_{\mathcal{T}}:\mathcal{T}^{\prime}E\rightarrow T^{\prime}E$, $\rho^{\prime}_{\mathcal{T}}(e,v)=v$, is the anchor of a new holomorphic Lie algebroid over the complex manifold $E$ (see [13, 14, 17, 18] for details in the real case).

The holomorphic Lie algebroid $E$ has a structure of holomorphic vector bundle with respect to the complex structure $J_{E}$. Let $E_{\mathbb{C}}$ be the complexified bundle of $E$ and $T_{\mathbb{C}}E=T^{\prime}E\oplus T^{\prime\prime}E$, its complexified tangent bundle. A similar idea to that of Martinez ([13, 14]) leads to the definition of the complexified prolongation $\mathcal{T}_{\mathbb{C}}E$ of $E$ as follows. We extend $\mathbb{C}$-linearly the tangent mapping $\pi^{\prime}_{\ast}:T^{\prime}E\rightarrow T^{\prime}M$ and the anchor $\rho_{E}:E\rightarrow T^{\prime}M$ to obtain $\pi_{\ast,\mathbb{C}}:T_{\mathbb{C}}E\rightarrow T_{\mathbb{C}}M$ and $\rho_{E,\mathbb{C}}:E_{\mathbb{C}}\rightarrow T_{\mathbb{C}}M$, respectively. If $\pi_{E,\mathbb{C}}:T_{\mathbb{C}}E\rightarrow E_{\mathbb{C}}$ is the tangent projection extended to the complexified spaces, then we can define the subset $\mathcal{T}_{\mathbb{C}}E$ of $E_{\mathbb{C}}\times T_{\mathbb{C}}E$ by

[TABLE]

and the mapping $\pi_{\mathcal{T},\mathbb{C}}:\mathcal{T}_{\mathbb{C}}E\rightarrow E_{\mathbb{C}}$ by $\pi_{\mathcal{T},\mathbb{C}}(e,v)=\pi_{E,\mathbb{C}}(v)$. Thus, we obtain a complex vector bundle $(\mathcal{T}_{\mathbb{C}}E,\pi_{\mathcal{T},\mathbb{C}},E_{\mathbb{C}})$ over $E_{\mathbb{C}}$. Also, the projection onto the second factor,

[TABLE]

is the anchor of a complex Lie algebroid over $E_{\mathbb{C}}$, called the complexified prolongation of $E$. Indeed, $\mathcal{T}^{\prime}E=E^{\prime}\times T^{\prime}E$ is a holomorphic product bundle and, since $\rho_{E,\mathbb{C}}=\rho^{\prime}+\rho^{\prime\prime}$ and $\pi_{\ast,\mathbb{C}}=\pi^{\prime}_{\ast}+\pi^{\prime\prime}_{\ast}$ are holomorphic mappings with $\rho_{E,\mathbb{C}}(e)=\pi_{\ast,\mathbb{C}}(v)$, then $\rho^{\prime}(\bar{e})=\pi^{\prime}_{\ast}(\bar{v})=0$. We conclude that the complexified prolongation coincides with the complexification of the prolongation $\mathcal{T}^{\prime}E$ (as a complex manifold), that is $\mathcal{T}_{\mathbb{C}}E=\mathcal{T}^{\prime}E\oplus\mathcal{T}^{\prime\prime}E$, where $\mathcal{T}^{\prime\prime}E=\overline{\mathcal{T}^{\prime}E}=E^{\prime\prime}\times T^{\prime\prime}E$, with the required restrictions $\rho^{\prime}_{E}(e)=\pi^{\prime}_{\ast}(v)$ and its conjugate.

The vertical subbundle of the complexified prolongation is defined using the projection onto the first factor $\tau_{1}:\mathcal{T}^{\prime}E\rightarrow E$, $\tau_{1}(e,v)=e$, by

[TABLE]

From the construction above, it follows that any element of $V\mathcal{T}^{\prime}E$ has the form $(0,v)\in E\times\mathcal{T}^{\prime}E$, with $\pi^{\prime}_{\ast}(v)=0$. Then, vertical elements $(0,v)\in V\mathcal{T}^{\prime}E$ have the property $v\in\ker\pi^{\prime}_{\ast}$. By conjugation, we obtain $V\mathcal{T}^{\prime\prime}E$ and the complexified vertical subbundle of the prolongation $\mathcal{T}_{\mathbb{C}}E$ is $V\mathcal{T}_{\mathbb{C}}E=V\mathcal{T}^{\prime}E\oplus V\mathcal{T}^{\prime\prime}E$.

The local coordinates on $\mathcal{T}^{\prime}E$ are $(z^{k},u^{\alpha},v^{\alpha},w^{\alpha})$, obtained as follows. For an element $e=v^{\alpha}e_{\alpha}(z)\in E$ and a vector $v$ tangent at $E$ in $u=u^{\alpha}e_{\alpha}(z)\in E$, that is, $v\in T^{\prime}_{u}E$, the identity $\rho^{\prime}(e)=\pi^{\prime}_{*}(v)$ yields the vector $v$ in the form

[TABLE]

The local basis of holomorphic sections in $\Gamma(\mathcal{T}^{\prime}E)$ is $\{\mathcal{Z}_{\alpha},\mathcal{V}_{\alpha}\}$, defined by

[TABLE]

where \bigg{\{}\dfrac{\partial}{\partial z^{k}},\dfrac{\partial}{\partial u^{\alpha}}\bigg{\}} is the natural frame on $T^{\prime}E$. Therefore, a local basis of sections in $\Gamma(\mathcal{T}_{\mathbb{C}}E)$ is $\{\mathcal{Z}_{\alpha},\mathcal{V}_{\alpha},\mathcal{Z}_{\bar{\alpha}},\mathcal{V}_{\bar{\alpha}}\}$, where $\mathcal{Z}_{\bar{\alpha}},\mathcal{V}_{\bar{\alpha}}$ are obtained by conjugation, i.e.,

[TABLE]

For a change of local charts on $E$ given by

[TABLE]

the basis of sections on $E$, $\{e_{\alpha}\}$, changes by

[TABLE]

the local coefficients of the anchor map, $\rho^{k}_{\alpha}$, change as

[TABLE]

while the natural frame of fields \bigg{\{}\dfrac{\partial}{\partial z^{k}},\dfrac{\partial}{\partial u^{\alpha}}\bigg{\}} from $T^{\prime}E$ changes by the rules

[TABLE]

see [9] for more details. Obviously, since $E$ is a complex manifold, all of the above rules can also be conjugated.

The coordinates on $\mathcal{T}^{\prime}E$ change by the rules

[TABLE]

Using these, we obtain the rules of change for the local basis of sections $\{\mathcal{Z}_{\alpha},\mathcal{V}_{\alpha},\mathcal{Z}_{\bar{\alpha}},\mathcal{V}_{\bar{\alpha}}\}$ from $\Gamma(\mathcal{T}_{\mathbb{C}}E)$:

[TABLE]

together with their conjugates.

By using a complete lift (which can be defined naturally) to the prolongation $\mathcal{T}^{\prime}E$, the Liouville vector and an almost tangent structure can be defined:

[TABLE]

and

[TABLE]

A section $\mathcal{S}$ of the holomorphic Lie algebroid $\mathcal{T}^{\prime}E$ is called complex semispray on $E$ if

[TABLE]

The local expression of a semispray on $\mathcal{T}^{\prime}E$ is

[TABLE]

The local coefficients $G^{\alpha}$ of a special complex semispray can be derived from a Lagrange (Finsler) function on $E$, as proved in Theorem 2.1 from [9].

As further notations, we shall use the well-known abbreviations

[TABLE]

The action of the anchor map $\rho_{\mathcal{T}}$ on $\mathcal{T}E$ is locally described by

[TABLE]

Proposition 1.1**.**

The Lie brackets of the basis $\{\mathcal{Z}_{\alpha},\mathcal{V}_{\alpha},\mathcal{Z}_{\bar{\alpha}},\mathcal{V}_{\bar{\alpha}}\}$ are

[TABLE]

and the conjugates, for instance $[\mathcal{Z}_{\bar{\alpha}},\mathcal{Z}_{\bar{\beta}}]_{\mathcal{T}}=\overline{[\mathcal{Z_{\alpha}},\mathcal{Z}_{\beta}]_{\mathcal{T}}}=\mathcal{C}^{\>\bar{\gamma}}_{\bar{\alpha}\bar{\beta}}\mathcal{Z}_{\bar{\gamma}}$, etc.

1.1 Nonlinear connections on $\mathcal{T}_{\mathbb{C}}E$

In [9], we have considered an adapted frame on $\mathcal{T}^{\prime}E$ given by a complex nonlinear connection. Our aim in the following is to define a complex nonlinear connection on the holomorphic prolongation $\mathcal{T}^{\prime}E$ which is induced by a nonlinear connection on $E$.

A complex nonlinear connection on $\mathcal{T}^{\prime}E$ is given by a complex vector subbundle $H\mathcal{T}^{\prime}E$ of $\mathcal{T}^{\prime}E$ such that $\mathcal{T}^{\prime}E=H\mathcal{T}^{\prime}E\oplus V\mathcal{T}^{\prime}E$. If $l^{h}$ is the horizontal lift from $\mathcal{T}^{\prime}E$ to $H\mathcal{T}^{\prime}E$, then similar considerations as in the real case ([17]) lead to the following local expression of $l^{h}$:

[TABLE]

where $N_{\alpha}^{\beta}=N_{\alpha}^{\beta}(z,u)$ are functions defined on $E$, called the coefficients of the complex nonlinear connection on $\mathcal{T}^{\prime}E$.

Let us consider that on $T^{\prime}E$ is given a nonlinear connection with coefficients $N_{k}^{\beta}$ such that $\{\delta_{k},\dot{\partial}_{\alpha}\}$ is the adapted frame of fields on $T^{\prime}E$, where

[TABLE]

(see also [8, 9]). Denote by $\delta_{\alpha}=\rho_{\alpha}^{k}\delta_{k}$ and let

[TABLE]

Then, these are the coefficients of an induced nonlinear connection on the prolongation $\mathcal{T}^{\prime}E$, as we proved in [9].

Denote by

[TABLE]

in order to obtain a local frame $\{\mathcal{X}_{\alpha},\mathcal{V}_{\alpha}\}$ on $\mathcal{T}^{\prime}E$, called the adapted frame with respect to the induced complex nonlinear connection on $\mathcal{T}^{\prime}E$. Then

[TABLE]

hence

[TABLE]

In [9], locally imposing that the adapted frame must change by the rules

[TABLE]

for local changes $\widetilde{z}^{k}=\widetilde{z}^{k}(z),\ \widetilde{u}^{\alpha}=M_{\beta}^{\alpha}(z)u^{\beta}$ on $E$, we have obtained that the coefficients of the nonlinear connection change by the rule:

[TABLE]

From (1.1), (1.3) and (1.10) we get

[TABLE]

such that the rules of change for the adapted frame $\{\mathcal{X}_{\alpha},\mathcal{V}_{\alpha}\}$ are

[TABLE]

A significant result in [9] is Theorem 2.2, in which a complex nonlinear connection is determined from a semispray and hence, together with Theorem 2.1, a special complex nonlinear connection on the prolongation $\mathcal{T}^{\prime}E$ can be obtained if on $E$ is given a Lagrange (Finsler) function.

Obviously, on the complexified prolongation bundle, a complex nonlinear connection determines the splitting of $\mathcal{T}_{\mathbb{C}}E$ as

[TABLE]

such that an adapted frame $\{\mathcal{X}_{\alpha},\mathcal{V}_{\alpha},\mathcal{X}_{\bar{\alpha}},\mathcal{V}_{\bar{\alpha}}\}$ is obtained on $\mathcal{T}_{\mathbb{C}}E$ with respect to the complex nonlinear connection.

Proposition 1.2**.**

The Lie brackets of the adapted frame $\{\mathcal{X}_{\alpha},\mathcal{V}_{\alpha},\mathcal{X}_{\bar{\alpha}},\mathcal{V}_{\bar{\alpha}}\}$ are

[TABLE]

where

[TABLE]

Proof.

We will only prove the first identity, the computations for the others are similar. We have:

[TABLE]

∎

2 Complex Finsler structures on a Lie algebroid

The Finsler structure will be considered as a function defined on the complexified tangent bundle of a Lie algebroid $E$. The motivation for this choice is the desire to obtain properties that are similar to those from the case of the holomorphic tangent bundle $T^{\prime}M$ ([1, 15]). First, denote by $\widetilde{E}$ the open submanifold of $E$ consisting in the nonzero sections.

Definition 2.1**.**

A complex Finsler structure $F$ on $E$ is a real-valued function $F:E\rightarrow\mathbb{R}$ satisfying the following conditions:

1)

$F$ is $C^{\infty}$-class on $\widetilde{E}$;

2)

$F(z,u)\geq 0$ and $F(z,u)=0$ iff $u=0$;

3)

$F(z,\lambda u)=|\lambda|^{2}F(z,u)$ for all $\lambda\in\mathbb{C}$.

Of course, since $F$ on $E$ is a real-valued function, it acts with the same rules on the whole complexified bundle $E_{\mathbb{C}}$.

As in the case of complex vector bundles (see [4]), we will say that a Finsler structure $F$ is convex if the Hermitian matrix defined in our case by

[TABLE]

is positive-definite. In the following, we will assume the convexity of $F$.

Definition 2.2**.**

The pair $(E,F)$ is called the complex Finsler Lie algebroid.

The tensor $h_{\alpha\bar{\beta}}$ defines a Hermitian metric $G$ on the vertical subbundle $VT_{\mathbb{C}}E$ by $G(Z,W)=h_{\alpha\bar{\beta}}Z^{\alpha}W^{\bar{\beta}}$, where $h_{\alpha\bar{\beta}}=G(\dot{\partial}_{\alpha},\dot{\partial}_{\bar{\beta}})$.

The following result contains important properties of the Finsler function $F$ that are consequences of the third property from its definition, i.e., the homogeneity of $F$.

Proposition 2.3**.**

The Finsler function $F$ on the algebroid $E$ satisfies:

i)

(\dot{\partial}_{\alpha}F)u^{\alpha}=F\, $(\dot{\partial}_{\bar{\alpha}}F)\bar{u}^{\alpha}=F$;

ii)

h_{\alpha\bar{\beta}}u^{\alpha}=\dot{\partial}_{\bar{\beta}}F\, h_{\alpha\bar{\beta}}u^{\bar{\beta}}=\dot{\partial}_{\alpha}F\, $F=h_{\alpha\bar{\beta}}u^{\alpha}\bar{u}^{\beta}$;

iii)

(\dot{\partial}_{\gamma}h_{\alpha\bar{\beta}})u^{\gamma}=0\, (\dot{\partial}_{\gamma}h_{\alpha\bar{\beta}})u^{\alpha}=0\, $(\dot{\partial}_{\bar{\gamma}}h_{\alpha\bar{\beta}})\bar{u}^{\gamma}=0$;

iv)

h_{\alpha\beta}u^{\alpha}=0\, (\dot{\partial}_{\gamma}h_{\alpha\bar{\beta}})\bar{u}^{\beta}=h_{\alpha\gamma}\, where $h_{\alpha\beta}=\dot{\partial}_{\alpha}\dot{\partial}_{\beta}F$.

2.1 The Chern-Finsler connection

The most well-known linear connection in Finsler geometry is the Chern-Finsler connection. In this section, we introduce such a connection on the Lie algebroid $E$.

On a complex vector bundle, the notion of normal complex linear connection does not make sense, due to the fact that the rules of change of the coefficients of a distinguished linear connection do not coincide in pairs, such as in the case of $T^{\prime}M$. This is well-known from [15]. But the classical Chern-Finsler connection is a normal complex linear connection. Therefore, we shall induce a Chern-Finsler linear connection on the prolongation $\mathcal{T}_{\mathbb{C}}E$ starting from a vertical connection on $E$.

As in the case of complex Finsler vector bundles ([2, 3, 5, 15]), we shall consider the functions $N_{k}^{\beta}(z,u)$ defined by

[TABLE]

Then, using (1.8) and (1.7), we get

[TABLE]

the coefficients of a nonlinear connection on $\mathcal{T}_{\mathbb{C}}E$.

Proposition 2.4**.**

The functions $N_{\alpha}^{\beta}(z,u)$ defined by (2.3) determine a nonlinear connection on $\mathcal{T}_{\mathbb{C}}E$, called the Chern-Finsler nonlinear connection of the Lie algebroid $E$.

Proof.

It suffices to check that $N_{\alpha}^{\beta}$ satisfy the (1.11) rule of change. First, we have that

[TABLE]

Then, from (2.1) we get

[TABLE]

which, replaced in the left-hand side of (1.11) together with (1.2) and (1.3), yields after some basic computations the right-hand side. ∎

Now, consider a partial linear connection on the vertical subbundle of the tangent bundle of $E$, $\mathcal{D}:T_{\mathbb{C}}E\times VT_{\mathbb{C}}E\rightarrow VT_{\mathbb{C}}E$, which preserves the distributions $VT_{\mathbb{C}}E$ and $\overline{VT_{\mathbb{C}}E}$ and commutes with the conjugation. Its local coefficients are

[TABLE]

and their conjugates. The rules of change for their coefficients are:

[TABLE]

The proof for these identities is very similar to the one for the coefficients of the linear connection which will be defined in the following, therefore we will not give these computations here.

As in the case of a complex vector bundle ([3, 15]), we will consider

[TABLE]

together with their conjugates. It is easy to check that they satisfy the (2.6) rules of change.

Proposition 2.5**.**

The following identity holds:

[TABLE]

Proof.

From $h^{\bar{\sigma}\tau}h_{\tau\bar{\varepsilon}}=\delta^{\bar{\sigma}}_{\bar{\varepsilon}}$, we get

[TABLE]

Using also the properties derived from the homogeneity of $F$, we have:

[TABLE]

∎

We now introduce an $N$-complex linear connection on the complexified prolongation of $E$, $\mathcal{D}:\mathcal{T}_{\mathbb{C}}E\times\mathcal{T}_{\mathbb{C}}E\rightarrow\mathcal{T}_{\mathbb{C}}E$, by

[TABLE]

and, since $\mathcal{D}$ is a normal connection, it must preserve the distributions, that is,

[TABLE]

Proposition 2.6**.**

The rules of change for the coefficients of the connection $\mathcal{D}$ are:

[TABLE]

Proof.

We only prove the first identity. Using (1.12), we have:

[TABLE]

On the other hand,

[TABLE]

and identifying the coefficients gives the first rule of change. The others can be proved in a similar manner. ∎

The relation between the coefficients of the two linear connections $D$ on $T_{\mathbb{C}}E$ and $\mathcal{D}$ on $\mathcal{T}_{\mathbb{C}}E$ is given by the following

Lemma 2.7**.**

The functions $L^{\>\gamma}_{\alpha\beta}$ given by

[TABLE]

are the coefficients of a normal complex linear connection on $\mathcal{T}_{\mathbb{C}}E$.

Proof.

It consists of checking that the functions $L^{\>\gamma}_{\alpha\beta}$ satisfy the first rule from Proposition 2.4, which is immediate. ∎

Let $\mathcal{T}(Z,W)=\mathcal{D}_{Z}W-\mathcal{D}_{W}Z-[Z,W]_{\mathcal{T}}$ be the torsion of the connection $\mathcal{D}$ on $\mathcal{T}_{\mathbb{C}}E$ and denote by $h\mathcal{T}(Z,W)$, $v\mathcal{T}(Z,W)$, $\bar{h}\mathcal{T}(Z,W)$ and $\bar{v}\mathcal{T}(Z,W)$ its components with respect to the (1.13) splitting. A basic computation using Proposition 1.2 leads to:

[TABLE]

and also their conjugates. In a similar manner we can compute the local expressions of the curvature of the connection $\mathcal{D}$, defined by $\mathcal{R}(Z,W)V=\mathcal{D}_{Z}\mathcal{D}_{W}V-\mathcal{D}_{W}\mathcal{D}_{Z}V-\mathcal{D}_{[Z,W]}V$.

Let us now impose that $\mathcal{D}$ is a $(1,0)$-connection, i.e., $L_{\bar{\alpha}\beta}^{\>\bar{\gamma}}=C_{\bar{\alpha}\beta}^{\>\bar{\gamma}}=0$, and consider the functions $L^{\>\gamma}_{\alpha k}$ from (2.7). Using (2.11), we get the following

Theorem 2.8**.**

The functions $L^{\>\gamma}_{\alpha\beta}$ given by

[TABLE]

are the coefficients of a linear connection of $(1,0)$-type on $\mathcal{T}_{\mathbb{C}}E$, called the Chern-Finsler connection of the algebroid $E$. It is induced by the vertical connection (2.7).

Remark 2.9*.*

The theorem can also be proved directly by checking that (2.12) satisfy the first rule of change in (2.10).

We can conclude that the Chern-Finsler connection of the Lie algebroid $E$ is given by

[TABLE]

and $L_{\bar{\alpha}\beta}^{\>\bar{\gamma}}=C_{\bar{\alpha}\beta}^{\>\bar{\gamma}}=0$. Also, we note that

[TABLE]

and, due to (2.11) and (2.8),

[TABLE]

The Chern-Finsler connection of $E$ has a similar property to the classical Chern-Finsler connection.

Proposition 2.10**.**

The adapted frame of fields corresponding to the Chern-Finsler connection (2.3) satisfies the identity

[TABLE]

Proof.

We have \rho_{\mathcal{T}}\big{(}[\mathcal{X}_{\alpha},\mathcal{X}_{\beta}]\big{)}=[\rho_{\mathcal{T}}(\mathcal{X}_{\alpha}),\rho_{\mathcal{T}}(\mathcal{X}_{\beta})]=[\delta_{\alpha},\delta_{\beta}]. Then, using $h^{\bar{\varepsilon}\gamma}h_{\tau\bar{\varepsilon}}=\delta^{\gamma}_{\tau}$, we get $\delta_{\alpha}(h^{\bar{\mu}\gamma})=-h^{\bar{\mu}\tau}h^{\bar{\varepsilon}\gamma}\delta_{\alpha}(h_{\tau\bar{\varepsilon}})$. We can now compute the coefficient of index $\sigma$ of the Lie bracket $[\delta_{\alpha},\delta_{\beta}]$:

[TABLE]

∎

Using (2.15) and (2.14), the components of the torsion of the Chern-Finsler connection on $\mathcal{T}E$ become:

[TABLE]

The nonzero components of the curvature of the Chern-Finsler connection are:

[TABLE]

We shall now analyze the dual of the adapted frame $\{\mathcal{X}_{\alpha},\mathcal{V}_{\alpha}\}$ on $\mathcal{T}^{\prime}E$. Denote the dual frame by $\{\mathcal{Z}^{\alpha},\delta\mathcal{V}^{\alpha}\}$, where $\{\mathcal{Z}^{\alpha},\mathcal{V}^{\alpha}\}$ is the dual frame of $\{\mathcal{Z}_{\alpha},\mathcal{V}_{\alpha}\}$ and $\delta\mathcal{V}^{\alpha}=\mathcal{V}^{\alpha}+N^{\alpha}_{\beta}\mathcal{Z}^{\beta}$. Since the dual frame $\{\mathcal{Z}^{\alpha},\mathcal{V}^{\alpha}\}$ changes by the rules

[TABLE]

we obtain

[TABLE]

The differential of a function $f$ on the complexified prolongation $\mathcal{T}_{\mathbb{C}}E$ is locally expressible as

[TABLE]

With respect to the (1.13) decomposition of the prolongation, the differential can be written as

[TABLE]

where

[TABLE]

In particular,

[TABLE]

This formalism introduced here will be further used in a study of Laplace type operators on the holomorphic Lie algebroid $E$.

2.2 Kähler Finsler algebroids

In order to define the Kähler condition in the case of a Lie algebroid, we first need to define a metric structure on the prolongation $\mathcal{T}_{\mathbb{C}}E$ by

[TABLE]

We now check if the Chern-Finsler connection (2.13) is metric with respect to the structure $\mathcal{G}$ defined above. First, note that, due to the fact that the components of the metric structure (2.17) on $\mathcal{T}E$ depend only on $(z^{k},u^{\alpha})$, then the action of the vector fields $\{\mathcal{X}_{\alpha},\mathcal{X}_{\bar{\alpha}},\mathcal{V}_{\alpha},\mathcal{V}_{\bar{\alpha}}\}$ on the components of $\mathcal{G}$ is

[TABLE]

such that the identity

[TABLE]

is easily checked as in the classical case, for $Y=\mathcal{V}_{\beta},\ Z=\mathcal{V}_{\bar{\gamma}}$ and $X=\mathcal{X}_{\alpha}$ or $X=\mathcal{X}_{\bar{\alpha}}$ ([15]). This means that the Chern-Finsler connection on the prolongation is metric with respect to the structure $\mathcal{G}$.

Let us now consider the horizontal $2$-form

[TABLE]

We can define a Kähler-Finsler algebroid following the idea of Aikou, [2].

Definition 2.11**.**

A holomorphic Lie algebroid is called Kähler-Finsler algebroid if the horizontal Kähler form (2.18) is $h$-closed, i.e., $d^{h}\Theta^{h}=0$.

The condition from the definition above easily yields

[TABLE]

which, due to (2.7), becomes

[TABLE]

a similar condition to the one from the classical case.