English

Mixed Characteristic Artin Schreier Polynomials

Commutative Algebra 2022-11-08 v3 Rings and Algebras

Abstract

We present here a version of the Artin-Schreier polynomial that works in any characteristic. Let CpC_p be the cyclic group of prime order pp. Equivalently, we prove one can lift degree pp cyclic CpC_p extensions over local rings R,MR,M where R/MR/M has characteristic pp and RR has arbitrary characterstic. Let ρC\rho \in \Bbb C be a primitive pp root of one. We first consider the case RR has a primitive pp root of one, by which we mean that there is a given homomorphism f:Z[ρ]Rf: \Bbb Z[\rho] \to R. In this context we can write a specific polynomial which generalizes the Artin-Schreier polynomial. We next consider arbtitrary RR and construct a mixed characteristic "generic" Galois extension that proves the lifting result, but here we do not supply a polynomial. It is useful to view these results in terms of Galois actions. If CpC_p is generated by σ\sigma, then Artin-Schreier polynomials describe CpC_p Galois extensions generated by elements θ\theta where σ(θ)=θ+1\sigma(\theta) = \theta + 1. If ρ=f(ρ)\rho' = f(\rho), then our lifted Galois action is σ(θ)=ρθ+1\sigma(\theta) = \rho'\theta + 1. In section two we descend this extension to rings without root of one. In section three we use this new description of cyclic extensions, give the obvious description of the corresponding cyclic algebras, and then define a new algebra which specializes to general differential crossed products in characteristic pp but which are cyclic in characteristic not pp. The algebra in question is generated by x,yx,y subject to the relation xyρyx=1xy - \rho{yx} = 1.

Keywords

Cite

@article{arxiv.2104.03433,
  title  = {Mixed Characteristic Artin Schreier Polynomials},
  author = {David J Saltman},
  journal= {arXiv preprint arXiv:2104.03433},
  year   = {2022}
}
R2 v1 2026-06-24T00:56:37.058Z