Next Article in Journal
Modifying Hellwig’s Method for Multi-Criteria Decision-Making with Mahalanobis Distance for Addressing Asymmetrical Relationships
Previous Article in Journal
An Architecture Superposing Indefinite Causal Order and Path Superposition Improving Pauli Channels’ Parameter Estimation
Previous Article in Special Issue
The Relationship between the Box Dimension of Continuous Functions and Their (k,s)-Riemann–Liouville Fractional Integral
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Some Aspects of the Courant-Type Algebroids, the Related Coadjoint Orbits and Integrable Systems

by
Anatolij K. Prykarpatski
1,2,*,† and
Victor A. Bovdi
3,†
1
Department of Computer Science and Telecommunication, Cracow University of Technology, 31-155 Krakow, Poland
2
Department of Advanced Mathematics, Lviv Polytechnic National University, 79000 Lviv, Ukraine
3
Department of Mathematics, United Arab Emirates University, Al Ain P.O. Box 15551, United Arab Emirates
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2024, 16(1), 76; https://doi.org/10.3390/sym16010076
Submission received: 14 November 2023 / Revised: 24 December 2023 / Accepted: 27 December 2023 / Published: 5 January 2024
(This article belongs to the Special Issue Symmetry in Differential Geometry and Geometric Analysis)

Abstract

:
Poisson structures related to affine Courant-type algebroids are analyzed, including those related with cotangent bundles on Lie-group manifolds. Special attention is paid to Courant-type algebroids and their related R structures generated by suitably defined tensor mappings. Lie–Poisson brackets that are invariant with respect to the coadjoint action of the loop diffeomorphism group are created, and the related Courant-type algebroids are described. The corresponding integrable Hamiltonian flows generated by Casimir functionals and generalizing so-called heavenly-type differential systems describing diverse geometric structures of conformal type in finite dimensional Riemannian manifolds are described.

1. Introduction

As mathematical object Lie algebroids [1,2] are an unrecognized part of the folklore of differential geometry. They have been introduced repeatedly in differential geometry since the early 1950s, as well as in physics and algebra, under a wide variety of names, chiefly as infinitesimal invariants associated with geometric structures. In connection theory, they have been used as a means of treating de Rham cohomology with algebraic methods, as invariants of foliations and pseudogroups of various types, in symplectic and Poisson geometry and in a more algebraic setting as algebroids of differential operators associated with vector bundles and withinfinitesimal actions of Lie groups. Algebroid structures have recently found diverse applications in the geometry of Poisson [3,4,5] and Lagrangian manifolds [6] in mechanical sciences [7] and other branches of modern applied and theoretical research. We wish to highlight the original work reported in [8] with respect to so-called contrast (potential) functions in statistical and information geometry provided by Lie groupoids and Lie algebroids. Important theoretical aspects of homology and modular classes were studied in [9]. It is also worth mentioning interesting aspects of algebroid theory studied in [10] concerning the homomorphism Chern-Weyl transformations of algebroids and in [11] concerning the cohomology isomorphism subject to the piecewise morphism restriction of transitive Lie algebroids. New aspects of Lie algebroid theory were demonstrated in [3], where the authors showed how some Lie algebroid operations, in particular the Courant brackets on the doubles of Lie bialgebroids, can be realized in a natural way in the tangent spaces of reductive homogeneous spaces. A special realization of the doubled Lie algebroid was proposed in [12] and named for T.J. Courant, who implicitly devised the standard prototype of Courant algebroids through his discovery of a skew symmetric bracket on the doubled tangent–cotangent bundle (called the Courant bracket today) and deeply studied so-called Dirac manifolds and related Dirac structures. Here, we would like to mention Courant’s characteristic theorem concerning dual Lie algebroid bundles. The dual bundle of a Lie algebroid is a Poisson manifold such that the Poisson bracket of linear functions remains linear. Furthermore, any vector bundle with such a Poisson bundle is a dual to a Lie algebroid, and its Poisson structure is inherited as such. Motivated by these results, the authors of [13] analyzed many interesting properties of Courant algebroids and the related Poisson–Lie T duality; in particular, they extended the known results to a much wider class of dualities, including cases with gauging, in addition to presenting an illustration of the use of the formalism to provide new classes of special solutions to modified type-two supergravity equations in symmetric spaces. Other interesting properties of Courant algebroids were studied in [12,14,15,16,17,18,19] within which the authors proposed a Lie algebroid on the loop space pinned down to the Lie algebroid on the manifold. The authors conjectured that this construction, as applied to the Dirac structure, should give rise to the Lie algebroid of symmetries specifying special σ models. A strikingly new face of algebroid theory related to the construction of integrable hierarchies was recently presented in [5]. The authors observed interesting connections between algebroid structures and Frölicher–Nijenhuis bicomplexes and Lauricella biflat F manifolds, which string theorists believe could have important applications in topological quantum field theory.
Inspired in part by these algebro-theoretical studies of differential geometric structures associated with Courant algebroids, we observed that some of their interesting properties can be studied in more detail both from symplectic and Lie-algebraic points of view. Therefore, we provided an instructive example of a Courant algebroid, considering a semisimple Lie group and its Lie algebra at the unity element, consisting of the corresponding left invariant vector fields. Within this algebraic setting, rigged with the canonical symplectic structure mapping as an anchor, we considered the cohomology group of this Lie group and showed that the related Lie algebroid reduces to the Courant algebroid, similarly to the result reported in [3]. Moreover, this construction proved to be naturally generalizable to cases in which the canonical symplectic mapping is replaced by some Lie algebra homomorphism that can be realized within the well-known Marsden–Weinstein reduction scheme [20,21,22] applied to a suitably constructed Hamiltonian group action. Another approach to constructing Courant algebroids with rich differential–geometric properties is based on the effective Adler–Kostant–Symes-type scheme [23,24,25,26] for the construction of Poisson structures in coadjoint orbits, in particular its version based on the R-structure approach associated with a specially defined tensor mapping and the related canonical Lie–Poisson bracket in the dual space.
We also paid attention to some differential geometric and symplectic properties of a special Courant-type algebroid foliation and analyzed the structure of related Hamiltonian flows. We showed that the Courant-type algebroid foliations, equipped with two compatible external differentials, generate a finite set of commuting Hamiltonian flows, realizing a classical Magri-type recursion scheme. As we were interested in Courant-type algebroids related to the loop diffeomorphism group, we constructed compatible pairs of Poisson brackets and the related integrable Hamiltonian flows within the classical Adler–Kostant–Symes scheme [23,24,25,27,28] the, suitably generalizing [29,30,31,32] so-called [33] heavenly-type differential systems, describing diverse geometric structures of the conformal type on finite-dimensional Riemannian manifolds.

2. A Lie Algebroid and Its Courant Reduction and Realization

