Flatness conjecture for the Borel Zastava projection

About 23 years old · traced to

Let \fg\fg be a Kac–Moody algebra, \fb\fb a Borel subgroup, \bC\bC the curve, and μ\mu a dominant coweight. Let \onMapsμ(\bC,\CG\fg,\fb)\on{Maps}^\mu(\bC,\CG_{\fg,\fb}) be the corresponding space of maps, and let

ϱ\fbμ:\onMapsμ(\bC,\CG\fg,\fb)→\bC∘μ\varrho^\mu_\fb:\on{Maps}^\mu(\bC,\CG_{\fg,\fb})\to \overset{\circ}{\bC}{}^\mu

be its projection to the configuration space of colored divisors. Flatness conjecture. The projection ϱ\fbμ\varrho^\mu_\fb is flat. Equivalently, for any point \bc∈\bC∘\bc\in \overset{\circ}\bC, the preimage of μ⋅\bc∈\bC∘μ\mu\cdot \bc\in \overset{\circ}{\bC}{}^\mu is equidimensional of dimension ∣μ∣|\mu|. The conjecture is stated immediately after the dimension calculation for the Borel Zastava space; the source says it will be established when \fg\fg is of finite and affine type, leaving the general case unresolved.

References

Primary source

A. Braverman, M. Finkelberg and D. Gaitsgory, “Uhlenbeck spaces via affine Lie algebras”, arXiv:math/0301176 (2012).

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.