PreprintCC BY 4.0arXiv
Kashiwara's Lemma for Potent D-modules
Abstract
On stacks there is a richer version of π-modules---called potent πβmodules---which decompletes at equivariant parameters, in the same sense that genuine equivariant K-theory decompletes equivariant cohomology. In this paper, we prove a ``genuine'' version of Kashiwara's lemma for π-modules. Namely, we show that for a broad class of geometric stacks X, if Z β X is a closed substack, the category πpot(Z) of potent π-modules on Z is equivalent under pushforward to the category πpot Z(X) of potent π-modules on X with support contained in Z.
Related
- On linearised and elliptic versions of the KashiwaraβVergne Lie algebra
- Kashiwara--Nakashima tableaux, Gelfand--Tsetlin patterns, and quantum symmetric pairs
- Brunnian braids and the inclusion from double shuffle Lie algebra to Kashiwara-Vergne Lie algebra
- The Composition Lemma for n-dependence
- The Kaplansky-Walker Lemma for additive categories
BibTeX
@misc{erlikhman2026kashiwaras,
title = {{Kashiwara's Lemma for Potent D-modules}},
author = {Jacob Erlikhman and Kendric Schefers},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.32003},
eprint = {2610.32003},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.32003},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Kashiwara's Lemma for Potent D-modules
AU - Jacob Erlikhman
AU - Kendric Schefers
PY - 2026
DA - 2026/10/22
PB - arXiv
DO - 10.48550/arxiv.2610.32003
UR - https://arxiv.org/abs/2610.32003
AB - On stacks there is a richer version of π-modules---called potent πβmodules---which decompletes at equivariant parameters, in the same sense that genuine equivariant K-theory decompletes equivariant cohomology. In this paper, we prove a ``genuine'' version of Kashiwara's lemma for π-modules. Namely, we show that for a broad class of geometric stacks X, if Z β X is a closed substack, the category π^pot(Z) of potent π-modules on Z is equivalent under pushforward to the category π^pot _Z(X) of potent π-modules on X with support contained in Z.
ER -