Lie algebras with compatible scalar products for non-homogeneous Hamiltonian operators

Emanuele Sgroi; Francesco Oliveri; Giorgio Gubbiotti; Pierandrea Vergallo

REVIEW 3 major objections 5 minor 57 references

Lie algebras with compatible scalar products for non-homogeneous Hamiltonian operators

T0 review · 3 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read In Darboux coordinates, a non-degenerate hydrodynamic-type operator is Hamiltonian exactly when it encodes a real Lie algebra, a compatible scalar product, and a 2-cocycle.

desk verdict The Lie-algebra correspondence and the low-dimensional catalog are worth your time, but the paper's completeness claim for n=6 is asserted rather than proved. read the letter →

arxiv 2502.05137 v1 pith:2IDSY5NM submitted 2025-02-07 math-ph math.MPmath.RA

Giorgio Gubbiotti , Francesco Oliveri , Emanuele Sgroi , Pierandrea Vergallo This is my paper · ORCID

classification math-phmath.MPmath.RA MSC 37K1017B8053D1717B05

keywords non-homogeneousHamiltonianoperatorshydrodynamictypeDarbouxcoordinatesquadraticCasimirLiealgebras2-cocyclesbi-HamiltonianpencilsKdVequation

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper aims to show that a non-homogeneous Hamiltonian operator of hydrodynamic type, made of a first-order term plus a zeroth-order term with non-degenerate first-order part, is fully determined by algebraic data once Darboux coordinates are chosen: a real Lie algebra, a non-degenerate quadratic Casimir (equivalently a compatible scalar product), and a 2-cocycle. This converts the Hamiltonian property from differential identities into linear algebra on structure constants and gives a dictionary between operators and Lie algebras. The payoff is a complete list, for up to six field components, of all such non-degenerate operators, drawn from the classification of real Lie algebras. The same language identifies the KdV operator in its quasilinear form as the sl(2,R) example and yields algebraic compatibility conditions for bi-Hamiltonian pencils.

What carries the argument

The machinery is the Darboux-form reduction (Corollary 2.3): in coordinates where the leading term is constant $\eta\,\partial_x$, the Hamiltonian conditions collapse to requirements that $\omega$ be linear in the fields with coefficients $c^{ij}_k$ forming a Lie algebra, that $f^{ij}$ be a 2-cocycle, and that $\eta$ satisfy $\eta^{is}c^{jk}_s + \eta^{js}c^{ik}_s = 0$, the compatibility condition. Theorem 2.11 is the load-bearing identity: a compatible scalar product $\eta$ is the inverse of the matrix of a non-degenerate quadratic Casimir element in the universal enveloping algebra. This transfers the classification of operators to the classification of Lie algebras admitting non-degenerate quadratic Casimirs, and the paper applies that transfer to real Lie algebras up to dimension six.

What would settle it

For each real Lie algebra of dimension 4, 5, and 6 in the classification cited as [49] that is absent from Table 1, solve the linear system $\eta^{is}c^{jk}_s + \eta^{js}c^{ik}_s = 0$ for a symmetric matrix $\eta$. Any excluded algebra with a non-degenerate solution would give a Hamiltonian operator missing from the table and refute the completeness claim.

Watch

Extended reading notes

Core claim

The central discovery is a bijective correspondence: for $A = \eta\,\partial_x + \omega$ with constant non-degenerate $\eta$, the operator is Hamiltonian if and only if $\omega$ is linear in the fields, $\omega^{ij} = c^{ij}_k u^k + f^{ij}$, where $c^{ij}_k$ are the structure constants of a real Lie algebra, $f$ is a 2-cocycle, and $\eta$ is the compatible scalar product. Theorem 2.11 completes the picture by showing that compatible scalar products are exactly the inverses of non-degenerate quadratic Casimir matrices, so the operator is encoded by the triple (Lie algebra, quadratic Casimir, 2-cocycle). Using the classification of real Lie algebras up to dimension six, the paper lists all such operators in Table 1; the KdV operator (4.8a) appears as the sl(2,R) case A3,2 with zero 2-cocycle.

Load-bearing premise

The catalog's completeness assumes that every real Lie algebra of dimension 3 to 6 not listed in Table 1 has only degenerate quadratic Casimirs; the paper states this completeness without displaying the verification.

Editorial extensions

If this is right

