The Egorov theorem for transverse Dirac-type operators on foliated manifolds (Q2469966)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Egorov theorem for transverse Dirac-type operators on foliated manifolds
scientific article

    Statements

    The Egorov theorem for transverse Dirac-type operators on foliated manifolds (English)
    0 references
    11 February 2008
    0 references
    Let \(M\) be a compact manifold. Then Egorov's theorem [\textit{Yu. V. Egorov}, Sov. Math., Dokl. 18, 1078--1081 (1978); translation from Dokl. Akad. Nauk SSSR 235, 1009--1012 (1977; Zbl 0383.35051)] states that, for any pseudodifferential operator \(A\) of order \(0\) with principal symbol \(a\in S^0(T^*M\setminus 0)\) the operator \(A(t)=e^{itP}Ae^{-itP}\), is a pseudodifferential operator of order \(0\), and its principal symbol \(a_t\in S^0(T^*M\setminus 0)\) is given by the formula \(a_t(x,\xi)=a(f_t(x,\xi))\), \((x,\xi)\in T^*M\setminus 0\). Here \(P\) is a positive, self-adjoint, elliptic, first-order pseudodifferential operator on \(M\) with the positive principal symbol \(p\in S^1(T^*M\setminus 0)\) and \(f_t\) is the so-called \textit{bicharacteristic flow} of \(P\), that is the Hamiltonian flow of \(p\) on \(T^*M\). An example is with \(P=\sqrt{\triangle_g} \), where \(\triangle_g\) is the Laplace-Beltrami operator of a Riemannian metric \(g\) on \(M\). Then the bicharacteristic flow is the geodesic flow of \(g\) on \(T^*M\). This theorem has been generalized by Jakobson and Strohmaier to pseudodifferential operators acting on sections of a vector bundle \(E\) on a compact manifold \(M\) [\textit{D. Jakobson} and \textit{A. Strohmaier}, Commun. Math. Phys. 270, No.~3, 813--833 (2007; Zbl 1114.58014), and in Math. Phys. Anal. Geom. 8, No.~2, 97--119 (2005; Zbl 1082.58024)] by the author of the present paper, for scalar transversally elliptic operators on compact foliated manifolds. Here the author aims to generalize his previous results to sections of a holonomy equivariant vector bundle, by using some ideas by Jakobson and Strohmaier. In fact, Egorov's theorem for transversally elliptic operators, acting on sections of a vector bundle over a compact foliated manifold, is proved. Furthermore, by means of such a generalized Egorov's theorem, he is interested to consider spectral triplets, \(({\mathcal A},{\mathcal H},D)\), (in the sense of Connes' noncommutative geometry), canonically associated to transverse Dirac-type operators \(D\) on Riemannian foliations. The main result is that, under suitable conditions, it is possible identify a one-parameter group of authomorphisms on a \(C^*\)-algebra, canonically associated to \(D\). This is what the author calls \textit{geodesic flow in noncommutative geometry of Riemannian foliations}. In fact, for a particular case of a transverse Dirac operator, the transverse bicharacteristic flow is shown to be given by the transverse geodesic flow and the parallel transport by the parallel transport determined by the transverse Levi-Civita connection. (The author refers also to some of his previous works on this subject in the references, see there.) Reviewer's remark: Let us emphasize that in the category of \textit{quantum Riemannian manifolds}, it is possible to identify \textit{quantum geodesic equations} whose solutions are just geodesics for such quantum manifolds. In fact they are critical points of some quantum variational calculus, where action integrals take values in quantum algebras. (See recent works by the reviewer of this paper.) However, the interpretation of geodesic flow for noncommutative geometry, proposed in this paper, appears to be well related to the spectral interpretation of classic manifolds made in Connes' noncommutative geometry. With this respect, it spins well the role played by Egorov's theorem.
    0 references
    Connes' noncommutative geometry
    0 references
    pseudodifferential operators
    0 references
    Riemannian foliations
    0 references
    geodesic flow
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers