Flatness conjecture for the Borel Zastava projection

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.

Sources & referencesView supporting material

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.