Flag Hilbert scheme conjecture for the Borel moment-map quotients

Let BB be the Borel subgroup of GLn(C)GL_n(\mathbb{C}), let μB\mu_B be the Borel moment map, and write μB1(0)/ ⁣/B\mu_B^{-1}(0)/\!/B for the affine quotient and μB1(0)/ ⁣/detB\mu_B^{-1}(0)/\!/_{\det}B and μB1(0)/ ⁣/det1B\mu_B^{-1}(0)/\!/_{\det^{-1}}B for the GIT quotients associated with the indicated characters. Let the flag Hilbert scheme on a complex plane be the moduli space referred to in the source.

Flag Hilbert scheme conjecture. The following hold:

μB1(0)/ ⁣/detBμB1(0)/ ⁣/det1B.\mu_B^{-1}(0)/\!/_{\det}B\cong\mu_B^{-1}(0)/\!/_{\det^{-1}}B.
  1. There is a resolution of singularities
μB1(0)/ ⁣/detBμB1(0)/ ⁣/B.\mu_B^{-1}(0)/\!/_{\det}B\twoheadrightarrow\mu_B^{-1}(0)/\!/B.
  1. μB1(0)/ ⁣/detB\mu_B^{-1}(0)/\!/_{\det}B is isomorphic to the flag Hilbert scheme on a complex plane.

The first assertion is identified in the source with variational GIT, or wall-crossing. The proposed resolution and the identification with the flag Hilbert scheme remain conjectural in the supplied text.

Sources & referencesView supporting material

Primary source

Mee Seong Im and Meral Tosun, “Towards the affine and geometric invariant theory quotients of the Borel moment map”, arXiv:2001.09701 (2020).

Additional references

2 papers in this index state this conjecture (2019–2020). The statement above is taken from the most recent of them; the others are arXiv:1905.10973.

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.