For up to six field components, every non-degenerate 1+0 hydrodynamic-type Hamiltonian operator appears in Table 1 up to linear changes of variables.
The KdV equation written as a quasilinear system has its first Hamiltonian structure identified with the sl(2,R) operator A3,2, placing the KdV example inside the general framework.
Two Darboux-form operators form a Hamiltonian pencil exactly when the three algebraic conditions (5.3a)–(5.3c) hold, so compatibility can be checked by solving linear systems.
Infinite families of such operators exist beyond the table, built from abelian, semi-simple, direct-sum, and two-step nilpotent Lie algebras.
As a direct corollary, such operators admit only linear Casimir functionals and never a non-degenerate quadratic Casimir functional.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The completeness of Table 1 rests on an exclusion check the paper does not display: every real Lie algebra of dimension 3 to 6 outside the table would have to be shown to have only degenerate quadratic Casimirs, and a direct computation over the cited classification list would settle this.
The same dictionary suggests a route to higher dimensions: take any classified Lie algebra, compute its non-degenerate quadratic Casimir space, and each such algebra immediately yields a non-homogeneous Hamiltonian operator.
The bi-Hamiltonian conditions of Section 5 invite a systematic search: pair a non-degenerate operator from Table 1 with a second Darboux-form operator, possibly degenerate, satisfying (5.3a)–(5.3c), and any solution is a candidate integrable system.
Because the paper fixes no convention for reducing 2-cocycles by Lie algebra automorphisms, the tables should be read as parametrized families rather than equivalence classes of operators under the full symmetry group.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: read it for the correspondence between non-homogeneous 1+0 Hamiltonian operators in Darboux form and triples (g, eta, f), and for the low-dimensional catalog. Don't take the "all possible cases" claim on faith.

The main structural result is sound and properly attributed. Corollary 2.3 is Mokhov's, and Theorem 2.11 cleanly proves the bijection between non-degenerate quadratic Casimirs and compatible scalar products. The paper then does real constructive work: the direct-sum cocycle decomposition, the two-step nilpotent lifting, and the explicit operators for sl(2,R), so(3,R), so(4,R), s4,6, n5,2, n6,1, and the solvable s6,162–s6,167. The KdV example, with operator A recognized as the sl(2,R) case, is a nice touch and correctly framed.

Now the soft spots, in proportion.

First, Remark 2.14 is false as stated. A linear Casimir with all coefficients nonzero does not force the algebra to be abelian; for example, [e1,e2]=e1, [e1,e3]=-e1, [e2,e3]=e1 has central element e1+e2+e3. This does not damage the main theorems, but it needs correcting.

Second, and more important, the Section 4 claim that the table gives all possible non-degenerate operators up to n=6 rests on an exclusion computation that is never shown. The paper solves Eq. (2.18) for the algebras it lists, but it does not display the verification for the excluded solvable and nilpotent classes in dimensions 4–6. In dimension 6, only six of the roughly 160 solvable classes appear; without a check that the rest admit only degenerate quadratic Casimirs, the completeness claim is an assertion, not a demonstrated result. The framework proves a bijection, not which algebras satisfy the non-degeneracy condition. The authors honestly note that they are not reducing 2-cocycles by automorphisms, which is fine, but that does not cover the missing exclusion step.

Third, the long formulas have not been independently checked and it shows: Table 1 labels A6,18 as sl(3,R) semidirect R^3 while Appendix B writes sl(2,R) semidirect R^3, and the A6,4 cocycle matrix has stray entries. These are minor and addressable, but they reinforce that the catalog needs a careful pass.

Who is this for? People working on Hamiltonian operators of hydrodynamic type, Poisson geometry of loop spaces, and bi-Hamiltonian structures. The organizing principle is useful and the catalog is a valuable reference once the completeness question is settled. I would send it to a serious referee; the flaws are reparable. Ask for the remark to be fixed and for either a proof of the exclusion claim or a softened completeness statement.

Referee Report

3 major / 5 minor

Summary. The paper studies non-homogeneous Hamiltonian operators of hydrodynamic type A = g ∂_x + ω with non-degenerate leading coefficient, working in Darboux coordinates. It recalls and uses Mokhov's theorem that such an operator is Hamiltonian precisely when ω^{ij} = c^{ij}_k u^k + f^{ij}, where c^{ij}_k are structure constants of a real Lie algebra, f is a 2-cocycle, and g is a compatible scalar product. The authors prove a bijective correspondence between non-degenerate compatible scalar products and non-degenerate quadratic Casimir polynomials, construct explicit operators for abelian, semi-simple, direct-sum, and two-step nilpotent Lie algebras, and present a catalog for dimensions n ≤ 6 in Table 1 with explicit matrices in Appendix B. The paper also discusses the KdV equation as a bi-Hamiltonian example and derives compatibility conditions for pairs of operators of this type.

