# Odd Jacobi Manifolds and Loday-Poisson Brackets

Authors: Andrew James Bruce
Journal: Journal of Mathematics
 (2014)

---

## Abstract

We construct a nonskew symmetric version of a Poisson bracket on the algebra of smooth functions on an odd Jacobi supermanifold. We refer to such Poisson-like brackets as Loday-Poisson brackets. We examine the relations between the Hamiltonian vector fields with respect to both the odd Jacobi structure and the Loday-Poisson structure. Furthermore, we show that the Loday-Poisson bracket satisfies the Leibniz rule over the noncommutative product derived from the homological vector field.


---

## Body

## 1. Introduction

In this paper, we construct a Loday-Poisson bracket on the algebra of smooth functions on an odd Jacobi supermanifold(
M
,
S
,
Q
); see [1]. The key observation here is that the homological vector field Q
∈
Vect
(
M
) is a Jacobi vector field with respect to the odd Jacobi structure. Due to this, one can directly employ the notion of derived brackets as defined by Kosmann-Schwarzbach [2, 3]. We will draw heavily from these works (the notion of a derived bracket can be traced back to J. L. Koszul (1990) in unpublished notes. The notion was also put forward by Th. Th. Voronov (1993), but remains unpublished).On any differential super Lie algebra,(
A
,
[
,
]
,
D
), with bracket of even or odd parity, one can construct the “derived bracket”
(1)
(
a
,
b
)
D
:
=
(
-
1
)
a
~
+
1
[
D
(
a
)
,
b
]
.This bracket is not in general a Lie bracket (or a Lie antibracket) due to the lack of skew symmetry. However, the bracket does satisfy a form of the Jacobi identity. Such Lie algebra mod, the skew symmetry was first introduced by Loday under the name “Leibniz algebras” [4, 5]; we will shortly be a little more precise here.On an odd Jacobi manifold, we have a differential Lie antialgebra, that is, an odd Lie bracket provided by the odd Jacobi bracket and a differential provided by the homological vector field.In essence on an odd Jacobi manifold, one also has “a Poisson bracket mod the skew symmetry.” We make the previous statement more precise and then investigate the relations between the Hamiltonian vector fields given by the odd Jacobi and the Loday-Poisson structure. Furthermore, we study the notion of an odd form of noncommutative multiplication on the smooth functions on an odd Jacobi manifold generated by the homological vector field. It is shown that the Loday-Poisson bracket satisfies the right Leibniz rule over both the standard product of smooth functions and the odd derived product.Remark 1.
Grabowski and Marmo in [6, 7] prove that on a classical (purely even) manifold N the Jacobi-Loday identity together with the (generalized) Leibniz rule for a binary bracket on C
∞
(
N
) implies the skew symmetry: there can only be Poisson or even Jacobi brackets on classical manifolds. In fact, they show that similar statements also hold for Nambu-Poisson brackets and for generalizations of Lie algebroid brackets. However, here we consider supermanifolds, meaning that we have a ℤ
2-grading and, more importantly, nontrivial nilpotent functions which invalidate the conditions of their theorem.This paper is arranged as follows. In Section2, we recall the definition of an odd Jacobi manifold and present some results needed throughout the rest of this paper. In Section 3, we construct the Loday-Poisson bracket on an odd Jacobi manifold and, in Section 4, we present some standard examples. The Hamiltonian vector fields with respect to the odd Jacobi brackets and the Loday-Poisson brackets are the subject of Section 5. The derived product generated by a homological vector field is defined and studied in Section 6. Here, it is shown that the Loday-Poisson bracket satisfies an appropriate Leibniz rule over the noncommutative derived product. In Section 7, the previous constructions are applied to the specific case of Jacobi algebroids. We conclude this paper with some final remarks in Section 8. The remainder of the introduction is devoted to some preliminary notions and nomenclature.


### 1.1. Preliminaries

All vector spaces and algebras will beℤ
2-graded. We will generally omit the prefixsuper. Bymanifold, we will mean asmooth supermanifold. We denote the Grassmann parity of an object bytilde: A
~
∈
ℤ
2. Byeven orodd, we will be referring explicitly to the Grassmann parity.APoisson
(
ε
=
0
) orSchouten
(
ε
=
1
)
algebra is understood as a vector space A with a bilinear associative multiplication and a bilinear operation {
·
,
·
}
ε
:
A
⊗
A
→
A such thatGrading{
a
,
b
}
ε
~
=
a
~
+
b
~
+
ε;
Skew symmetry{
a
,
b
}
ε
=
-
(
-
1
)
(
a
~
+
ε
)
(
b
~
+
ε
)
{
b
,
a
}
ε;
Jacobi identity∑
cyclic
(
a
,
b
,
c
)
(
-
1
)
(
a
~
+
ε
)
(
c
~
+
ε
)
{
a
,
{
b
,
c
}
ε
}
ε
=
0;
Leibniz rule{
a
,
b
c
}
ε
=
{
a
,
b
}
ε
c
+
(
-
1
)
(
a
~
+
ε
)
b
~
b
{
a
,
c
}
ε. For all homogenous elements  a, b, and c
∈
A. Extension to inhomogeneous elements is via linearity. If the Leibniz rule does not hold identically but is modified as
(2)
{
a
,
b
c
}
ε
=
{
a
,
b
}
ε
c
+
(
-
1
)
(
a
~
+
ε
)
b
~
b
{
a
,
c
}
ε
-
{
a
,
1
}
ε
b
c
,
then we have even (ϵ
=
0
) or odd (ϵ
=
1
) Jacobi algebras.A manifoldM such that C
∞
(
M
) is a Poisson/Schouten algebra is known as aPoisson/Schouten manifold. In particular, the cotangent of a manifold comes equipped with a canonical Poisson structure.Let us employ natural local coordinates(
x
A
,
p
A
) on T
*
M, with x
~
A
=
A
~ and p
~
A
=
A
~. Local diffeomorphisms on M induce vector bundle automorphism on T
*
M of the form
(3)
x
A
′
=
x
A
′
(
x
)
,
p
A
′
=
(
∂
x
B
∂
x
A
′
)
p
B
.We will in effect use the local description as anatural vector bundle to define the cotangent bundle of a supermanifold. The canonical Poisson bracket on the cotangent is given by
(4)
{
F
,
G
}
=
(
-
1
)
A
~
F
~
+
A
~
∂
F
∂
p
A
∂
G
∂
x
A
-
(
-
1
)
A
~
F
~
∂
F
∂
x
A
∂
G
∂
p
A
.A manifold equipped with an odd vector fieldQ, such that the nontrivial condition Q
2
=
(
1
/
2
)
[
Q
,
Q
]
=
0 holds, is known as aQ-manifold. The vector field Q is known as ahomological vector field for obvious reasons.The notion of a Loday-Poisson bracket is important in this paper. We define such a bracket as “a Poisson bracket but without the skewsymmetry.” Note that the Jacobi identity, as presented above, for an even bracket (with or without a Leibniz rule) implies that the adjoint endomorphismf
⇝
ad
f
:
=
{
f
,
·
} is a derivation over the bracket itself. That is,
(5)
ad
f
{
g
,
h
}
=
{
ad
f
(
g
)
,
h
}
+
(
-
1
)
f
~
g
~
{
g
,
ad
f
(
h
)
}
.Note that the above has direct meaning even if the skew symmetry of the bracket is weakened. Thus, the most useful definition of the Jacobi identity for an even bracket when the symmetry is lost is(6)
{
f
,
{
g
,
h
}
}
=
{
{
f
,
g
}
,
h
}
+
(
-
1
)
f
~
g
~
{
g
,
{
f
,
h
}
}
.We refer to this form of the Jacobi identity as the(right) Jacobi-Loday identity [4]. If we have an even bracket that satisfies the Jacobi-Loday identity and the right Leibniz rule, but not necessarily the skew symmetry, then we call such a bracket as aright Loday-Poisson bracket. Left Loday-Poisson brackets can be similarly defined, as can Loday-Poisson brackets that satisfy the Leibniz rule in both directions. For example, classical Poisson brackets are specific examples of Loday-Poisson bracket, albeit skew symmetric. We will examine only right Loday-Poisson brackets, but we will typically drop explicit reference to the word right. To the author's knowledge (noncommutative), Loday-Poisson algebra was first discussed by Casas and Datuashvili [8].Remark 2.
Much of this paper will generalize directly to QS-manifolds in the sense of Voronov [9]. A primary example of a QS-manifold is the antitangent bundle Π
T
M of a Poisson manifold M. The Schouten structure is supplied by the Koszul-Schouten bracket and the homological vector field by the de Rham differential [10]. The associated Loday-Poisson bracket is a natural extension of the Poisson bracket on C
∞
(
M
) to differential forms over M, but note this extension is as a Loday bracket only [2]. The constructions here will not directly generalize to even Jacobi supermanifolds due to incompatibility of the Grassmann parities. There is no canonical choice of a homological Jacobi vector field on an even Jacobi supermanifold.


