The TF-class canonical decomposition conjecture

Let AA) be a finite dimensional algebra over an algebraically closed field kk. For θθK0(projA)\theta\theta\in K_0(\operatorname{\mathsf{proj}} A), let θ=θ1θ\theta=\theta_1\oplus\cdots\oplus\theta_\ell be a canonical decomposition, and define indNθ:=1indθ\operatorname{{\rm ind}}\mathbb{N}\theta:=\bigcup_{\ell\ge1}\operatorname{{\rm ind}}\ell\theta. Write [θ]TF[\theta]_{\rm TF} for the TF equivalence class of θ\theta and cone\operatorname{cone}^\circ for the relative interior of a cone.

TF-class canonical decomposition conjecture. For each θK0(projA)\theta\in K_0(\operatorname{\mathsf{proj}} A), we have

[θ]TF=cone(indNθ).[\theta]_{\rm TF}=\operatorname{cone}\nolimits^\circ(\operatorname{{\rm ind}}\mathbb{N}\theta).

The preceding theorem proves the corresponding inclusion with the right-hand side contained in the TF class. The conjecture asks for the reverse inclusion, and would describe every TF equivalence class through the canonical decomposition of the positive multiples of θ\theta.

Sources & referencesView supporting material

Primary source

Sota Asai and Osamu Iyama, “Semistable torsion classes and canonical decompositions in Grothendieck groups”, arXiv:2112.14908 (2023).

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.