Significance. If the completeness claim of Section 4 can be substantiated, the paper provides a useful bridge between the classification of real Lie algebras and Hamiltonian operators of hydrodynamic type, and the explicit low-dimensional catalog would be a convenient reference. The algebraic reformulation is clean, the constructive constructions for semi-simple and direct-sum algebras are valuable, and the KdV example illustrates the relevance to integrable systems. The paper is honest about not reducing 2-cocycles under automorphisms. However, the central completeness statement is currently unsupported, and there are internal inconsistencies in the table and in Remark 2.14.

major comments (3)

[Section 4, Table 1] The claim that the table gives 'all the possible cases' is not demonstrated. To prove completeness one must show that every real Lie algebra of dimension 2 ≤ n ≤ 6 that is not listed in Table 1 has no non-degenerate solution of Eq. (2.18), equivalently no non-degenerate compatible scalar product by Theorem 2.11. The paper only constructs operators for algebras that do admit such a Casimir and cites the Snobl–Winternitz classification for the raw list, but it never displays the exclusion computation. For n = 6 this is a serious gap: among the solvable algebras only s6,162–s6,167 are admitted, and the remaining solvable classes in [49] are not analyzed. A missed algebra with a non-degenerate quadratic Casimir would generate an operator absent from the table. Please add the computation, or an invariant criterion such as a rank/determinant analysis of Eq. (2.18), for every excluded isomorphism class.
[Section 2.3, Theorem 2.13 and Remark 2.14] Remark 2.14 is false as stated. From Eq. (2.23), a linear Casimir C = a_i u^i of the linear Poisson tensor requires c^{ij}_k a_j = 0, which means the element a_j e_j is central in g. This does not imply that each coordinate function u^i lies in Z(g), nor does it imply that g is abelian when all a_i are nonzero: a central element can be a generic linear combination with all coordinates nonzero in a suitable basis of a non-abelian algebra (for example, Heisenberg plus a one-dimensional center, after a change of basis). Similarly, the phrase in Theorem 2.13 that Casimir functions are 'linear combination of elements in Z(g)' should be rephrased: the coefficient vector defines a central element, not the coordinate functions themselves. This error does not affect the main catalog, but it is a genuine mathematical mistake in a stated result and should be corrected.
[Table 1 vs Appendix B, entry A6,18] The entry A6,18 in Table 1 is labeled sl(3,R) ⋉ 3n1,1 (Levi decomposable), but the operator displayed in Appendix B is 6-dimensional and its linear part has the so(3,R) bracket in the first three components with a rotational action on the last three components. Since sl(3,R) has dimension 8, the label cannot correspond to the displayed 6×6 operator; the operator appears to be the Euclidean algebra so(3,R) ⋉ R^3. Please correct either the label or the operator and ensure that Table 1 and Appendix B are mutually consistent, as this is an internal inconsistency in the central catalog.

minor comments (5)

[Appendix B, A6,4] The cocycle matrix for A6,4 contains stray entries '2 − f23' and '2 − f45'; these should presumably read '−f23' and '−f45'. Similar formatting errors appear in A6,12, where entries such as '+u2 + u3 + f26' and 'f25' are displayed with unclear signs.
[Section 3.3, Eq. (3.45)] The first term of the so(4,R) operator is typeset as a column vector with entries a1,a1,a1,a2,a2,a2 rather than as a 6×6 matrix; it should be diag(a1,a1,a1,a2,a2,a2).
[Section 3.3, Theorem 3.7] The condition 'Z(g1) = ∅' should read 'Z(g1) = {0}' or 'Z(g1) is trivial', since the center of a Lie algebra always contains zero.
[Section 4, introductory paragraph] The text first says that 'our results give all the possible cases' but then immediately states that the construction is not a proper classification of operators because 2-cocycles are not reduced under automorphisms. Please clarify explicitly that completeness is claimed only up to Lie algebra isomorphism and without automorphism reduction of the cocycle parameters, so that the claims is unambiguous.
[Throughout Section 4 and Appendix B] Several matrices contain small typographical inconsistencies, such as missing signs or misplaced plus signs in the A6,12 operator. A careful proofread of the explicit matrices in the appendices is needed.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: central derivation is anchored to external theorem and classification; the completeness gap is an unshown exclusion check, not a definitional or self-citation loop.

full rationale

