Metrization of soft metric spaces and its application to fixed point theory

1.   Introduction

Filippov introduced a generalized Jacobi identity for $n$-ary skew-symmetric operation, which acts as a replacement for the classical Jacobi identity in the context of Lie algebras ^[5]. He also proposed the concept of $n$-Lie algebra, also known as Filippov $n$-algebra, with the corresponding generalized Jacobi identity referred to as the Filippov identity. Nambu and Takhtajan extended the concept of Poisson manifold to an $n$-ary generalization called Nambu-Poisson structure in order to study Hamiltonian mechanics more comprehensively ^[15,17]. It is worth noting that both the Nambu-Poisson structure and the $n$-Lie algebra share the same generalized Jacobi identity. Grabowski and Marmo introduced the concept of Filippov $n$-algebroids, an $n$-ary generalization of Lie algebroids, in order to determine the relationship between linear Nambu-Poisson structures and Filippov algebras ^[7]. Consequently, it is reasonable to anticipate that many tools used to study Lie algebroids could be enhanced or upgraded to the realm of Filippov algebroids. Therefore, we aim to address the absence of the concepts of connections and curvatures of Filippov algebroids in the literature and provide a primitive analysis of these topics from a geometric point of view.

Recall that a Lie algebroid is a (real) vector bundle $A\to M$ together with a bundle map $\rho\colon A\to TM$, called anchor, and a Lie bracket $[\cdotp, \cdotp]$ on the section space $\Gamma(A)$ of $A$, satisfying that $\rho\colon \Gamma(A)\to \Gamma(TM)$ is a morphism of Lie algebras and the Leibniz rule

By an easy smooth analysis, the bracket $[\cdotp, \cdotp]$ can always be reformulated in the form

where $\nabla\colon \Gamma(A)\times \Gamma(A)\to \Gamma(A)$ satisfies the properties

One calls $\nabla$ a connection on the anchored bundle $(A, \rho)$. (This is indeed a straightforward generalization of connections on vector bundles.)

When the bracket $[-, -]$ of a Lie algebroid $A$ is expressed in the form (1.1), one says that the connection $\nabla$ is torsion free. See ^[9] for the existence of torsion free connections on Lie algebroids. The curvature form $R^{\nabla} \in \Gamma(\wedge^2 A^* \otimes \operatorname{End}(A))$ of such a connection $\nabla$ is defined in the standard manner:

for all $X, Y, Z \in \Gamma(A)$. Now, $\rho$ being a morphism of Lie algebras is equivalent to the condition that $R^{\nabla}$ is a tensor in its third argument. Moreover, the Jacobi identity for $[\; , \; ]$ is transformed into the following Lie-Bianchi identity

Therefore, Lie algebroids can be realized as anchored bundles equipped with special connections ^[16]. We wish to find an analogous characterization of the $n$-ary bracket of any Filippov algebroid. A significant difference between Lie algebroids and Filippov $n$-algebroids (for $n\geqslant 3$) is that the bracket and anchor of the latter are of more arguments (see Definition 2.2). So there is not an obvious way to extend Eq (1.1). We come up with a solution in Section 3. Below is a quick summary:

● First, we define (multi-input) connections compatible with a given (multi-input) $n$-anchor (see Definition 3.1). This is a quite straightforward extension of usual connections of Lie algebroids (when $n = 2$).

● Second, we introduce the curvature form $R^\nabla$ stemming from a connection $\nabla$ (see Eq (3.2)). We believe that this is a highly nontrivial invention of this note.

● Third, we prove in Theorem 3.1 that certain good connections, which we call Filippov connections, fully determines Filippov algebroid structures. This includes two points: (1) The $n$-ary bracket of any Filippov algebroid can be realized in a torsion free manner (see Eq (3.1)); (2) The generalized Jacobi identity is transformed to a constraint, called the Bianchi-Filippov identity (see Eq (3.3)) about the associated curvature $R^\nabla$.

