Dear Label_Name,

Greetings! I hope you are well.

I am writing on behalf of an international publishing house, Science and Education Publishing, USA (http://www.sciepub.com).

Science and Education Publishing (SciEP) is a multidisciplinary open access publisher of Journals covering the fields of Science, Technology and Medicine. All SciEP publications are subject to high-quality peer review, editorial and production processes and are freely available online.

Welcome to the April, 2013 edition of SciEP newsletter, providing monthly summaries of articles on science & education related topics of interest to scientist and professionals. The mission of our journals is to provide an open access forum for publishing new findings on issues pertinent to scientific and academic field. We also invite you to submit original research papers, review articles, short reports, or case studies are considered for publication in our Multidisciplinary Journals.

American Journal of Public Health Research
DOI: 10.12691/ajphr-1-1-3

The Implementation of a Tele-Homecare System with Service Oriented Architecture and HL7 Message Transmission Standard
Ching-Sung Wang

American Journal of Medical and Biological Research
DOI: 10.12691/ajmbr-1-1-2

The Influence of Ethanol on Pyruvate Kinases Activity in Vivo, in Vitro, in Silico
Lelevich Sergey Vladimirovich, Khrustalev Vladislav Victorovich, Barkovsky Eugene Victorovich, Shedogubova Tatyana Aleksandrovna

American Journal of Medical Sciences and Medicine
DOI: 10.12691/ajmsm-1-1-1

Clinical and Histological Features in Wegener Granulomatosis
Li Cavoli Gioacchino, Passantino Rita, Bono Luisa, Tortorici Calogera, Ferrantelli Angelo, Giammarresi Carlo, Rotolo Ugo

American Journal of Infectious Diseases and Microbiology
DOI: 10.12691/ajidm-1-1-2

The Curse of Lymphatic Filariasis: Would the Continual Use of Diethylcarbamazine Eliminate this Scourge in Papua New Guinea?
Anne Lanham, Lillian Mwanri

We have released issues of some journals on February 2013.
American Journal of Public Health Research
American Journal of Medical Sciences and Medicine
American Journal of Medical and Biological Research
American Journal of Pharmacological Sciences
American Journal of Clinical Medicine Research
American Journal of Nursing Research
American Journal of Cancer Prevention
American Journal of Medicine Studies
American Journal of Infectious Diseases and Microbiology
American Journal of Cardiovascular Disease Research
American Journal of Biomedical Research
American Journal of Mechanical Engineering
American Journal of Microbiological Research
Journal of Preventive Medicine
American Journal of Food and Nutrition
American Journal of Hypertension Research
American Journal of Sports Science and Medicine
Journal of Cancer Research and Treatment
American Journal of Zoological Research
Journal of Biomedical Engineering and Technology
American Journal of Microbiological Research
Biomedical Science and Engineering

We are pleased to announce that submissions are now being accepted for peer review for all the journals across all our subject areas in SciEP.

Please submit your manuscript via our online submission system:
http://www.sciepub.com/author/signin

To unsubscribe from our mailing list, please click on the following link: unsubscribe

I am looking forward to hearing from you.

Kind regards,

David Rain
Email:join@sciepub.com
Science and Education Publishing (http://www.sciepub.com)

On the Cohomological Impact of a Quasi-Poisson Structure for Some Poisson Cohomology Spaces

Bruno Iskamlé

Department of Mathematics and Computer Science, Faculty of Sciences, University of Maroua, Cameroon

Abstract: In order to construct a Poisson cohomology complex in the quasi-Poisson context, we establish an isomorphism between interesting Poisson cohomology groups for a quasi-Poisson algebra and Poisson cohomology groups for Poisson algebra coming from the Jacobiator of the quasi-Poisson algebra.

Keywords: (Quasi-) Poisson algebra, Jacobiator, coboundary, Poisson cohomology

Received February 05, 2022; Revised March 07, 2022; Accepted March 15, 2022

Citation: Bruno Iskamlé, On the Cohomological Impact of a Quasi-Poisson Structure for Some Poisson Cohomology Spaces. Journal of Mathematical Sciences and Applications, 9 (1). 1-6. January 2022. doi:10.12691/jmsa-9-1-1

1. Introduction

The Poisson structures were first introduced and discussed in the not so well know paper by S. Lie in 1875 [1], whose use the name of function groups. The classical Poisson bracket

defined on the algebra of smooth functions on plays a fundamental role in the analytical mechanics. It was discovered by D. Poisson in 1809. The Poisson bracket (1) is derived from a symplectic structure on and it appears as one of the main ingredients of symplectic geometry. The basic properties of the bracket (1) are that it yields the structure of a Lie algebra on the space of functions and it has a natural compatibility with the usual associative product of functions. These facts are of algebraic nature and it is natural to define an abstract notion of a Poisson algebra. Following A. Vinogradov and I. Krasil’shchik in [2], J. Braconnier (in [3]) has developed the algebraic version of Poisson geometry.

One of the most important notion related to the Poisson geometry is Poisson cohomology which was introduced by A. Lichnerowicz (in [4]) and in algebraic setting by I. Krasil’shchik (in [5]). Unlike the De Rham cohomology, Poisson cohomology spaces are almost irrelevant to the topology of the manifold and moreover they have bad functorial properties. They are very large and their actual computation is both more complicated and less significant than in the case of the De Rham cohomology. However they are very interesting because they allow us to describe various results concerning Poisson structures in particular one important result about the geometric quantization of the manifold.

According to [6], a Poisson algebra is a commutative associative algebra over carrying a Lie algebra bracket for which each adjoint operator is a derivation of the associative algebra structure. Poisson algebras appear naturally in Hamiltonian mechanics, and are also central in the study of quantum groups. Manifolds with a Poisson algebra structure are known as Poisson manifolds, of which the symplectic manifolds and the Lie-Poisson groups are a special case. There are also non commutative Poisson algebras [7,8,9,10], but we will not treat them in this paper. Of course, one can replaceby another bracket whose the Jacobi identity is not always verified. We will call it a quasi-Poisson structure.

The quasi-Poisson structures was introduced by Alekseev, Yvette Kosmann-Schwarzbach and Meinrenken in [11,12]. It appeared as a finite-dimensional alternative to infinite-dimensional constructions of Poisson structures on moduli spaces, proposed in particular by Huebschmann [13], Goldman [14,15], Jerrey and Weitsman [16]. According to Vaisman in [17], Poisson cohomology plays an important role in obstruction to quantification. Example of Poisson cohomolgy of Poisson algebras are given in [18] and [19]. A usefull reference for Poisson cohomology of Poisson algebras is [20]. However, the construction of a Poisson structure often requires a choice of r-matrices, even if the bi-derivation (deduced from the Jacobi quasi-identity) obtained in the quotient does not seem to depend on this choice. Quasi-Poisson structures then appear as a more natural technique for constructing Poisson structures.

They have indeed good reduction properties, allowing to obtain a Poisson structure when we proceed to the quotient. For most of this paper, will be the algebra of smooth functions on a manifold in which case the bracket is called a Poisson structure on and is called a Poisson manifold. The derivations are represented by vector fields, which are called hamiltonian vector fields.

Since the bracket of functions on a Poisson manifold is a derivation in each argument, it depends only on the first derivativesof and and hence it can be written in the form

[picture] | (2)

where is a field of skew-symmetric bilinear forms on , i.e., a bivector field.

We call the Poisson tensor. The Jacobi identity for the bracket implies that satisfies an integrability condition which is a quadratic first-order (semilinear) partial differential equation in local coordinates and has the invariant form where the bracket here is the Schouten-Nijenhuis bracket on multivector fields (see [21]).

Lichnerowicz (in [4]) observed that the operation of Schouten bracket with a Poisson tensor is a differential on multivector fields, and he began the study of the resulting cohomology theory for Poisson manifolds. In particular, he showed that the map from differential forms to multivector fields determined by is a morphism from the de Rham complex to the Poisson complex.

According to [6], in the symplectic case this map is an isomorphism, but the Poisson cohomology spaces are in general quite different from the de Rham cohomology. Then consists of the functions which Poisson commute with everything, the so-called Casimir functions on is the space of infinitesimal Poisson automorphisms modulo hamiltonian vector fields. can be interpret as the space of infinitesimal deformations of the Poisson structure modulo trivial deformations, while receives the possible obstructions to extending infinitesimal deformations.

In the following, where . It is clair that where is a Poisson algebra.

Let be an integer, where and let with bracket is associated to the bivector field defined by

In section 2, we establish that is a quasi-Poisson algebra and there exist a biderivation such that

This derivation is given by the bracket of the algebra . The question arises is: there exists an isomorphism between the Poisson cohomology spaces of the quasi-Poisson algebra and those of the Poisson algebra induced by the Jacobi identity? In other words, under what criteria can we obtain an isomomorphism between and Is it related to the cobord? Is it not related to the associated differentials? The same type of problem appears in [22], when Alekseev proposes in 1994, a finite dimensional construction of a Poisson structure on a moduli space by Hamiltonian reduction of a quasi-Poisson biderivation. There are other constructions on moduli space, proposed in particular by Huebschmann [23,24], Goldman [25,26], Jerey and Weitsman [27]. We do not details these works which are totally independent of the techniques we develop here.

In this paper, we fix a ground field of characteristic zero, which the reader may think of as being or especially in the context of varieties. The Poisson complex considered is described in [20]

Definition 1.1 [20] Let be a Poisson algebra. For the space of cochains of the Poisson cohomology complex denoted by is the vector space of skew-symmetric derivations of The Poisson coboundary operator is the graded linear map (of degree 1)

defined, for , where by a skew-symmetric multi-derivation of :

[picture] | (3)

For all and for

We obtain the Poisson cohomology complex of

The elements of are called Poisson -cocycles, while the elements of are called Poisson coboundaries.

The elements of -th Poisson cohomology space are Poisson modulo Poisson for all and

The graded vector space is called the Poisson cohomology of

In the following, As graded-vector spaces, the Poisson cohomology of the quasi-Poisson algebra will be denoted by

Our main result is the construction of a Poisson cohomology complex on which is isomorphic to

The general notions of a Poisson algebra and of a Poisson cohomology is described in section 2. The Poisson cohomology complex of the cohomology spaces are detailed in section 3 of this article.

2. On Quasi-Poisson Algebras and Poisson Cohomology

In this section, we first specify the notations and recall some classical results that will be useful later. Let be a smooth variety of dimension

We use the following notations: denotes the commutative algebra of on the space of vector fields over i.e. the of the tangent bundle More generally, for any integer , the space of multivectors field of degree

Consider the coordinates system a multivectors field is written:

Let

Let is the space of -differential forms on

A differential form is defined by

Let

Definition 2.1. [21] Let be an integer . The Leibniz bracket of order or multi-derivation on is the application

Such that

a) is the alternating -multilinear.

b) verifies Leibniz’s rule.

