Modular Reduction of Nilpotent Orbits
Abstract
Suppose πΊπ is a connected reductive algebraic π-group where π is an algebraically closed field. If ππ is a πΊπ-module then, using geometric invariant theory, Kempf has defined the nullcone π©(ππ) of ππ. For the Lie algebra π€π = Lie(πΊπ), viewed as a πΊπ-module via the adjoint action, we have π©(π€π) is precisely the set of nilpotent elements.
We may assume that our group πΊπ = πΊ Γβ€ π is obtained by base-change from a suitable β€-form πΊ. Suppose π is π€ = Lie(G) or its dual π€* = Hom(π€, β€) which are both modules for πΊ, that are free of finite rank as β€-modules. Then π β¨β€ π, as a module for πΊπ, is π€π or π€π* respectively.
It is known that each πΊβ -orbit πͺ β π©(πβ) contains a representative ΞΎ β π in the β€-form. Reducing ΞΎ one gets an element ΞΎπ β ππ for any algebraically closed π. In this talk, we will explain two ways in which we might want ΞΎ to have βgood reductionβ and how one can find elements with these properties. We will also discuss the relationship to Lusztigβs special orbits.
This is on-going joint work with Adam Thomas (Warwick).