---
title: Planar Galilean Conformal Algebra
url: https://www.emergentmind.com/topics/planar-galilean-conformal-algebra
type: topic
---

# Planar Galilean Conformal Algebra

The planar Galilean conformal algebra denotes a family of nonrelativistic conformal Lie algebras associated with planar kinematics. In recent representation-theoretic work, the term often refers to the infinite-dimensional algebra generated by \(L_n,H_n,I_n,J_n\) \((n\in\mathbb Z)\), together with its universal central extension, while earlier and parallel literature also uses it for the finite-dimensional \(d=2+1\) Galilean conformal algebra and for the two-dimensional algebra \(GCA_2\) obtained from two Virasoro algebras by contraction [2506.10196] [1212.6288] [2112.03991]. This suggests that the topic is best organized by separating the principal presentations, their central extensions, and their representation theories.

## 1. Principal algebraic presentations

Several standard presentations appear under the same label in the literature.

| Presentation | Characteristic generators | Source |
|---|---|---|
| Finite-dimensional planar GCA | \(H,P_i,G_i,J,D,K,F_i\) in \(d=2\) | [1101.4202] |
| Infinite-dimensional centerless planar GCA \(\mathcal G\) | \(L_n,H_n,I_n,J_n\), \(n\in\mathbb Z\) | [2507.21930] |
| Universal central extension \(G\) | \(L_n,H_n,I_n,J_n\) plus \(\mathbf c_1,\mathbf c_2,\mathbf c_3\) | [2506.10196] |
| \(GCA_2\) from two Virasoro copies | \(L_n,M_n\) with central charges \(c_L,c_M\) | [2112.03991] |

For the centerless infinite-dimensional algebra \(\mathcal G\), the basis is
\[
\{\,L_n,\;H_n,\;I_n,\;J_n\mid n\in\mathbb Z\},
\]
with nonzero brackets
\[
\begin{aligned}
[L_m,L_n]&=(n-m)\,L_{m+n},&
[L_m,H_n]&=n\,H_{m+n},\\
[L_m,I_n]&=(n-m)\,I_{m+n},&
[L_m,J_n]&=(n-m)\,J_{m+n},\\
[H_m,I_n]&=I_{m+n},&
[H_m,J_n]&=-\,J_{m+n}.
\end{aligned}
\]
It is \(\mathbb Z\)-graded by
\[
\mathcal G_n=\mathrm{span}_{\mathbb C}\{L_n,H_n,I_n,J_n\},\qquad \mathcal G=\bigoplus_{n\in\mathbb Z}\mathcal G_n,
\]
and one convention takes the Cartan subalgebra to be
\[
\mathcal H=\mathbb C\,L_0\oplus \mathbb C\,H_0
\]
[2507.21930].

For the universal central extension \(G\), the basis is enlarged by central elements \(\mathbf c_1,\mathbf c_2,\mathbf c_3\), and the additional nonzero brackets are
\[
[L_m,L_n]=(n-m)L_{m+n}+\tfrac{m^3-m}{12}\delta_{m+n,0}\mathbf c_1,
\]
\[
[L_m,H_n]=nH_{m+n}+m^2\delta_{m+n,0}\mathbf c_2,\qquad
[H_m,H_n]=m\delta_{m+n,0}\mathbf c_3.
\]
This yields a triangular decomposition
\[
G=G^-\oplus G^0\oplus G^+,
\]
with \(G^k=\mathrm{Span}\{L_k,H_k,I_k,J_k\}\) for \(k\neq 0\) and
\[
G^0=\mathrm{Span}\{L_0,H_0,I_0,J_0,\mathbf c_1,\mathbf c_2,\mathbf c_3\}
\]
[2506.10196].

The older infinite-dimensional presentation studied by Aizawa uses generators \(L_m,J_m,P_m^i\) \((i=1,2)\) with
\[
[L_m,L_n]=(m-n)L_{m+n},\quad [L_m,P_n^i]=(m-n)P_{m+n}^i,
\]
\[
[L_m,J_n]=-nJ_{m+n},\quad [J_m,P_n^i]=\epsilon_{ij}P_{m+n}^j,
\]
together with vanishing \([J_m,J_n]\) and \([P_m^i,P_n^j]\) in the centerless case [1212.6288].

