The extremal-rank mutation conjecture for nondegenerate Jacobi-finite QPs

Let (Q,S)(Q,\mathcal{S}) be a nondegenerate Jacobi-finite QP. For a pair (δ,ϵ)(\delta,\epsilon) of δ\delta-vectors of (Q,S)(Q,\mathcal{S}), say that the pair has completely extremal rank when

rank(δ,ϵ)=0,rank(δ,ϵ)=dim(δ),orrank(δ,ϵ)=dim(ϵ).\operatorname{rank}(\delta,\epsilon)=0,\quad \operatorname{rank}(\delta,\epsilon)=\underline{\dim}(\delta),\quad\text{or}\quad \operatorname{rank}(\delta,\epsilon)=\underline{\dim}(\epsilon).

Here dim(δ)\underline{\dim}(\delta) denotes the dimension vector of a general representation in PC(δ)\operatorname{PC}(\delta). Extremal-rank mutation conjecture. For any pair (δ,ϵ)(\delta,\epsilon) of δ\delta-vectors, there is a sequence of mutations μu\mu_{\boldsymbol{u}} such that (μu(δ),μu(ϵ))(\mu_{\boldsymbol{u}}(\delta),\mu_{\boldsymbol{u}}(\epsilon)) has completely extremal rank. This conjecture would make the mutation-based computation of general ranks effective; the source also records that the authors were not completely confident about it. The supplied parser status is unknown, so it remains open in this database.

Sources & referencesView supporting material

Primary source

Jiarui Fei, “On the General Ranks of QP Representations”, arXiv:2303.10591 (2024).

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.