Schrödinger group explained

The Schrödinger group is the symmetry group of the free particle Schrödinger equation. Mathematically, the group SL(2,R) acts on the Heisenberg group by outer automorphisms, and the Schrödinger group is the corresponding semidirect product.

Schrödinger algebra

The Schrödinger algebra is the Lie algebra of the Schrödinger group. It is not semi-simple. In one space dimension, it can be obtained as a semi-direct sum of the Lie algebra sl(2,R) and the Heisenberg algebra; similar constructions apply to higher spatial dimensions.

It contains a Galilei algebra with central extension.

[J _{a,J} _{b]=i} \epsilon _{abc} J _{c,} [J _{a,P} _{b]=i} \epsilon _{abc} P _{c,} [J _{a,K} _{b]=i} \epsilon _{abc} K _{c,} [P _{a,P} _{b]=0,} [K _{a,K} _{b]=0,} [K _{a,P} _{b]=i} \delta _{ab} M, [H,J _{a]=0,} [H,P _{a]=0,} [H,K _{a]=i} P _{a.}

where

J _{a,} P _{a,} K _{a,} H are generators of rotations (angular momentum operator), spatial translations (momentum operator), Galilean boosts and time translation (Hamiltonian) respectively. (Notes: i is the imaginary unit, i ^{2=-1} . The specific form of the commutators of thegenerators of rotation J _{a} is the one of three-dimensional space, then a,b,c =1 ,\ldots, 3 .). The central extension M has an interpretation as non-relativistic mass and corresponds to the symmetry of Schrödinger equation under phase transformation (and to the conservation of probability).

There are two more generators which we shall denote by D and C. They have the following commutation relations:

[H,C] = i D, [C,D] =-2 i C, [H,D] =2 i H, [P _{a,D]=i} P _{a,} [K _{i,D]=-iK} _{a,} [P _{a,C]=-iK} _{a,[K} _{a,C]=0,} [J _{a,C]=[J} _{a,D]=0.}

The generators H, C and D form the sl(2,R) algebra.

A more systematic notation allows to cast these generators into the four (infinite) families