Let be the space of Leibniz brackets of order on

Proposition 2.1. [21] Let be an integer . The application which to a field of multivectors associates the Leibniz bracket of order defined by for all induces a bijection between and .

Proof. (see [21]).

Definition 2.2. (Jacobiator) For any Leibniz bracket of order 2, we call the Jacobiator of the application

with

Proposition 2.2. [21] The Jacobiator is a Leibniz bracket of order

Proof. It is clear that is -multilinear and that if or then

Now,

We have . Therefore is a Leibniz bracket of order

Considering the bivector field

[picture] | (4)

for any integer where, and are respectively the partial derivatives in and .

Proposition 2.3. is a Poisson quasi-structure on for which the Jacobiator is

[picture] | (5)

with

Moreover, the Schouten-Nijenhuis bracket that we will now introduce is an extension of the Lie bracket to the whole algebra of multivectors fields as the following theorem shows.

Theorem 2.1. (Schouten-Nijenhuis) Let be a smooth variety. Then there exists on a bracket called the Schouten-Nijenhuis bracket and verifying the following properties:

a) If and then

b) (Graded anti-commutativity) If and then

c) (The graded Leibniz rule) If , and then

d) (The graded Jacobi identity) If , and then

with

Note that if , and , the Schouten-Nijenhuis bracket of and coincides with the Lie bracket and the Schouten-Nijenhuis bracket of and is

