In representation theory, there can never be a B-map whose domain is finite-dimensional.
Most of the theorems presented here have never been published before.
If one studies the proof of...... it is apparent that (2) is never used.
If the boundary is never hit then xt is a Feller process under reasonable continuity assumptions.