## 1.1. Preliminaries

All vector spaces and algebras will beℤ
2-graded. We will generally omit the prefixsuper. Bymanifold, we will mean asmooth supermanifold. We denote the Grassmann parity of an object bytilde: A
~
∈
ℤ
2. Byeven orodd, we will be referring explicitly to the Grassmann parity.APoisson
(
ε
=
0
) orSchouten
(
ε
=
1
)
algebra is understood as a vector space A with a bilinear associative multiplication and a bilinear operation {
·
,
·
}
ε
:
A
⊗
A
→
A such thatGrading{
a
,
b
}
ε
~
=
a
~
+
b
~
+
ε;
Skew symmetry{
a
,
b
}
ε
=
-
(
-
1
)
(
a
~
+
ε
)
(
b
~
+
ε
)
{
b
,
a
}
ε;
Jacobi identity∑
cyclic
(
a
,
b
,
c
)
(
-
1
)
(
a
~
+
ε
)
(
c
~
+
ε
)
{
a
,
{
b
,
c
}
ε
}
ε
=
0;
Leibniz rule{
a
,
b
c
}
ε
=
{
a
,
b
}
ε
c
+
(
-
1
)
(
a
~
+
ε
)
b
~
b
{
a
,
c
}
ε. For all homogenous elements  a, b, and c
∈
A. Extension to inhomogeneous elements is via linearity. If the Leibniz rule does not hold identically but is modified as
(2)
{
a
,
b
c
}
ε
=
{
a
,
b
}
ε
c
+
(
-
1
)
(
a
~
+
ε
)
b
~
b
{
a
,
c
}
ε
-
{
a
,
1
}
ε
b
c
,
then we have even (ϵ
=
0
) or odd (ϵ
=
1
) Jacobi algebras.A manifoldM such that C
∞
(
M
) is a Poisson/Schouten algebra is known as aPoisson/Schouten manifold. In particular, the cotangent of a manifold comes equipped with a canonical Poisson structure.Let us employ natural local coordinates(
x
A
,
p
A
) on T
*
M, with x
~
A
=
A
~ and p
~
A
=
A
~. Local diffeomorphisms on M induce vector bundle automorphism on T
*
M of the form
(3)
x
A
′
=
x
A
′
(
x
)
,
p
A
′
=
(
∂
x
B
∂
x
A
′
)
p
B
.We will in effect use the local description as anatural vector bundle to define the cotangent bundle of a supermanifold. The canonical Poisson bracket on the cotangent is given by
(4)
{
F
,
G
}
=
(
-
1
)
A
~
F
~
+
A
~
∂
F
∂
p
A
∂
G
∂
x
A
-
(
-
1
)
A
~
F
~
∂
F
∂
x
A
∂
G
∂
p
A
.A manifold equipped with an odd vector fieldQ, such that the nontrivial condition Q
2
=
(
1
/
2
)
[
Q
,
Q
]
=
0 holds, is known as aQ-manifold. The vector field Q is known as ahomological vector field for obvious reasons.The notion of a Loday-Poisson bracket is important in this paper. We define such a bracket as “a Poisson bracket but without the skewsymmetry.” Note that the Jacobi identity, as presented above, for an even bracket (with or without a Leibniz rule) implies that the adjoint endomorphismf
⇝
ad
f
:
=
{
f
,
·
} is a derivation over the bracket itself. That is,
(5)
ad
f
{
g
,
h
}
=
{
ad
f
(
g
)
,
h
}
+
(
-
1
)
f
~
g
~
{
g
,
ad
f
(
h
)
}
.Note that the above has direct meaning even if the skew symmetry of the bracket is weakened. Thus, the most useful definition of the Jacobi identity for an even bracket when the symmetry is lost is(6)
{
f
,
{
g
,
h
}
}
=
{
{
f
,
g
}
,
h
}
+
(
-
1
)
f
~
g
~
{
g
,
{
f
,
h
}
}
.We refer to this form of the Jacobi identity as the(right) Jacobi-Loday identity [4]. If we have an even bracket that satisfies the Jacobi-Loday identity and the right Leibniz rule, but not necessarily the skew symmetry, then we call such a bracket as aright Loday-Poisson bracket. Left Loday-Poisson brackets can be similarly defined, as can Loday-Poisson brackets that satisfy the Leibniz rule in both directions. For example, classical Poisson brackets are specific examples of Loday-Poisson bracket, albeit skew symmetric. We will examine only right Loday-Poisson brackets, but we will typically drop explicit reference to the word right. To the author's knowledge (noncommutative), Loday-Poisson algebra was first discussed by Casas and Datuashvili [8].Remark 2.
Much of this paper will generalize directly to QS-manifolds in the sense of Voronov [9]. A primary example of a QS-manifold is the antitangent bundle Π
T
M of a Poisson manifold M. The Schouten structure is supplied by the Koszul-Schouten bracket and the homological vector field by the de Rham differential [10]. The associated Loday-Poisson bracket is a natural extension of the Poisson bracket on C
∞
(
M
) to differential forms over M, but note this extension is as a Loday bracket only [2]. The constructions here will not directly generalize to even Jacobi supermanifolds due to incompatibility of the Grassmann parities. There is no canonical choice of a homological Jacobi vector field on an even Jacobi supermanifold.


## 2. Odd Jacobi Manifolds

