On the Tannakian group scheme of $\mathcal{D}$-modules
Xiaodong Yi
Published: 2025/9/22
Abstract
We prove a Lefschetz theorem for the Tannakian group scheme of $\mathcal{D}$-modules, in arbitrary characteristic. In characteristic $0$, We prove a K\"unneth formula for the Tannakian group scheme of regular singular integrable connections, and disprove it for the Tannakian group scheme of all integrable connections without any regularity assumption.