arxiv: 2604.27446 · v1 · submitted 2026-04-30 · 🧮 math.OA

Recognition: unknown

A class of Exel--Laca algebras reciprocal to Cuntz--Krieger algebras

Kengo Matsumoto, Taro Sogabe

Pith reviewed 2026-05-07 09:02 UTC · model grok-4.3

classification 🧮 math.OA

keywords Exel-Laca algebrasCuntz-Krieger algebrasreciprocal dualityKirchberg algebrasK-theorystrong extension groupsinfinite matricesC*-algebras

0 comments

The pith

Certain Exel-Laca algebras have Cuntz-Krieger algebras as their reciprocal duals under K-theory and extension duality.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper locates a class of unital simple Exel-Laca algebras such that their reciprocal duals are simple Cuntz-Krieger algebras, specified through properties of the defining infinite matrices. Reciprocality here refers to a duality in Kirchberg algebras that interchanges K-theory groups with strong extension groups. The authors describe how to pass from one family to the other and explicitly compute the strong extension groups in this setting. This construction matters because it gives an explicit bridge between two important classes of C*-algebras used in the classification program for nuclear simple C*-algebras. If the correspondence holds, invariants for one class can be read off from the other via the matrix data.

Core claim

For a certain class of infinite matrices, the unital simple Exel-Laca algebras they generate are reciprocal to simple Cuntz-Krieger algebras, with the duality realized by mapping their K-theory to the strong extension groups of the dual and vice versa. The procedure involves computing the strong extension groups for the Exel-Laca algebras in this class.

What carries the argument

The reciprocal duality in Kirchberg algebras between K-theory groups and strong extension groups, implemented through the underlying infinite matrices for Exel-Laca and Cuntz-Krieger algebras.

If this is right

The strong extension groups of the identified Exel-Laca algebras equal the K-theory groups of the corresponding Cuntz-Krieger algebras.
Simple Cuntz-Krieger algebras can be obtained directly as reciprocal duals from this class of Exel-Laca algebras.
The duality preserves the simplicity and unitality when the matrix conditions are met.
Computations of extension groups for these Exel-Laca algebras become feasible using known K-theory results for Cuntz-Krieger algebras.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This matrix-based correspondence might extend to other classes of C*-algebras satisfying similar conditions.
It could provide a practical method for computing K-theory invariants across dual pairs without direct calculation.
Connections to the broader classification of Kirchberg algebras may follow if more classes are identified this way.
The approach suggests a dictionary between different presentations of C*-algebras via matrices.

Load-bearing premise

The selected class of Exel-Laca algebras must meet the conditions of being unital and simple, along with the necessary matrix properties, so that the duality applies cleanly without further obstructions.

What would settle it

An explicit infinite matrix in the proposed class for which the strong extension group of the associated Exel-Laca algebra fails to match the K-theory group of the associated Cuntz-Krieger algebra.

read the original abstract

The reciprocality means a duality in Kirchberg algebras between K-theory groups and strong extension groups. In the paper, we will find a certain class of unital simple Exel--Laca algebras for which the reciprocal duals are simple Cuntz--Krieger algebras in terms of the underlying infinite matrices. In our procedure to obtain simple Cuntz--Krieger algebras from Exel--Laca algebras, we compute the strong extension groups for Exel--Laca algebras belonging to the class.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Matsumoto and Sogabe identify a matrix class turning Exel-Laca algebras into Cuntz-Krieger duals via reciprocity and compute the extension groups.

read the letter

The main takeaway is that this paper finds a class of infinite matrices such that the corresponding unital simple Exel-Laca algebras have reciprocal duals that are simple Cuntz-Krieger algebras, and it works out the strong extension groups in the process. The authors use the reciprocity between K-theory and strong extension groups in Kirchberg algebras to link the two constructions. They start from the matrix for the Exel-Laca algebra and compute the groups to show the dual is Cuntz-Krieger. This is new as a specific class with the reciprocal property. It does well by giving an explicit procedure and the group computations, which could help organize examples in the classification theory. The soft spot is around whether the matrix class fully ensures no extra obstructions in the duality. The abstract says they compute the groups for the class, but the mapping works only if the conditions suppress non-isomorphisms or extra terms. If the paper shows explicit matrix properties that do this, it holds; otherwise it might need more detail. From what's described, it seems they select the class to make it work. This paper is for people in operator algebras who study Exel-Laca and Cuntz-Krieger algebras and their invariants. Readers who know the background on Kirchberg algebra classification will find the concrete class and computations useful. It deserves a serious referee to go over the matrix definitions and verify the group calculations. I would recommend sending this to peer review. The idea is solid enough and the computations are checkable.

Referee Report

2 major / 1 minor

Summary. The manuscript constructs a class of unital simple Exel-Laca algebras from certain infinite matrices such that their reciprocal duals (under the K-theory/strong extension group duality for Kirchberg algebras) are simple Cuntz-Krieger algebras; the procedure computes the strong extension groups explicitly for algebras in this class to establish the reciprocity in matrix terms.

Significance. If the construction and computations hold, the paper supplies concrete matrix-defined examples of reciprocal pairs between Exel-Laca and Cuntz-Krieger algebras, advancing the study of invariants for Kirchberg algebras and providing a potential framework for generating dual classes with matching K-theory and extension data.

major comments (2)

[Class definition / matrix conditions] The definition of the class (presumably in the section introducing the infinite matrices): explicit verification is required that the chosen matrices simultaneously ensure the resulting Exel-Laca algebras are unital and simple, as this is load-bearing for the claim that the reciprocal duals are Cuntz-Krieger without extra obstructions or non-isomorphisms in the duality.
[Computation of strong extension groups] The computation of strong extension groups (in the procedure section): the derivation must include explicit steps or formulas showing how the matrix data suppresses potential extra terms, confirming that the groups are exactly those of the corresponding simple Cuntz-Krieger algebras.

minor comments (1)

[Abstract] The abstract mentions 'the underlying infinite matrices' but does not specify the precise conditions; adding a brief characterization would improve clarity for readers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. The comments highlight areas where additional explicit verification and step-by-step derivations would strengthen the presentation. We address each major comment below and will revise the manuscript to incorporate the requested clarifications.

read point-by-point responses

Referee: The definition of the class (presumably in the section introducing the infinite matrices): explicit verification is required that the chosen matrices simultaneously ensure the resulting Exel-Laca algebras are unital and simple, as this is load-bearing for the claim that the reciprocal duals are Cuntz-Krieger without extra obstructions or non-isomorphisms in the duality.

Authors: We agree that explicit verification is essential. In the manuscript, the class of infinite matrices is introduced in Section 2 with conditions including row-finiteness, infinite support, irreducibility, and aperiodicity (modeled on standard Cuntz-Krieger matrix requirements). These are chosen precisely so that the associated Exel-Laca algebra is unital (via the existence of a unit element constructed from the infinite matrix sum) and simple (by the matrix ensuring the algebra is purely infinite and has no nontrivial ideals). We will add a new proposition in Section 2 that explicitly proves unitality and simplicity from these matrix conditions, including checks that no extra obstructions arise in the duality map. This will confirm the reciprocal duals are indeed the simple Cuntz-Krieger algebras defined by the same matrices. revision: yes
Referee: The computation of strong extension groups (in the procedure section): the derivation must include explicit steps or formulas showing how the matrix data suppresses potential extra terms, confirming that the groups are exactly those of the corresponding simple Cuntz-Krieger algebras.

Authors: We appreciate this request for greater explicitness. The procedure in Section 3 computes the strong extension groups via the K-theory duality for Kirchberg algebras, where the matrix conditions (irreducibility and the specific form ensuring simplicity) cause the extension group to reduce exactly to the cokernel of the matrix-induced map on K_0, matching the Cuntz-Krieger case and suppressing extra terms that would appear in non-simple or non-purely-infinite cases. We will expand the derivation with a detailed lemma providing step-by-step formulas: starting from the six-term exact sequence, showing how the matrix entries determine the kernel and cokernel directly, and verifying the absence of additional summands. This will make the reciprocity explicit in matrix terms. revision: yes

Circularity Check

0 steps flagged

Matrix class construction and explicit group computation are independent of target duality

full rationale

The paper defines a specific class of infinite matrices that produce unital simple Exel-Laca algebras and then performs direct computations of their strong extension groups to establish the reciprocal duality to Cuntz-Krieger algebras. This is a standard constructive proof in operator algebra K-theory: the input is the matrix class with its stated properties (simplicity, unitality), and the output is the verified isomorphism of extension groups. No step reduces the claimed result to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose content is merely renamed. The derivation chain consists of explicit algebraic verifications that stand on their own once the matrix conditions are accepted.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the work rests on standard background results in C*-algebra K-theory and extension theory for Kirchberg algebras; no free parameters, ad-hoc axioms, or new entities are mentioned.

axioms (1)

domain assumption Standard properties of K-theory and strong extension groups for Kirchberg algebras allow a well-defined reciprocity duality.
The abstract defines reciprocality as this duality and proceeds to use it without further justification.

pith-pipeline@v0.9.0 · 5379 in / 1280 out tokens · 38677 ms · 2026-05-07T09:02:54.877506+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

39 extracted references · 4 canonical work pages

[1]

B. E. Blackadar , K-theory for operator algebras , MSRI Publications 5, Springer-Verlag, Berlin, Heidelberg and New York, 1986

1986
[2]

L. G. Brown , The universal coefficient theorem for and quasidiagonality , Proceedings of International Conference on Operator Algebras and Group Representations, Monographs and Studies in Math. 17 (1984), pp. 60--64

1984
[3]

L. G. Brown, R. G. Douglas and P. A. Fillmore , Extensions of C^* -algebras and K-homology , Ann. Math. 105 (1977), pp. 265--324

1977
[4]

N. P. Brown and N. Ozawa ,
[5]

Cuntz , Simple C^* -algebras generated by isometries , Comm

J. Cuntz , Simple C^* -algebras generated by isometries , Comm. Math. Phys. 57 (1977), pp. 173--185

1977
[6]

Cuntz and W

J. Cuntz and W. Krieger , A class of C^* -algebras and topological Markov chains , Invent.\ Math.\ 56 (1980), pp.\ 251--268

1980
[7]

Dadarlat , The homotopy groups of the automorphism groups of Kirchberg algebras , J

M. Dadarlat , The homotopy groups of the automorphism groups of Kirchberg algebras , J. Noncommut. Geom. 1 (2007), pp.\ 113--139

2007
[8]

Drinen and M

D. Drinen and M. Tomforde Computing -theory and for graph C^* -algebras , Illinois J. Math. 46 (2002), pp. 81-–91

2002
[9]

Enomoto, M

M. Enomoto, M. Fujii and Y. Watatani , Tensor algebras on the Fock space associated with , Math. Japon. 24 (1979), pp. 463--468

1979
[10]

D. E. Evans , Gauge actions on , J. Operator theory 7 (1982), pp. 79--100

1982
[11]

Exel and M

R. Exel and M. Laca , Cuntz--Krieger algebras for infinite matrices , J. Reine und Angew. Math. 512 (1999), pp. 119--172

1999
[12]

Exel and M

R. Exel and M. Laca , -theory of Cuntz--Krieger algebras for infinite matrices , K-Theory 19 (2000), 251--268

2000
[13]

Higson and J

N. Higson and J. Roe , Analytic K-homology , Oxford Mathematical Monographs, Oxford Science Publications, Oxford University Press, Oxford, 2000

2000
[14]

Kaminker and I

J. Kaminker and I. F. Putnam , K-theoretic duality for shifts of finite type , Comm. Math. Phys. 187 (1997), pp. 509--522

1997
[15]

Kaminker and C

J. Kaminker and C. Schochet , Spanier-Whitehead -duality for C^* -algebras , J. Topol. Anal. 11 (2019), pp. 21--52

2019
[16]

G. G. Kasparov , The operator K-functor and extensions of C^* -algebras , Math. USSR Izvestijia 16 (1981), pp. 513--572

1981
[17]

Kirchberg , The classification of purely infinite C^* -algebras using Kasparov's theory , preprint, 1994

E. Kirchberg , The classification of purely infinite C^* -algebras using Kasparov's theory , preprint, 1994

1994
[18]

Matsumoto , On strong extension groups of Cuntz--Krieger algebras , Anal

K. Matsumoto , On strong extension groups of Cuntz--Krieger algebras , Anal. Math. 50 (2024), pp. 917--937

2024
[19]

Matsumoto and T

K. Matsumoto and T. Sogabe , On the homotopy groups of the automorphism groups of Cuntz--Krieger algebras , J. Noncommut. Geom. 20 (2026), pp. 587--606

2026
[20]

Matsumoto and T

K. Matsumoto and T. Sogabe , Total extension groups for unital Kirchberg algebras , Math. Scand. 131 (2025), pp. 367--390