The paper's derivation chain is not circular. Corollary 2.3, the Darboux-form characterization of non-homogeneous Hamiltonian operators, is quoted from Mokhov's external theorem [33], and Theorem 2.11 is proven in the text from the standard quadratic-Casimir equations (2.18) by explicit contraction with the inverse matrix; no step defines eta as the quantity it is supposed to predict. The low-dimensional catalog in Section 4 invokes the external Snobl-Winternitz classification [49] and constructs operators from the proven correspondence, so the resulting operators are not fitted inputs. The completeness claim ('our results give all the possible cases') does rely on an unshown exclusion computation — verifying that all real Lie algebras of dimension 2-6 outside Table 1 have only degenerate quadratic Casimirs — but that is a correctness/completeness gap, not circularity, because the missing check is independent of the correspondence theorem and could in principle falsify the catalog. The KdV bi-Hamiltonian example is imported as motivation from Mokhov [33] and verified via Proposition 4.1, and the self-citations to [8], [55], and [20] are contextual statements about prior work, not load-bearing premises of the main theorem. There is no fitted parameter renamed as a prediction, no ansatz smuggled in through self-citation, and no uniqueness theorem imported from the present authors. Consequently no circular step can be quoted from the text.

Assumptions & free parameters 4 free parameters · 6 assumptions · 0 invented entities

The framework rests on Mokhov's Darboux-form characterization (external) and the Snobl-Winternitz classification; the free parameters are genuine degrees of freedom of the operator families (scales of the leading metric, components of the compatible scalar product, and 2-cocycle parameters), not fudge factors. No invented entities are introduced.

free parameters (4)

overall Killing-factor scale a or alpha = arbitrary real
In each semisimple example the leading metric is a scalar multiple of the (inverse) Killing form; the scale is a free parameter of the operator family, not fitted.
compatible scalar product coefficients g_ij = arbitrary within linear constraints
The classification parametrizes the space of compatible scalar products via the quadratic Casimirs; these coefficients are degrees of freedom, honestly presented as such.
2-cocycle coefficients f^ij = arbitrary within the cocycle linear system
Each catalog entry carries the full space of 2-cocycles (arbitrary skew matrices for sl(2,R), 6 parameters for so(4,R), 3 for s4,6); they are not used to fit anything.
parameter a with 0 < |a| <= 1 = range given
Classification parameter inherited from the s6,162-164 solvable Lie algebra families (Appendix B); presented with its allowed range.

assumptions (6)

domain assumption Corollary 2.3 (Mokhov): in Darboux form A = eta dx + omega is Hamiltonian iff omega is linear in u with Lie structure constants, f a 2-cocycle, eta compatible
Foundational result taken from refs [33,34]; all subsequent examples rest on it. Standard external theorem, not re-derived.
domain assumption Theorems 1.1 and 2.1 (Mokhov-Ferapontov): Hamiltonianity of A1 + A0 reduces to A1 being Dubrovin-Novikov and A0 a Killing-Yano Poisson tensor
Used to justify the Darboux reduction; cited, not proved.
standard math The Killing form is the unique symmetric invariant bilinear form of a semisimple Lie algebra
Used in Theorem 3.3 and all semisimple examples (Theorem 5.53 of Kirillov [25]).
standard math Whitehead's lemma: H^2(g) = 0 for semisimple g, so every 2-cocycle is the differential of a 1-form
Used in Remark 3.5 to generate cocycles for sl, so, and exceptional examples.
domain assumption Completeness of the Snobl-Winternitz classification of real Lie algebras up to dimension 6
The catalog in Section 4 is complete only if this external classification is complete and correctly applied; the excluded-algebra verification is not shown in the paper.
domain assumption Every non-degenerate Dubrovin-Novikov operator admits n functionally independent linear Casimir densities, giving flat (Darboux) coordinates
Used to justify passage to Darboux form in Section 2.1; classical result for flat metrics.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Lie algebras with compatible scalar products for non-homogeneous Hamiltonian operators." pith.science (2026). https://pith.science/paper/2IDSY5NM

@misc{pith2026250205137,
  author       = {Pith},
  title        = {Pith review of: Lie algebras with compatible scalar products for non-homogeneous Hamiltonian operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2IDSY5NM}},
  note         = {Machine review of arXiv:2502.05137}
}

read the original abstract

We study from an algebraic and geometric viewpoint Hamiltonian operators which are sum of a non-degenerate first-order homogeneous operator and a Poisson tensor. In flat coordinates, also known as Darboux coordinates, these operators are uniquely determined by a triple composed by a Lie algebra, its most general non-degenerate quadratic Casimir and a 2-cocycle. We present some classes of operators associated to Lie algebras with non-degenerate quadratic Casimirs and we give a description of such operators in low dimensions. Finally, motivated by the example of the KdV equation we discuss the conditions of bi-Hamiltonianity of such operators.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

57 extracted references · 52 canonical work pages

[49]

