Normal coactions extend to the C*-envelope
Pith reviewed 2026-05-24 06:29 UTC · model grok-4.3
The pith
A normal coaction of a discrete group on an operator algebra extends to a normal coaction on the C*-envelope.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that a normal coaction of a discrete group on an operator algebra extends to a normal coaction on the C*-envelope. This resolves an open problem attempted by several experts in the area, and provides a more direct proof of a prominent result of Sehnem. As an application, we resolve a question of X. Li, where we identify the C*-envelopes of the operator algebras of groupoid-embeddable categories and of cancellative right LCM monoids. This latter class includes many examples of monoids that are not group-embeddable.
What carries the argument
The normality condition on the coaction, which enables its unique extension to a normal coaction on the C*-envelope.
If this is right
- The C*-envelopes of operator algebras of groupoid-embeddable categories are identified explicitly.
- The C*-envelopes of operator algebras of cancellative right LCM monoids are identified, including non-group-embeddable cases.
- A direct proof is obtained for Sehnem's result on coactions.
- An open problem on extending coactions to C*-envelopes is resolved.
Where Pith is reading between the lines
- The extension may allow transfer of dynamical invariants or crossed-product constructions from the original algebra to its envelope.
- Verification of normality for specific coactions could yield C*-envelope identifications for further classes of monoids or categories.
- The result connects to questions about when operator-algebraic structures admit compatible C*-completions that preserve group actions.
Load-bearing premise
The coaction must satisfy the technical normality condition for the extension to the C*-envelope to hold.
What would settle it
An explicit example of a normal coaction of a discrete group on an operator algebra whose extension to the C*-envelope fails to remain a normal coaction.
read the original abstract
We show that a normal coaction of a discrete group on an operator algebra extends to a normal coaction on the C*-envelope. This resolves an open problem attempted by several experts in the area, and provides a more direct proof of a prominent result of Sehnem. As an application, we resolve a question of X. Li, where we identify the C*-envelopes of the operator algebras of groupoid-embeddable categories and of cancellative right LCM monoids. This latter class includes many examples of monoids that are not group-embeddable.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that every normal coaction of a discrete group on an operator algebra A extends to a normal coaction on the C*-envelope C*_env(A). The extension is constructed explicitly via the universal property of the envelope, with verification that normality (the coaction arising as the integrated form of a strictly continuous unitary representation on the multiplier algebra) is preserved. This is applied to give a direct proof of a result of Sehnem and to identify the C*-envelopes of the operator algebras associated to groupoid-embeddable categories and to cancellative right LCM monoids (including examples not group-embeddable).
Significance. If the result holds, it resolves an open problem on extension of coactions and supplies a direct argument for Sehnem's theorem without extra hypotheses such as amenability or exactness. The applications furnish concrete identifications of C*-envelopes for two new classes of examples. The explicit universal-property construction and the fact that the argument uses only the stated normality hypothesis are strengths.
minor comments (1)
- The precise definition of 'normal coaction' (integrated form of a strictly continuous unitary representation) should be recalled in §2 or §3 for readers who may not have the reference at hand.
Simulated Author's Rebuttal
We thank the referee for their positive report, detailed summary of our results, and recommendation to accept the manuscript.
Circularity Check
No significant circularity; derivation self-contained via universal property
full rationale
The central result constructs the extension of a normal coaction explicitly from the universal property of the C*-envelope and directly verifies that normality is preserved under this extension. No step reduces a prediction to a fitted input, renames a known result, or relies on a load-bearing self-citation chain; the argument uses only the stated normality hypothesis and standard C*-algebraic universal properties without importing uniqueness theorems or ansatzes from the authors' prior work. The applications to groupoid-embeddable categories and right LCM monoids follow immediately once the extension is established. This is the most common honest finding for a self-contained operator-algebraic proof.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 3.5. Let A be an operator algebra with a contractive approximate identity. Then, any normal coaction of a discrete group G on A has a (necessarily unique) extension to a normal coaction of G on C*_env(A).
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We extend Katayama duality [Ka84, Theorem 8] to normal coactions of discrete groups on operator algebras (Theorem 3.3).
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
-
[2]
Arveson, Subalgebras of C*-algebras, Acta Math
W.B. Arveson, Subalgebras of C*-algebras, Acta Math. 123 (1969), 141--224
work page 1969
-
[3]
Arveson, Subalgebras of C*-algebras
W.B. Arveson, Subalgebras of C*-algebras. II, Acta Math. 128 (1972), 271--308
work page 1972
-
[4]
Arveson, Subalgebras of C*-algebras
W.B. Arveson, Subalgebras of C*-algebras. III . M ultivariable operator theory , Acta Math. 181 (1998), 159--228
work page 1998
-
[5]
Arveson, p -Summable commutators in dimension d , J
W.B. Arveson, p -Summable commutators in dimension d , J. Operator Theory 54 (2005), 101--117
work page 2005
-
[6]
W.B. Arveson, Notes on the unique extension property, https://math.berkeley.edu/ arveson/Dvi/unExt.pdf, 2006
work page 2006
-
[7]
Arveson, The noncommutative Choquet boundary, J
W.B. Arveson, The noncommutative Choquet boundary, J. Amer. Math. Soc. 21 (2008), no. 4, 1065--1084
work page 2008
-
[8]
Arveson, The noncommutative C hoquet boundary II : hyperrigidity , Israel J
W.B. Arveson, The noncommutative C hoquet boundary II : hyperrigidity , Israel J. Math. 184 (2011), 349--385
work page 2011
-
[9]
E. B\' e dos, S. Kaliszewski, and J. Quigg, Skew products of finitely aligned left cancellative small categories and Cuntz--Krieger algebras. M\" u nster J. Math. 14 (2021), no. 1, 59--99
work page 2021
- [10]
-
[11]
N. Brownlowe, N.S. Larsen, J. Ramagge, and N. Stammeier, C*-algebras of right LCM monoids and their equilibrium states, Trans. Amer. Math. Soc. 373 (2020), no. 7, 5235--5273
work page 2020
-
[12]
N. Brownlowe, A. Sims, and S.T. Vittadello, Co-universal C*-algebras associated to generalised graphs, Israel J. Math 193 (2013), 399--440
work page 2013
-
[13]
C. Bruce and X. Li, On K-theoretic invariants of semigroup C*-algebras from actions of congruence monoids, Amer. J. Math. 145 (2023), no. 1, 251--285
work page 2023
-
[14]
C. Bruce and C. Starling, Corrigendum to ``A New Uniqueness Theorem for the Tight C*-algebra of an Inverse Semigroup'' [C. R. Math. Acad. Sci. Soc. R. Can. 44 (2022), no. 4, 88--112], accepted for publication in C. R. Math. Acad. Sci. Soc. R. Can. Preprint version https://drive.google.com/file/d/1896hFr9oaBzx1e25t_Ru9UvtFtI0WDu1/view?usp=sharing
work page 2022
-
[15]
T.M. Carlsen, A. Dor-On, and S. Eilers, Shift equivalences through the lens of Cuntz--Krieger algebras, Anal. PDE 17 (2024), no. 1, 345--377
work page 2024
-
[16]
T.M. Carlsen, N.S. Larsen, A. Sims, and S.T. Vitadello, Co-universal algebras associated to product systems, and gauge-invariant uniqueness theorems, Proc. Lond. Math. Soc. (3) 103 (2011), 563--600
work page 2011
-
[17]
T.M. Carlsen, E. Ruiz, A. Sims, and M. Tomforde, Reconstruction of groupoids and C*-rigidity of dynamical systems, Adv. Math. 390 (2021), Paper No. 107923, 55 pp
work page 2021
-
[18]
R. Clou\^atre and A. Dor-On, Finite-dimensional approximations and semigroup coactions for operator algebras, Int. Math. Res. Not. IMRN 2023, no. 24, 22138--22184
work page 2023
-
[19]
Coburn, The C*-algebra generated by an isometry, Bull
L.A. Coburn, The C*-algebra generated by an isometry, Bull. Amer. Math. Soc. 73 (1967), 722--726
work page 1967
-
[20]
J. Crisp and M. Laca, Boundary quotients and ideals of Toeplitz C*-algebras of Artin groups, J. Funct. Anal. 242 (2007), no. 1, 127--156
work page 2007
-
[21]
Cuntz, Simple C*-algebras generated by isometries, Comm
J. Cuntz, Simple C*-algebras generated by isometries, Comm. Math. Phys. 57 (1977), no. 2, 173--185
work page 1977
-
[22]
Cuntz, A class of C*-algebras and topological Markov chains
J. Cuntz, A class of C*-algebras and topological Markov chains. II. Reducible chains and the Ext-functor for C*-algebras, Invent. Math. 63 (1981), no. 1, 25--40
work page 1981
- [23]
- [24]
- [25]
-
[26]
J. Cuntz and W. Krieger, A class of C*-algebras and topological Markov chains, Invent. Math. 56 (1980), no. 3, 251--268
work page 1980
-
[27]
K.R. Davidson and M. Kennedy, The Choquet boundary of an operator system, Duke Math. J. 164 (2015), 2989--3004
work page 2015
-
[28]
K.R. Davidson, A.H. Fuller, and E.T.A. Kakariadis, Semicrossed products of operator algebras by semigroups, Mem. Amer. Math. Soc. 247 (2017), v+97
work page 2017
-
[29]
P. Dehornoy with F. Digne, E. Godelle, D. Krammer, and J. Michel, Foundations of Garside theory. EMS Tracts in Mathematics, 22. European Mathematical Society (EMS), Z\" u rich, 2015
work page 2015
-
[30]
Dehornoy, Multifraction reduction I: The 3-Ore case and Artin-Tits groups of type FC, J
P. Dehornoy, Multifraction reduction I: The 3-Ore case and Artin-Tits groups of type FC, J. Comb. Algebra 1 (2017), no. 2, 185--228
work page 2017
-
[31]
Multifraction reduction II: conjectures for Artin-Tits groups, J
Dehornoy, Patrick. Multifraction reduction II: conjectures for Artin-Tits groups, J. Comb. Algebra 1 (2017), no. 3, 229--287
work page 2017
-
[32]
P. Dehornoy and F. Wehrung, Multifraction reduction III: the case of interval monoids, J. Comb. Algebra 1 (2017), no. 4, 341--370
work page 2017
- [33]
-
[34]
A. Dor-On, E.T.A. Kakariadis, E.G. Katsoulis, M. Laca, and X. Li, C*-envelopes for operator algebras with a coaction and co-universal C*-algebras for product systems, Adv. Math. 400 (2022), Paper No. 108286, 40 pp
work page 2022
-
[35]
A. Dor-On and E.G. Katsoulis, Tensor algebras of product systems and their C*-envelopes, J. Funct. Anal. 278 (2020), no. 7, 108416, 32 pp
work page 2020
-
[36]
A. Dor-On and G. Salomon, Full Cuntz--Krieger dilations via non-commutative boundaries, J. Lond. Math. Soc. (2) 98 (2018), 416--438
work page 2018
-
[37]
S. Echterhoff, S. Kaliszewski, J. Quigg, and I. Raeburn, A categorical approach to imprimitivity theorems for C*-dynamical systems, Mem. Amer. Math. Soc. 180 (2006), no. 850, viii+169 pp
work page 2006
- [38]
-
[39]
Exel, Inverse semigroups and combinatorial C*-algebras, Bull
R. Exel, Inverse semigroups and combinatorial C*-algebras, Bull. Braz. Math. Soc. (N.S.), 39 (2008), 191--313
work page 2008
-
[40]
R. Exel and E. Pardo, The tight groupoid of an inverse semigroup, Semigroup Forum 92 (2016), no. 1, 274--303
work page 2016
-
[41]
Fowler, Discrete product systems of H ilbert bimodules , Pacific J
N.J. Fowler, Discrete product systems of H ilbert bimodules , Pacific J. Math. 204 (2002), 335--375
work page 2002
-
[42]
N.J. Fowler, P.S. Muhly, and I. Raeburn, Representations of Cuntz--Pimsner algebras, Indiana Univ. Math. J. 52 (2003), no. 3, 569--605
work page 2003
-
[43]
Hamana, Injective envelopes of operator systems, Publ
M. Hamana, Injective envelopes of operator systems, Publ. Res. Inst. Math. Sci. 15 (1979), no. 3, 773--785
work page 1979
-
[44]
Higgins, The fundamental groupoid of a graph of groups, J
P.J. Higgins, The fundamental groupoid of a graph of groups, J. London Math. Soc. (2) 13 (1976), no. 1, 145--149
work page 1976
-
[45]
Huang, Flow equivalence of reducible shifts of finite type and Cuntz--Krieger algebras, J
D. Huang, Flow equivalence of reducible shifts of finite type and Cuntz--Krieger algebras, J. reine angew. Math. 462 (1995), 185--217
work page 1995
-
[46]
Johnstone, On embedding categories in groupoids, Math
P.T. Johnstone, On embedding categories in groupoids, Math. Proc. Cambridge Philos. Soc. 145 (2008), no. 2, 273--294
work page 2008
-
[47]
E.T.A. Kakariadis, E.G. Katsoulis, M. Laca, and X. Li, Boundary quotient C*-algebras of semigroups, J. Lond. Math. Soc. (2) 105 (2022), no. 4, 2136--2166
work page 2022
-
[48]
E.T.A. Kakariadis, E.G. Katsoulis, M. Laca, and X. Li, Co-universality and controlled maps on product systems over right LCM-semigroups, Anal. PDE 16 (2023), no. 6, 1433--1483
work page 2023
-
[49]
Katayama, Takesaki's duality for a nondegenerate co-action, Math
Y. Katayama, Takesaki's duality for a nondegenerate co-action, Math. Scand. 55 (1984), no. 1, 141--151
work page 1984
-
[50]
Katsoulis, C*-envelopes and the Hao--Ng isomorphism for discrete groups, Int
E.G. Katsoulis, C*-envelopes and the Hao--Ng isomorphism for discrete groups, Int. Math. Res. Not. IMRN 2017, no. 18, 5751--5768
work page 2017
-
[51]
Katsoulis, Fell's absorption principle for semigroup operator algebras, J
E.G. Katsoulis, Fell's absorption principle for semigroup operator algebras, J. Noncommut. Geom. (to appear), preprint, arXiv:2302.12809 https://arxiv.org/abs/2302.12809
-
[52]
E.G. Katoulis and D.W. Kribs, Tensor algebras of C*-correspondences and their C*-envelopes, J. Funct. Anal. 234 (2006), 226--233
work page 2006
-
[53]
E.G. Katsoulis and C. Ramsey, Crossed products of operator algebras, Mem. Amer. Math. Soc. 258 (2019), no. 1240, vii+85 pp
work page 2019
-
[54]
E.G. Katsoulis and C. Ramsey, The non-selfadjoint approach to the Hao-Ng isomorphism, Int. Math. Res. Not. IMRN 2021, no. 2, 1160--1197
work page 2021
-
[55]
Katsura, On C*-algebras associated with C*-correspondences, J
T. Katsura, On C*-algebras associated with C*-correspondences, J. Funct. Anal. 217 (2004), 366--401
work page 2004
-
[56]
M. Kennedy, S.J. Kim, X. Li, S. Raum, and D. Ursu, The ideal intersection property for essential groupoid C*-algebras, preprint, arXiv:2107.03980 https://arxiv.org/abs/2107.03980
-
[57]
Krieger, On dimension functions and topological Markov chains, Invent
W. Krieger, On dimension functions and topological Markov chains, Invent. Math. 56 (1980), no. 3, 239--250
work page 1980
-
[58]
A. Kumjian and D. Pask, Higher rank graph C*-algebras, New York J. Math. 6 (2000), 1--20
work page 2000
-
[59]
A. Kumjian, D. Pask, I. Raeburn, and J. Renault, Graphs, groupoids, and Cuntz--Krieger algebras, J. Funct. Anal. 144 (1997), no. 2, 505--541
work page 1997
-
[60]
M. Laca and C.F. Sehnem, Toeplitz algebras of semigroups, Trans. Amer. Math. Soc. 375 (2022), no. 10, 7443--7507
work page 2022
-
[61]
M.V. Lawson, Inverse semigroups. The theory of partial symmetries, World Scientific Publishing Co., Inc., River Edge, NJ, 1998
work page 1998
-
[62]
M.V. Lawson and A. Vdovina, Higher dimensional generalizations of the Thompson groups, Adv. Math. 369 (2020), 107191, 56 pp
work page 2020
-
[63]
M.V. Lawson and A.R. Wallis, Levi categories and graphs of groups, Theory Appl. Categ. 32 (2017), Paper No. 23, 780--802
work page 2017
-
[64]
Li, Semigroup C*-algebras and amenability of semigroups, J
X. Li, Semigroup C*-algebras and amenability of semigroups, J. Funct. Anal. 262 (2012), no. 10, 4302--4340
work page 2012
-
[65]
Li, Nuclearity of semigroup C*-algebras and the connection to amenability, Adv
X. Li, Nuclearity of semigroup C*-algebras and the connection to amenability, Adv. Math. 244 (2013), 626--662
work page 2013
-
[66]
Li, Partial transformation groupoids attached to graphs and semigroups, Int
X. Li, Partial transformation groupoids attached to graphs and semigroups, Int. Math. Res. Not. IMRN (2017), no. 17, 5233--5259
work page 2017
-
[67]
Li, Left regular representations of Garside categories I
X. Li, Left regular representations of Garside categories I. C*-algebras and groupoids, Glasg. Math. J. 65 (2023), no. S1, S53--S86
work page 2023
-
[68]
Li, Left regular representations of Garside categories II
X. Li, Left regular representations of Garside categories II. Finiteness properties of topological full groups, preprint, arXiv:2110.04505 https://arxiv.org/abs/2110.04505
-
[69]
X. Li, T. Omland, and J. Spielberg, C*-algebras of right LCM one-relator monoids and Artin-Tits monoids of finite type, Comm. Math. Phys. 381 (2021), no. 3, 1263--1308
work page 2021
-
[70]
H. Matui, Homology and topological full groups of \' e tale groupoids on totally disconnected spaces , Proc. Lond. Math. Soc. (3) 104 (2012), no. 1, 27--56
work page 2012
-
[71]
Matui, Topological full groups of one-sided shifts of finite type, J
H. Matui, Topological full groups of one-sided shifts of finite type, J. reine angew. Math. 705 (2015), 35--84
work page 2015
-
[72]
Meyer, Adjoining a unit to an operator algebra, J
R. Meyer, Adjoining a unit to an operator algebra, J. Operator Theory 46 (2) (2001) 281--288
work page 2001
-
[73]
D. Milan and B. Steinberg, On inverse semigroup C*-algebras and crossed products, Groups Geom. Dyn. 8 (2014), no. 2, 485--512
work page 2014
-
[74]
P. Muhly and B. Solel, Tensor algebras over C*-correspondences: representations, dilations, and C*-envelopes, J. Funct. Anal. 158 (1998), 389--457
work page 1998
-
[75]
S. Neshveyev and N. Stammeier, The groupoid approach to equilibrium states on right LCM semigroup C^* -algebras, J. Lond. Math. Soc. (2) 105 (2022), no. 1, 220--250
work page 2022
-
[76]
E. Ortega and E. Pardo, The tight groupoid of the inverse semigroups of left cancellative small categories, Trans. Amer. Math. Soc. 373 (2020), no. 7, 5199--5234
work page 2020
-
[77]
D. Pask, J. Quigg, and I. Raeburn, Fundamental groupoids of k -graphs, New York J. Math. 10 (2004), 195--207
work page 2004
-
[78]
Paulsen, Completely bounded maps and operator algebras, Cambridge University Press, Cambridge, 2002
V. Paulsen, Completely bounded maps and operator algebras, Cambridge University Press, Cambridge, 2002
work page 2002
-
[79]
M. Pimsner, A class of C*-algebras generalising both Cuntz--Krieger algebras and crossed products by Z , in ‘Free Probability Theory, Fields Institute Communications’ 12 (1997), ed. D. Voiculescu, 189--212
work page 1997
-
[80]
Raeburn, Graph algebras, CBMS Regional Conference Series in Mathematics, vol
I. Raeburn, Graph algebras, CBMS Regional Conference Series in Mathematics, vol. 103 (American Mathematical Society, Providence, RI, 2005)
work page 2005
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.