100 research outputs found
Smoothness of stabilisers in generic characteristic
Let be a commutative unital ring. Given a finitely-presented affine
-group acting on a finitely-presented -scheme of finite type, we
show that there is a prime so that for any -algebra which is a
field of characteristic , the centralisers in of all subsets are smooth. We prove this using the Lefschetz principle
together with careful application of Gr\"{o}bner basis techniques.Comment: 15 page
- …