A fuzzy bipolar celestial sphere

TL;DR

This paper introduces a non-commutative deformation of bipolar spherical harmonics that supports Lorentz symmetry and imposes a maximal angular momentum, advancing the understanding of fuzzy celestial models.

Contribution

It presents a novel non-commutative algebra for bipolar spherical harmonics compatible with Lorentz symmetry and maximal angular momentum.

Findings

Supports Lorentz algebra action on non-commutative harmonics

Establishes a maximal angular momentum in the fuzzy model

Provides explicit Lorentz boost generator actions

Abstract

We introduce a non-commutative deformation of the algebra of bipolar spherical harmonics supporting the action of the full Lorentz algebra. Our construction is close in spirit to the one of the non-commutative spherical harmonics associated to the fuzzy sphere and, as such, it leads to a maximal value of the angular momentum. We derive the action of Lorentz boost generators on such non-commutative spherical harmonics and show that it is compatible with the existence of a maximal angular momentum.

Figures

Equations

$$d{s}^2={\eta }_{\mu \nu }d{x}^{\mu }d{x}^{\nu }=-(d{x}^0{)}^2+(d{x}^1{)}^2+(d{x}^2{)}^2+(d{x}^3{)}^2,$$

$$x^1\pm i{x}^2=r{e}^{\pm i\varphi }\sin \theta ,x^3=r\cos \theta ,$$

$$\zeta =e^{i\varphi }\tan \frac{\theta }{2}=\frac{x^1+i{x}^2}{r+x^3},\bar{\zeta }={\zeta }^{\ast }.$$

$${\zeta }^{\prime }=\frac{a\zeta +b}{c\zeta +d},ad-bc=1,$$

$$u^{\prime }=\frac{1+\text{absolutevalue}{\zeta }^2}{\text{absolutevalue}{a\zeta +b}^2+\text{absolutevalue}{c\zeta +d}^2}u\equiv K(\zeta ,\bar{\zeta })u,\text{absolutevalue}{\zeta }^2\equiv \zeta \bar{\zeta },$$

$$d{s}^2=d{\theta }^2+{\sin }^2\theta d{\varphi }^2=\frac{4}{{\left(1+\text{absolutevalue}{\zeta }^2\right)}^2}d\zeta d\bar{\zeta },$$

$$d{s}^{\prime 2}=$$

$$=$$

$$A=\pm \left(\begin{array}{cc}a& b\\ c& d\end{array}\right),ad-bc=1.$$

$$L_{\hat{n}}(\phi )=\pm \left(\begin{array}{cc}\cos \frac{\phi }{2}-i\cos \theta \sin \frac{\phi }{2}& -i\sin \theta \sin \frac{\phi }{2}{e}^{-i\varphi }\\ & \\ -i\sin \theta \sin \frac{\phi }{2}{e}^{i\varphi }& \cos \frac{\phi }{2}+i\cos \theta \sin \frac{\phi }{2}\end{array}\right),$$

$$R_{\hat{n}}(\chi )=\pm \left(\begin{array}{cc}\cosh \frac{\chi }{2}-\cos \theta \sinh \frac{\chi }{2}& -\sin \theta \sinh \frac{\chi }{2}{e}^{-i\varphi }\\ & \\ -\sin \theta \sinh \frac{\chi }{2}{e}^{i\varphi }& \cosh \frac{\chi }{2}+\cos \theta \sinh \frac{\chi }{2}\end{array}\right).$$

$$K^2(\zeta ,\bar{\zeta })=\frac{1}{[\gamma (1-\frac{\text{v}\cdot \hat{\text{r}}}{c}){]}^2}.$$

$$L_x=i\left(\sin \phi \frac{\partial }{\partial \theta }+\cot \theta \cos \phi \frac{\partial }{\partial \varphi }\right),$$

$$L_y=i\left(-\cos \phi \frac{\partial }{\partial \theta }+\cot \theta \sin \phi \frac{\partial }{\partial \varphi }\right),$$

$$L_z=-i\frac{\partial }{\partial \varphi },$$

$$R_x=-i\left(\cos \theta \cos \phi \frac{\partial }{\partial \theta }-\frac{\sin \phi }{\sin \theta }\frac{\partial }{\partial \varphi }-u\sin \theta \cos \phi \frac{\partial }{\partial u}\right),$$

$$R_y=-i\left(\cos \theta \sin \phi \frac{\partial }{\partial \theta }+\frac{\cos \phi }{\sin \theta }\frac{\partial }{\partial \varphi }-u\sin \theta \sin \phi \frac{\partial }{\partial u}\right),$$

$$R_z=i\left(\sin \theta \frac{\partial }{\partial \theta }+u\cos \theta \frac{\partial }{\partial u}\right),$$

