Transitivity conjecture for exceptional bases of the Grothendieck group of projective space

Let K0(Pn)K_0(\mathbb{P}_n) be the Grothendieck group of coherent sheaves on projective space, equipped with the Euler form

χ(E,F)=ν(1)νdimExtν(E,F).\chi(E,F)=\sum_{\nu}(-1)^\nu\dim \operatorname{Ext}^\nu(E,F).

An ordered basis E0,E1,,EnE_0,E_1,\ldots,E_n is exceptional if χ(Ei,Ej)=0\chi(E_i,E_j)=0 for i>ji>j and χ(Ei,Ei)=1\chi(E_i,E_i)=1 for every ii. Mutations are the transformations of exceptional bases induced by the braid-group action described in the source, and an isometry of K0(Pn)K_0(\mathbb{P}_n) is an automorphism preserving χ\chi.

Transitivity conjecture. The group spanned by mutations of exceptional bases and the isometries of K0(Pn)K_0(\mathbb{P}_n) acts transitively on the set of exceptional bases of K0(Pn)K_0(\mathbb{P}_n).

This conjecture concerns the classification of exceptional bases up to mutations and Euler-form isometries. The paper presents it as a central conjecture related to the braid-group action; the supplied text does not state a resolution.

Sources & referencesView supporting material

Primary source

Ivan Beldiev, “The Group of Isometries of K_0(P_n)”, arXiv:2212.01626 (2022).

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.