Leavitt Localization: A Unifying Algebraic Framework

• Leavitt localization is a framework defining how Leavitt algebras arise as rings of quotients via localization of quiver algebras using ideal topologies.
• It demonstrates localization in three settings—ring-theoretic, homological, and dg-categorical—each yielding equivalent algebraic endomorphism models.
• These constructions provide practical insights into representation theory, matrix retractions, and the use of compact generators in derived and singularity categories.

Leavitt localization denotes a family of constructions in which Leavitt algebras or Leavitt path algebras arise as localized objects, or equivalently as endomorphism models for localized homological categories. In ring-theoretic form, a Leavitt path algebra $L_K(E)$ is realized as a ring of quotients of a quiver algebra $KE$ or its dual $KE^*$ with respect to an ideal topology generated by powers of an ideal of arrows, ghost arrows, and sinks. In homological form, explicit acyclic complexes of injective or projective modules over radical-square-zero algebras provide compact generators whose dg endomorphism algebras are quasi-isomorphic to Leavitt path algebras. In dg-categorical form, an explicit localization inverting a natural transformation produces a singular Yoneda dg category whose endomorphism algebra is a dg Leavitt path algebra (Anh et al., 2021, Pham, 30 Dec 2025, Li, 2015, Li, 2016, Chen et al., 2021).

1. Range of meanings and basic objects

The common algebraic object is the Leavitt path algebra. For a finite quiver or digraph, it is generated by vertices, arrows, and ghost arrows $\{\alpha^* \mid \alpha \in Q_1\}$, subject to Cuntz–Krieger-type relations, and is naturally $\mathbb{Z}$-graded. In the homological papers it is regarded as a dg algebra with trivial differential (Li, 2015).

The literature surveyed here uses localization in several precise but non-identical senses. One is localization as a ring of quotients for a path algebra or quiver algebra. A second is localization at the level of triangulated or dg categories, where an explicit compact generator identifies a homotopy or singularity category with a derived category of dg modules over a Leavitt path algebra. A third is a semigroup or matrix-theoretic localization, where a Leavitt path algebra is realized as a $0$-retract of a matrix algebra over the Leavitt path algebra of a contracted graph (Pham, 30 Dec 2025, Meakin et al., 2019).

Setting	Input	Localized output
Ring-theoretic	$KE$ or $KE^*$ with ideal topology	$L_K(E)$ as ring of quotients
Homological	$K_{\mathrm{ac}}(A\text{-}\mathrm{Inj})$ or $KE$0	Derived category over a Leavitt path algebra
dg-categorical	dg category with $KE$1	dg localization and dg Leavitt path algebra

This suggests that “Leavitt localization” is best understood as a unifying pattern: Leavitt-type relations serve as the localized algebraic structure governing module categories, singularity categories, or semigroup-algebra constructions.

2. Rings of quotients and Gabriel topologies

For a finite digraph $KE$2, the ring-theoretic form of Leavitt localization identifies $KE$3 as a localization of the quiver algebra $KE$4 or its dual $KE$5. The ideal-topological input is the ideal

$KE$6

and the corresponding topology

$KE$7

Open left ideals are those containing some power $KE$8. If $KE$9 is finite, then $KE^*$0 is a perfect left and right localization of $KE^*$1 and of $KE^*$2 with respect to the Gabriel topology $KE^*$3; equivalently,

$KE^*$4

If $KE^*$5 is infinite, $KE^*$6 remains a ring of left and right quotients in the sense of Utumi, but the topology may fail to be Gabriel, typically because of infinite emitters (Pham, 30 Dec 2025).

A parallel formulation appears for finite graphs in the flat-localization language. There, $KE^*$7 is a localization of the quiver algebra $KE^*$8 at the perfect Gabriel topology generated by powers of the ideal generated by all arrows and sinks, and the localization map is described as a flat epimorphic bimorphism (Anh et al., 2021).

The representation-theoretic consequence is explicit. Simple left $KE^*$9-modules correspond to left ideals $\{\alpha^* \mid \alpha \in Q_1\}$0 that are maximal among those not open in the $\{\alpha^* \mid \alpha \in Q_1\}$1-topology, and they are obtained by induction: $\{\alpha^* \mid \alpha \in Q_1\}$2 Moreover,