$$[L_i,L_j]=i{ϵ}_{ijk}{L}_k,[R_i,R_j]=-i{ϵ}_{ijk}{L}_k,[L_i,R_j]=i{ϵ}_{ijk}{R}_k.$$

$$\int d\Omega Y_{l_1{m}_1}^{\ast }(\theta ,\phi )Y_{l_2{m}_2}(\theta ,\phi )={\delta }_{l_1{l}_2}{\delta }_{m_1{m}_2},$$

$$f(\theta ,\varphi )=\sum _{l=0}^{\infty }\sum _{m=-l}^l{f}_{lm}{Y}_{lm}(\theta ,\varphi ),$$

$$f_{lm}=\int d\Omega Y_{lm}^{\ast }(\theta ,\phi )f(\theta ,\varphi ).$$

$$Y_{l_1{m}_1}{Y}_{l_2{m}_2}=\sum _{l=\text{absolutevalue}{l}_1-l_2}^{l_1+l_2}\sum _{m=-l}^l\sqrt{\frac{(2l_1+1)(2l_2+1)}{4\pi (2l+1)}}{C}_{l_{1}0l_{2}0}^{l0}{C}_{l_1{m}_1{l}_2{m}_2}^{lm}{Y}_{lm}.$$

$$L_{+}=L_x+i{L}_y=e^{i\phi }\left(\frac{\partial }{\partial \theta }+i\cot \theta \frac{\partial }{\partial \varphi }\right),$$

$$L_{-}=L_x-i{L}_y=-e^{-i\phi }\left(\frac{\partial }{\partial \theta }-i\cot \theta \frac{\partial }{\partial \varphi }\right),$$

$$L_z=-i\frac{\partial }{\partial \varphi },$$

$$R_{+}=R_x+i{R}_y=-i{e}^{i\phi }\left(\cos \theta \frac{\partial }{\partial \theta }+\frac{i}{\sin \theta }\frac{\partial }{\partial \varphi }-u\sin \theta \frac{\partial }{\partial u}\right),$$

$$R_{-}=R_x-i{R}_y=-i{e}^{-i\phi }\left(\cos \theta \frac{\partial }{\partial \theta }-\frac{i}{\sin \theta }\frac{\partial }{\partial \varphi }-u\sin \theta \frac{\partial }{\partial u}\right),$$

$$R_z=i\left(\sin \theta \frac{\partial }{\partial \theta }+u\cos \theta \frac{\partial }{\partial u}\right).$$

$$L_{+}(Y_{lm})=\sqrt{l(l+1)-m(m+1)}{Y}_{l,m+1},$$

$$L_{-}(Y_{lm})=\sqrt{l(l+1)-m(m-1)}{Y}_{l,m-1},$$

$$L_z(Y_{lm})=m{Y}_{lm},$$

$$R_{+}(Y_{lm})$$

$$-i(l+1)\sqrt{\frac{(l-m-1)(l-m)}{4l^2-1}}{Y}_{l-1,m+1},$$

$$R_{-}(Y_{lm})$$

$$+i(l+1)\sqrt{\frac{(l+m-1)(l+m)}{4l^2-1}}{Y}_{l-1,m-1},$$

$$R_z(Y_{lm})$$

$$-i(l+1)\sqrt{\frac{(l+m)(l-m)}{4l^2-1}}{Y}_{l-1,m}.$$

$$u^{\prime }$$

$$\equiv u+\sum _{l\in \{0,1\}}\sum _{m=-l}^l{\alpha }_{lm}{Y}_{lm}(\theta ,\varphi ),$$

Full text

1 Introduction

The discovery of the connection between soft theorems in quantum field theory, the memory effect and asymptotic symmetries has revealed an unexpected richness in the infrared structure of gauge theories He:2014laa ; Strominger:2014pwa ; Strominger:2017zoo . In gravity, the corner of this infrared triangle represented by the symmetries of asymptotically flat spacetimes has been subject of a revived interest, mainly due to the potential role of the BMS (Bondi-Metzner-Sachs) group Sachs:1962zza in the resolution of the black hole information paradox Hawking:2016msc ; Hawking:2016sgy . In this context, the existence of an infinite number of conserved charges associated with BMS symmetries Barnich:2001jy ; Barnich:2011mi ; Banks:2014iha can equip the black hole with the soft hair Donnay:2015abr ; Donnay:2016ejv needed to support correlations between the interior of the black hole and the emitted Hawking quanta. To date, however, the exact mechanism from which the information can be recovered through the BMS charges is not known. Connected to this line of thought is the possibility that modes of a near-horizon BMS symmetry might provide the degrees of freedom needed to microscopically reproduce the Bekenstein-Hawking entropy Carlip:2017xne ; Haco:2018ske . One of the obstacles in making such identification concrete is that the actual degrees of freedom which can be associated to BMS charges are too many, in fact infinite, while the Bekenstein-Hawking entropy, albeit large, is finite and proportional to the black hole area divided by the Planck length squared. This is already evident in the simplest formulation of the BMS group as the semidirect product of the Lorentz group and the abelian group of supertranslations. The latter are indexed by the angular momentum of spherical harmonics on the celestial sphere and are infinite in number since one can have infinite angular resolution on such sphere.

