Regularity theory for fully nonlinear parabolic obstacle problems

We study the free boundary of solutions to the parabolic obstacle problem with fully nonlinear diffusion. We show that the free boundary splits into a regular and a singular part: near regular points the free boundary is $C^\infty$ in space and time. Furthermore, we prove that the set of singular points is locally covered by a Lipschitz manifold of dimension $n-1$ which is also $\varepsilon$-flat in space, for any $\varepsilon>0$.