Motivic Krasner formula for discriminant strata

Suppose that kk has characteristic p>0p>0. Let m2m\ge2 be an integer, and let Fiem,dFiem\mathrm{Fie}_{m,d}\subset\mathrm{Fie}_{m} be the locus of degree-mm field extensions of k((π))k((\pi)) with discriminant exponent dd.

Motivic version of Krasner's formula. In the Grothendieck-type ring R\mathcal{R},

[Fiem,d]={1(pm, d=m1),0(pm, dm1),(L1)L(dm+1)/p(pm, p(dm+1)),0(pm, p(dm+1)).[\mathrm{Fie}_{m,d}]=\begin{cases}1 & (p\nmid m,\ d=m-1),\\0 & (p\nmid m,\ d\ne m-1),\\(\mathbb{L}-1)\mathbb{L}^{\left\lfloor(d-m+1)/p\right\rfloor} & (p\mid m,\ p\nmid(d-m+1)),\\0 & (p\mid m,\ p\mid(d-m+1)).\end{cases}

This conjecture gives the motivic sizes of discriminant strata of local field extensions and is used for the paper's computations. The source gives no resolution.

Sources & referencesView supporting material

Primary source

Takehiko Yasuda, “Wilder McKay correspondences”, arXiv:1404.3373 (2014).

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.