In this note we explore the possibility of constructing a non-commutative deformation of the algebra of spherical harmonics supporting an action of the Lorentz algebra and exhibiting a maximal angular resolution. We show how such task cannot be accomplished using only one set of non-commutative spherical harmonics similar to the one used in the literature to describe a non-commutative analogue of the two-sphere, the so-called fuzzy sphere Madore:1991bw . We find, however, that a matrix generalization of the algebra of bipolar spherical harmonics Varshalovich:1988ye can be constructed, exhibiting a cut-off in the angular modes and carrying a representation of the full Lorentz algebra.

In the standard picture, Lorentz boosts acting on the celestial sphere do not commute with the total angular momentum operator and hence they connect spherical harmonics with different values of the angular momentum. One remarkable aspect of our construction is that the action of Lorentz boosts on the algebra of non-commutative bipolar spherical harmonics is found to be compatible with the existence of a maximal angular momentum and cannot produce harmonics labelled with an arbitrarily high angular momentum.

In the next three Sections we recall some basic facts about the asymptotic structure of Minkowski spacetime, showing the action of the Poincaré and the BMS algebra on the celestial sphere. We then review the fuzzy sphere and in particular we will focus on the mapping of ordinary spherical harmonics to the so-called fuzzy spherical harmonics, characterized by a maximal angular momentum. Finally we extend such construction in order to introduce an action of the full Lorentz algebra which is consistent with the existence of a maximal value of the angular momentum. We close with a short summary and an outline for future developments.

2 The Celestial Sphere

We start by recalling the notion of celestial sphere focusing for simplicity on Minkowski spacetimeOblak:2015qia ; Boyle:2015nqa , but keeping in mind that the same definition can be given for any asymptotically flat spacetime, since it relies only on asymptotic properties. Given the Minkowski line element in cartesian coordinates

[TABLE]

we first pass to ordinary spherical coordinates $(r,\theta,\phi)$,

[TABLE]

and then switch from the inertial time coordinate $x^{0}$ to the retarded time $u=x^{0}-r$. Consider now an observer emitting a light ray at $x^{0}=0$ and $r=0$ in a direction $(\theta,\phi)$. We can assign to any point at finite distance along that ray the coordinates $(u,r,\theta,\phi)$. Here $r$ is just an affine parameter along the geodesic representing the null ray and can be thought as a measure of the distance between the emitter and the particular point considered, in the frame of the emitter. Notice that $u$ is constant along that ray (and is always equal to [math] for the particular ray considered). The set $(u,r,\theta,\phi)$ is called a retarded Bondi coordinate system.

Future null infinity $\mathscr{I}^{+}$ can be defined as the asymptotic null region obtained by sending $r,x^{0}\rightarrow\infty$ while keeping the retarded time $u=x^{0}-r$ constant. In such limit a light ray will intersect $\mathscr{I}^{+}$ in a point, which we label by $(u,\theta,\varphi)$. By sending light rays in all possible directions one can cover the entire future null cone $\mathscr{N}$. At null infinity this cone will intersect $\mathscr{I}^{+}$ on a sphere $\mathscr{S}^{+}$, spanned by the coordinates $\theta$ and $\phi$. Similarly, it is possible to define a coordinate system on the past null cone, using ingoing null rays and the advanced time $v=x^{0}+r$ which is constant along them. The Minkowski conformal diagram is represented in Figure 1.

For any fixed value of the retarded time $u$, the points of $\mathscr{I}^{+}$ are spheres $\mathscr{S}^{+}$ of infinite radius, called celestial spheres. They are the spheres of all directions towards which an observer at $r=0$ can look. Alternatively, it is possible to give a definition of celestial sphere Penrose:1987uia , which does not rely on a particular choice of coordinates. It can be defined as the set of future-directed null directions passing through a point, i.e. the complex projective line $\mathbb{C}\mathbb{P}^{1}\simeq\mathbb{S}^{2}$. This will be very useful in the following. Notice that for any asymptotically flat spacetime future null infinity is always a 3-dimensional $\mathbb{S}^{2}\times\mathbb{R}$ manifold, whose $\mathbb{S}^{2}$ component is the celestial sphere $\mathscr{S}^{+}$.

