Algebras whose Tits form accepts a maximal omnipresent root.

DOI10.1090/S0002-9947-2013-05841-2MaRDI QIDQ2862134zbMATH OpenOpenAlexFDO

Authors José A. de la Peña, Andrzej Skowroński

Publication date 14 November 2013

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1107.3299

dimension vectors of indecomposable representations exceptional index maximal omnipresent roots roots of Tits forms tame algebras tilted algebras weakly non-negative quadratic forms

Mathematics Subject Classification ID

Representations of quivers and partially ordered sets (16G20) Representation type (finite, tame, wild, etc.) of associative algebras (16G60) Auslander-Reiten sequences (almost split sequences) and Auslander-Reiten quivers (16G70)

Abstract: Let k be an algebraically closed field and A be a finite-dimensional associative basic k-algebra of the form A=kQ/I where Q is a quiver without oriented cycles or double arrows and I is an admissible ideal of kQ. We consider roots of the Tits form q_A, in particular in case q_A is weakly non-negative. We prove that for any maximal omnipresent root v of q_A, there exists an indecomposable A-module X such that v is the dimension vector of X. Moreover, if A is strongly simply connected, the existence of a maximal omnipresent root of q_A implies that A is tame of tilted type.

Review text

Let \(A=KQ\) be a hereditary algebra over an algebraically closed field \(K\). Then a fundamental theorem of \textit{V. G. Kac} [Invent. Math. 56, 57-92 (1980; Zbl 0427.17001)] states that the dimension vectors of the indecomposable representations are in one-to-one correspondence with the roots of an associated quadratic form \(q_A\) (i.e. those vectors \(v\in\mathbb Z^n\) with non-negative coordinates \(v(i)\) such that \(q_A(v)\leq 1\)).NEWLINENEWLINE If the algebra is no longer hereditary, one can still associate a quadratic form \(q_A\) to \(A=KQ/I\), the Tits form, but Kac's theorem is no longer true (see e.g. Example 1.5 (5) in the paper under review for a root \(v\) which is not realisable as the dimension vector of an indecomposable representation).NEWLINENEWLINE In the paper under review, the authors prove realisability for a certain class of algebras and dimension vectors: Namely under the assumptions that \(Q\) has neither oriented cycles nor double arrows and \(q_A\) admits a maximal omnipresent (real) root. Here real root means \(q_A(v)=1\), omnipresent that \(v(i)>0\) for all \(i\), and maximal that there is no other root \(w\) with \(w(i)\geq v(i)\) for all \(i\).NEWLINENEWLINE Furthermore, under the additional assumption that \(A\) is strongly simply connected they prove a weak form of Kac's theorem, namely that there is a one-to-one correspondence between the indecomposable sincere \(A\)-modules and the omnipresent roots of \(q_A\).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Algebras whose Tits form accepts a maximal omnipresent root.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2862134)