English

Torsion classes of extended Dynkin quivers over commutative rings

Representation Theory 2025-05-02 v2 Commutative Algebra Rings and Algebras

Abstract

For a Noetherian RR-algebra Λ\Lambda, there is a canonical inclusion torsΛpSpecRtors(κ(p)Λ)\mathsf{tors}\Lambda\to\prod_{\mathfrak{p}\in \mathrm{Spec} R}\mathsf{tors}(\kappa(\mathfrak{p})\Lambda), and each element in the image satisfies a certain compatibility condition. We call Λ\Lambda compatible if the image coincides with the set of all compatible elements. For example, for a Dynkin quiver QQ and a commutative Noetherian ring RR containing a field, the path algebra RQRQ is compatible. In this paper, we prove that RQRQ is compatible when QQ is an extended Dynkin quiver and RR is either a Dedekind domain or a Noetherian semilocal normal ring of dimension two.

Keywords

Cite

@article{arxiv.2303.02928,
  title  = {Torsion classes of extended Dynkin quivers over commutative rings},
  author = {Osamu Iyama and Yuta Kimura},
  journal= {arXiv preprint arXiv:2303.02928},
  year   = {2025}
}

Comments

20 pages, we have improved many results, in particular, (i) using results from our recent paper arXiv:2504.02371, we succeeded in removing the assumption that R contains a field in main Theorem 1.2, (ii) we provided an explicit description of the map r_{pq} for the Kronecker quiver over a Dedekind domain in Section 6