Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userDeformation of $F$-injectivity and local cohomology
176
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We give sufficient conditions for F-injectivity to deform. We show these conditions are met in two common geometrically interesting setting, namely when the special fiber has isolated CM-locus or is F-split.
rate research
Read More
The main aim of this article is to study the relation between $F$-injective singularity and the Frobenius closure of parameter ideals in Noetherian rings of positive characteristic. The paper consists of the following themes, including many other topics. We prove that if every parameter ideal of a Noetherian local ring of prime characteristic $p>0$ is Frobenius closed, then it is $F$-injective. We prove a necessary and sufficient condition for the injectivity of the Frobenius action on $H^i_{fm}(R)$ for all $i le f_{fm}(R)$, where $f_{fm}(R)$ is the finiteness dimension of $R$. As applications, we prove the following results. (a) If the ring is $F$-injective, then every ideal generated by a filter regular sequence, whose length is equal to the finiteness dimension of the ring, is Frobenius closed. It is a generalization of a recent result of Ma and which is stated for generalized Cohen-Macaulay local rings. (b) Let $(R,fm,k)$ be a generalized Cohen-Macaulay ring of characteristic $p>0$. If the Frobenius action is injective on the local cohomology $H_{fm}^i(R)$ for all $i < dim R$, then $R$ is Buchsbaum. This gives an answer to a question of Takagi. We consider the problem when the union of two $F$-injective closed subschemes of a Noetherian $mathbb{F}_p$-scheme is $F$-injective. Using this idea, we construct an $F$-injective local ring $R$ such that $R$ has a parameter ideal that is not Frobenius closed. This result adds a new member to the family of $F$-singularities. We give the first ideal-theoretic characterization of $F$-injectivity in terms the Frobenius closure and the limit closure. We also give an answer to the question about when the Frobenius action on the top local cohomology is injective.
Let fa be an ideal of a commutative Noetherian ring R and M and N two finitely generated R-modules. Let cd_{fa}(M,N) denote the supremum of the is such that H^i_{fa}(M,N) eq 0. First, by using the theory of Gorenstein homological dimensions, we obtain several upper bounds for cd_{fa}(M,N). Next, over a Cohen-Macaulay local ring (R,fm), we show that cd_{fm}(M,N)=dim R-grade(Ann_RN,M), provided that either projective dimension of M or injective dimension of N is finite. Finally, over such rings, we establish an analogue of the Hartshorne-Lichtenbaum Vanishing Theorem in the context of generalized local cohomology modules.
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).
We prove a duality theorem for graded algebras over a field that implies several known duality results : graded local dualit
Let $R$ be a commutative Noetherian ring that is a smooth $mathbb Z$-algebra. For each ideal $I$ of $R$ and integer $k$, we prove that the local cohomology module $H^k_I(R)$ has finitely many associated prime ideals. This settles a crucial outstanding case of a conjecture of Lyubeznik asserting this finiteness for local cohomology modules of all regular rings.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
