alphaFeedback

WorksMathematics

A bridge between analysis on local fields and quantum groups: the noncompact case

AI contributions
Not recorded for this paper
View details

Abstract

Let KK be a non-Archimedean local field with residue cardinality QQ and let d≥1d \geq 1. We establish a radial correspondence between analysis on KdK^d and Woronowicz's quantum group Er(2)\mathrm{E}_r(2), with r2=Q−dr^2 = Q^{-d}. For every α>0\alpha > 0, the radial Taibleson operator of order α\alpha is unitarily equivalent, through a unitary commuting with dilations, to a bilateral birth–death operator with Hahn–Exton qq-Bessel eigenfunctions. Their Dirichlet forms are equivalent on the same weighted sequence space, with optimal comparison constants. For α=d\alpha = d, the bilateral operator is the radial part of a self-adjoint Casimir on the quantum plane Er(2)/T\mathrm{E}_r(2)/\mathbb{T}, whose heat semigroup is covariant and completely positive. We further obtain these quantum-plane dynamics by contraction of the compact Casimir dynamics on the Podleś sphere, with Mosco convergence of the forms and pointwise norm convergence of the compressed heat maps.

Introduction

Let KK be a non-Archimedean local field with residue cardinality QQ, ring of integers O\mathcal{O} and uniformizer π\pi, and let d≥1d \ge1 be an integer. Normalize the additive Haar measure of KdK^d by μ(Od)=1\mu(\mathcal{O}^d)=1, use the maximum norm ∥⋅∥K\lVert\cdot\rVert_K on KdK^d, and put τ≔Q−d\tau\coloneqq Q^{-d} and r≔τ1/2r \coloneqq\tau^{1/2}. Aref’eva and Volovich observed that the radial Haar distribution of the unit ball Od\mathcal{O}^d coincides with the distribution of γ∗γ\gamma^*\gamma under the Haar state of SUr(2)\mathrm{SU}_r(2) [1 Section 6.1]. In [Arh26] we showed that this coincidence extends to an equivalence of energies between the radial Taibleson operators on Od\mathcal{O}^d and the zonal Casimir operator of SUr(2)\mathrm{SU}_r(2), and that the corresponding quantum dynamics live on the standard Podleś sphere. The unit ball has total mass one, whereas the whole space KdK^d has infinite Haar measure. The purpose of this paper is to show that the whole space corresponds in the same way to the locally compact quantum group Er(2)E_r(2) of Woronowicz [41], [43].

Recall that Er(2)E_r(2) is generated by a unitary vv and a normal operator nn satisfying vnv∗=rnvnv^*=rn, whose spectrum is {0}∪{λ∈C:∣λ∣∈rZ}\{0\}\cup\{\lambda\in\mathbb{C}:|\lambda|\in r^{\mathbb{Z}}\}. The volume observable x↦∥x∥Kdx\mapsto\lVert x\rVert_K^d takes the values τm\tau^m, m∈Zm\in\mathbb{Z}, on Kd∖{0}K^d\setminus\{0\}, and the Haar weight hh of Er(2)E_r(2) computed by Pal [31] gives, for any Borel function F:τZ→[0,∞]F:\tau^{\mathbb{Z}}\to[0,\infty],

∫KdF(∥x∥Kd) dx=(1−τ)∑m∈ZτmF(τm)=(1−τ)h(F(n∗n)),(1)\int_{K^d}F(\lVert x\rVert_K^d)\,dx=(1-\tau)\sum_{m\in\mathbb{Z}}\tau^mF(\tau^m)=(1-\tau)h(F(n^*n)), \tag*{(1)}

see Proposition 5.1. The restriction of (1) to the unit ball, that is to the spectral projection 1[0,1](n∗n)\mathbf{1}_{[0,1]}(n^*n), is the identity of Aref’eva and Volovich. Moreover, the automorphism x↦vxv∗x\mapsto vxv^*, which is used by Woronowicz to obtain Er(2)E_r(2) from SUr(2)\mathrm{SU}_r(2) by contraction [43], corresponds to the dilation x↦πxx\mapsto\pi x of KdK^d, and h(vxv∗)=τ−1h(x)h(vxv^*)=\tau^{-1}h(x) corresponds to τ−1μ(A)\tau^{-1}\mu(A). Thus the quantum group Er(2)E_r(2) carries both the infinite volume of KdK^d and its discrete group of dilations. In a different direction, Zúñiga-Galindo realized qq-oscillator algebras on L2(K)L^2(K) with the multiplication by ∣x∣K|x|_K and a Jackson-type difference operator built from x↦π±1xx\mapsto\pi^{\pm1}x [44].

The analytic input is the Taibleson operator DαD^\alpha of order α>0\alpha>0 on KdK^d, with the Fourier multiplier with symbol ∥ξ∥Kα\lVert\xi\rVert_K^\alpha. Its restriction DradαD^\alpha_{\mathrm{rad}} to radial functions acts on the weighted sequence space ℓZ2(w)\ell^2_{\mathbb{Z}}(w), wm≔(1−τ)τmw_m\coloneqq(1-\tau)\tau^m. It is diagonal in a basis of Haar wavelets (gm)m∈Z(g_m)_{m\in\mathbb{Z}}, with eigenvalues ρm+1\rho^{m+1}, where ρ≔Qα\rho\coloneqq Q^\alpha (Proposition 2.1). On the other side, for 0<η<10<\eta<1 we consider the bilateral birth–death operator

(Lη∞f)(k)=τη−k−1(f(k)−f(k+1))+η−k(f(k)−f(k−1)),k∈Z,(2)(L_\eta^\infty f)(k)=\tau\eta^{-k-1}\bigl(f(k)-f(k+1)\bigr)+\eta^{-k}\bigl(f(k)-f(k-1)\bigr),\qquad k\in\mathbb{Z}, \tag*{(2)}

which is symmetric on ℓZ2(w)\ell_Z^2(w). It is obtained from the little η\eta-Jacobi operator LηL_\eta of [Arh26, (1.3)] on ℓN02(w)\ell_{N_0}^2(w) by a translation of NN steps towards the origin of the ball and a rescaling by ηN\eta^N, in the limit N→∞N\to\infty. For η=τ\eta=\tau, the operator (Lτ∞f)(k)=τ−k(2f(k)−f(k+1)−f(k−1))(L_\tau^\infty f)(k)=\tau^{-k}(2f(k)-f(k+1)-f(k-1)) is a second order τ\tau-difference operator whose eigenfunctions are Hahn–Exton qq-Bessel functions of order 0 in base τ=r2\tau=r^2. These functions appear as matrix coefficients of the irreducible representations of the quantum group of plane motions [40], [21], see also [22 Section 1].

Theorem 1.1 (Energy bridge on KdK^d) Let α>0\alpha>0 and put η≔Q−α\eta\coloneqq Q^{-\alpha} and σα≔Q−d+α2\sigma_\alpha\coloneqq Q^{-\frac{d+\alpha}{2}}.

  1. The closed forms ED\mathcal{E}_D and Eη∞\mathcal{E}_\eta^\infty of DradαD_{\mathrm{rad}}^\alpha and Lη∞L_\eta^\infty have the same domain

dom⁡ED=dom⁡Eη∞={f∈ℓZ2(w):∑m∈ZQ(α−d)m∣f(m+1)−f(m)∣2<∞}.\operatorname{dom}\mathcal{E}_D=\operatorname{dom}\mathcal{E}_\eta^\infty=\left\{f\in\ell_Z^2(w):\sum_{m\in\mathbb{Z}}Q^{(\alpha-d)m}\lvert f(m+1)-f(m)\rvert^2<\infty\right\}.

and for any ff in this space we have

(1+σα)−2Eη∞(f)≤ED(f)≤(1−σα)−2Eη∞(f).(3)(1+\sigma_\alpha)^{-2}\mathcal{E}_\eta^\infty(f)\leq\mathcal{E}_D(f)\leq(1-\sigma_\alpha)^{-2}\mathcal{E}_\eta^\infty(f). \tag*{(3)}

The constants are optimal.

  1. The operators DradαD_{\mathrm{rad}}^\alpha and Lη∞L_\eta^\infty have the same spectrum {Qαm:m∈Z}∪{0}\{Q^{\alpha m}:m\in\mathbb{Z}\}\cup\{0\}. Their spectral measures are purely atomic, every nonzero spectral point is a simple eigenvalue, and 00 belongs to the continuous spectrum. There exists a unitary operator WW on ℓZ2(w)\ell_Z^2(w) which commutes with the dilation of KdK^d and satisfies WDradαW∗=Lη∞W D_{\mathrm{rad}}^\alpha W^*=L_\eta^\infty. The eigenvalue QαmQ^{\alpha m} of Lη∞L_\eta^\infty has the eigenfunction k↦1φ1(0;τ;η,ηk+1−m)k\mapsto{}_1\varphi_1(0;\tau;\eta,\eta^{k+1-m}), which is a Hahn–Exton qq-Bessel function of order dα−1\frac{d}{\alpha}-1 in base η\eta.

  1. Let ϑ>0\vartheta>0. Then dom⁡ED⊂dom⁡(LQ−ϑ∞)α2ϑ\operatorname{dom}\mathcal{E}_D\subset\operatorname{dom}(L_{Q^{-\vartheta}}^\infty)^{\frac{\alpha}{2\vartheta}}, and the closed forms of DradαD_{\mathrm{rad}}^\alpha and of (LQ−ϑ∞)α2ϑ(L_{Q^{-\vartheta}}^\infty)^{\frac{\alpha}{2\vartheta}} are equivalent if and only if α<d+2ϑ\alpha<d+2\vartheta.

References

  1. [1]I. Ya. Aref’eva and I. V. Volovich. Quantum group particles and non-archimedean geometry. Phys. Lett. B 268 (1991), no. 2, 179–187. doi:10.1016/0370-2693(91)90801-V. Section numbering refers to CERN-TH.6137/91 (June 1991).
  2. [3]C. Arhancet and C. Kriegler. Functional calculus and semilinear evolution equations for the Taibleson operator on non-Archimedean local fields. J. Evol. Equ. 26 (2026), no. 2, Paper No. 63. doi:10.1007/s00028-026-01216-8. Equation numbering refers to arXiv:2407.10508v5.DOI
  3. [4]S. Baaj. Représentation régulière du groupe quantique des déplacements de Woronowicz. Recent advances in operator algebras (Orléans, 1992), Astérisque 232 (1995), 11–48.
  4. [5]S. Baaj and G. Skandalis. Unitaires multiplicatifs et dualité pour les produits croisés de C*-algèbres. Ann. Sci. École Norm. Sup. (4) 26 (1993), no. 4, 425–488.DOI
  5. [7]R. Bhatia. Matrix analysis. Graduate Texts in Mathematics 169, Springer, New York, 1997.
  6. [8]P. Biane. Le théorème de Pitman, le groupe quantique SUq(2), et une question de P. A. Meyer. In memoriam Paul-André Meyer: Séminaire de Probabilités XXXIX, Lecture Notes in Math. 1874, Springer, Berlin, 2006, 61–75.DOI
  7. [9]M.-D. Choi. A Schwarz inequality for positive linear maps on C*-algebras. Illinois J. Math. 18 (1974), 565–574.DOI
  8. [10]F. Cipriani. Dirichlet forms and Markovian semigroups on standard forms of von Neumann algebras. J. Funct. Anal. 147 (1997), no. 2, 259–300.DOI
  9. [12]NIST Digital Library of Mathematical Functions. https://dlmf.nist.gov/, Release 1.2.8 of 2026-09-15. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl and M. A. McClain, eds.
  10. [13]K.-J. Engel and R. Nagel. One-parameter semigroups for linear evolution equations. Graduate Texts in Mathematics 194, Springer, New York, 2000.
  11. [14]M. Fukushima, Y. Oshima and M. Takeda. Dirichlet forms and symmetric Markov processes. Second revised and extended edition. De Gruyter Studies in Mathematics 19, Walter de Gruyter, Berlin, 2011.
  12. [15]G. Gasper and M. Rahman. Basic hypergeometric series. Second edition, Encyclopedia of Mathematics and its Applications 96, Cambridge University Press, Cambridge, 2004. doi:10.1017/CBO9780511526251.DOI
  13. [17]C. Kassel. Quantum groups. Graduate Texts in Mathematics 155, Springer, New York, 1995.
  14. [18][Kat95] T. Kato. Perturbation theory for linear operators. Reprint of the 1980 edition, Classics in Mathematics, Springer, Berlin, 1995. 37, 42
  15. [20][Koc01] A. N. Kochubei. Pseudo-differential equations and stochastics over non-Archimedean fields. Monographs and Textbooks in Pure and Applied Mathematics 244, Marcel Dekker, New York, 2001. 6
  16. [21][Koe94] H. T. Koelink. The quantum group of plane motions and the Hahn–Exton q-Bessel function. Duke Math. J. 76 (1994), 483–508. 3, 21DOI
  17. [22][KS92] T. H. Koornwinder and R. F. Swarttouw. On q-analogues of the Fourier and Hankel transforms. Trans. Amer. Math. Soc. 333 (1992), no. 1, 445–461. Numbering refers to arXiv:1208.2521. 3, 4, 8, 12, 15, 21, 32, 39
  18. [23][Koz02] S. V. Kozyrev. Wavelet theory as p-adic spectral analysis. Izv. Math. 66 (2002), no. 2, 367–376. 7DOI
  19. [24][KV00] J. Kustermans and S. Vaes. Locally compact quantum groups. Ann. Sci. École Norm. Sup. (4) 33 (2000), no. 6, 837–934. 20
  20. [25][KS03] K. Kuwae and T. Shioya. Convergence of spectral structures: a functional analytic theory and its applications to spectral geometry. Comm. Anal. Geom. 11 (2003), no. 4, 599–673. 43
  21. [26][Lan95] E. C. Lance. Hilbert C*-modules. A toolkit for operator algebraists. London Mathematical Society Lecture Notes Series 210, Cambridge University Press, Cambridge, 1995. 35
  22. [27][Lin76] G. Lindblad. On the generators of quantum dynamical semigroups. Comm. Math. Phys. 48 (1976), no. 2, 119–130. 35DOI
  23. [28][Lin92] T. Lindvall. Lectures on the coupling method. Wiley, New York, 1992. 47
  24. [29][Mos94] U. Mosco. Composite media and asymptotic Dirichlet forms. J. Funct. Anal. 123 (1994), no. 2, 368–421. 43DOI
  25. [30][Nor97] J. R. Norris. Markov chains. Cambridge Series in Statistical and Probabilistic Mathematics 2, Cambridge University Press, Cambridge, 1997. 33
  26. [31][Pal96] A. Pal. Haar measure on E_q(2). Pacific J. Math. 176 (1996), no. 1, 217–233. doi:10.2140/pjm.1996.176.217. 2, 19, 20, 27, 31, 39
  27. [32][Pau02] V. Paulsen. Complemented Banach algebras and operator algebras. Cambridge Studies in Advanced Mathematics 78, Cambridge University Press, Cambridge, 2002. 36
  28. [33][RS80] M. Reed and B. Simon. Methods of modern mathematical physics. I. Functional analysis. Second edition, Academic Press, New York, 1980. 14
  29. [34][SSV10] R. L. Schilling, R. Song and Z. Vondraček. Bernstein functions. Theory and applications. De Gruyter Studies in Mathematics 37, Walter de Gruyter, Berlin, 2010. 37DOI
  30. [35][SV19] A. Skalski and A. Viselter. Convolution semigroups on locally compact quantum groups and noncommutative Dirichlet forms. J. Math. Pures Appl. 124 (2019), 59–105. doi:10.1016/j.matpur.2018.04.007. 34, 36DOI
  31. [36][Tai75] M. H. Taibleson. Fourier analysis on local fields. Mathematical Notes 15, Princeton University Press, Princeton, NJ, 1975. 5
  32. [37][Tak03] M. Takesaki. Theory of operator algebras. II. Encyclopaedia of Mathematical Sciences 125, Springer, Berlin, 2003. 22DOI
  33. [38][Tes00] G. Teschl. Jacobi operators and completely integrable nonlinear lattices. Mathematical Surveys and Monographs 72, American Mathematical Society, Providence, RI, 2000. 11, 12DOI
  34. [39][Vae05] S. Vaes. A new approach to induction and imprimitivity results. J. Funct. Anal. 229 (2005), no. 2, 317–374. 28
  35. [40][VK89] L. L. Vaksman and L. I. Korogodskii. An algebra of bounded functions on the quantum group of motions of the plane, and q-analogues of Bessel functions. Dokl. Akad. Nauk SSSR 304 (1989), no. 5, 1036–1040; English translation in Soviet Math. Dokl. 39 (1989), no. 1, 173–177. 3, 21
  36. [41][Wor91] S. L. Woronowicz. Quantum E(2) group and its Pontryagin dual. Lett. Math. Phys. 23 (1991), no. 4, 251–263. 2, 19, 27DOI
  37. [42][Wor91b] S. L. Woronowicz. Unbounded elements affiliated with C*-algebras and non-compact quantum groups. Comm. Math. Phys. 136 (1991), no. 2, 399–432. 27DOI
  38. [43]S. L. Woronowicz. Quantum SU(2) and E(2) groups. Contraction procedure. Comm. Math. Phys. 149 (1992), no. 3, 637–652. 2, 19, 20, 27, 49
  39. [44]W. A. Zúñiga-Galindo. Non-Archimedean quantum mechanics via quantum groups. Nuclear Phys. B (2022), Paper No. 116021. doi:10.1016/j.nuclphysb.2022.116021, arXiv:2210.03071. 2

Paper details

vlnc:W_jhdshnbu
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY-SA 4.0

Original source

  • Mathematics

Not recorded for this paper · View statement →

Looking for related papers…
Contents