The divergence on submanifolds of the Wiener space (Q2367750)

The work is motivated by the study of the loop space on a manifold; this loop space can be obtained from a decomposition of the Wiener space; one considers the functional which maps each path of the Wiener space to a path on the manifold obtained by solving a stochastic differential equation, and the loop space can be viewed as the subspace of the Wiener space consisting of paths, the images of which have final value equal to the initial value. In this work, a general theory of the decomposition of the Wiener space by a nondegenerate functional is worked out. Divergence and covariant derivatives are defined; their commutator is related to a curvature process. Other applications of this calculus are discussed: Weitzenboch formula, connection with the stochastic integration on the submanifold.