The heat semigroup on configuration spaces. (Q1873647)

The heat semigroup on the configuration space \(\Gamma\) over a complete, connected, oriented, and stochastically complete Riemannian manifold \(X\) of infinite volume can be represented in the form \((\exp\{-Ht\}f) (\gamma) =\int_{ \Gamma_\infty} f(\xi)P_{\gamma,t}(d\xi)\), \(t >0\), \(\gamma\in \Gamma_\infty\), where \(\Gamma_\infty\) is a metric space continuously embedded in \(\Gamma\). It is strongly Feller with respect to the metric on \(\Gamma_\infty\) and, in the case \(X=\mathbb R^n \), Feller with respect to the intrinsic metric of the Dirichlet form over \(L^2 (\Gamma,\pi_m)\), where \(\pi_m\) is the Poisson measure on \(\Gamma\) with intensity \(m\) -- the volume measure on \(X\). A direct construction of the independendent infinite particle process on \(X\) realizing Brownian motion on the configuration space is given. If \(\dim X \geq 2\), it may start in every \(\gamma\in\Gamma_\infty\), will never leave \(\Gamma_\infty\), and has continuous sample paths there. In fact, it is a strong Markov process with transition probability \(P_{\gamma,t} (\cdot)\). The changes necessary to cover the case \(\dim X=1\) are also discussed. A pathwise construction of the independent particle process from the underlying Brownian motion is obtained as a corollary.