On the direct summand conjecture and its derived variant (Q1637296)

The main goal of this very nice article is to give an alternate proof to Hochster's Direct Summand Conjecture and a proof to a variant conjectured by de Jong: If \(A_0\) is a regular Noetherian ring and \(f_0:X_0 \rightarrow \text{Spec}(A_0)\) is a proper surjective map, then \(A_0 \rightarrow R\Gamma(X_0, \mathcal{O}_{X_0})\) splits in the derived category \(D(A_0)\). Included in the article is a nice review of the highlights of the original proof of the Direct Summand Conjecture given by \textit{Y. André} [Publ. Math., Inst. Hautes Étud. Sci. 127, 71--93 (2018; Zbl 1419.13029)]. Moreover, before the actual proofs of the two main results, the author gives nice sketches of his proofs. As with André's proof, the author's proof also takes place in the realm of perfectoid spaces. However, his proof makes use of a quantitative version of the Riemann extension theorem developed by \textit{P. Scholze} [Ann. Math. (2) 182, No. 3, 945--1066 (2015; Zbl 1345.14031)]: The natural projective system of maps \(\{f_n:A/t^m \rightarrow A\left<\frac{t^n}{g}\right>/t^m\}_{n \geq 1}\) is an almost pro-isomorphism with respect to \((tg)^{\frac{1}{p^{\infty}}}\). The other main ingredients of the proof are showing that regular local rings admit faithfully flat covers by perfectoids and an ingenious use of Artin-Rees applied to the pro-\(A_0\)-modules \(\text{Hom}_{A_0}(Q_0,A_0/p^m)\) for \(A_0\) regular and \(Q_0\) the cokernel of the injection of \(A_0\) into the Noetherian ring \(B_0\).