Category equivalences involving graded modules over path algebras of quivers. (Q436125): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: S. Paul. Smith / rank | |||
Property / review text | |||
Consider a quiver \(Q\) and a field \(k\). Let \(I\) denote the vertex set of \(Q\) and \(Q_1\) the arrow set. The path algebra \(kQ\) can be decomposed in the form \(kQ=KI\oplus kQ_1\oplus kQ_2\oplus\cdots\) and can be seen as the tensor algebra of the \(kI\)-bimodule \(kQ_1\). Next define \(S_n:=\text{End}_{kI}(kQ_n)\). Since \(kQ_{n+1}\cong kQ_1\otimes kQ_n\) (as \(kI\)-modules), we can consider the \(k\)-algebra homomorphism \(\theta_n\colon S_n\to S_{n+1}\) such that for any \(f\in S_n\) and \(x\otimes z\in S_{n+1}\), we have \(\theta(f)(x_1\otimes z)=x_1\otimes f(z)\). Thus, we have a direct system \(S_0\to S_1\to\cdots\) and we can define \(S(Q):=\varinjlim S_n\). The main result of the paper is the chain of category equivalences: \[ \text{QGr}(kQ)\equiv\text{Mod}S(Q)\equiv\text{Gr}L_k(Q^\circ)\equiv\text{Mod}L_k(Q^\circ)_0\equiv\text{QGr}(kQ^{(n)}) \] where: (1) \(\text{QGr}(kQ)\) is the quotient category \(\text{QGr}(kQ):=\text{Gr}(kQ)/\text{Fdim}(kQ)\), with \(\text{Gr}(kQ)\) the category of \(\mathbb Z\)-graded left \(kQ\)-modules; \(\text{Fdim}(kQ)\) the localizing (full) subcategory of modules which agree with the sum of their finite-dimensional submodules. (2) \(Q^\circ\) is the quiver without sinks or sources that is obtained by repeatedly removing all sinks and sources from \(Q\). (3) \(L_k(Q^\circ)\) is the Leavitt path algebra of \(Q^\circ\) and \(L_k(Q^\circ)_0\) is its zero-homogeneous component. (4) \(Q^{(n)}\) is the quiver whose incidence matrix is the \(n\)-th power of that of \(Q\). | |||
Property / review text: Consider a quiver \(Q\) and a field \(k\). Let \(I\) denote the vertex set of \(Q\) and \(Q_1\) the arrow set. The path algebra \(kQ\) can be decomposed in the form \(kQ=KI\oplus kQ_1\oplus kQ_2\oplus\cdots\) and can be seen as the tensor algebra of the \(kI\)-bimodule \(kQ_1\). Next define \(S_n:=\text{End}_{kI}(kQ_n)\). Since \(kQ_{n+1}\cong kQ_1\otimes kQ_n\) (as \(kI\)-modules), we can consider the \(k\)-algebra homomorphism \(\theta_n\colon S_n\to S_{n+1}\) such that for any \(f\in S_n\) and \(x\otimes z\in S_{n+1}\), we have \(\theta(f)(x_1\otimes z)=x_1\otimes f(z)\). Thus, we have a direct system \(S_0\to S_1\to\cdots\) and we can define \(S(Q):=\varinjlim S_n\). The main result of the paper is the chain of category equivalences: \[ \text{QGr}(kQ)\equiv\text{Mod}S(Q)\equiv\text{Gr}L_k(Q^\circ)\equiv\text{Mod}L_k(Q^\circ)_0\equiv\text{QGr}(kQ^{(n)}) \] where: (1) \(\text{QGr}(kQ)\) is the quotient category \(\text{QGr}(kQ):=\text{Gr}(kQ)/\text{Fdim}(kQ)\), with \(\text{Gr}(kQ)\) the category of \(\mathbb Z\)-graded left \(kQ\)-modules; \(\text{Fdim}(kQ)\) the localizing (full) subcategory of modules which agree with the sum of their finite-dimensional submodules. (2) \(Q^\circ\) is the quiver without sinks or sources that is obtained by repeatedly removing all sinks and sources from \(Q\). (3) \(L_k(Q^\circ)\) is the Leavitt path algebra of \(Q^\circ\) and \(L_k(Q^\circ)_0\) is its zero-homogeneous component. (4) \(Q^{(n)}\) is the quiver whose incidence matrix is the \(n\)-th power of that of \(Q\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16W50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16G20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16D90 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6060953 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
path algebras | |||
Property / zbMATH Keywords: path algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quivers | |||
Property / zbMATH Keywords: quivers / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
graded modules | |||
Property / zbMATH Keywords: graded modules / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
category equivalences | |||
Property / zbMATH Keywords: category equivalences / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Leavitt path algebras | |||
Property / zbMATH Keywords: Leavitt path algebras / rank | |||
Normal rank | |||
Property / author | |||
Property / author: S. Paul. Smith / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Cándido Martín González / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2132506225 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1107.3511 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isomorphism and Morita equivalence of graph algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Module theory over Leavitt path algebras and \(K\)-theory. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fractional skew monoid rings. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inductive Limits of Finite Dimensional C ∗ -Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The singularity category of an algebra with radical square zero / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Irreducible representations of Leavitt path algebras. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3808246 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4730462 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Group-graded rings and modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Viewing AF-algebras as graph algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the classification of inductive limits of sequences of semisimple finite-dimensional algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Des catégories abéliennes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quotients of representation-finite algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Perpendicular categories with applications to representations and sheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4198895 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Leavitt path algebras and direct limits / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The graded structure of Leavitt path algebras. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantum spheres and projective spaces as graph algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The spectrum of a module category / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Introduction to Symbolic Dynamics and Coding / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4681774 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3688509 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4049223 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Every AF-algebra is Morita equivalent to a graph algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4287367 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:41, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Category equivalences involving graded modules over path algebras of quivers. |
scientific article |
Statements
Category equivalences involving graded modules over path algebras of quivers. (English)
0 references
30 July 2012
0 references
Consider a quiver \(Q\) and a field \(k\). Let \(I\) denote the vertex set of \(Q\) and \(Q_1\) the arrow set. The path algebra \(kQ\) can be decomposed in the form \(kQ=KI\oplus kQ_1\oplus kQ_2\oplus\cdots\) and can be seen as the tensor algebra of the \(kI\)-bimodule \(kQ_1\). Next define \(S_n:=\text{End}_{kI}(kQ_n)\). Since \(kQ_{n+1}\cong kQ_1\otimes kQ_n\) (as \(kI\)-modules), we can consider the \(k\)-algebra homomorphism \(\theta_n\colon S_n\to S_{n+1}\) such that for any \(f\in S_n\) and \(x\otimes z\in S_{n+1}\), we have \(\theta(f)(x_1\otimes z)=x_1\otimes f(z)\). Thus, we have a direct system \(S_0\to S_1\to\cdots\) and we can define \(S(Q):=\varinjlim S_n\). The main result of the paper is the chain of category equivalences: \[ \text{QGr}(kQ)\equiv\text{Mod}S(Q)\equiv\text{Gr}L_k(Q^\circ)\equiv\text{Mod}L_k(Q^\circ)_0\equiv\text{QGr}(kQ^{(n)}) \] where: (1) \(\text{QGr}(kQ)\) is the quotient category \(\text{QGr}(kQ):=\text{Gr}(kQ)/\text{Fdim}(kQ)\), with \(\text{Gr}(kQ)\) the category of \(\mathbb Z\)-graded left \(kQ\)-modules; \(\text{Fdim}(kQ)\) the localizing (full) subcategory of modules which agree with the sum of their finite-dimensional submodules. (2) \(Q^\circ\) is the quiver without sinks or sources that is obtained by repeatedly removing all sinks and sources from \(Q\). (3) \(L_k(Q^\circ)\) is the Leavitt path algebra of \(Q^\circ\) and \(L_k(Q^\circ)_0\) is its zero-homogeneous component. (4) \(Q^{(n)}\) is the quiver whose incidence matrix is the \(n\)-th power of that of \(Q\).
0 references
path algebras
0 references
quivers
0 references
graded modules
0 references
category equivalences
0 references
Leavitt path algebras
0 references
0 references