English

Lifting low-dimensional local systems

Algebraic Geometry 2021-05-25 v4

Abstract

Let kk be a field of characteristic p>0p>0. Denote by Wr(k)W_r(k) the ring of truntacted Witt vectors of length r2r \geq 2, built out of kk. In this text, we consider the following question, depending on a given profinite group GG. Q(G)Q(G): Does every (continuous) representation GGLd(k)G\longrightarrow GL_d(k) lift to a representation GGLd(Wr(k))G\longrightarrow GL_d(W_r(k))? We work in the class of cyclotomic pairs (Definition 4.3), first introduced in [DCF] under the name "smooth profinite groups". Using Grothendieck-Hilbert' theorem 90, we show that the algebraic fundamental groups of the following schemes are cyclotomic: spectra of semilocal rings over Z[1p]\mathbb{Z}[\frac{1}{p}], smooth curves over algebraically closed fields, and affine schemes over Fp\mathbb{F}_p. In particular, absolute Galois groups of fields fit into this class. We then give a positive partial answer to Q(G)Q(G), for a cyclotomic profinite group GG: the answer is positive, when d=2d=2 and r=2r=2. When d=2d=2 and r=r=\infty, we show that any 22-dimensional representation of GG stably lifts to a representation over W(k)W(k): see Theorem 6.1. \\When p=2p=2 and k=F2k=\mathbb{F}_2, we prove the same results, up to dimension d=4d=4. We then give a concrete application to algebraic geometry: we prove that local systems of low dimension lift Zariski-locally (Corollary 6.3).

Keywords

Cite

@article{arxiv.1812.08068,
  title  = {Lifting low-dimensional local systems},
  author = {Charles De Clercq and Mathieu Florence},
  journal= {arXiv preprint arXiv:1812.08068},
  year   = {2021}
}

Comments

to appear in Math. Z

R2 v1 2026-06-23T06:48:06.055Z