Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userFiniteness properties of formal local cohomology modules and Cohen-Macaulayness
129
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Let $fa$ be an ideal of a local ring $(R,fm)$ and $M$ a finitely generated $R$-module. We investigate the structure of the formal local cohomology modules ${vpl}_nH^i_{fm}(M/fa^n M)$, $igeq 0$. We prove several results concerning finiteness properties of formal local cohomology modules which indicate that these modules behave very similar to local cohomology modules. Among other things, we prove that if $dim Rleq 2$ or either $fa$ is principal or $dim R/faleq 1$, then $Tor_j^R(R/fa,{vpl}_nH^i_{fm}(M/fa^n M))$ is Artinian for all $i$ and $j$. Also, we examine the notion $fgrade(fa,M)$, the formal grade of $M$ with respect to $fa$ (i.e. the least integer $i$ such that ${vpl}_nH^i_{fm}(M/fa^n M) eq 0$). As applications, we establish a criterion for Cohen-Macaulayness of $M$, and also we provide an upper bound for cohomological dimension of $M$ with respect to $fa$.
rate research
Read More
Let fa be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. We explore the behavior of the two notions f_{fa}(M), the finiteness dimension of M with respect to fa, and, its dual notion q_{fa}(M), the Artinianess dimension of M with respect to fa. When (R,fm) is local and r:=f_{fa}(M) is less than f_{fa}^{fm}(M), the fm-finiteness dimension of M relative to fa, we prove that H^r_{fa}(M) is not Artinian, and so the filter depth of fa on M doesnt exceeds f_{fa}(M). Also, we show that if M has finite dimension and H^i_{fa}(M) is Artinian for all i>t, where t is a given positive integer, then H^t_{fa}(M)/fa H^t_{fa}(M) is Artinian. It immediately implies that if q:=q_{fa}(M)>0, then H^q_{fa}(M) is not finitely generated, and so f_{fa}(M)leq q_{fa}(M).
Our goal is to determine when the trivial extensions of commutative rings by modules are Cohen-Macaulay in the sense of Hamilton and Marley. For this purpose, we provide a generalization of the concept of Cohen-Macaulayness of rings to modules.
Let $frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $V(fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{fa}_i(M) eq 0$. We show that $M$ is $fa$-cofinite if and only if the $R$-module $Tor^R_i(R/fa,M)$ is finitely generated for every $0leq ileq n$. This provides a hands-on and computable finitely-many-steps criterion to examine $mathfrak{a}$-confiniteness. Our approach relies heavily on the theory of local homology which demonstrates the effectiveness and indispensability of this tool.
Let $A$ be a commutative Noetherian ring containing a field $K$ of characteristic zero and let $R= A[X_1, ldots, X_m]$. Consider $R$ as standard graded with $deg A=0$ and $deg X_i=1$ for all $i$. We present a few results about the behavior of the graded components of local cohomology modules $H_I^i(R)$ where $I$ is an arbitrary homogeneous ideal in $R$. We mostly restrict our attention to the Vanishing, Tameness and Rigidity problems.
We study the singularities of integral models of Shimura varieties and moduli stacks of shtukas with parahoric level structure. More generally our results apply to the Pappas-Zhu and Levin mixed characteristic parahoric local models, and to their equal characteristic analogues. For any such local model we prove under minimal assumptions that the entire local model is normal with reduced special fiber and, if $p>2$, it is also Cohen-Macaulay. This proves a conjecture of Pappas and Zhu, and shows that the integral models of Shimura varieties constructed by Kisin and Pappas are Cohen-Macaulay as well.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