Lichnerowicz [11, 12] introduced the notion of a Poisson manifold as well as a Jacobi manifold. Such manifolds have found applications in classical mechanics and play an important role in quantisation. In this section, we recall some of the basic notions as pertaining to odd Jacobi (super) manifolds. No proofs are given here and can be found in [1] or follow directly from the definitions. For a modern discussion of Jacobi structures, including ℤ-graded versions, see [13–15].Definition 3.
Anodd Jacobi structure
(
S
,
Q
) on a manifold M consists of (i)
an odd functionS
∈
C
∞
(
T
*
M
), of degree two in fibre coordinates,
(ii)
an odd vector fieldQ
∈
Vect
(
M
), such that the following conditions hold: (1)
the homological conditionQ
2
=
(
1
/
2
)
[
Q
,
Q
]
=
0,
(2)
the invariance conditionL
Q
S
=
0,
(3)
the compatibility condition{
S
,
S
}
=
-
2
𝒬
S.
Here,𝒬
∈
C
∞
(
T
*
M
) is the principal symbol or “Hamiltonian” of the vector field Q. The brackets {
·
,
·
} are the canonical Poisson brackets on the cotangent bundle of the manifold.
A manifold equipped with an odd Jacobi structure(
S
,
Q
) is known as anodd Jacobi manifold.Remark 4.
At first glance, the above definition seems different from the classical notion of a Jacobi manifold. The compatibility condition involves the principal symbol of the homological vector field rather than the vector field itself. However, all we are really doing is thinking of the vector field as a linear function on the cotangent bundle.Definition 5.
Theodd Jacobi bracket on C
∞
(
M
) is defined as
(7)
[
f
,
g
]
J
=
(
-
1
)
f
~
+
1
{
{
S
,
f
}
,
g
}
-
(
-
1
)
f
~
+
1
{
𝒬
,
f
g
}
=
(
-
1
)
(
B
~
+
1
)
f
~
+
1
S
B
A
∂
f
∂
x
A
∂
g
∂
x
B
+
(
-
1
)
f
~
(
Q
A
∂
f
∂
x
A
)
g
+
f
(
Q
A
∂
g
∂
x
A
)
,
with f
,
g
∈
C
∞
(
M
).The odd Jacobi bracket makes the algebra of smooth functions onM into an odd Jacobi algebra.Remark 6.
The definition of an odd Jacobi manifold given here is not quite the most general, and one can include an odd function in the construction of an odd Jacobi structure; see Grabowski and Marmo [14] for details. Note that the definition given by Grabowski and Marmo coincide with that given here (up to conventions) up on setting the odd function to zero. Thus, there are examples of odd Jacobi brackets on supermanifolds not covered by the constructions here.Definition 7.
Given a functionf
∈
C
∞
(
M
), the associatedHamiltonian vector field is given by
(8)
f
⇝
X
f
∈
Vect
(
M
)
,
X
f
(
g
)
=
(
-
1
)
f
~
[
[
f
,
g
]
]
J
-
Q
(
f
)
g
.Note that the homological vector fieldQ is itself Hamiltonian with respect to the unit constant function: Q
=
X
1
=
[
[
1
,
·
]
]
J.Definition 8.
A vector fieldX
∈
Vect

(
M
) is said to be aJacobi vector field if and only if
(9)
L
X
S
=
{
χ
,
S
}
=
0
,
L
X
Q
=
{
χ
,
𝒬
}
=
0
where χ
∈
C
∞
(
T
*
M
) is the symbol or “Hamiltonian” of the vector field X. Note that the homological vector field Q is a Jacobi vector field.Proposition 9.
LetZ
∈
Vect

(
M
) be a vector field on an odd Jacobi manifold. Then, the following are equivalent:(1)
Z
is a Jacobi vector field;
(2)
Z
is a derivation over the odd Jacobi bracket;
(10)
Z
(
[
f
,
g
]
J
)
=
[
Z
(
f
)
,
g
]
J
+
(
-
1
)
Z
~
(
f
~
+
1
)
[
f
,
Z
(
g
)
]
J
(3)
[
Z
,
X
f
]
=
(
-
1
)
Z
~
Z
X
(
f
)
, for all Hamiltonian vector fields
X
f
.Proposition 10.
A Hamiltonian vector fieldX
f
∈
Vect

(
M
) is a Jacobi vector field if and only if f
∈
C
∞
(
M
) is Q-closed.Proposition 11.
The assignmentf
⇝
X
f is a morphism between the odd Lie algebra on C
∞
(
M
) provided by the odd Jacobi brackets and the Lie algebra of vector fields. Specifically, the following holds:
(11)
[
X
f
,
X
g
]
=
-
X
[
f
,
g
]
J
for all f
,
g
∈
C
∞
(
M
).Proposition 12.
On an odd Jacobi manifold, the following identity holds:(12)
X
f
g
=
(
-
1
)
f
~
f
X
g
+
(
-
1
)
g
~
(
f
~
+
1
)
g
X
f
+
(
-
1
)
f
~
+
g
~
+
1
f
g
Q
.Remark 13.
An even or odd Lie bracket defined on sections of an even line bundle over a manifold which is a first-order differential operator with respect to each argument is known as a Kirillov bracket [16]. Jacobi brackets are Kirillov brackets on trivial line bundles. In this respect, Jacobi brackets serve as a local description of Kirillov brackets but should be seen as a secondary notion. We will not pursue the more general situation of Kirillov brackets here and focus only on Jacobi structures.


## 3. Loday-Poisson Brackets

