Smoothness of stabilisers in generic characteristic

Abstract: Let

R

be a commutative unital ring. Given a finitely-presented affine

R

-group

G

acting on a finitely-presented

R

-scheme

X

of finite type, we show that there is a prime

p_{0}

so that for any

R

-algebra

k

which is a field of characteristic

p > p_{0}

, the centralisers in

G_{k}

of all subsets

U s u b s e t e q X (k)

are smooth. We prove this using the Lefschetz principle together with careful application of Gr"{o}bner basis techniques.

This page was built for publication: Smoothness of stabilisers in generic characteristic