Symplectic Foliation Structures of Non-Equilibrium Thermodynamics as Dissipation Model: Application to Metriplectic Nonlinear Lindblad Quantum Master Equation

The idea of a canonical ensemble from Gibbs has been extended by Jean-Marie Souriau for a symplectic manifold where a Lie group has a Hamiltonian action. A novel symplectic thermodynamics and information geometry known as “Lie group thermodynamics” then explains foliation structures of thermodynamics. We then infer a geometric structure for heat equation from this archetypal model, and we have discovered a pure geometric structure of entropy, which characterizes entropy in coadjoint representation as an invariant Casimir function. The coadjoint orbits form the level sets on the entropy. By using the KKS 2-form in the affine case via Souriau’s cocycle, the method also enables the Fisher metric from information geometry for Lie groups. The fact that transverse dynamics to these symplectic leaves is dissipative, whilst dynamics along these symplectic leaves characterize non-dissipative phenomenon, can be used to interpret this Lie group thermodynamics within the context of an open system out of thermodynamics equilibrium. In the following section, we will discuss the dissipative symplectic model of heat and information through the Poisson transverse structure to the symplectic leaf of coadjoint orbits, which is based on the metriplectic bracket, which guarantees conservation of energy and non-decrease of entropy. Baptiste Coquinot recently developed a new foundation theory for dissipative brackets by taking a broad perspective from non-equilibrium thermodynamics. He did this by first considering more natural variables for building the bracket used in metriplectic flow and then by presenting a methodical approach to the development of the theory. By deriving a generic dissipative bracket from fundamental thermodynamic first principles, Baptiste Coquinot demonstrates that brackets for the dissipative part are entirely natural, just as Poisson brackets for the non-dissipative part are canonical for Hamiltonian dynamics. We shall investigate how the theory of dissipative brackets introduced by Paul Dirac for limited Hamiltonian systems relates to transverse structure. We shall investigate an alternative method to the metriplectic method based on Michel Saint Germain’s PhD research on the transverse Poisson structure. We will examine an alternative method to the metriplectic method based on the transverse Poisson structure, which Michel Saint-Germain studied for his PhD and was motivated by the key works of Fokko du Cloux. In continuation of Saint-Germain’s works, Hervé Sabourin highlights the, for transverse Poisson structures, polynomial nature to nilpotent adjoint orbits and demonstrated that the Casimir functions of the transverse Poisson structure that result from restriction to the Lie–Poisson structure transverse slice are Casimir functions independent of the transverse Poisson structure. He also demonstrated that, on the transverse slice, two polynomial Poisson structures to the symplectic leaf appear that have Casimir functions. The dissipative equation introduced by Lindblad, from the Hamiltonian Liouville equation operating on the quantum density matrix, will be applied to illustrate these previous models. For the Lindblad operator, the dissipative component has been described as the relative entropy gradient and the maximum entropy principle by Öttinger. It has been observed then that the Lindblad equation is a linear approximation of the metriplectic equation.

both conservation of energy and entropy production, and it reduces to the traditional Poisson bracket formalism in the limit of no dissipation. Parallel axiomatization of this model has been performed by Grmela [58,59] and Öttinger (with a method called GENERIC). Entropy in these models is assumed to be a Casimir function, as in the Souriau model. These types of systems that follow both the first principle and the Clausius second principle of thermodynamics are included in metriplectic dynamics.
Baptiste Coquinot [60,61] recently developed a new foundation theory for dissipative brackets by taking a broad perspective from non-equilibrium thermodynamics. He accomplished this by first considering variables for building the bracket of the metriplectic flow and by developing a methodical approach for dissipative brackets. Based on non-equilibrium thermodynamic equations developed by Onsager and Casimir [62][63][64][65][66] for systems near thermal equilibrium for irreversible processes, Baptiste Coquinot developed metriplectic dissipative brackets. The Onsager-Casimir reciprocity relations describe time-reversal invariance at the microscopic scale for the macroscopic quantity relaxation close to thermodynamic equilibrium in the linear regime and link time reversibility at the microscopic scale with a symmetry property of corresponding evolution equations at the macroscopic scale. With the macroscopic evolution equation described by variational principle as a flow of gradient or equation of maximum entropy production, the Onsager-Casimir relations assume that, for the thermal fluctuations of macroscopic quantities, correlation functions decay with respect to the equations of macroscopic relaxation. Baptiste Coquinot's concept was to elaborate with naturally thermodynamic variables that are preserved in place of the typical Hamiltonian variables. By a formal equivalence demonstration between the thermodynamics of out-of-equilibrium equilibrium and metriplectic dynamical systems, Baptiste Coquinot demonstrates that the pseudometric of the dissipative bracket is exactly equivalent to the second principle of thermodynamics and relations elaborated by Onsager and Casimir. By deriving a generic bracket for dissipation from the fundamental first principle of thermodynamics, Coquinot's development demonstrates that brackets for dissipation are canonical for out-of-equilibrium equilibrium, just as Poisson brackets are canonical in the case of dynamics described by Hamilton. This general Coquinot dissipative bracket includes non-equilibrium thermodynamic theories, such as the one initially proposed for the metriplectic model. According to Baptiste Coquinot, entropy, a Casimir invariant, plays a similar role to the Hamiltonian in analytical mechanics. The pseudometric's non-negativity assures that entropy continues to increase in accordance with the second principle of thermodynamics. According to Baptiste Coquinot, the natural variables that make up the phase space basis are different from one another from both a Hamiltonian and a thermodynamic standpoint, but one can modify the variables by using the identity of thermodynamics to obtain a bracket in any phase space variables. The first principle of thermodynamics is well formulated in the Coquinot bracket for dissipation, with all the characteristics (bilinearity, symmetry and degeneracy). Baptiste Coquinot was the first to notice these properties for a metriplectic dynamical system.
We shall use first Dirac's dissipative bracket theory [67][68][69][70][71] for constrained Hamiltonian systems to refer to transverse structure. For Lagrangian systems with degenerate Lagrangians, Paul Dirac introduced the generalized Hamiltonian dynamics in 1950. In this case, we can endow the system phase space with two Poisson brackets: the Poisson bracket deduced from its symplectic structure, and the Dirac bracket. Cristel Chandre has more recently examined these Hamiltonian systems with constraints within the context of the theory developed by Paul Dirac, demonstrating that the identity introduced by Jacobi arises from requiring that the constraints be invariants of Casimir, in any case of invertibility of the Poisson bracket matrix between constraints. Cristel Chandre notes that this guarantees the Jacobi identity.
After Paul Dirac, Michel Saint-Germain [72,73] studied the transverse Poisson structure in his PhD work, which was inspired by Fokko du Cloux's seminal works on the associative algebra structure [74][75][76][77][78][79][80][81][82][83]. This approach differs from the metriplectic approach. In continuation of the works of Saint-Germain, in 2005, Hervé Sabourin investigated the  [84]. It is based on a Slodowy-Brieskorn theorem that was extended by Sabourin from an Alexandre Grothendieck conjecture [85][86][87][88][89]. Hervé Sabourin [90][91][92][93] has demonstrated that the transverse Poisson and the determinantal structures, which are built using these previous Casimirs, are on the symplectic leaf transverse slice that have Casimir functions, two polynomial Poisson structures. Both structures have the same quasi-degree (up to a constant multiple). On the basis of a Slodowy theorem, he also demonstrated that the transverse Poisson is fundamentally given by a 3 × 3 matrix, with skew-symmetric property, that is closely connected to the polynomial that characterizes the singularity. He also focused on the subregular and minimum orbit cases.
To conclude, we shall explore the equation introduced by Lindblad, the Hamiltonian Liouville equation with an additional dissipative part, operating on the quantum density matrix, to illustrate earlier models. To demonstrate that the equation developed by Lindblad can be written as a damped Hamiltonian system and the GENERIC (General Equation for Non-Equilibrium Reversible and Irreversible Coupling) model, which was developed by Grmela and Öttinger, we will remind the reader of the study performed by Markus Mittnenzweig [94][95][96][97][98][99]. The Lindblad dissipative part operator has been represented as the relative entropy gradient, indicating that the maximum entropy principle can lead to equilibria. Classically dissipative quantum systems are described by the linear quantum master equation in Lindblad form, which is the most common. However, H.C. Öttinger [100,101] has pointed out that this equation's essential flaw-invoking an inaccurate "quantum regression hypothesis"-has been known for around 30 years. This issue has been solved for a heat bath connected to a quantum system by the inclusion of a nonlinear master equation linked to a "modified quantum regression hypothesis" by H. Grabert [40,102]. The projection operator method has been used to obtain this modified master equation. The nonlinear master equation, obtained in this way, is not restricted to temperatures with high values where minor quantum effects inevitably occur. The quantum master equation can really be used down to arbitrary temperatures of low values if the connection due to friction to the heat bath weakens enough, as has been demonstrated. After formulating the nonlinear master equation that is thermodynamically consistent, one can search for unique circumstances where one can derive precise or approximate linear master equations. H. Grabert has conducted the same kind of studies and came to the conclusion that the well-known Lindblad form is not a good master equation.

