A note on the Lichnerowicz vanishing theorem for proper actions

We prove a Lichnerowicz type vanishing theorem for non-compact spin manifolds admiting proper cocompact actions. This extends a previous result of Ziran Liu who proves it for the case where the acting group is unimodular.