Pith. sign in

REVIEW 5 cited by

Foundations for almost ring theory -- Release 7.5

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

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

arxiv math/0409584 v13 pith:FHBJAJWF submitted 2004-09-29 math.AG math.NT

Ofer Gabber , Lorenzo Ramero This is my paper · ORCID
classification math.AGmath.NT
keywords almostproofreleasefoundationsgeneralizationperfectoidspacesandr
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 5 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond

    math.NT 2026-07 unverdicted novelty 7.0 of 10

    The authors construct Lean libraries for q-series primitives and deliver verified proofs of the Jacobi triple product and Rogers-Ramanujan identities.

  2. Higgs bundles on the Fargues-Fontaine curve

    math.AG 2026-06 unverdicted novelty 7.0 of 10

    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...

  3. The categorical local Langlands conjecture

    math.NT 2026-05 unverdicted novelty 7.0 of 10

    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.

  4. Algebraization of absolute perfectoidization via section rings

    math.AG 2026-04 unverdicted novelty 7.0 of 10

    Graded absolute perfectoidization of G-graded adic rings yields an algebraization of the structure sheaf of projective-type formal schemes.

  5. Relative representability and parahoric level structures

    math.NT 2024-02 unverdicted novelty 6.0 of 10

    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...

Pith tools