设 K 为任意域,E 为有限图,并满足 E 中每个顶点至多是一个循环的基点(我们称这样的图满足条件 (AR))。我们明确构造了 Leavitt 路代数 L_K(E) 上每个单左模的内射包。支撑该构造的主要思想是模的“形式幂级数”扩张,从而把此前关于 Toeplitz 代数上单模所获得的、对 L_K(E) 上单模内射包的理解,推广到所有满足条件 (AR) 的图。
英文摘要:
Let $K$ be any field, and let $E$ be a finite graph with the property that every vertex in $E$ is the base of at most one cycle (we say such a graph satisfies Condition (AR)). We explicitly construct the injective envelope of each simple left module over the Leavitt path algebra $L_K(E)$. The main idea girding our construction is that of a "formal power series" extension of modules, thereby developing for all graphs satisfying Condition (AR) the understanding of injective envelopes of simple modules over $L_K(E)$ achieved previously for the simple modules over the Toeplitz algebra.
A ring R is called right principally-injective if every R-homomorphism from a principal right ideal aR to R (a in R), extends to R, or equivalently if every system of equations xa=b (a, b in R) is solvable in R. In this paper we show that for any arbitrary graph E and for a field K, principally-injective conditions for the Leavitt path algebra LK(E) are equivalent to that the graph E being acyclic. We also show that the principally injective Leavitt path algebras are precisely the von Neumann regular Leavitt path algebras.
In this paper we completely describe graphically Leavitt path algebras with bounded index of nilpotence and show that each graded simple module $S$ over a Leavitt path algebra with bounded index of nilpotence is graded $Σ$-injective, that is, $S^{(α)}$ is graded injective for any cardinal $α$. Furthermore, we characterize Leavitt path algebras over which each simple module is $Σ$-injective. We have shown that each simple module over a Leavitt path algebra $L_K(E)$ is $Σ$-injective if and only if the graph $E$ contains no cycles, and there is a positive integer $d$ such that the length of any p…
In this paper, we develop structure theory for graded regular graded self-injective rings and apply it in the context of Leavitt path algebras. We show that for a finite graph, graded regular graded self-injective Leavitt path algebras are of graded type I and these are precisely graded $Σ$-$V$ Leavitt path algebras.
For a certain finite graph E, we consider the corresponding finite dimensional algebra A with radical square zero. An explicit compact generator for the homotopy category of acyclic complexes of injective (resp. projective) modules over A, called the injective (resp. projective) Leavitt complex of E, was constructed in [18] (resp. [19]). We overview the connection between the injective (resp. projective) Leavitt complex and the Leavitt path algebra of E. A differential graded bimodule structure, which is right quasi-balanced, is endowed to the injective (resp. projective) Leavitt complex in [1…
For a finite quiver $Q$ without sinks, we consider the corresponding finite dimensional algebra $A$ with radical square zero. We construct an explicit compact generator for the homotopy category of acyclic complexes of injective $A$-modules. We call such a generator the injective Leavitt complex of $Q$. This terminology is justified by the following result: the differential graded endomorphism algebra of the injective Leavitt complex of $Q$ is quasi-isomorphic to the Leavitt path algebra of $Q$. Here, the Leavitt path algebra is naturally Z-graded and viewed as a differential graded algebra wi…
In this paper, we give a complete characterization of Leavitt path algebras which are graded $Σ$-$V$ rings, that is, rings over which a direct sum of arbitrary copies of any graded simple module is graded injective. Specifically, we show that a Leavitt path algebra $L$ over an arbitrary graph $E$ is a graded $Σ$-$V$ ring if and only if it is a subdirect product of matrix rings of arbitrary size but with finitely many non-zero entries over $K$ or $K[x,x^{-1}]$ with appropriate matrix gradings. We also obtain a graphical characterization of such a graded $Σ$-$V$ ring $L$% . When the graph $E$ is…
Let $L_K(E)$ denote the Leavitt path algebra associated to the finite graph $E$ and field $K$. For any closed path $c$ in $E$, we define and investigate the uniserial, artinian, non-noetherian left $L_K(E)$-module $U_{E,c-1}$. The unique simple factor of each proper submodule of $U_{E,c-1}$ is isomorphic to the Chen simple module $V_{[c^\infty]}$. In our main result, we classify those closed paths $c$ for which $U_{E,c-1}$ is injective. In this situation, $U_{E,c-1}$ is the injective hull of $V_{[c^\infty]}$.
We investigate conditions under which the endomorphism ring of the Leavitt path algebra $L_{K}(E)$ possesses various ring and module-theoretical properties such as being von Neumann regular, $π$-regular, strongly $π$-regular or self-injective. We also describe conditions under which $L_{K}(E)$ is continuous as well as automorphism invariant as a right $L_{K}(E)$-module.
This survey of the recent developments in the investigations of a Leavitt path algebra L of an arbitrary graph E over a field K consists of two parts. In the first part describes how very often a single graph property of E implies multiple ring properties of L, thus making Leavitt path algebras effective tools in constructing rings of various desirable properties. The second part describes methods of constructing simple modules over L and characterizes Leavitt path algebras all of whose simple modules possess some specific properties such as being flat, finitely presented,being graded, injecti…
For a field $K$, let $\mathcal{R}$ denote the Jacobson algebra $K\langle X, Y \ | \ XY=1\rangle$. We give an explicit construction of the injective envelope of each of the (infinitely many) simple left $\mathcal{R}$-modules. Consequently, we obtain an explicit description of a minimal injective cogenerator for $\mathcal{R}$. Our approach involves realizing $\mathcal{R}$ up to isomorphism as the Leavitt path $K$-algebra of an appropriate graph $\mathcal{T}$, which thereby allows us to utilize important machinery developed for that class of algebras.
We characterise directed graphs consisting of disjoint cycles via their talented monoids. We show that a graph $E$ consists of disjoint cycles precisely when its talented monoid $T_E$ has a certain Jordan-Hölder composition series. These are graphs whose associated Leavitt path algebras have finite Gelfand-Kirillov dimension (GKdim). We show that this dimension can be determined as the length of certain ideal series of the talented monoid. Since $T_E$ is the positive cone of the graded Grothendieck group $K_0^{gr}(L_K (E))$, we conclude that for graphs $E$ and $F$, if $K_0^{gr}(L_K (E))\cong K…
Using the E-algebraic systems, various graded irreducible representations of a Leavitt path algebra L of a graph E over a field K are constructed. The concept of a Laurent vertex is introduced and it is shown that the minimal graded left ideals of L are generated by Laurent vertices and/or line points leading to a detailed description of the graded socle of L. Following this, a complete characterization is obtained of the Leavitt path algebras over which every graded irreducible representation is finitely presented. A useful result is that the irreducible representation V_[p] induced by infini…
Motivated by the study of traces on graph $C^*$-algebras, we consider traces (additive, central maps) on Leavitt path algebras, the algebraic counterparts of graph $C^*$-algebras. In particular, we consider traces which vanish on nonzero graded components of a Leavitt path algebra and refer to them as {\em canonical} since they are uniquely determined by their values on the vertices. A desirable property of a $\mathbb{C}$-valued trace on a $C^*$-algebra is that the trace of an element of the positive cone is nonnegative. We adapt this property to traces on a Leavitt path algebra $L_K(E)$ with …
Let $K$ be a field, let $E$ be a finite directed graph, and let $L_K(E)$ be the Leavitt path algebra of $E$ over $K$. We show that for a prime ideal $P$ in $L_K(E)$, the following are equivalent: \begin{enumerate} \item $P$ is primitive; \item $P$ is rational; \item $P$ is locally closed in ${\rm Spec}(L_K(E))$. \end{enumerate} We show that the prime spectrum ${\rm Spec}(L_K(E))$ decomposes into a finite disjoint union of subsets, each of which is homeomorphic to ${\rm Spec}(K)$ or to ${\rm Spec}(K[x,x^{-1}])$. In the case that $K$ is infinite, we show that $L_K(E)$ has a rational $K^{\times}$…
For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite dimensional algebra with radical square zero is triangle equivalent to the derived category of the Leavitt path algebra viewed as a differential graded algebra with trivial differential, which is further triangle equivalent to the stable category of Gorenstein projective modules over the trivial extension algebra of a von Neumann regular algebra by an invertible bimodule. A related, but different, result for the homotopy category of acyclic c…
For a weighted graph $E$, we construct representation graphs $F$, and consequently, $L_K(E)$-modules $V_F$, where $L_K(E)$ is the Leavitt path algebra associated to $E$, with coefficients in a field $K$. We characterise representation graphs $F$ such that $V_F$ are simple $L_K(E)$-modules. We show that the category of representation graphs of $E$, $RG(E)$, is a disjoint union of subcategories, each of which contains a unique universal object $T$ which gives an indecomposable $L_K(E)$-module $V_T$ and a unique irreducible representation graph $S$, which gives a simple $L_K(E)$-module $V_S$. Spe…