REVIEW 8 cited by
Foundations for almost ring theory -- Release 7.5
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Foundations for almost ring theory -- Release 7.5
read the original abstract
This is release 7.5 of our project, aiming to provide a complete treatment of the foundations of almost ring theory, following and extending Faltings's method of "almost etale extensions". The central result is the "almost purity theorem", for whose proof we adapt Scholze's method, based on his perfectoid spaces. This release provides the foundations for our generalization of Scholze's perfectoid spaces, and reduces the proof of the almost purity theorem to a general assertion concerning the \'etale topology of adic spaces, whose proof uses previous work by the first author. As usual, this new release is a mix of corrections and various improvements, with a final chapter dedicated to applications; notably, we include a generalization of Y.Andr\'e's "perfectoid Abhyankar's lemma" which we use to give a proof of a generalization of the "direct summand conjecture", extending Andr\'e's recent work.
Forward citations
Cited by 8 Pith papers
-
Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond
The authors construct Lean libraries for q-series primitives and deliver verified proofs of the Jacobi triple product and Rogers-Ramanujan identities.
-
Higgs bundles on the Fargues-Fontaine curve
Introduces Higgs bundles on the Fargues-Fontaine curve, establishes a BNR correspondence, and shows an injective étale-stack map from B_dR^+-affine Springer fibers to the Hitchin fiber inducing category equivalence on...
-
The categorical local Langlands conjecture
Program to prove categorical local Langlands conjecture via compatibility hypothesis for GL_n, induction on Levi subgroups for general groups, plus new spectral finiteness, duality, and admissible ind-coherent sheaf results.
-
A local-global correspondence for perfectoid purity
A correspondence is shown between lim-perfectoid splitting of projective schemes and lim-perfectoid purity of their Gorenstein section rings, supplying new examples of lim-perfectoid pure rings.
-
Algebraization of absolute perfectoidization via section rings
A graded absolute perfectoidization is built for G-graded adic rings, with the key result that the absolute perfectoidization of the structure sheaf on projective-type formal schemes algebraizes.
-
Flat Cohomological Purity for Syntomic Schemes over Valuation Rings
Proves that cohomology of syntomic schemes over valuation rings is unchanged by removing closed subschemes of suitable fibrewise codimension, extending Česnavičius–Scholze to non-noetherian cases.
-
Relative representability and parahoric level structures
Establishes a representability criterion for v-sheaf modifications of formal schemes and applies it to parahoric level structures on local shtukas, yielding local representability of integral models of local Shimura v...
-
A local-global correspondence for perfectoid purity
A correspondence links lim-perfectoid splitting of projective schemes to lim-perfectoid purity of their Gorenstein section rings, supplying new examples of lim-perfectoid pure rings beyond complete intersections and s...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.