$\{\alpha^* \mid \alpha \in Q_1\}$3

This places the representation theory of $\{\alpha^* \mid \alpha \in Q_1\}$4 inside the localization theory of $\{\alpha^* \mid \alpha \in Q_1\}$5 (Pham, 30 Dec 2025).

3. The classical case $\{\alpha^* \mid \alpha \in Q_1\}$6

For the classical Leavitt algebra, the source algebra is the unital free associative algebra

$\{\alpha^* \mid \alpha \in Q_1\}$7

viewed as the path algebra of the graph with one vertex and $\{\alpha^* \mid \alpha \in Q_1\}$8 loops. The Leavitt algebra $\{\alpha^* \mid \alpha \in Q_1\}$9 is generated by $\mathbb{Z}$0 subject to

$\mathbb{Z}$1

Let

$\mathbb{Z}$2

This right ideal has codimension $\mathbb{Z}$3, and the powers $\mathbb{Z}$4 define a topology $\mathbb{Z}$5 on $\mathbb{Z}$6. The central theorem is that $\mathbb{Z}$7 is a perfect Gabriel topology and the ring of right quotients $\mathbb{Z}$8 is $\mathbb{Z}$9. Equivalently,

$0$0

The natural map $0$1 is a flat bimorphism (Anh et al., 2021).

This formulation yields a coordinate-free description of $0$2: any maximal ideal of codimension $0$3 gives an equivalent topology and hence an equivalent localization. The same perspective is used to recover structural properties stated in the paper: every right ideal of $0$4 is free; $0$5 is hereditary and projective-free; its module type is $0$6; and $0$7 is cyclic of order $0$8 (Anh et al., 2021).

The finite-graph extension is immediate in the same source. The Toeplitz algebra, described there as the Jacobson algebra of one-sided inverses, is also realized as a flat ring of quotients. A plausible implication is that the one-vertex case provides the prototype for the broader graph-theoretic localization picture.

4. Homotopy categories, compact generators, and Leavitt complexes

A homological form of Leavitt localization appears for finite-dimensional algebras with radical square zero. For a finite quiver $0$9 without sinks, the injective Leavitt complex $KE$0 is defined by

$KE$1

where $KE$2 and

$KE$3

Its differential is given explicitly on basis elements indexed by admissible pairs, and $KE$4 is an acyclic complex of injective $KE$5-modules (Li, 2015).

For a finite quiver $KE$6 without sources, the projective Leavitt complex $KE$7 is defined by

$KE$8

where $KE$9 and $KE^*$0 is the set of associated pairs $KE^*$1 with $KE^*$2 and $KE^*$3. Its differential is also given explicitly in terms of the combinatorics of associated pairs, and $KE^*$4 is acyclic (Li, 2016).

The localization content lies in the endomorphism dg algebras and the induced equivalences. The injective Leavitt complex is a compact generator of $KE^*$5, the homotopy category of acyclic complexes of injective $KE^*$6-modules, and the dg endomorphism algebra $KE^*$7 is quasi-isomorphic to the Leavitt path algebra $KE^*$8, viewed as a dg algebra with trivial differential. Consequently,

$KE^*$9

is a triangle equivalence (Li, 2015).

Dually, the projective Leavitt complex is a compact generator of $L_K(E)$0, and

$L_K(E)$1

is a quasi-isomorphism of dg algebras. Hence

$L_K(E)$2

is an equivalence of triangulated categories (Li, 2016).

The later comparison paper sharpens the bimodule-theoretic picture. The injective and projective Leavitt complexes are right quasi-balanced but not left quasi-balanced: the canonical dg map from the Leavitt path algebra side to the dg endomorphism algebra is a quasi-isomorphism, whereas the dg endomorphism algebra on the opposite side is acyclic (Li, 2018). This corrects a possible overgeneralization: the homological localization is intrinsically one-sided in these constructions.

5. Explicit dg localization and dg Leavitt algebras