## 2. Contractions, geometric realizations, and infinite extensions

One major origin of planar Galilean conformal symmetry is nonrelativistic contraction. In the finite-dimensional case, the Galilean conformal algebra is obtained in the limit \(c=\infty\) from the relativistic conformal algebra \(O(d+1,2)\), with planar generators
\[
H,\;P_i,\;G_i,\;J,\;D,\;K,\;F_i,
\]
and nonzero commutators
\[
[D,H]=-H,\qquad [D,K]=K,\qquad [K,H]=-2D,
\]
\[
[H,G_i]=P_i,\qquad [K,G_i]=F_i,\qquad [H,F_i]=2G_i,
\]
\[
[D,P_i]=-P_i,\qquad [D,F_i]=F_i,\qquad [K,P_i]=-2G_i
\]
together with the planar \(O(2)\) action of \(J\) on \(P_i,G_i,F_i\) [1101.4202].

The same work exhibits an infinite-dimensional local extension realized by vector fields
\[
L_n=-t^{n+1}\partial_t-(n+1)t^n x^i\partial_{x^i},\qquad
M_i^{(n)}=t^{n+1}\partial_{x^i},\qquad
J_n=-t^n\epsilon_{ij}x^i\partial_{x^j},
\]
whose nonzero commutators include
\[
[L_m,L_n]=(m-n)L_{m+n},\qquad
[L_m,M_i^{(n)}]=(m-n)M_i^{(m+n)},
\]
\[
[L_m,J_n]=-nJ_{m+n},\qquad
[J_m,M_i^{(n)}]=\epsilon_{ij}M_j^{(m+n)}
\]
[1101.4202].

A different but closely related construction starts from two commuting Virasoro algebras. Defining
\[
L_{n,\epsilon}=L_n^{(1)}+L_n^{(2)},\qquad
M_{n,\epsilon}=\epsilon\bigl(L_n^{(1)}-L_n^{(2)}\bigr),
\]
and taking \(\epsilon\to 0\), one obtains the two-dimensional planar algebra \(GCA_2\) with
\[
[L_n,L_m]=(n-m)L_{n+m}+\frac{c_L}{12}n(n^2-1)\delta_{n+m,0},
\]
\[
[L_n,M_m]=(n-m)M_{n+m}+\frac{c_M}{12}n(n^2-1)\delta_{n+m,0},\qquad
[M_n,M_m]=0
\]
[2112.03991].

The finite-dimensional conformal Galilei algebras \(cgal_N(2)\) provide another planar hierarchy. They are generated by
\[
H,\;D,\;K,\;J,\;C_i^{(k)}\quad (k=0,\dots,N),
\]
have dimension
\[
\dim cgal_N(2)=2N+6,
\]
and integrate to a matrix group
\[
\CGal_N(2)\cong \bigl(O(2)\times SL(2,\mathbb R)\bigr)\ltimes \mathbb R^{2(N+1)}.
\]
Suitable quotients yield Newton–Hooke spacetimes with reduced cosmological constant
\[
\lambda_N=-N
\]
[1104.1502].

## 3. Central extensions and normalization issues

Central extension theory depends strongly on which planar Galilean conformal algebra is under discussion. In the finite-dimensional planar GCA, the only nontrivial central extension in \(d=2\) is the “exotic” one \(\theta\), for which
\[
[G_i,G_j]=\theta\,\epsilon_{ij},\qquad [P_i,F_j]=-2\theta\,\epsilon_{ij},
\]
while no mass central charge survives the conformal contraction [1101.4202]. In the nonlinear-realization treatment of the exotic planar case, the central element is denoted \(\Theta\) and appears through
\[
[B_i,B_j]=i\,\epsilon_{ij}\Theta
\]
[1101.1658].

