Smoothness of heat kernel measures on infinite-dimensional Heisenberg-like groups (Q1950189)

The article studies measures associated with Brownian motions on infinite-dimensional Heisenberg-like groups. These measures and infinite-dimensional groups have been studied previously by B. Driver and M. Gordina. In \(\mathbb{R}^{n}\) we can interpret a measure being smooth if it has a smooth density with respect to the Lebesgue measure. In the absence of a natural reference measure such as the Lebesgue or Haar measure, we need a different approach. Using an integration by parts formula, the authors define smoothness of measures in this infinite-dimensional case. Then they prove that the path space measure and heat kernel measure satisfy this definition of smoothness.