From resolvents to càdlàg processes through compact excessive functions and applications to singular SDE on Hilbert spaces

We present an approach for constructing càdlàg strong Markov processes given a resolvent of kernels. The conditions imposed on the resolvent are checkable in applications and allow the control of the set of admissible starting points of the process. The main application is to singular SDEs on Hilbert spaces.