For the infinite-dimensional algebra of Aizawa, the centrally extended algebra \(\mathfrak g\) has exactly two nontrivial central charges \(\alpha,\beta\), and no exotic extension. The modified brackets are
\[
[L_m,L_n]=(m-n)L_{m+n}+\frac{\alpha}{12}m(m^2-1)\delta_{m+n,0},
\]
\[
[J_m,J_n]=\beta\,m\,\delta_{m+n,0}
\]
[1212.6288].

By contrast, the universal central extension \(\widetilde{\mathcal G}\) studied in Whittaker-module theory is obtained by adjoining three independent central cocycles \(C_1,C_2,C_3\) to the infinite-dimensional algebra generated by \(L_m,H_m,I_m,J_m\). In that normalization, the central terms occur in \([L_n,L_m]\), \([L_n,H_m]\), and \([H_n,H_m]\) [2007.04046]. The 2025 representation-theoretic work uses the same three-central-generator framework, denoted \(\mathbf c_1,\mathbf c_2,\mathbf c_3\) [2506.10196].

For \(GCA_2\), the central structure is again different. The asymmetric contraction of two Virasoro algebras yields
\[
c_L=c_{(1)}+c_{(2)},\qquad
c_M=\lim_{\epsilon\to 0}\epsilon\,(c_{(1)}-c_{(2)}),
\]
so that an asymmetric choice \(c_{(1)}\neq c_{(2)}\) gives \(c_M\neq 0\) [2112.03991].

A common source of confusion is to read these central extensions as mutually incompatible statements about one fixed algebra. The literature instead records different planar Galilean conformal algebras, or different normalizations of closely related ones, and the admissible cocycles depend on the chosen presentation.

## 4. Highest-weight and Whittaker representation theory

The highest-weight theory for the infinite-dimensional planar GCA was developed by Aizawa through a triangular decomposition defined by \(\deg X_n=-n\) for \(X=L,J,P^i\), so that
\[
\mathfrak g=\mathfrak g^-\oplus \mathfrak g^0\oplus \mathfrak g^+,\qquad
\mathfrak g^+=\mathrm{Span}\{X_n\mid n>0\}.
\]
A highest-weight vector \(|0\rangle\) satisfies
\[
\mathfrak g^+|0\rangle=0,\qquad
L_0|0\rangle=h|0\rangle,\qquad
J_0|0\rangle=\mu|0\rangle,\qquad
P_0^i|0\rangle=\rho_i|0\rangle,
\]
and the Verma module is
\[
V^\chi=U(\mathfrak g^-)\otimes |0\rangle.
\]
The Kac determinant is proportional to \((\rho_1^2+\rho_2^2)\) to a positive power at every level \(n>0\), so
\[
V^\chi\ \text{is irreducible}\iff \rho_1^2+\rho_2^2\neq 0
\]
[1212.6288].

For the contracted two-Virasoro algebra \(GCA_2\), highest-weight representations are labeled by \((h,s)\) with
\[
L_0|h,s\rangle=h|h,s\rangle,\qquad M_0|h,s\rangle=s|h,s\rangle,
\]
and
\[
L_n|h,s\rangle=M_n|h,s\rangle=0\qquad (n>0).
\]
The Verma module is generated by the negative modes, and its graded character is
\[
\chi_{h,s}(q,z)=q^{h-\frac{c_L}{24}}z^s\prod_{n=1}^{\infty}\frac{1}{(1-q^n)^2}
\]
[2112.03991].

Whittaker theory has become a central theme for the infinite-dimensional planar algebra and its universal central extension. For a Lie algebra homomorphism \(\phi:\mathcal G^+\to \mathbb C\), one has
\[
\phi(L_m)=0\ (m\ge 3),\qquad
\phi(H_n)=0\ (n\ge 2),\qquad
\phi(I_n)=\phi(J_n)=0\ (n\ge 2),
\]
so only
\[
\phi(L_1),\;\phi(L_2),\;\phi(H_1),\;\phi(I_1),\;\phi(J_1)
\]
may be nonzero. The type \(\phi\) is called nonsingular if
\[
\phi(I_1)\phi(J_1)\neq 0.
\]
The universal Whittaker module \(M(\phi)\) and the generic quotient \(L_{\phi,\xi}\) are simple if and only if \(\phi\) is nonsingular. In the nonsingular case, the Whittaker vectors in the universal module are exactly
\[
\{\,p(C_1,C_2,C_3)w\mid p\in\mathbb C[x_1,x_2,x_3]\},
\]
whereas in the generic quotient the Whittaker vectors are only the scalars of \(w\) [2007.04046].

