arXiv Science⌕ Search

arXiv subjects

Promit Mukherjee

Publications and source records attributed to Promit Mukherjee.

6 recordsLinked to original sources

Remarks on the Farthing--Muhly--Yeend inverse semigroup of a finitely aligned higher-rank graph

Given a finitely aligned higher-rank $k$-graph $Λ$, Farthing, Muhly and Yeend (Semigroup Forum 2005) constructed an inverse semigroup $S_Λ$ to provide a groupoid model for the $C^*$-algebra of $Λ$. In this paper, we extend some of the existing results related to the semigroup structure of a graph inverse semigroup to the more general setting of the inverse semigroup $S_Λ$. We obtain geometric descriptions of the Green's relations on $S_Λ$, which effectively generalize the existing characterization of Green's relations on a graph inverse semigroup. We provide a simple and useful description of the Cuntz-Krieger ideal of the Booleanization of $S_Λ$ and, based on this, identify a certain $X$-to-join Booleanization of $S_Λ$, where the abstract and concrete Cuntz-Krieger relations agree. Besides the natural partial order, $S_Λ$ is also ordered by set-inclusion. This helps us to realize $S_Λ$ as a semigroup \emph{graded-ordered} by $\mathbb{Z}^k$ and, subsequently, gives rise to a full inverse subsemigroup $S_Λ^h$ of $S_Λ$, which is graded by $\mathbb{Z}^k$ in the usual sense. We show that the Kumjian-Pask algebra of $Λ$ is graded isomorphic to the quotient of the contracted semigroup algebra of $S_Λ^h$ by the tight ideal. In the final part of the paper, we show that a $k$-graph morphism $p:Λ_1\longrightarrow Λ_2$ that is injective and satisfies a certain path lifting property induces, in a natural way, an injective $0$-preserving semigroup homomorphism from $S_{Λ_1}$ to $S_{Λ_2}$. In view of this, we build a suitable categorical setup to conclude that the isomorphism established between the Kumjian-Pask algebra of $Λ$ and the tight ideal quotient of the semigroup algebra of $S_Λ^h$ is natural.

math.RA↗

The prime spectrum of the talented monoid of a higher-rank graph and applications

In this paper, we further investigate the role of the graded Grothendieck group $K_0^{\gr}$ and its positive cone (the talented monoid) as an effective tool for distinguishing structural types of algebras associated to higher-rank $k$-graphs. We study the prime spectrum (the space of all prime $Γ$-order ideals equipped with a Zariski-like topology) of a general commutative $Γ$-monoid and establish that this space is spectral in the sense of Hochster, provided the monoid has the refinement property and every $Γ$-order ideal is finitely generated. As a result we are able to show that the prime spectrum of the talented monoid of a row-finite $k$-graph without sources and with a finite set of vertices is spectral. For any row-finite $k$-graph $Λ$ without sources, one of our main results says that the space of all graded prime ideals of the Kumjian--Pask algebra $\KP(Λ)$ is homeomorphic to both the space of all prime $\mathbb{Z}^k$-order ideals and the space of all prime $\mathbb{Z}^k$-filters of the talented monoid $T_Λ$. Another main result of this paper provides a complete topological description of regular $Γ$-order ideals of a refinement $Γ$-monoid: a $Γ$-order ideal $J$ is regular if and only if the corresponding closed (resp., open) set $V(J)$ (resp., $D(J)$) is regular closed (resp., regular open) in the prime spectrum. As an application of these results, we establish a lattice isomorphism between the lattice of all regular $\mathbb{Z}^k$-order ideals of the talented monoid and the lattice of all regular graded ideals of the Kumjian--Pask algebra via a spectrum-theoretic approach.

math.RA↗

Some more talents of the talented monoid of a higher-rank graph

In this paper, we explore the idea that the graded Grothendieck group $K_0^{gr}$, or equivalently its positive cone, the talented monoid, can detect the structural type of higher-rank graph algebras (i.e., higher-rank graph $C^*$-algebras and Kumjian--Pask algebras). We show that the talented monoid captures some of the essential geometric information of a higher-rank graph, including the existence of cycles with and without entrances. In turn, we show that the graded $K$-theory can effectively distinguish the class of locally finite Kumjian--Pask algebras, and also the class of crossed product Kumjian--Pask algebras. We also derive talented monoid criteria for higher-rank graph algebras to be purely infinite simple, and not to be $AF$ or ultramatricial.

math.RA↗

Higher-Dimensional Symbolic Dynamics: A Textile Framework For 3-graphs