X _{n,} Y ^{(j)} _{m} , M _{n} and R ^{(jk)} _{n} =- R ^{(kj)} _{n} , where n ∈ ℤ is an integer and m ∈ ℤ+1/2 is a half-integer and j,k=1,...,d label the spatial direction, in d spatial dimensions. The non-vanishing commutators of the Schrödinger algebra become (euclidean form)[X _{n,} X _{n'} ] = (n - n') X _{n+n'} [X _{n,} Y ^{(j)} _{m} ] = \left( {n\over 2 } - m\right) Y ^{(j)} _{n + m} [X _{n,} M _{n'} ] = - n' M _{n+n'} [X _{n,} R ^{(jk)} _{n'} ] = - n' R ^{(jk)} _{n'} [Y ^{(j)} _{m} , Y ^{(k)} _{m'} ] = \delta _{j,k} (m - m') M _{m+m'} [R ^{(ij)} _{n} ,Y ^{(k)} _{m} ] = \delta _{i,k} Y ^{(j)} _{n + m} - \delta _{j,k} Y ^{(i)} _{n + m} [R ^{(ij)} _{n} ,R ^{(kl)} _{n'} ] = \delta _{i,k} R ^{(jl)} _{n + n'} + \delta _{j,l} R ^{(ik)} _{n + n'} - \delta _{i,l} R ^{(jk)} _{n + n'} - \delta _{j,k} R ^{(il)} _{n + n'}

The Schrödinger algebra is finite-dimensional and contains the generators

X _{-1,0,1} , Y ^{(j)} _{-1 / 2 , 1 / 2} , M _{0,} R ^{(jk)} _{0} .In particular, the three generators X _{-1} = H, X _{0=D,} X _{1} = C span the sl(2,R) sub-algebra. Space-translations are generated byY ^{(j)} _{-1 / 2} and the Galilei-transformations by Y ^{(j)} _{1 / 2} .

In the chosen notation, one clearly sees that an infinite-dimensional extension exists, which is called the Schrödinger–Virasoro algebra.Then, the generators

X _{n} with n integer span a loop-Virasoro algebra. An explicit representation as time-space transformations is given by, with n ∈ ℤ and m ∈ ℤ+1/2^[1] X _{n} = - t ^{n+1} \partial _{t} - {n +1 \over 2 }t ^{n\vec{r} ⋅ \partial} _{\vec{r} } -t^ \vec\cdot\vec -(n+1) t^n Y ^{(j)} _{m} = - t ^{m+1/2} \partial _{r _{j}} - \left(m + { 1 \over 2 }\right) {\cal M} t ^{m-1/2} r _{j} M _{n} = - t ^{n} {\cal M} R ^{(jk)} _{n} = - t ^{n} \left( r _{j} \partial _{r _{k}} - r _{k} \partial _{r _{j}} \right)

This shows how the central extension

M _{0} of the non-semi-simple and finite-dimensional Schrödinger algebra becomes a component of an infinite family in the Schrödinger–Virasoro algebra. In addition, and in analogy with either the Virasoro algebra or the Kac–Moody algebra, further central extensions are possible. However, a non-vanishing result only exists for the commutator[X _{n,} X _{n'} ] , where it must be of the familiar Virasoro form, namely [X _{n,} X _{n'} ] = (n - n') X _{n+n'} + {c\over 12 }(n ^{3- n)\delta} _{n + n', 0} or for the commutator between the rotations R ^{(jk)} _{n} , where it must have a Kac-Moody form. Any other possible central extension can be absorbed into the Lie algebra generators.

The role of the Schrödinger group in mathematical physics

Though the Schrödinger group is defined as symmetry group of the free particle Schrödinger equation, it is realized in some interacting non-relativistic systems (for example cold atoms at criticality).

The Schrödinger group in spatial dimensions can be embedded into relativistic conformal group in dimensions . This embedding is connected with the fact that one can get the Schrödinger equation from the massless Klein–Gordon equation through Kaluza–Klein compactification along null-like dimensions and Bargmann lift of Newton–Cartan theory. This embedding can also be viewed as the extension of the Schrödinger algebra to the maximal parabolic sub-algebra of .

The Schrödinger group symmetry can give rise to exotic properties to interacting bosonic and fermionic systems, such as the superfluids in bosons^[2],^[3] and Fermi liquids and non-Fermi liquids in fermions.^[4] They have applications in condensed matter and cold atoms.

The Schrödinger group also arises as dynamical symmetry in condensed-matter applications: it is the dynamical symmetry of theEdwards–Wilkinson model of kinetic interface growth.^[5] It also describes the kinetics of phase-ordering, after a temperature quench from the disordered to the ordered phase, in magnetic systems.

References

• C. R. Hagen, "Scale and Conformal Transformations in Galilean-Covariant Field Theory", Phys. Rev. D5, 377–388 (1972)
• U. Niederer, "The maximal kinematical invariance group of the free Schroedinger equation", Helv. Phys. Acta 45, 802 (1972)
• G. Burdet, M. Perrin, P. Sorba, "About the non-relativistic structure of the conformal algebra", Comm. Math. Phys. 34, 85 (1973)
• M. Henkel, "Schrödinger-invariance and strongly anisotropic critical systems", J. Stat. Phys. 75, 1023 (1994)
• M. Henkel, J. Unterberger, "Schrödinger-invariance and space-time symmetries", Nucl. Phys. B660, 407 (2003)
• A. Röthlein, F. Baumann, M. Pleimling, "Symmetry-based determination of space-time functions in nonequilibrium growth processes", Phys. Rev. E74, 061604 (2006) -- erratum E76, 019901 (2007)
• D.T. Son, "Towards an AdS/cold atoms correspondence: A geometric realization of the Schrödinger symmetry", Phys. Rev. D78, 046003 (2008)
• A. Bagchi, R. Gopakumar, "Galilean Conformal Algebras and AdS/CFT", JHEP 0907:037 (2009)
• M. Henkel, M. Pleimling, Non-equilibrium phase transitions, vol 2: ageing and dynamical scaling far from equilibrium, (Springer, Heidelberg 2010)
• J. Unterberger, C. Roger, The Schrödinger-Virasoro algebra, (Springer, Heidelberg 2012)

See also

• Schrödinger equation
• Galilean transformation
• Poincaré group

Notes and References

1. M. Henkel, J. Stat. Phys. 75, 1023 (1994)
2. Son . Dam T . Toward an AdS/cold atoms correspondence: A geometric realization of the Schrödinger symmetry . Physical Review D . 78 . 4 . August 2008 . 2470-0029 . 10.1103/PhysRevD.78.046003 . 046003 . 0804.3972. 52065807 .
3. Adams . A. . Wang . J. . Towards a Non-Relativistic Holographic Superfluid . New Journal of Physics . 13 . November 2011 . 11 . 115008 . 10.1088/1367-2630/13/11/115008 . 1103.3472. 53622530 .
4. Wang . J. . Schrödinger Fermi Liquids . Physical Review D . 89 . 4 . February 2014 . 2470-0029 . 10.1103/PhysRevD.89.046008 . 046008 . 1301.1986. 56145316 .
5. M. Henkel, Eur. Phys. J. Spec. Topics 226, 605 (2017)