and Winternitz, P.: Classiﬁcation and Identiﬁcation of Lie Al- gebras

ˇSnobl, L. and Winternitz, P.: Classiﬁcation and Identiﬁcation of Lie Al- gebras. Ser. CRM Monograph Series, vol. 33. American Mathematical So- ciety, Providence, RI, 2014. ISBN: 9780821843550. [Online]. Availa ble: https://api.semanticscholar.org/CorpusID:118764421

work page 2014
[1]

Agafonov, S. I . and Ferapontov, E. V.: Systems of conservation laws in the context of the projective theory of congruences . Izv. RAN. Ser. Mat., 1996, Volume 60, Issue 6, Pages 3–30

work page 1996
[2]

Agricola, (2008)

I. Agricola, (2008). Old and new on the exceptional group G2” Not. Am. Math. Soc., 2008 55 (8): 922–929

work page 2008
[3]

Encyclopaedia of Mathematical Sciences, Springer Berlin Heidelberg, 2007

Arnold, V.I., Khukhro, E., Kozlov, V.V., and Neishtadt, A.I.: Mathematical Aspects of Classical and Celestial Mechanics . Encyclopaedia of Mathematical Sciences, Springer Berlin Heidelberg, 2007

work page 2007
[4]

Pisa, Spo- erri, 1918

Bianchi, L.: Lezioni sulla teoria dei gruppi continui ﬁniti di transform azioni. Pisa, Spo- erri, 1918

work page 1918
[5]

V.: Compatible Poisson brackets on Lie algebras and completene ss of fam- ilies of functions in involution

Bolsinov, A. V.: Compatible Poisson brackets on Lie algebras and completene ss of fam- ilies of functions in involution . Mathematics of the USSR-Izvestiya, 1992, Volume 38, Issue 1, 69–90 DOI: 10.1070/IM1992v038n01ABEH002187

doi:10.1070/im1992v038n01abeh002187 1992
[6]

Journal of Geometry and Physics, 114, 404-419, 2017

Carlet, G., Casati, M., and Shadrin, S.: Poisson cohomology of scalar multidimensional Dubrovin–Novikov brackets. Journal of Geometry and Physics, 114, 404-419, 2017. DOI: https://doi.org/10.1016/j.geomphys.2016.12.008

work page doi:10.1016/j.geomphys.2016.12.008 2017
[7]

Cartan, E.: Les groupes de transformations continus, inﬁnis, simples . Ann. sci. de l’´E.N.S. 3e s´ erie, tome 26 (1909), p. 93–161

work page 1909

Show all 57 references

[8]

and Vergallo, P.: Classiﬁcation of degenerate non-homogeneous Hamil- tonian operators

Dell’Atti, M. and Vergallo, P.: Classiﬁcation of degenerate non-homogeneous Hamil- tonian operators . J. Math. Phys. 64(3) (2022). https://doi.org/10.1063/5.01351 34. arXiv:2210.14289. March 2023

2022 arXiv
[9]

In preparation, 2024

Dell’Atti, M., Gubbiotti, G., and Vergallo, P.: On Dubrovin’s characterisation of Hamil- tonian structures for multi-component Volterra-like equa tions. In preparation, 2024

2024
[10]

Cambridge Univer- sity Press; 2020

Donagi, R., Shaska, T.: Integrable Systems and Algebraic Geometry . Cambridge Univer- sity Press; 2020

2020
[11]

Nuclear Physics B, 379, 3, 1992, pp

Dubrovin, B.: Integrable systems in topological ﬁeld theory . Nuclear Physics B, 379, 3, 1992, pp. 627-689, DOI: https://doi.org/10.1016/0550-3213(92)90137-Z

1992 doi
[12]

and Novikov, S.P.: Hamiltonian formalism of one-dimensional systems of hydrodynamic type and the Bogolyubov–Whitham averaging method

Dubrovin, B.A. and Novikov, S.P.: Hamiltonian formalism of one-dimensional systems of hydrodynamic type and the Bogolyubov–Whitham averaging method. Soviet Math. Dokl. , 27(3):665–669, 1983

1983
[13]

Dubrovin, B. A. and Novikov, S. P.: Poisson brackets of hydrodynamic type . Soviet Math. Dokl. , 30:651–654, 1984

1984
[14]

Dubrovin, B. A. and Novikov, S.P.: 1989 Russ. Math. Surv. 44, 35, DOI: 10.1070/RM1989v044n06ABEH002300

1989 doi
[15]

A., Krichever, I

Dubrovin, B. A., Krichever, I. M. and Novikov, S. P.: Integrable systems. I. In Dynam- ical Systems IV , volume 4 of Encyclopaedia of Mathematical Sciences, pages 173–2 80. Springer-Verlag, Berlin, 2 edition, 2001

