The visibility conjecture for prime ideals in tensor-category algebras

Let kk be an algebraically closed field, let C\mathcal{C} be a tensor category of moderate growth, and let AAlgCA\in\mathsf{Alg}\mathcal{C} be an algebra object. A prime ideal pSpecA\mathfrak{p}\in\operatorname{Spec}A is visible if it is the kernel of an algebra morphism ASA\to S to a simple algebra SS. Visibility conjecture. Every prime ideal in every algebra object AAlgCA\in\mathsf{Alg}\mathcal{C} is visible. Visibility would extend the classical correspondence between prime ideals and maps to simple residue-type algebras to the setting of tensor categories; the source gives no resolution status.

Sources & referencesView supporting material

Primary source

Kevin Coulembier, “Commutative algebra in tensor categories”, arXiv:2306.09727 (2026).

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.