We then illustrate a simple method via covariant differential operators to construct Filippov connections in Section 3.3.

As vector bundles are fiber bundles with linear fibers, particular cases of homogeneity structures, linear geometrical structures on vector bundles are of particular interest (see also ^[6] on weighted structures for various geometric objects on manifolds with general homogeneity structures). We finally show that there exists a one-to-one correspondence between Filippov $n$-algebroid structures on a vector bundle $A$ of rank $n \geqslant 3$ and linear Nambu-Poisson structures on its dual bundle $A^*$ (see Theorem 4.1). As an interesting application of our result, one is able to construct linear Nambu-Poisson structures from Filippov connections (Corollary 4.4).

In short summary, torsion-free connections subject to the Bianchi-Filippov identity are important geometric constraints for Filippov algebroids. It is well known that torsion free connections for Lie algebroids play a crucial role in various mathematical constructions, for example, in the construction of Poincaré-Birkhoff-Witt isomorphisms and Kapranov dg manifolds for Lie algebroid pairs ^[9]. Additionally, Bianchi identities are not only significant in Riemannian geometry, but also in Poisson geometry ^[3]. We believe that our approach to Filippov algebroids will be beneficial in this context.

2.   Preliminaries: Anchored bundles and Filippov algebroids

In this section, we recall the definition of Filippov algebroids from ^[7]. There is an alternative characterization of Filippov algebroids in terms of certain $1$-derivations ^[13]. It is important to note that $n\geqslant 2$ is an integer, although the only interesting situation is when $n\geqslant 3$. Let us start with a notion of $n$-anchored bundles.

Definition 2.1. An $n$-anchored vector bundle over a smooth manifold $M$ is pair $(A, \rho)$, where $A$ is a vector bundle over $M$ and $\rho\colon \wedge^{n-1}A \to TM$ is a vector bundle morphism, called $n$-anchor of $A$.

Definition 2.2. A Filippov $n$-algebroid over a smooth manifold $M$ is an $n$-anchored bundle $(A, \rho)$ over $M$ together with an $\mathbb{R}$-multilinear and skew-symmetric $n$-bracket on the section space $\Gamma(A)$ of $A$:

satisfying the following compatibility conditions:

(1) The $n$-anchor $\rho$ intertwines the $n$-bracket and the standard Lie bracket $[\cdotp, \cdotp]_{TM}$ on $\Gamma(TM)$:

(2) The $n$-bracket is a derivation with respect to $C^\infty(M)$-multiplications:

(3) The following equation holds, to be called the (generalized) Jacobi identity (or Filippov identity):

for all $X_{i}, Y_{i}\in \Gamma(A)$ and $f\in C^\infty(M)$.

Note that any Lie algebroid is a Filippov 2-algebroid. A Filippov $n$-algebra is a Filippov $n$-algebroid over the one-point base manifold. In fact, analogous to the Lie algebroid case (i.e., $n = 2$ case), the condition (1) in the above definition follows from the conditions (2) and (3).

The following examples (due to ^[7]) illustrate two Filippov $n$-algebroid structures on the trivial tangent bundle $T\mathbb{R}^m$ of $\mathbb{R}^m$ for $m \geqslant n\geqslant 2$.

Example 2.3. Consider the trivial n-anchored bundle $(T\mathbb{R}^m, \rho = 0)$. For each Filippov $n$-algebra structure on $\mathbb{R}^m$ with structure constants $\{c^j_{i_1, \cdots, i_n}\}$ and each smooth function $g\in C^\infty(\mathbb{R}^m)$, we have a Filippov $n$-algebroid $(T\mathbb{R}^m, 0)$ whose bracket is defined by

Example 2.4. Equip $T\mathbb{R}^m$ with the $n$-anchor map $\rho$ defined by the tensor field

where $x_1, \cdots, x_{n-1}, x_n, \cdots, x_m$ are coordinates of $\mathbb{R}^m$. Then, the $n$-anchored bundle $(T\mathbb{R}^m, \rho)$ together with the trivial $n$-bracket on generators $\frac{\partial}{\partial x_{i}}$ produces a (nontrivial) Filippov $n$-algebroid over $\mathbb{R}^m$.

