No label defined (Q3973615)

[For the entire collection see Zbl 0724.00018.] Let \(\mu\) be the Wiener measure on the Wiener space \(X\). The author defines a smooth \(\sigma\)-field as a \(\sigma\)-field \(\mathcal A\) on \(X\) generated by a closed subalgebra of \(\mathbb{D}^ \infty\) (the space of infinitely differentiable random variables) which is also closed by the composition with \(C^ \infty_ b\) functions (functionally closed). The basic example of a smooth \(\sigma\)-field is the \(\sigma\)-field generated by a vector \(g=(g_ 1,\dots,g_ n)\) such that \(g_ i\in\mathbb{D}^ \infty\) for all \(i\) and \((\text{det}\langle Dg_ i,Dg_ j\rangle)^{- 1}\in\bigcap_ p L^ p(X)\). In connection with a smooth \(\sigma\)-field \(\mathcal A\), one studies the notions of basic vector field and basic differential form, which allow to introduce a Riemannian structure on the quotient space \(X/{\mathcal A}\).