The local model flatness conjecture for parahoric unitary moduli

At least 16 years old · documented by

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 Spec⁡OE\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.

References

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.