Related papers: Bernstein's inequality and holonomicity for certai…
We prove the following two results 1. For a proper holomorphic function $ f : X \to D$ of a complex manifold $X$ on a disc such that $\{df = 0 \} \subset f^{-1}(0)$, we construct, in a functorial way, for each integer $p$, a geometric…
We consider the (graded) Matlis dual $\DD(M)$ of a graded $\D$-module $M$ over the polynomial ring $R = k[x_1, \ldots, x_n]$ ($k$ is a field of characteristic zero), and show that it can be given a structure of $\D$-module in such a way…
Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or…
In this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module $M$ of finite flat dimension over such a DG-ring satisfies $\mathrm{projdim}_A(M) \leq…
B. A. Barnes introduced so-called Fredholm elements in a semiprime ring whose definition is inspired by Atkinson's theorem. Here the socle of a semiprime ring generalizes the ideal of finite-rank operators on a Banach space. In this paper,…
We define the notion of Betti structure for holonomic D-modules which are not necessarily regular singular. We establish the fundamental functorial properties. We also give auxiliary analysis of holomorphic functions of various types on the…
We study the category of holonomic $\mathscr{D}_{X}$-modules for a quasi-compact, quasi-separated, smooth rigid analytic variety $X$ over the field $\mathbb{C}(\!(t)\!)$. In particular, we prove finiteness of the de Rham cohomology for such…
Let $A=\mathbb{F}_q[T]$ be the polynomial ring over $\mathbb{F}_q$, and $F$ be the field of fractions of $A$. Let $\phi$ be a Drinfeld $A$-module of rank $r\geq 2$ over $F$. For all but finitely many primes $\mathfrak{p}\lhd A$, one can…
We give characterizations of Gorenstein projective, Gorenstein flat and Gorenstein injective modules over the group algebra for large families of infinite groups and show that every weak Gorenstein projective, weak Gorenstein flat and weak…
We study Fourier transforms of regular holonomic D-modules. In particular we show that their solution complexes are monodromic. An application to direct images of some irregular holonomic D-modules will be given. Moreover we give a new…
The principle "Every result in classical homological algebra should have a counterpart in Gorenstein homological algebra" is given in [3]. There is a remarkable body of evidence supporting this claim (cf. [2] and [3]). Perhaps one of the…
We consider the Bernstein--Sato polynomial of a locally quasi-homogeneous polynomial $f \in R = \mathbb{C}[x_{1}, x_{2}, x_{3}]$. We construct, in the analytic category, a complex of $\mathscr{D}_{X}[s]$-modules that can be used to compute…
Let $R$ be a commutative noetherian ring. The $n$-semidualizing modules of $R$ are generalizations of its semidualizing modules. We will prove some basic properties of $n$-semidualizing modules. Our main result and example shows that the…
In "Frobenius Categories versus Brauer Blocks", Progress in Math. 274, we have introduced the Frobenius categories F over a finite p-group P, and we have associated to F - suitably endowed with some central k*-extensions - a "Grothendieck…
This paper provides a systematic treatment of Gorenstein homological aspects for cleft extensions of rings. In particular, we investigate Goresnteinness, Gorenstein projective modules and singularity categories in the context of cleft…
We describe "quasi canonical modules" for modular invariant rings $R$ of finite group actions on factorial Gorenstein domains. From this we derive a general "quasi Gorenstein criterion" in terms of certain 1-cocycles. This generalizes a…
Hochster's Monomial Conjecture and Canonical Element Conjecture date back some thirty resp. twenty years. They concern all noetherian commutative local rings, and were proved by their originator right away in equal characteristic. Thanks to…
In this article, we study certain local cohomology modules over $F$-pure rings. We give sufficient conditions for the vanishing of some Lyubeznik numbers, derive a formula for computing these invariants when the $F$-pure ring is standard…
Let $(A,\mathfrak{m})$ be an excellent equi-charateristic Gorenstein isolated singularity of dimension $d \geq 2$. Assume the residue field of $A$ is perfect. Let $I$ be any $\mathfrak{m}$-primary ideal. Let $G_I(A) = \bigoplus_{n \geq…
Let R=k[x_1,...,x_d] be the polynomial ring in d independent variables, where k is a field of characteristic p>0. Let D be the ring of k-linear differential operators of R and let f be a polynomial in R. In this work we prove that the…