Published online by Cambridge University Press: 24 October 2008
Dirichlet forms and their associated function spaces have been studied by a number of authors [4, 6, 7, 12, 15–18, 22, 25, 26]. Important motivation for the study has been the connection of Dirichlet forms with Markov processes [16–18, 25, 26]: for example, to every regular symmetric Dirichlet form, there is an associated Hunt process [13, 20]. This makes the theory of Dirichlet forms a convenient source of examples of Hunt processes. In the non-commutative setting, Markov fields have been studied by several authors [1–3, 14, 19, 24, 28]. It is therefore interesting to develop a non-commutative extension of the theory of Dirichlet forms and to study their connection with non-commutative Markov processes.