On the direct summand conjecture and its derived variant

DOI10.1007/S00222-017-0768-7MaRDI QIDQ1637296zbMATH OpenOpenAlexWikidataFDO

Authors Bhargav Bhatt

Publication date 7 June 2018

Published in Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1608.08882

zbMATH Keywords

almost ring theoryperfectoid spaces

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Étale and flat extensions; Henselization; Artin approximation (13B40) Derived categories and commutative rings (13D09) Homological conjectures (intersection theorems) in commutative ring theory (13D22)

Abstract: Andr'e recently gave a beautiful proof of Hochster's direct summand conjecture in commutative algebra using perfectoid spaces; his two main results are a generalization of the almost purity theorem (the perfectoid Abhyankar lemma) and a construction of certain faithfully flat extensions of perfectoid algebras where "discriminants" acquire all $p$-power roots. In this paper, we explain a quicker proof of Hochster's conjecture that circumvents the perfectoid Abhyankar lemma; instead, we prove and use a quantitative form of Scholze's Hebbarkeitssatz (the Riemann extension theorem) for perfectoid spaces. The same idea also leads to a proof of a derived variant of the direct summand conjecture put forth by de Jong.

Review text

The main goal of this very nice article is to give an alternate proof to Hochster's Direct Summand Conjecture and a proof to a variant conjectured by de Jong: If \(A_0\) is a regular Noetherian ring and \(f_0:X_0 \rightarrow \text{Spec}(A_0)\) is a proper surjective map, then \(A_0 \rightarrow R\Gamma(X_0, \mathcal{O}_{X_0})\) splits in the derived category \(D(A_0)\). Included in the article is a nice review of the highlights of the original proof of the Direct Summand Conjecture given by \textit{Y. André} [Publ. Math., Inst. Hautes Étud. Sci. 127, 71--93 (2018; Zbl 1419.13029)]. Moreover, before the actual proofs of the two main results, the author gives nice sketches of his proofs. As with André's proof, the author's proof also takes place in the realm of perfectoid spaces. However, his proof makes use of a quantitative version of the Riemann extension theorem developed by \textit{P. Scholze} [Ann. Math. (2) 182, No. 3, 945--1066 (2015; Zbl 1345.14031)]: The natural projective system of maps \(\{f_n:A/t^m \rightarrow A\left<\frac{t^n}{g}\right>/t^m\}_{n \geq 1}\) is an almost pro-isomorphism with respect to \((tg)^{\frac{1}{p^{\infty}}}\). The other main ingredients of the proof are showing that regular local rings admit faithfully flat covers by perfectoids and an ingenious use of Artin-Rees applied to the pro-\(A_0\)-modules \(\text{Hom}_{A_0}(Q_0,A_0/p^m)\) for \(A_0\) regular and \(Q_0\) the cokernel of the injection of \(A_0\) into the Noetherian ring \(B_0\).

Recommendations

• The direct factor conjecture
• A sufficient condition for the almost Cohen–Macaulayness of the absolute integral closure in dimension 4
• Valuation rings are derived splinters
• Splitting results in module-finite extension rings and Koh's conjecture
• Weak functoriality of Cohen-Macaulay algebras
• Homological conjectures and Lim Cohen-Macaulay sequences
• Degree p extensions of an unramified regular local ring of mixed characteristic p
• Perfectoid spaces and the homological conjectures
• Singularities in mixed characteristic. The perfectoid approach
• On the existence of maximal Cohen-Macaulay modules over 𝑝th root extensions

Cites work

• \(p\)-divisibility for coherent cohomology
• A characterization of rational singularities
• Abhyankar's perfectoid lemma
• Almost direct summands
• Almost ring theory
• An application of the almost purity theorem to the homological conjectures
• Canonical elements in local cohomology modules and the direct summand conjecture
• Contracted ideals from integral extensions of regular rings
• Der erste Riemannsche Hebbarkeitssatz im nichtarchimedischen Fall.
• Derived splinters in positive characteristic
• Homological conjectures, old and new
• scientific article; zbMATH DE number 125801 (Why is no real title available?)
• scientific article; zbMATH DE number 1765817 (Why is no real title available?)
• scientific article; zbMATH DE number 3252949 (Why is no real title available?)
• Integral \(p\)-adic Hodge theory-announcement
• Integral crystalline cohomology over very ramified valuation rings
• On torsion in the cohomology of locally symmetric varieties
• p-Adic Hodge Theory
• Perfectoid spaces
• Projectivity of the Witt vector affine Grassmannian
• Relative \(p\)-adic Hodge theory: foundations
• The direct summand conjecture in dimension three.
• Vanishing of the higher direct images of the structure sheaf

Cited in

(47)

• On direct sum decomposition of integers and Y. Ito's conjecture
• Big Cohen-Macaulay algebras and the vanishing conjecture for maps of Tor in mixed characteristic
• Integral perfectoid big Cohen-Macaulay algebras via André's theorem
• The direct factor conjecture
• Axiomatic closure operations, phantom extensions, and solidity
• A Zariski-Nagata theorem for smooth \(\mathbb{Z} \)-algebras
• Perfectoid multiplier/test ideals in regular rings and bounds on symbolic powers
• Local cohomology of module of differentials of integral extensions
• Koszul and local cohomology, and a question of Dutta
• Singularities in mixed characteristic via perfectoid big Cohen-Macaulay algebras
• Towards a homological generalization of the direct summand theorem
• Frobenius splitting of valuation rings and \(F\)-singularities of centers
• Keel's base point free theorem and quotients in mixed characteristic
• Prisms and prismatic cohomology
• Extended plus closure in complete local rings
• Valuation rings are derived splinters
• Drinfeld's lemma for perfectoid spaces and overconvergence of multivariate \((\varphi, \Gamma)\)-modules
• On q-de Rham cohomology via -rings
• Nilpotence of Frobenius actions on local cohomology and Frobenius closure of ideals
• Topological spectrum and perfectoid Tate rings
• scientific article; zbMATH DE number 1136057 (Why is no real title available?)
• Content of local cohomology, parameter ideals, and robust algebras
• Direct summand conjecture and descent for flatness
• On the canonical, fpqc, and finite topologies on affine schemes. The state of the art
• The étale locus in complete local rings
• Perfectoid spaces and the homological conjectures
• Regular rings and perfect(oid) algebras
• Finiteness properties and numerical behavior of local cohomology
• On the ideal avoidance property
• On some permanence properties of (derived) splinters
• Minimal model program for semi-stable threefolds in mixed characteristic
• Algebraic geometry in mixed characteristic
• A VARIANT OF PERFECTOID ABHYANKAR’S LEMMA AND ALMOST COHEN–MACAULAY ALGEBRAS
• Bounds on cohomological support varieties
• Exposé Bourbaki 1201 : La conjecture du facteur direct [d’après Y. André et B. Bhatt]
• Globally +-regular varieties and the minimal model program for threefolds in mixed characteristic
• Openness of splinter loci in prime characteristic
• Reductions towards a characteristic free proof of the Canonical Element Theorem
• Relative semiampleness in mixed characteristic
• Perfectoid towers generated from prisms
• Prismatic Kunz's theorem
• Permanence properties of splinters via ultrapower
• Perfectoid signature, perfectoid Hilbert-Kunz multiplicity, and an application to local fundamental groups
• An introduction to singularities in commutative algebra via perfectoid big Cohen-Macaulay algebras
• Measuring birational derived splinters
• Lim Cohen-Macaulay sequences of modules
• Uniform bounds on symbolic powers in regular rings

This page was built for publication: On the direct summand conjecture and its derived variant

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1637296)