List of Notations
We will use the following notation in the paper:

•
Lie and dual Lie algebras: Lie algebra: g = T e G Dual space of Lie algebra g * • Coadjoint operator: • Affine coadjoint operator:

Information Geometry Foundation of Souriau "Lie Group Thermodynamics"
For geometric statistical mechanics, we will discuss how to introduce statistical tools for Lie groups, and more specifically how to define the extension of Gauss density as the maximum entropy density of Gibbs.
Amari has demonstrated that the information matrix of Fisher is the Riemannian metric for an exponential family as follows: The Legendre transform provides a dual potential as Shannon entropy: where Φ(θ) = − log R e − θ,y dy = − log ψ(θ) is the classical function for cumulant generation.
Through an affinely invariant Hessian metric on a sharp convex cone, J.L. Koszul and E. Vinberg have introduced a generalization, though the concept of characteristic function: The name "characteristic function" has been named by Ernest Vinberg [103,104]: Let Ω be a cone in U and Ω * its dual, for any λ > 0, H λ (x) = {y ∈ U/ x, y = λ} and let d (λ) y denote the Lebesgue measure on H λ (x) : There exists a bijection x ∈ Ω → x * ∈ Ω * , satisfying the relation (gx) * = t g −1 x * for all g ∈ G(Ω) = {g ∈ GL(U)/gΩ = Ω} the linear automorphism group of Ω, and x * is: We can observe that x * is the center of gravity of Ω * ∩ H λ (x). We have the property that ψ Ω (gx) = |det(g)| −1 ψ Ω (x) for all x ∈ Ω, g ∈ G(Ω) and then that ψ Ω (x)dx is an invariant measure on Ω.
Then, the tangent space to the hypersurface {y ∈ U/ψ Ω (y) = ψ Ω (x)} at x ∈ Ω is given by {y ∈ U/ x * , y = m}. For x ∈ Ω, a, b ∈ U, the bilinear form ∂ a ∂ b log ψ Ω (x) is symmetric and positive definite, so that it defines an invariant Riemannian metric on Ω.
Jean-Marie Souriau extended these relationships in geometric statistical mechanics to ensure the covariance of Gibbs density with regard to the action of the Lie group. The Souriau model preserves earlier structures: We can observe that the Legendre transform is preserved: It should be noted that the definition of entropy is "Legrendre transform of minus the logarithm of Laplace transform" (also known as the Cramer transform) and that the logarithm of Laplace transform is connected to the cumulant-generating function.
β is a "geometric" (Planck) temperature, element of Lie algebra g of the group, and Q is a "geometric" heat, element of the dual space of the Lie algebra g * of the group in the Souriau Lie group thermodynamics model. The Riemannian metric proposed by Souriau has been identified by us as a generalization of the Fisher metric: Souriau proved that all coadjoint orbits of a Lie group given by O F = Ad * g F, g ∈ G subset of g * , F ∈ g * , carry, by a closed G-invariant 2-form, a natural homogeneous symplectic structure. If we define K = Ad * g = Ad g −1 * and K * (X) = −(ad X ) * with: where if X ∈ g,Ad g (X) = gXg −1 ∈ g, the G-invariant 2-form is given by the following expression: When a Lie group acts transitively by a Hamiltonian action on a symplectic manifold, the symplectic manifold is a covering space of a coadjoint orbit, according to Souriau's fundamental theorem. We can see that the Fisher metric, in the non-equivariant situation, is an extension of this 2-form for the Souriau model: The non-equivariance induced an additional term by a symplectic cocycle, which corresponds to Θ(Z 1 , [β, Z 2 ]). To define this extended Fisher metric, the tensor Θ used is defined by the moment map J(x), application from M (homogeneous symplectic manifold) to the dual space of the Lie algebra g * , given by: As the tangent space of the cocycle θ(g) ∈ g * , Θ could be derived (the non-equivariance of the coadjoint operator Ad * g generates this cocycle that modifies the action of the group on the dual space of the Lie algebra, so that the moment map could recover an equivariant relative to this new affine action): The cocycle θ(g) ∈ g * is a measure characterizing the lack of equivariance of the moment map.
Souriau has then defined a Gibbs density that is covariant under the action of the group: We can express the Gibbs density with respect to Q by inverting the relation: Souriau entropy S(Q) is found to be constant on the affine coadjoint orbit of the group (where the "geometric heat" Q is an element of the dual space of the Lie algebra g * of the group) by observing that S Ad # g (Q) = S(Q) if we note the affine coadjoint operator Ad # g (Q) = Ad * g (Q) + θ(g) where θ(g) is called the Souriau cocycle, and is associated with the default of equivariance of the moment map. We will next introduce this invariant Casimir function in coadjoint representation as the entropy within the context of Souriau Lie group thermodynamics. A function on M is a Casimir function when M is a Poisson manifold if and only if this function is constant on every symplectic leaf. Entropy is traditionally defined by Shannon with an axiomatic approach. Entropy will be defined in this essay as the Casimir equation's solution for affine equivariance by: the non-null cohomology case (non-equivariance of coadjoint operator on the moment map), with θ(g) the Souriau symplectic cocycle. The Koszul-Fisher metric will be connected to the KKS 2-form, which links a homogeneous symplectic manifold structure to coadjoint orbits.
In the context of thermodynamics, the fact that motion transverse to these surfaces is dissipative while motion remaining on them is non-dissipative could be used to explain how the information manifold foliates into level sets of entropy. We will also observe that showing that the second law of thermodynamics could be deduced from the Souriau tensor positive definiteness related to Fisher-Koszul information metric. We can also extend the affine Lie-Poisson equation dQ dt = ad * ∂H ∂Q Q + Θ ∂H ∂Q for stochastic dynamicsby a Stratonovich-kind differential equation given by:

