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

We study measures associated to Brownian motions on infinite-dimensional Heisenberg-like groups. In particular, we prove that the associated path space measure and heat kernel measure satisfy a strong definition of smoothness.