A recent refinement introduces the induced modules
\[
W_{\psi_{m,n}}=\operatorname{Ind}_{G^{(m,n)}}^G \mathbb C w_{\psi_{m,n}},
\]
where
\[
G^{(m,n)}=\mathrm{Span}\{L_{m+i},H_{m+i},I_{n+i},J_{n+i}\mid i\in\mathbb N\}\oplus \mathrm{Span}\{\mathbf c_1,\mathbf c_2,\mathbf c_3\}.
\]
If \(m\in\mathbb Z_+\), \(n\in\mathbb N\), and \(m,n\) have the same parity, then
\[
W_{\psi_{m,n}}\ \text{is irreducible}\iff
\psi_{m,n}(I_{m+n-1})\,\psi_{m,n}(J_{m+n-1})\neq 0
\]
[2506.10196].

## 5. \(U(\mathfrak h)\)-free modules and tensor-product constructions

The planar Galilean conformal algebra admits extensive families of non-weight modules that are free of rank one over an appropriate Cartan subalgebra. For the centerless algebra with \(\mathcal H=\mathbb C L_0\oplus \mathbb C H_0\), a \(\mathcal G\)-module \(M\) is \(U(\mathcal H)\)-free of rank \(1\) if \(M\cong U(\mathcal H)\) as a \(U(\mathcal H)\)-module, equivalently \(M\cong \mathbb C[s,t]\) with \(L_0\) and \(H_0\) acting by shift on the polynomial variables. The simple modules of this type are exactly the two families
\[
\Omega(\lambda,\sigma,\eta)=\mathbb C[s,t],\qquad
\Gamma(\lambda,\sigma,\eta)=\mathbb C[x,y],
\]
with actions
\[
\begin{aligned}
L_n f(s,t)&=\lambda^n(s+nt+n\eta)f(s-n,t),\\
H_n f(s,t)&=\lambda^n t f(s-n,t),\\
I_n f(s,t)&=\lambda^n \sigma f(s-n,t-1),\qquad
J_n f(s,t)=0,
\end{aligned}
\]
and
\[
\begin{aligned}
L_n g(x,y)&=\lambda^n(x+ny+n\eta)g(x-n,y),\\
H_n g(x,y)&=\lambda^n y g(x-n,y),\\
I_n g(x,y)&=0,\qquad
J_n g(x,y)=\lambda^n \sigma g(x-n,y+1),
\end{aligned}
\]
respectively [2507.21930].

In the normalization used for tensor products of rank-one free modules, one works with
\[
\Omega(\lambda,\eta,\sigma,0),\qquad
\Omega(\lambda,\eta,0,\tau),\qquad
\Omega(\lambda,\delta,0,0),
\]
where the third family is always reducible, while the first two are irreducible precisely for \(\sigma\in\mathbb C^*\) and \(\tau\in\mathbb C^*\) [2506.14893].

A sharp simplicity criterion governs tensor products of two irreducible rank-one factors. In each of the mixed, \(I\)-type, and \(J\)-type cases,
\[
\Omega(\lambda_1,\cdots)\otimes \Omega(\lambda_2,\cdots)\ \text{is irreducible}\iff \lambda_1\neq \lambda_2.
\]
When \(\lambda_1=\lambda_2\), one can write explicit proper submodules; when \(\lambda_1\neq \lambda_2\), Vandermonde-type arguments force any nonzero submodule to contain \(1\otimes 1\), and hence the entire tensor product [2506.14893].

