Download this article
 Download this article For screen
For printing
Recent Issues

Volume 20
Issue 6, 1073–1262
Issue 5, 861–1071
Issue 4, 629–860
Issue 3, 419–628
Issue 2, 219–418
Issue 1, 1–217

Volume 19, 12 issues

Volume 18, 12 issues

Volume 17, 12 issues

Volume 16, 10 issues

Volume 15, 10 issues

Volume 14, 10 issues

Volume 13, 10 issues

Volume 12, 10 issues

Volume 11, 10 issues

Volume 10, 10 issues

Volume 9, 10 issues

Volume 8, 10 issues

Volume 7, 10 issues

Volume 6, 8 issues

Volume 5, 8 issues

Volume 4, 8 issues

Volume 3, 8 issues

Volume 2, 8 issues

Volume 1, 4 issues

The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Editors' interests
 
Subscriptions
 
ISSN 1944-7833 (online)
ISSN 1937-0652 (print)
 
Author index
To appear
 
Other MSP journals
Smoothness of stabilisers in generic characteristic

Ben Martin, David I. Stewart and Lewis Topley

Vol. 20 (2026), No. 6, 1159–1184
Abstract

Let R be a commutative unital ring. Given a finitely presented affine R-group scheme G acting on a finitely presented separated scheme X over R, we show that there is a prime p0 such that for any R-algebra k that is a field of characteristic p p0, the centraliser in Gk of any closed subscheme of Xk is smooth. When X is not necessarily separated we show similarly that for any closed finitely presented subscheme Y X there is a p1 depending on Y such that when k has characteristic p p1, the normaliser of Y k in Gk is smooth. For the proof, we may assume k is algebraically closed, whence we prove these results using the Lefschetz principle together with careful application of Gröbner basis techniques, and using a suitable notion of the complexity of an action.

We apply our results to demonstrate that the Kostant–Kirillov–Souriau theorem holds for Lie algebras of algebraic groups in large positive characteristics: the coadjoint module of every such Lie algebra decomposes as a disjoint union of symplectic varieties, each of which is a coadjoint orbit.

Keywords
algebraic group, smooth normaliser, smooth centraliser, smoothness, Gröbner basis, Lefschetz principle
Mathematical Subject Classification
Primary: 03C60
Secondary: 20G07
Milestones
Received: 3 November 2023
Revised: 6 December 2024
Accepted: 27 June 2025
Published: 26 May 2026
Authors
Ben Martin
Department of Mathematics
University of Aberdeen
Aberdeen
United Kingdom
David I. Stewart
Department of Mathematics
University of Manchester
Manchester
United Kingdom
Lewis Topley
Department of Mathematical Sciences
University of Bath
Bath
United Kingdom

Open Access made possible by participating institutions via Subscribe to Open.