2001
[16]

and Vitolo, R.: Projective-geometric aspects of homogeneous third-order Hamiltonian operators

Ferapontov, E.V., Pavlov, M.V. and Vitolo, R.: Projective-geometric aspects of homogeneous third-order Hamiltonian operators . J. Geom. Phys. , 85:16–28, 2014. DOI:10.1016/j.geomphys.2014.05.027

2014 doi
[17]

Springer New York

Fulton, W., Harris, J.: Representation Theory: A First Course . Springer New York. 1991. 37

1991
[18]

Duke Math

Getzler, E.: A Darboux theorem for Hamiltonian operators in the formal ca lculus of variations. Duke Math. J., 111(3):535–560, 2002

2002
[19]

Compatible Lie Brackets and Integr able Equations of the Principal Chiral Model Type

Golubchik, I.Z., Sokolov, V.V. Compatible Lie Brackets and Integr able Equations of the Principal Chiral Model Type. Functional Analysis and Its Applica tions 36, 172–181 (2002). https://doi.org/10.1023/A:1020141820038

2002 doi
[20]

Gubbiotti, G., van Geemen, B., and Vergallo, P.: Line geometry of pairs of second- order Hamiltonian operators and quasilinear systems . Proc. R. Soc. A.48020240280 http://doi.org/10.1098/rspa.2024.0280, 2024

2024
[21]

and Casati, M.: Multidimensional nonhomogeneous quasi-linear systems an d their Hamiltonian structures

Hu, X. and Casati, M.: Multidimensional nonhomogeneous quasi-linear systems an d their Hamiltonian structures . SIGMA 20 (2024), 081, 17 pages

2024
[22]

Dover Publications, 2013

Jacobson, N.: Lie Algebras. Dover Publications, 2013

2013
[23]

and Vitolo, R.: Hamiltonian structures for general PDEs

Kersten, P., Krasilshchik, I.S., Verbovetsky, A.M. and Vitolo, R.: Hamiltonian structures for general PDEs . In B. Kruglikov, V. Lychagin, E. Straume: Diﬀerential Equations – Geometry, Symmetries and Integrability, Proceedings of the 200 8 Abel Symposium, Springer, 187–198
[24]

S., Verbovetsky, A., and Vitolo, R.: Hamiltonian Structures for General PDEs

Kersten, P., Krasil’shchik, I. S., Verbovetsky, A., and Vitolo, R.: Hamiltonian Structures for General PDEs . In B. Kruglikov, V. Lychagin, E. Straume: Diﬀerential Equations – Geometry, Symmetries and Integrability, Proceedings of the 200 8 Abel Symposium, Springer, 187–198
[25]

Cambridge University Press, 2008

Kirillov, A.A.: An introduction to Lie Groups and Algebras . Cambridge University Press, 2008

2008
[26]

Preprint, arXiv:2112.05635

Konyaev, A.: Geometry of inhomogeneous Poisson brackets, multicompone nt Harry Dym hierarchies and multicomponent Hunter-Saxton equations . Preprint, arXiv:2112.05635

arXiv
[27]

Laurent-Gengoux, C., Pichereau, A., and Vanhaecke, P.: Poisson Structures . Ser. Grundlehren der mathematischen Wissenschaften. Springer Berlin Heidelberg, 2013. DOI: https://doi.org/10.1007/978-3-642-31090-4_4

2013 doi
[28]

Vol.1–3, Leipzig, 1888, 1890, 1893

Lie, S.: Theorie der Transformationsgruppen. Vol.1–3, Leipzig, 1888, 1890, 1893
[29]

and Vitolo, R.: Bi-Hamiltonian structures of KdV type, cyclic Frobenius algebrae and Monge metrics

Lorenzoni, P. and Vitolo, R.: Bi-Hamiltonian structures of KdV type, cyclic Frobenius algebrae and Monge metrics . J. Phys. A: Math. Theor. 57 485202, 2024

2024
[30]

In Nonlinearity 37 (2024), no

Lorenzoni, P., Shadrin, S., and Vitolo, R.: Miura-reciprocal transformations and localiz- able Poisson pencils . In Nonlinearity 37 (2024), no. 2, paper no. 025001, 35 pages

2024
[31]

Magri, F.: A simple model of the integrable Hamiltonian equation . J. Math. Phys. , 19:1156–1162, 1978

1978
[32]

Uspekhi Matemat

