Abstract
Geometrization of a Lagrangian conservative system typically amounts to reformulating its equations of motion as the geodesic equations in a properly chosen curved spacetime. The conventional methods include the Jacobi metric and the Eisenhart lift. In this work, a modification of the Eisenhart lift is proposed which describes the isotropic oscillator in arbitrary dimension driven by the one-dimensional conformal mode.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It would not be an exaggeration to say that, since the discovery of general relativity, geometry and theoretical physics go parallel. Given a dynamical system with finitely many degrees of freedom, it is customary to ask: What is its geometric description? Vice versa, given a geometric idea, it is natural to wonder: What would be its physical application?
In general, geometrization of a Lagrangian conservative system, whose kinetic term involves a positive definite metric, amounts to reformulating its equations of motion as the geodesic equations in a properly chosen curved spacetime or embedding them into the geodesics of a larger theory such that the time evolution of the extra degrees of freedom is unambiguously fixed, provided the dynamics of the original model is known. The Jacobi metric [1] and the Eisenhart lift [2, 3] represent the conventional tools of that kind (for a recent application to time-dependent systems see [4]). While the former method yields a Riemannian metric, the latter gives a Lorentzian metric thus paving the way for applications in the general relativistic context.
The goal of this work is to discuss a geometric formulation for a particular dynamical system which describes the isotropic oscillator in arbitrary dimension driven by the one-dimensional conformal mode (see Eq. (1) below). It naturally arises if one applies the conventional method of non-linear realizations [5] to the conformal extension of the Newton–Hooke algebra [6].Footnote 1 The model describes a particle moving along the ellipse such that the periods of its accelerated or decelerated motion are controlled by a single function of time variable representing the \(d=1\) conformal mechanics of de Alfaro et al. [10]. It is demonstrated below that, by properly including the conformal mode into the Eisenhart metric associated with the isotropic oscillator, one can attain a satisfactory geometric description in terms of a Lorentzian metric which solves the Einstein equations.
The organization of the paper is as follows: In Sect. 2, the isotropic oscillator in arbitrary dimension driven by the \(d=1\) conformal mode is discussed. Its symmetries and the general solution to the equations of motion are given. Section 3 contains a brief account of the conventional Eisenhart lift applied to conservative mechanical systems. An embedding of the isotropic oscillator driven by the one-dimensional conformal mode into the geodesics of the Eisenhart-like metric is discussed in Sect. 4. The conformal mode enters the metric as a scale factor in such a way that the oscillator equation follows from the geodesics, while the conformal mechanics arises when imposing the Einstein equations. In Sect. 5, the Killing isometries of the metric are studied. A set of vector fields is found which all together form the Newton–Hooke algebra under the commutator. The requirement that they be the Killing vector fields of the metric in Sect. 4 reproduces the conformal mechanics equation on the scale factor. It is demonstrated that the same condition occurs if one demands the spacetime to be stationary. We summarize our results and discuss possible further developments in the concluding Sect. 6. Throughout the paper summation over repeated indices is understood.
2 Isotropic oscillator driven by \(d=1\) conformal mode
Consider the configuration space \(\mathbf {R}^1 \times \mathbf {R}^d\) parametrized by the coordinates \(\rho \) and \(x_i\), \(i=1,\dots ,d\), and the dynamical system governed by the equations of motion
where \(\gamma \) and L are positive constants. The second equation describes the \(d=1\) conformal mechanics [10], while the first equation corresponds to the isotropic oscillator in d dimensions driven by the conformal mode.
It is straightforward to verify that Eq. (1) hold invariant under the infinitesimal transformations
which provide a realization of the conformal extension of the Newton–Hooke group [6]. The parameters \((a,b,c,\alpha _i,\beta _i,\omega _{ij}=-\omega _{ji})\) are associated with the time translation, special conformal transformation, dilatation, spatial translations, Newton–Hooke boosts, and spatial rotations, respectively, while L is identified with the characteristic time [11]. In order to verify the structure relations of the conformal Newton–Hooke algebra, it suffices to consider the variations of fields
and compute their commutators.Footnote 2
Making use of the conserved charges associated with the symmetry transformations (2), one can then build the general solution to (1) by purely algebraic means
where \(\mathcal {D}\), \(\mathcal {C}\), \(\mathcal {P}_i\), \(\mathcal {K}_i\) are constants of integration.
The shape of the trajectory in the Newton–Hooke reference frame is readily found if one uses the alternative parametrization of the curve
which turns the first equation in (1) into that describing an ordinary isotropic oscillator. The orbit is thus an ellipse
\(\mu _i\) and \(\nu _i\) being constants of integration. According to (4), the conformal mode is an oscillating function which determines the periods of accelerated/decelerated motion of the particle along the ellipse. Most easily this is illustrated by examining the circular motion (\(\mu ^2=1\), \(\nu ^2=1\), \((\mu ,\nu )=0\)) for which
The increase/decrease of \(\rho (t)\) causes the deceleration/acceleration of a particle along the ellipse.
Worth mentioning is that the minimum point of the potential \(U(\rho )=\frac{\gamma ^2}{\rho ^2} +\frac{\rho ^2}{L^2}\), which occurs at
provides a particular solution to the second equation in (1) and turns the first equation into
An ordinary isotropic oscillator is thus a particular instance of (1). Equation (10) also arises if one goes over to the non-inertial Newton–Hooke reference frameFootnote 3
which correlates with Eq. (5) above.
3 The Eisenhart lift
The Eisenhart lift [2, 3] suggests a geometric formulation for a conservative mechanical system with d degrees of freedom \(x_i\), \(i=1,\ldots ,d\), and the potential energy U(x) in terms of geodesics of the Lorentzian metric
defined on a \((d+2)\)-dimensional spacetime parametrized by \(y^\mu =(t,s,x_i)\), where t is identified with the temporal variable of the Newtonian mechanics and s is an extra coordinate.
Computing the Christoffel symbols
where we have split the index \(\mu =(t,s,i)\), \(i=1,\ldots ,d\), and abbreviated \(\partial _\mu =\frac{\partial }{\partial y^\mu }\), and analyzing the geodesic equations
where \(\epsilon =0\) for the null geodesics and \(\epsilon =-1\) for the time-like geodesics, one concludes that t is affinely related to the proper time \(\tau \)
where \(\kappa \) is a positive constant, while \(x_i\) obeys Newton’s equation (passing from \(\tau \) to t via (15))
Given the general solution to (16), the dynamics of s is fixed from the condition that the geodesic is null or time-like (again passing from \(\tau \) to t)
The conventional Newtonian mechanics is thus recovered by implementing the null reduction along s [2, 3].
A remarkable property of the Eisenhart metric is that it holds invariant under the transformation
where \(\lambda \) is a constant, which gives rise to the covariantly constant null Killing vector field
The latter determines the so called Bargmann structure on the manifold [3]. Equation (19) also implies that the spacetime (12) admits a geodesic null congruence with vanishing expansion, shear and vorticity and thus belongs to the Kundt class.
The distinguished vector field \(\xi ^\mu \) can be used to construct the trace-free energy–momentum tensorFootnote 4
where \(\Omega (y)^2\) is an arbitrary function (the energy density). Because the only non-vanishing component of \(\xi _\mu \) is \(\xi _t=-\frac{1}{2}\), the energy–momentum tensor has only one nonzero component
Taking into account that \(\xi _\mu \) is covariantly constant, one can compute the covariant derivative
and verify that the energy–momentum tensor is conserved
provided \(\Omega \) does not depend on s, i.e. \(\Omega =\Omega (t,x)\).
Finally, making use of the Christoffel symbols (13), one finds that the Ricci tensor has only one nonzero component \(R_{tt}\) while the scalar curvature vanishes
Given the Eisenhart metric (12) and the energy–momentum tensor (20), the conventional Einstein equations
imply that the contribution of the cosmological term necessarily vanishes \(\Lambda =0\) thus reducing (25) to
only (tt)-component of which is non-trivial.
A particularly interesting example of the Eisenhart geometry occurs it one takes \(\Omega ^2\) in (20) to be s, and t-independent
and interprets G as the Newtonian constant and r(x) as the mass density. Then the Einstein equations (26) reproduce the Newtonian equation for the gravitational potential
4 Conformal mode as a scale factor in the Eisenhart metric
Having reviewed the Eisenhart geometric description of conservative mechanical systems, let us discuss its possible generalization to encounter systems like (1). Given the form of the x-orbit and the impact of \(\rho (t)\) upon it, a natural question arises whether a geometric description of (1) exists in which the conformal mode plays the role of a cosmic scale factor.
Consider the following generalization of the Eisenhart metric (12):
where \(\gamma \), q are constants. A few comments are in order.
Firstly, for a fixed value of t the line element in the d-dimensional slice parametrized by \(x_i\) is given by \({\rho (t)}^2 dx_i dx_i\). Hence \({\rho (t)}^2\) may be viewed as a cosmic scale factor.
Secondly, the metric admits a covariantly constant null Killing vector field realized as in (19) and hence belongs to the Kundt class. Choosing \(\Omega (y)\) in Eq. (20) in the form
where L is a positive constant, and imposing the Einstein equations (26) one obtains the restriction on the scale factor
which precisely coincides with the second equation in (1). To the best of our knowledge, this is the first example in the literature that the conformal mechanics of de Alfaro et al. [10] shows up in the general relativistic context.
Thirdly, computing the Christoffel symbols
where the dot designates the derivative with respect to t, and analyzing the geodesic equations, one concludes that t is affinely related to the proper time \(\tau \)
where \(\kappa \) is a positive constant, the evolution of \(x_i(t)\) is determined by the equation which precisely coincides with the first equation in (1), while s is fixed from the condition that the geodesic is null or time-like
where \(\epsilon =0\) for the null geodesics and \(\epsilon =-1\) for the time-like geodesics. Given the general solution in (4), the dynamics of the extra variable s is unambiguously fixed by the first order ordinary differential equation (34). Thus the original dynamical system (1) is recovered if one implements the null reduction along s.
Note that, as compared to the conventional Eisenhart prescription, in which coordinates parametrizing the spacetime are associated with degrees of freedom of the original dynamical system, the conformal mode \(\rho (t)\) enters the metric (29) as a specific scale factor whose time evolution is governed by the Einstein equations.
Concluding this section, we note that the \(L\rightarrow \infty \) limit of (1) yields a dynamical system enjoying the Schrödinger symmetry [6]. Curiously enough, its geometric description based upon (29) fails as the corresponding Riemann tensor turns out to be vanishing.
5 Isometries of the metric
Having fixed the form of the metric, let us establish its isometry group. The conventional way is to consider the infinitesimal transformations
and demand the form of (29) to be intact. This yields a coupled set of first order partial differential equations for \(\alpha (t,s,x)\), \(\beta (t,s,x)\), and \(\gamma (t,s,x)\) whose general solution determines the Killing vector fields
The metric is also invariant under SO(d) rotations acting upon \(x_i\). It is straightforward to verify that H is time-like, \(P_i\), and \(K_i\) are space-like, while S is null and covariantly constant. Computing the commutators of the vector fields, one finds
This is a variant of the Newton–Hooke algebra [11]Footnote 5 in which the covariantly constant null vector field S plays the role of the central element. As \(\rho (t)\) in (29) is treated as a fixed function, it does not come as a surprise that the SO(2, 1)-invariance of the original dynamical system (1) is not inherited by the metric (29).
Interestingly enough, the Newton–Hooke symmetry (36) provides another way of obtaining the restriction (31) upon the scale factor \(\rho (t)\). Indeed, the vector fields (36) prove to obey the structure relations (37) without imposing any constraint on \(\rho (t)\). Considering the metric (29) with arbitrary \(\rho (t)\) and requiring it to admit the Killing vector fields (36), one immediately gets (31) from the Killing equation.
The fact that (29) admits the time-like Killing vector field H, provided \(\rho (t)\) obeys (31), implies the spacetime is stationary. To put it in other words, there exists a coordinate system in which the metric does not depend on time. This suggests yet another possibility to arrive at Eq. (31) within the geometric framework. Consider the metric (29) with arbitrary scale factor \(\rho (t)\) and implement the coordinate transformation
which brings it to the form
Requiring the resulting metric to be Lorentzian and stationary, one gets
where L is constant, which reproduces (31). Note that, if (40) is satisfied, (39) gives the Eisenhart metric associated with the isotropic oscillator. The coordinate system (38) is thus the analog of the non-inertial Newton–Hooke reference frame (11).
6 Conclusion
To summarize, in this work we proposed a geometric formulation for a particular dynamical system which describes the isotropic oscillator in arbitrary dimension driven by the one-dimensional conformal mode. In contrast to the conventional Eisenhart prescription, in which coordinates parametrizing the spacetime are associated with degrees of freedom of the original dynamical system, the conformal mode enters the metric as a specific scale factor. The equation which governs its evolution was obtained in three different ways either by imposing the Einstein equations, or demanding the Newton–Hooke isometry group, or requiring the spacetime to be stationary. To the best of our knowledge, the consideration above provides the first example in the literature that the conformal mechanics of de Alfaro, Fubini, and Furlan shows up in the general relativistic context.
Turning to possible further development, it would be interesting to generalize this work to the specific chain of isotropic oscillators driven by \(d=1\) conformal mode which enjoys the so called l-conformal Newton–Hooke symmetry [6].
Notes
It is customary to refer to this algebra as the \(l=\frac{1}{2}\) conformal Newton–Hooke algebra. Note that the equations of motion similar to (1) were first obtained in [7] when constructing dynamical realizations for the so called \(l=1\) conformal Galilei algebra. As compared to (1), the \(\frac{1}{L^2}\) term was absent and the frequency of oscillation was bigger by a factor of two. A geometric formulation for the second equation in (1) (with no \(\frac{1}{L^2}\) term) was first proposed in [8]. An alternative parametrization of the coset space for the l-conformal Newton–Hooke algebra was recently discussed in [9].
When evaluating the commutators, it is to be remembered that the variations act upon the fields \(\rho (t)\) and \(x_i(t)\) and do not affect the temporal coordinate t.
This reference frame also indicates the Lagrangian formulation \(\mathcal {L}=\left( {\dot{\rho }}^2-\frac{\gamma ^2}{\rho ^2}-\frac{\rho ^2}{L^2}\right) +\left( {(\rho x_i)}^{.} {(\rho x_i)}^{.} -\frac{\rho ^2 x_i x_i}{L^2}\right) \) which reproduces the equations of motion (1). We thank S. Krivonos for pointing this out to us. Note that the Eisenhart metric associated with such a Lagrangian does not solve the Einstein equations unless \(\rho \) takes a fixed value as in (9).
The factor \(\frac{d}{2\pi }\), d being the dimension of the x-subspace, is chosen for further convenience.
References
C.P. Ong, Curvature and mechanics. Adv. Math. 15, 269 (1975)
L.P. Eisenhart, Dynamical trajectories and geodesics. Ann. Math. 30, 591 (1929)
C. Duval, G. Burdet, H. Künzle, M. Perrin, Bargmann structures and Newton–Cartan theory. Phys. Rev. D 31, 1841 (1985)
M. Cariglia, C. Duval, G.W. Gibbons, P.A. Horváthy, Eisenhart lifts and symmetries of time-dependent systems. Ann. Phys. 373, 631 (2016). arXiv:1605.01932
S. Coleman, J. Wess, B. Zumino, Structure of phenomenological Lagrangians. 1. Phys. Rev. 177, 2239 (1969)
A. Galajinsky, I. Masterov, Dynamical realizations of l-conformal Newton–Hooke group. Phys. Lett. B 723, 190 (2013). arXiv:1303.3419
S. Fedoruk, E. Ivanov, J. Lukierski, Galilean conformal mechanics from nonlinear realizations. Phys. Rev. D 83, 085013 (2011). arXiv:1101.1658
E. Ivanov, S. Krivonos, V. Leviant, Geometry of conformal mechanics. J. Phys. A 22, 345 (1989)
S. Krivonos, O. Lechtenfeld, A. Sorin, Minimal realization of \(l\) -conformal Galilei algebra, Pais-Uhlenbeck oscillators and their deformation. JHEP 1610, 078 (2016). arXiv:1607.03756
V. de Alfaro, S. Fubini, G. Furlan, Conformal invariance in quantum mechanics. Nuovo Cimento A 34, 569 (1976)
H. Bacry, J.M. Lévy-Leblond, Possible kinematics. J. Math. Phys. 9, 1605 (1968)
G.W. Gibbons, C.E. Patricot, Newton–Hooke space-times, Hpp waves and the cosmological constant. Class. Quantum Gravity 20, 5225 (2003). arXiv:hep-th/0308200
A. Galajinsky, Conformal mechanics in Newton–Hooke spacetime. Nucl. Phys. B 832, 586 (2010). arXiv:1002.2290
Acknowledgements
This work was supported by the Tomsk Polytechnic University competitiveness enhancement program. We thank S. Krivonos for communicating to us that the system (1) is Lagrangian.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Galajinsky, A. Geometry of the isotropic oscillator driven by the conformal mode. Eur. Phys. J. C 78, 72 (2018). https://doi.org/10.1140/epjc/s10052-018-5568-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-5568-8