We emphasize a crucial but often overlooked point in the literature: the presence of a Filippov $n$-bracket on an $n$-anchored bundle $(A, \rho)$ imposes a constraint on the rank of $\rho$ for every integer $n\geqslant 3$.

Proposition 2.5. Let $(A, [\cdotp, \cdotp \cdotp \cdotp, \cdotp], \rho)$ be a Filippov $n$-algebroid for $n\geqslant 3$. Then the rank of the image of $\rho$ as a distribution on $M$ can not exceed $1$, i.e., $\operatorname{rank}(\rho(\wedge^{n-1}A))\leqslant 1$.

Proof. Suppose that the image of $\rho$ at $p\in M$ is not trivial. So we can find an open neighborhood $U$ of $p$ and some $Y_1\wedge \cdotp \cdotp \cdotp \wedge Y_{n-1}\in \Gamma(\wedge^{n-1}A)|_U$ such that $\rho(Y_1\wedge \cdotp \cdotp \cdotp \wedge Y_{n-1})$ is nowhere vanishing on $U$. The desired statement amounts to show that, if $\rho(X_1\wedge \cdotp \cdotp \cdotp \wedge X_{n-1})$ is also nowhere vanishing on $U$, then there exists some $c \in C^\infty(U)$ such that

In fact, by the definition of Filippov $n$-algebroids, we obtain

Moreover, since $\rho$ is a morphism of vector bundles, we have

Setting $Y_1 = X_1$ in the above two equations, we obtain

Using Eq (2.4), we have

for some $g_1, g_2 \in C^\infty(U)$.

$(1)$ If $\rho(X_1\wedge Y_2\wedge \cdotp \cdotp \cdotp \wedge Y_{n-1})$ is nowhere vanishing on $U$, then the vector fields $\rho(X_1\wedge \cdotp \cdotp \cdotp \wedge X_{n-1})$ and $\rho(Y_1\wedge \cdotp \cdotp \cdotp \wedge Y_{n-1})$ must be $C^\infty(U)$-linearly dependent.

$(2)$ If $\rho(X_1\wedge Y_2\wedge \cdotp \cdotp \cdotp \wedge Y_{n-1})|_p = 0$, then we let $\tilde{X}_1 = X_1+Y_1$ and consider $\rho(\tilde{X}_1\wedge Y_2\wedge \cdotp \cdotp \cdotp \wedge Y_{n-1})$, which is nowhere vanishing on $U$. By arguments in (1) as above, $\rho(\tilde{X}_1\wedge X_2\wedge \cdotp \cdotp \cdotp \wedge X_{n-1})$ and $\rho(Y_1\wedge \cdotp \cdotp \cdotp \wedge Y_{n-1})$ are $C^\infty(U)$-linearly dependent, and we obtain the desired statement as well.

3.   The geometric constraints of Filippov algebroids

3.1.   The main theorem

In this section, we characterize Filippov algebroids via connections on the underlying anchored bundles.

Definition 3.1. A connection on an $n$-anchored bundle $(A, \rho)$ is a bilinear map $\nabla: \Gamma(\wedge^{n-1}A)\times \Gamma(A)\to \Gamma(A)$ satisfying two conditions:

for all $X_1, \cdots, X_{n}\in \Gamma(A)$ and $f \in C^\infty(M)$.

To see the existence of such a connection, one takes a $TM$-connection on $A$, say $\nabla^{TM}$, and then define $\nabla$ on the $n$-anchored bundle $(A, \rho)$ as the pullback of $\nabla^{TM}$:

The key point of this note is that any connection $\nabla$ on $(A, \rho)$ induces a skew-symmetric $n$-bracket on $\Gamma(A)$ defined by

For computational convenience, we denote the covariant derivative on $\Gamma(A)$ along $X_1, \cdots, X_{n-1} \in \Gamma(A)$ by

