We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AC

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Commutative Algebra

Title: On Pro-zero homomorphisms and sequences in local (co-)homology

Abstract: 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 \v{C}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 \v{C}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 \v{C}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 \v{C}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]).
Comments: to appear in J. of Algebra
Subjects: Commutative Algebra (math.AC)
MSC classes: Primary: 13Dxx, Secondary: 13B35, 13C11
Cite as: arXiv:2404.14018 [math.AC]
  (or arXiv:2404.14018v1 [math.AC] for this version)

Submission history

From: Peter Schenzel [view email]
[v1] Mon, 22 Apr 2024 09:33:36 GMT (17kb)

Link back to: arXiv, form interface, contact.