Searcharxiv⌕ Search

arXiv · 2611.08344

Simple Modules over Leavitt Path Algebras Generated by Indicator Functions on Paths

Abstract

Let E be an arbitrary graph, K a field, and D the set of boundary paths of E consisting of both infinite paths and finite paths ending at singular vertices. The space KD of K-valued functions on D is a right module over the Leavitt path algebra LK(E). For a non- empty set S ? D that is strongly connected and closed under adding and deleting initial segments, we study the submodule N_S = 1_S.LK(E) generated by the indicator function of S. Let S_0 be the set of vertices lying on the paths in S. We show that N_S is simple if and only if S contains no breaking vertex of the hereditary saturated set H = E0 nS0. In particular, when S contains only infinite paths or when E is a row- finite graph, NS is a simple module. Up to isomorphism, the simple module NS depends only on S_0. When S is an infinite set of paths, the simple module NS is neither graded nor projective. The left module LK(E)1_S, obtained by twisting the action through the involution of LK(E), is simple exactly when NS is, and, when S is infinite, it is not isomorphic to any of the Chen simple modules. For the rose graph R_n with n ? 2 petals, we show that LK(R_n)1_S is isomorphic to one of the twisted Chen modules constructed by Nam, Srivastava and Vien, and to none of the other simple modules in their list. Moreover, when S is not a single vertex, the simple module NS is finitely presented if and only if only finitely many edges of E have both source and range in S_0; in particular, every simple module N_S is finitely presented when E is a finite graph. Finally, we determine when the analogous module generated by an indicator function over the Cohn path algebra CK(E) is simple. 1.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Elizabeth Pacheco, Kulumani M. Rangaswamy. 2026-11-05. Simple Modules over Leavitt Path Algebras Generated by Indicator Functions on Paths. https://arxiv.org/abs/2611.08344

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The center of an associative crossed module

In this paper, we define a Drinfeld-type center for an associative crossed module and prove that it is canonically the internal category of an explicit crossed module constructed from Mac Lane's bimultiplications. The resulting center carries a canonical multiplicative lifting, which induces a natural strict braiding, establishing its correspondence to a braided crossed module. We also examine the relationship between this center and Huq's categorical center. Finally, we obtain a canonical comparison morphism with Pirashvili's center of Lie crossed modules via the (braided) Liezation functors, which preserves braidings under an injectivity condition.

math.RA↗

Inclusions and intersections of products of verbally prime $T$-ideals

We study inclusions and intersections of products of verbally prime $T$-ideals over a field of characteristic zero. Our main tool is a Vandermonde-type construction of graded polynomials with a uniformly bounded number of variables. Together with a reduction to finite exterior algebras, this construction yields separating polynomials that work uniformly under bounds on Grassmann envelope representations. We prove that, under these bounds, an intersection of $T$-ideals is contained in such a product only if one member is. This proves Berele's Conjecture~3 and, consequently, his Conjecture~1 \cite{Berele2012}. We also characterize inclusions between ordered products by an explicit combinatorial criterion, proving his Conjecture~2 and answering his Question~2 \cite{Berele2012}. These results characterize inclusions between arbitrary intersections of products of nonzero proper verbally prime $T$-ideals and show that every nonzero such intersection has a unique finite irredundant representation. As an application, we characterize finite quivers whose path algebras have the same polynomial identities as some, equivalently every, positive power of their arrow ideals.

math.RA↗

Central simple algebras, Milnor $K$-theory and homogeneous spaces over complete discretely valued fields of dimension 2

Let $K$ be a complete discretely valued field of dimension $2$. We prove the following statements on the arithmetic of $K$. - The ``period equals index'' property holds for central simple $K$-algebras. - If $K$ has characteristic $0$, for every prime $p$, every class in the Milnor $\mathrm{K}$-theory modulo $p$ is represented by a symbol. - Serre's Conjecture II holds for the field $K$. That is, for every semisimple and simply connected $K$-group $G$, the set $H^1(K,G)$ is trivial.

math.RA↗