Consider the Jacobiator of proposition According to proposition there exists a field of such that

Proposition 2.4.

Proof. By a simple computation, we have and

Since , we deduce that

This completes the proof of the proposition.

Note that implies that

where is the Jacobiator associated to .

Then is a Leibniz bracket of order On a Poisson manifold with the differential is a complex.

In fact, since the property ensures that squares to zero.

The cohomology of is called the Poisson cohomology of

Let be a quasi-Poisson manifold. Then, defines an operator on the space of multivectors. Its square is in general non-vanishing, In the following, we study conditions for which becomes a differential.

Precisely, we are using the Poisson complex described in [20]. According to Definition we shall use the following isomorphisms :

With these isomorphisms, we deduce the following proposition.

Proposition 2.1. The following sequence is a Poisson cohomology complex of

[picture] | (10)

where for in

for all belongs to and where be an integer.

Proof. It follows from definition that it suffices to show that Let in by a simple computation we obtain Thus, is a Poisson cohomology complex of .

Let’s consider now the quasi-Poisson structure on In order to describe the probably Poisson cohomology complex of we will need the following lemma.

Lemma 2.1. For a in the map defined by

is a derivation and the bracket induces a Hamiltonian defined as

with

Proof.

Let It’s clair that is a derivation.

Like any (quasi)-Poisson structure, induces a Hamiltonian defined for all in by which means that

