La conjecture du facteur direct

Abstract

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" and an analysis of Kummer extensions of R by a thickening technique.