Search arXiv⌕ Search

arXiv · 0706.3842

D-modules over rings with finite F-representation type

Abstract

Smith and Van den Bergh introduced the notion of finite F-representation type as a characteristic $p$ analogue of the notion of finite representation type. In this paper, we prove two finiteness properties of rings with finite F-representation type. The first property states that if $R=\bigoplus_{n \ge 0}R_n$ is a Noetherian graded ring with finite (graded) F-representation type, then for every non-zerodivisor $x \in R$, $R_x$ is generated by $1/x$ as a $D_{R}$-module. The second one states that if $R$ is a Gorenstein ring with finite F-representation type, then $H_I^n(R)$ has only finitely many associated primes for any ideal $I$ of $R$ and any integer $n$. We also include a result on the discreteness of F-jumping exponents of ideals of rings with finite (graded) F-representation type as an appendix.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shunsuke Takagi, Ryo Takahashi. 2007-12-19. D-modules over rings with finite F-representation type. https://arxiv.org/abs/0706.3842

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homological subsets of Spec

We recover some data of a module $M$ from the Ext-family $\{Ext^i_R(M,R)\}$. In this regard, we investigate homological subsets of $Spec(R)$, defined by the help of Ext-family. For example, we present a situation for which $\bigcup_{i=0}^\infty Ass(Ext^i_R(M,R))$ is infinite, thereby answering a question of Vasconcelos. We extend Grothendieck's calculation of $dim(Ext^g_R(M,R))$ and present some new situations to calculate $dim(Ext^\ast_R(M,R))$. Also, we compute support and the set of all associated prime ideals of the Ext-family in a serial of nontrivial cases.

math.AC↗

On Stanley-Reisner Rings with Minimal Betti Numbers

We study simplicial complexes with a given number of vertices whose Stanley-Reisner ring has the minimal sum of Betti numbers. We prove that every full subcomplex of them is homotopy equivalent either to a point or to a sphere. Moreover, we prove that such kind of simplicial complexes coincide with those having minimal Taylor resolutions.

math.AC↗

Local-Cohen-Macaulay DG-rings with unequal finitistic projective dimensions

For every pair of integers $d,n\geq1$, we construct a commutative noetherian local-Cohen-Macaulay DG-ring $A$ such that $\dim H^0(A)=d$, $\mathrm{amp}(A)=n$, $\mathrm{fpd}(A)=d-n$, and $\mathrm{FPD}(A)=d$. This gives a negative answer to the implication from local-Cohen-Macaulayness to equality of the two finitistic projective dimensions in a question of Bird, Shaul, Sridhar, and Williamson.

math.AC↗