Springer isomorphisms over a general base scheme

We establish the existence of Springer isomorphisms for reductive group schemes over general base schemes.

For this, we first study centralizers of fiberwise regular sections of reductive group schemes, and we establish their flatness in many cases.

At the end, we give several arguments to show that the hypotheses in our results are essentially optimal.

Our results clarify some aspects of Springer isomorphisms even over a field, and the arguments simplify considerably in this case.