A more general dg-categorical formulation begins with a dg category $L_K(E)$3, a dg endofunctor $L_K(E)$4, and a closed natural transformation $L_K(E)$5 of degree zero satisfying $L_K(E)$6. The localization is the dg category $L_K(E)$7 with the same objects and morphism complexes

$L_K(E)$8

where the structure maps are $L_K(E)$9. Composition is

$K_{\mathrm{ac}}(A\text{-}\mathrm{Inj})$0

and the differential is inherited by $K_{\mathrm{ac}}(A\text{-}\mathrm{Inj})$1. Each $K_{\mathrm{ac}}(A\text{-}\mathrm{Inj})$2 becomes a dg-isomorphism in $K_{\mathrm{ac}}(A\text{-}\mathrm{Inj})$3, and the construction has the expected universal property for dg functors sending every $K_{\mathrm{ac}}(A\text{-}\mathrm{Inj})$4 to a dg-isomorphism (Chen et al., 2021).

When $K_{\mathrm{ac}}(A\text{-}\mathrm{Inj})$5 is pretriangulated, this explicit localization is quasi-equivalent to the Drinfeld dg quotient by the full dg subcategory generated by $K_{\mathrm{ac}}(A\text{-}\mathrm{Inj})$6. In the paper’s application, the Yoneda dg category $K_{\mathrm{ac}}(A\text{-}\mathrm{Inj})$7 of a finite-dimensional algebra $K_{\mathrm{ac}}(A\text{-}\mathrm{Inj})$8 is localized along the natural transformation from the identity to the noncommutative differential forms endofunctor $K_{\mathrm{ac}}(A\text{-}\mathrm{Inj})$9, producing the singular Yoneda dg category $KE$00. This dg category is quasi-equivalent to the dg singularity category $KE$01, and

$KE$02

The localization then identifies the Leavitt side as an endomorphism algebra. The endomorphism algebra of the quotient of $KE$03 modulo its Jacobson radical in the singular Yoneda dg category is isomorphic to the dg Leavitt path algebra. The resulting equivalences are

$KE$04

The appendix supplies an alternative proof via Koszul–Moore duality and derived localizations, showing that the dg Leavitt path algebra also arises as a derived localization of a tensor algebra with differential encoding the coalgebra structure (Chen et al., 2021).

6. Representation theory, infinite emitters, and semigroup localization

The ring-of-quotients viewpoint has direct consequences for representations. The paper on Leavitt path algebras and their representations emphasizes that representations of $KE$05 can be induced from representations of the quiver algebras because $KE$06 is a ring of quotients of $KE$07 or $KE$08. It further emphasizes the decisive role of infinite emitters. When infinite emitters exist, the ideal $KE$09 is not finitely generated and the topology $KE$10 is not Gabriel; induced modules $KE$11 may fail to be simple even if $KE$12 is simple, and composition series can become intricate (Pham, 30 Dec 2025).

This finite-versus-infinite distinction guards against another common simplification. The perfect Gabriel-topology description is valid for finite digraphs, but the infinite case generally requires the weaker language of dense subrings and rings of quotients in the sense of Utumi. A plausible implication is that “Leavitt localization” is structurally stable in the finite case and substantially subtler in the presence of infinite emitters.

A semigroup-theoretic version uses graph inverse semigroups and Leavitt inverse semigroups. The Leavitt path algebra $KE$13 is the contracted semigroup algebra of the graph inverse semigroup $KE$14 modulo the Cuntz–Krieger relations, and the Leavitt inverse semigroup $KE$15 is a quotient of $KE$16 by the Lenz congruence. In this setting, localization is expressed by retraction rather than by Gabriel topology: if $KE$17 has finite equivalence classes $KE$18 and $KE$19 is the maximal size of such a class, then

$KE$20

where $KE$21 is a contracted graph associated to $KE$22 (Meakin et al., 2019).

The $KE$23-retract picture gives a matrix realization over a contracted core graph, while the ring-of-quotients picture gives a localization from quiver algebras, and the dg picture gives a localization of categories whose endomorphism algebra is Leavitt. Taken together, these constructions show that Leavitt localization is not a single theorem but a coherent framework linking quiver algebras, graph algebras, homotopy categories, and singularity categories through explicit localizing mechanisms.