Deformability in towers for cyclic extensions

Let nmZ0n\geq m\in\mathbb{Z}_{\geq 0}, and consider a tower of Galois extensions

k[[x]]ϕmk[[ym]]ϕn/mk[[yn]],ϕn=ϕn/mϕm.k[[x]]\xrightarrow{\phi_m}k[[y_m]]\xrightarrow{\phi_{n/m}}k[[y_n]],\qquad \phi_n=\phi_{n/m}\circ\phi_m.

Write RϕmR_{\phi_m}, Rϕn/mR_{\phi_{n/m}}, and RϕnR_{\phi_n} for the corresponding deformation rings, and let G:=Gal(k[[yn]]/k[[x]])G:=\operatorname{Gal}(k[[y_n]]/k[[x]]).

Deformability in towers conjecture. If GG is cyclic, then the natural morphism

ind:SpecRϕnSpecRϕm\operatorname{ind}:\operatorname{Spec}R_{\phi_n}\longrightarrow\operatorname{Spec}R_{\phi_m}

is surjective. Equivalently, for every complete discrete valuation ring RR with residue field kk, after a finite extension RR' of RR one can fill in the commutative deformation diagram in the source, and in this case ϕn\phi_n is called deformable in towers.

This conjecture asks whether every deformation of the lower-level cyclic cover can be lifted to the upper level after a finite extension of the base DVR. It is a proposed generalization of known descriptions of deformation rings in certain wildly ramified cases.

Sources & referencesView supporting material

Primary source

Huy Dang, “Deforming cyclic covers in towers”, arXiv:2010.13614 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.