Textile systems are best known to model two-dimensional shifts of finite type. In this article, we associate a discrete algebra with a textile system and provide a groupoid model for it. When the textile system is left-resolving, this algebra coincides with the Kumjian--Pask algebra of the associated $2$-graph. The main objective of this paper is to extend textile systems to dimension $3$ so that the resulting structures can, on the one hand, capture all three-dimensional shifts of finite type and, on the other hand, provide a textile-like framework for $3$-graphs extending the well-known connection between $2$-graphs and left-resolving textile systems. We introduce a model of a three-dimensional textile system and investigate the interplay between such textile systems and $3$-graphs. In particular, our investigation shows that the conditions required to form a $3$-graph from a $3$-colored graph (including the delicate associativity condition on tricolored paths), can be encoded in terms of simple pullback diagrams arising from the textile data. We also define homology groups for three-dimensional textiles and prove that these groups coincide with the homology groups of the associated $3$-graphs, thus establishing that our construction is homologically consistent with $3$-graphs.

math.DS↗

Higher-rank graphs and the graded $K$-theory of Kumjian-Pask algebras

This paper lays out the foundations of graded $K$-theory for Leavitt algebras associated with higher-rank graphs, also known as Kumjian-Pask algebras, establishing it as a potential tool for their classification. For a row-finite $k$-graph $Λ$ without sources, we show that there exists a $\mathbb{Z}[\mathbb{Z}^k]$-module isomorphism between the graded zeroth (integral) homology $H_0^{gr}(\mathcal{G}_Λ)$ of the infinite path groupoid $\mathcal{G}_Λ$ and the graded Grothendieck group $K_0^{gr}(KP_\mathsf{k}(Λ))$ of the Kumjian-Pask algebra $KP_\mathsf{k}(Λ)$, which respects the positive cones (i.e., the talented monoids). We demonstrate that the $k$-graph moves of in-splitting and sink deletion defined by Eckhardt et al. (Canad. J. Math. 2022) preserve the graded $K$-theory of associated Kumjian-Pask algebras and produce algebras which are graded Morita equivalent, thus providing evidence that graded $K$-theory may be an effective invariant for classifying certain Kumjian-Pask algebras. We also determine a natural sufficient condition regarding the fullness of the graded Grothendieck group functor. More precisely, for two row-finite $k$-graphs $Λ$ and $Ω$ without sources and with finite object sets, we obtain a sufficient criterion for lifting a pointed order-preserving $\mathbb{Z}[\mathbb{Z}^k]$-module homomorphism between $K_0^{gr}(KP_\mathsf{k}(Λ))$ and $K_0^{gr}(KP_\mathsf{k}(Ω))$ to a unital graded ring homomorphism between $KP_\mathsf{k}(Λ)$ and $KP_\mathsf{k}(Ω)$. For this we adopt, in the setting of $k$-graphs, the bridging bimodule technique recently introduced by Abrams, Ruiz and Tomforde (Algebr. Represent. Theory 2024).

math.KT↗

The Talented Monoid of Higher-Rank Graphs with Applications to Kumjian-Pask Algebras

Given a row-finite higher-rank $k$-graph $Λ$, we define a commutative monoid $T_Λ$ which is a higher-rank analogue of the talented monoid of a directed graph. The talented monoid $T_Λ$ is canonically a $\mathbb{Z}^k$-monoid with respect to the action of state shift. This monoid coincides with the positive cone of the graded Grothendieck group $K_0^{gr}(KP_\mathsf{k}(Λ))$ of the Kumjian-Pask algebra $KP_\mathsf{k}(Λ)$ with coefficients in a field $\mathsf{k}$. The aim of the paper is to investigate this $\mathbb{Z}^k$-monoid as a capable invariant for classification of Kumjian-Pask algebras. If $\mathbb{Z}^k$ acts freely on $T_Λ$ (i.e., if $T_Λ$ has no nonzero periodic element), then we show that the $k$-graph $Λ$ is aperiodic. The converse is also proved to be true provided $Λ$ has no sources and $T_Λ$ is atomic. Moreover in this case, we provide a talented monoid characterization for strongly aperiodic $k$-graphs. We prove that for a row-finite $k$-graph $Λ$ without sources, cofinality is equivalent to the simplicity of $T_Λ$ as a $\mathbb{Z}^k$-monoid. In view of this we provide a talented monoid criterion for the Kumjian-Pask algebra $KP_R(Λ)$ of $Λ$ over a unital commutative ring $R$ to be graded basic ideal simple. We also describe the minimal left ideals of $KP_\mathsf{k}(Λ)$ in terms of the aperiodic atoms of $T_Λ$ and thus obtain a monoid theoretic characterization for $Soc(KP_\mathsf{k}(Λ)$) to be an essential ideal. These results help us to characterize semisimple Kumjian-Pask algebras through the lens of $T_Λ$.

math.RA↗