We are now in a position to state the main theorem of this paper. We draw heavily on the notion of derived brackets in the sense of Kosmann-Schwarzbach; see [2, 3] for details.Theorem 14.
Let(
M
,
S
,
Q
) be an odd Jacobi manifold; then, C
∞
(
M
) comes equipped with a canonical Loday-Poisson bracket.Proof.
We prove the theorem by direct construction of the Loday-Poisson bracket. The bracket is canonical up to minor issues of conventions. Following Kosmann-Schwarzbach [2], we define the Loday-Poisson bracket as
(13)
{
f
,
g
}
J
:
=
(
-
1
)
f
~
+
1
[
Q
(
f
)
,
g
]
J
.
The vector field Q is homological and Jacobi. This fact together with the Jacobi identity for the odd Jacobi bracket implies that the Loday-Poisson is even and satisfies the Jacobi-Loday identity. For completeness, we outline the steps here and urge the reader to consult [2].
From the definitions and the Jacobi identity for the odd Jacobi bracket, we have(14)
{
f
,
{
g
,
h
}
J
}
J
=
(
-
1
)
f
~
+
g
~
[
Q
(
f
)
,
[
Q
(
g
)
,
h
]
J
]
J
=
(
-
1
)
f
~
+
g
~
(
[
[
[
[
Q
(
f
)
,
Q
(
g
)
]
]
J
,
h
]
]
J
=
(
-
1
)
f
~
+
g
~
K
+
(
-
1
)
f
~
g
~
[
[
Q
(
g
)
,
[
[
Q
(
f
)
,
h
]
]
J
]
]
J
)
.
Using the fact that the homological vector field is a Jacobi vector field, we have(15)
{
f
,
{
g
,
h
}
J
}
J
=
(
-
1
)
g
~
+
f
~
+
1
[
(
-
1
)
f
~
+
1
Q
(
[
Q
(
f
)
,
g
]
J
)
,
h
]
J
+
(
-
1
)
f
~
g
~
+
f
~
+
g
~
[
Q
(
g
)
,
[
Q
(
f
)
,
h
]
J
]
J
-
(
-
1
)
g
~
[
[
Q
2
(
f
)
,
g
]
J
,
h
]
J
.
AsQ
2
=
0, the above gives
(16)
{
f
,
{
g
,
h
}
J
}
J
=
{
{
f
,
g
}
J
,
h
}
J
+
(
-
1
)
f
~
g
~
{
g
,
{
f
,
h
}
J
}
J
.
Note, however, that the bracket is not automatically skew symmetric. The Leibniz rule follows from the definitions directly:(17)
{
f
,
g
h
}
J
=
(
-
1
)
f
~
+
1
[
Q
(
f
)
,
g
h
]
J
,
=
(
-
1
)
f
~
+
1
[
Q
(
f
)
,
g
]
J
h
+
(
-
1
)
f
~
+
1
+
f
~
g
~
g
[
Q
(
f
)
,
h
]
J
-
[
Q
(
f
)
,
1
]
J
g
h
,
=
{
f
,
g
}
J
h
+
(
-
1
)
f
~
g
~
g
{
f
,
h
}
J
-
[
Q
(
f
)
,
1
]
J
g
h
,
which follows from the modified Leibniz rule for the odd Jacobi bracket and the definition of the Loday-Poisson bracket. Then, as [
f
,
1
]
J
=
(
-
1
)
f
~
Q
(
f
), we have [
Q
(
f
)
,
1
]
J
=
±
Q
(
Q
(
f
)
)
=
0 as Q is homological. This could also be shown via direct application of the Jacobi identity for the odd Jacobi bracket. Then,
(18)
{
f
,
g
h
}
J
=
{
f
,
g
}
J
h
+
(
-
1
)
f
~
g
~
g
{
f
,
h
}
J
.Remark 15.
Note that the centre of the odd Jacobi algebra consists entirely ofQ-closed functions. This is evident as we have [
[
f
,
1
]
]
J
=
(
-
1
)
f
~
Q
(
f
). Thus, the restriction of the Loday-Poisson bracket to the centre of (
C
∞
(
M
)
,
[
[
·
,
·
]
]
J
) is identically zero or, in other words, the trivial Poisson bracket.In local coordinates, the Loday-Poisson bracket is given by(19)
{
f
,
g
}
J
=
(
-
1
)
B
~
(
f
~
+
1
)
+
1
(
(
-
1
)
A
~
S
B
A
Q
C
∂
2
f
∂
x
C
∂
x
A
=
(
-
1
)
B
~
(
f
~
+
1
)
+
1
KK
+
S
B
A
∂
Q
C
∂
x
A
∂
f
∂
x
C
=
(
-
1
)
B
~
(
f
~
+
1
)
+
1
KK
-
Q
B
Q
A
∂
f
∂
x
A
∂
2
f
∂
x
C
∂
x
A
)
∂
g
∂
x
B
.Directly from this local expression, we see that the bracket satisfies the right Leibniz rule and is not skew symmetric, in general. Moreover, the Loday-Poisson bracket is a second-order differential operator in the first argument. From the definitions, it is clear that(20)
{
f
,
g
}
J
-
(
-
1
)
f
~
g
~
{
g
,
f
}
J
=
(
-
1
)
f
~
+
1
Q
(
[
f
,
g
]
J
)
.


## 4. Some Examples

In this section, we briefly present four examples of odd Jacobi manifolds and the Loday-Poisson brackets associated with them. These examples are taken straight from [1].Schouten Manifolds can be considered as odd Jacobi manifolds with the homological vector field being the zero vector. In this case the corresponding Loday-Poisson bracket is also trivial,
(21)
{
f
,
g
}
J
=
0
,
for all f
,
g
∈
C
∞
(
M
). Examples of Schouten manifolds include odd symplectic manifolds, which have found applications in physics via the Batalin-Vilkovisky formalism.Q-manifolds are understood as odd Jacobi manifolds with the almost Schouten structure being zero.Q-manifolds have found important applications in the Batalin-Vilkovisky formalism along-side Schouten structures, [17, 18]. The odd Jacobi bracket on aQ-manifold is then given by
(22)
[
f
,
g
]
Q
=
(
-
1
)
f
~
Q
(
f
g
)
=
(
-
1
)
f
~
Q
A
∂
f
∂
x
A
g
+
f
Q
A
∂
g
∂
x
A
.
The associated Loday-Poisson bracket is thus
(23)
{
f
,
g
}
Q
=
(
-
1
)
f
~
+
1
Q
(
f
)
Q
(
g
)
=
(
-
1
)
B
~
(
f
~
+
1
)
Q
B
Q
A
∂
f
∂
x
A
∂
g
∂
x
B
,
which is in fact skew symmetric and thus a genuine Poisson bracket. One can see this directly or from the fact that Q
(
[
[
f
,
g
]
]
Q
)
=
0.Remark 16.
There is nothing really new here. In essence, all we have is a Poisson structure (bivector) given byP
=
±
(
1
/
2
)
(
ς
Q
)
2, where ς
:
Vect
(
M
)
→
C
∞
(
Π
T
*
M
) is the odd isomorphism between vector fields and “one-vectors.” Note that ς
Q is now even and the homological property becomes [
[
ς
Q
,
ς
Q
]
]
=
0, where the bracket here is the canonical Schouten-Nijenhuis bracket. Thus, due to the Leibniz rule, it is clear that [
[
P
,
P
]
]
=
0 and we have a Poisson structure. One could also build higher Poisson structures fromQ-manifolds in this way.Recall that aLie Algebroid
E
→
M can be described as a weight one homological vector field on the total space of Π
E. This understanding in terms of gradedQ-manifolds is attributed to Vaĭntrob [19]. The weight is assigned as zero to the base coordinates and one to the fibre coordinates. In natural local coordinates (
x
A
,
ξ
α
), the homological vector field is of the form
(24)
Q
=
ξ
α
Q
α
A
(
x
)
∂
∂
x
A
+
1
2
ξ
α
ξ
β
Q
β
α
γ
(
x
)
∂
∂
ξ
γ
∈
Vect
(
Π
E
)
.
The associated weight one odd Jacobi bracket is given by
(25)
[
ϕ
,
ψ
]
E
=
(
-
1
)
ϕ
~
(
ξ
α
Q
α
A
(
x
)
∂
ϕ
∂
x
A
=
(
-
1
)
ϕ
~
KK
+
1
2
ξ
α
ξ
β
Q
β
α
γ
(
x
)
∂
ϕ
∂
ξ
γ
)
ψ
+
ϕ
(
ξ
α
Q
α
A
(
x
)
∂
ψ
∂
x
A
=
(
-
1
)
ϕ
~
+
1
2
ξ
α
ξ
β
Q
β
α
γ
(
x
)
∂
ψ
∂
ξ
γ
)
,
where ϕ
,
ψ
∈
C
∞
(
Π
E
) are “Lie algebroid differential forms.” The weight of two-Poisson bracket is given in local coordinates by
(26)
{
ϕ
,
ψ
}
E
=
(
-
1
)
B
~
ϕ
~
+
(
B
~
+
1
)
γ
~
ξ
γ
ξ
α
Q
α
B
Q
γ
A
∂
ϕ
∂
x
A
∂
ψ
∂
x
B
+
1
2
ξ
γ
ξ
δ
ξ
α
(
∂
ψ
∂
ξ
ϵ
(
-
1
)
B
~
(
ϕ
~
+
1
)
+
(
γ
~
+
δ
~
)
(
B
~
+
1
)
+
1
2
ξ
γ
ξ
δ
ξ
α
K
K
K
×
Q
α
B
Q
δ
γ
ϵ
∂
ϕ
∂
ξ
ϵ
∂
ψ
∂
x
B
=
(
-
1
)
B
~
ϕ
~
+
(
B
~
+
1
)
γ
~
+
(
-
1
)
(
ϵ
~
+
1
)
(
ϕ
~
+
1
)
+
ϵ
~
(
γ
~
+
1
)
=
(
-
1
)
B
~
ϕ
~
+
(
B
~
+
1
)
γ
~
×
Q
α
δ
ϵ
Q
γ
B
∂
ϕ
∂
x
B
∂
ψ
∂
ξ
ϵ
)
+
(
-
1
)
(
β
~
+
1
)
(
ϕ
~
+
1
)
+
β
~
(
ϵ
~
+
ρ
~
)
×
1
4
ξ
ϵ
ξ
ρ
ξ
γ
ξ
δ
Q
δ
γ
β
Q
ρ
ϵ
α
∂
ϕ
∂
ξ
α
∂
ψ
∂
ξ
β
.Remark 17.
The constructions here directly generalize toL
∞-algebroids, understood as the pair (
Π
E
,
Q
), where Q
∈
Vect
(
Π
E
) is a homological vector field now inhomogeneous in weight.Consider the manifoldM
=
Π
T
*
N
×
ℝ
0
∣
1, where N is a pure even classical manifold. Let us equip this manifold with natural local coordinates (
x
a
,
x
a
*
,
τ
), where (
x
a
*
) are fibre coordinates on Π
T
*
N, which are Grassmann odd and τ is the coordinate on the factor ℝ
0
∣
1. The manifold M is anodd contact manifold. That is, it comes with an odd contact form given by
(27)
α
=
d
τ
-
x
a
*
d
x
a
.Associated with this odd contact form is an odd Jacobi structure given by(28)
S
=
p
*
a
(
p
a
+
x
a
*
π
)
∈
C
∞
(
T
*
M
)
,
Q
=
-
∂
∂
τ
∈
Vect
(
M
)
,
where we have employed fibre coordinates (
p
a
,
p
*
a
,
π
) on T
*
M. The corresponding odd Jacobi bracket is given by
(29)
[
f
,
g
]
J
=
(
-
1
)
f
~
+
1
∂
f
∂
x
a
*
∂
g
∂
x
a
-
∂
f
∂
x
a
∂
g
∂
x
a
*
+
x
a
*
∂
f
∂
x
a
*
∂
g
∂
τ
-
(
-
1
)
f
~
+
1
∂
f
∂
τ
x
a
*
∂
g
∂
x
a
*
+
f
∂
g
∂
τ
-
(
-
1
)
f
~
+
1
∂
f
∂
τ
g
.Then, the Loday-Poisson bracket is given by(30)
{
f
,
g
}
J
=
∂
2
f
∂
x
a
*
∂
τ
∂
g
∂
x
a
-
(
-
1
)
f
~
∂
2
f
∂
x
a
∂
τ
∂
g
∂
x
a
*
+
(
-
1
)
f
~
x
a
*
∂
2
f
∂
x
a
*
∂
τ
∂
g
∂
τ
+
(
-
1
)
f
~
∂
f
∂
τ
∂
g
∂
τ
.


