Motivic Krasner formula for discriminant strata

At least 11 years old · documented by

Suppose that kk has characteristic p>0p>0. Let m≥2m\ge2 be an integer, and let Fiem,d⊂Fiem\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(p∤m, d=m−1),0(p∤m, d≠m−1),(L−1)L⌊(d−m+1)/p⌋(p∣m, p∤(d−m+1)),0(p∣m, p∣(d−m+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.

References

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.