3 Lorentz transformations of the celestial sphere

The connected component of the Lorentz group consists of transformations $x^{\prime\mu}=\Lambda^{\mu}{}_{\nu}x^{\nu}$ which relate the coordinates of two different inertial observers. They are isometries of the line element (1). In order to describe the action of such transformations on the celestial sphere, we start by introducing complex stereographic coordinates $(\zeta,\bar{\zeta})$ for each point of the sphere.

[TABLE]

Then, it turns out Alessio:2017lps that any Lorentz transformation on $\mathscr{I}^{+}$ for the stereographic coordinates is given by a Möbius map,

[TABLE]

while the retarded time transforms as

[TABLE]

i.e. $u$ undergoes an angle-dependent rescaling. Equations (4) and (5) express the relations bewteen the coordinates on the celestial sphere associated to two different inertial observers. Note that the Möbius maps of (4) are just the group of complex projective transformations of the above mentioned complex projective line $\mathbb{C}\mathbb{P}^{1}$ and that the induced metric on the celestial sphere undergoes a conformal transformation. Indeed, the line element of the unit sphere is

[TABLE]

under (4) transforms as

[TABLE]

i.e a conformal rescaling with conformal factor $K(\zeta,\bar{\zeta})$. Equations (4),(5) tell us that Lorentz transformations on the celestial sphere are described by $\mathrm{SL}(2,\mathbb{C})/\mathbb{Z}_{2}$ matrices

[TABLE]

In particular, a general rotation of an angle $\varphi$ and of a boost of rapidity $\chi$ about an axis $\hat{n}=(\cos\phi\sin\theta,\sin\phi\sin\theta,\cos\theta)$ are described by the following $\mathrm{SL}(2,\mathbb{C})/\mathbb{Z}_{2}$ matrices

[TABLE]

Notice that $L_{\hat{n}}(\varphi)$ is an $\mathrm{SU}(2)$ transformation while $R_{\hat{n}}(\chi)$ is not. Indeed, for any rotation the conformal factor is $K(\zeta,\bar{\zeta})=1$, because rotations are pure isometries of the 2-sphere, while the boosts are only conformal symmetries.

For example a rotation about the axis $x^{3}$ of an angle $\varphi$ is expressed by $\zeta^{\prime}=e^{-i\varphi}\zeta$, i.e. a rotation on $\mathbb{C}_{\zeta}$ (see Figure 3). Two observers that are rotated about the axis $x^{3}$ see the same celestial sphere, but their coordinates are rotated. Rotations of the celestial sphere map into rotations of the complex plane.

On the other hand, a boost of rapidity $\chi$ along the $x^{3}$ axis is given by $\zeta^{\prime}=e^{-\chi}\zeta$. In this case, the two inertial observers still see the same celestial sphere, but the points of the celestial sphere of the boosted observer are dragged away from the south pole and come closer to the north pole as $\chi$ increases. On the complex plane this corresponds to a contraction, as shown in Figure 4.

Furthermore, it is possible to show Boyle:2015nqa that the conformal factor of boosts is related to the Lorentz factor $\gamma$ through the following relation

[TABLE]

If all the stars in one observer’s sky are thought of as projected onto its celestial sphere, two boosted observer see a different night sky Misner:1974qy . This is the classical phenomenon of stellar aberration.

The infinitesimal transformations of (4),(5) are described by the following vector fields on on $\mathscr{I}^{+}$,

[TABLE]

and it is easy to prove Alessio:2017lps that they are a representation of the Lorentz algebra on $\mathscr{I}^{+}$ and on the celestial sphere, having fixed the value of $u$:

[TABLE]

The celestial sphere, as a smooth manifold, is a 2-sphere $S^{2}$ and the commutative algebra of smooth functions defined on it, which will be denoted by $C(S^{2})$, is generated by the spherical harmonics $\{Y_{lm}(\theta,\phi)\}$, which provide an orthonormal and complete basis with inner product given by

[TABLE]

Thus, any smooth function $f(\theta,\phi)\in C(S^{2})$ can be expanded as

[TABLE]

with the components of the expansion given by

[TABLE]

The product of two spherical harmonics can expressed in terms of a linear combination of spherical harmonics using the Clebsch-Gordan coefficients:

[TABLE]

Note that such product is commutative, since $C^{l0}_{l_{1}0l_{2}0}C^{lm}_{l_{1}m_{1}l_{2}m_{2}}=C^{l0}_{l_{2}0l_{1}0}C^{lm}_{l_{2}m_{2}l_{1}m_{1}}$ and that the maximum value of the angular momentum $l$ is given by $l_{\mathrm{max}}=l_{1}+l_{2}$.

