Sobolev theory for non commutative tori (Q1192078): Difference between revisions

This article deals with the extension of Sobolev theory to non commutative algebras. Let \(L\) be an \(n\)-dimensional real Hilbert space and let \(D\subset L\) be isomorphic to \(\mathbb{Z}^ n\). Let \(\{e_ j\}\) be a basis for \(L\) generating \(D\). Let \(\vartheta\) be a skew symmetric bilinear form on \(L\). Let \(U_ x\) (\(x\in D\)) be unitary operators on some Hilbert space \(H\) such that \(U_ y U_ x=\exp(2\pi i\vartheta(x,y))U_ x U_ y\) for \(x\) and \(y\) in \(D\). Let \(U_{e_ j}=U_ j\). Let \(A_ \vartheta\) be the universal \(C^*\)-algebra generated by the \(U_ x\). Let \(\tau\) be the unique normalized finite faithful trace on \(A_ \vartheta\). The author now defines the \(*\)- derivation \(\{\delta_ X\}\) for \(X\in L\) as \(\delta_ X U_ x=i\langle X,x\rangle U_ x\) for \(x\) in \(D\) where \(\langle\cdot,\cdot\rangle\) is a metric for \(L\). Let \(\delta_ j=U_{e_ j}\). The author defines the Laplacian \(\Delta+-(\delta_ 1^ 2+\dots+\delta_ n^ 2)\) on the smooth elements \(A_ \vartheta^ \infty\) of \(A_ \vartheta\). The operators \((1+\Delta)^ s\) and \(1+\Delta^ s\) (\(s\in\mathbb{N}\)) have compact inverses. Then using the Hilbert-Schmidt norm and the Laplacian \(\Delta\), the author obtains Sobolev norms \(\| a\|_{i,s}\) (\(1\leq i\leq 5\)) on \(A_ \vartheta^ \infty\). For example, one such norm is \(\| a\|_{1,s}^ 2=\tau(((1+\Delta)^ s a)^* a)\). The author shows that these five norms are equivalent \(*\)-norms that do not depend on \(\vartheta\). Then denoting the completion of \(A_ \vartheta^ \infty\) in these Sobolev norms by \(H^ s\), the author shows that the spaces \(H^ s\) satisfy certain properties (e.g., embedding, Rellich, Maurin theorems) associated with classical Sobolev spaces, that \(H^ s\) is a (non commutative) Banach \(*\)-algebra if \(s>n\), and that \(H^ m\) is an \(H^ s\)-topological module provided \(s>n\) and \(0\leq m\leq n\).