Mokhov, O.I.: On compatible Poisson structures of hydrodynamic type . Uspekhi Matemat. Nauk. 1997. V. 52, No. 6. P. 171–172. English translatio n in: Russian Math. Surveys. 1997. V. 52. No. 6. P. 1310–1311

1997
[33]

Mokhov, O.I.: Symplectic and Poisson geometry on loop spaces of smooth man ifolds and integrable equations. In S.P. Novikov and I.M. Krichever, editors, Reviews in mathematics and mathematical physics , volume 11, pages 1–128. Harwood academic publishers, 1998

1998
[34]

I., Ferapontov, E

Mokhov, O. I., Ferapontov, E. V.: Hamiltonian Pairs Associated with Skew-Symmetric Killing Tensors on Spaces of Constant Curvature . Funktsional. Anal. i Prilozhen., 28:2 (1994), 60–63; Funct. Anal. Appl., 28:2 (1994), 123–125. 38

1994
[35]

Mokhov, O. I. and Ferapontov, E. V.: Hamiltonian pairs associated with skew-symmetric Killing tensors on spaces of constant curvature . Functional Analysis and Its Applications, 28(2):123–125, 1994

1994
[36]

M.: On solvable Lie algebras

Mubarakzyanov, G. M.: On solvable Lie algebras . Izv. Vys. Ucheb. Zaved. Matematika, 1963, N 1 (32), 114–123 (in Russian)

1963
[37]

M.: The classiﬁcation of the real structure of ﬁve-dimensional Lie algebras

Mubarakzyanov, G. M.: The classiﬁcation of the real structure of ﬁve-dimensional Lie algebras. Izv. Vys. Ucheb. Zaved. Matematika, 1963, N 3 (34), 99–106 (in Russian)

1963
[38]

M.: Classiﬁcation of solvable Lie algebras of sixth order with a non- nilpotent basis element

Mubarakzyanov, G. M.: Classiﬁcation of solvable Lie algebras of sixth order with a non- nilpotent basis element . Izv. Vys. Ucheb. Zaved. Matematika, 1963, N 4 (35), 104–116 (in Russian)

1963
[39]

M.: Certain theorems on solvable Lie algebras

Mubarakzyanov, G. M.: Certain theorems on solvable Lie algebras . Izv. Vys. Ucheb. Zaved. Matematika, 1966, N 6 (55), 95–98 (in Russian)

1966
[40]

P., Manakov, S

Novikov, S. P., Manakov, S. V., Pitaevskii, L. P. and Zakharov, V . E.: Theory of Solitons . Plenum Press, 1984

1984
[41]

V., Sokolov, V

Odesskii, A. V., Sokolov, V. V.: Compatible Lie brackets related to elliptic curve . J. Math. Phys. 1 January 2006; 47 (1): 013506. https://doi.org/10.1063/ 1.2158434

2006
[42]

Springer-Verlag, 2nd edition, 1993

Olver, P.J.: Applications of Lie Groups to Diﬀerential Equations . Springer-Verlag, 2nd edition, 1993

1993
[43]

V., Vergallo, P., Vitolo, R.: Classiﬁcation of bi-Hamiltonian pairs extended by isometries

Pavlov, M. V., Vergallo, P., Vitolo, R.: Classiﬁcation of bi-Hamiltonian pairs extended by isometries . Proc. Roy. Soc. A, June 2021. 477:20210185

2021
[44]

and Winternitz, P.: Subalgebras of real three and four–dimensional Lie algebra s

Patera, J. and Winternitz, P.: Subalgebras of real three and four–dimensional Lie algebra s. Journal of Mathematical Physics, 18, 1449–1455, 1977

1977
[45]

O., Boyko1, V

Popovych, R. O., Boyko1, V. M., Nesterenko, M. O., and Lutfullin , M. W.: Realizations of real low-dimensional Lie algebras . J. Phys. A: Math. Gen., 2003, 36, 7337–7360

2003
[46]

Preprint, arXiv:2410.22455, 2024

Rizzo, A.: Classiﬁcation of non-homogeneous multi-dimensional Hami ltonian operators. Preprint, arXiv:2410.22455, 2024

2024 arXiv
[47]

P.: Hidden symmetries and supergravity solutions

Santillan, O. P.: Hidden symmetries and supergravity solutions . J. Math. Phys. 2012; 53 (4): 043509. https://doi.org/10.1063/1.3698087

2012 doi
[48]

H.: Two-step nilpotent Lie algebras

Scheuneman, J. H.: Two-step nilpotent Lie algebras . Ph.D. Thesis, Purdue University, 1966

1966
[50]

Soviet Math