It extends to all sections in $\wedge^\bullet A$ by

We then introduce the curvature form of $\nabla$, an operation

defined by

for all $X_1, \cdots, X_{n-1}, Y_1, \cdots, Y_{n-1}, Z\in \Gamma(A)$ and $n\geqslant 3$. When $n = 3$, it reads

When $n = 4$, the expression of $R^\nabla$ consists of twenty terms. As $n$ gets larger, more terms are involved.

It is easy to verify from the defining Eq (3.2) that the curvature $R^\nabla$ is $C^\infty(M)$-linear with respect to the argument $Y_1\wedge\cdots \wedge Y_{n-1}$. However, $R^\nabla$ need not be tensorial in $X_1, \cdots, X_{n-1}$ although it is skew-symmetric in these arguments.

Definition 3.2. A connection $\nabla$ on an $n$-anchored bundle $(A, \rho)$ is called a Filippov connection if the following two conditions are true:

(1) The curvature $R^\nabla$ is $C^\infty(M)$-linear with respect to its last argument, i.e., for all $f\in C^\infty(M)$ and all $X_1, \cdots, X_{n-1}, Y_1, \cdots, Y_n \in \Gamma(A)$, we have

(2) The following equality holds, to be called the Bianchi-Filippov identity:

where $Y_0$ means $Y_n$.

We are ready to state our main theorem, which characterizes Filippov algebroids fully by Filippov connections.

Theorem 3.3. Let $(A, \rho)$ be an $n$-anchored bundle. If $\nabla$ is a Filippov connection on $(A, \rho)$, then $(A, \rho, [\cdotp, \cdots, \cdotp]^{\nabla})$ is a Filippov $n$-algebroid, where $[\cdotp, \cdots, \cdotp]^\nabla$ is the $n$-bracket given by Eq (3.1). Moreover, any Filippov $n$-algebroid structure on $(A, \rho)$ arises from a Filippov connection in this way.

3.2.   Proof of Theorem 3.3

The proof of Theorem 3.3 is divided, and will follow immediately from the three lemmas below.

Lemma 3.4. Let $\nabla$ be a connection on an $n$-anchored bundle $(A, \rho)$. The curvature $R^\nabla$ satisfies the first condition of Definition 3.2 if and only if the anchor $\rho$ intertwines the induced $n$-bracket $[\cdotp, \cdots, \cdotp]^\nabla$ and the Lie bracket $[\cdotp, \cdotp]_{TM}$ on $\Gamma(TM)$, i.e.,

for all $X_1, \cdots, X_{n-1}, Y_1, \cdots, Y_{n-1} \in \Gamma(A)$.

Proof. By the definition of curvature, we have

Hence, the curvature $R^\nabla$ is $C^\infty(M)$-linear with respect to its last argument if and only if

□

Lemma 3.5. Let $\nabla$ be a connection on an $n$-anchored bundle $(A, \rho)$. The curvature $R^\nabla$ satisfies the second condition of Definition 3.2, i.e., the Bianchi-Filippov identity (3.3), if and only if the induced $n$-bracket $[\cdotp, \cdots, \cdotp]^\nabla$ satisfies the (generalized) Jacobi identity (2.3).

Proof. The statement follows directly from the following lines of computation:

The next lemma shows that any Filippov algebroid can be realized by a Filippov connection.

Lemma 3.6. Let $(A, [\cdotp, \cdots, \cdotp], \rho)$ be a Filippov $n$-algebroid. Then there exists a Filippov connection $\nabla$ on the underlying $n$-anchored bundle $(A, \rho)$ such that $[\cdotp, \cdots, \cdotp] = [\cdotp, \cdots, \cdotp]^{\nabla}$ (the torsion-free property).

Proof. Given a connection $\nabla^\circ$ on $(A, \rho)$, we are able to obtain an $\mathbb{R}$-multilinear operation $K(\cdotp, \cdotp \cdotp \cdotp, \cdotp)$ on $\Gamma(A)$ by

