Modular Reduction of Nilpotent Orbits

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).