## 5. Hamiltonian Vector Fields

We now continue this paper with a study of the algebraic relations between the Hamiltonian vector fields with respect to the odd Jacobi bracket and the (even) Loday-Poisson bracket.Definition 18.
Letf
∈
C
∞
(
M
) be an arbitrary function. The associatedHamiltonian vector field with respect to the Loday-Poisson bracket Y
f
∈
Vect
(
M
) is defined, namely,
(31)
Y
f
(
g
)
=
{
f
,
g
}
J
.Throughout this section, we will denote Hamiltonian vector fields with respect to the odd Jacobi structure asX
f and those with respect to the Loday-Poisson structure as Y
f in order to distinguish the two. Note that X
f
~
=
f
~
+
1 and that Y
f
~
=
f
~.Lemma 19.
LetY
f be theHamiltonian vector fields associated with the function f
∈
C
∞
(
M
) with respect to the Loday-Poisson bracket. Then,
(32)
Y
f
=
X
Q
(
f
)
=
-
[
Q
,
X
f
]
,
where X
f is the Hamiltonian vector field associated with f with respect to the odd Jacobi structure.Proof.
From the definitions(33)
Y
f
(
g
)
=
{
f
,
g
}
J
=
(
-
1
)
f
~
+
1
[
[
Q
(
f
)
,
g
]
]
J
=
X
Q
(
f
)
(
g
)
+
Q
(
Q
(
f
)
)
g
,
then given that Q is homological we get Y
f
=
X
Q
(
f
). Then using Proposition 9. we get X
Q
(
f
)
=
-
[
Q
,
X
f
] which establishes the lemma.The above lemma can be viewed as establishing a mild generalization of bi-Hamiltonian systems. In particular, any vector field that is Hamiltonian with respect to the Loday-Poisson bracket is also Hamiltonian with respect to the odd Jacobi structure and the Hamiltonians are related directly via the homological field.Corollary 20.
Letf
∈
C
∞
(
M
) be an even function that satisfies the “classical master equation” [
f
,
f
]
J
=
0. Then, this implies that {
f
,
f
}
J
=
0. Furthermore, we have [
Q
(
f
)
,
f
]
J
=
0 and {
f
,
Q
(
f
)
}
J
=
0.The above corollary naturally generalizes the statement that, for classical bi-Hamiltonian systems, both Hamiltonians are in involution with respect to both Poisson structures. Also, note that the Hamiltonian vector fields with respect to the Loday-Poisson bracket only depend on theQ-cohomology class of the Hamiltonian function. Specifically, if f
-
f
′
=
Q
(
g
) for for some g
∈
C
∞
(
M
), then Y
f
=
Y
f
′.Proposition 21.
LetY
f be the Hamiltonian vector field associated with the function f
∈
C
∞
(
M
) with respect to the Loday-Poisson bracket. Then,
(34)
[
Q
,
Y
f
]
=
0
.Proof.
From Lemma19 and the Jacobi identity for the Lie bracket, we have
(35)
[
Q
,
Y
f
]
=
-
[
Q
,
[
Q
,
X
f
]
]
=
-
1
2
[
[
Q
,
Q
]
,
X
f
]
=
0
,
as Q is a homological vector field.Lemma 22.
LetY
f be the Hamiltonian vector field associated with the function f
∈
C
∞
(
M
) with respect to the Loday-Poisson bracket. Then, Y
f is a Jacobi vector field.Proof.
It follows from Lemma19 that Hamiltonian vector fields with respect to the odd Jacobi bracket are Jacobi if and only if the Hamiltonian function is Q-closed. As Q
2
=
0 evidently Y
f is Jacobi.Proposition 23.
LetY
f and Y
g be the Hamiltonian vector fields associated with the functions f
,
g
∈
C
∞
(
M
) with respect to the Loday-Poisson bracket. Then,
(36)
[
Y
f
,
Y
g
]
=
Y
{
f
,
g
}
J
.Proof.
Via direct computation,(37)
[
Y
f
,
Y
g
]
=
[
X
Q
(
f
)
,
X
Q
(
g
)
]
=
-
X
[
[
Q
(
f
)
,
Q
(
g
)
]
]
J
using the properties of Hamiltonian vector fields associated with the odd Jacobi bracket. Then, using
(38)
Q
(
[
Q
(
f
)
,
g
]
J
)
=
(
-
1
)
f
~
[
Q
(
f
)
,
Q
(
g
)
]
J
,
we arrive at
(39)
-
X
[
Q
(
f
)
,
Q
(
g
)
]
J
=
(
-
1
)
f
~
+
1
X
Q
(
[
Q
(
f
)
,
g
]
J
)
,
which established the proposition.The above proposition is rather expected and more interesting are the “mixed” commutators of the Hamiltonian vector fields. In particular, are there nice expressions forX
{
f
,
g
}
J and Y
[
f
,
g
]
J?Proposition 24.
LetX
g and Y
f be the Hamiltonian vector fields associated with the functions g
,
f
∈
C
∞
(
M
) with respect to the odd Jacobi bracket and the Loday-Poisson bracket, respectively. Then,
(40)
[
Y
f
,
X
g
]
=
(
-
1
)
f
~
X
{
f
,
g
}
J
.Proof.
The proposition follows from the fact thatY
f is a Jacobi vector field, see Lemma 22 and Proposition 9.Proposition 25.
LetX
f and Y
f be the Hamiltonian vector fields associated with the function f
∈
C
∞
(
M
) with respect to the odd Jacobi bracket and the Loday-Poisson bracket, respectively. Then,
(41)
(
-
1
)
f
~
+
1
Y
[
f
,
g
]
J
=
X
{
f
,
g
}
J
+
(
-
1
)
f
~
g
~
X
{
g
,
f
}
J
.Proof.
From Lemma19, we have
(42)
Y
[
f
,
g
]
J
=
-
[
Q
,
X
[
f
,
g
]
J
]
=
X
Q
(
[
f
,
g
]
J
)
.
Then, using (20), and upon multiplication by overall sign factor, we arrive at the above expression.Corollary 26.
With the definitions previously given(1)
[
Q
,
X
{
f
,
g
}
J
]
=
-
[
Y
f
,
Y
g
]
=
-
Y
{
f
,
g
}
J;
(2)
[
Q
,
Y
[
f
,
g
]
J
]
=
0.Expressions for higher nested commutators of Hamiltonian vector field can be worked out from the relations given here and the Jacobi identity for the commutator.The next natural thing to consider in this section is how the Hamiltonian vector field with respect to the Loday-Poisson bracket behaves under the product of two functions.Proposition 27.
On an odd Jacobi manifold, the following identity holds:(43)
Y
f
g
=
f
Y
g
+
(
-
1
)
f
~
g
~
g
Y
f
+
(
-
1
)
f
~
+
1
Q
(
f
)
(
X
g
-
(
-
1
)
g
~
g
Q
)
+
(
-
1
)
f
~
g
~
+
g
~
+
1
Q
(
g
)
(
X
f
-
(
-
1
)
f
~
f
Q
)
.Proof.
First, note from Lemma19 and Leibniz rule for Q that
(44)
Y
f
g
=
X
Q
(
f
g
)
=
X
Q
(
f
)
g
+
(
-
1
)
f
~
X
f
Q
(
g
)
.
Then, application of Proposition 12 produces
(45)
Y
f
g
=
f
X
Q
(
g
)
+
(
-
1
)
f
~
g
~
g
X
Q
(
f
)
+
(
-
1
)
f
~
+
1
Q
(
f
)
(
X
g
-
(
-
1
)
g
~
g
Q
)
+
(
-
1
)
f
~
g
~
+
g
~
+
1
Q
(
g
)
(
X
f
-
(
-
1
)
f
~
f
Q
)
,
which implies the proposition.It is easy to verify the “consistency conditions”Y
1
g
=
Y
g and Y
f
1
=
Y
f. Furthermore, Proposition 27 can be interpreted as “measuring” the violation of the left Leibniz rule of Loday-Poisson bracket. The failure of the left Leibniz rule is of course a direct consequence of the Loday-Poisson bracket being a second-order differential operator in the first argument. Specifically, we have
(46)
{
f
g
,
h
}
J
=
f
{
g
,
h
}
J
+
(
-
1
)
g
~
h
~
{
f
,
h
}
J
g
+
(
-
1
)
f
~
+
1
Q
(
f
)
(
(
-
1
)
g
~
[
g
,
h
]
J
-
Q
(
g
h
)
)
+
(
-
1
)
f
~
g
~
+
g
~
+
1
Q
(
g
)
(
(
-
1
)
f
~
[
f
,
h
]
J
-
Q
(
f
h
)
)
.Remark 28.
The Loday-Poisson bracket is then a biderivation if we restrict the left-hand entries of the bracket to beQ-closed. However, this condition implies that the Loday-Poisson bracket is trivial. The other extreme is to insist that (
-
1
)
f
~
[
[
f
,
h
]
]
J
-
Q
(
f
h
)
=
0 for all, f
,
h
∈
C
∞
(
M
). This implies that [
[
f
,
h
]
]
J
=
(
-
1
)
f
~
Q
(
f
h
) and thus the underlying odd Jacobi structure is (
0
,
Q
). That is, we have “just” aQ-manifold.The similarity between the relations satisfied by the two classes of Hamiltonian vector field on an odd Jacobi manifold and the Cartan identities is striking, but not surprising as the Cartan calculus can be understood in terms of derived brackets [3]. In essence, we have the associations(47)
Hamiltonian
vector
fields
w
.
r
.
t
odd
Jacobi
structure
⟷
Interior
derivative
Hamiltonian
vector
fields
w
.
r
.
t
Loday-Poisson
structure
⟷
Lie
derivative
Loday-Poisson
bracket
⟷
Lie
bracket
.With these formal algebraic similarities in mind, one can interpret the constructions here as a (partially noncommutative) generalization of the Cartan calculus. However, as the interior product cannot directly be understood as a Hamiltonian vector field with respect to some odd Jacobi structure, the Cartan calculus cannot be seen as a special case of the constructions given in this work.


