Flag Hilbert scheme conjecture for the Borel moment-map quotients

At least 6 years old · documented by

Let BB be the Borel subgroup of GLn(C)GL_n(\mathbb{C}), let μB\mu_B be the Borel moment map, and write μB−1(0)/ ⁣/B\mu_B^{-1}(0)/\!/B for the affine quotient and μB−1(0)/ ⁣/det⁡B\mu_B^{-1}(0)/\!/_{\det}B and μB−1(0)/ ⁣/det⁡−1B\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:

μB−1(0)/ ⁣/det⁡B≅μB−1(0)/ ⁣/det⁡−1B.\mu_B^{-1}(0)/\!/_{\det}B\cong\mu_B^{-1}(0)/\!/_{\det^{-1}}B.
  1. There is a resolution of singularities
μB−1(0)/ ⁣/det⁡B↠μB−1(0)/ ⁣/B.\mu_B^{-1}(0)/\!/_{\det}B\twoheadrightarrow\mu_B^{-1}(0)/\!/B.
  1. μB−1(0)/ ⁣/det⁡B\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.

References

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.