Let be three elements of such that

For that, is defined by

For the sake of simplicity we shall use the following isomorphisms:

With these isomorphisms and considering the following sequence

[picture] | (11)

where are associated differentials defined by:

for all in , for all in where

where be an integer.

By a simple computation, we deduce that:

Proposition 2.5. is non-vanishing.

We call is a quasi-Poisson cohomology complex of In the following section, we study conditions for which becomes a differential and we construct a sub-algebra of where the Poisson cohomology of is isomorphic to the Poisson cohomology of

3. An Isomorphism between the Quasi-Poisson Cohomology and Poisson Cohomology Associated to the Jacobiator

In this section, we establish an isomorphism between Poisson cohomology groups for the quasi-Poisson algebra and Poisson cohomology of.

Recall the quasi-differential defined in (11) as

Let We have:

with

and

We proved that i.e. is a quasi-differential.

Let’s consider the following partial differential equations:

Let where denotes the solution set of the system of partial differential equations .

Therefore,

Let’s consider the isomorphisms 

Considering the following sequence

with for all belongs to for all in where

where be an integer.

By a simple computation, we obtain the following result.

Proposition 3.1.

is a differential and

Since is a sub-algebra of , the proposition 3.1 completes the proof of the following main result.

Theorem. Let be an integer, and let be the quasi-Poisson algebra defined on with quasi-Poisson structure associated to the bivector field defined by

- The Jacobiator of is equivalent to the Poisson structure .

- As graded- vector spaces, the Poisson cohomology for the quasi-Poisson algebra is isomorphic to Poisson cohomology for the Poisson algebra according to the differential .

This means that there exists an isomorphism between Poisson cohomology groups for a quasi-Poisson algebra and Poisson cohomology groups for Poisson algebra coming from the Jacobiator of the quasi-Poisson algebra. An extension of the work in this context is to explicitly calculate the Poisson cohomology of

Acknowledgements

This work is a part of my Ph.D. at the University of Maroua. I would like to sincerely thank my advisors, Bitjong Ndombol and Joseph Dongho for suggesting to me this interesting problem and for stimulating discussions and the precious hoursthat they spent in proofreading this paper. I especially want to thank Alidou Mohamadou and Elisabeth Ngo Bum for all their support and funding.

References

