Related papers: The D-Module structure of R[F]-modules

Let $(R, \mf, k_R)$ be regular local $k$-algebra satisfying the weak Jacobian criterion, such that $k_R/k$ is an algebraic field extension. Let $D_R$ be the ring of $k$-linear differential operators of $R$. We give an explicit decomposition…

We investigate injective dimension of $F$-finite $F$-modules in characteristic $p$ and holonomic $D$-modules in characteristic 0. One of our main results is the following. If, either $R$ is a regular ring of finite type over an infinite…

Let R be a ring of polynomials in a finite number of variables over a perfect field k of characteristic p>0 and let F:R\to R be the Frobenius map of R, i.e. F(r)=r^p. We explicitly describe an R-module isomorphism Hom_R(F_*(M),N)\cong…

Let $I \subset R = \mathbb{F}[x_1,x_2]$ be a height two ideal minimally generated by three homogeneous polynomials of the same degree $d$, where $\mathbb{F}$ is a field of characteristic zero. We use the theory of $D$-modules to deduce…

In this short note I give an alternative proof of a generalization of the result in math.AC/0407464. Namely I show that for most regular rings R, the localization R[1/f] at an element f of R is generated as a module over the ring of…

We consider $\,R-$modules as functors in the following way: if $\,M\,$ is a (left) $R$-module, let $\,\mathcal M\,$ be the functor of $\,\mathcal R-$modules defined by $\,\mathcal M(S) := S \otimes_R M\,$ for every $\,R-$algebra $\,S$. With…

Suppose that $(\mathcal{F},\mathcal{M})$ is an injective structure of $R$-Mod such that the class $\mathcal{F}$ is closed for direct limits, then two modules in $\mathcal{M}$ are isomorphic if there are maps in $\mathcal{F}$ from each one…

Let G be a simply connected semisimple algebraic group over an algebraically closed field k of positive characteristic. We will untwist the structure of G-modules by a newly found splitting of the Frobenius endomorphism on the algebra of…

Let $R$ be an associative ring with unit. Given an $R$-module $M$, we can associate the following covariant functor from the category of $R$-algebras to the category of abelian groups: $S\mapsto M\otimes_R S$. With the corresponding notion…

P. M. Cohn showed in 1971 that given a ring $R$, to describe, up to isomorphism, a division ring $D$ generated by a homomorphic image of $R$ is equivalent to specifying the set of square matrices over $R$ which map to singular matrices over…

Let $R$ be a standard graded algebra over an $F$-finite field of characteristic $p > 0$. Let $\phi:R\to R$ be the Frobenius endomorphism. For each finitely generated graded $R$-module $M$, let ${}^{\phi}\!M$ be the abelian group $M$ with…

In this article, we introduce the notion of regular fusible modules. Let $R$ be a ring with an identity and $M$ an $R$-module. An element $0\neq m\in M$ is said to be regular fusible if there exists $r\in R$, a non zero-divisor of $M$, such…

Let k be a field, let R be a ring of polynomials in a finite number of variables over k, let D be the ring of k-linear differential operators of R and let f be a non-zero element of R. It is well-known that R_f, with its natural D-module…

Let $R = k[x_1, \ldots, x_n]$ be a polynomial ring over a field $k$ of characteristic zero and $\cR$ be the formal power series ring $k[[x_1, \ldots, x_n]]$. If $M$ is a $\D$-module over $R$, then $\cR \otimes_R M$ is naturally a…

Let $R$ be an associative ring with identity. This paper investigates the structure of the monomorphism category of large $R$-modules and establishes connections with the category of contravariant functors defined on finitely presented…

If R is a commutative ring, we prove that every finitely generated module has a pure-composition series with indecomposable factors and any two such series are isomorphic if and only if R is a Bezout ring and a CF-ring.

We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the motivic ring spectrum $H_{dR}$ representing algebraic de Rham…

Let $k$ be an arbitrary field. We construct examples of regular local $k$-algebras $R$ (of positive dimension) for which the ring of differential operators $D_k(R)$ is trivial in the sense that it contains {\it no} operators of positive…

Let an algebraic group G act on X, a connected algebraic manifold, with finitely many orbits. For any Harish-Chandra pair (D,G) where D is a sheaf of twisted differential operators on X, we form a left ideal D.g in D generated by the Lie…

Given a small category C, a C-module M is a functor from C to the category of finite-dimensional vector spaces over a field k. Associated to M is its local structure, given as a functor from C to the category of bi-closed multi-flags over…