The TF-class canonical decomposition conjecture

About 5 years old · traced to

Let AA) be a finite dimensional algebra over an algebraically closed field kk. For θθ∈K0(proj⁡A)\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 ind⁡Nθ:=⋃ℓ≥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(proj⁡A)\theta\in K_0(\operatorname{\mathsf{proj}} A), we have

[θ]TF=cone⁡∘(ind⁡Nθ).[\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.

References

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.