Kummer-Artin-Schreier-Witt Theory

We study the problem of lifting the Artin--Schreier--Witt isogeny from characteristic $p>0$ to characteristic $0$, which is central to the lifting problem for Galois covers of algebraic schemes in positive characteristic. We introduce a new technique that associates a Kummer class, representing a tamely ramified cyclic extension, to a Witt vector via Matsuda's Kummer--Artin--Schreier--Witt theory. This viewpoint leads to an explicit construction of a lift of the isogeny over a concrete base ring. Our results lay the groundwork for further applications, including the study of inseparable extensions and Kato's refined Swan conductor.