\(D\)-modules over rings with finite F-representation type (Q935896)

The authors explore the structure of \(D\)-modules over rings with finite \(F\)-representation type (as defined by \textit{K. E. Smith} and \textit{M. Van den Bergh} in [Proc. Lond. Math. Soc., III. Ser. 75, No. 1, 32--62 (1997; Zbl 0948.16019)]). In particular, they show that if \(R\) is a noetherian graded ring with finite \(F\)-representation type, then for every non-zero divisor \(x \in R\), \(R_x = R[x^{-1}]\) is generated by \(1/x\) as a \(D_R\)-module (this generalizes similar statements for regular rings found in [\textit{J. Alvarez-Montaner, M. Blickle} and \textit{G. Lyubeznik}, Math. Res. Lett. 12, No. 4, 459--473 (2005; Zbl 1115.13032)]). The authors also show that for a Gorenstein ring with finite \(F\)-representation type, then \(H^n_I(R)\) has only finitely many associated primes (for any \(I\) and \(n \geq 0\)). It has been a major area of research in commutative algebra to determine when local cohomology modules have finitely many associated primes. In more general settings, there are examples of local cohomology modules without finitely many associated primes. However, there have also been many situations where it is shown that the local cohomology modules do have finitely many associated primes, and this paper adds to that list. Finally, the authors consider \(F\)-jumping numbers. Set \(R\) to be a strongly \(F\)-regular graded domain of finite graded \(F\)-representation type such that \(R_0\) is a field. Let \(\mathfrak{a}\) be a homogeneous non-zero ideal of \(R\). Then the authors show that the set of \(F\)-jumping numbers of \(\mathfrak{a}\) is a discrete set of numbers. This partially generalizes results of Blickle, Mustaţă and Smith from the regular case.