Using axioms of Filippov algebroids, it is easy to see that $K(\cdotp, \cdots, \cdotp)$ is indeed $C^\infty(M)$-multilinear. Then we define a new connection $\nabla$ on $(A, \rho)$ by

It remains to check the desired equality:

The following examples illustrate three Filippov connections on the trivial tangent bundle $T\mathbb{R}^m$ of $\mathbb{R}^m$ for $m \geqslant n\geqslant 2$.

Example 3.7. Consider the trivial $n$-anchored vector bundle $(T\mathbb{R}^m, \rho = 0)$. Suppose that the vector space $\mathbb{R}^m$ is endowed with a Filippov $n$-algebra structure whose structure constants are $\{c^j_{i_1\cdots i_{n}}\}$ with respect to the standard basis of $\mathbb{R}^m$. Given a smooth function $g\in C^\infty(\mathbb{R}^m)$ and a set of constants $\{a^j_{i_1\cdots i_{n-1};i_n}\}$ satisfying the equality:

we are able to obtain a connection on $(T\mathbb{R}^m, \rho = 0)$ generated by the only one nontrivial relation:

It follows from the recipe in Eqs (3.1) and (3.4) that

So, what we recover is the Filippov structure on $T\mathbb{R}^m$ as in Example 2.3. Hence, $\nabla$ is indeed a Filippov connection.

Example 3.8. Consider the $n$-anchor map $\rho$ on the tangent bundle $T\mathbb{R}^m$ defined by the tensor field $dx_1\wedge \cdotp \cdotp \cdotp \wedge dx_{n-1} \otimes \frac{\partial}{\partial x_1}$, where $x_1, \cdots, x_{n-1}, x_n, \cdots, x_m$ are coordinate functions of $\mathbb{R}^m$. It is obvious that the (nontrivial) connection on $(T\mathbb{R}^m, \rho)$ generated by the trivial relation:

produces a nontrivial $n$-bracket which is compatible with $\rho$. Indeed, what we recover is the Filippov structure on $T\mathbb{R}^m$ as in Example 2.4, and the said connection $\nabla$ is a Filippov connection.

Example 3.9. Continue to work with the anchored bundle $(A, \rho)$ as in the previous example. We consider a different connection with the only nontrivial generating relations:

where $\sigma$ is a permutation $\{1, \cdots, n-1\}$, for all $x_k\in \{x_1, \cdots, x_m\}$. Then, the associated $n$-bracket is given by

where $\sigma$ is a permutation $\{1, \cdots, n-1\}$. By subtle analysis, one can find that the associated curvature $R^{\nabla}$ is just zero. Hence $\nabla$ is truly a Filippov connection and the above bracket defines a Filippov algebroid structure on $(A, \rho)$.

3.3.   Construction of Filippov connections

Let $A\to M$ be a vector bundle. Consider the bundle ${\rm{CDO}}(A)$ of covariant differential operators (cf. ^[10]*Ⅲ, ^[11], see also ^[8], where the notation $\mathcal{D}(A)$ is used instead of ${\rm{CDO}}(A)$). An element $D$ of $\Gamma({\rm{CDO}}(A))$, called a covariant differential operator, is an $\mathbb{R}$-linear operator $\Gamma(A)\rightarrow \Gamma(A)$ together with a vector field $\hat{D} \in \Gamma(TM)$, called the symbol of $D$, satisfying

The operator $D$ can be first extended by the Leibniz rule to an operator $D \colon \Gamma(\wedge^{n-1} A) \to \Gamma(\wedge^{n-1}A)$. By taking dual we obtain an operator $D \colon \Gamma(\wedge ^{n-1} A^*)\rightarrow \Gamma(\wedge ^{n-1} A^*)$ defined by

for all $X_1, \cdots, X_{n-1}\in \Gamma(A)$ and $\bar{\eta} \in\Gamma(\wedge^{n-1}A^*)$.

Given a pair $(D, \bar{\xi})$, where $D\in\Gamma({\rm{CDO}}(A))$ and $\bar{\xi}\in \Gamma(\wedge^{n-1}A^*)$, one is able to construct a map

It is clear that $\rho^{(D, \bar{\xi})}$ makes $A$ an $n$-anchored bundle, and the rank of the image of $\rho^{(D, \bar{\xi})}$ does not exceed 1.

Define a connection on the $n$-anchored bundle $(A, \rho^{(D, \bar{\xi})})$ by

Proposition 3.10. If the pair $(D, \bar{\xi})$ is subject to the relation

then $\nabla^{(D, \bar{\xi})}$ defined as in (3.6) is a Filippov connection on the $n$-anchored bundle $(A, \rho^{(D, \bar{\xi})})$.

Proof. We denote $\nabla^{(D, \bar{\xi})}$ by $\nabla$ for simplicity below. It suffices to check the associated curvature $R^\nabla$ is $C^\infty(M)$-linear with respect to the last argument and satisfies the Bianchi-Filippov identity (3.3). In fact, we have

and

Hence, $\nabla^{(D, \bar{\xi})}$ defined as in (3.6) is indeed a Filippov connection.

As a consequence of Theorem 3.3, a pair $(D, \bar{\xi})$ subject to condition (3.7) produces a Filippov $n$-algebroid structure on $A$. Its $n$-bracket reads:

4.   A construction of linear Nambu-Poisson structures

In this section, we unravel under certain conditions a relation between linear Nambu-Poisson structures and Filippov connections.

4.1.   From Filippov algebroids to linear Nambu-Poisson structures

Definition 4.1. ^[14,17] A Nambu-Poisson structure of order $n$ on a smooth manifold $P$ is an $\mathbb{R}$-multilinear and skew-symmetric $n$-bracket on the smooth function space $C^\infty(P)$:

satisfying the following two conditions:

(1) The $n$-bracket is a derivation with respect to $C^\infty(P)$-multiplications:

(2) The (generalized) Jacobi identity (also known as the fundamental identity):

holds for all $f_{i}$ and $g_{j} \in C^\infty(P)$.

The pair $(P, \{\cdotp, \cdotp\cdotp\cdotp, \cdotp\})$ is called a Nambu-Poisson manifold.

Alternatively, one could express the said bracket via an $n$-vector field $\pi$ on $P$ such that

Given a smooth vector bundle $p\colon A\to M$, the section space $\Gamma(A)$ are identified as the space $C^\infty_{\mathrm{lin}}(A^*)$ of fiberwise linear functions on $A^*$, the dual vector bundle of $A$; while elements in $p^\ast(C^\infty(M))$ are called basic functions on $A^*$. To fix the notations, for any section $X \in \Gamma(A)$, let $\phi_X \in C^\infty_{\mathrm{lin}}(A^*)$ be the corresponding linear function on $A^\ast$.

Definition 4.2. ^[1] A Nambu-Poisson structure of order $n$ on the vector bundle $A^\ast \to M$ is said to be linear, if it satisfies the following three conditions:

(1) The bracket of $n$ linear functions is again a linear function;

(2) The bracket of $(n-1)$ linear functions and a basic function is a basic function;

(3) The bracket of $n$ functions is zero if there are more than one basic functions among the arguments.

In fact, the second and the third condition in the above definition can be derived from the first condition.

Note that any Poisson manifold is a Nambu-Poisson manifold of order $2$. A well-known fact is the following: A Lie algebroid $A$ over $M$ gives rise to a linear Poisson manifold $A^*$, and vice versa. It is pointed out in ^[1]*Theorem 4.4 that a linear Nambu-Poisson structure of order $n$ on $A^*$ corresponds to a Filippov $n$-algebroid structure on $A$ (see also ^[2]). However, the reverse process is generally not valid for the cases of $n\geqslant 3$, mainly because the condition of a Nambu-Poisson structure is very strong (cf. ^[12]). Nevertheless, in this paper, we will require that $A$ be a rank $n$ vector bundle and establish the one-to-one correspondence between Filippov $n$-algebroid structures on $A$ and linear Nambu-Poisson structures on $A^*$. In specific, under the said condition, our main theorem below serves as a complement to ^[1]*Theorem 4.4.