We first recall the classical definition of a Lie algebroid and its reduction to the Courant algebroid first suggested in [3].
Definition 1.
Let M be a manifold. A Lie algebroid ( ( E ; [ [ . , . ] ] , ρ , M ) ) on M or with a base of M is a vector bundle (E→M), together with a bracket ( [ [ . , . ] ] : Γ ( E ) × Γ ( E ) Γ ( E ) on the module Γ ( E ) ) of global sections of E and a vector bundle morphism ( ρ : E T ( M ) ) from E to the tangent bundle ( T ( M ) ) of M called the anchor of E such that
(i) 
The bracket on Γ ( E ) is R -bilinear and skew-symmetric and satisfies the Jacobi identity;
(ii) 
[ [ α , f β ] ] = f [ [ α , β ] ] + ρ ( α ) f β for all α , β Γ ( E ) and all smooth functions ( f D ( M ) );
(iii) 
ρ ( [ [ α , β ] ] ) = [ ρ ( α ) , ρ ( β ) ] for all α , β Γ ( E ) .
The anchor ( ρ ) ties the bracket on Γ ( E ) to the vector field structure on M as a module over D ( M ) , and the algebra of smooth functions is f : M R .
Consider the product ( T ( M ) T ( M ) ) of tangent T ( M ) and its cotangent ( T ( M ) ) bundles over the manifold (M). Then, the canonical Courant bracket [34] on the D ( M ) module ( A ( M ) : = T ( M ) × T ( M ) T ( M ) × T ( M ) ) is defined as
[ [ ( α , a ) , ( β , b ) ] ] : = ( L a β L b α + 1 2 d ( α ( b ) β ( a ) ) , [ a , b ] )
for any ( α , a ) , ( β , b ) T ( M ) × T ( M ) , satisfying [20,35,36] the usual Jacobi identity.
Definition 2.
The bundle A ( M ) = T ( M ) × T ( M ) , jointly with the bracket (1) and the natural morphism projection mapping ( ρ : A ( M ) T ( M ) ) is called the Courant algebroid.
Let us now assume that the cotangent space ( T ( M ) ) is endowed with its own Poisson structure ( P : T ( M ) T ( M ) ). Then, by definition, a : = P α , b : = P β Γ ( T ( M ) ) , and one can easily observe that the Courant bracket (1) becomes its second-term identity, reducing to the next bracket in the cotangent space ( T ( M ) ):
[ [ α , β ] ] = L P α β L P β α + 1 2 d ( α ( P β ) β ( P α ) = i P β d α i P α d β 1 2 d ( α ( P β ) β ( P α )
for any α , β Λ 1 ( M ) , satisfying the Jacobi identity. Thus, the triple ( T ( M ) ; [ [ · , · ] ] , P ) becomes a Lie algebroid with anchor  P : T ( M ) T ( M ) , which is considered a Lie algebra morphism:
P [ [ α , β ] ] = [ P α , P β ] ,
which is satisfied for any α , β T ( M ) Λ 1 ( M ) .

A Lie Group, the Hamilton Group Action and the Related Lie–Courant Algebroid Construction

As an instructive example of the construction described above, we consider a semisimple Lie group (G) and its Lie algebra ( G T e ( G ) ) at the unity element ( e G ) consisting of the left invariant vector fields on G. Assume that [20,21,28,36,37] Ω : G G is a symplectic structure on G, allowing for the construction of the adjoint left-invariant vector fields as X α : = Ω 1 α , X β : = Ω 1 β G , subject to which the related Poisson bracket—
[ [ α , β ] ] : = i [ X α , X β ] Ω
—satisfies the Jacobi identity. The latter, in particular, means that the constructed object ( ( G ; [ [ . , . ] ] , Ω 1 , G ) ) is also a reduced Lie algebroid. Moreover, the Lie bracket (4), owing to the Cartan representation of the Lie derivative ( L X = i X d + d i X , X G ), [20,21,35,36] can be rewritten as
[ [ α , β ] ] ( Z ) = i [ X α , X β ] Ω ( Z ) = [ L X α , i X β ] Ω ( Z ) = L X α i X β Ω ( Z ) i X β L X α Ω ( Z ) = i X α d i X β Ω ( Z ) + d i X α i X β Ω ( Z ) i X β i X α d Ω ( Z ) i X β d i X α Ω ( Z ) = i X α d i X β Ω ( Z ) i X β d i X α Ω ( Z ) + d Ω ( X β , X α ) ( Z ) = X α Ω ( X β , Z ) Z Ω ( X β , X α ) Ω ( X β , [ X α , Z ] ) X β Ω ( X α , Z ) + Z Ω ( X α , X β ) + + Ω ( X α , [ X β , Z ] ) + d Ω ( X β , X α ) ( Z ) = Ω ( X β , [ X α , Z ] ) + Ω ( X α , [ X β , Z ] ) d Ω ( X α , X β ) ( Z ) = a d X β i X α Ω a d X α i X β Ω ( Z ) d Ω ( X α , X β ) ( Z ) = a d Ω 1 β α a d Ω 1 α β ( Z ) 1 / 2 d α ( Ω 1 β ) β ( Ω 1 α ) ( Z ) ,
where we made use of the invariance conditions ( Z α ( X ) = 0 = Z β ( X ) ) for arbitrary α , β G and X , Z G . Furthermore, a d : G × G G denotes the natural coadjoint action of the Lie algebra ( G ) in the adjoint space ( G ). The obtained expression (5) on G can be rewritten as
[ [ α , β ] ] = a d ρ ( β ) α a d ρ ( α ) β 1 2 d α ( ρ ( β ) ) β ( ρ ( α ) ) ,
where ρ = Ω 1 : G G denotes the corresponding anchor mapping the subject to the reduced Courant–Lie algebroid ( G ; [ [ . , . ] ] , ρ , G ) . Assume now that we are given a Lie algebroid ( G h ; [ [ . , . ] ] , ρ h , G h ) whose anchor ( ρ h : G G ) is a Lie algebra homomorphism not necessarily related to a symplectic structure on G h and a priori satisfying the Poisson bracket (6). Then, our inverse problem consists of describing at least sufficient conditions on the anchor ( ρ h : G G ) under which the bracket (6) satisfies the Jacobi condition.
As a simple guiding construction for our Courant algebroids, let us consider the cohomology group ( H 1 ( G ; C ) ) of the Lie group (G) and observe that for any { α } , { β } H 1 ( G ; C ) , α , β G , the Poisson bracket (6) reduces to the next Poisson bracket,
[ [ { α } , { β } ] ] = { a d ρ ( β ) α a d ρ ( α ) β } ,
on H 1 ( G ; C ) , satisfying the Jacobi condition. Thus, the cohomology group ( H 1 ( G ; C ) ) is simultaneously the Lie algebra with respect to the Lie product (7), satisfying the induced property:
Ω 1 Ω h 1 : H 1 ( G ; C ) G / H T ( G / H ) ,
where H G denotes the normal Hamiltonian subgroup of G, whose Lie algebra ( H G ) consists of the Hamiltonian shifts ( Ω ( h ) H ) for all closed elements ( h G , d h = 0 ). The latter makes it possible to construct the reduced Lie algebroid ( T ( G h ) ; [ [ . , . ] ] h , ρ h , G h ) with the following Lie bracket
[ [ α ˜ , β ˜ ] ] h = a d ρ h ( β ˜ ) α ˜ a d ρ h α ˜ β ˜
for any α ˜ , β ˜ T ( G h ) , where G h : = G / H , and the anchor is ρ h : = Ω h 1 : T ( G h ) G / H .

3. Courant-Type Algebroids and the Related R Structures

In what follows, we deal with the semidirect product-bundle Lie algebra ( A ( M ) : = T ( M ) T ( M ) ), whose Lie product is defined as
[ ( a , α ) , ( b , β ) ] : = ( [ a , b ] , a d b α a d a β )
for any ( a , α ) , ( b , β ) A ( M ) , satisfying the Jacobi identity. Moreover, the Lie algebra ( A ( M ) ) proves to be metrized [38,39] with respect to the dual a d -invariant pairing:
( a , α ) | ( b , β ) : = α ( b ) + β ( a ) ,
and as for arbitrary ( α , a ) , ( β , b ) and ( c , γ ) A ( M ) , the identity
[ ( a , α ) , ( b , β ) ] | ( c , γ ) = ( a , α ) | [ ( b , β ) , ( c , γ ) ] )
holds. Now, we take into account that the cotangent space ( A ( M ) T ( M ) × T ( M ) ) possesses the canonical Lie–Poisson structure defined by means of the following bracket
[ [ ( ( l , p ) | X ) , ( ( l , p ) | Y ) ] ] L i e = ( ( l , p ) | [ X , Y ] ) ,
for all X , Y A ( M ) and any fixed element ( ( l , p ) A ( M ) ). To construct a Courant-type algebroid ( A ( M ) ), let us take a tensor element ( r A ( M ) A ( M ) ) jointly with the related linear mapping ( r : A ( M ) A ( M ) ) and define the following bracket in the bundle A ( M ) for any ( α , a ) , ( β , b ) A ( M ) :
[ [ ( α , a ) , ( β , b ) ] ] r : = a d r ( ( β , b ) ) ( α , a ) a d r ( ( α , a ) ) ( β , b )
The following proposition describing the conditions to be imposed on the tensor element holds:
r A ( M ) A ( M ) .
Proposition 1.
Let a tensor element ( r A ( M ) A ( M ) ) allow for direct sum splitting: r = k η , where k A ( M ) S y m A ( M ) is its symmetric non-degenerate part and η A ( M ) A ( M ) is its antisymmetric non-degenerate part. If the related mapping ( D : = k η 1 : A ( M ) A ( M ) ) is a derivation of the algebra A ( M ) , that is,
D [ ( a , α ) , ( b , β ) ] = [ D ( a , α ) , ( b , β ) ] + [ ( a , α ) , D ( b , β ) ]
for any ( a , α ) , ( b , β ) A ( M ) , then the mapping ρ r = p r 1 r : A ( M ) T ( M )
ρ r [ [ ( α , a ) , ( β , b ) ] ] r = [ ρ r ( α , a ) , ρ r ( β , b ) ]
defines a Lie algebra homomorphism, and the triple ( A ( M ) ; [ [ . , . ] ] , ρ r ) is a Courant-type algebroid.
In addition, the following important corollaries are inferred from the reasoning presented above: if the invertible tensor ( r A ( M ) A ( M ) ) satisfies the formulated conditions (14) and (15), then the corresponding triple ( A ( M ) , [ [ · , · ] ] , ρ ) is a generalized Courant-type algebroid with the related anchor morphism ( ρ : A ( M ) T ( M ) ) defined by means of the composition ( ρ = p r 1 r ) with the projection mapping ( p r 1 : T ( M ) × T ( M ) T ( M ) ) on the first component. Moreover, the following deformed commutator structure determines the corresponding R structure on A ( M ) , R = D 1 for any ( a , α ) , ( b , β ) A ( M ) , subject to which the second Lie bracket ( [ [ · , · ] ] D ) on A ( M ) also satisfies the Jacobi identity.
[ [ ( a , α ) , ( b , β ) ] ] R : = [ [ R ( a , α ) , ( b , β ) ] ] + [ [ ( a , α ) , R ( b , β ) ] ]
The latter makes it possible to construct the deformed Lie–Poisson bracket in the space ( A ( M ) ) for all X , Y A ( M ) and any fixed element ( ( l , p ) A ( M ) ), subject to which the Casimir functionals of the Lie bracket (12) naturally generate [3,5,28,37,38,39,40,41] an infinite hierarchy of commuting, completely integrable Hamiltonian systems.
[ [ ( ( l , p ) | X ) , ( ( l , p ) | Y ) ) ] ] R = ( ( l , p ) | [ [ X , Y ] ] R )
Below, we present the realization of the scheme described above and construct a Courant algebroid in the double bundle ( G ˜ × G ˜ ) over the loop group ( G ˜ = { C S 1 G } ) related [42] to a semisimple Lie group (G).

3.1. A Loop Group and the Related Hamiltonian Group Action

