The local model flatness conjecture for parahoric unitary moduli

Let (r,s)(r,s) be a signature and let I{0,,m}I\subset\{0,\dotsc,m\} be nonempty. Let MInaiveM_I^{\mathrm{naive}} be the naive local model, MIM_I the closed subscheme cut out by the wedge and strengthened spin conditions, and MIlocM_I^{\mathrm{loc}} the scheme-theoretic closure of the generic fiber in MInaiveM_I^{\mathrm{naive}}. Local model flatness conjecture. The scheme MIM_I is flat over SpecOE\operatorname{Spec} O_E; equivalently,

MIloc=MI.M_I^{\mathrm{loc}}=M_I.

The conjecture concerns whether the additional local-model conditions exactly describe the flat closure of the generic fiber; the source notes that the strengthened spin condition implies the Kottwitz condition, while the general implication to the wedge condition is not known.

Sources & referencesView supporting material

Primary source

Michael Rapoport, Brian Smithling and Wei Zhang, “Regular formal moduli spaces and arithmetic transfer conjectures”, arXiv:1604.02419 (2017).

Additional references

3 papers in this index state this conjecture (2009–2016). The statement above is taken from the most recent of them; the others are arXiv:1110.6424, arXiv:0904.3548.

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.