pith. sign in

arxiv: 2603.09535 · v2 · submitted 2026-03-10 · 🧮 math-ph · math.MP

Pseudo-Riemannian Lie algebras with coisotropic ideals and integrating the Laplace-Beltrami equation on Lie groups

A. A. Magazev , I. V. Shirokov This is my paper

Pith reviewed 2026-05-15 13:27 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords Lie algebraspseudo-Riemannian metricsLaplace-Beltrami equationnoncommutative integrationLie groupscoisotropic idealsnonlocal symmetriesorbit method
0
0 comments X

The pith

A commutative ideal in the Lie algebra whose orthogonal complement is contained in itself reduces the Laplace-Beltrami equation on the Lie group to an explicitly solvable first-order PDE.

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

The paper shows that left-invariant pseudo-Riemannian metrics on Lie groups admit a special algebraic condition on their Lie algebras: the existence of a commutative ideal h satisfying h perpendicular contained in h. Under this condition the second-order Laplace-Beltrami equation reduces via the noncommutative integration method to a first-order linear PDE that can be integrated in closed form. The reduction also produces nonlocal integro-differential symmetry operators for the original equation. A reader would care because the method supplies explicit solutions on groups where classical separation of variables is unavailable.

Core claim

The existence of a commutative ideal h in the Lie algebra g with h^perp subset h permits the Laplace-Beltrami operator on the corresponding Lie group to be reduced, by means of the orbit method and generalized Fourier transforms, to a first-order linear PDE whose solutions are obtained explicitly; the symmetries of the reduced equation pull back to nonlocal symmetry operators of the original equation.

What carries the argument

The commutative coisotropic ideal h in the Lie algebra, which carries the reduction of the Laplace-Beltrami equation to first order through the noncommutative integration procedure based on orbits and Fourier transforms.

If this is right

  • Explicit solutions exist for the Laplace-Beltrami equation on all Lie groups whose left-invariant metrics satisfy the stated ideal condition.
  • The reduced first-order PDE inherits symmetries that become nonlocal integro-differential operators on the original equation.
  • The approach produces solutions on the four-dimensional non-unimodular group of signature (2,2) even though classical separation of variables does not apply.
  • The same reduction works for the Lorentzian Heisenberg group, yielding both solutions and the associated nonlocal symmetries.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same algebraic condition may allow reduction of other second-order invariant differential operators on Lie groups.
  • The nonlocal symmetries could be used to construct conserved quantities or to study the spectral theory of the Laplace-Beltrami operator on these spaces.
  • Further examples with different signatures or dimensions could reveal a pattern for when the ideal condition is satisfied by left-invariant metrics.

Load-bearing premise

The noncommutative integration procedure applies directly to the given metrics and groups and yields the claimed explicit solutions together with the nonlocal symmetries.

What would settle it

Direct computation of the Laplace-Beltrami operator on the Heisenberg group with the Lorentzian metric, followed by checking whether the reduced PDE fails to admit the explicit solutions predicted by the noncommutative method.

read the original abstract

We identify a class of left-invariant pseudo-Riemannian metrics on Lie groups for which the Laplace-Beltrami equation reduces to a first-order PDE and admits exact solutions. The defining condition is the existence of a commutative ideal $\mathfrak{h}$ in the Lie algebra $\mathfrak{g}$ whose orthogonal complement satisfies $\mathfrak{h}^\perp\subseteq\mathfrak{h}$. Using the noncommutative integration method based on the orbit method and generalized Fourier transforms, we reduce the Laplace--Beltrami equation to a first-order linear PDE, which can then be integrated explicitly. The symmetry of the reduced equation gives rise, via the inverse transform, to nonlocal symmetry operators for the original equation. These operators are generically integro-differential, contrasting with the polynomial symmetries appearing in previously studied classes. The method is illustrated by two examples: the Heisenberg group $\mathrm{H}_3(\mathbb{R})$ with a Lorentzian metric and a four-dimensional non-unimodular group with a metric of signature $(2,2)$. In the latter, classical separation of variables is not directly applicable, yet the noncommutative approach yields explicit solutions and reveals the predicted nonlocal symmetry.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper identifies a class of left-invariant pseudo-Riemannian metrics on Lie groups defined by the existence of a commutative ideal h in the Lie algebra g satisfying h^perp ⊆ h. Under this condition the Laplace-Beltrami operator reduces to a first-order linear PDE that is integrated explicitly by the noncommutative integration method (orbit method plus generalized Fourier transform). The inverse transform yields nonlocal integro-differential symmetry operators. The method is illustrated by the Heisenberg group H_3(R) equipped with a Lorentzian metric and by a four-dimensional non-unimodular Lie group with a (2,2)-signature metric, where classical separation of variables is inapplicable.