## 6. The Derived Product

Definition 29.
Let(
M
,
Q
) be aQ-manifold. Thederived product is the binary operation *
:
C
∞
(
M
)
×
C
∞
(
M
)
→
C
∞
(
M
) defined as
(48)
f
*
g
=
(
-
1
)
f
~
+
1
Q
(
f
)
g
,
where f
,
g
∈
C
∞
(
M
).It is easy to verify that this derived product is associative, but not (super) commutative. The derived product is anodd form of noncommutative multiplication on C
∞
(
M
): f
*
g
~
=
f
~
+
g
~
+
1. The notion of a derived product is also due to Loday and has its origin in his study of dialgebras [20]. The derived product on aQ-manifold can be viewed in the light of deformation quantisation. That is, the vector space structure of the smooth functions on theQ-manifold remains the same; it is only the product that isdeformed. Also note that the derived *-commutator is given by
(49)
[
f
,
g
]
*
=
f
*
g
-
(
-
1
)
(
f
~
+
1
)
(
g
~
+
1
)
g
*
f
=
-
[
f
,
g
]
Q
.
We observe that, up to a sign, the odd Jacobi bracket generated by a homological vector field is the derived *-commutator. This is in the same spirit as understanding Poisson brackets as the classical limit of commutators in deformation quantisation. However, note that 1
*
f
=
0, meaning that constant function 1 is not the identity (“bar-unit” in Loday's language) for the derived product. Also note f
*
1
=
±
Q
(
f
). Furthermore, we do not have any parameter playing the role of ℏ.Remark 30.
We will not have any course in this work to employ ideas from the theory of dialgebras. We only remark that “dialgebras are to Loday algebra what associative algebra is to Lie algebra.” The relation between the*-commutator and the odd Jacobi bracket on aQ-manifold is an example of this.The derived*-commutator has the following easy to verify properties:(1)
[
f
,
g
]
*
=
-
(
-
1
)
(
f
~
+
1
)
(
g
~
+
1
)
[
g
,
f
]
*,
(2)
[
f
,
1
]
*
=
-
[
1
,
f
]
*, for all f,
(3)
[
f
,
g
]
*
*
h
=
0.Lemma 31.
Let(
M
,
S
,
Q
) be an odd Jacobi manifold. Then, the odd Jacobi bracket satisfies a generalized Leibniz rule given by
(50)
[
f
,
g
*
h
]
J
=
[
f
,
g
]
J
*
h
+
(
-
1
)
(
f
~
+
1
)
(
g
~
+
1
)
g
*
[
f
,
h
]
J
+
f
*
g
*
h
+
(
-
1
)
g
~
{
f
,
g
}
J
h
,
where f
,
g
,
h
∈
C
∞
(
M
).Proof.
Direct from the definitions and the modified Leibniz rule for the odd Jacobi bracket, we have(51)
[
f
,
g
*
h
]
J
=
(
-
1
)
g
~
+
1
[
f
,
Q
(
g
)
h
]
J
=
(
-
1
)
g
~
+
1
[
f
,
Q
(
g
)
]
J
h
+
(
-
1
)
g
~
+
1
+
(
g
~
+
1
)
(
f
~
+
1
)
Q
(
g
)
[
f
,
h
]
J
-
(
-
1
)
g
~
+
1
[
f
,
1
]
J
Q
(
g
)
h
.
Then, using the fact that the homological vector field Q is a Jacobi vector field the above can be cast in the form
(52)
[
f
,
g
*
h
]
J
=
(
-
1
)
f
~
+
g
~
Q
(
[
f
,
g
]
J
)
h
-
(
-
1
)
f
~
+
g
~
[
Q
(
f
)
,
g
]
J
h
+
(
-
1
)
f
~
(
g
~
+
1
)
Q
(
g
)
[
f
,
h
]
J
+
(
-
1
)
f
~
+
g
~
[
1
,
f
]
J
Q
(
g
)
h
.
Then, using the definitions, the lemma is established.Proposition 32.
Let(
M
,
Q
) be a Q-manifold. The *-commutator is a Schouten bracket with respect to the derived product.Proof.
The skew symmetry follows from Definition29. The appropriate Jacobi identity follows directly from the equivalence of the *-commutator with the odd Jacobi bracket derived from the homological vector field. Thus, the *-commutator gives an odd Lie bracket. Only the Leibniz rule is not immediate. However, this follows from Lemma 31, noting that for the case in hand (
-
1
)
g
~
{
f
,
g
}
Q
h
=
(
-
1
)
f
~
+
g
~
+
1
Q
(
f
)
Q
(
g
)
h
=
-
f
*
g
*
h.The above proposition is the direct odd parallel of the well-known result that a standard commutator on a (possibly) noncommutative algebra is in fact a Poisson bracket. Indeed, one could ignore the relation between odd noncommutative product and odd Jacobi brackets and establish the Jacobi identity directly from the definition.Theorem 33.
Let(
M
,
S
,
Q
) be an odd Jacobi manifold. Then, the Loday-Poisson bracket obeys the Leibniz rule with the derived product:
(53)
{
f
,
g
*
h
}
J
=
{
f
,
g
}
J
*
h
+
(
-
1
)
f
~
(
g
~
+
1
)
g
*
{
f
,
h
}
J
,
where f
,
g
,
h
∈
C
∞
(
M
).Proof.
The above theorem follows directly from Lemma31, upon the replacement f
→
Q
(
f
) and the definition of the Loday-Poisson bracket.Statement. Theorems 14 and 33 tell us that not only does the Loday-Poisson bracket on an odd Jacobi bracket obey the right Leibniz rule over the standard product of smooth functions but also for the odd derived product.Corollary 34.
Directly from the above theorem, we get the mixed Loday-Jacobi identity(54)
{
f
,
[
g
,
h
]
*
}
J
=
[
{
f
,
g
}
J
,
h
]
*
+
(
-
1
)
f
~
(
g
~
+
1
)
[
g
,
{
f
,
h
}
J
]
*
,
where f
,
g
,
h
∈
C
∞
(
M
).Proposition 35.
With the definitions previously given(1)
X
f
*
g
=
(
-
1
)
f
~
+
1
(
f
*
1
)
X
g
+
(
-
1
)
f
~
g
~
g
X
(
f
*
1
)
+
(
-
1
)
f
~
+
g
~
(
f
*
g
)
Q,
(2)
Y
f
*
g
=
(
f
*
1
)
Y
g
+
(
-
1
)
(
f
~
+
1
)
(
g
~
+
1
)
(
g
*
1
)
Y
f
-
(
f
*
g
*
1
)
Q,
where
f
,
g
,
h
∈
C
∞
(
M
).Proof.
The proof follows the definitions directly.(1)
From Proposition12, we have
(55)
X
Q
(
f
)
g
=
(
-
1
)
f
~
+
1
Q
(
f
)
X
g
+
(
-
1
)
f
~
g
~
g
X
Q
(
f
)
+
(
-
1
)
f
~
+
g
~
Q
(
f
)
g
Q
.
Then, using the definition of the derived product and f
*
1
=
(
-
1
)
f
~
+
1
Q
(
f
), the first part of the proposition is established.
(2)
From Proposition27, we have
(56)
Y
Q
(
f
)
g
=
Q
(
f
)
Y
g
+
(
-
1
)
(
f
~
+
1
)
g
~
+
g
~
+
1
×
Q
(
g
)
(
X
Q
(
f
)
+
(
-
1
)
f
~
Q
(
f
)
Q
)
,
taking into account that Q
2
=
0. Then, multiplying by the correct sign factor and using the definition of Y
f produce
(57)
Y
f
*
g
=
(
f
*
1
)
Y
g
+
(
-
1
)
(
f
~
+
1
)
(
g
~
+
1
)
(
g
*
1
)
Y
f
+
(
-
1
)
f
~
g
~
Q
(
g
)
Q
(
f
)
Q
.
Then, using Q
(
g
)
Q
(
f
)
=
(
-
1
)
(
f
~
+
1
)
(
g
~
+
1
)
Q
(
f
)
Q
(
g
) and the definition of the derived product, the second part of the proposition is established.Remark 36.
As far as the author is aware, the case of Poisson-like brackets on algebra with an odd form of multiplication has not been studied in detail.


## 7. Application to Jacobi Algebroids

An interesting class of odd Jacobi manifolds is the Jacobi algebroids [13, 21]. We apply some of the previous constructions to the setting of Jacobi algebroids.Definition 37.
A vector bundleE
→
M is said to have the structure of aJacobi algebroid if and only if the total space of Π
E
* comes equipped with a weight minus one odd Jacobi structure.It is well known that Jacobi algebroids, which are also known as generalized Lie algebroids, are equivalent to Lie algebroids in the presence of a 1-cocycle; see [21]. Let us employ natural local coordinates (
x
A
,
η
α
,
p
A
,
π
α
) on the total space of T
*
(
Π
E
*
). The weight is assigned as w
(
x
A
)
=
0, w
(
p
A
)
=
0, w
(
η
α
)
=
+
1, and w
(
π
α
)
=
-
1. This is thenatural weight associated with the vector bundle structure E
*
→
M.The parity of the coordinates is given byx
~
A
=
A
~, η
~
α
=
(
α
~
+
1
), p
~
A
=
A
~, and π
~
α
=
(
α
~
+
1
). In these natural local coordinates, the odd Jacobi structure is given by
(58)
S
=
(
-
1
)
α
~
π
α
Q
α
A
(
x
)
p
A
+
(
-
1
)
α
~
+
β
~
1
2
π
α
π
β
Q
β
α
γ
η
γ
,
𝒬
=
π
α
Q
α
(
x
)
,
which are both functions on the total space of T
*
(
Π
E
*
). The algebra of “multivector fields” C
∞
(
Π
E
*
) comes equipped with an odd Jacobi bracket, namely,
(59)
[
X
,
Y
]
E
=
(
-
1
)
X
~
+
1
{
{
S
,
X
}
T
*
(
Π
E
*
)
,
Y
}
T
*
(
Π
E
*
)
-
(
-
1
)
X
~
+
1
{
𝒬
,
X
Y
}
T
*
(
Π
E
*
)
,
with X
,
Y
∈
C
∞
(
Π
E
*
).In natural local coordinates, this bracket is given by(60)
[
X
,
Y
]
E
=
Q
α
A
(
(
-
1
)
(
X
~
+
α
~
+
1
)
(
A
~
+
1
)
∂
X
∂
η
α
∂
Y
∂
x
A
=
Q
α
A
KK
-
(
-
1
)
(
X
~
+
1
)
α
~
∂
X
∂
x
A
∂
Y
∂
η
α
)
-
(
-
1
)
(
X
~
+
1
)
α
~
+
β
~
Q
α
β
γ
η
γ
∂
X
∂
η
β
∂
Y
∂
η
α
+
(
-
1
)
X
~
Q
α
∂
X
∂
η
α
Y
+
X
Q
α
∂
Y
∂
η
α
,
where X
=
X
(
x
,
η
)
=
X
(
x
)
+
X
α
(
x
)
η
α
+
(
1
/
2
!
)
X
α
β
(
x
)
η
β
η
α
+
⋯ and so forth. Clearly, this odd Jacobi bracket is of weight minus one. If Q
α
=
0, then the Jacobi algebroid reduces to a genuine Lie algebroid and the above bracket is a weight minus one Schouten bracket. The weight minus one odd Jacobi bracket is a natural generalization of the weight minus one Schouten bracket associated with a Lie algebroid.Now, let us proceed to the Loday-Poisson bracket derived from the weight minus one odd Jacobi bracket and the homological vector fieldQ
=
Q
α
(
∂
/
∂
η
α
). In natural local coordinates, the Loday-Poisson bracket is given by
(61)
{
X
,
Y
}
E
=
Q
α
A
(
(
-
1
)
A
~
(
X
~
+
α
~
)
Q
δ
∂
2
X
∂
η
δ
∂
η
α
∂
Y
∂
x
A
=
Q
α
A
KK
+
(
-
1
)
X
~
(
α
~
+
1
)
∂
Q
δ
∂
x
A
∂
X
∂
η
δ
∂
Y
∂
η
α
=
Q
α
A
KK
+
(
-
1
)
X
~
(
α
~
+
1
)
+
A
~
Q
δ
∂
2
X
∂
η
δ
∂
x
A
∂
Y
∂
η
α
)
-
(
-
1
)
X
~
(
α
~
+
1
)
Q
α
β
γ
η
γ
Q
δ
∂
2
X
∂
η
δ
∂
η
β
∂
Y
∂
η
α
+
(
-
1
)
α
~
(
X
~
+
1
)
Q
α
Q
β
∂
X
∂
η
β
∂
Y
∂
η
α
.By construction, which is easily verified in natural local coordinates, the associated Loday-Poisson bracket is of weight minus two.Remark 38.
The Loday-Poisson bracket onC
∞
(
Π
E
*
) should not be confused with the Poisson bracket on C
∞
(
E
*
) associated with the Lie algebroid structure “behind” the Jacobi algebroid. Indeed, if we have a Lie algebroid and the trivial 1-cocycle 𝒬
=
0, then the associated Loday-Poisson bracket is obviously itself trivial.The algebra of “multivector fields”C
∞
(
Π
E
*
) comes equipped with a derived product, namely,
(62)
X
*
Y
=
(
-
1
)
X
~
+
1
Q
(
X
)
Y
=
(
-
1
)
X
~
+
1
Q
α
∂
X
∂
η
α
Y
.Note thatf
*
X
=
0, where f
∈
C
∞
(
M
). Via Theorem 33, the Loday-Poisson bracket satisfies the Leibniz rule from the left over the derived product:
(63)
{
X
,
Y
*
Z
}
E
=
{
X
,
Y
}
E
*
Z
+
(
-
1
)
X
~
(
Y
~
+
1
)
Y
*
{
X
,
Z
}
E
,
where X
,
Y, and Z
∈
C
∞
(
Π
E
*
).Statement. “Multivector fields” on a Jacobi algebroid can be considered as elements of a noncommutative Loday-Poisson algebra with an odd form of multiplication.


## 8. Final Remarks

In this paper, we used the derived bracket formalism to construct a Loday bracket onC
∞
(
M
) from the initial datum of an odd Jacobi structure (
S
,
Q
) on the supermanifold M. The Loday bracket in question is the bracket derived from the odd Jacobi bracket and the homological vector field Q. Furthermore, it was shown that this Loday bracket satisfies the Leibniz rule acting to the right over the standard supercommutative product of functions and the derived product generated by the homological vector field. Thus, we employ the nomenclature right Loday-Poisson bracket. Some of the relations between the various Hamiltonian vector fields were also explored, as were some specific examples of Loday-Poisson brackets such as those in the theory of Lie algebroids and Jacobi algebroids.Is it important to remark that the construction of the Loday-Poisson bracket from the odd Jacobi bracket presented here makes use of only half the structure available, namely, just the homological vector field. This is the obvious thing to do if one wants to pass from an odd Jacobi bracket to an even Loday bracket. A natural question here is as follows:can one do better and use the full odd Jacobi structure to pass from the odd Jacobi bracket to an even Loday bracket?



---

*Source: 630749-2014-04-07.xml*