Long time behavior of leafwise heat flow for Riemannian foliations

With the above notation, suppose that, on C^\infty(E), there is a transversely elliptic first order differential operator A, and there are zero order differential operators G, H, K and L such that

Then \Pi defines a continuous operator on C^\infty(E), we have the leafwise Hodge decomposition

and (t,\phi)\mapsto e^{-t{\Delta}}\phi defines a continuous map [0,\infty]\timesC^\infty(E)\rightarrowC^\infty(E).

With the above notation, assume that \widehat\mathcal{F} is a Riemannian foliation. Then \Pi defines a continuous operator on \Omega(\mathcal{F},V), we have the leafwise Hodge decomposition

and (t,\alpha)\mapsto e^{-t\Delta_\mathcal{F}}\alpha defines a continuous map [0,\infty]\times\Omega(\mathcal{F},V)\to\Omega(\mathcal{F},V). Thus {\mathcal H}(\mathcal{F},V) can be canonically identified with \ker\Delta_\mathcal{F}, and, if \mathcal{F} is oriented, then the leafwise Hodge star operator on \ker\Delta_\mathcal{F} induces an isomorphism {\mathcal H}^v(\mathcal{F},V)\cong{\mathcal H}^{p-v}(\mathcal{F},V^\ast).

Let {\cal F} be a Riemannian foliation on a closed manifold M with a bundle-like metric. Then \Pi defines a continuous operator on \Omega, we have the leafwise Hodge decomposition

and (t,\alpha)\mapsto e^{-t{\Delta}_0}\alpha defines a continuous map [0,\infty]\times\Omega\rightarrow\Omega.

Let {\cal F} be a Riemannian foliation on a closed manifold M, and let V be any Riemannian vector bundle with a flat Riemannian {\cal F}-partial connection. Fix any Riemannian metric on the leaves, smooth on M. Then \Pi defines a continuous operator on \Omega({\cal F},V), we have the leafwise Hodge decomposition

and (t,\alpha)\mapsto e^{-t{\Delta}_{\cal F}}\alpha defines a continuous map [0,\infty]\times\Omega({\cal F},V)\rightarrow\Omega({\cal F},V). Thus {\cal H}({\cal F},V) can be canonically identified with \ker{\Delta}_{\cal F}, and, if {\cal F} is oriented, then the leafwise Hodge star operator on \ker{\Delta}_{\cal F} induces an isomorphism {\cal H}^v({\cal F},V)\cong{\cal H}^{p-v}({\cal F},V^\ast).

Let {\cal F} be a Riemannian foliation on a closed manifold M. Then, with respect to the C^\infty topology, the space of bundle-like metrics on M is a deformation retract of the space of all metrics on M.

Let {\cal F} be a Riemannian foliation on a closed manifold M, and let V any Riemannian vector bundle with a flat Riemannian {\cal F}-partial connection. For any metric on the leaves, smooth on M, if there is a nontrivial integrable harmonic r-form on some leaf with coefficients in V, then \Omega^r({\cal F},V)\cap\ker{\Delta}_{\cal F} is of infinite dimension.

Let {\cal F} be a Riemannian foliation on a closed manifold M. For any bundle-like metric on M, the operators {\Delta}_1 and \widetilde{\Delta}_1 are essentially self-adjoint on L^2{\cal H}_1 and L^2\widetilde{\cal H}_1, respectively. Moreover L^2{\cal H}_1 and L^2\widetilde{\cal H}_1 have complete orthonormal systems, \{\phi_i : i=1,2,\ldots\}\subset{\cal H}_1 and \{\tilde\phi_i : i=1,2,\ldots\}\subset\widetilde{\cal H}_1, consisting of eigenvectors of {\Delta}_1 and \widetilde{\Delta}_1, respectively, so that the corresponding eigenvalues satisfy 0\leq\lambda_1\leq\lambda_2\leq\cdots, 0<\tilde\lambda_1\leq\tilde\lambda_2\leq\cdots, with \lambda_i\uparrow\infty if \dim{\cal H}_1=\infty, and \tilde\lambda_i\uparrow\infty if \dim\widetilde{\cal H}_1=\infty; thus all of these eigenvalues have finite multiplicity. In particular we have

