The McKean stochastic game driven by a spectrally negative Lévy process

We consider the stochastic-game-analogue of McKean's optimal stopping problem when the underlying source of randomness is a spectrally negative Lévy process. Compared to the solution for linear Brownian motion given in Kyprianou (2004) one finds two new phenomena. Firstly the breakdown of smooth fit and secondly the stopping domain for one of the players `thickens' from a singleton to an interval, at least in the case that there is no Gaussian component.