Gauged Laplacians on quantum Hopf bundles (Q842447): Difference between revisions

Let \(P\to M\) be a principal \(G\)-bundle, \((\rho, V)\) a representation of \(G\), and let \(E= P\times_G V\) be the associated vector bundle. Then the gauged Laplacian \(\Delta^E\) is related to the total space Laplacian \(\Delta^P\) as \[ \Delta^E= (\Delta^p\otimes 1+ 1\otimes C_G)|_{C^\infty(P, V)_G}, \] where \(C_G\) is the quadratic Casimir operator of \(G\) In this paper, the noncommutative version of this formula for line bundles on a quantum two-dimensional sphere \(S^2_q\) (quantum Hopf bundle) is given. In this case, the total space is the quantum group \(\text{SU}_q(2)\) and there is a generator \(K\) of the structure group \(\text{U}(1)\) in the quantum universal enveloping algebra \({\mathcal U}_q(\text{su}(2))\). The answer is \[ qK^2\square_\nabla= C_q+{1\over 4}-{1\over 2} \Biggl({qK^2- 2+ q^{-1}K^{-2}\over(q- q^{-1})^2}+ {q^{-1}K^2- 2+ qK^{-2}\over (q- q^{-1})^2}\Biggr), \] where \(C_q\) is the quadratic Casimir operator of \({\mathcal U}_q(\text{su}(2))\). The authors say that the gauged Laplacian \(\square_\nabla\) describes excitations moving on the quantum sphere and can be applied to models of the quantum Hall effect. Quantum Hopf bundles (\(\text{U}(1)\)-bundles over the Podleś sphere \(S^2_q\) [\textit{P. Podleś}, Lett. Math. Phys. 14, 193--202 (1987; Zbl 0634.46054)]) are reviewed in \S2. The total spaces of these bundles are \(\text{SU}_q(2)\). Their definition and structures are briefly reviewed. The quantum universal enveloping algebra \({\mathcal U}_q(\text{su}(2))\) is generated by a group-like elements \(K\) and \(E\), \(F\). The quadratic quantum Casimir operator \(C_q\) is given by \[ C_q= {qK^2- 2+ q^{-1} K^{-2}\over (q- q^{-1})^2}+ FE- {1\over 4}, \] (\S2, (2.3)). The left action of \(K\) to the coordinate algebra \({\mathcal A}(\text{SU}_q(2))\) of \(\text{SU}_q(2)\) gives a vector basis decomposition \({\mathcal A}(\text{SU}_q(2))= \bigoplus_{n\in\mathbb{Z}}{\mathcal L}_n\). \({\mathcal L}_n\) is a projective left \({\mathcal A}(S^2_q)\)-module [\textit{K. Schmüdgen} and \textit{E. Wagner}, J. Lie Theory 17, No.~4, 751--790 (2007; Zbl 1152.46058), hereafter referred to as [1]] and gives the module of sections of line bundles over \(S^2_q\) with the winding number (monopole charge) \(-n\). Corresponding projections \({\mathfrak p}^{(n)}\) and \(\check{\mathfrak p}^{(n)}\) are described explicitly [cf. \textit{P. M. Hajac} and \textit{S. Majid}, Commun. Math. Phys. 206, No.~2, 247--264 (1999; Zbl 0936.46052)]. By using the representation theory of \({\mathcal U}_q(\text{su}(2))\), a decomposition of \({\mathcal L}_n\) is given in [1]. Then, the Woronowicz's Peter-Weyl decomposition [\textit{S. L. Woronowicz}, Publ. Res. Inst. Math. Sci. 23, No.~1, 117--181 (1987; Zbl 0676.46050), hereafter referred to as [3]] is derived by this decomposition of \({\mathcal L}_n\) (\S2). In \S3, the three-dimensional left covariant calculus ([3]) is reviewed. Then, by restriction and the projected calculus on the structure Hopf algebra \({\mathcal A}(\text{U}(1))\), the unique left covariant two-dimensional calculus [\textit{P. Podleś}, Lett. Math. Phys. 18, No.~2, 107--119 (1989; Zbl 0702.53073)] is described. Explicit descriptions of the dual basis \(\omega_z\), \(\omega_{\pm}\) of 1-forms of \(\text{SU}_q(2)\) are also given. The monopole connection is given by using \({\mathfrak p}^{(n)}\) (\S4). Its curvature is computed to be \[ F_\nabla= q^{-n-1}[n]{\mathfrak p}^{(n)}\omega_+\wedge \omega_- \] (Prop.4.4). Twisted integral of the gauge curvature is the \(q\)-analog \(-[n]\) of \(-n\); \[ -q \int\text{tr}_q(F_\nabla)= -[n]. \] This is proved in \S5 (Prop.5.2). The Hodge \(*\)-operator on \(S^2_q\) is introduced in \S6. The scalar Laplacian \(\square\) on \(S^2_q\) is defined by \(-{1\over 2}* d* d\) and \(q\square= C_q+{1\over 4}- [{1\over 2}]^2\), \(C_q\) is the quadratic Casimir operator, is shown. Then, the gauged Laplacian \(\square_\nabla= -{1\over 2}*\nabla *\nabla\) is introduced. Here, \(\nabla\) is the covariant derivative associated with the monopole connection. The spectral decomposition of \(\square_\nabla\) is obtained by using the Peter-Weyl theorem of \({\mathcal A}(\text{SU}(2))\) (Prop.6.3). By using spectral decomposition, \[ q^{n+1}\square_\nabla= C_q+{1\over 4}-{1\over 2}\Biggl(\Biggl[{n+1\over 2}\Biggr]^2+ \Biggl[{n-1\over 2}\Biggr]^2\Biggr) \] is shown. The first mentioned formula follows from this formula (Prop.6.4). Some detailed calculations about quantum bundles with differential calculi and quantum Hopf bundles are given in Appendix A and B.