Now, consider a semisimple matrix Lie group (G), where G ˜ : = G ˜ + × G ˜ i s the product of the loop subgroups ( G ˜ + and G ˜ ) defined by the continuous loop-group mappings ( { C S 1 G } ) holomorphically extended on the interior ( D + 1 C ) and the exterior ( D 1 C ) of the centrally located unit disk ( D 1 C 1 ), respectively, such that for any g ˜ ( λ ) G ˜ + , λ D 1 , lim λ g ( λ ) = I d G ˜ . There exists a Lie subalgebra splitting
G ˜ G ˜ + G ˜
in the direct sum of the subalgebras ( G ˜ ± ) of the left-invariant holomorphic vector fields of the subgroups ( G ˜ ± ) in domains D ± 1 C 1 , where for any a ( λ ) G ˜ , the lim λ a ( λ ) = 0 . Based on the usual approach [37,39], one constructs the centrally extended loop Lie algebra ( G ˜ : = x R / { 2 π R } G x ˜ C ) jointly with the adjoint loop group ( G ^ : = x R / { 2 π R } G ˜ x ) action, which is defined as
g : ( S , c ) ( g S g 1 , c + ( g 1 g / x | S ) ) .
for any g G ^ , where ( T , c ) G ^ , and ( · | · ) : G ^ × G ^ C is the Killing-type non-degenerate symmetric bilinear form on G ˜ :
( A | B ) : = res 0 2 π tr ( A ( x ; λ ) B ( x ; λ ) ) = ( B | A ) ,
for any A , B G ^ , where “tr” is the usual matrix trace, allowing for the useful identification of G ^ G ^ . The bilinear form (20) carries the hereditary property of ad invariance, that is, ( A | [ B , C ] ) = ( [ A , B ] | C ) for any elements (A, B and C G ^ ). In the canonically symplectic functional-phase space ( M : = T ( G ^ ) G ^ × G ^ ), one can construct the corresponding Liouville 1-form,
α ( 1 ) ( S , c ; l , k ) = ( l | d S ) + k d c ,
whose exterior derivative gives the symplectic structure on the constructed functional manifold (M):
ω ( 2 ) ( S , c ; l , k ) : = d α ( 1 ) ( S , c ; l , k ) = ( d l | d S ) + d k d c .
As in (19), we extend the group G ^ action in the whole phase space (M), as by definition,
g : ( l , k ) ( g l g 1 k g / x g 1 , k )
for any ( l , k ) G ^ and g G ^ , representing the coadjoint loop group G ^ action in the adjoint linear space ( G ^ ). The following lemma is important for what follows.
Lemma 1.
The G ^ -group actions (19) and (23) in the symplectic phase space (M) are symplectic and Hamiltonian.
Proof. 
It is easy to verify that the canonical Liouville 1-form (21) on the manifold (M) is G ^ -invariant:
g α ( 1 ) ( S , c ; l , k ) = ( g l g 1 k g / x g 1 | g d S g 1 ) + k ( d c + ( g 1 g / x | d S ) ) = ( g l g 1 + g d S g 1 ) k ( g / x g 1 | g d S g 1 ) + k d c + k ( g 1 g / x | d S ) = ( l | d S ) + k d c = α ( 1 ) ( S , c ; l , k ) .
According to (24), owing to the expression (22), one obtains the symplectic-form invariance
g ω ( 2 ) ( S , c ; l , k ) = ω ( 2 ) ( S , c ; l , k )
for any element ( ( S , c ; l , k ) M ). To define the Hamiltonian G ^ action on the symplectic manifold (M) we take the group flow ( g ( t ) : = exp ( t V ) ) for t R , V G ^ and find the corresponding vector field ( K V : M T ( M ) ) in the phase space (M):
K V ( S , c ; l , k ) : = d d t ( g ( t ) S g ( t ) 1 | c + ( g ( t ) 1 g / x ( t ) | S ) ; g ( t ) l g ( t ) 1 k g ( t ) / x g ( t ) 1 , k ) | t = 0 = ( [ V , S ] , ( V / x | S ) [ V , l ] k V / x , 0 ) ,
driven by a Hamiltonian function ( H V : M C ), owing to the determining relationship ( d H V = i K V ω ( 2 ) ):
d H V = ( H / l | d l ) ( H V / S | d S ) + H V / k d k + H V / c d c = ( [ V , l ] k V / x | d S ) ( d l | [ V , S ] ) ( V / x | S ) d k .
As a consequence of (27), one obtains the following for any point ( ( S , k ; l , c ) M ).
H V / l = [ V , S ] , H V / S = k V / x [ V , l ] , H V / k = ( V / x | S ) , H V / c = 0
From (27), it follows that
H V = ( [ S , l ] k S / x | V ) : = ( V | p ( S , c ; l , k ) | V )
is linear with respect to the generating element ( V G ˜ ). This means that the loop-group G ˜ action on the symplectic manifold (M) is Hamiltonian by definition [20,21,22]. There is a corresponding mapping ( p : M G ^ ), where
p ( S , c ; l , k ) = [ S , l ] k S / x ,
is called the momentum mapping [20,21,22,37], which, in general, is fixed to the phase space (M) within the classical Marsden–Weinstein reduction scheme [20,21]. We now proceed to describing the related symplectic structure on the ξ - level submanifold for a fixed element ( ξ G ^ ).
M ξ : = ( S , c ; l , k ) M : [ S , l ] k S / x = ξ G ^
The related isotropy subgroup ( G ^ ξ G ^ ) is defined via the condition Ad g ξ = 0 for all elements ( g G ^ ξ ). If we additionally assume that [ ξ , l ] = 0 , one easily obtains G ^ ξ G ^ . To proceed further, some additional properties of the submanifold ( M ξ M ) are needed, which are described in the next section. □

3.2. The Marsden–Weinstein Reduction and Related Courant Algebroid Structure

