Equivalence of the matrix factorization categories for the six-line hourglass

Let X1.9\mathrm{X}_{1.9} and X1.9\mathrm{X}'_{1.9} be the hourglass varieties, and for each ii let MFi(X1.9)\mathcal{MF}_{i}(\mathrm{X}_{1.9}) denote the left orthogonal component of the exceptional collection OLi(1),OX~1.9,UX~1.9\langle\mathcal{O}_{L_i}(-1),\mathcal{O}_{\widetilde{\mathrm{X}}_{1.9}},\mathrm{U}_{\widetilde{\mathrm{X}}_{1.9}}^{\vee}\rangle in Db(Coh(X~1.9))D^b(\mathrm{Coh}(\widetilde{\mathrm{X}}_{1.9})). Let MF(X1.9)\mathcal{MF}(\mathrm{X}'_{1.9}) be the matrix factorization category associated with X1.9\mathrm{X}'_{1.9}. The authors' conjecture. For any ii, MFi(X1.9)\mathcal{MF}_{i}(\mathrm{X}_{1.9}) is equivalent to MF(X1.9)\mathcal{MF}(\mathrm{X}'_{1.9}). This predicts that the residual category is independent of the chosen line. The proposition immediately preceding the conjecture establishes only an isomorphism of K0K_0 groups, so the categorical equivalence remains unproved in the supplied text.

Sources & referencesView supporting material

Primary source

Xingbang Hao, “Non-commutative hourglasses I: On classification of the Q-Fano 3-folds Gorenstein index 2 via Derived category”, arXiv:2501.17454 (2025).

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.