Theorem 4.3. Let $(A, \rho, [\cdotp, \cdots, \cdotp])$ be a Filippov $n$-algebroid over a smooth manifold $M$, where $A \to M$ is a vector bundle of rank $n\geqslant 3$. Then there exists a unique linear Nambu-Poisson structure on the dual bundle $A^*\to M$ such that for all sections $X_1, \cdots, X_n\in \Gamma(A)$,

Note that, if Eq (4.2) holds, then it is easy to deduce that the linear Nambu-Poisson structure on $A^*$ and the anchor map $\rho$ are also related:

for all $f\in C^\infty(M)$ and $X_1, \cdots, X_{n-1} \in \Gamma(A)$.

As a direct application of Theorems 3.3 and 4.3, one can construct linear Nambu-Poisson structures out of Filippov connections:

Corollary 4.4. If $\nabla$ is a Filippov connection on an $n$-anchored bundle $(A, \rho)$, where $A \to M$ is a vector bundle of rank $n\geqslant 3$, then the dual bundle $A^\ast$ admits a unique linear Nambu-Poisson structure of order $n$ defined by

for all $X_1, \cdots, X_n\in \Gamma(A)$.

4.2.   Proof of Theorem 4.3

The proof is divided into three steps.

Step 1. Since functions of type $\phi_{X}$ (for $X\in \Gamma(A)$) and $p^*f$ (for $f\in C^\infty(M)$) generate $C^\infty(A^*)$, there exists a unique $\mathbb{R}$-multilinear $n$-bracket $\{\cdotp, \cdots, \cdotp\}$ on $C^\infty(A^*)$ satisfying Eqs (4.2) and (4.3). We wish to write the corresponding $n$-vector field $\pi$ on $A^*$ explicitly.

To this end, we work locally and consider the trivialization $A|_U\cong U\times \mathbb{R}^n$ over an open subset $U\subset M$ with coordinates $x^1, \cdots, x^m$; let $\{ X_1, \cdots, X_n\}$ be a local basis of $\Gamma(A|_U)$. Then

forms a chart on $A^*|_U$. For convenience, $p^*x^i$ is denoted by $x^i$.

Suppose further that the Filippov algebroid $A|_U$ is described by the structure functions $c^k$ and $f_{1\cdots \widehat{l}\cdots n}\in C^\infty(U)$ such that

Here we have utilized Proposition 2.5. Then one is able to find the expression of the $n$-vector field $\pi$ on $A^*|_U$:

which corresponds to the $n$-bracket $\{\cdots\}$ on $A^*|_U$.

Step 2. We need to set up a preparatory lemma.

Lemma 4.5. There exists a local basis $\{X_1, \cdots, X_{n}\}$ of $\Gamma(A|_U)$ such that the corresponding structure functions $c^k$ and $f_{1\cdots \widehat{l}\cdots n}$ satisfy the following relations: for all $i\neq j$ (in $\{1, \cdots, n\}$),

Proof. Consider the map $\rho\colon \wedge^{n-1}A|_U \to TU$. By Proposition 2.5, for any point $p\in U$, we have $\operatorname{rank}(\rho(\wedge^{n-1}A)_p)\leqslant 1$, and thus $\dim(\ker(\rho_p)) \geqslant (n-1)$. Note that the subset $V \subset U$ where $\dim(\ker(\rho_p))$ is locally constant is open and dense. By a continuity argument if necessary, we may assume that $\dim(\ker(\rho_p))$ is locally constant on $U$. Thus, we are able to find a local basis $\{Z_1, \cdots, Z_n\}$ of $\Gamma(\wedge^{n-1}A|_U)$ such that $\rho(Z_2)$, $\cdots$, $\rho(Z_n)$ are trivial.