Tsarev, S.P.: On Poisson brackets and one-dimensional Hamiltonian syste ms of hydro- dynamic type . Soviet Math. Dokl. , 31(3):488–491, 1985

1985
[51]

P.: The hamiltonian property of stationary and inverse equatio ns of condensed matter mechanics and mathematical physics

Tsarev, S. P.: The hamiltonian property of stationary and inverse equatio ns of condensed matter mechanics and mathematical physics . Math. Notes 46, 569–573 (1989)

1989
[52]

T he general- ized hodograph method

Tsarev, S.P.: The geometry of Hamiltonian systems of hydrodynamic type. T he general- ized hodograph method. Math. USSR-Izv. , 37(2):397–419, 1991

1991
[53]

Turkowski, P.: Solvable Lie algebras of dimension six . J. Math. Phys., 1990, V.31, N 6, 1344–1350. 39

1990
[54]

Lecture Notes in Mathematics, Springer, pp

Vanhaecke, P.: Integrable Systems in the realm of Algebraic Geometry . Lecture Notes in Mathematics, Springer, pp. 220, 2013

2013
[55]

Boll Unione Mat Ital 17, 513–526 (2024)

Vergallo, P.: Non-homogeneous Hamiltonian structures for quasilinear s ystems. Boll Unione Mat Ital 17, 513–526 (2024). https://doi.org/10.1007/s4 0574-023-00369-5

2024 doi
[56]

and Vitolo, R.: Projective geometry of homogeneous second order Hamilto- nian operators

Vergallo, P. and Vitolo, R.: Projective geometry of homogeneous second order Hamilto- nian operators. Nonlinearity 36 (2023) 5311–5333, DOI: 10.1088/1361-6544/ac f269

2023 doi
[57]

Annals of Mathematics, vol

Yano, K.: Some Remarks on Tensor Fields and Curvature . Annals of Mathematics, vol. 55, no. 2, 1952, pp. 328–47. JSTOR, https://doi.org/10.2307/19 69782. 40

1952 doi

Pith tools

Reviewed August 8, 2026 · model on record in the stance chip above.

[1] [49]

and Winternitz, P.: Classiﬁcation and Identiﬁcation of Lie Al- gebras

ˇSnobl, L. and Winternitz, P.: Classiﬁcation and Identiﬁcation of Lie Al- gebras. Ser. CRM Monograph Series, vol. 33. American Mathematical So- ciety, Providence, RI, 2014. ISBN: 9780821843550. [Online]. Availa ble: https://api.semanticscholar.org/CorpusID:118764421

work page 2014

[2] [1]

Agafonov, S. I . and Ferapontov, E. V.: Systems of conservation laws in the context of the projective theory of congruences . Izv. RAN. Ser. Mat., 1996, Volume 60, Issue 6, Pages 3–30

work page 1996

[3] [2]

Agricola, (2008)

I. Agricola, (2008). Old and new on the exceptional group G2” Not. Am. Math. Soc., 2008 55 (8): 922–929

work page 2008

[4] [3]

Encyclopaedia of Mathematical Sciences, Springer Berlin Heidelberg, 2007

Arnold, V.I., Khukhro, E., Kozlov, V.V., and Neishtadt, A.I.: Mathematical Aspects of Classical and Celestial Mechanics . Encyclopaedia of Mathematical Sciences, Springer Berlin Heidelberg, 2007

work page 2007

[5] [4]

Pisa, Spo- erri, 1918

Bianchi, L.: Lezioni sulla teoria dei gruppi continui ﬁniti di transform azioni. Pisa, Spo- erri, 1918

work page 1918

[6] [5]

V.: Compatible Poisson brackets on Lie algebras and completene ss of fam- ilies of functions in involution

Bolsinov, A. V.: Compatible Poisson brackets on Lie algebras and completene ss of fam- ilies of functions in involution . Mathematics of the USSR-Izvestiya, 1992, Volume 38, Issue 1, 69–90 DOI: 10.1070/IM1992v038n01ABEH002187

doi:10.1070/im1992v038n01abeh002187 1992

[7] [6]

Journal of Geometry and Physics, 114, 404-419, 2017

Carlet, G., Casati, M., and Shadrin, S.: Poisson cohomology of scalar multidimensional Dubrovin–Novikov brackets. Journal of Geometry and Physics, 114, 404-419, 2017. DOI: https://doi.org/10.1016/j.geomphys.2016.12.008

work page doi:10.1016/j.geomphys.2016.12.008 2017

[8] [7]

Cartan, E.: Les groupes de transformations continus, inﬁnis, simples . Ann. sci. de l’´E.N.S. 3e s´ erie, tome 26 (1909), p. 93–161

work page 1909