On the direct summand conjecture and its derived variant

DOI10.1007/S00222-017-0768-7zbMATH Open1397.13019arXiv1608.08882OpenAlexW2963443633WikidataQ122999984 ScholiaQ122999984MaRDI QIDQ1637296FDOQ1637296

Authors: Bhargav Bhatt 

Publication date: 7 June 2018

Published in: Inventiones Mathematicae (Search for Journal in Brave)

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.

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

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

zbMATH Keywords

perfectoid spacesalmost ring theory

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (39)

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

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)