On structural connections between sandpile monoids and weighted Leavitt path algebras

Roozbeh Hazrat,Tran Giang Nam
2024-12-08
Abstract:In this article, we establish the relations between a sandpile graph, its sandpile monoid and the weighted Leavitt path algebra associated with it. Namely, we show that the lattice of all idempotents of the sandpile monoid $\text{SP}(E)$ of a sandpile graph $E$ is both isomorphic to the lattice of all nonempty saturated hereditary subsets of $E$, the lattice of all order-ideals of $\text{SP}(E)$ and the lattice of all ideals of the weighted Leavitt path algebra $L_{K}(E, \omega)$ generated by vertices. Also, we describe the sandpile group of a sandpile graph $E$ via archimedean classes of $\text{SP}(E)$, and prove that all maximal subgroups of $\text{SP}(E)$ are exactly the Grothendieck groups of these archimedean classes. Finally, we give the structure of the Leavitt path algebra $L_{K}(E)$ of a sandpile graph $E$ via a finite chain of graded ideals being invariant under every graded automorphism of $L_{K}(E)$, and completely describe the structure of $L_{K}(E)$ such that the lattice of all idempotents of $\text{SP}(E)$ is a chain. Consequently, we completely describe the structure of the weighted Leavitt path algebra of a sandpile graph $E$ such that $\text{SP}(E)$ has exactly two idempotents.
Rings and Algebras,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to establish the structural connections among the sandpile graph, its sandpile monoid, and the related weighted Leavitt path algebra. Specifically, the authors focus on the following aspects: 1. **Idempotents and order ideals of the sandpile monoid**: Study the isomorphism relationship between the lattice of idempotents of the sandpile monoid \(SP(E)\) and the lattice of non - empty saturated hereditary subsets. 2. **Description of the sandpile group**: Describe the sandpile group through archimedean classes and prove that all maximal subgroups are exactly the Grothendieck groups of these archimedean classes. 3. **Structure of the weighted Leavitt path algebra**: Use the graded ideals of finite chains to describe the structure of the weighted Leavitt path algebra \(L_k(E,\omega)\) and fully describe the structure of the weighted Leavitt path algebra when \(SP(E)\) has exactly two idempotents. ### Main problem decomposition 1. **Isomorphism of idempotents and order ideals**: - Prove that there is an isomorphism relationship among the lattice of idempotents of the sandpile monoid \(SP(E)\), the lattice of non - empty saturated hereditary subsets, the lattice of order ideals, and the lattice of ideals of the weighted Leavitt path algebra. 2. **Description of the sandpile group**: - Describe the sandpile group \(G(E)\) as the direct limit of the Grothendieck groups of archimedean classes and prove that all maximal subgroups are exactly the Grothendieck groups of these archimedean classes. 3. **Structure of the weighted Leavitt path algebra**: - Use the chain of graded ideals to describe the structure of the weighted Leavitt path algebra \(L_k(E,\omega)\) and fully describe the structure of the weighted Leavitt path algebra when \(SP(E)\) has exactly two idempotents. ### Formula representation - **Isomorphism of the lattice of idempotents**: \[ \text{Idem}(SP(E))\cong \text{Lattice of nonempty saturated hereditary subsets of }E \] - **Description of the sandpile group**: \[ G(E)=\varinjlim_{H\in H_E}G(E_H) \] where \(G(E_H) := G(SP(E_H))\), and \(z_H:=\sum_{x\in \text{Idem}(SP(E_H))}x\), thus \(G(E_H)=z_H + SP(E_H)\). - **Structure of the weighted Leavitt path algebra**: \[ L_k(E,\omega)\text{ via a finite chain of graded ideals invariant under every graded automorphism of }L_k(E) \] ### Summary This paper reveals the profound connections among the sandpile graph, the sandpile monoid, and their related algebraic structures through in - depth research on their relationships, and provides specific mathematical descriptions and proofs. This not only deepens the understanding of the sandpile model but also provides a theoretical basis for further research on these algebraic structures.