Abstract:In this article we continue the study of holonomic modules over sheaves of Cherednik algebras, initiated by the third author in [Tho18]. Working with arbitrary parameters, we first develop a theory of $b$-functions to prove that push-forward along open embeddings preserves holonomicity. This implies that pull-back along closed embeddings also preserves holonomicity. We use these facts to show that both push-forward and pull-back under any melys morphism preserves holonomicity. Since duality preserves holonomicity, we deduce that extraordinary push-forward and extraordinary pull-back also exist for holonomic modules. As a consequence, we give a general classification of irreducible holonomic modules similar to the classification of irreducible holonomic $\mathscr{D}$-modules as minimal extensions of integrable connections on locally closed subsets. Finally, we prove that ext-groups between holonomic modules are finite-dimensional and explore applications of our work to the classification of aspherical parameters and existence of finite-dimensional modules for sheaves of Cherednik algebras.

Holonomic étale sheaves are constructible

Computing the cohomology of constructible étale sheaves on curves

Constructible Witt theory of schemes

Constructible sheaves on toric varieties

Irregular Riemann-Hilbert Correspondence and Enhanced Subanalytic Sheaves

From nonabelian basechange to basechange with coefficients

Morphing etale spaces

Cohomological amplitude for constructible sheaves on moduli spaces of curves

An inclusion-exclusion principle for tautological sheaves on Hilbert schemes of points

Hypercomplex structures on Courant algebroids

Philosophy of contraherent cosheaves

Grothendieck Galois theory and étale exodromy

Étale motives of geometric origin

On relative constructible sheaves and integral transforms

The étale topos reconstructs varieties over sub-p-adic fields

Pull-back and push-forward functors for holonomic modules over Cherednik algebras

Holonomic $\mathscr{D}$-modules on rigid analytic varieties

Nonabelian basechange theorems & étale homotopy theory

Holonomic $A\mathcal{V}$-modules for the affine space

Verdier duality on conically smooth stratified spaces

On the Holonomic Rank Problem