D-modules with finite support are semi-simple
arXiv:1204.4168 · doi:10.1007/s11512-013-0186-z
Abstract
Let $(R, \mf, k_R)$ be regular local -algebra satisfying the weak Jacobian criterion, such that is an algebraic field extension. Let be the ring of -linear differential operators of . We give an explicit decomposition of the -module $D_R/D_R \mf_R^{n+1}$ as a direct sum of simple modules, all isomorphic to $D_R/D_R \mf$, where certain "Pochhammer" differential operators are used to describe generators of the simple components.
7 pages