On the non-existence of small Cohen-Macaulay algebras
type: Item
instance of: scholarly article
title: On the non-existence of small Cohen-Macaulay algebras
zbMATH Open document ID: 1317.13022
author: Bhargav Bhatt
published in: Journal of Algebra
publication date: 2014-08-29T00:00:00Z
full work available at URL: https://arxiv.org/abs/1207.5413
Mathematics Subject Classification ID: 13C14
Mathematics Subject Classification ID: 14B25
Mathematics Subject Classification ID: 13F35
zbMATH DE Number: 6335944
zbMATH Keywords: Cohen-Macaulay rings
zbMATH Keywords: homological conjectures
zbMATH Keywords: small Cohen-Macaulay algebras
zbMATH Keywords: \(p\)-adic cohomology
zbMATH Keywords: Witt vectors
reviewed by: S. H. Hassanzadeh
MaRDI profile type: Publication
OpenAlex ID: W2070136420
arXiv ID: 1207.5413
cites work: On Witt vector cohomology for singular varieties
cites work: Q5525471
cites work: Annihilating the cohomology of group schemes
cites work: Algebraic K-theory and crystalline cohomology
cites work: A complete local factorial ring of dimension 4 which is not Cohen-Macaulay
cites work: Q5545200
cites work: Infinite integral extensions and big Cohen-Macaulay algebras
cites work: Absolute integral closure in positive characteristic
cites work: On the Factoriality of Local Rings of Small Embedding Codimension
cites work: Q4109754
cites work: Q4200180
cites work: Q4871734
cites work: Complexe de de\thinspace Rham-Witt et cohomologie cristalline
cites work: Continuous étale cohomology
cites work: Fourier transforms and $p$-adic ‘Weil II’
cites work: Some consequences of the Riemann hypothesis for varieties over finite fields
cites work: DERIVED FUNCTORS OF INVERSE LIMITS REVISITED
cites work: Q3277839
cites work: EXEMPLES DE VARIÉTÉS PROJECTIVES EN CARACTÉRISTIQUE p NON RELEVABLES EN CARACTÉRISTIQUE ZÉRO
cites work: On unirationality of supersingular surfaces
cites work: Galois extensions, plus closure, and maps on local cohomology
cites work: Singular homology of abstract algebraic varieties
DOI: 10.1016/J.JALGEBRA.2014.03.038
Recommended article: Q4650429
Recommended article: Big Cohen-Macaulay algebras in dimension three via Heitmann's theorem.
Recommended article: A NOTE ON BALANCED BIG COHEN–MACAULAY MODULES
Recommended article: Big Cohen-Macaulay algebras and seeds
Recommended article: On the splitting of big Cohen-Macaulay modules
Recommended article: A characterization of closure operations that induce big Cohen-Macaulay modules
Recommended article: Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck
Recommended article: Some results on the cofiniteness and annihilators of local cohomology modules
Recommended article: \(\hat{R^+}\) is surprisingly an integral domain
Recommended article: ON THE PROJECTIVE DIMENSION OF ARTINIAN MODULES
review text: A Noetherian local ring \(R\) admits a \textit{(balanced) big Cohen-Macaulay algebra} if there is an injective local homomorphism \(R\to S\) such that any system of parameters of \(R\) becomes a regular sequence in \(S\). If \(S\) can be chosen to be finitely generated as an \(R\)-module, then we say that \(R\) admits a \textit{(balanced) small Cohen-Macaulay algebra}.NEWLINENEWLINEThe existence of big or small Cohen-Macaulay algebras has a fundamental effect in the homological conjectures, e.g [\textit{M. Hochster}, Ill. J. Math. 51, No. 1, 151--169 (2007; Zbl 1127.13010)].NEWLINENEWLINEAlthough the existence of big Cohen-Macaulay algebra is known in many important cases such as equicharactristic Noetherian local rings [\textit{M. Hochster} and \textit{C. Huneke}, Ann. Math. (2) 135, No. 1, 53--89 (1992; Zbl 0753.13003)], in the main theorem of the paper, the author exploits a \(p\)-adic obstruction to construct a family of rings which do not admit any (balanced) small Cohen-Macaulay algebra. More precisely:NEWLINENEWLINE {Theorem 1.3}. Let \((A,L)\) be a polarized normal projective variety over a perfect field of characteristic \(p>0\). Let \(\hat{R}\) be the completion at the origin of \(R=\bigoplus_{n\geq 0}H^0(A,L^n)\). Assume that \(H^i_{\text{rig}}(A)_{<1}\not = 0\) for some \(0<i<\text{dim}(A)\). Then \(\hat{R}\) does not admit a small Cohen-Macaulay algebra.NEWLINENEWLINEAs it appears from the statement, the proof contains a wide range of techniques from the basic properties for local comology modules for non quasi-coherent sheaves to rigid cohomology and Witt vector cohomology.NEWLINENEWLINE``This theorem generalises a calculation of \textit{A. Sannai} and \textit{A. K. Singh} on the non-existence of a graded small cohen-macaulay algebra [Adv. Math. 229, No. 3, 1847--1861 (2012; Zbl 1242.13022)] As well, this theorem should be contrasted with a result of Hartshorn: if \(A\) is CM, then \(R\) admits a finitely generated maximal Cohen-Macaulay module.''NEWLI…
description: scientific article; zbMATH DE number 6335944