Fisher Metric Symplectic Structure and Souriau-Casimir Entropy
We will give a definition of entropy purely geometrically based on this model as an extended invariant Casimir function defined on coadjoint orbits, where the cocycle characterizes the lack of equivariance for the moment mapping. The coadjoint orbits, which are also the entropy level sets, can be explained in terms of thermodynamics by the fact that dissipative phenomena are given by transverse dynamics to the symplectic leaves while non-dissipative ones are characterized by dynamics on the symplectic leaves. Additionally, by extending the Fisher-Koszul metric extension from information geometry by the Souriau tensor, the second thermodynamics law will be explained. We will also develop a new geometric heat equation using this Fisher-Koszul-Souriau tensor.

Symplectic Structures of Fisher-Souriau Metric
Based on the seminal work of François Gallissot [106] developed by Souriau, in the "Lie group thermodynamics" model, β is a "geometric" temperature of Planck, an element of Lie algebra g of the group, and Q is a heat defined geometrically as an element of the dual space of the Lie algebra g * of the group. A Riemannian metric has been proposed by Souriau that we have identified as a generalization of the Fisher metric: with Θ β (Z 1 , where a Lie group acts transitively on a symplectic manifold by a Hamiltonian action, and the symplectic manifold is a covering space of a coadjoint orbit. We can see that in the non-equivariant case, the Fisher metric for the Souriau model is an extension of this 2-form Due to the non-equivariance of the coadjoint operator induced by the symplectic cocycle, the term Θ(Z 1 , [β, Z 2 ]) appears. To define the extended Fisher-Souriau metric, the tensor Θ could be deduced from the moment map J(x), application from the homogeneous symplectic manifold Mto the dual space of the Lie algebra g * , given by: As tangent space of the cocycle θ(g) ∈ g * , this tensor Θ could be introduced due to the non-equivariance of the coadjoint operator Ad * g and the cocycle; we modify the action of the group on the dual space of the Lie algebra by adding a cocycle to introduce an "affine" equivariance of the momentum map as described in Figure 1: Entropy 2022, 24, x FOR PEER REVIEW 10 of 41  , : It can be then deduced that the tensor could be also written by (with cocycle relation): The bedrock of Souriau's "Lie group thermodynamics" is given by the affine equivariance of the moment map J , characterized by an affine action of G on * g , where we can recognize the classical coadjoint action as the linear part, for which the moment  I use notation Ad * g = Ad g −1 * with Ad * g F, Y = F, Ad g −1 Y , ∀g ∈ G, Y ∈ g, F ∈ g * as used by Koszul and Souriau. θ(g) ∈ g * is called non-equivariance 1-cocycle, and it is a measure of the lack of equivariance of the moment map.
It can be then deduced that the tensor could be also written by (with cocycle relation): The bedrock of Souriau's "Lie group thermodynamics" is given by the affine equivariance of the moment map J, characterized by an affine action of G on g * , where we can recognize the classical coadjoint action as the linear part, for which the moment J is equivariant. When an element of the group g acts on the element β ∈ g of the Lie algebra, given by adjoint operator Ad g and with respect to the action of the group Ad g (β), the entropy S(Q) and the Fisher metric I(β) are invariant: A 2-form in the Lie algebra has been introduced by Souriau, to deduce a Riemannian metric tensor in the values of the adjoint orbit of β, [β, Z] with Z an element of the Lie algebra. This metric is given for (β, Q): where Θ is a cocycle of the Lie algebra, defined by Θ = T e θ, with θ being a cocycle of the Lie group defined by θ(M) = Q(Ad M (β)) − Ad * M Q. The Riemannian metric given by Souriau based on his cocycle is a generalization of the Fisher-Koszul metric because we can define this metric as a Hessian of the partition function logarithm as in classical information geometry. The equality of the two metrics could be proved by identifying the expression given by cocycle Θ and parameterized by Q (element of the dual space of the Lie algebra) and β (element of Lie algebra) with the Hessian of characteristic function Φ(β) = − log ψ Ω (β) with respect to the variable β: If one assumes that U(gξ) = Ad * g U(ξ) + θ µ (g), g ∈ G, ξ ∈ M which means that the energy U : M → g * satisfies the same equivariance condition as the moment map µ : M → g * , then one has for g ∈ G and β ∈ Ω To consider the invariance of entropy, we have to use the property that For β ∈ Ω, let g β be the Hessian form on T β Ω ≡ g with the potential Φ(β) = − log ψ Ω (β). For X, Y ∈ g, we define: The Cauchy-Schwarz inequality proves the positive definitiveness of this tensor. We observe that g β (X, X) = 0 if and only if U(ξ), X is independent of ξ ∈ M, which means that the set {U(ξ); ξ ∈ M} is contained in an affine hyperplane in g * perpendicular to the vector X ∈ g. We have seen that g β = − ∂ 2 Φ ∂β 2 , which is a generalization of the classical Fisher metric from information geometry, and will give the relation the Riemannian metric introduced by Souriau.
we have for any β ∈ Ω, g ∈ G and Y ∈ g: Let us differentiate the above expression with respect to g. Namely, we substitute g = exp(tZ 1 ), t ∈ R and differentiate at t = 0. Then the left-hand side of (22) becomes and the right-hand side of (22) is calculated as: Therefore, Substituting Y = −[β, Z 2 ] to the above expression: We define then symplectic 2-cocycle and the tensor: as KKS 2-form when we have the property of non-null cohomology, we can then define the Fisher-Souriau metric: A dual metric of the Fisher-Souriau metric is also given by entropy S(Q) Hessian with respect to the dual variable given by Q due to the fact that the entropy is defined by the Legendre transform of the characteristic function, It is an extension of the concept of "heat capacity." Souriau called it a "geometric capacity": In Figure 2, we present Souriau's illustration of his model. We can see that Pierre Duhem established the foundations of thermodynamics based on capacity and its expansion in a brand-new theory known as "energetique" in the previous century.
For the Galilean group in classical mechanics, for an isolated mechanical system, we cannot define any equilibrium Gibbs state, due to the non-existence of the open subset of the Lie algebra associated with this Gibbs state. We have then to consider the 1-parameter subgroup of the Galilean group produced by an element β of Lie algebra to be thought of as the following set of matrices: We can recover the classical thermodynamics by considering the reciprocal formula as follows: The classical Boltzmann-Clausius entropy for classical thermodynamics is recovered if the Lie group is restricted to only time translation:  For the Galilean group in classical mechanics, for an isolated mechanical system, we cannot define any equilibrium Gibbs state, due to the non-existence of the open subset of the Lie algebra associated with this Gibbs state. We have then to consider the 1-parameter subgroup of the Galilean group produced by an element  of Lie algebra to be thought of as the following set of matrices: We can recover the classical thermodynamics by considering the reciprocal formula as follows: The classical Boltzmann-Clausius entropy for classical thermodynamics is recovered if the Lie group is restricted to only time translation: For instance, we may easily obtain the covariant Gibbs density for the centrifuge dynamical system using the Souriau model (equilibrium of angular moment map will be established by viscosity). According to Roger Balian, "Angular momentum is transferred to the gas when molecules hit with rotating wall, changing the Maxwell distribution at every location. The walls serve as a reservoir for angular momentum. Their motion is defined by an angular velocity, and at equilibrium, the angular velocities of the fluid and the walls are equalized, exactly as the temperature is equalized through energy exchanges." According to Roger Balian, in order to characterize the equilibrium of a centrifuge, we need two hyperparameters of Lagrange, one for the classical thermodynamic equilibrium with Planck temperature and the other for the angular momentum equilibrium. Souriau made the observation that these two hyperparameters could coexist in the same tensor, which is a component of the Lie algebra of the Lie group acting on the system, and he defined what he termed a "geometric temperature" with a new ontology and a strictly geometric definition derived from symmetries.
We can see that by applying Poincaré-Cartan integral invariant [107] to the Massieu characteristic function, it is possible to derive generalized variational principles from the Souriau Lie group thermodynamics model, as illustrated in Figure 3. For the Souriau model, an extension of the Poincaré-Cartan integral invariant is provided by model for an arbitrary path is δβ = .
η + [β, η] and δ Entropy 2022, 24, 1626 13 of 36 characteristic function, it is possible to derive generalized variational principles from the Souriau Lie group thermodynamics model, as illustrated in Figure 3. For the Souriau model, an extension of the Poincaré-Cartan integral invariant is provided by The variational model for an arbitrary path is

Souriau-Casimir Entropy and Lie Algebra Cohomology
Souriau's equation Ad is the map for the identity of the Lie algebra g . This curve is in the adjoint orbit of As we have seen before, , and by derivation with respect to t at 0 = t , we finally recover the equation given by Souriau:

Souriau-Casimir Entropy and Lie Algebra Cohomology
Souriau's equation Q, [β, Z] + Θ(β, Z) = 0, introduced in 1974, can be proved by considering the curve t → Ad exp (tZ) β with Z ∈ g and t ∈ R . The curve Ad exp (tZ) β passes, for t = 0, through the point β, since Ad exp (0) is the map for the identity of the Lie algebra g. This curve is in the adjoint orbit of β. So, by taking its derivative with respect to t, for t = 0, a tangent vector in β is deduced at the adjoint orbit of this point. When Z takes arbitrary values in g, the vectors generate all the vector space tangent in β to the orbit of this point: As we have seen before, ), β , and by derivation with respect to t at t = 0, we finally recover the equation given by Souriau: Souriau has developed this equation in greater depth. Souriau has just observed the identity S Q Ad g (β) = S Ad * g (Q) + θ(g) = S(Q). We propose from this property to characterize this invariance more explicitly by characterizing entropy as an invariant Casimir function in coadjoint representation. From the last Souriau equation, if we use which characterizes an invariant Casimir function in the case of non-null cohomology that we propose to write with Poisson brackets, where In fact, the following differentiation describes infinitesimal variation: x . When non-null co- Because entropy is traditionally introduced axiomatically, it appears as disruptive in information theory to identify entropy as a Casimir function constant on the coadjoint orbits. We are then able to build the entropy by an equation characterizing the Casimir function.
Because it adds a new differential equation structure in the situation of non-null cohomology, this new equation is significant. The variational principle modified for Lie-Poisson structure is equivalent to the prior Lie-Poisson equation:

Geometric Definition of Heat Equation
From this Lie-Poisson equation, we can introduce a geometric heat Fourier equation: that we can rewrite: where ∂Q ∂β geometric heat capacity is given by The PDE for (calorific) energy density known as the heat equation uses the geometric heat capacity to describe the characteristics of a material. The method of numerically integrating Lie-Poisson systems while maintaining coadjoint orbits has been considered.
In the homogeneous Euclidean situation, we have the following classical equation: The relationship with the second law of thermodynamics will be inferred from the Souriau-Fisher tensor positivity: This equation appears in the Souriau paper published in 1974, observing that geometric temperature β is a kernel of Θ β , which is written as follows: and can be developed to recover the Casimir equation:

Link between Souriau-Casimir Entropy and Koszul-Poisson Cohomology
J.L.  introduced Poisson cohomology. Koszul cited a seminal paper by E. Cartan that stated, "Elie Cartan does not explicitly mention Λ(g') [the complex of alternate forms on a Lie algebra], because he treats groups as symmetrical spaces and is interested in differential forms that are invariant to both the translations to the left and the translations to the right, which corresponds to the elements of Λ(g') invariant by the prolongation of the coadjoint representation. Nevertheless, it can be claimed that a crucial aspect of the cohomological theory of Lie algebras was in place by 1929." We can also make reference to F. Berezin [111].
When defining the Poisson structure, A. Lichnerowics pointed out that it can be written using the Schouten-Nijenhuis bracket [112][113][114][115][116] and that it is an extension of symplectic structures that use contravariant tensor fields rather than differential forms. Let us consider ad P Q = [P, Q], where ad P is a graded linear endomorphism of degree p-1 of A(M). From the graded Jacobi identity, we can write: The

Metriplectic Model for Dissipative Heat Equation
A Hamiltonian model of dynamics is used to identify systems that maintain energy throughout the phase. Dissipative effects, which are irreversible changes from a thermodynamic perspective, cannot be accounted for in classical Hamiltonian systems. The metriplectic bracket was first introduced in 1983 by A. N. Kaufman and P. J. Morrison. This bracket formalism provides both energy conservation and a non-decrease in entropy, and it reduces to the traditional Poisson bracket formalism in the limit of no dissipation. Parallel axiomatization of this model was performed by Grmela and Öttinger (called GENERIC method: General Equation for Non-Equilibrium Reversible and Irreversible Coupling).
There are three different types of dissipation: thermal diffusion with energy conservation and entropy production through heat transfer; viscosity, which takes energy from the system (e.g., Navier-Stokes equation); and transport equations with collision operators. These types of systems that adhere to both the first and second laws of thermodynamics are included in metriplectic dynamics. A new bracket in the metriplectic formalism provides the evolution equation {{., .}}: Hamiltonian components are introduced by requiring: The second bracket has two constraints: with the entropy S selected from the set of Casimir invariants of the noncanonical Poisson bracket, playing the role of a Lyapunov functional. A metriplectic vector field induced by F is given by the dynamics: compliant with two first principles of thermodynamics: By using entropy as the Casimir invariant function, thermal equilibrium is recovered. Finally, two compatible brackets-a Poisson bracket and a symmetric bracket-determine the geometry in metriplectic systems: The energy H is a Casimir invariant of the dissipative bracket, and the entropy S is a Casimir invariant of the Poisson bracket:

Canonical/Noncanonical Hamiltonian Structures and Poisson Bracket {., .}
The first part of a metriplectic vector field relative to the non-dissipative part is given by the Poisson bracket. Considering the Hamiltonian function H(q, p) depending on the canonical coordinates q and momenta p, with z = (q, p), Hamiltonian equations: can be rewritten in tensorial form with canonical Poisson matrix and bracket: The Poisson structure (tensor) needs not be nondegenerate. The only case where it is nondegenerate is the symplectic case, which we are considering here.
We note the symplectic 2-form ω = ∑ dp i ∧ dq i such that ω ik J kj = δ ij .
By change of coordinatesẑ =ẑ(z), the Poisson matrix J transforms as a contravariant 2-tensor:Ĵ IfĴ ij = J ij , the transformation is called a canonical transformation or symplectomorphism, and Hamilton's equations are preserved: The noncanonical generalization of the Hamiltonian form is given by: For a Poisson bracket, we should have the following properties: If det J NC = 0, then from the Darboux theorem there exists a coordinate change that at least locally brings J NC into the canonical form J: If det J NC = 0, there exist Casimir invariants C which are constants of motion for any Hamiltonian: The level sets of the Casimir invariants are the foliation of the phase space. An orbit initiated on the level sets of the initial Casimir invariants remains on these symplectic leaves.
If det J NC = 0, from the Lie-Darboux theorem, there is no coordinate transformation to canonical form; however, there is a transformation to the following degenerate canonical form: For finite-dimensional Lie-Poisson Hamiltonian systems, the Poisson matrix J is linear in the dynamical variable and has the form J ij = c k ij .z k , where the numbers c k ij are the structure constants of some Lie algebra.

Metric Flow Structures and Symmetric Bracket (., .)
A flow in metric space makes up the second component of a metriplectic vector field in relation to the dissipative component. The coordinate form of the metric flow on a finite-dimensional phase space manifold is as follows: where S is an entropy function. We should have the following properties for the metric: The symmetry requirement generalizes the Onsager symmetry of linear irreversible thermodynamics to nonlinear issues; however, in the traditional metriplectic model, the possibility of Casimir symmetry is not taken into account.
The double bracket, Cartan-Killing bracket and Casimir dissipation bracket are three dissipation brackets (., .) that have been presented in the literature for the metriplectic system in the Lie-Poisson framework. The Lie-Poisson bracket for two functions f and h in Lie-Poisson systems is provided by: Hamiltonian dynamics is given by: In coordinate realization, with a coordinate chart (z i ), the Poisson bivector is represented by a set of coefficient functions determining the Poisson bracket: For Lie-Poisson structure defined on the dual of a finite-dimensional Lie algebra, we can introduce structure constants with an N-dimensional Lie algebra admitting a basis {e 1 , . . . , e N }: e i , e j = c k ij e k (with summation convention over the repeated indices). The Lie-Poisson dynamics is given by:

Dissipation Bracket as Double Bracket
The double bracket is given by: with the metriplectic dynamics:

Dissipation bracket as Cartan-Killing Bracket
Given a basis {e 1 , . . . , e N } in an N-dimensional Lie algebra g, for any element X of g, we can decompose it by the structure constants of g, antisymmetric in their lower indices c k ij = −c k ji : x i e i with e i , e j = c k ij e k (82) and the linear operator: Taking the trace of the linear operator defines the Killing form, a symmetric bilinear form on vectors of the Lie algebra: j li x k y l = g kl x k y l with g ij = ∑ k,l c k il c l jk = tr ad e i ad e j K(ad Z X, Y) + K(X, ad Z Y) = 0 (84) and the Jacobi identity is deduced from the following relation on the structure constants: ∑ k c r ik c k jl + c r jk c k li + c r lk c k ij = 0 also deduced from [ad X , The tensor g ij can be used to lower the third label of c k ij by defining: c ijk = c l ij g kl = c l ij c m kr c r lm is completely antisymmetric due to K(X, ad Y Z) = K(Y, ad Z X) = K(Z, ad X Y) = c ijk x i y j z k = c jki y j z k x i = c kij z k x i y j Given a semisimple Lie algebra g, with an invertible Killing form, we define: C q , the quadratic Casimir operator, has a vanishing bracket with any e i and hence with any element of g: C q , e k = ∑ i,j g ij e i e j , e k = ∑ i,j g ij e i e j , e k + [e i , e k ]e j C q , e k = ∑ i,j,k g ij c k jl (e i e k + e k e i ) = ∑ i,j,k,r g ij g kr c jlr (e i e k + e k e i ) = 0 The term ∑ j,r g ij g kr c jlr is antisymmetric in i and k, while the term in parentheses is symmetric, and then the sum vanishes. For a simple Lie algebra, in its universal enveloping algebra, a quadratic expression in e that commutes with all the e's is proportional to the Casimir operator. The quadratic Casimir operator is then unique up to a factor.
If we come back to the Cartan-Killing metric g ij = ∑ k,l c k il c l jk = tr ad e i ad e j that defines a symmetric and bilinear covariant tensor, a symmetric bracket for functions in terms of the metric is then given by: with the metriplectic dynamics:

Dissipation bracket as Casimir Dissipation Bracket
Given a Casimir function S(z), for z ∈ g * , a positive symmetric bilinear form γ z and a real number θ > 0, the Lie-Poisson dynamical equation is modified to produce the Casimir dissipative Lie-Poisson equation: inducing the following dynamical equation: We can identify this model in the framework of metriplectic one by the following identification:

Hamilton Dissipation Bracket
Assuming a symmetric semi-positive definite bilinear operator ψ defined on a Lie algebra g, we fix a Casimir function S(z) of the Lie-Poisson bracket and introduce the following symmetric bracket on the dual space g * , for two functionals f and h, given by: The associated equation of motion is as follows:

The Metric Structure of the Symmetric Dissipative Metriplectic Bracket
For the Fokker-Planck equation in Hamiltonian systems, Naoki Sato [117,118] observed that g ij = J ik J jk appears in the form inside the dissipative bracket generating the diffusion operator. Then, he deduced that the Poisson operator is linked with the metriplectic dissipative bracket. In the case of dimension two, the covariant version of the tensor is given by a Euclidean metric tensor in the phase space coordinates (p, q): g = dp ⊗ dp + dq ⊗ dq (96)  to be compared with the canonical form of the symplectic 2-form associated with Hamiltonian mechanics: ω = dp ∧ dq = dp ⊗ dp − dq ⊗ dq (97) Sato observed that "the canonical form of the symmetric dissipative part of the metriplectic bracket is identified in terms of a 'canonical metric tensor' corresponding to an Euclidean metric tensor on the symplectic leaves foliated by the Casimir invariants".
A single generating function Φ = β, Q − S is useful to deploy the dynamics by the metriplectic bracket flow: Baptiste Coquinot has used fundamental equations of non-equilibrium thermodynamics describing systems close to thermal equilibrium and irreversible processes. Coquinot has considered σ, the entropy density and ζ α densities associated with conserved extensive properties with the thermodynamic identity:

Non-Equilibrium Thermodynamic Theory of Dissipative Brackets
All the densities are characterized by the following conservation equations: where ζ α could define a set of dynamical variables and J α an unknown flux associated with ζ α . Then, the following equation of motion describes the evolution of entropy: ∂σ ∂t where ∇X α is the affinity associated with the density ζ α and flux J α . The classical non-equilibrium thermodynamics model assumes a linear response close to the equilibrium: Onsager and Casimir have established contraints on tensor L = L αβ , and more especially, due to physics contraints, that L = L αβ should be symmetric and positivedefinite for entropy growth.
At this step, Baptiste Coquinot has established the dynamics generated with a bracket with respect to the tensor L = L αβ , proving a formal equivalence between the classical outof-equilibrium thermodynamics and metriplectic dynamical systems. Baptiste Coquinot has shown that the pseudometric nature of the usually empirical dissipative bracket could be deduced from the second law of thermodynamics and Onsager-Casimir relations.
Considering the phase space with the basis {ζ α } in which the entropy is geometrically constructed, Baptiste Coquinot has shown how L = L αβ is related to a bracket on the phase space by rewriting the evolution equations, at a space point x and time t. To establish this relation, Coquinot writes: Coquinot then deduces the equation on the dynamics of Entropy: Coquinot deduced that the dynamics of out-of-equilibrium thermodynamics on the phase space can be expressed with a symmetric bracket for any two functionals f and g: Coquinot then deduces the equation on the dynamics of Entropy: y t x y L y t y t d y Coquinot deduced that the dynamics of out-of-equilibrium thermodynamics on the phase space can be expressed with a symmetric bracket for any two functionals f and g : Coquinot has observed that this equation is a pure geometric object, independent of the basis     , where the functional derivatives can be seen as functional gradients, and Coquinot has observed that this equation is a pure geometric object, independent of the basis {ζ α }, where the functional derivatives can be seen as functional gradients, and both functional gradients are contracted thanks to the pseudometric L αβ and where the bracket is symmetric thanks to the Onsager-Casimir relations.
As previously, it has been demonstrated that: bracket could be deduced from the second law of thermodyn relations.
Considering the phase space with the basis     in wh cally constructed, Baptiste Coquinot has shown how LL   =  the phase space by rewriting the evolution equations, at a spa establish this relation, Coquinot writes: y t x y L y t y t d y Coquinot deduced that the dynamics of out-of-equilibri phase space can be expressed with a symmetric bracket for g : Coquinot has observed that this equation is a pure geom the basis     , where the functional derivatives can be seen (σ, S) Coquinot writes the evolution of any functional f as: At this step, Baptiste Coquinot has established the dynamics generated with a bracke with respect to the tensor LL   =  , proving a formal equivalence between the classica out-of-equilibrium thermodynamics and metriplectic dynamical systems. Baptiste Co quinot has shown that the pseudometric nature of the usually empirical dissipativ bracket could be deduced from the second law of thermodynamics and Onsager-Casim relations.
Considering the phase space with the basis     in which the entropy is geometr cally constructed, Baptiste Coquinot has shown how y t x y L y t y t d y x t S t L y t d y y t y t Coquinot deduced that the dynamics of out-of-equilibrium thermodynamics on th phase space can be expressed with a symmetric bracket for any two functionals f an g : Coquinot has observed that this equation is a pure geometric object, independent o the basis     , where the functional derivatives can be seen as functional gradients, an To include the first law of thermodynamics, Coquinot proposes ε as a basic variable in the thermodynamic framework ( ∂H ∂ε is then unity and the other elements of the basis are independent of ε) and obtains, for any functional f , the following: By construction, the non-equilibrium thermodynamics preserves Ω ζ α for any α, and ε is chosen as one of the ζ α values, and the dissipative bracket formulates the first law of thermodynamics. With bilinearity, symmetry and degeneracy properties, a metriplectic dynamical system results from coupling such a bracket with the accompanying noncanonical Poisson bracket.
The following is a quote from Baptiste Coquinot: "Our construction above shows that the dissipative brackets are entirely natural for non-equilibrium thermodynamics, just as the Poisson brackets are natural for Hamiltonian dynamics. Above, we explicitly deduced a generic dissipative bracket from fundamental thermodynamic first principles, presumably for the first time. This general bracket includes non-equilibrium thermodynamic theories that resemble fluids, such as those initially proposed by Morrison and later by others (Grmela & Öttinger, Edwards, Materassi & Tassi)". This Coquinot development provides a non-equilibrium thermodynamics point of view to found dissipative bracket theory. It does so by first taking into account variables for building the bracket of the metriplectic flow and then by proposing a methodical approach to derive brackets for dissipation. The Onsager-Casimir reciprocity relations describe time-reversal invariance at the microscopic scale for the relaxation of quantities at the macroscopic scale close to thermodynamic equilibrium in the linear regime and link time reversibility at the microscopic scale with a symmetry property of corresponding evolution equations at the macroscopic scale. Through this equivalence, Baptiste Coquinot establishes a formal equivalence between a metriplectic dynamical systems subclass and classical out-of-equilibrium thermodynamics, demonstrating that the dissipative bracket pseudometric nature, which is typically a hypothesis, is the exact transcription of the second principle of thermodynamics and Onsager-Casimir relations. By deriving a generic dissipative bracket from fundamental thermodynamic first principles, Coquinot's design demonstrates that brackets for dissipation are canonical for non-equilibrium thermodynamics, just as Hamiltonian dynamics Poisson brackets are canonical. According to Baptiste Coquinot, entropy, a Casimir invariant, plays a similar role to the Hamiltonian in analytical mechanics. The pseudometric's non-negativity assures that entropy continues to increase in accordance with the second law of thermodynamics. According to Baptiste Coquinot, the natural variables that make up the basis of the phase space are different from one another from both a Hamiltonian and a thermodynamic standpoint, but one can change the variables by using the thermodynamic identity to obtain a bracket in any full set of phase space variables. The first law of thermodynamics is well formulated in the Coquinot dissipative bracket, with respect to all the characteristics. The linkage of such a bracket with the corresponding noncanonical Poisson bracket was first noticed by Baptiste Coquinot.

Dirac's Theory of Constrained Hamiltonian Systems: Dissipative Bracket
For Lagrangian systems with degenerate Lagrangians, Paul Dirac introduced the generalized Hamiltonian dynamics in 1950. For the Dirac model, the system phase space is endowed with two Poisson brackets: the Poisson bracket of the standard case deduced from its symplectic structure, and the Dirac bracket.
The Dirac restricted bracket could be used to infer the transverse Poisson structure. Using Dirac's constraint bracket formula, Oh [119] defined the requirements in 1986 for the transverse Poisson structure to a coadjoint orbit to be at most quadratic. Let (M, {, }) be a Poisson manifold, x a point in M, ℘ be the symplectic leaf through x, N be a transverse submanifold to ℘ at x, U be the neighborhood of x and y ∈ U. Consider functions ψ 1 , . . . , ψ 2n such that N = {y ∈ U/ψ 1 (y) = 0, . . . , ψ 2n (y) = 0} and denote by C the nonsingular matrix such that C ij (y) = ψ i , ψ j (y). Then the transverse Poisson structure to ℘ is given by: where f , h ∈ C ∞ (N) and f , h are arbitrary extensions to U of f , h. Dirac proved the Jacobi identity for this bracket, relying heavily on the invertibility of C, and as a consequence of the constraints are Casimir invariants, {ψ i , h} N = 0 , ∀h.
Michel Saint-Germain used natural identifications typical of the Lie-Poisson scenario to derive from Dirac's constraint bracket formula, a formula for computing the transverse Poisson structure for a coadjoint orbit. Damianou then hypothesized that the transverse Poisson structure to any coadjoint orbit is polynomial for a semisimple Lie algebra. Cushman and Roberts' research has then demonstrated this conjecture.
Cristel Chandre has more recently examined Dirac's theory of constrained Hamiltonian systems, demonstrating that the identity of Jacobi arises from the constraints considered as Casimir invariants, for any reversibility of the Poisson bracket matrix. The validity of the identity given by Jacobi is guaranteed throughout phase space, not simply on the surface bounded by the restrictions, according to Cristel Chandre's demonstration.
Cristel Chandre has considered a finite-dimensional Hamiltonian system with variables z = (z 1 , . . . , z n ), given by a Hamiltonian H(z), and a Poisson bracket: J(z), the Poisson matrix, is associated with a bracket that is antisymmetric with the Jacobi identity in addition to the Leibnitz rule and the bilinearity, ensured by the bracket form. m < n − 2 constraints are imposed from the variable z; ψ i (z) = 0 for i = 1, . . . , m. Dirac brackets given by an antisymmetric matrix D are not in the general Poisson bracket and the inverse of C. The matrix associated with the Dirac bracket is given by: where the matrix K has elements K li = ∂ψ l ∂z i . The matrix D is defined with the property that the constraints are Casimir invariants, leading to the following condition for D: In this way, it has been demonstrated how Jacobi identity can be attained.

Transverse Poisson Structure for Dissipative Heat Equation Introduced by Herve Sabourin
By restricting consideration to the case of nilpotent orbits, Hervé Sabourin has examined the coadjoint orbit transverse Poisson structure in a complex Lie algebra, considered as semisimple. Hervé Sabourin demonstrated that a determinantal formula based on Chevalley's restriction of the invariants on the slice may adequately characterize the transverse Poisson structure for nilpotent orbits with a subregular property. The transverse Poisson structure is transformed into a three-dimensional Poisson bracket based on the Slodowy slice model.
When M is the dual Lie algebra g * of a complex Lie algebra g, it is equipped with Lie-Poisson structure in standard form. The Killing form ., . of g identifies g with its dual g * , and a Poisson structure on g is given for functions f and g on g at x ∈ g by where d f (x) and dg(x) are elements of g ∼ = g * ∼ = T * x g. By means of the ad-invariant Killing form, the adjoint orbits G.x of G are identified with the coadjoint orbits G.µ, by the isomorphism g ∼ = g * . The symplectic leaf through µ ∈ g * is the coadjoint orbit G.µ of the adjoint Lie group G of g.
A transverse slice to G.x is given by choosing any complement n to the centralizer g(x) = {y ∈ g/[x, y] = 0} of x in g and by taking N as the affine subspace x + n ⊥ of g * , where ⊥ is the orthogonal complement with respect to the Killing form. Using the property that g(x) ⊥ = ad * g x, we have the following decomposition: T x (g * ) = T x (G.x) ⊕ T x (N), where N is a transverse slice to G.x at x. Sabourin has given an explicit formula for the Poisson structure {., .} N transverse to G.x. Let (Z 1 , · · · , Z k ) be a basis for g(x), and let (X 1 , · · · , X 2r ) be a basis for n, where 2r = dim(G.x) is the rank of the Poisson structure at x. These bases lead to linear coordinates q 1 , · · · , q k+2r on g, centered at x, defined by q i (y) = y − x, Z i for i = 1, · · · , k with dq i (y) = Z i , and q k+i (y) = y − x, X i for i = 1, · · · , 2r with dq k+i (y) = X i . The Poisson matrix {., .} at y ∈ g is given by: C(x) is a skew-symmetric invertible matrix, and so C(y) is invertible for y in a neighborhood of x in g, and hence for y in a neighborhood V of x in N. Then, the Poisson matrix of {., .} N at n ∈ V in the coordinates q 1 , · · · , q k (restricted to V) is given by Dirac reduction: For the case of semisimple Lie algebra, Sabourin has used the Jordan-Chevalley decomposition theorem, where x could be decomposed in x = s + e, where s is semisimple, e is nilpotent and [s, e] = 0, with following relation between centralizers: g(x) = g(s) ∩ g(e). We have the vector space decomposition g = g(s) ⊕ n s where n s = g(s) ⊥ , and n s is g(s) invariant such that [g(s), n s ] ⊂ n s (observing that g(s), [g(s), n s ] = [g(s), g(s)], n s ⊂ g(s), n s = {0}). Sabourin has then considered the following decomposition g = g(x) ⊕ n e ⊕ n s where n e is any complement of g(x) in g(s). Then taking n = n e ⊕ n s , Sabourin has denoted N x = x + n ⊥ and has proved that if n ∈ N x , such that n = g(s), then n, [g(s), n s ] ⊂ g(s), n s = {0} and in particular n, [g(x), n s ] = {0} and n, [n e , n s ] = {0}. Considering the basis vectors X 1 , · · · , X 2r of n such that X 1 , · · · , X 2p ∈ n e and X 2p+1 , · · · , X 2r ∈ n s and as n, [g(x), n s ] = {0} and n, [n e , n s ] = {0}, then the Poisson matrix takes at n ∈ N x the form: Sabourin has deduced from it that the Poisson matrix of the transverse Poisson structure on N x is given by: Sabourin has also proved that: yielding formally the same formula, except that it is evaluated at points n of N rather than at points of N x , and providing the following proposition: Sabourin Proposition: Let x ∈ g be any element, G.x its adjoint orbit, and x = s + e its Jordan-Chevalley decomposition. Given any complement n e of g(x) in g(s) and putting n = n s ⊕ n e , where n s = g(s) ⊥ , the parallel affine spaces N x = x + n ⊥ and N = e + n ⊥ are respectively transverse slices to the adjoint orbit G.x in g and to the nilpotent orbit G(s).e in g(s). The Poisson structure on both transverse slices has the same Poisson matrix, namely that of (*), in the same affine coordinates restricted to the corresponding transverse slice.
In short, given by Sabourin, the transverse Poisson structure to any adjoint orbit G.x of a semisimple (or reductive) Lie algebra g is essentially determined by the transverse Poisson structure of the underlying nilpotent orbit G(s).e defined by the Jordan-Chevalley decomposition x = s + e. Sabourin has also proved that the transverse Poisson structure on N = e + n ⊥ is a polynomial Poisson structure that is quasihomogeneous of degree −2.
More explicitly, Sabourin has explicitly described the subregular orbit adjoint transverse Poisson structure O sr ⊂ g, where g is a semisimple Lie algebra. The generic rank of the transverse slice N adjoint transverse Poisson structure is two, and dim(N) − 2 independent Casimirs are known; Sabourin has derived that the adjoint transverse Poisson structure is the determinantal structure determined by these Casimirs, up to multiplication by a constant, based on the theory of simple singularities introduced by Brieskorn and Slodowy slice model.
The following result is given by Sabourin on invariant functions and Casimirs. Let O sr = G.e be a subregular orbit in the semisimple Lie algebra g. Let (h, e, f ) be the corresponding canonical sl2-triple, and consider the transverse slice N = e + n ⊥ to G.e, where n is an ad h -invariant complement to g(e). Let S(g * ) G be the algebra of ad-invariant polynomial functions on g, then S(g * ) G is a polynomial algebra generated by l homogeneous polynomials (G 1 , · · · , G l ) deduced from a classical theorem due to Chevalley. These functions are Casimirs of the Lie-Poisson structure on g, since ad-invariance of G i implies that [x, dG i (x)] = 0, and hence the Lie-Poisson bracket is: Sabourin has observed that if we denote by χ i the restriction of G i to the transverse slice N, then it follows that these functions are Casimirs of the adjoint transverse Poisson structure.
In the Lie-Poisson case, M. Saint-Germain has proved in his PhD the rationality of the transverse Poisson structure. This result has been completed by P. Damianou for coadjoint orbits in a semisimple Lie algebra, and by Hervé Sabourin in 2005.
Via the Jordan-Chevalley decomposition of x ∈ g, Hervé Sabourin has studied the transverse Poisson structure to any adjoint orbit G.x and has proved that it can be reduced to the case of an adjoint nilpotent orbit.
As the transverse structure to the regular nilpotent orbit O reg of g is always trivial, Hervé Sabourin has considered the case of the subregular nilpotent orbit O sr of g with dimension of O sr two less than the dimension of the regular orbit, so that the transverse Poisson structure has rank 2. Sabourin has proved that we could replace, for the transverse Poisson structure, the complicated Dirac constraints with a simple determinantal formula: where χ 1 , . . . , χ l are independent polynomial Casimir functions with χ i the restriction of the i-th Chevalley invariant G i to the slice N, and q 1 , . . . , q l+2 are linear coordinates on N. Sabourin has proved the following theorem: where F is the polynomial F(u 1 , . . . , u l−1 , q l , q l+1 , q l+2 ) with u 1 , . . . , u l−1 being the deformation parameters, given by Casimir for the Poisson structure on N, of simple singularity of the singular surface N ∩ ℵ, where ℵ is the nilpotent cone of g.

tem and the GENERIC (General Equation of Non-Equilibrium Reversible and Irreversible
Coupling) model, which was developed by Grmela and Öttinger, we will use the study performed by Markus Mittnenzweig and Alexander Mielke. They have expressed the dissipative portion of the Lindblad operator as a gradient of relative entropy, demonstrating how the maximum entropy principle can lead to equilibria. As noted by H.C. Öttinger, after formulating the thermodynamically consistent nonlinear master equation, one can search for unique circumstances in which precise or approximative linear master equations can be generated. H. Graber has conducted this, and he has come to the conclusion that the master equations that result are not of the well-known Lindblad form. The thermodynamic quantum master equation's nonlinearity is its most notable characteristic. The linear Liouville and Schrödinger equations, which describe reversible classical and quantum systems, as well as the Fokker-Planck equations, which describe irreversible classical systems, are fundamentally different from this. The nonlinearity is brought on by the interaction of quantum mechanics and irreversible thermodynamics. Even the harmonic oscillator's master equation exhibits severe nonlinearity. The wellknown master equations of the Lindblad type ignore this underlying nonlinearity. The thermodynamic master equations' solutions, like those for the linear Lindblad equations, always remain in the physical domain, which is known to be a subtle problem for nonlinear equations. H.C. Öttinger's work demonstrates how nonlinearity can be handled for the two-level system. Since noncommutativity results in quantum nonlinearity, Öttinger's master equation cannot be of the standard Lindblad type. The symmetric anticommutator provides the most natural linearization of the GENERIC master equation. Linearizations, however, ruin the thermodynamic structure and are hence not advised. The linearized equation is then of the Lindblad form, where the Hamiltonian must be redefined and a Lindblad operator with real and imaginary parts introduced. The thermodynamic arguments prove that the quantum master equation should be extremely nonlinear. The thermodynamic structure leads to a clear formulation of a nonlinear quantum master equation. The linearized GENERIC quantum master equation developed by H.C. Öttinger is generated following approximation in the second term that is used to reconstruct the standard Lindblad master equation. The validity range is lowered by the thermodynamic nonlinearity, which naturally results in canonical equilibrium solutions.
The dissipative evolution equation of quantum systems governed by Hamiltonian and dissipative effects is given on the density matrix ρ = ρ * ≥ 0: The entropy production is convex and positive, and H. Spohn has demonstrated that it is a gauge of the semigroup's dissipativity. Additionally, he has noted that the relative entropy decays along solutions and is a Liapunov function: generating Poisson Bracket with J(ρ) = −J(ρ) * K(ρ) = K(ρ) * and ξ, K(ρ)ξ ≥ 0 purely dissipative DF(ρ), v = Lim The evolution of the quantum mechanical system can be coupled to more macroscopic dissipative components z and thus with the total state q = (ρ, z). They have considered the GENERIC model for isothermal systems with fixed temperature T * > 0, with the free energy F(q) = E(q) − T * S(q). The associated structure is the following damped Hamiltonian system: ∂q ∂t = (J(q) − β * K(q))DF(q) where J(q)DS(q) = 0 and K(q)DE(q) = 0 with β * = 1 T * , E(ρ, z) = Tr(ρH) + E(z) , S(ρ, z) = −k B Tr(ρ log ρ) + S(z) They proved that equilibria can be obtained by the maximum entropy principle. For the Poisson structure, the variable z is totally dissipative, which means that J(q) has a block structure in the following form: The dissipation operator is defined in terms of the dissipation potential, which is quadratic in the driving forces: DS(ρ, z) = D ρ S(ρ) D z S(ρ, z) = −k B log ρ D z S(z) and DE(ρ, z) = H D z E(z) The above assumptions guarantee a GENERIC system with the evolution equations given by the coupled system: Öttinger and Mielke argued that the dissipative superoperators C m should be given by the canonical correlation operator ℵ ρ (symmetric and positive semidefinite), which associates with the density matrix: The operator ℵ ρ is invertible.
The operator ℘ ρ A defines the Bogoliubov-Kubo-Mori metric on the set of density matrices. There exists a connection to the von Neumann entropy because ℘ ρ A can be identified by its Hessian up to the factor −k B : A, D 2 S(ρ) = −k B A, ℘ ρ B Kubo proved the following identity: that has been reused by Mielke to establish the relation between the von Neumann entropy and the canonical correlation operator.
We find the analogy with the classical Lindblad equation:

Synthesis
In this paper, we present a new Souriau Lie group thermodynamics as a symplectic foliation model of heat and information geometry. With the discovery of the "moment map," Jean-Marie Souriau made a significant contribution to the calculus of variations, as illustrated in Figure 5, by introducing symplectic structures and geometrizing Noether's theorem. Jean-Marie Souriau is regarded as a pioneer in the geometrization of the calculus of variations based on Lie groups and symmetries. He suggested a covariant model for thermodynamics and provided new geometric definitions of heat and Planck temperature from an ontological perspective.
Based on a symplectic model for statistical mechanics known as "Lie group thermodynamics," proposed by Jean-Marie Souriau, we have developed the foliation geometry of thermodynamics. Entropy is an invariant Casimir function in coadjoint representation. Symplectic leaves, level sets of entropy, describe non-dissipative dynamics. On the other hand, symplectic leaves are described transversely for dissipative dynamics. The Koszul-Fisher metric extended by Jean-Marie Souriau on symplectic manifolds (as coadjoint orbit) with a moment map is the metric that is taken into consideration at this point. We could assume that transverse structures are related to Riemannian foliation given by the Koszul-Fisher metric.
In this model, geometric heat is a component of the dual Lie algebra, and geometric (Planck) temperature is a component of the Lie algebra of the group operating on the system. We have the characteristics that the Gibbs density is covariant and that the entropy and Koszul-Fisher-Souriau metric are invariants under the action of the group. Souriau addressed the general case of non-null cohomology in which a symplectic cocycle known as the Souriau cocycle emerges and the coadjoint operator is not equivariant (but "affine" equivariant).
foliation model of heat and information geometry. With the discovery of the "moment map," Jean-Marie Souriau made a significant contribution to the calculus of variations, as illustrated in Figure 5, by introducing symplectic structures and geometrizing Noether's theorem. Jean-Marie Souriau is regarded as a pioneer in the geometrization of the calculus of variations based on Lie groups and symmetries. He suggested a covariant model for thermodynamics and provided new geometric definitions of heat and Planck temperature from an ontological perspective. Based on a symplectic model for statistical mechanics known as "Lie group thermodynamics," proposed by Jean-Marie Souriau, we have developed the foliation geometry The "transverse Poisson structure" connected to the Slodowy slice and Sabourin transverse structure describes the geometry of dissipative dynamics. Onsager-Casimir relations and the metriplectic and GENERIC models are addressed by Baptiste Coquinot. The Coquinot dissipative bracket is connected to the Onsager tensor, while the Poisson bracket represents non-dissipative dynamics (I have underlined also a link of the Onsager tensor with the Koszul-Fisher-Souriau tensor).
Because we just need to understand the Lie group acting on the thermodynamic system, this model is entirely intrinsic. We use it to describe dissipative quantum systems with a relation to the Dirac bracket in the Lindblad equation.
These brand-new symplectic thermodynamic structures provide the way for new exploration in four crucial application domains, as illustrated in Figure 6:  Funding: This research received no external funding.

Institutional Review Board Statement:
The study was conducted in accordance with the Declaration of Helsinki, and approved by Thales.