Related papers: Le lemme d'Abhyankar perfectoide

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…

The almost purity theorem is central to the geometry of perfectoid spaces and has numerous applications in algebra and geometry. This result is known to have several different proofs in the case that the base ring is a perfectoid valuation…

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",…

Building on his reduction to the case of an unramified complete regular local ring R of mixed characteristic, we propose a proof in the framework of P. Scholze's perfectoid theory. The main ingredients are the perfectoid "Abhyankar lemma"…

The categories of almost modules and almost algebras are introduced as a convenient setting for the development of Faltings' method of almost etale extensions. After some preliminaries of general "almost homological algebra" we construct…

Given a perfectoid field, we find an elementary extension and a henselian defectless valuation on it, whose value group is divisible and whose residue field is an elementary extension of the tilt. This specializes to the almost purity…

In this paper, we examine the behavior of ideal-adic separatedness and completeness under certain ring extensions using trace map. Then we prove that adic completeness of a base ring is hereditary to its ring extension under reasonable…

In this paper, we prove that a complete Noetherian local domain of mixed characteristic $p>0$ with perfect residue field has an integral extension that is an integrally closed, almost Cohen-Macaulay domain such that the Frobenius map is…

In a previous paper, we stated a general almost purity theorem in the style of Faltings: if R is a ring for which the Frobenius maps on finite p-typical Witt vectors over R are surjective, then the integral closure of R in a finite \'etale…

In his foundational study of $p$-adic Hodge theory, Faltings introduced the method of almost \'etale extensions to establish fundamental comparison results of various $p$-adic cohomology theories. Scholze introduced the tilting operations…

There has been a long-standing question about whether being perfectoid for an algebra is local in the analytic topology. We provide affirmative answers for the algebras (e.g., over $\overline{\mathbb{Z}_p}$) whose spectra are inverse limits…

We prove a perfectoid analogue of the Ax-Kochen theorem on zeros of $p$-adic forms: Given $d\in \mathbb{N}$, there is a finite totally ramified extension $E/\mathbb{Q}_p$ such that every untilt of $\mathbb{F}_p(\!(t^{1/p^{\infty}})\!)$…

We lift the Euler characteristic of a nearly perfect complex to a relative algebraic K-group by passing to its l-adic Euler characteristics.

Let $K$ be a perfectoid field. We describe all quotient fields of the perfectoid Tate algebra\begin{equation*}T_{n,K}^{\text{perfd}}=K\langle X_{1}^{1/p^{\infty}},\dots, X_{n}^{1/p^{\infty}}\rangle\end{equation*}in any number $n\geq1$ of…

Let K and F be complete discrete valuation fields of residue characteristic p>0. Let m be a positive integer no more than their absolute ramification indices. Let s and t be their uniformizers. Let L/K and E/F be finite extensions such that…

We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…

We introduce a certain class of so-called perfectoid rings and spaces, which give a natural framework for Faltings' almost purity theorem, and for which there is a natural tilting operation which exchanges characteristic 0 and…

In this paper we will prove a strong version of the celebrated purity of the ramification locus theorem in algebraic geometry. Our key input is a Tor-independence result for global sections of \'{e}tale schemes over excellent regular local…

We prove a general version of the "Stability Theorem": if $K$ is a valued field such that the ramification theoretical defect is trivial for all of its finite extensions, and if $F|K$ is a finitely generated (transcendental) extension of…

We describe the absolute values on a field which simultaneously extend absolute values on two subfields. We also give a common generalization of many versions of Abhyankar's lemma on ramification indices, which is both widely applicable and…