Significance. If the reduction and transform invertibility hold without further restrictions on the metric signature or modular function, the result supplies an explicit integration procedure and a source of nonlocal symmetries for a class of wave-type equations on pseudo-Riemannian Lie groups. This extends the orbit-method toolkit beyond the unimodular Riemannian setting and provides concrete examples where the noncommutative approach succeeds when separation of variables fails.

major comments (2)
  1. [section on the four-dimensional non-unimodular example] The central reduction claim (abstract and the section presenting the general construction) asserts that the condition h^perp ⊆ h produces an exact first-order PDE whose solutions are recovered by the generalized Fourier transform without additional correction terms. For the non-unimodular (2,2) example this requires explicit verification that the modular homomorphism does not modify the Plancherel measure or introduce higher-order contributions; the manuscript must display the transformed operator and the inversion formula for this case.
  2. [symmetry extraction paragraph following the integration step] The statement that the inverse transform automatically generates the claimed integro-differential nonlocal symmetries (abstract) needs a concrete computation of at least one such operator in each example, including the precise function space on which the transform is invertible.
minor comments (1)
  1. Notation for the orthogonal complement h^perp should be defined once at the beginning of the Lie-algebra section and used consistently; the current usage mixes left- and right-invariant interpretations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and valuable suggestions. We will revise the manuscript to address the points raised, as detailed below.

read point-by-point responses

  1. Referee: [section on the four-dimensional non-unimodular example] The central reduction claim (abstract and the section presenting the general construction) asserts that the condition h^perp ⊆ h produces an exact first-order PDE whose solutions are recovered by the generalized Fourier transform without additional correction terms. For the non-unimodular (2,2) example this requires explicit verification that the modular homomorphism does not modify the Plancherel measure or introduce higher-order contributions; the manuscript must display the transformed operator and the inversion formula for this case.

    Authors: We concur that explicit verification is required for the non-unimodular case to substantiate the general claim. In the revised version, we will provide the explicit form of the transformed operator after applying the generalized Fourier transform, including a verification that the modular homomorphism does not alter the Plancherel measure or introduce higher-order terms. The inversion formula will also be displayed explicitly for this example. revision: yes

  2. Referee: [symmetry extraction paragraph following the integration step] The statement that the inverse transform automatically generates the claimed integro-differential nonlocal symmetries (abstract) needs a concrete computation of at least one such operator in each example, including the precise function space on which the transform is invertible.

    Authors: We agree that providing concrete computations will enhance the clarity of the symmetry extraction. We will include explicit calculations of at least one nonlocal integro-differential symmetry operator for both the Heisenberg group and the four-dimensional example. Furthermore, we will specify the precise function space (e.g., the Schwartz space on the group or the L^2 space with respect to the Haar measure adjusted by the Plancherel theorem) where the transform is invertible. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained via standard orbit-method reduction

full rationale

The paper defines the class of metrics via the algebraic condition on the commutative ideal h with h^perp ⊆ h, then applies the established noncommutative integration procedure (orbit method + generalized Fourier transform) to reduce the left-invariant Laplace-Beltrami operator to a first-order linear PDE. This reduction follows directly from the invariance properties and the coisotropic condition without redefining any quantity in terms of its own output or fitting parameters to the target solutions. The nonlocal symmetries arise from the inverse transform as a standard consequence of the method. No load-bearing step collapses to a self-citation chain, ansatz smuggling, or renaming of a known result; the two examples are explicit verifications rather than circular fits. The derivation remains independent of the present paper's own fitted values or prior self-referential theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on standard Lie-algebra axioms and the orbit method from representation theory; no new free parameters, ad-hoc constants, or postulated entities are introduced.

axioms (2)
  • domain assumption The Lie algebra admits a commutative ideal h satisfying h^perp ⊆ h
    Invoked as the defining condition that enables the reduction to a first-order PDE.
  • domain assumption Generalized Fourier transforms exist and invert on the group via the orbit method
    Standard background from noncommutative harmonic analysis used to perform the reduction and recover nonlocal symmetries.

