Regularity in the obstacle problem for parabolic non-divergence operators of Hörmander type

In this paper we continue the study initiated in 15] concerning the obstacle problem for a class of parabolic non-divergence operators structured on a set of vector fields X={_X1,…,_Xq}$X=\{X_1,\dots ,X_q\}$ in Rⁿ${\mathbf{R}}^n$ with C^∞$C^{\infty }$-coefficients satisfying Hörmander?s finite rank condition, i.e., the rank of Lie_X1,…,_Xq]$\mathrm{Lie}{X}_1,\dots ,X_q]$ equals n   at every point in Rⁿ${\mathbf{R}}^n$. In 15] we proved, under appropriate assumptions on the operator and the obstacle, the existence and uniqueness of strong solutions to a general obstacle problem. The main result of this paper is that we establish further regularity, in the interior as well as at the initial state, of strong solutions. Compared to 15] we in this paper assume, in addition, that there exists a homogeneous Lie group G=(Rⁿ,°,_δλ)$\mathbf{G}=({\mathbf{R}}^n,°,{\delta }_{\lambda })$ such that _X1,…,_Xq$X_1,\dots ,X_q$ are left translation invariant on G and such that _X1,…,_Xq$X_1,\dots ,X_q$ are _δλ${\delta }_{\lambda }$-homogeneous of degree one.