Table of Contents
Fetching ...

The Balmer spectrum and tensor telescope conjecture for noetherian path algebras

Enrico Sabatini

TL;DR

The paper analyzes the derived category $\mathcal{D}(RQ)$ of representations of a finite acyclic quiver $Q$ over a commutative noetherian ring $R$, equipped with a vertexwise tensor product. It computes the Balmer spectrum of the compact objects, showing $\mathrm{Spc}(\mathcal{D}^c(RQ)) \cong \mathrm{Spec}(R) \times Q_0$ and proves a thick tensor-ideals classification via specialization-closed subsets, despite the lack of rigidity. It then develops tensor-t-structures on $\mathcal{D}(RQ)$, classifies compactly generated ones in terms of filtrations of Balmer-spectrum subsets, and proves the tensor telescope conjecture in this non-rigid (yet stratifiable) setting, including generalizations to filtration systems with Dynkin support. The results extend known rigid-case classifications (e.g., for field coefficients) to a broad Noetherian base and expand the toolkit for stratification in tensor-triangular geometry, offering new insights into representations of finite acyclic quivers over rings.

Abstract

Given a commutative noetherian ring $R$ and a finite acyclic quiver $Q$, we study the tensor triangulated category $\mathcal{D}(RQ)$ endowed with the vertexwise tensor product. We find a description of the internal hom functor and show that the category is not rigid. We compute its Balmer spectrum and, despite the non-rigidity, we get a classification of all the thick tensor-ideals and a stratification result. After introducing the notion of tensor-t-structure, we give a classification of the compactly generated ones and prove the tensor telescope conjecture.

The Balmer spectrum and tensor telescope conjecture for noetherian path algebras

TL;DR

The paper analyzes the derived category of representations of a finite acyclic quiver over a commutative noetherian ring , equipped with a vertexwise tensor product. It computes the Balmer spectrum of the compact objects, showing and proves a thick tensor-ideals classification via specialization-closed subsets, despite the lack of rigidity. It then develops tensor-t-structures on , classifies compactly generated ones in terms of filtrations of Balmer-spectrum subsets, and proves the tensor telescope conjecture in this non-rigid (yet stratifiable) setting, including generalizations to filtration systems with Dynkin support. The results extend known rigid-case classifications (e.g., for field coefficients) to a broad Noetherian base and expand the toolkit for stratification in tensor-triangular geometry, offering new insights into representations of finite acyclic quivers over rings.

Abstract

Given a commutative noetherian ring and a finite acyclic quiver , we study the tensor triangulated category endowed with the vertexwise tensor product. We find a description of the internal hom functor and show that the category is not rigid. We compute its Balmer spectrum and, despite the non-rigidity, we get a classification of all the thick tensor-ideals and a stratification result. After introducing the notion of tensor-t-structure, we give a classification of the compactly generated ones and prove the tensor telescope conjecture.

Paper Structure

This paper contains 9 sections, 23 theorems, 48 equations.

Key Result

Theorem A

For any commutative noetherian ring $R$ and finite acyclic quiver $Q=(Q_0,Q_1)$, there is an order-reversing homeomorphism i.e. $\mathop{\mathrm{Spc}}\nolimits(\mathcal{D}^c(RQ))\overset{f}{\cong}_\mathrm{\,Top}\mathop{\mathrm{Spec}}\nolimits(R)\times Q_0$ and $\mathop{\mathrm{Spc}}\nolimits(\mathcal{D}^c(RQ))\overset{f}{\cong}_{\,\mathop{\mathrm{Pos}}\nolimits}\mathop{\mathrm{Spec}}\nolimits(R)^

Theorems & Definitions (56)

  • Theorem A: \ref{['Spectrum']} (2) and \ref{['Thickbyspc']}
  • Theorem B: \ref{['Strat']} (2)
  • Theorem C: Theorems \ref{['TTCthm']} and \ref{['TTCimprove']}
  • Remark 1.1
  • Proposition 1.2
  • proof
  • Theorem 1.3
  • proof
  • Proposition 1.4
  • proof
  • ...and 46 more