Differential forms and the noncommutative residue for manifolds with boundary in the non-product case (Q867313)

The author aims to build a conformal invariant pair for even-dimensional compact manifold pairs \((M,\partial M)\), where is defined a Riemannian metric \(g\) that has not a product structure near the boundary \(\partial M\). For this he uses the socalled noncommutative residue calculus for manifolds with boundary. This has been introduced by Adler, Guillemin, Manin, Wodzicki and used as the noncommutative counterpart of the integral by Connes. The noncommutative residue is associated to a pseudodifferential operator of order \(m\), defined on a manifold \(M\), i.e., to a continuous operator \(P:C^\infty(M)\to C^\infty(M)\), locally of the form \(P=p(x,D)+R\), with \(p(x,\xi)\) symbol of order \(m\) and \(R\) the smoothing operator. \(p(x,\xi)\) is a smooth function on \(U\times{\mathbb R}^n\) with asymptotic expansion \(p(x,\xi)\sim\sum_{j\geq 0}p_{m-j}(x,\xi)\), \(p_{m-j}(x,t\xi)=t^{m-1}p_{m-j}(x,\xi)\), \(\forall t>0\). Associated to \(p(x,\xi)\) is the operator \(p(x,D):C^\infty_c(U)\to C^\infty(U)\) such that \(p(x,D)u=(2\pi)^{-n}\int e^{i\langle x,\xi\rangle}p(x,\xi)\widehat u(\xi)\,d\xi\), where \(\widehat u(\xi)\) is the Fourier transform of \(u\). The kernel \(K_p(x,y)\) of \(p\) has a behaviour near the diagonal \(y=x\) of the form \(K_p(x,y)=\sum_{-(m+n)\leq l\leq 0}a_l(x,x-y)-c_p(x)\log| x-y| +O(1)\), where \(a_l(x,ty)=t^la_t(x,y)\), \(\forall t>0\), \(c_p(x)=(2\pi)^{-n}\int_{| \xi| =1}p_n(x,\xi)\,d\xi\). Then the noncommutative residue of \(P\) is Res\((P)=\int_Mc_p(x)\), where the integral is meant with respect to the density identified by \(c_p\). (This can be generalized also to pseudodifferential operators valued on vector fiber bundles over \(M\).) The author, following some lines of previous works by Connes and other authors, realizes his purpose.