Under the same conditions we have H(\bar 0_1)=0 and E_2\cong H({\cal E}_1), which is of finite dimension and, if M is orientable, satisfies the duality E_2^{u,v}\cong E_2^{q-u,p-v}, u,v\in{\bf Z}, where p=\dim{\cal F} and q=\mbox{\rm codim}\;{\cal F}.

The functional calculus map f\mapsto f(D) given by the spectral theorem restricts to a continuous homomorphism of algebras and {\bf C}[z]-modules from \cal A to the space of bounded endomorphisms of each W^k(E), and thus to the space of continuous endomorphisms of C^\infty(E). In particular, e^{-t{\Delta}} defines a bounded operator on each W^k(E) and a continuous operator on C^\infty(E), which depends smoothly on t\in[0,\infty).

There are bounded operators B_1,\ldots,B_5 on W^l(E) such that

For any bounded operator R:W^{l+1}(E)\rightarrow W^l(E), we have the following Duhamel type formula:

as a bounded operator W^{l+1}(E)\rightarrow W^l(E).

[A,e^{-t\Delta}] defines a bounded operator on W^l(E), and there exists \tilde c_{l,1}>0 such that

AD\,e^{-t{\Delta}}\pm D\,e^{-t{\Delta}} A defines a bounded operator on W^l(E) and there exists \tilde c_{l,2}>0 such that

The operator \left[A+B,e^{-t{\Delta}}\right] strongly converges to the zero operator on W^l(E) as t\rightarrow\infty. Moreover (t,\phi)\mapsto\left[A+B,e^{-t{\Delta}}\right]\phi extends to a continuous map [0,\infty]\times W^l(E)\rightarrow W^l(E) vanishing on \{\infty\}\times W^l(E).

\Pi defines a bounded operator on W^{l+1}(E).

[A+B,\Pi]=0:W^{l+1}(E)\rightarrow W^l(E).

[A,\Pi] defines a bounded operator on each W^k(E), and thus a continuous operator on C^\infty(E).

If {\cal F} is a Riemannian foliation and M is endowed with a bundle-like metric, there is a zero order differential operator K on \Omega such that

Over U, the Hodge star operator on {\bigwedge TM^\ast}\equiv\bigwedge T{\cal F}^{\perp\ast}\otimes{\bigwedge T{\cal F}^\ast} is given by

If X\in{{\cal X}\left(U,{{\cal F}_U}\right)} is orthogonal to the leaves, then there is a zero order differential operator R_{U,X} on \Omega^{0,\cdot}(U), depending C^\infty(M/{{\cal F}_U})-linearly on X, such that

Moreover the assignment (U,X)\mapsto R_{U,X} can be chosen so that the restriction of R_{U,X} to any subset U'\subset U of triviality for {\cal F} is equal to R_{U',X'}, where X'=X|_{U'}.

We have

with respect to the canonical decomposition

as tensor product of C^\infty\left(U/{{\cal F}_U}\right)-modules.

Suppose {\cal F} is Riemannian and M is closed with a fixed bundle-like metric. Then the corresponding leafwise heat operator e^{-t{\Delta}_{\cal F}} on \Omega({\cal F},Q) preserves C^\infty(Q^+) for each t\in[0,\infty].

D_1 and \widetilde D_1 are essentially self-adjoint in L^2{\cal H}_1 and L^2\widetilde{\cal H}_1, respectively.

We have the following properties:

• (i) D\Pi-\Pi D_\perp\Pi defines a bounded operator on L^2\Omega.

• (ii) For each v\in{\bf Z}, D\widetilde\Pi_{\cdot,v} -\widetilde\Pi_{\cdot,v}D\widetilde\Pi_{\cdot,v} defines a bounded operator on L^2\Omega.

The restrictions of the kth Sobolev norm \|\cdot\|_k to {\cal H}_1 and \widetilde{\cal H}_1 are respectively equivalent to the norms \|\cdot\|_{D_1,k} and \|\cdot\|_{\widetilde D_1,k}. Thus W^k{\cal H}_1 and W^k\widetilde{\cal H}_1 are the closures of {\cal H}_1 and \widetilde{\cal H}_1 in W^k\Omega, respectively.

The cohomology of the quotient complex {\cal B}_v/{\cal Z}_{v-1} is trivial.