pith. sign in

arxiv: 2309.04817 · v3 · submitted 2023-09-09 · 🧮 math.OA

Normal coactions extend to the C*-envelope

Pith reviewed 2026-05-24 06:29 UTC · model grok-4.3

classification 🧮 math.OA
keywords C*-envelopecoactionsoperator algebrasdiscrete groupsright LCM monoidsgroupoid-embeddable categoriescancellative monoids
0
0 comments X

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.

The paper proves that a normal coaction of a discrete group on an operator algebra extends to a normal coaction on the C*-envelope of that algebra. The C*-envelope is the smallest C*-algebra containing the operator algebra. This extension resolves an open problem in the area and supplies a direct proof of a result by Sehnem. As an application, it identifies the C*-envelopes of the operator algebras associated to groupoid-embeddable categories and to cancellative right LCM monoids, including monoids that are not group-embeddable.

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

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

  • 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.

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.

Referee Report

0 major / 1 minor

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)
  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

0 responses · 0 unresolved

We thank the referee for their positive report, detailed summary of our results, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

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

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are mentioned in the abstract. The result is a theorem relying on standard definitions and constructions in operator algebra theory.

pith-pipeline@v0.9.0 · 5616 in / 1013 out tokens · 24953 ms · 2026-05-24T06:29:23.328107+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

