Hello,
Well, you can’t just easily “subtract” a random part of a physics body. You would need to determine the new shape of the body, remove the current body, and apply a new body which has the “crater” part removed. Perhaps the following guide will help:
https://docs.coronalabs.com/guide/physics/physicsBodies/index.html
Brent