arxiv: 2605.08977 · v1 · submitted 2026-05-09 · 🧮 math.OA

Recognition: no theorem link

Rapid Decay Subalgebras of C^*-Algebras

Matt McBride, Shelley Hebert, Slawomir Klimek

Pith reviewed 2026-05-12 02:33 UTC · model grok-4.3

classification 🧮 math.OA

keywords C*-algebrassmooth subalgebrasfunctional calculusrapid decayoperator algebrassubalgebra constructionsself-adjoint elements

0 comments

The pith

A general scheme constructs smooth subalgebras of C*-algebras that remain closed under smooth functional calculus for self-adjoint elements.

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

The paper introduces a general method for creating subalgebras inside C*-algebras that qualify as smooth because they contain all smooth functions applied to their self-adjoint elements. The authors then apply this method to produce concrete examples in different operator-algebra settings. Such subalgebras matter because they furnish a controlled environment in which regularity properties, such as differentiability and functional calculus, can be handled directly inside the algebra rather than only in a larger completion. The construction therefore offers a uniform route to objects that previously were often built case by case.

Core claim

We introduce a general scheme of constructing smooth subalgebras of C*-algebras that are closed under the smooth calculus of self-adjoint elements. We illustrate the scheme with a number of examples.

What carries the argument

The general scheme that produces rapid-decay subalgebras closed under smooth functional calculus of self-adjoint elements.

If this is right

Self-adjoint elements in the new subalgebras admit a complete smooth functional calculus that stays inside the subalgebra.
The scheme supplies a uniform construction that recovers many previously studied smooth subalgebras as special cases.
The resulting algebras inherit enough regularity to support further analytic constructions that require smooth elements.
Examples demonstrate that the method applies across several distinct classes of C*-algebras.

Where Pith is reading between the lines

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

The same scheme may be used to equip spectral triples or noncommutative manifolds with natural smooth dense subalgebras.
It could simplify arguments in cyclic cohomology or K-theory that currently rely on ad-hoc choices of smooth elements.
One could test whether the construction preserves additional structures such as traces or derivations that are already present on the ambient C*-algebra.

Load-bearing premise

The specific rules used to define the subalgebras inside the given C*-algebra guarantee that smooth functions of self-adjoint elements remain inside those subalgebras.

What would settle it

An explicit self-adjoint element a inside one of the constructed subalgebras together with a smooth function f such that f(a) lies outside the subalgebra would show the closure property fails.

read the original abstract

We introduce a general scheme of constructing smooth subalgebras of C$^*$-algebras that are closed under the smooth calculus of self-adjoint elements. We illustrate the scheme with a number of examples.

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

The paper sketches a general scheme for smooth subalgebras of C*-algebras closed under smooth functional calculus and backs it with examples, but the high-level abstract makes it hard to judge how new or robust the construction really is.

read the letter

The main point is that this paper proposes a general scheme to construct smooth subalgebras inside C*-algebras which stay closed under the smooth functional calculus for self-adjoint elements, and they show it working in several examples. The new part is the general scheme itself. Most work in this area gives specific constructions for particular algebras, so a broad method could save time if it applies widely. The examples help show how it plays out in practice, which is a plus for making the idea usable. The soft spots are around the lack of detail in the high-level description. The abstract does not spell out the actual scheme or prove the closure property, so I cannot tell if it really works without circularity or if it is distinct from existing approaches using derivations or other smooth structures. The title mentions rapid decay, but the abstract focuses on smoothness and calculus closure; I need to see how those fit together and whether the rapid decay is the key feature or just a name. If the full paper has solid definitions and checks the properties rigorously, then the contribution is real. Otherwise it might be more of a reorganization of known ideas. This is for people in C*-algebra theory and noncommutative geometry who need smooth subalgebras for their work. A reader familiar with the field would get value from the examples and could test the scheme on their own algebras. It should go to peer review. The topic is technical enough that referees can evaluate the construction properly, and even if revisions are needed, the idea has potential.

Referee Report

0 major / 3 minor

Summary. The paper introduces a general scheme for constructing smooth subalgebras of C*-algebras that are closed under the smooth functional calculus of self-adjoint elements and illustrates the scheme with a number of examples.

Significance. If the construction is valid as described, the scheme could provide a useful general method for producing smooth subalgebras with rapid decay properties in C*-algebra theory. This may facilitate work in noncommutative geometry and related areas by offering a systematic construction that preserves desirable analytic properties, with the examples serving to demonstrate applicability across different settings.

minor comments (3)

The abstract is extremely terse and provides no indication of the form of the scheme or the nature of the examples; expanding it slightly would improve accessibility without altering the manuscript's scope.
The title emphasizes 'Rapid Decay Subalgebras' while the abstract focuses on 'smooth subalgebras closed under smooth calculus'; a brief clarifying sentence in the introduction linking the two notions would strengthen the presentation.
The manuscript would benefit from additional references to prior work on smooth subalgebras and functional calculus in C*-algebras to better situate the new scheme within the existing literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The referee's summary accurately reflects the paper's content and goals. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; construction scheme is self-contained

full rationale