93 extracted references · 93 canonical work pages

  1. [1]

    Afsar, N

    Z. Afsar, N. Brownlowe, N.S. Larsen, and N. Stammeier, Equilibrium states on right LCM semigroup C*-algebras, Int. Math. Res. Not. IMRN 2019, no. 6, 1642--1698

  2. [2]

    Arveson, Subalgebras of C*-algebras, Acta Math

    W.B. Arveson, Subalgebras of C*-algebras, Acta Math. 123 (1969), 141--224

  3. [3]

    Arveson, Subalgebras of C*-algebras

    W.B. Arveson, Subalgebras of C*-algebras. II, Acta Math. 128 (1972), 271--308

  4. [4]

    Arveson, Subalgebras of C*-algebras

    W.B. Arveson, Subalgebras of C*-algebras. III . M ultivariable operator theory , Acta Math. 181 (1998), 159--228

  5. [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

  6. [6]

    Arveson, Notes on the unique extension property, https://math.berkeley.edu/ arveson/Dvi/unExt.pdf, 2006

    W.B. Arveson, Notes on the unique extension property, https://math.berkeley.edu/ arveson/Dvi/unExt.pdf, 2006

  7. [7]

    Arveson, The noncommutative Choquet boundary, J

    W.B. Arveson, The noncommutative Choquet boundary, J. Amer. Math. Soc. 21 (2008), no. 4, 1065--1084

  8. [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

  9. [9]

    B\' e dos, S

    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

  10. [10]

    Brown, G

    J.H. Brown, G. Nagy, S. Reznikoff, A. Sims, and D.P. Williams, Cartan subalgebras in C*-algebras of Hausdorff \' e tale groupoids , Integral Equations Operator Theory 85 (2016), no. 1, 109--126

  11. [11]

    Brownlowe, N.S

    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

  12. [12]

    Brownlowe, A

    N. Brownlowe, A. Sims, and S.T. Vittadello, Co-universal C*-algebras associated to generalised graphs, Israel J. Math 193 (2013), 399--440

  13. [13]

    Bruce and X

    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

  14. [14]

    Bruce and C

    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

  15. [15]

    Carlsen, A

    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

  16. [16]

    Carlsen, N.S

    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

  17. [17]

    Carlsen, E

    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

  18. [18]

    Clou\^atre and A

    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

  19. [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

  20. [20]

    Crisp and M

    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

  21. [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

  22. [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

  23. [23]

    Cuntz, C

    J. Cuntz, C. Deninger, and M. Laca, C*-algebras of Toeplitz type associated with algebraic number fields, Math. Ann. 355 (2013), no. 4, 1383--1423

  24. [24]

    Cuntz, S

    J. Cuntz, S. Echterhoff, and X. Li, On the K-theory of the C*-algebra generated by the left regular representation of an Ore semigroup, J. Eur. Math. Soc. (JEMS) 17 (2015), no. 3, 645--687

  25. [25]

    Cuntz, S

    J. Cuntz, S. Echterhoff, X. Li, and G. Yu, K -theory for group C*-algebras and semigroup C*-algebras. Oberwolfach Seminars, 47. Birkh\" a user/Springer, Cham, 2017

  26. [26]

    Cuntz and W

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

  27. [27]

    Davidson and M

    K.R. Davidson and M. Kennedy, The Choquet boundary of an operator system, Duke Math. J. 164 (2015), 2989--3004

  28. [28]

    Davidson, A.H

    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

  29. [29]

    Dehornoy with F

    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

  30. [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

  31. [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

  32. [32]

    Dehornoy and F

    P. Dehornoy and F. Wehrung, Multifraction reduction III: the case of interval monoids, J. Comb. Algebra 1 (2017), no. 4, 341--370

  33. [33]

    Dor-On, S

    A. Dor-On, S. Eilers, and S. Geffen, Classification of irreversible and reversible Pimsner operator algebras, Compos. Math. 156 (2020), no. 12, 2510--2535

  34. [34]

    Dor-On, E.T.A

    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

  35. [35]

    Dor-On and E.G

    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

  36. [36]

    Dor-On and G

    A. Dor-On and G. Salomon, Full Cuntz--Krieger dilations via non-commutative boundaries, J. Lond. Math. Soc. (2) 98 (2018), 416--438

  37. [37]

    Echterhoff, S

    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

  38. [38]

    Eilers, G

    S. Eilers, G. Restorff, E. Ruiz, and A.P.W. S rensen, The complete classification of unital graph C*-algebras: geometric and strong, Duke Math. J. 170 (2021), no. 11, 2421--2517

  39. [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

  40. [40]

    Exel and E

    R. Exel and E. Pardo, The tight groupoid of an inverse semigroup, Semigroup Forum 92 (2016), no. 1, 274--303

  41. [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

  42. [42]

    Fowler, P.S

    N.J. Fowler, P.S. Muhly, and I. Raeburn, Representations of Cuntz--Pimsner algebras, Indiana Univ. Math. J. 52 (2003), no. 3, 569--605

  43. [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

  44. [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

  45. [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

  46. [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

  47. [47]

    Kakariadis, E.G

    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

  48. [48]

    Kakariadis, E.G

    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

  49. [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

  50. [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

  51. [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. [52]

    Katoulis and D.W

    E.G. Katoulis and D.W. Kribs, Tensor algebras of C*-correspondences and their C*-envelopes, J. Funct. Anal. 234 (2006), 226--233

  53. [53]

    Katsoulis and C

    E.G. Katsoulis and C. Ramsey, Crossed products of operator algebras, Mem. Amer. Math. Soc. 258 (2019), no. 1240, vii+85 pp

  54. [54]

    Katsoulis and C

    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

  55. [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

  56. [56]

    Kennedy, S.J

    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. [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

  58. [58]

    Kumjian and D

    A. Kumjian and D. Pask, Higher rank graph C*-algebras, New York J. Math. 6 (2000), 1--20

  59. [59]

    Kumjian, D

    A. Kumjian, D. Pask, I. Raeburn, and J. Renault, Graphs, groupoids, and Cuntz--Krieger algebras, J. Funct. Anal. 144 (1997), no. 2, 505--541

  60. [60]

    Laca and C.F

    M. Laca and C.F. Sehnem, Toeplitz algebras of semigroups, Trans. Amer. Math. Soc. 375 (2022), no. 10, 7443--7507

  61. [61]

    Lawson, Inverse semigroups

    M.V. Lawson, Inverse semigroups. The theory of partial symmetries, World Scientific Publishing Co., Inc., River Edge, NJ, 1998

  62. [62]

    Lawson and A

    M.V. Lawson and A. Vdovina, Higher dimensional generalizations of the Thompson groups, Adv. Math. 369 (2020), 107191, 56 pp

  63. [63]

    Lawson and A.R

    M.V. Lawson and A.R. Wallis, Levi categories and graphs of groups, Theory Appl. Categ. 32 (2017), Paper No. 23, 780--802

  64. [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

  65. [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

  66. [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

  67. [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

  68. [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. [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

  70. [70]

    Matui, Homology and topological full groups of \' e tale groupoids on totally disconnected spaces , Proc

    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

  71. [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

  72. [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

  73. [73]

    Milan and B

    D. Milan and B. Steinberg, On inverse semigroup C*-algebras and crossed products, Groups Geom. Dyn. 8 (2014), no. 2, 485--512

  74. [74]

    Muhly and B

    P. Muhly and B. Solel, Tensor algebras over C*-correspondences: representations, dilations, and C*-envelopes, J. Funct. Anal. 158 (1998), 389--457

  75. [75]

    Neshveyev and N

    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

  76. [76]

    Ortega and E

    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

  77. [77]

    D. Pask, J. Quigg, and I. Raeburn, Fundamental groupoids of k -graphs, New York J. Math. 10 (2004), 195--207

  78. [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

  79. [79]

    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

    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

  80. [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)

Showing first 80 references.