Take an arbitrary $\Omega \in \Gamma(\wedge^{n}A |_U)$ which is nowhere vanishing on $U$. Consider

which is an isomorphism of vector bundles. Then we obtain a basis $\{ \alpha_1$, $\cdots$, $\alpha_n \}$ of $\Gamma(A^\ast |_U)$ by setting $\alpha_i: = (\Omega^\sharp)^{-1}(Z_i)$. Let $\{ X_1, \cdots, X_n\}$ be the dual basis of $\Gamma(A |_U)$ corresponding to $\{\alpha_1, \cdots, \alpha_n\}$. There exists a nowhere vanishing smooth function $g\in C^\infty(U)$ such that $\Omega = gX_1\wedge\cdots\wedge X_n$, and hence $Z_i = i_{\alpha_i}\Omega = gX_1\wedge\cdots\widehat{X_i}\wedge\cdots\wedge X_n$.

Since we have $\rho(Z_i) = 0$ ($\forall i\in \{2, \cdots, n\}$), we also have

Using the axiom of a Filippov algebroid, we have a relation

According to the previous fact (4.7), all the lines above must be trivial, and thus the desired two equalities (4.5) and (4.6) are proved.

Step 3. We wish to show that the $n$-bracket $\{\cdotp, \cdots, \cdotp\}$ given in Step 1, or the $n$-vector field $\pi$ locally given in Eq (4.4), is a linear Nambu-Poisson structure on $A^*$.

We need the following proposition due to Dufour and Zung ^[4].

Proposition 4.6. ^[4] Let $\Omega$ be a volume form on an $l$-dimensional manifold $P$, and $\pi$ an $n$-vector filed on $P$, where $l > n\geqslant 3$. Consider the $(l-n)$-form $\omega: = \iota_\pi\Omega$ on $P$. Then $\pi$ defines a Nambu-Poisson structure (via Eq (4.1)) if and only if $\omega$ satisfies the following two conditions:

for any $(l-n-1)$-vector field $K$ on $P$.

Consider the volume form $\Omega = dy_1\wedge\cdots dy_n \wedge dx^1\wedge\cdots\wedge dx^m$ on $A^\ast|_U$, where $U$, $y_i$, and $x^j$ are as earlier, and we suppose that such a coordinate system stems from $\{X_1, \cdots, X_n\}$ fulfills Lemma 4.5. According to Proposition 4.6, we need to examine the $m$-form defined by:

We can easily check that $\omega$ satisfies Eq (4.8) and hence it remains to check Eq (4.9). One first finds that

Consider the following special type of $(m-1)$-vector field on $A^\ast|_U$: $K = \frac{\partial}{\partial x^2}\wedge\cdots\wedge\frac{\partial}{\partial x^m}$. Then one computes:

This justifies Eq (4.9) for this particular $K$. For other types of $K$, it is easy to verify Eq (4.9) as well. This completes the proof of Theorem 4.3.

5.   Conclusions

In order to understand the geometry of Filippov $n$-algebroids, we introduced a kind of multi-input connections on $n$-anchored vector bundles. Filippov $n$-brackets could be reconstructed from such connections. Moreover, all compatibility conditions in the definition of Filippov $n$-algebroids correspond to some natural conditions on connections. These connections are called Filippov connections. We also provided with concrete constructions on Filippov connections, which led to many examples of Filippov $n$-algebroids. As an application, we obtain a one-to-one correspondence between Filippov $n$-algebroid structures on a vector bundle $A$ of rank $n$ and linear Nambu-Poisson structures on its dual bundle $A^\ast$.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

We are grateful to the anonymous referees for constructive suggestions to improve the presentation of the manuscript. This work is supported by the National Natural Science Foundation of China (NSFC) grants 11961049, 11901221 and 12071241, and by the Key Project of Jiangxi Natural Science Foundation grant 20232ACB201004.

Conflict of interest

The authors declare no conflicts of interest in this paper.