Perfectoid towers and their tilts : with an application to the \'etale cohomology groups of local log-regular rings

Abstract

To initiate a systematic study on the applications of perfectoid methods to Noetherian rings, we introduce the notions of perfectoid towers and their tilts. We mainly show that the tilting operation preserves several homological invariants and finiteness properties. Using this, we also provide a comparison result on \'etale cohomology groups under the tilting. As an application, we prove finiteness of the prime-to-$p$-torsion subgroup of the divisor class group of a local log-regular ring that appears in logarithmic geometry in the mixed characteristic case.