Let us now consider the ladder operators

[TABLE]

Their action on spherical harmonics $Y_{lm}(\theta,\phi)$ is given by Varshalovich:1988ye :

[TABLE]

[TABLE]

Notice that since the total angular momentum $L^{2}$ does not commute with the boosts $R_{i}$, the action of a boost on a spherical harmonic changes in general its total angular momentum $l$.

4 Aside: translations and supertranslations on the celestial sphere

So far, we have discussed what is the effect of Lorentz transformations on the celestial sphere. The isometries of Minkowski space however comprise also the four-translations $x^{\prime\mu}=x^{\mu}+\delta x^{\mu}$. In this section we describe their effect on the celestial sphere. Any infinitesimal time translation $x^{\prime 0}=x^{0}+\delta x^{0}$ clearly maps $u$ into $u^{\prime}=u+\delta x^{0}$. It means that the first observer will see the same celestial sphere of the second after a proper time interval $\delta x^{0}$. The two celestial spheres are just shifted in time by $\delta x^{0}$. A displacement by an infinitesimal spatial vector $\delta\vec{x}$ induces the transformation $u^{\prime}=u+\frac{\vec{x}\cdot\delta\vec{x}}{r}$ and thus we can write an infinitesimal four-translation $\delta x^{\mu}$ of the retarded time using spherical harmonics as

[TABLE]

where

[TABLE]

While $\mathrm{SL}(2,\mathbb{C})/\mathbb{Z}_{2}$ is a symmetry group at null infinity both for Minkowski spacetime and for asymptotically flat spacetimes, the picture for the four-translations is dramatically different in the two cases. In fact, the boundary conditions of asymptotically flat spacetimes allow a larger class of transformations, known as supertranslations, which generalize (4) to arbitrary values of $l$:

[TABLE]

with $\alpha_{lm}$ complex numbers satisfying $\alpha_{lm}=(-1)^{m}\alpha^{*}_{l,-m}$. The generators of these transformations are the vector fields

[TABLE]

which span the abelian algebra of supertranslations. The vector fields (38), together with (12)-(17), form the BMS algebra found by Sachs Sachs:1962zza , which contains the Poincaré algebra as a subalgebra. This shows that the asymptotic symmetry group of asymptotically flat spacetimes at null infinity is not the Poincaré group, but the BMS group Barnich:2010eb ; Barnich:2016lyg which is infinite dimensional instead, and it is the semi-direct product $\mathrm{SL}(2,\mathbb{C})/\mathbb{Z}_{2}\ltimes S$, where $S$ is the abelian group of supertanslations.

5 Non-commutative spherical harmonics: the fuzzy sphere

The first step in order to obtain a non-commutative deformation of the celestial sphere will be to deform the algebra of spherical harmonics (22). This essentially boils down to the introduction of fuzzy spherical harmonics Lizzi:2014pwa ; Zampini:2005rx ; Iso:2001mg ; Ramgoolam:2001zx which can be thought of as the algebra of functions on a non-commutative space known as the fuzzy sphere Madore:1991bw ; Grosse:1994ed ; CarowWatamura:1998jn ; Alekseev:1999bs ; Madore:1999bi ; Chu:2001xi ; Hammou:2001cc ; SheikhJabbari:2006bj ; Lizzi:2006bu ; DAndrea:2012rgx ; Fiore:2017ude ; Fiore:2018sdj . This deformation of the algebra of spherical harmonics is concretely realized in terms of a “quantization map” between the commutative algebra of functions on the two-sphere $C(S^{2})$ and the algebra of $N\times N$ complex matrices $M_{N}(\mathbb{C})$,

[TABLE]

where the mapping between the spherical harmonics $Y_{lm}(\theta,\phi)$ and the matrices $\hat{Y}^{(N)}_{lm}$ is explicitly realized as:

[TABLE]

with $\textbf{J}{}^{(N)}=(J^{(N)}_{x},J_{y}^{(N)},J_{z}^{(N)})$ and $J_{i}^{(N)}$ are the $N$-dimensional spin matrices with spin $j_{N}$

[TABLE]

The fuzzy spherical harmonics are irreducible tensor operators of rank $l$ and are proportional to the polarization tensors $\hat{Y}_{lm}^{(N)}=\sqrt{\frac{N}{4\pi}}T_{lm}^{(N)}$. We thus have that, given the ladder operators $J^{(N)}_{\pm}=J^{(N)}_{x}\pm iJ^{(N)}_{y}$, their adjoint action $\triangleright$ on the fuzzy spherical harmonics is given by

[TABLE]

