
We study a "divgrad type" subLaplacian with respect to a smooth measure and
its associated heat semigroup on a compact equiregular subRiemannian manifold.
We prove a short time asymptotic expansion of the heat trace up to any order.
Our main result holds true for any smooth measure on the manifold, but it has a
spectral geometric meaning when Popp's measure is considered. Our proof is
probabilistic. In particular, we use S. Watanabe's distributional Malliavin
calculus.

In this paper we prove a short time asymptotic expansion of a hypoelliptic
heat kernel on an Euclidean space and a compact manifold. We study the "cut
locus" case, namely, the case where energyminimizing paths which join the two
points under consideration form not a finite set, but a compact manifold. Under
mild assumptions we obtain an asymptotic expansion of the heat kernel up to any
order. Our approach is probabilistic and the heat kernel is regarded as the
density of the law of a hypoelliptic diffusion process, which is realized as a
unique solution of the corresponding stochastic differential equation. Our main
tools are S. Watanabe's distributional Malliavin calculus and T. Lyons' rough
path theory.

A diffusion process associated with the real subLaplacian $\Delta_b$, the
real part of the complex KohnSpencer laplacian $\square_b$, on a strictly
pseudoconvex CR manifold is constructed via the EellsElworthyMalliavin method
by taking advantage of the metric connection due to TanakaWebster. Using the
diffusion process and the Malliavin calculus, the heat kernel and the Dirichlet
problem for $\Delta_b$ are studied in a probabilistic manner. Moreover,
distributions of stochastic line integrals along the diffusion process will be
investigated.

The bijectivity of the mapping, which is represented as expectation, from a
family of Gaussian measures parametrized by linear combinations of Dirac
measures to the space of classical reflectionless potentials is shown. It is
also shown that the bijectivity extends to the space of generalized
reflectionless potentials, which was used by V. Marchenko to study the Cauchy
problem for the KdV equation. In the extension, the stochastic calculus based
on the Brownian sheet plays a key role.