A new proof of the new intersection theorem (Q2654071)

The New Intersection Theorem was proved in the equicharacteristic case by Peskine and Szpiro (char \(p>0\)) and Hochster (char \(0\)). In the mixed characteristic case, \textit{P. Roberts} [C. R. Acad. Sci., Paris, Sér. I 304, 177--180 (1987; Zbl 0609.13010)] completed the proof using local Chern characters. The authors give here a new proof using Adams operations on \(K\)-theory with supports as developed by Gillet and Soule, instead of local Chern characters.