Furthermore,

[TABLE]

where we have introduced the fuzzy Laplacian $\bigtriangleup$. This is the non-commutative analogue of the ordinary angular Laplacian and its eigenmatrices are the fuzzy harmonics. Its spectrum is truncated at $l=l_{\mathrm{max}}=2j_{N}=N-1$. Note that the operation $\triangleright$ is a derivation, that is the non-commutative analogue of a vector field.

The product of $\hat{Y}^{(N)}_{l_{1}m_{1}}$ and $\hat{Y}^{(N)}_{l_{2}m_{2}}$ can be expanded as a linear combination of $\hat{Y}^{(N)}_{lm}$ using 6j-symbols Varshalovich:1988ye

[TABLE]

[TABLE]

Notice that the 6j-symbols of (47) automatically vanish if the triangular conditions $\absolutevalue{l_{1}-l_{2}}<l<l_{1}+l_{2}$ and $0<l<2j_{N}+1$ are not satisfied. It means that $l$ can assume values up to $l_{\mathrm{max}}=2j_{N}=N-1$, in contrast to what happens in the product of ordinary spherical harmonics (22). From the product above we can write the commutator

[TABLE]

Using the product rule (47) and the asymptotic behaviour of the 6j symbols Brussaard for large values of $N$

[TABLE]

we have that

[TABLE]

and thus the commutator (49) vanishes in the large-$N$ limit leading to the the usual commutative algebra of spherical harmonics. On $M_{N}(\mathbb{C})$ we can introduce the following scalar product

[TABLE]

Since there are $\sum_{l=0}^{2j_{N}}(2l+1)=N^{2}$ independent fuzzy spherical harmonics the set $\left\{\hat{Y}^{(N)}_{lm}\right\}$, equipped with (52) is a orthonormal basis in $M_{N}(\mathbb{C})$. Any element $\hat{f}^{(N)}\in M_{N}(\mathbb{C})$ can thus be expanded as

[TABLE]

Again, note that this expansion is truncated at $l_{\mathrm{max}}$, in contrast to what happens in (20). The quantization map (39) can be extended by linearity to arbitrary functions of $(\theta,\phi)$

[TABLE]

The set $C_{N}(S^{2})\subset C(S^{2})$ of truncated functions on the 2-sphere, i.e. the set of functions whose expansion in terms of the spherical harmonics includes only terms with $l<N$ as $f^{(N)}(\theta,\phi)=\sum_{l=0}^{2j_{N}}\sum_{m=-l}^{l}f_{lm}Y_{lm}(\theta,\phi)$ is a vector space, but not an algebra with the standard definition of pointwise product of two functions, since the product of two spherical harmonics of order say $N-1$ has spherical components of order larger than $N-1$, as remarked before. However, we can equip this vector space with a non-commutative $\star$-product via the Weyl-Wigner map:

[TABLE]

turning $C_{N}(S^{2})$ into a non-commutative algebra. This non-commutative algebra of functions can be interpreted as functions on the fuzzy sphere. An important feature introduced by the non-commutativity is that we now have a cut-off on the allowed values of the angular momentum $l_{\mathrm{max}}$ in a way which is compatible with the multiplicative structure on the space of non-commutative spherical harmonics. In what follows we will see how the non-commutative deformation of spherical harmonics we just presented can be extended in order to include an action of the Lorentz algebra which, together with the new multiplicative structure, is compatible with the presence of a maximal allowed value of the angular momentum.

6 Fuzzy bipolar spherical harmonics

In order to construct a non-commutative generalization of angular mode functions which supports an action of the full Lorentz algebra we look at the finite dimensional representations of the latter. Every finite-dimensional irreducible representation of the Lorentz algebra with dimension $N=N_{1}N_{2}$ can be constructed in terms of spin matrices as

[TABLE]

It is easy to check that these matrices close the Lorentz Lie algebra (18). For both sets of spin matrices $J_{i}^{(N_{1})}$ and $J_{i}^{(N_{2})}$ we can construct their associated fuzzy spherical harmonics $\hat{Y}^{(N_{1})}_{lm}$ and $\hat{Y}^{(N_{2})}_{lm}$ which are $N_{1}\times N_{1}$ and $N_{2}\times N_{2}$ matrices, respectively, that satisfy all the properties discussed in the previous Section. In particular, using (39), one can construct, for any fixed $l<N_{i}$ the complete set of fuzzy harmonics as

[TABLE]

which implies

[TABLE]