[1]   | S. Lie, Math. Ann. 8, 214-303, (1874/75).
[2]   | A. M. Vinogradov, I.S. Krasil’shchik. What is Hamiltonian formalism?, (Russian), Uspehi Mat. Nauk, vol.30, no.1, 1975. 173-198.
[3]   | J. Braconnier. Algèbres de Poisson, C. R. Acad. Sci. Paris Sér. A-B 284 (1977), no. 21, A1345-A1348.
[4]   | A. Lichnerowicz. Les variétés de Poisson et leurs algèbres de Lie associées, (French), J. Di_. Geom, vol.12, (1977); 253-300.
[5]   | I. Krasil’shchik. Hamiltonian cohomology of canonical algebras, Dokl. Akad. Nauk SSSR 251 (1980), no.6, 1306-1309.
[6]   | A. Weinstein, Poisson geometry, Differential Geometry and its Applications 9 (1998) 213-238.
[7]   | J. Block and E. Getzler. Quantization of foliations, Proceedings of XXth International Conference on Differential Geometry Methods in Theoretical Physics, New York, 1991; Vol. 1, 2 (World Scientific, River Edge, NJ, 1992) 471-487.
[8]   | D.R. Farkas and G. Letzter. Ring theory from symplectic geometry, J. Pure Appl. Alg. 125 (1998) 155-190.
[9]   | F.F. Voronov, On the Poisson envelope of a Lie algebra. ”Noncommutative” moment space, Funct. Anal. Appl. 29 (1995) 196-199.
[10]   | P. Xu. Noncommutative Poisson algebras, Amer. J. Math. 116 (1994) 101-125.
[11]   | A. Alekseev and Y. Kosmann-Schwarzbach, Manin pairs and moment maps, J. Differential Geometry, 56 (2000) 133-165.
[12]   | R. Aminou, Y. Kosmann-Schwarzbach, and E. Meinrenken, Quasi-Poisson manifolds, Canad. J. Math., 54(1):3-29, 2002.
[13]   | J. Huebschmann. Poisson structures on certain moduli spaces for bundles on a surface. Ann. Inst. Fourier (Grenoble), 45(1): 65-91, 1995.
[14]   | W. Goldman. Invariant functions on Lie groups and Hamiltonian flows of surface group representations. Invent. Math., 85(2): 263-302, 1986.
[15]   | W. Goldman. The symplectic nature of fundamental groups of surfaces. Adv. in Math., 54(2): 200-225, 1984.
[16]   | L. Je_rey and J.Weitsman. Bohr-Sommerfeld orbits in the moduli space of flat connections and the Verlinde dimension formula. Comm. Math. Phys., 150(3):593-630, 1992.
[17]   | I. Vaisman, On the geometric quantization of Poisson manifolds, J. Math. Phys 32(1991), 3339-3345.
[18]   | A. Pichereau, Poisson (co)homology and isolated singularities, J. Algebra 299, 2 (2006), 747-777.
[19]   | P. Monnier, Poisson cohomology in dimension two, Israel J. Math.,129 (2002), 189-207.
[20]   | C. Laurent-Gengoux, A. Pichereau and P. Vanhaecke, Poisson structures, Grundlerhen der Mathematischen Wissenschaften, 347, Springer, 2013.
[21]   | I. Vaismann. Lectures on the Geometry of Poisson manifolds, Birkhauser, Basel, 1994.
[22]   | P. Vanhaecke. Integrable systems in the real of algebraic geometry, Vol. 1638 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, Second edition, 2001.
[23]   | W. Oevel and O. Ragnisco, R-matrices and higher Poisson brackets for integrable systems. Phy. A. 161 (1): 181-220, 1989.
[24]   | S. Parmentier. On coproducts of quasi-triangular Hopf algebras, Algebra i Analiz, 6 (4): 204-222, 1994.
[25]   | L. C. Li and S. Parmentier. Nonlinear Poisson structures and r-matrices. Comm. Math. Phys., 125 (4): 545-563, 1989.
[26]   | W. S. Massey. Algebraic topology: an introduction, Springer-Verlag, New York; 1977. Reprint of the 1967 edition, Graduate Texts in Mathematics, Vol. 56.
[27]   | M. Pedroni and P. Vanhaecke. A Lie algebraic generalization of the Mumford system, its symmetries and is multi-Hamiltonian structure. Regul. Chaotic Dyn., 3 (3): 132-160, 1998. J. Moser at 70 (Russian).