The paper introduces a general scheme for constructing smooth subalgebras of C*-algebras closed under smooth functional calculus for self-adjoint elements, illustrated by examples. This is an existence claim for a mathematical construction rather than a derivation, prediction, or fit from data. No equations, self-citations, or load-bearing steps are present in the abstract or description that reduce the central claim to its own inputs by definition or renaming. The derivation chain, if detailed in the full manuscript, consists of standard operator-algebraic constructions without the enumerated circularity patterns. The result is independent of any fitted parameters or prior self-referential uniqueness theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Due to only having access to the abstract, the full list of free parameters, axioms, and invented entities cannot be determined. The general scheme may introduce new definitions but specifics are not available.

axioms (1)

standard math C*-algebras admit a functional calculus for self-adjoint elements
This is a standard property used in the smooth calculus closure.

pith-pipeline@v0.9.0 · 5316 in / 1143 out tokens · 61737 ms · 2026-05-12T02:33:01.842444+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

Bhatt, S., Inoue, A., Ogi, H., Differential Structure in C ∗-algebras,J. Oper. Theory, 66, 301–334, 2011

work page 2011
[2]

Blackadar, B.Operator Algebras: Theory of C ∗-Algebras and Von Neumann Algebras, Springer-Verlag, 2006

work page 2006
[3]

Blackadar, B., and Cuntz, J., Differential Banach Algebra Norms and Smooth Subalgebras of C ∗- algebras,J. Oper. Theory, 26, 255-282, 1991

work page 1991
[4]

A., and Jorgensen, P

Bratteli, O., Elliott, G. A., and Jorgensen, P. E. T., Decomposition of Unbounded Derivations into Invariant and Approximately Inner Parts,Jour. Reine Ang. Math.,346, 166-193, 1984

work page 1984
[5]

Math., 101, 261-334, 1990

Bost, J.B., Principe d’Oka, K-Theorie et Systemes Dynamiques non Commutatifs,Invent. Math., 101, 261-334, 1990

work page 1990
[6]

Connes, A.,Non-Commutative Differential Geometry, Academic Press, 1994

work page 1994
[7]

Davidson, K.,C ∗-Algebras by Example, American Mathematical Society, 1996

work page 1996
[8]

Math., 385, 7-37, 2005

Downarowicz, T., Survey of Odometers and Toeplitz Flows,Contemp. Math., 385, 7-37, 2005

work page 2005
[9]

Glimm, J., On a Certain Class of Operator Algebras,Trans. Amer. Math. Soc., 95, 318 - 340, 1960

work page 1960
[10]

Hewitt, E, and Ross, K.,Abstract Harmonic Analysis, Springer-Verlag, 1979

work page 1979
[11]

and McBride, M., Polynomial Bounded Exponentials and Smooth Subalgebras of C∗-algebras, inRepresentations of p-Adic Groups and Noncommutative Geometry, Springer, 2026(exp)

Hebert, S., Klimek, S. and McBride, M., Polynomial Bounded Exponentials and Smooth Subalgebras of C∗-algebras, inRepresentations of p-Adic Groups and Noncommutative Geometry, Springer, 2026(exp)

work page 2026
[12]

Jolissaint, P., Rapidly Decaying Functions in Reduced C∗-algebras of Groups,Trans. Amer. Math. Soc., 317, 167-196, 1990

work page 1990
[13]

and Shulman, V., Differential Properties of Some Dense Subalgebras of C ∗-algebras,Proc

Kissin, E. and Shulman, V., Differential Properties of Some Dense Subalgebras of C ∗-algebras,Proc. Edinberg Math. Soc., 37, 399-422, 1994

work page 1994
[14]

Klimek, S., McBride, M., Rathnayake, S., Sakai, K., Wang, H., Unbounded Derivations in Bunce- Deddens-Toeplitz Algebras,Jour. Math. Anal. Appl., 15, 988 - 1020, 2019

work page 2019
[15]

Klimek, S., McBride, M., and Peoples, J.W., Aspects of Noncommutative Geometry of Bunce-Deddens Algebras,Jour. Noncomm. Geom., 17, 1391–1423, 2023

work page 2023
[16]

and McBride, M., Rapid Decay for Odometers,Adv

Klimek, S. and McBride, M., Rapid Decay for Odometers,Adv. Oper. Theo., 11, 1 - 28, 2026

work page 2026
[17]

Paterson, A.,Amenability, Mathematical surveys and monographs., AMS, 1988

work page 1988
[18]

Rennie, A., Smoothness and Locality for Nonunital Spectral Triples,K-Theory, 28, 127–165, 2003

work page 2003
[19]

Rieffel, M., Deformation Quantization and Operator Algebras.Proc. Symp. Pure Math, 51, 411–423, 1990

work page 1990
[20]

23 Department of Mathematics, East Mississippi Community College, 8731 S Frontage Rd

Williams, D.,Crossed Products ofC ∗−algebras, American Mathematical Society, 2007. 23 Department of Mathematics, East Mississippi Community College, 8731 S Frontage Rd. Mayhew, MS 39753, U.S.A. Email address:shebert@eastms.edu Department of Mathematical Sciences, Indiana University Indianapolis, 402 N. Blackford St., Indianapolis, IN 46202, U.S.A. Email a...

work page 2007