up to normalization factors. This is shown in Appendix A. This procedure automatically stops when $l=N_{i}$ since $\left(J_{+}^{(N_{i})}\right)^{N_{i}}=0$ for the spin matrices. The most straightforward attempt at generalizing this procedure for the representation (56) would be thus to use the the generator $L_{+}$ in place of $J_{+}$. However, the matrices constructed using this strategy do not provide a basis for $M_{N}(\mathbb{C})$. Indeed writing the $n$-th power of the generator $L_{+}$ as

[TABLE]

Setting $n=N_{1}+h$ in the above sum the terms with $k\leq h$ are always [math] because $\left(J^{(N_{1})}_{+}\right)^{N_{1}}=0$. The term with $k=h+1$ is

[TABLE]

When $h+1=N_{2}$ and hence $n=N_{1}+N_{2}-1$ we have that $\left(L^{(N)}_{+}\right)^{n}=0$. We can thus only construct $\sum_{l=0}^{N_{1}+N_{2}-2}(2l+1)=(N_{1}+N_{2}-1)^{2}$ independent matrices. But for $N_{1},N_{2}\neq 1$ we always have $N_{1}+N_{2}-1<N_{1}N_{2}$, and hence we cannot construct a basis of $(N_{1}N_{2})^{2}$ matrices for the space of complex matrices $M_{N}(\mathbb{C})$.

A resolution of this problem is found if we notice that the first equation in (56) is just the statement that $L$ is the sum of two angular momenta. From angular momentum theory, if we construct the matrices

[TABLE]

where $C^{LM}_{l_{1}m_{1}l_{2}m_{2}}$ are the Clebsh-Gordan coefficients, we automatically have that

[TABLE]

The matrices ${}^{l_{1}l_{2}}\hat{Y}^{(N)}_{LM}$ are irreducible tensors of rank $L$ and are eigenmatrices of $J^{(N_{1})2}\otimes\mathbb{I}^{(N_{2})}$ and $\mathbb{I}^{(N_{1})}\otimes J^{(N_{2})2}$ with eigenvalues $l_{1}(l_{1}+1)$ and $l_{2}(l_{2}+1)$, respectively. The allowed values of the total angular momentum are $L=l_{\mathrm{min}},...,l_{\mathrm{max}}$, and $M=m_{1}+m_{2}=-L,...,L$ with $l_{\mathrm{min}}=\absolutevalue{l_{1}-l_{2}}$ and $l_{\mathrm{max}}=l_{1}+l_{2}$ as follows from the rules for the addition of two angular momenta. Note that, since $l_{1\mathrm{max}}=N_{1}-1$ and $l_{2\mathrm{max}}=N_{2}-1$ the value of $L$ is never greater than $L_{\mathrm{max}}=N_{1}+N_{2}-2$. The set $\left\{{}^{l_{1}l_{2}}\hat{Y}_{LM}^{(N)}\right\}$ is an orthonormal basis in $M_{N}(\mathbb{C})$ with a scalar product analogous to the one of the fuzzy spherical harmonics, given by

[TABLE]

We would now like to obtain the explicit form for the action of boost generators on ${}^{l_{1}l_{2}}\hat{Y}^{(N)}_{LM}$. Using the expression for $R^{(N)}_{+}$ (57) and ${}^{l_{1}l_{2}}\hat{Y}_{LM}^{(N)}$ (61)

[TABLE]

Our goal is to express the right hand side of the action above as a linear combination of the basis matrices $\left\{{}^{l_{1}l_{2}}\hat{Y}_{LM}^{(N)}\right\}$. In order to do so one can evaluate the matrix elements

[TABLE]

where we used the shorthand notation

[TABLE]

Notice that these matrix elements are non-vanishing only if $l_{i}=l^{\prime}_{i}$. The reader will find the details of the calculation in Appendix B. The final expression for the action of the boost $R^{(N)}_{+}$ on our fuzzy harmonics is

[TABLE]

The action of $R^{(N)}_{-}$ and $R^{(N)}_{z}$ can be calculated similarly and are given by

[TABLE]

and

[TABLE]

While these results might appear at first sight not very illuminating they are in fact remarkable. Indeed, unlike the case of commutative spherical harmonics on the celestial sphere, we now have a maximum value of the angular momentum $L$. Moreover the coefficients of the ${}^{l_{1}l_{2}}\hat{Y}^{(N)}_{L+1M+q}$ terms automatically vanish if $L$ equals $l_{\mathrm{max}}$ and thus the action of boosts, which in the standard case always maps the harmonic with given $l$ to one with $l+1$, is now compatible with the existence of a cut-off in the value of $L$. Thus the actions (62),(63),(64) and (66)(6),(6) could be thought as the non-commutative analogue of (29)-(34).

As a final step let us write explicitly the algebra of the matrices (61). Using the summation rule Varshalovich:1988ye

[TABLE]