pith-pipeline@v0.9.0 · 5515 in / 1454 out tokens · 39314 ms · 2026-05-15T13:27:44.682709+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

60 extracted references · 60 canonical work pages

  1. [1]

    Curvatures of left invariant metrics on Lie groups,

    J. Milnor, “Curvatures of left invariant metrics on Lie groups,”Advances in mathe- matics, vol. 21, no. 3, pp. 293–329, 1976

    work page 1976

  2. [2]

    Left-invariantpseudo-EinsteinmetricsonLiegroups,

    S.ChenandK.Liang, “Left-invariantpseudo-EinsteinmetricsonLiegroups,”Journal of Nonlinear Mathematical Physics, vol. 19, no. 2, p. 236, 2012

    work page 2012

  3. [3]

    Spacetime groups,

    I. Anderson and C. Torre, “Spacetime groups,”Journal of Mathematical Physics, vol. 61, no. 7, p. 072501, 2020

    work page 2020

  4. [4]

    Left-invariant Lorentz metrics on Lie groups,

    K. Nomizu, “Left-invariant Lorentz metrics on Lie groups,”Osaka Journal of Math- ematics, vol. 16, no. 1, pp. 143–150, 1979

    work page 1979

  5. [5]

    Abraham and J

    R. Abraham and J. E. Marsden,Foundations of Mechanics. Addison-Wesley Pub- lishing Company, 1980

    work page 1980

  6. [6]

    Euler equations on finite-dimensional Lie groups,

    A. S. Mishchenko and A. T. Fomenko, “Euler equations on finite-dimensional Lie groups,”Math. USSR-Izv., vol. 12, no. 2, pp. 371–389, 1978

    work page 1978

  7. [7]

    Integrable magnetic geodesic flows on Lie groups,

    A. A. Magazev, I. V. Shirokov, and Y. A. Yurevich, “Integrable magnetic geodesic flows on Lie groups,”Theoretical and Mathematical Physics, vol. 156, no. 2, pp. 1127– 1141, 2008

    work page 2008

  8. [8]

    Homogeneity of magnetic trajectories in the real special linear group,

    J.-I. Inoguchi and M. I. Munteanu, “Homogeneity of magnetic trajectories in the real special linear group,”Proceedings of the American Mathematical Society, pp. 1287– 1300, 2023. 26

    work page 2023

  9. [9]

    The spectra of the Laplace-Beltrami operator on compact, semisimple Lie groups,

    B. L. Beers and R. S. Millman, “The spectra of the Laplace-Beltrami operator on compact, semisimple Lie groups,”Amer. J. Math., vol. 99, no. 4, pp. 801–807, 1977

    work page 1977

  10. [10]

    On the least positive eigenvalue of the Laplacian for compact group manifolds,

    H. Urakawa, “On the least positive eigenvalue of the Laplacian for compact group manifolds,”Journal of the Mathematical Society of Japan, vol. 31, jan 1979

    work page 1979

  11. [11]

    On the Laplace-Beltrami operator on the oscillator group,

    F. Ricci and D. Müller, “On the Laplace-Beltrami operator on the oscillator group,” Journal für die reine und angewandte Mathematik (Crelles Journal), vol. 1988, pp. 193–207, sep 1988

    work page 1988

  12. [12]

    Diameter and Laplace eigenvalue estimates for left-invariant metrics on compact Lie groups,

    E. A. Lauret, “Diameter and Laplace eigenvalue estimates for left-invariant metrics on compact Lie groups,”Potential Anal., vol. 58, no. 1, pp. 37–70, 2023

    work page 2023

  13. [13]

    Integrating Klein-Gordon-Fock equations in an external electromag- netic field on Lie groups,

    A. A. Magazev, “Integrating Klein-Gordon-Fock equations in an external electromag- netic field on Lie groups,”Theoret. and Math. Phys., vol. 173, no. 3, pp. 1654–1667, 2012

    work page 2012

  14. [14]

    Vacuum polarization of a scalar field on Lie groups,

    A. I. Breev, I. V. Shirokov, and A. A. Magazev, “Vacuum polarization of a scalar field on Lie groups,”Theoret. and Math. Phys., vol. 167, no. 1, pp. 468–483, 2011

    work page 2011

  15. [15]

    Integration of the Klein-Fock equation on four-dimensional Lie groups,

    S. P. Baranovski˘ ı, V. V. Mikheev, and I. V. Shirokov, “Integration of the Klein-Fock equation on four-dimensional Lie groups,”Russ. Phys. J., vol. 45, no. 11, pp. 3–10, 2002

    work page 2002

  16. [16]

    Hamilton-Jacobi and Klein-Gordon-Fock equations for a charged test particle in space-time with simply transitive four-parameter groups of motions,

    V. V. Obukhov, “Hamilton-Jacobi and Klein-Gordon-Fock equations for a charged test particle in space-time with simply transitive four-parameter groups of motions,” J. Math. Phys., vol. 64, no. 9, pp. Paper No. 093507, 17, 2023

    work page 2023

  17. [17]

    Integrable field models on manifolds of the Lie groups,

    A. Y. Uglirzh and I. V. Shirokov, “Integrable field models on manifolds of the Lie groups,”Russ. Phys. J., vol. 50, no. 5, pp. 480–486, 2007

    work page 2007

  18. [18]

    Vacuum polarization of a scalar field on the nonunimodular Lie groups,

    A. I. Breev, “Vacuum polarization of a scalar field on the nonunimodular Lie groups,” Russ. Phys. J., vol. 53, no. 10, pp. 421–430, 2010

    work page 2010

  19. [19]

    Classification of Petrov homogeneous spaces,

    V. V. Obukhov, “Classification of Petrov homogeneous spaces,”Symmetry, vol. 16, no. 10, p. 1385, 2024

    work page 2024

  20. [20]

    Classification of the non-null electrovacuum solution of Einstein– Maxwell equations with three-parameter abelian group of motions,

    V. V. Obukhov, “Classification of the non-null electrovacuum solution of Einstein– Maxwell equations with three-parameter abelian group of motions,”Annals of Physics, vol. 470, p. 169816, 2024

    work page 2024

  21. [21]

    Classification of Einstein spaces with stackel metric of type (3.0),

    V. V. Obukhov, “Classification of Einstein spaces with stackel metric of type (3.0),” Int. J. Geom. Meth. Mod. Phys., vol. 23, no. 04, p. 2550177, 2026

    work page 2026

  22. [22]

    The argument shift method in universal enveloping alge- bra ugld,

    Y. Ikeda and G. Sharygin, “The argument shift method in universal enveloping alge- bra ugld,”Journal of Geometry and Physics, vol. 195, p. 105030, Jan. 2024

    work page 2024

  23. [23]

    Integrable geodesic flows on homogeneous spaces,

    A. Thimm, “Integrable geodesic flows on homogeneous spaces,”Ergodic Theory and Dynamical Systems, vol. 1, pp. 495–517, Dec. 1981. 27

    work page 1981

  24. [24]

    Integrable sub-Riemannian geodesic flows on the special orthogonal group,

    A. Bravo-Doddoli, P. Arathoon, and A. M. Bloch, “Integrable sub-Riemannian geodesic flows on the special orthogonal group,”Nonlinearity, vol. 38, no. 11, p. 115007, 2025

    work page 2025

  25. [25]

    Integrable Euler equations associated with filtrations of Lie algebras,

    O. I. Bogoyavlenskii, “Integrable Euler equations associated with filtrations of Lie algebras,”Mathematics of the USSR-Sbornik, vol. 49, no. 1, p. 229, 1984

    work page 1984

  26. [26]

    Integrable systems associated to the filtrations of lie algebras,

    B. Jovanović, T. Šukilović, and S. Vukmirović, “Integrable systems associated to the filtrations of lie algebras,”Regular and Chaotic Dynamics, vol. 28, no. 1, pp. 44–61, 2023

    work page 2023

  27. [27]

    Some properties of almost abelian Lie algebras,

    V. V. Gorbatsevich, “Some properties of almost abelian Lie algebras,”Russian Math- ematics, vol. 64, no. 4, pp. 21–34, 2020

    work page 2020

  28. [28]

    The structure of almost abelian Lie algebras,

    Z. Avetisyan, “The structure of almost abelian Lie algebras,”International Journal of Mathematics, vol. 33, no. 08, p. 2250057, 2022

    work page 2022

  29. [29]

    Balanced hermitian structures on almost abelian Lie alge- bras,

    A. Fino and F. Paradiso, “Balanced hermitian structures on almost abelian Lie alge- bras,”Journal of Pure and Applied Algebra, vol. 227, no. 2, p. 107186, 2023

    work page 2023

  30. [30]

    Noncommutative integration of linear differential equations,

    A. V. Shapovalov and I. Shirokov, “Noncommutative integration of linear differential equations,”Theoretical and Mathematical Physics, vol. 104, no. 2, pp. 921–934, 1995

    work page 1995

  31. [31]

    F. W. Warner,Foundations of Differentiable Manifolds and Lie Groups, vol. 94 of Graduate Texts in Mathematics. New York, Berlin, Heidelberg, Tokyo: Springer- Verlag, 1983. Originally published©1971 by Scott, Foresman and©1983 by Frank W. Warner

    work page 1983

  32. [32]

    Helgason,Differential Geometry, Lie Groups, and Symmetric Spaces, vol

    S. Helgason,Differential Geometry, Lie Groups, and Symmetric Spaces, vol. 80 of Pure and Applied Mathematics. Boston, San Diego, New York, London, Sydney, Tokyo, Toronto: Academic Press, Inc., 1978. Department of Mathematics, Mas- sachusetts Institute of Technology, Cambridge, Massachusetts

    work page 1978

  33. [33]

    The group of isometries of a left invariant Riemannian metric on a Lie group,

    T. Ochiai and T. Takahashi, “The group of isometries of a left invariant Riemannian metric on a Lie group,”Math. Ann., vol. 223, no. 1, pp. 91–96, 1976

    work page 1976

  34. [34]

    Isometry groups of unimodular simply connected3-dimensional Lie groups,

    J. Shin, “Isometry groups of unimodular simply connected3-dimensional Lie groups,” Geom. Dedicata, vol. 65, no. 3, pp. 267–290, 1997

    work page 1997

  35. [35]

    Isometry groups of three-dimensional Lie groups,

    A. Cosgaya and S. Reggiani, “Isometry groups of three-dimensional Lie groups,”Ann. Global Anal. Geom., vol. 61, no. 4, pp. 831–845, 2022

    work page 2022

  36. [36]

    On the smallest Laplace eigenvalue for naturally reductive metrics on compact simple Lie groups,

    E. A. Lauret, “On the smallest Laplace eigenvalue for naturally reductive metrics on compact simple Lie groups,”Proc. Amer. Math. Soc., vol. 148, no. 8, pp. 3375–3380, 2020

    work page 2020

  37. [37]

    The spectrum of the Laplacian on a certain nilpotent Lie group,

    K. Furutani, K. Sagami, and N. Ôtsuki, “The spectrum of the Laplacian on a certain nilpotent Lie group,”Comm. Partial Differential Equations, vol. 18, no. 3-4, pp. 533– 555, 1993. 28

    work page 1993

  38. [38]

    A. O. Barut and R. Rączka,Theory of group representations and applications. World Scientific Publishing Co., Singapore, second ed., 1986

    work page 1986

  39. [39]

    A. A. Kirillov,Elements of the Theory of Representations. Springer, Berlin, 1976

    work page 1976

  40. [40]

    Introduction to the theory of representations and noncommutative harmonicanalysis,

    A. A. Kirillov, “Introduction to the theory of representations and noncommutative harmonicanalysis,” inRepresentation theory and noncommutative harmonic analysis, I, vol. 22 ofEncyclopaedia Math. Sci., pp. 1–156, 227–234, Springer, Berlin, 1994

    work page 1994

  41. [41]

    A. A. Kirillov,Lectures on the orbit method, vol. 64 ofGraduate Studies in Mathe- matics. American Mathematical Society, Providence, RI, 2004

    work page 2004

  42. [42]

    Quantum Hamiltonian systems onK-orbits. The semiclassical spectrum of an asymmetric top,

    S. P. Baranovski˘ ı, V. V. Mikheev, and I. V. Shirokov, “Quantum Hamiltonian systems onK-orbits. The semiclassical spectrum of an asymmetric top,”Teoret. Mat. Fiz., vol. 129, no. 1, pp. 3–13, 2001

    work page 2001

  43. [43]

    An integrable class of differential equations with nonlocal nonlinearity on Lie groups,

    M. M. Goncharovski˘ ı and I. V. Shirokov, “An integrable class of differential equations with nonlocal nonlinearity on Lie groups,”Teoret. Mat. Fiz., vol. 161, no. 3, pp. 332– 345, 2009

    work page 2009

  44. [44]

    New solutions of relativistic wave equations in magnetic fields and longitudinal fields,

    V. G. Bagrov, M. C. Baldiotti, D. M. Gitman, and I. V. Shirokov, “New solutions of relativistic wave equations in magnetic fields and longitudinal fields,”J. Math. Phys., vol. 43, no. 5, pp. 2284–2305, 2002

    work page 2002

  45. [45]

    Application of the orbits method to integration of linear differential equations with non-commutative symmetries,

    I. V. Shirokov, “Application of the orbits method to integration of linear differential equations with non-commutative symmetries,” inSymmetry in nonlinear mathemat- ical physics. Part 1, 2, 3, vol. 50, Part 1, 2, 3 ofPr. Inst. Mat. Nats. Akad. Nauk Ukr. Mat. Zastos., pp. 246–251, Nats¯ ıonal. Akad. Nauk Ukraïni,¯Inst. Mat., Kiev, 2004

    work page 2004

  46. [46]

    Dixmier,Enveloping algebras, vol

    J. Dixmier,Enveloping algebras, vol. 11 ofGraduate Studies in Mathematics. Amer- ican Mathematical Society, Providence, RI, 1996

    work page 1996

  47. [47]

    Tauvel and R

    P. Tauvel and R. W. T. Yu,Lie algebras and algebraic groups. Springer Monographs in Mathematics, 2005

    work page 2005

  48. [48]

    Geometric quantization,

    A. A. Kirillov, “Geometric quantization,” inDynamical systems, IV, vol. 4 ofEncy- clopaedia Math. Sci., pp. 139–176, Springer, Berlin, 2001

    work page 2001

  49. [49]

    N. M. J. Woodhouse,Geometric quantization. Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, second ed., 1992

    work page 1992

  50. [50]

    Darboux coordinates onK-orbits and the spectra of Casimir opera- tors on Lie groups,

    I. V. Shirokov, “Darboux coordinates onK-orbits and the spectra of Casimir opera- tors on Lie groups,”Teoret. Mat. Fiz., vol. 123, no. 3, pp. 407–423, 2000

    work page 2000

  51. [51]

    Representations of finite-dimensional Lie algebras by first-order differ- ential operators. Some local results in the transitive case,

    R. Milson, “Representations of finite-dimensional Lie algebras by first-order differ- ential operators. Some local results in the transitive case,”Journal of the London Mathematical Society, vol. 52, no. 2, pp. 285–302, 1995

    work page 1995

  52. [52]

    T. E. Cecil,Lie sphere geometry. Universitext, Springer-Verlag, New York, 1992. 29

    work page 1992

  53. [53]

    P. J. Olver,Applications of Lie groups to differential equations, vol. 107. Springer Science & Business Media, 1993

    work page 1993

  54. [54]

    Métriques de lorentz sur les groupes de Lie unimodulaires, de dimension trois,

    S. Rahmani, “Métriques de lorentz sur les groupes de Lie unimodulaires, de dimension trois,”Journal of Geometry and Physics, vol. 9, pp. 295–302, jul 1992

    work page 1992

  55. [55]

    Classificationofleft-invariantmetricsontheheisenberggroup,

    S.Vukmirović, “Classificationofleft-invariantmetricsontheheisenberggroup,”Jour- nal of Geometry and Physics, vol. 94, pp. 72–80, aug 2015

    work page 2015

  56. [56]

    The Airy transform,

    D. V. Widder, “The Airy transform,”The American Mathematical Monthly, vol. 86, pp. 271–277, apr 1979

    work page 1979

  57. [57]

    On solvable Lie algebras,

    G. M. Mubarakzyanov, “On solvable Lie algebras,”Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, no. 1, pp. 114–123, 1963

    work page 1963

  58. [58]

    On the classification of real four-dimensional Lie groups,

    R. Biggs and C. C. Remsing, “On the classification of real four-dimensional Lie groups,”J. Lie Theory, vol. 26, no. 4, pp. 1001–1035, 2016

    work page 2016

  59. [59]

    Stäckel spaces,

    V. N. Shapovalov, “Stäckel spaces,”Siberian Mathematical Journal, vol. 20, no. 5, pp. 790–800, 1979

    work page 1979

  60. [60]

    Separability in Riemannian manifolds,

    S. Benenti, “Separability in Riemannian manifolds,”Symmetry, Integrability and Ge- ometry: Methods and Applications, vol. 12, p. 013, 2016. 30

    work page 2016