This two-factor criterion extends to arbitrary finite products. If
\[
T=\Bigl(\bigotimes_{k=1}^{m_1}\Omega(\lambda_k,\sigma_k,\eta_k)\Bigr)\otimes
\Bigl(\bigotimes_{k=m_1+1}^{m}\Gamma(\lambda_k,\sigma_k,\eta_k)\Bigr)\otimes V,
\]
where \(V\) is a simple restricted \(\mathcal G\)-module, then
\[
T\ \text{is simple}\iff \{\lambda_1,\dots,\lambda_m\}\ \text{consists of pairwise distinct nonzero complex numbers}.
\]
The corresponding isomorphism classes are determined by equality of \(m_1,m_2\), isomorphism \(V\cong W\), and equality of the parameter multisets for the \(\Omega\)- and \(\Gamma\)-factors separately [2507.21930].

For the universal central extension \(G\), one further obtains that
\[
\Omega(\lambda,\eta,\sigma,0)\otimes R\ \text{is irreducible}\iff \sigma\in\mathbb C^*,
\]
\[
\Omega(\lambda,\eta,0,\sigma)\otimes R\ \text{is irreducible}\iff \sigma\in\mathbb C^*,
\]
for any irreducible restricted \(G\)-module \(R\). Two such tensor products are isomorphic precisely when the parameters coincide and the restricted factors are isomorphic, and the “\(I\)-type” and the “\(J\)-type” families never mix [2506.10196].

## 6. Rigidity results and adjacent developments

The planar Galilean conformal algebra also appears in rigidity, mechanics, and higher-spin contexts. In one presentation, Wu and Zhang consider the Lie algebra
\[
W=\langle L_m,H_m,I_m,J_m\mid m\in\mathbb Z\rangle
\]
with
\[
[L_m,L_n]=(m-n)L_{m+n},\quad [L_m,H_n]=-nH_{m+n},
\]
\[
[L_m,I_n]=(m-n)I_{m+n},\quad [L_m,J_n]=(m-n)J_{m+n},
\]
\[
[H_m,I_n]=J_{m+n},\quad [H_m,J_n]=-I_{m+n},
\]
and prove that every \(\tfrac12\)-derivation is scalar:
\[
D=\lambda\,\mathrm{id}_W,\qquad \lambda\in\mathbb C.
\]
As a corollary, all transposed Poisson structures on \(W\) are trivial [2310.03282]. This is a structural rigidity statement for that presentation of the planar GCA.

In the finite-dimensional \(2+1\)-dimensional \(\ell\)-conformal Galilei setting, a minimal realization on a single complex field produces invariant actions whose Euler–Lagrange equations are the complex Pais–Uhlenbeck oscillator equations. For half-integer \(\ell\),
\[
S_{PU}=\int dt\;\Bigl[
i\,\bar u\;\prod_{k=0}^{\ell-1/2}\Bigl(\frac{d^2}{dt^2}+(2k+1)^2w^2\Bigr)u
\Bigr],
\]
while for integer \(\ell\),
\[
S_{PU}=\int dt\;\Bigl[
\bar u\;\prod_{k=1}^{\ell}\Bigl(\frac{d^2}{dt^2}+(2kw)^2\Bigr)u
\Bigr].
\]
The same work introduces a minimal deformation of the \(\ell=\tfrac12\) conformal Galilei algebra and the corresponding invariant action [1607.03756].

In three-dimensional gauge-theoretic applications, the Galilean limit of conformal algebra has been extended to a spin-3 sector. The resulting algebra contains the planar spin-2 generators together with
\[
SP_a,\;SH,\;SJ_{ab},\;SB_a,\;SC,\;t_{++},\;t_{--},\;SK_a,\;SK_0,
\]
and is realized in a Chern–Simons theory with connection one-form built from both spin-2 and spin-3 fields [2212.13944].

Taken together, these developments show that the planar Galilean conformal algebra is not only a representation-theoretic object but also a contraction framework, a source of non-weight module categories, a rigidity testbed for generalized Poisson structures, and a symmetry algebra for nonrelativistic mechanics and higher-spin gauge theory.

Source: https://www.emergentmind.com/topics/planar-galilean-conformal-algebra