Pulse Supply Ground Reference
from my experiene (designed 60000 v DC supply) one should never keep it it asolated. i would strongly recommend earthing of the battary and NMOS source.VERY VERY dangerous.
from your ckt diagrom it is NOT clear whether NMOS is subjected to 4KV voltage.
VTIngole