In this section, we describe the reduced submanifold ( M ξ M ) parameterized by the corresponding phase-space ( M ¯ ξ : = M ξ / G ^ ξ ) points. It is known [20,21,43] that this parameterization uniquely determines the points ( ( S ¯ , c ¯ ; l ¯ , k ¯ ) M ξ M ,) which are invariant with respect to the constructed loop-group G ^ action ((19) and (23)). The latter makes it possible [20,21,37,43,44,45,46,47] to construct in the phase space ( M ¯ ξ ) the reduced and suitably non-degenerate symplectic structure ensuing from the symplectic structure on the submanifold ( M ξ ). Let us consider the point ( ( S ¯ , c ¯ ; l ¯ , k ¯ ) M ξ ) where the elements S ¯ G ^ ξ , k ¯ C satisfy the following differential expressions according to the definition of (29):
[ S ¯ , l ¯ ] k ¯ S ¯ / x , k ¯ / x = 0 ,
for all x S 1 . Now, consider a Hamiltonian vector field ( k ¯ / τ , τ C ) on the submanifold ( M ξ ) generated by the element X = l ¯ G ^ , owing to the following expressions:
k ¯ S ¯ / τ = [ l ¯ , S ¯ ] = [ S ¯ , l ¯ ] = k ¯ S ¯ / x , k ¯ l ¯ / τ = k ¯ l ¯ / x .
In particular, from (31), it follows that the equality ( τ = x ) holds in the reduced phase space ( M ¯ ξ ). Moreover, to compute the evolution of the element c ¯ C with respect to this vector field ( / τ on M ¯ ξ : )
k ¯ c ¯ / τ = ( l ¯ / x | S ¯ ) = ( l ¯ | S ¯ / x ) = ( l ¯ | k ¯ 1 [ S ¯ , l ¯ ] ) = k ¯ 1 ( [ l ¯ , l ¯ ] | S ¯ ) = 0 ,
coinciding with the a priori accepted condition ( c ¯ / x = 0 ) for any x S 1 . Reasoning similarly as above, for the vector field / t , t C , in the reduced phase space ( M ¯ ξ ) generated by the Lie algebra element ( q ( l ¯ ) G ^ ξ ), depending on the basis element l ¯ G ^ ξ , one obtains
S ¯ / t = [ q ( l ¯ ) , S ¯ ] , l ¯ / t = [ q ( l ¯ ) , l ¯ ] k ¯ l ¯ / x , c ¯ / t = ( q / x ( l ¯ ) | T ¯ ) , k ¯ / t = 0 .
The latter, in particular, means that the flows ( / t and / x ) in the reduced phase space ( M ¯ ξ ) possess a countable set ( γ n ( l ¯ ) : = tr S ¯ n ( l ¯ ) , n Z ) of conservation lows, where by definition, the element S ¯ ( l ¯ ) G ^ ξ satisfies the determining equation for a given element ( l ¯ G ^ ξ ) for all x S 1 :
k ¯ S ¯ / x ( l ¯ ) = [ l ¯ , S ¯ ( l ¯ ) ]
From Equation (34), it follows that in the reduced phase space ( M ¯ ξ ),
c ¯ / t = ( q ( l ¯ ) / x | S ¯ ) = k ¯ 1 ( [ q ( l ¯ ) , l ¯ ] l ¯ / t | S ¯ ) = = k ¯ 1 ( [ q ( l ¯ ) , l ¯ ] | S ¯ ) k ¯ 1 ( l ¯ / t | S ¯ ) = k ¯ 1 ( l ¯ ) k ¯ 1 ( l ¯ / t | S ¯ ) = k ¯ 1 ( l ¯ | S ¯ / t ) k ¯ 1 ( l ¯ / t | S ¯ ) = k ¯ 1 t ( l ¯ | S ¯ ) .
Thus, from the t evolution (35) of the parameter ( c ¯ C ), one obtains the following constraint on the reduced phase space ( M ¯ ξ ) subject to the vector field ( / t ) generated by the element q ( l ¯ ) G ^ ξ .
c ¯ = k ¯ 1 ( l ¯ | S ¯ )
Moreover, as it is easy to observe, these two vector fields ( / τ and / t ) in the reduced phase space ( M ¯ ξ ) commute:
[ / t , / τ ] = 0 .
The latter makes it possible to derive the following differential relationship from the conditions of (36):
k ¯ F ¯ / x = l ¯ F ¯ ,
imposed on the reduced matrix ( l ¯ G ^ ξ ) adjoint with the linear evolution Equation (34) and augmented with the following compatible differential equation for the matrix F ¯ G ^ ξ :
F ¯ t = q ( l ¯ ) F ¯
Equations (37) and (38) represent the well-known [22,37,39,40,41,48,49,50] generalized Lax-type spectral problem, allowing for the investigation of the mentioned above differential relationships by means of either the inverse scattering or the inverse spectral transform method [39,49,50,51], as well as by using algebraic geometry methods [49,50] and their modern Lie-algebraic generalizations [48].
To achieve this aim more analytically, we need to describe the evolution of the vector field ( / t ) in the reduced phase space ( M ¯ ξ ) in more detail, subject to its dependence on the phase-space element ( l ¯ G ^ ξ ). As the vector fields t and / x satisfy the commutativity condition (36) on the reduced manifold ( M ξ ), we apply the classical Marsden–Weinstein reduction scheme [43] to our symplectic manifold (M), with the fixed-moment mapping value ( ξ G ^ ) for computing the resulting Poisson bracket ( ( X | S ¯ ) , ( Y | S ¯ ) ξ ) of the smooth functions ( X | S ¯ ) and ( Y | S ¯ ) D ( M ¯ ξ ) in the reduced phase space ( M ¯ ξ ) parameterized by arbitrarily chosen X , Y G ^ ξ . It can be shown [28,37,45,52] that this Poisson bracket on M ¯ ξ expressed as
( X | S ¯ ) , ( Y | S ¯ ) ξ = ( X | S ¯ ) , ( Y | S ¯ ) | M ¯ ξ ( ξ | [ V X , V Y ] ) | M ¯ ξ ,
where, by definition, the mappings V X , V Y : M ¯ ξ G ^ ξ are the solutions to the following relationship:
( ξ | [ Z , V X ] ) = K Z ( X | S ¯ ) , ( ξ | [ Z , V Y ] ) = K Z ( Y | S ¯ ) ,
which holds for any Z G ^ ξ . The functions ( X | S ¯ ) , ( Y | S ¯ ) D ( M ¯ ξ ) can be extended to those in the whole phase space ( M ξ ) in such a way that their restrictions on the submanifold ( M ξ M ) are G ^ -invariant. To apply the Marsden–Weinstein reduction scheme, (we construct such a group element g ( l ) G ^ ) that for an arbitrarily chosen l G ^ ξ , the following gauge expression holds and satisfies the normalization condition ( g ( l ¯ ) = Id G ^ ):
l = g ( l ) l ¯ g ( l ) 1 k ¯ g / x ( l ) g ( l ) 1
Having now considered the function
f X : = ( g ( l ) X g ( l ) 1 | S ) ,
for some elements suitably extended on the whole manifold ( M ξ ) (elements X G ^ ξ and S G ^ ξ ), one can observe that f X | M ¯ ξ = ( X | S ¯ ) , which is, by construction, G ^ -invariant. The latter means that f X D ( M ξ ) for any l G ^ ξ and for any a G ^ ξ G ^
a f X : = ( g ( a l ) X g ( a l ) 1 | a · S ) = ( a g ( l ) X g ( l ) 1 · a 1 | a S a 1 ) = ( g ( l ) X g ( l ) 1 | S ) = f X ,
where we use the invariance property ( g ( a l ) = a g ( l ) , l G ^ ξ ) following from expressions (41) and (23):
a l = a l a 1 k ¯ a / x a 1 = a ( g ( l ) l ¯ g ( l ) 1 k ¯ g / x ( l ) g ( l ) 1 ) a 1 k ¯ a / x a 1 = a g ( l ) l ¯ ( a g ( l ) ) 1 k ¯ a g / x ( l ) g ( l ) 1 a 1 k ¯ a / x a 1 = a g ( l ) l ¯ ( a g ( l ) ) 1 k ¯ ( a g ( l ) ) / x ( a g ( l ) ) 1 = g ( a l ) l ¯ g ( a l ) 1 k ¯ g / x ( a l ) g ( a l ) 1 ,
which holds for any a G ^ ξ and l G ^ ξ . Returning to the Poisson bracket (39), we can replace the functions ( X | S ¯ ) and ( Y | S ¯ ) D ( M ¯ ξ ) with their G ^ ξ -invariant extensions ( f X D ( M ξ ) ). Before calculating the corresponding Poisson bracket
f ¯ X , f ¯ Y ξ = f ¯ X , f ¯ Y | M ¯ ξ ( ξ | [ V X , V Y ] ) = f X , f Y | M ¯ ξ K V X f Y | M ¯ ξ ,
where K V X : M ξ T ( M ξ ) is the vector field generated on M ξ by the element V X G ^ ξ , we need to calculate the action ( K Z f Y ) for any element ( Z G ^ ξ ). From (43), one easily finds that
K Z f Y = d d ε g ( exp ( ε Z ) l ) Y g ( exp ( ε Z ) l ) 1 | exp ( ε Z ) S exp ( ε Z ) | ε = 0 = ( g ( l ) [ g ( l ) 1 g ( l ) ( [ Z , l ] k ¯ Z / x ) g ( l ) 1 Z g ( l ) , Y ] g ( l ) 1 | S ) .
holds on the submanifold ( M ξ ). Thus, in the reduced phase space ( M ξ ¯ ), the general expression (46) implies
K V X f Y | M ¯ ξ = ( [ g ( l ¯ ) · ( [ V x , l ¯ ] k ¯ x V x ) V X , Y ] | S ¯ ) .
Thus, owing to the relationships f X , f Y = ω ( 2 ) ( K V X , K V Y ) and (47), the Poisson bracket (45) becomes
( X | S ¯ ) , ( Y | S ¯ ) ξ = [ g ( l ¯ ) ( Y ) , X ] + [ Y , g ( l ¯ ) ( X ) ] | S ¯ [ g ( l ¯ ) ( [ V X , l ¯ ] k ¯ x V X ) V X , Y ] | S ¯ = ( [ g ( l ¯ ) ( Y ) , X ] + [ Y , g ( l ¯ ) ( X ) ] | S ¯ ) ,
taking into account that, owing to (40) and (47):
[ g ( l ¯ ) ( [ V X , l ¯ ] k ¯ x V X ) V X , Y ] | S ¯ = K V X f Y = ( ξ | [ K V X , V Y ] ) | ξ = 0 = 0 .
Now, one can rewrite the Poisson bracket (48) as
( X | S ¯ ) , ( Y | S ¯ ) ξ = ( [ X , Y ] D | S ¯ ) ,
where, by definition, the classical D structure is introduced in the linear space ( G ^ ξ ):
[ X , Y ] D : = a d D ( X ) Y a d D ( Y ) X ,
where X , Y G ^ ξ , and the linear homomorphism ( D : G ^ ξ G ^ ξ ) is defined as
D ( X ) : = g ( l ¯ ) ( X ) .
The constructed mapping (51) should obviously satisfy [28,52] the well-known Jacobi-type condition for any X , Y and Z G ^ ξ .
( [ X , [ D ( Y ) , D ( Z ) ] D [ Y , Z ] D ] | S ¯ ) + ( [ X , { ( S ¯ | Y ) , ( S ¯ | Z ) } ξ ] | S ¯ ) + cycles = 0
We now take into account that the mapping g : G ^ ξ G ^ satisfies relationship (41), implying [53] the following determining differential expression for any X G ^ ξ depending on a chosen reduction ( G ^ l l ¯ G ^ ξ ):
[ g ( l ¯ ) ( X ) , l ¯ ] k ¯ x g ( l ¯ ) ( X ) = X
The D mapping introduced above (51) satisfies the following additional relationship:
S ( l ) = g ( l ) S ¯ ( l ¯ ) g ( l ) 1 ,
which can be obtained from the group G ^ action on element S ( l ¯ ) G ^ ξ and following naturally from (41). From the differentiation of (54) with respect to l G ^ ξ at point l l ¯ G ^ ξ , one obtains the following additional commutator expression for an arbitrary element ( X G ^ ξ ):
S ( l ¯ ) ( X ) = [ g ( l ¯ ) ( X ) , S ¯ ( l ¯ ) ]
Moreover, since matrix (54) satisfies relationship (34), its differentiation with respect to l ¯ G ^ ξ entails the following differential expression:
k ¯ x S ( l ¯ ) ( X ) + [ l ¯ , S ( l ¯ ) ( X ) ] = [ S ¯ ( l ¯ ) , X ] ,
which holds for any X G ^ ξ . Now, we take into account that the matrix S ¯ ( l ¯ ) ( z ; λ ) G ^ ξ coincides exactly with the monodromy matrix ( F ¯ ( z + 2 π ; z ; λ ) , z R , λ C ) of the linear periodic problem (37). Using direct calculations, one can verify the following commutator tensor expression:
S ¯ ( l ¯ ) ( z ; λ ) , S ¯ ( l ¯ ) ( z ; μ ) ξ =
= z z + 2 π d x z z + 2 π d y F ( z + 2 π , x ; λ ) l ¯ ( x ; λ ) F ( x , z ; λ ) , F ( z + 2 π , y ; μ ) l ¯ ( y ; μ ) F ( y , z ; μ ) ξ =
= z z + 2 π d x z z + 2 π d y ( F ( z + 2 π , x ; λ ) I ) ( l ¯ ( x ; λ ) I ) ( F ( x , z ; λ ) I ,
I F ( z + 2 π , y ; μ ) ( I l ¯ ( y ; μ ) ) ( I F ( y , z ; μ ) ) ξ =
= z z + 2 π d x z z + 2 π d y F ( z + 2 π , x ; λ ) F ( z + 2 π , y ; μ ) l ¯ ( x ; λ ) , l ¯ ( y ; μ ) ξ F ( x , z ; λ ) F ( y , z ; μ )
z z + 2 π d x z z + 2 π d y F ( z + 2 π , x ; λ ) F ( z + 2 π , y ; μ ) ω ¯ ( λ , μ ; x , y ) F ( x , z ; λ ) F ( y , z ; μ ) ,
where z S 1 , λ , μ C , and, by definition,
l ¯ ( x ; λ ) , l ¯ ( y ; μ ) ξ : = ω ¯ ( λ , μ ; x , y ) = i , k = 0 N ω ¯ i k ( λ , μ ; x , y ) ( / x ) i ( / y ) k δ ( x y ) .
for any x , y S 1 . Here, the locally defined functional matrices ( ω ¯ i k ( λ , μ ; x , y ) G ^ ξ G ^ ξ , i , k = 0 , N ¯ ) are assumed to satisfy the antisymmetry property for all i , k = 1 , N ¯ , x , y S 1 , λ , μ C ,
P ω ¯ i k ( λ , μ ; x , y ) P = ω ¯ k i ( μ , λ ; x , y ) ,
and the permutation operator ( P : G ^ ξ G ^ ξ G ^ ξ G ^ ξ ) acts as P X Y P : = Y X for any X , Y G ^ ξ . Similarly to calculations reported in [39,54,55], (73) yields
S ¯ ( z ; λ ) , S ¯ ( z ; μ ) ξ = z z + 2 π d x F ¯ ( z + 2 π , x ; λ ) F ¯ ( z + 2 π , x ; μ ) Ω ¯ ( λ , μ ; x ) F ¯ ( x , z ; λ ) F ¯ ( x , z ; μ )
for a matrix ( Ω ¯ ( λ , μ ; x ) G ^ ξ G ^ ξ ) for all λ , μ C , x S 1 , depending only on the element ( l ¯ G ^ ξ ). It is worth observing that the Poisson bracket (48) can be rewritten equivalently as
S ¯ ( l ¯ ) ( λ ) , S ¯ ( l ¯ ) ( μ ) ξ = [ R ¯ ( λ , μ ) , S ¯ ( l ¯ ) ( λ ) I + I S ¯ ( l ¯ ) ( μ ) ] ,
where R ¯ G ^ ξ G ^ ξ denotes a tensor mapping corresponding to the linear homomorphism ( D : G ˜ ξ G ξ ˜ ) constructed above. Expression (63) allows for the follow compact representation:
S ¯ ( z ; λ ) , S ¯ ( z ; μ ) ξ = R ( λ , μ ; z ) S ¯ ( z ; λ ) S ¯ ( z ; μ ) S ¯ ( z ; λ ) S ¯ ( z ; μ ) R ( λ , μ ; z ) ,
if the kernel ( R ( λ , μ ; x ) ) of the tensor ( R G ^ ξ G ^ ξ ) satisfies the following differential relationship for all x S 1 and λ , μ C :
x R ( λ , μ ; x ) + [ R ( λ , μ ; x ) , l ¯ ( x ; λ ) I + I l ¯ ( x ; μ ) ] = Ω ¯ ( λ , μ ; x ) .
Moreover, to define the related mapping ( R : G ^ ξ G ^ ξ ) as
R A : = res μ = 0 0 2 π d y R ( λ , μ ; y ) δ ( x y ) A ( y ; μ )
for any A G ^ ξ , the differential relationship (65) can be easily rewritten in the following operator form:
( A | R / x B ) + ( l ¯ | [ A , B ] R ) = ( A | R B ) ,
which holds for any A , B G ^ ξ , where the expression
[ A , B ] R : = [ R A , B ] + [ A , R B ]
denotes a new so-called deformed Lie structure in the linear space ( G ^ ξ ). The result (67) can be also used to rewrite the Poisson bracket (64) as
( X | S ¯ ( l ¯ ) ) , ( Y | S ¯ ( l ¯ ) ) ξ = l ¯ | [ F ¯ X F ¯ 2 π , F ¯ Y F ¯ 2 π ] R F ¯ X F ¯ 2 π | x R ( F ¯ Y F ¯ 2 π ) = l ¯ | [ ( X | S ¯ ) ( l ¯ ) , ( Y | S ¯ ) ( l ¯ ) ] R + x ( X | S ¯ ) ( l ¯ ) | R ( ( Y | S ¯ ) ( l ¯ ) ) R ( ( X | S ¯ ) ( l ¯ ) ) | x ( ( Y | S ¯ ) ( l ¯ ) ) ,
where, by definition, F ¯ : = F ¯ ( l ¯ ) ( x , y ; λ ) , F ¯ 2 π : = F ¯ ( l ¯ ) ( y + 2 π , x ; λ ) G ¯ , x , y S 1 , λ C , and the gradients ( ( X | S ¯ ) ( l ¯ ) and ( Y | S ¯ ) ( l ¯ ) G ^ ξ ) are defined in the standard way as
( Z | f ( l ¯ ) ) : = d d ε f ( l ¯ + ε Z ) | ε = 0
for any smooth functional ( f D ( G ^ ξ ) ) and arbitrary Z G ^ ξ . It is also easy to observe that under the assumed antisymmetry condition described above ( R = R ), the right-hand side of (69) coincides with the Lie–Poisson bracket [37,39,43,48,50] for functionals ( X | G ^ ξ ) and ( Y | G ^ ξ ) D ( G ^ ξ ) in the adjoint space ( G ^ ξ ) with respect to the deformed commutator structure ( [ · , · ] R ) on the centrally extended Lie algebra G ^ ξ : for any ( A , α ) , ( B , β ) G ^ ξ , α , β C , with the Lie bracket
[ ( A , α ) , ( B , β ) ] R : = [ A , B ] R , ( R ( B ) | A / x ) ( R ( A ) | B / x ) .
Thus, owing to (68), the classical R structure
[ A , B ] R : = [ R A , B ] + [ A , R B ]
on the Lie algebra ( G ^ ξ ) under the conditions formulated above based on the mapping R : G ^ ξ G ^ ξ generates a new Lie algebra structure on G ^ ξ . The obtained result can be formulated as the following proposition.
Proposition 2.
The constructed reduced canonical Poisson structure in the phase space ( M ¯ ξ ) for the monodromy matrix ( S ¯ ( l ¯ ) G ^ ξ ) exactly coincides with the corresponding classical Lie–Poisson bracket on the centrally extended Lie algebra ( G ^ ξ ) subject to the antisymmetric R structure (71).
The Poisson bracket (72), satisfying the Jacobi identity, makes it possible to define a dual Lie–Poisson bracket in the adjoint space ( G ^ ξ ) via the following canonical expression at an element ( l ¯ G ^ ξ ):
{ ( l ¯ | A ) , ( l ¯ | B ) } ξ = ( l ¯ | [ [ A , B ] R ) + A / x | R B B / x | R A
If the antisymmetry property for the mapping ( R : G ^ ξ G ^ ξ ) does not hold, the generated Lie–Poisson-type bracket in the functional space ( D ( G ^ ξ ) ) can be defined as follows, owing to (69): for any f , g D ( G ^ ξ ) , the bracket is
f ( l ¯ ) , g ( l ¯ ) ξ : = ( l ¯ | [ f ( l ¯ ) , g ( l ¯ ) ] R ) + x f ( l ¯ ) | R g ( l ¯ ) ( R f ( l ¯ ) ) | d d x g ( l ¯ )
where the generalized R structure ( [ · , · ] R ) on G ^ ξ is given by expression (68). The results obtained above can be summarized as the following theorem.
Theorem 1.
The Poisson bracket (48) in the reduced phase space ( M ¯ ξ ) represented by a D structure (49) in the linear space ( G ^ ξ ) naturally generated by the gauge transformation (41) reduced on the element l ¯ G ^ ξ is uniquely defined on M ¯ ξ and generates the anchor mapping( ρ ξ : = D : G ^ ξ G ^ ξ ) in the bundle ( G ^ ξ × G ^ ξ ), satisfying the Lie algebra homomorphism property for any X , Y G ^ ξ , thus determining a Courant type algebroid.
D [ X , Y ] D = [ D X , D Y ]
Proof. 
One needs only to argue the homomorphism property (75) following from the dual tensor form of the Poisson bracket (48) in the space ( G ^ ξ G ^ ξ ), which holds for arbitrary λ , μ C , where R ( λ , μ ) G ^ ξ G ^ ξ denotes the tensor form of the D mapping ( D : G ^ ξ G ^ ξ ) constructed above. As this mapping ( D : G ^ ξ G ^ ξ ) is uniquely represented as a tensor ( D G ^ ξ G ^ ξ ), the latter can be split into non-degenerate symmetric ( μ G ^ ξ G ^ ξ ) and antisymmetric ( η G ^ ξ G ^ ξ ) parts. We now take into account that the composed mapping ( R : = η μ 1 : G ^ ξ G ^ ξ ) generates the second Lie bracket
[ V 1 , V 2 ] R : = [ R V 1 , V 2 ] + [ V 1 , R V 2 ] ,
exactly coinciding with that of (72), owing to relationship (52), thus proving the homomorphism property (75). □
It is also worth remarking that the trace operation applied to the Poisson bracket (63) causes it to vanish in the phase space ( M ¯ ξ ) for the functionals tr S ¯ ( l ¯ ) ( λ ) and tr S ¯ ( l ¯ ) ( μ ) for arbitrary λ , μ C , describing the complete set of Casimir functionals [39,48] of the coadjoint action of the isotropy group ( G ^ ξ ) in the adjoint space G ^ ξ .

4. Remarks on the Courant-Type Algebroid Foliation and Related Hamiltonian Flows

Let ( E ; [ [ · , · ] ] , ρ ) , E : = A ( M ) be a Courant-type algebroid over a manifold (M) for which the characteristic space ( ρ ( E x ) T x ( M ) , x M ) is involutive and finitely generated. On the algebroid ( E ; [ [ · , · ] ] , ρ ) , the external differential of d E : Γ ( Λ ( E ) ) Γ ( Λ ( E ) ) is naturally defined, where Λ ( E ) : = k Z + k ( E ) , as follows:
d E α ( k ) ( A 0 , , A k ) : = i = 0 k ( 1 ) i ρ ( A i ) E α ( k ) ( ( A 0 , , A ^ i , , A k ) + i < j = 0 k ( 1 ) i + j α ( k ) ( [ [ A i , A j ] ] , A 0 , , A ^ i , , A ^ j , , A k ) ,
for α ( k ) Γ ( Λ k ( E ) ) and arbitrary A i Γ ( E ) , i = 0 , k ¯ , and k Z + , satisfying the natural algebraic cohomology complex property ( d E d E = 0 ). Differential (77) makes it possible to also determine the Lie derivative along a section ( A Γ ( E ) ).
L A ( E ) : = i A d E + d E i A
It is obvious that for E = T ( M ) × T ( M ) , ρ : = p r T ( M ) and A Γ ( T ( M ) × T ( M ) ) , the external differential ( d E ) transits into the usual differential ( d p r Λ ( M ) : T ( M ) × Λ ( M ) Λ ( M ) ).
Let a two-form ω ( 2 ) Γ ( Λ 2 ( E ) ) be closed and invariant with respect to a vector ( K Γ ( E ) ), that is,
d E ω ( 2 ) = 0 , L K ( E ) ω ( 2 ) = 0
on M. The latter simply means that there exists a locally defined smooth function ( H 1 : Γ ( E ) R ) such that
i K ω ( 2 ) = d E H 1 .
If the function H 1 : Γ ( E ) R is defined globally, then the vector K Γ ( E ) is called a Hamiltonian flow in bundle E.
We now consider a coordinate vector set ( e : = { e i Γ ( E ) : i = 1 , m ¯ } ) in the vector bundle ( Γ ( E ) ) and the corresponding basis of its differentials ( { d E e i Γ ( T ( E ) ) : i = 1 , m ¯ } ) and take a linear and invertible subject to the second component mapping ( Q E : Γ ( E ) × Γ ( T ( E ) ) Γ ( T ( E ) ) ), determining the following elements by means of mappings ( Q E ( e ) j End Γ ( E ) , j = 1 , m ¯ ).
d E e = j = 1 , m ¯ Q E ( e ) j d E e j Γ ( T ( E ) )
Expression (81) makes it possible to define a second external differential ( d E : Γ ( Λ ( E ) ) Γ ( Λ ( E ) ) ), satisfying the algebraic cohomology complex property ( d E d E = 0 ) and anticommuting to the external deformed differential ( d E : Γ ( Λ ( E ) ) Γ ( Λ ( E ) ) ) :
d E d E + d E d E = 0 .
As the symplectic two-form ω ( 2 ) Γ ( Λ 2 ( E ) ) is, by definition, d E -closed ( d E ω ( 2 ) = 0 ), we also assume its d E -closedness, that is, d E ω ( 2 ) = 0 .
Definition 3.
External derivations (), d E , d E : Γ ( Λ ( E ) ) Γ ( Λ ( E ) ) satisfying the properties d E d E = 0 , d E d E = 0 and d E d E + d E d E = 0 are called compatible.
We additionally on the symplectic two-form ω ( 2 ) Γ ( Λ 2 ( E ) ) its K invariance with respect to the related Lie derivative:
L K ( E , ) ω ( 2 ) : = 0
L K ( E , ) : = i K d E + d E i K .
One easily derives that the following expression holds for some smooth mapping ( H 1 , H 2 : Γ ( E ) R ).
i K ω ( 2 ) = d E H 1 = d E H 2
Moreover, multiplying the right-hand side of the equality d E H 1 = d E H 2 by the differential d E : Γ ( Λ ( E ) ) Γ ( Λ ( E ) ) , one easily finds that
d E d E H 1 = d E ( d E H 2 ) = 0 ,
meaning that there exists a smooth mapping ( H 3 : Γ ( E ) R ) such that
d E H 2 = d E H 3 .
The relationship obtained above (85) can be recurrently continued and equivalently rewritten [56,57] as the modified Lenard–Magri-type mapping ( Q E ( ) : Γ ( T ( E ) ) Γ ( T ( E ) ) ), acting as
d E H j + 1 : = Q E ( ) d E H j = d E H j
for the set of smooth mappings ( H j : Γ ( E ) R , j = 1 , m ¯ , H 2 = H , d E H m = 0 ) generated by the second external differential ( d E : Γ ( Λ ( E ) Γ ( Λ ( E ) ), which is defined by expression (81).
It is also easy to observe that there exists a one-form β 1 ( 1 ) Γ ( Λ 1 ( E ) ) satisfying the condition d E β 1 ( 1 ) = ω 1 ( 2 ) : = ω ( 2 ) and generating the second closed two-form
ω 2 ( 2 ) : = d E Q E ( ) ( β 1 ( 1 ) ) Γ ( Λ 2 ( E ) ) ,
which is both d E - and d E -closed. The latter makes it possible to construct a countable hierarchy of symplectic structures ( ω j ( 2 ) Γ ( Λ 2 ( E ) ) , j = 1 , m ¯ ) such that
ω j + 1 ( 2 ) = d E Q E ( β j ( 1 ) ) , ω j ( 2 ) : = d E β j ( 2 )
for j = 1 , m ¯ , satisfying the next recurrent relationship jointly with the next countable hierarchy of differential relationships for all integers j = 1 , m ¯ :
ω j + 1 ( 2 ) = d E Q E ( ) d E 1 ( ω j ( 2 ) ) , d E Q E ( ) ( β m ( 1 ) ) = 0 ,
i K ω j ( 2 ) = d E H j + 1
Moreover, one can easily verify that all Hamiltonian functions constructed above ( H j : Γ ( E ) R , j = 1 , m ¯ ) commuting with each other, that is,
{ { H j , H i } } s = 0
for all i , j = 1 , m ¯ with respect to the following Poisson brackets:
{ { f , g } } s : = ω s ( 2 ) ( K f , K g ) , i K f ω s ( 2 ) = d E f , i K f ω s ( 2 ) = d E f ,
defined for s = 1 , m ¯ and arbitrary smooth functions ( f , g : Γ ( E ) R ). The properties of the Courant-type algebroid foliation over the manifold (M) described above can be summarized as the next theorem.
Theorem 2.
The Courant-type algebroid foliation ( ( E ; [ [ · , · ] ] , ρ ) , E = A ( M ) ), endowed with two compatible external differentials ( d E , d E : Γ ( Λ ( E ) ) Γ ( Λ ( E ) ) ), generates a finite set of commuting Hamiltonian flows ( K j : Γ ( E ) Γ ( E ) , j = 1 , m ¯ ) in a coordinate set (e Γ ( E ) ) of the bundle Γ ( E ) , that is,
[ [ K j , K i ] ] = 0
for all i , j = 1 , m ¯ , where
K j ( e ) = { { H 1 , e } } j
and K 1 : = K Γ ( E ) .
It is worth observing that the external deformed differential ( d E : Γ ( Λ ( E ) ) Γ ( Λ ( E ) ) ) defined by means of relationship (81) and satisfying the constraint d E d E = 0 can be interpreted as a flat connection ( d E : Γ ( E ) T ( E ) Γ ( E ) on Γ ( E ) ), acting as
d E A = j = 1 , m ¯ [ d E ( e j ( e ) ) e j ( A ) + e j ( e ) d E e j ( A ) ] + i , j = 1 , m ¯ e i ( e ) Q E ( e ) j i d E e j ( A )
on any vector A : = j = 1 m e j ( e ) A j Γ ( E ) , where A j : = e j ( A ) , j = 1 , m ¯ . As it is easy to check, the curvature two-form
Ω ( 2 ) : = d E d E = d E j = 1 , m ¯ Q E ( e ) j d E e j + j = 1 , m ¯ Q E ( e ) j d E e j j = 1 , m ¯ Q E ( e ) j d E e j = 0 ,
meaning that the connection d E : Γ ( E ) T ( E ) Γ ( E ) on Γ ( E ) is flat.
It is interesting to look at a special case [5] of the external differential ( d E : Γ ( Λ ( E ) ) Γ ( Λ ( E ) ) ) defined by means of the following expression:
d ˜ E α ( k ) ( A 0 , , A k ) : = i = 0 k ( 1 ) i ρ ( T A i ) E α ( k ) ( ( A 0 , , A ^ i , , A k ) + i < j = 0 k ( 1 ) i + j α ( k ) ( [ [ A i , A j ] ] T , A 0 , , A ^ i , , A ^ j , , A k ) ,
where T : Γ ( E ) T ( E ) is a linear homomorphism, and the commutator [ [ · , · ] ] T on Γ ( E ) is calculated according to the following expression for arbitrary X , Y Γ ( E ) :
[ [ X , Y ] ] T = [ [ T X , Y ] ] + [ [ X , T Y ] ] T [ [ X , Y ] ]
Then, the external differential (97) satisfies the algebraic cohomology complex property ( d ˜ E d ˜ E = 0 ) if there the following Nijenhuis constraint ( T : Γ ( E ) T ( E ) ) holds:
T [ [ X , Y ] ] T = [ [ T X , T Y ] ]
for all X , Y Γ ( E ) and is imposed on the homomorphism T : Γ ( E ) T ( E ) . Moreover, the external differential (97) satisfies the usual anticommutativity property
d ˜ E d E + d E d ˜ E = 0
and can be identified under some natural conditions imposed on the homomorphism T : Γ ( E ) T ( E ) and the corresponding mappings ( Q E ( e ) j End Γ ( E ) , j = 1 , m ¯ ), with the external differentiation d E : Γ ( Λ ( E ) ) Γ ( Λ ( E ) ) . The pair of external differentiations d ˜ E , d E : Γ ( Λ ( E ) ) Γ ( Λ ( E ) ) , together, form the corresponding Frölicher–Nijenhuis-compatible bicomplex [5], generating a countable hierarchy of commuting bi-Hamiltonian flows on Γ ( E ) as described above. The construction described above is also related to a Lauricella [58] problem of bi-flat F manifolds, which are interesting for applications in topological quantum field theory, as first demonstrated in [59,60,61,62].

5. The Loop Diffeomorphisms Group ( Diff ˜ ( T n ) ), the Courant-Type Algebroid ( ( A ( G ˜ ) , [ [ · , · ] ] , r ˜ ) ) and the Related Integrable Hamiltonian Flows

Let us consider the product D i f f ˜ + ( T n ) × D i f f ˜ ( T n ) , n Z + , where D i f f ˜ ± ( T n ) are subgroups of the loop diffeomorphism group ( D i f f ˜ ( T n ) : = { C S 1 D i f f ( T n ) } ) of the torus ( T n ) holomorphically extended in the interior ( D + 1 C ) and exterior ( D 1 C ) regions of the unit’s centrally located disk ( D 1 C 1 ), respectively, such that for any g ˜ ( λ ) D i f f ˜ ( T n ) , λ D 1 , g ˜ ( ) = 1 D i f f ( T n ) . The corresponding Lie subalgebra ( d i f f ˜ ( T n ) d i f f ˜ + ( T n ) d i f f ˜ ( T n ) ) is a direct sum of the subalgebras ( d i f f ˜ ± ( T n ) V e c t ˜ ± ( T n ) ) of the loop subgroups ( D i f f ˜ ± ( T n ) ) of vector fields on S 1 × T n extended holomorphically, respectively in regions D ± 1 C 1 , where for any a ˜ ( λ ) d i f f ˜ ( T n ) , the value is a ˜ ( ) = 0 .
We now proceed to studying Courant-type algebroids and the related integrable Hamiltonian flows within the classical Adler–Kostant–Symes-type scheme [23,24,25,26]. Let us consider the related affine Courant-type algebroid A ( D i f f ˜ ( T n ) ) ( d i f f ˜ ( T n ) d i f f ˜ ( T n ) , { · , · } , r ˜ ) , where, by definition, the affine Lie algebra is A ( D i f f ˜ ( T n ) ) : = d i f f ˜ ( T n ) d i f f ˜ ( T n ) , where the invariant anchor morphism is r ˜ : d i f f ˜ ± ( T n ) d i f f ˜ ± ( T n ) , r ˜ : = k ˜ η ˜ such that the linear mappings generated by the related derivation D ˜ : = k ˜ η ˜ 1 : A ( D i f f ˜ ( T n ) ) A ( D i f f ˜ ( T n ) ) , are the corresponding projectors on the subalgebras ( A ± ( D i f f ˜ ( T n ) ) A ( D i f f ˜ ( T n ) ) ).
P ˜ ± : = I ± D ˜ 1 / 2 : A ( D i f f ˜ ( T n ) ) A ± ( D i f f ˜ ( T n ) ) ,
It is worth observing that if the mapping ( k ˜ : d i f f ˜ ± ( T n ) d i f f ˜ ± ( T n ) ) is invertible and the dual mapping ( R ˜ : = η ˜ k ˜ 1 : d i f f ˜ ± ( T n ) d i f f ˜ ± ( T n ) ) is such that mappings
P ˜ ± : = I ± R ˜ / 2 : A ( D i f f ˜ ( T n ) ) A ± ( D i f f ˜ ( T n ) )
are projectors, then the following commutator structure defines the linear space ( A ( D i f f ˜ ( T n ) ) ) of the deformed Lie structure.
[ A , B ] R ˜ : = [ R ˜ A , B ] + [ A , R ˜ B ]
The following theorem, justifying the relationship between the Lie–Poisson bracket in the space ( A ( D i f f ˜ ( T n ) ) ) and the corresponding Courant structure, holds.
Theorem 3.
The adjoint space ( A ( D i f f ˜ ( T n ) ) ) is Poissonian with respect to the following deformed Lie–Poisson structure at ( l ˜ , p ˜ ) A ( D i f f ˜ ( T n ) ) for any X ˜ , Y ˜ A ( D i f f ˜ ( T n ) ) :
{ ( l ˜ , p ˜ ) ( X ˜ ) , ( l ˜ , p ˜ ) ( Y ˜ ) } D = ( l ˜ , p ˜ ) ( [ X ˜ , Y ˜ ] D )
Let I ( A ( D i f f ˜ ( T n ) ) ) : = { γ D ( A ( D i f f ˜ ( T n ) ) ) : a d grad γ ( l ˜ ) ( l ˜ , p ˜ ) = 0 , ( l ˜ , p ˜ ) A ( D i f f ˜ ( T n ) ) } denote the set of Casimir functionals in the space ( A ( D i f f ˜ ( T n ) ) ) invariant with respect to the canonical coadjoint action of the loop diffeomorphism group ( D i f f ˜ ( T n ) ) on A ( D i f f ˜ ( T n ) ) . Then, any countable sequence of independent functionals ( γ j I ( A ( D i f f ˜ ( T n ) ) ) , j N ) commute with each other with respect to the deformed Lie–Poisson structure ( { · , · } D ) and generate an infinite hierarchy of completely integrable [20,37,39] Hamiltonian systems in the space ( A ( D i f f ˜ ( T n ) ) ) with respect to the evolution parameters ( t j R , j N ).
( l ˜ , p ˜ ) / t j = a d D ˜ 1 grad γ j ( l ˜ , p ˜ ) ( l ˜ , p ˜ )
As naturally follows from [29,30,31,44,46], the integrable Hamiltonian systems (104) constructed above suitably generalize so-called [33] heavenly-type differential systems, describing diverse geometric structures of conformal types on finite dimensional Riemannian manifolds. We plan to conduct detailed investigations of some such structures related to so-called WDVV associativity equations [46,63,64] and the related Dubrovin-type affine connections [59,60].

6. Conclusions

We provided constructions of Courant algebroids related to semisimple Lie groups and showed that the related Lie algebroid reduces to the Courant algebroid, as similarly described in [3]. Moreover, this construction proved to be naturally generalizable in the case in which the canonical symplectic mapping is replaced by a Lie algebra homomorphism. We also devised an approach to constructing Courant algebroids with rich differential–geometric properties, making use of the powerful Adler–Kostant–Symes scheme for Poisson structures in coadjoint orbits, in particular its version based on the R structure and associated with a specially defined tensor mapping, providing the canonical Lie–Poisson bracket in the dual space. We also studied some differential geometric and symplectic properties of a special Courant-type algebroid foliation and analyzed the algebraic structure of related Hamiltonian flows. In particular, we showed that the Courant-type algebroid foliation, being equipped with two compatible external differentials, generates a finite set of commuting Hamiltonian flows, realizing the classical Magri-type recursion scheme. We also conducted a detailed analysis of Courant-type algebroids related to the loop diffeomorphism group and constructed compatible pairs of Poisson brackets and the related integrable Hamiltonian flows within the classical Adler–Kostant–Symes scheme, suitably generalizing the so-called heavenly-type differential systems describing diverse geometric structures of conformal types on finite dimensional Riemannian manifolds.

Author Contributions

Conceptualization, A.K.P.; methodology, A.K.P. and V.A.B.; software, V.A.B.; validation, A.K.P.; formal analysis, A.K.P. and V.A.B.; investigation, A.K.P. and V.A.B.; resources, V.A.B.; data curation, V.A.B.; writing—original draft preparation, V.A.B.; writing—review and editing, V.A.B.; visualization, V.A.B.; supervision, A.K.P.; project administration, V.A.B.; funding acquisition, V.A.B. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by Department of Mathematical Sciences at the UAEU for an invitation to visit the University under UAEU grants G00003658 and G00004159.

Data Availability Statement

Data are contained in the article.

Acknowledgments

The authors are cordially indebted to Alexander Balinsky, Taras Banach, Orest D. Artemovych, Oksana Hentosh and Yarema Prykarpatsky for useful comments and remarks. The authors are appreciative of Pasha Gusmanovich for fruitful and instructive discussions of some special algebroid structures and their applications. A.P. is grateful to the Department of Mathematical Sciences at the UAEU for an invitation to visit the University. Finally, the authors thank the referees, whose critical comments and instrumental suggestions were useful when preparing this manuscript for publication.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Mackenzie, K.C.H. Lie algebroids and Lie pseudoalgebras. Bull. Lond. Math. Soc. 1995, 27, 97–147. [Google Scholar] [CrossRef]
  2. Mackenzie, K. Lie Groupoids and Lie Algebroids in Differential Geometry; London Mathematical Society Lecture Note Series 124; Cambridge University Press: Cambridge, UK, 1987; MR 89g:58225. [Google Scholar]
  3. Kinyon, M.K.; Weinstein, A. Leibniz Algebras, Courant Algebroids, and Multiplications on Reductive Homogeneous Spaces. Am. Math. 2000, 123, 525–550. [Google Scholar] [CrossRef]
  4. Garcia-Beltran, D.; Vallejo, J.A.; Vorobjev, Y. On Lie Algebroids and Poisson Algebras. SIGMA 2012, 8, 006. [Google Scholar] [CrossRef]
  5. Lorenzoni, P.; Perletti, S. Integrable hierarchies, Frö licher–Nijenhuis bicomplexes and Lauricella bi-flat F-manifolds. Nonlinearity 2023, 36, 6925–6990. [Google Scholar] [CrossRef]
  6. de Leon, M.; Marrero, J.C.; Marttinez, E. Lagrangian submanifolds and dynamics on Lie algebroids. arXiv 2004, arXiv:0407528v1. [Google Scholar]
  7. Jimenez, V.M.; de Leon, M. The evolution equation: An application of grupoids to material evolution. J. Geom. Mech. 2022, 14, 331–348. [Google Scholar] [CrossRef]
  8. Grabovski, K.; Grabovski, J.; Kuś, M.; Marmo, G. Information geometry on groupoids: The case of singular metric. arXiv 2020, arXiv:2006.07621v1. [Google Scholar]
  9. Grabowski, J.; Marmo, G.; Michor, P.W. Homology and modular classes of Lie algebroids. arXiv 2005, arXiv:0310072v4. [Google Scholar] [CrossRef]
  10. Kubarski, J. The Chern-Weil Homomorphism of Regular Lie Algebroids; Publications Departement Mathematiques, University of Lyon 1: Villeurbanne, France, 1991. [Google Scholar]
  11. Mishchenko, A.S.; Oliveira, J.R. Sullivan constructions for transitive Lie algebroids—Smooth case. arXiv 2017, arXiv:1709.07494v1. [Google Scholar] [CrossRef]
  12. Liu, Z.-J.; Weinstein, A.; Xu, P. Manin triples for Lie Bialgebroids. J. Diff. Geom. 1997, 45, 547–574. [Google Scholar] [CrossRef]
  13. Ševera, P.; Geneva, U.; Valach, F. Courant Algebroids, Poisson–Lie T-Duality, and Type II gravities. Commun. Math. Phys. 2020, 375, 307–344. [Google Scholar] [CrossRef]
  14. Bressler, P.; Chernov, A. Courant algebroids. Trans. Am. Math. Soc. 2002, 85, 181. [Google Scholar] [CrossRef]
  15. Grabovski, J.; Ravanpak, Z. Nonassociative analogs of Lie groupoids. arXiv 2022, arXiv:2101.07258v2. [Google Scholar] [CrossRef]
  16. Grabovska, K.; Grabowski, J. Remarks on generalized Lie algebroids and related concepts. arXiv 2017, arXiv:1701.07233v1. [Google Scholar]
  17. Mishchenko, A.S. Transitive Lie algebroids—Categorical point of view. arXiv 2010, arXiv:1006.4839. [Google Scholar] [CrossRef]
  18. Mishchenko, A.S.; Xiaoyu, L.; Gasimov, V. Mackenzie obstruction for the existence of a transitive Lie algebroid. Russ. J. Math. Phys. 2014, 21, 544–548. [Google Scholar]
  19. Mishchenko, A.S.; Xiaoyu, L. The existence and classification of couplings between Lie algebroids and tangent bundles. Topol. Its Appl. 2016, 200, 1–18. [Google Scholar]
  20. Abraham, R.; Marsden, J. Foundations of Mechanics, 2nd ed.; Benjamin Cummings: Buffalo, NY, USA, 2008. [Google Scholar]
  21. Arnold, V.I. Mathematical Methods of Classical Mechanics; Springer: Berlin/Heidelberg, Germany, 1989. [Google Scholar]
  22. Prykarpatsky, A.; Mykytyuk, I. Algebraic Integrability of Nonlinear Dynamical Systems on Manifolds: Classical and Quantum Aspects; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1998. [Google Scholar]
  23. Adler, M. On a trace for formal pseudodifferential operators and the symplectic structure for the KdV type equations. Invent. Math. 1979, 50, 219–248. [Google Scholar] [CrossRef]
  24. Symes, W. Systems of Toda type, inverse spectral problems and representation theory. Invent. Math. 1978, 59, 13–53. [Google Scholar] [CrossRef]
  25. Kostant, B. The solution to a generalized Toda lattice and representation theory. Adv. Math. 1979, 39, 195–338. [Google Scholar] [CrossRef]
  26. Ovando, G.P. The Adler-Kostant-Symes scheme in physics. arXiv 2008, arXiv:0805.2963v1. [Google Scholar]
  27. Babelon, O.; Viallet, C.M. Hamiltonian structures and Lax equations. Phys. Lett. B 1990, 237, 411–416. [Google Scholar] [CrossRef]
  28. Babelon, O.; Bernard, D.; Talon, M. Introduction to Classical Integrable Systems; Cambridge University Press: Cambridge, UK, 2009. [Google Scholar]
  29. Hentosh, O.E.; Prykarpatskyy, Y.A.; Balinsky, A.A.; Prykarpatski, A.K. Geometric structures on the orbits of loop diffeomorphism groups and related heavenly type Hamiltonian systems.: I. Ukr. Math. J. 2023, 74, 1175–1208. [Google Scholar] [CrossRef]
  30. Hentosh, O.E.; Prykarpatskyy, Y.A.; Balinsky, A.A.; Prykarpatski, A.K. Geometric structures on the orbits of loop diffeomorphism groups and related heavenly type Hamiltonian systems.: II. Ukr. Math. J. 2023, 74, 1348–1368. [Google Scholar] [CrossRef]
  31. Hentosh, O.E.; Prykarpatsky, Y.A.; Blackmore, D.; Prykarpatski, A.K. Lie-algebraic structure of Lax–Sato integrable heavenly equations and the Lagrange–d’Alembert principle. J. Geom. Phys. 2017, 120, 208–227. [Google Scholar] [CrossRef]
  32. Hentosh, O.Y.; Prykarpatsky, Y.A.; Blackmore, D.; Prykarpatski, A.K. Dispersionless Multi-Dimensional Integrable Systems and Related Conformal Structure Generating Equations of Mathematical Physics. SIGMA 2019, 15, 079. [Google Scholar] [CrossRef]
  33. Plebański, J. Some solutions of complex Einstein equations. J. Math. Phys. 1975, 16, 2395–2402. [Google Scholar] [CrossRef]
  34. Courant, T.J. Dirac manifolds. Trans. Am. Soc. 1990, 319, 631–661. [Google Scholar] [CrossRef]
  35. Godbillon, C. Geomètrie Differentielle et Mécanique Analytique; Hermann: Paris, France, 1969. [Google Scholar]
  36. Kolar, I.; Michor, P.W.; Slovak, J. Natural Operations in Differential Geometry; Springer: Berlin, Germany, 1993. [Google Scholar]
  37. Blackmore, D.; Prykarpatsky, A.K.; Samoylenko, V.H. Nonlinear Dynamical Systems of Mathematical Physics; World Scientific Publisher: New Jersey, NJ, USA, 2011. [Google Scholar]
  38. Semenov-Tian-Shansky, M.A. What is a classical R-matrix? Func. Anal. Appl. 1983, 17, 259–272. [Google Scholar] [CrossRef]
  39. Faddeev, L.D.; Takhtajan, L.A. Hamiltonian Methods in the Theory of Solitons; Springer: Berlin/Heidelberg, Germany, 2007. [Google Scholar]
  40. Błaszak, M. Towards a Multi-Hamiltonian Theory of (2+1)-Dimensional Field Systems. In Multi-Hamiltonian Theory of Dynamical Systems; Texts and Monographs in Physics; Springer: Berlin, Germany, 1998. [Google Scholar] [CrossRef]
  41. Błaszak, M. Classical R-matrices on Poisson algebras and related dispersionless systems. Phys. Lett. A 2002, 297, 191–195. [Google Scholar] [CrossRef]
  42. Presley, A.; Segal, G. Loop Groups; Oxford University Press: Oxford, UK, 1988. [Google Scholar]
  43. Marsden, J.; Weinstein, A. Reduction and symplectic manifolds with symmetry. Rep. Math. Phys. 1974, 5, 121–130. [Google Scholar] [CrossRef]
  44. Prykarpatski, A.K. Quantum Current Algebra in Action: Linearization, Integrability of Classical and Factorization of Quantum Nonlinear Dynamical Systems. Universe 2022, 8, 288. [Google Scholar] [CrossRef]
  45. Prykarpatsky, Y.A.; Samoylenko, A.M.; Prykarpatsky, A.K. The geometric properties of reduced symplectic spaces with symmetry, their relationship with structures on associated principle fiber bundles and some applications. Part 1. Opusc. Math. 2005, 25, 287–298. [Google Scholar]
  46. Prykarpatsky, Y.A. Canonical reduction on cotangent symplectic manifolds with group action and on associated principal bundles with connections. J. Nonlinear Oscil. 2006, 9, 96–106. [Google Scholar] [CrossRef]
  47. Ferapontov, E.V.; Mokhov, O.I. On the Hamiltonian representation of the associativity equations. In Algebraic Aspects of Integrable Systems; vBirkhauser: Boston, MA, USA, 1997; Volume 26, pp. 75–91. [Google Scholar]
  48. Reyman, A.; Semenov-Tian-Shansky, M. Integrable Systems; The Computer Research Institute Publ.: Izhvek, Moscow, 2003. [Google Scholar]
  49. Novikov, S.P.; Manakov, S.V.; Pitaevski, L.P.; Zakharov, V.E. Theory of Solitons. The Inverse Problem Method; Plenum: New York, NY, USA, 1984. [Google Scholar]
  50. Newell, A.C. Solitons in Mathematics and Physics; CBMS-NSF, Regional Conference Series in Applied Mathematics; SIAM: Philadelphia, PA, USA, 1987. [Google Scholar]
  51. Calogero, F.; Degasperis, A. Spectral Transform and Solitons; Elsevier: Amsterdam, The Netherlands, 1982; Volume 1. [Google Scholar]
  52. Avan, J.; Babelon, O.; Talon, M. Construction of classical R-matrices for the Toda and Calogero models. Alg. Anal. 1994, 6, 67. [Google Scholar]
  53. Arutyunov, G.E.; Medvedev, P.B. Generating equation for R-matrices related to the dynamical systems of Calogero type. Phys. Lett. 1996, A223, 66–74. [Google Scholar] [CrossRef]
  54. Sklyanin, E.K. Quantum variant of the inverse scattering transform method. Proc. LOMI 1980, 95, 55–128. [Google Scholar]
  55. Tsyplyaev, S.A. Commutation relations for transition matrix in classical and quantum inverse scatering method. Theor. Math. Phys. 1981, 48, 24–33. [Google Scholar]
  56. Magri, F. A simple model of the integrable Hamiltonian equation. J. Math. Phys. 1978, 19, 1156–1162. [Google Scholar]
  57. De Sole, A.; Kac, V.G.; Turhan, R. A NewApproach to the Lenard–Magri Scheme of Integrability. Comm. Math. Phys. 2014, 330, 107–122. [Google Scholar] [CrossRef]
  58. Lauricella, G. Sulle funzioni ipergeometriche a piu variabili Rend. Circ. Mat. Palermo 1893, 7, 111–158. [Google Scholar] [CrossRef]
  59. Dubrovin, B. Integrable systems in topological field theory. Nucl. Phys. B 1992, 379, 627–689. [Google Scholar] [CrossRef]
  60. Dubrovin, B. Geometry on 2D topological field theories. In Lecture Notes in Mathematics, Proceedings of the Integrable Systems and Quantum Groups, Montecatini Terme, Italy, 14–22 June 1993; Springer: Berlin, Germany, 1996; Volume 1620, pp. 120–348. [Google Scholar]
  61. Manin, Y.I. Frobenius Manifolds, Quantum Cohomology and Moduli Spaces; AMS: Providence, RI, USA, 1999. [Google Scholar]
  62. Manin, Y.I. F-manifolds with flat structure and Dubrovin’s duality. Adv. Math. 2005, 198, 5–26. [Google Scholar] [CrossRef]
  63. Dijkgraaf, R.; Verlinde, H.; Verlinde, E. Topological strings in d < 1. Nucl. Phys. B 1991, 352, 59–86. [Google Scholar]
  64. Witten, E. On the structure of topological phase of two-dimensional gravity. Nucl. Phys. B 1990, 340, 281–332. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Prykarpatski, A.K.; Bovdi, V.A. On Some Aspects of the Courant-Type Algebroids, the Related Coadjoint Orbits and Integrable Systems. Symmetry 2024, 16, 76. https://doi.org/10.3390/sym16010076

AMA Style

Prykarpatski AK, Bovdi VA. On Some Aspects of the Courant-Type Algebroids, the Related Coadjoint Orbits and Integrable Systems. Symmetry. 2024; 16(1):76. https://doi.org/10.3390/sym16010076

Chicago/Turabian Style

Prykarpatski, Anatolij K., and Victor A. Bovdi. 2024. "On Some Aspects of the Courant-Type Algebroids, the Related Coadjoint Orbits and Integrable Systems" Symmetry 16, no. 1: 76. https://doi.org/10.3390/sym16010076

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop