Sobolev, Besov and Triebel-Lizorkin Spaces on Quantum Tori

This paper gives a systematic study of Sobolev, Besov and Triebel-Lizorkin spaces on a noncommutative d-torus T-theta(d) (with theta a skew symmetric real d x d-matrix). These spaces share many properties with their classical counterparts. We prove, among other basic properties, the lifting theorem for all these spaces and a Poincare type inequality for Sobolev spaces. We also show that the Sobolev space W-infinity(k) (T-theta(d)) coincides with the Lipschitz space of order k, already studied by Weaver in the case k = 1. We establish the embedding inequalities of all these spaces, including the Besov and Sobolev embedding theorems. We obtain Littlewood-Paley type characterizations for Besov and Triebel-Lizorkin spaces in a general way, as well as the concrete ones in terms of the Poisson, heat semigroups and differences. Some of them are new even in the commutative case, for instance, our Poisson semigroup characterizations improve the classical ones. As a consequence of the characterization of the Besov spaces by differences, we extend to the quantum setting the recent results of Bourgain-Brezis-Mironescu and Maz'ya-Shaposhnikova on the limits of Besov norms. The same characterization implies that the Besov space B-infinity, infinity(alpha)(T-theta(d)) for alpha > 0 is the quantum analogue of the usual Zygmund class of order alpha. We investigate the interpolation of all these spaces, in particular, determine explicitly the K-functional of the couple (L-p(T-theta(d)), W-p(k)(T-theta(d))), which is the quantum analogue of a classical result due to Johnen and Scherer. Finally, we show that the completely bounded Fourier multipliers on all these spaces do not depend on the matrix theta, so coincide with those on the corresponding spaces on the usual d-torus. We also give a quite simple description of (completely) bounded Fourier multipliers on the Besov spaces in terms of their behavior on the L-p-components in the Littlewood-Paley decomposition.