Saved in:
Bibliographic Details
Main Author: Schenzel, Peter
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2404.14018
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • Let $\xx= x_1,\ldots,x_r$ denote a system of elements of a commutative ring $R$. For an $R$-module $M$ we investigate when $\xx$ is $M$-pro-regular resp. $M$-weakly pro-regular as generalizations of $M$-regular sequences. This is done in terms of Čech co-homology resp. homology, defined by $H^i(\check{C}_{\xx} \otimes_R \cdot)$ resp. by $H_i({\textrm{R}} \Hom_R(\check{C}_{\xx},\cdot)) \cong H_i(\Hom_R(\mathcal{L}_{\xx},\cdot))$, where $\check{C}_{\xx}$ denotes the Čech complex and $\mathcal{L}_{\xx}$ is a bounded free resolution of it as constructed in [17] resp. [16]. The property of $\xx$ being $M$-pro-regular resp. $M$-weakly pro-regular follows by the vanishing of certain Čech co-homology resp. homology modules, which is related to completions. This extends previously work by Greenlees and May (see) [5] and Lipman et al. (see [1]}). This contributes to a further understanding of Čech (co-)homology in the non-Noetherian case. As a technical tool we use one of Emmanouil's results (see [4]) about the inverse limits and its derived functor. As an application we prove a global variant of the results with an application to prisms in the sense of Bhatt and Scholze (see[3]).