Wild inertia abelianization conjecture for local fields

Let K=QqK=\mathbb{Q}_q be unramified over Qp\mathbb{Q}_p, let k\overline{k} be an algebraic closure of its residue field, and let P=Gal(Ks/Ktr)P=\operatorname{Gal}(K^s/K^\mathrm{tr}) be the wild inertia subgroup. Define

W(k)0×=limkkW(k)0×,\mathbb{W}(\overline{k})_0^\times=\varprojlim_{k'\subset\overline{k}} W(k')_0^\times,

where the limit runs over finite extensions kk' of the residue field and the transition maps are norms. Wild inertia abelianization conjecture. The topological abelianization of PP is naturally isomorphic to

W(k)0×.\mathbb{W}(\overline{k})_0^\times.

This would identify the abelianized wild inertia with the completed group of principal Witt-vector units, equivalently with the corresponding additive Witt-vector object via the logarithm. The source presents this as part of a proposed description of the absolute inertia group and gives no resolution.

Sources & referencesView supporting material

Primary source

Jack Morava, “Toward a fundamental groupoid for the stable homotopy category”, arXiv:math/0509001 (2009).

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.