Abstract
The main result of this article is to prove that any Noetherian local domain of mixed characteristic maps to an integral perfectoid big Cohen–Macaulay algebra. The proof of this result is based on the construction of almost Cohen–Macaulay algebras in mixed characteristic due to Yves André. Moreover, we prove that the absolute integral closure of a complete Noetherian local domain of mixed characteristic maps to an integral perfectoid big Cohen–Macaulay algebra.
Similar content being viewed by others
Notes
“Tilt” is a standard name now. In [28], “Fontaine ring” was employed and \(\mathbf {E}(A)\) was used for the Fontaine ring. As this symbol is obsolete now, we decided to switch to a standard one.
It is probably better to write \(p^\flat :=(\overline{p},\overline{p^{\frac{1}{p}}},\ldots ) \in A^\flat \), but we make a simple choice of notation.
Fontaine, Gabber-Ramero and Kedlaya-Liu also considered versions of perfectoid algebras.
Precisely speaking, this is not necessary in the general theory of perfectoid geometry. But this extra assumption will be sufficient for the main results in this paper.
One uses the following fact: Let R[a] be a simple ring extension of R contained in \(R^+\). Then there is a unique monic polynomial \(f \in R[x]\) such that \(R[x]/(f) \cong R[a]\) by the normality of R.
It is shown in [10, Lemma 3.6] that the ideal-adic completion of a perfect \(\mathbb {F}_p\)-algebra remains perfect.
Quite recently, O. Gabber also announced a similar result, using his weak local uniformization theorem and ultra-products of rings.
References
André, Y.: Le lemme d’Abhyankar perfectoide. Publ. Math. I.H.E.S (2017). https://doi.org/10.1007/s10240-017-0096-x
André, Y.: La conjecture du facteur direct. Publ. Math. I.H.E.S (2017). https://doi.org/10.1007/s10240-017-0097-9
André, Y.: Weak functoriality of Cohen–Macaulay algebras. Commut. Algebra (2018). arXiv:1801.10010
André, Y.: Perfectoid spaces and the homological conjectures. Commut. Algebra (2018). arXiv:1801.10006
Artin, M.: On the joins of Hensel rings. Adv. Math. 7, 282–296 (1971)
Bartijn, J., Strooker, J.R.: Modifications Monomiales, Séminaire d’Algèbre Dubreil-Malliavin, Paris, 1982. Lecture Notes in Mathematics, vol. 1029, pp. 192–217. Springer, Berlin (1983)
Bhatt, B.: On the direct summand conjecture and its derived variant. Invent. Math. 212, 297–317 (2018)
Bhatt, B., Iyengar, S., Ma, L.: Regular rings and perfect(oid) algebras. Commut. Algebra (2018). arXiv:1803.03229
Bhatt, B., Morrow, M., Scholze, P.: Integral p-adic Hodge theory. Algebraic Geom. (2016). arXiv:1602.03148
Dietz, G.: Big Cohen–Macaulay algebras and seeds. Trans. Am. Math. Soc. 359, 5959–5989 (2007)
Dietz, G.: Big Cohen–Macaulay and seed algebras in equal characteristic zero via ultraproducts. J. Commut. Algebra (2016). arXiv:1608.08193
Gabber, O., Ramero, L.: Almost ring theory. Lecture Notes in Mathematics 1800, Springer, Berlin (2003)
Gabber, O., Ramero, L.: Foundations for almost ring theory. Algebraic Geom. (2004). arXiv:math/0409584
Heitmann, R., Ma, L.: Big Cohen–Macaulay algebras and the vanishing conjecture for maps of Tor in mixed characteristic. Commut. Algebra (2017) arXiv:1703.08281
Heitmann, R., Ma, L.: Extended plus closure in complete local rings. Commut. Algebra (2017). arXiv:1708.05761
Hochster, M.: Homological conjectures, old and new. Ill. J. Math. 51, 151–169 (2007)
Hochster, M., Huneke, C.: Infinite integral extensions and big Cohen–Macaulay algebras. Ann. Math. 135, 53–89 (1992)
Hochster, M., Huneke, C.: Applications of the existence of big Cohen–Macaulay algebras. Adv. Math. 113, 45–117 (1995)
Huneke, C., Lyubeznik, G.: Absolute integral closure in positive characteristic. Adv. Math. 210, 498–504 (2007)
Kedlaya, K.S., Liu, R.: Relative p-adic Hodge theory: foundations, Astérisque. 371 (2015)
Ma, L., Schwede, K.: Perfectoid multiplier/test ideals in regular rings and bounds on symbolic powers. Commut. Algebra (2017). arXiv:1705.02300
Quy, P.H.: On the vanishing of local cohomology of the absolute integral closure in positive characteristic. J. Algebra 456, 182–189 (2016)
Roberts, P.: Fontaine rings and local cohomology. J. Algebra 323, 2257–2269 (2010)
Sannai, A., Singh, A.K.: Galois extensions, plus closure, and maps on local cohomology. Adv. Math. 229, 1847–1861 (2012)
Scholze, P.: Perfectoid spaces. Publications Mathématiques de l’IHÉS 116, 245–313 (2012)
Serre, J.-P.: Local Fields. Graduate Texts in Mathematics, vol. 67. Springer, New York (1973)
Shimomoto, K.: The Frobenius action on local cohomology modules in mixed characteristic. Compos. Math. 143, 1478–1492 (2007)
Shimomoto, K.: Almost Cohen–Macaulay algebras in mixed characteristic via Fontaine rings. Ill. J. Math. 55, 107–125 (2011)
Shimomoto, K.: An application of the almost purity theorem to the homological conjectures. J. Pure Appl. Algebra 220, 621–632 (2016)
Shimomoto, K.: An embedding problem of Noetherian rings into the Witt vectors. arXiv:1503.02018
Shimomoto, K.: Lectures on perfectoid geometry for commutative algebraists (in preparation)
Acknowledgements
I am grateful to Bhargav Bhatt, Raymond Heitmann, Kiran Kedlaya, Linquan Ma, Kei Nakazato and Paul Roberts for useful comments. My special gratitude goes to Yves André for his numerous and kind comments and for his inspiration. Finally, I am grateful to the referee for pointing out errors and providing remarks.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Vasudevan Srinivas.
Rights and permissions
About this article
Cite this article
Shimomoto, K. Integral perfectoid big Cohen–Macaulay algebras via André’s theorem. Math. Ann. 372, 1167–1188 (2018). https://doi.org/10.1007/s00208-018-1704-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-018-1704-x