The conjecture that invariant D-modules factor through the abelianization

Let GG be a connected linear algebraic group, and let [G,G][G,G] denote its commutator subgroup. For a positive integer nn, write \sim for the relation of DD-module isomorphism. The quotient map

GG/[G,G]G\twoheadrightarrow G/[G,G]

induces a pull-back map on representations.

Invariant D-module abelianization conjecture. The pull-back induces an isomorphism

{Invariant D-modules of rank n over G}{Invariant D-modules of rank n over G/[G,G]}.\frac{\{\text{Invariant D-modules of rank } n \text{ over } G\}}{\sim} \cong \frac{\{\text{Invariant D-modules of rank } n \text{ over } G/[G,G]\}}{\sim}.

Thus, up to DD-module isomorphism, invariant D-modules of rank nn over a connected linear algebraic group should be determined by those over its abelianization. The conjecture is proposed after examples for reductive and unipotent groups; its general status is not established in the supplied text.

Sources & referencesView supporting material

Primary source

Yunsong Wei, “Invariant algebraic D-modules over affine algebraic groups”, arXiv:2505.12755 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.