2025
[21]

Matsumoto and T

K. Matsumoto and T. Sogabe , Reciprocal Cuntz--Krieger algebras , Münster J. Math. 18 (2025), pp. 249--291

2025
[22]

Matsumoto and T

K. Matsumoto and T. Sogabe , Ergodic automorphisms on unital Kirchberg algebras , preprint, arXiv:2505.23168 [math.OA]

work page arXiv
[23]

Matsumoto and T

K. Matsumoto and T. Sogabe , Universality of the reciprocal dual algebra of Kirchberg algebras and uniquely ergodic automorphisms , preprint, arXiv:2511.06760 [math.OA]

work page arXiv
[24]

W. L. Paschke and N. Salinas ,
[25]

Pennig and T

U. Pennig and T. Sogabe , Spanier–-Whitehead K-duality and duality of extensions of C*-algebras , Int. Math. Res. Notices, Volume 2024, Issue 23, December 2024, Pages 14321–14351, https://doi.org/10.1093/imrn/rnae242

work page doi:10.1093/imrn/rnae242 2024
[26]

N. C. Phillips , A classification theorem for nuclear purely infinite simple C^* -algebras , Doc. Math. 5 (2000), pp. 49--114

2000
[27]

M. V. Pimsner and S. Popa ,
[28]

Raeburn and W

I. Raeburn and W. Szyma \'n sky , Cuntz--Krieger algebras of infinite graphs and matrices , Trans. Amer. Math. Soc. 356 (2004), pp. 39--59

2004
[29]

R rdam , Classification of Cuntz--Krieger algebras , K-theory 9 (1995), pp

M. R rdam , Classification of Cuntz--Krieger algebras , K-theory 9 (1995), pp. \ 31--58

1995
[30]

R rdam and E

M. R rdam and E. St rmer , Classification of nuclear C^* -algebras. Entropy in operator algebras , Encyclopedia of Mathematical Sciences 126, Springer Verlag, Berlin, Heidelberg and New York, 2002

2002
[31]

Rosenberg and C

J. Rosenberg and C. Schochet , The K \"u nneth theorem and the universal coefficient theorem for Kasparov's generalized K-functor , Duke Math.\ J.\ 55 (1987), pp.\ 431--474

1987
[32]

Schochet , A Pext primer: Pure extensions and ^1 for infinite abelian groups , NYJM Monographs 1 (2003)

C. Schochet , A Pext primer: Pure extensions and ^1 for infinite abelian groups , NYJM Monographs 1 (2003)

2003
[33]

Skandalis , On the strong Ext bifunctor , preprint, Queen's University no 19, 1983

G. Skandalis , On the strong Ext bifunctor , preprint, Queen's University no 19, 1983

1983
[34]

Sogabe , The homotopy groups of the automorphism groups of Cuntz-Toeplitz algebras , J

T. Sogabe , The homotopy groups of the automorphism groups of Cuntz-Toeplitz algebras , J. Math. Soc. Japan 72 (2020), pp.\ 959--989

2020
[35]

Sogabe , The reciprocal Kirchberg algebras , J

T. Sogabe , The reciprocal Kirchberg algebras , J. Funct. Anal. (2024), https://doi.org/10.1016/j.jfa.2024.110395

work page doi:10.1016/j.jfa.2024.110395 2024
[36]

Szyma \'n sky , Simplicity of Cuntz--Krieger algebras of infinite matrices , Pacific J

W. Szyma \'n sky , Simplicity of Cuntz--Krieger algebras of infinite matrices , Pacific J. Math. 199 (2001), pp. \ 249-–256

2001
[37]

Szyma \'n sky , On semiprojectivity of C^* -algebras of directed graphs , Proc

W. Szyma \'n sky , On semiprojectivity of C^* -algebras of directed graphs , Proc. Amer. Math. Soc. 130 (2002), pp. \ 1391-–1399

2002
[38]

Tomforde , Computing for graph algebras , J

M. Tomforde , Computing for graph algebras , J. Operator Theory 49 (2003), pp. 363--387

2003
[39]

Voiculescu , A non-commutative Weyl-von Neumann theorem , Rev

D. Voiculescu , A non-commutative Weyl-von Neumann theorem , Rev. Roum. Math. Pures et Appl. 21 (1976), pp. 97--113

1976