where $\Pi_{ab...c}=\sqrt{(2a+1)(2b+1)...(2c+1)}$ and $\left\{\begin{matrix}c&b&a\\ f&e&d\\ j&g&k\end{matrix}\right\}$ are 9j-symbols one finds that such product is given by

[TABLE]

For large values of $N=N_{1}N_{2}$ we have

[TABLE]

so that the algebra becomes

[TABLE]

which is exactly the algebra closed by the bipolar spherical harmonics (see e.g. Varshalovich:1988ye ), as one would expect. For these reason, the matrices of (62) can be thought of as fuzzy bipolar spherical harmonics. The ordinary bipolar spherical harmonics form a basis in the algebra of functions on the manifold $S^{2}\times S^{2}$ and hence the fuzzy bipolar spherical harmonics of (62) can be thought as a realization of a non-commutative $S^{2}\times S^{2}$ space. Their commutator is given by

[TABLE]

These equations define our non-commutative algebra of fuzzy bipolar spherical harmonics.

7 Conclusions and outlook

We have shown how the algebra of spherical harmonics on the celestial sphere can be generalized to a non-commutative algebra in order to accommodate a maximal value of the angular momentum. In particular, we derived an action of Lorentz boosts which is consistent with the existence of a maximal angular momentum. Our construction is based on a matrix realization of angular mode functions and uses basic techniques of non-commutative geometry. These results suggest that, since the generators of supertranslations of the BMS group are proportional to the spherical harmonics on the celestial sphere, it could be possible to construct a generalization of the BMS algebra111For a recent attempt at generalizing the BMS algebra using quantum group techniques see Borowiec:2018rbr . characterized by a non-abelian sub-algebra of supertranslations having a finite number of generators. These would give a finite number of conserved supertranslation charges and thus non-commutativity, or the fuzziness of the angular mode functions, could be the ingredient needed to provide a consistent cut-off mechanism for soft modes. It is tempting to speculate that a similar mechanism could be used to provide the missing link between soft hair and the Bekenstein-Hawking entropy for black holes.

Acknowledgements

We would like to thank Patrizia Vitale and Alessandro Zampini for very useful discussions on various aspects of fuzzy geometries.

Chapter \thechapter

Appendix A Construction of the fuzzy spherical harmonics

An explicit way to construct the fuzzy spherical harmonics can done by using directly the Weyl-Wigner map of (40) and equation (42). The scalar product $\textbf{J}^{(N)}\cdot\nabla$ in spherical components reads as

[TABLE]

where the spherical components of a vector A are defined as usual, $A_{\pm 1}=\mp\frac{1}{\sqrt{2}}(A_{x}\pm iA_{y})$ and $A_{0}=A_{z}$. Hence, the contact with the notation we used previously is

[TABLE]

Furthermore the followig identities hold Varshalovich:1988ye

[TABLE]

Suppose we want to construct $\hat{Y}^{(N)}_{ll}$. We must apply (73) $l$ times to $Y_{lm}(\theta,\phi)$. The first time we apply it, only the term proportional to $\nabla_{-}$ in (73) contributes, producing $-\sqrt{\frac{2l(2l+1)}{2}}r^{l-1}Y_{l-1m-1}(\theta,\phi)$. In general, everytime we apply the operator (73) only the term proportional to $\nabla_{-}$ will contribute. Acting $n$ times we have

[TABLE]

For $n=l$ we get, for $\hat{Y}_{ll}^{(N)}$

[TABLE]

as claimed in (58). By acting on $Y_{lm}^{(N)}$ with the lowering operator $J^{(N)}_{-}$ it is possible to construct all the $2l+1$ fuzzy spherical harmonics at fixed $l$.

Appendix B Derivation of the action of Lorentz boosts on bipolar fuzzy spherical harmonics

From the following recursion formula for the Clebsch-Gordan coefficients

[TABLE]

we have that

[TABLE]

Plugging this expression in (6) we obtain

[TABLE]

where we have used

[TABLE]

From the orthogonality of the Clebsh-Gordan coefficients

[TABLE]

we have that the first term of the matrix element (B) is

[TABLE]

For the second term

[TABLE]

we use the following recursion relation Varshalovich:1988ye

[TABLE]

Substituting and using again the orthogonality condition for the Clebsh-Gordan coefficients we have that the second term in (81) can be written as

[TABLE]

The term proportional to $\delta_{L^{\prime},L}\delta_{M^{\prime},M+1}$ in the previous expression, together with (80), can be written as

[TABLE]

Using similar procedures it is possible to obtain the action of $R^{(N)}_{-}$ and of $R^{(N)}_{z}$ on ${}^{l_{1}l_{2}}\hat{Y}^{(N)}_{LM}$.