What problem does this paper attempt to address?

### What problem does this paper attempt to solve? This paper mainly explores the problem of whether **Artin - Schreier - Witt homology** can be lifted to characteristic 0 under characteristic \(p > 0\). Specifically, the authors prove that Artin - Schreier - Witt homology can be lifted to characteristic 0 under characteristic \(p > 0\). #### Background and Motivation 1. **Lifting problem of Galois covers**: - Given a finite group \(G\) and a \(G\)-cover \(\varphi\) of a curve under characteristic \(p\), the question is: can \(\varphi\) be lifted to characteristic 0? - This problem is an important problem in Galois theory, because the answer is usually negative (that is, in general, it cannot be directly lifted). 2. **The case of Abelian groups**: - For an Abelian group \(G\), studying its lifting problem can be simplified by studying the lifting of cyclic homology. - Recent research shows that all cyclic covers can be lifted (for example, the work of Obus, Wewers and Pop). 3. **Witt vectors and homology**: - Every Abelian cover can be regarded as the pull - back of the homology of some algebraic group. - In particular, when \(G\) is a cyclic group of order \(p^s\), one can consider the homology \(\wp\) on the Witt vector ring \(W_s\), which gives the following exact sequence: \[ 0\rightarrow\mathbb{Z}/p^s\rightarrow W_s\xrightarrow{\wp}W_s\rightarrow 0 \] where \(\text{char}(k) = p\). 4. **Previous work**: - Sekiguchi and Suwa showed that the above sequence can be lifted. - Matsuda proposed a new version of the Kummer - Artin - Schreier - Witt theory from the perspective of \(p\)-adic differential equations. #### Main contributions of the paper - **Lifting theorem**: - By applying Matsuda's theoretical framework, the authors prove that Artin - Schreier - Witt homology can be lifted to characteristic 0 under characteristic \(p > 0\). - Specifically, they construct a polynomial \(E_s(X)\in\mathbb{Z}_p[\zeta_{p^s}][X_0,\ldots,X_{s - 1}]\), which is an appropriate truncation of \(E_{s,p}(pX)\), and show that for \(R=\mathbb{Z}_p[\zeta_{p^s}]\), the cover \(Z_{p^s}=E_s((X_0,\ldots,X_{s - 1}))\) can give the required lifting. - **Methods and results**: - Define the cover by Kummer theory and use the related Witt vectors to prove that the cover satisfies the required conditions. - Prove that the cover is étale and is a homology. In summary, this paper solves the lifting problem of Artin - Schreier - Witt homology under characteristic \(p > 0\) and provides a new and more concise method to deal with this problem.

Kummer-Artin-Schreier-Witt Theory

Cartan Invariants for the Witt Superalgebra W(2) in Positive Characteristic

The special value $u=1$ of Artin-Ihara $L$-functions

Théorie d'Iwasawa des motifs d'Artin et des formes modulaires de poids 1

A vanishing theorem for vector-valued Siegel automorphic forms in characteristic $p$

On invariants of Artin-Schreier curves

An additive variant of the differential symbol maps

Artin-Schreier-Witt Theory for Stacky Curves

A generalization of the Hasse-Arf theorem

The T^1-lifting theorem in positive characteristic

$K_1$-invariants in the mod $p$ cohomology of $U(3)$ arithmetic manifolds

Deformations of commutative Artinian algebras

An Artin-Schreier-type theory for signatures of hermitian forms over involutions

Artin-Schreier quandles of involutions in absolute Galois groups

On characteristic ideal of Selmer group associated to Artin representations

On the Artin formalism for triple product $p$-adic $L$-functions: Chow--Heegner points vs. Heegner points

On a universal characterisation of $p$-typical Witt vectors

On the Artin vanishing theorem for Stein spaces

$p$-torsion for unramified Artin--Schreier covers of curves

Artin Conjecture for P-Adic Galois Representations of Function Fields

Ideal Torsion Pairs for Artin Algebras