1: \begin{abstract}

2:    In this manuscript, we prove the Bernstein inequality and develop the theory of holonomic $D$-modules for rings of invariants of finite groups in characteristic zero, and for strongly $F$-regular finitely generated graded algebras with FFRT in prime characteristic.

3:    In each of these cases, the ring itself, its localizations, and its local cohomology modules are holonomic.

4:    %{\cb Also holonomic is a certain $D$-module that plays a role in showing the existence of the Bernstein--Sato polynomial.}

5:    We also show that holonomic $D$-modules, in this context, have finite length and we prove the existence of Bernstein--Sato polynomials in characteristic zero. We obtain these results using a more general version of Bernstein filtrations.

6: \end{abstract}

7: