B(H) is not a twisted groupoid C*-algebra

Alcides Buss; Luiz Felipe Garcia; Tom\'as Pacheco

arxiv: 2603.21946 · v2 · submitted 2026-03-23 · 🧮 math.OA

B(H) is not a twisted groupoid C*-algebra

Alcides Buss , Luiz Felipe Garcia , Tom\'as Pacheco This is my paper

Pith reviewed 2026-05-15 00:31 UTC · model grok-4.3

classification 🧮 math.OA

keywords C*-algebrasétale groupoidstwisted groupoid C*-algebrasB(H)conditional expectationdiagonal subalgebrasvon Neumann algebrasoperator algebras

0 comments

The pith

B(H) for infinite-dimensional H cannot arise as a reduced twisted étale groupoid C*-algebra.

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

The paper proves that the C*-algebra of all bounded operators on an infinite-dimensional Hilbert space cannot be obtained as the reduced twisted C*-algebra of any locally compact Hausdorff étale groupoid. The argument proceeds from the canonical conditional expectation onto the continuous functions on the unit space and shows that the resulting diagonal subalgebra inside B(H) must be atomic abelian. A finite unit space would induce a trace on B(H), which is impossible, while an infinite unit space forces compactly supported sections to satisfy a block-sparsity condition incompatible with generating all bounded operators. This supplies the first explicit C*-algebras known to lie outside the class of reduced twisted étale groupoid C*-algebras.

Core claim

B(H) cannot be realized as the reduced twisted C*-algebra of any locally compact Hausdorff étale groupoid. The proof uses the canonical conditional expectation C_r^*(G, Σ) to C_0(G^{(0)}) and shows that the diagonal subalgebra inside B(H) must be an atomic abelian von Neumann algebra. This forces either a tracial state when the spectrum is finite or block-sparsity for compactly supported sections when the spectrum is infinite, both incompatible with B(H).

What carries the argument

The canonical conditional expectation from the twisted groupoid C*-algebra onto C_0 of the unit space, whose range is the diagonal subalgebra shown to be atomic abelian.

If this is right

The class of reduced twisted étale groupoid C*-algebras is strictly smaller than the class of all C*-algebras.
B(H) supplies the first concrete example of a C*-algebra that cannot be realized this way.
C*-algebras without faithful traces or with dense sets of operators may similarly fail to arise from étale groupoids.

Where Pith is reading between the lines

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

Similar diagonal arguments could rule out groupoid realizations for other infinite von Neumann algebras or type III factors.
The result highlights that groupoid models may be restricted to algebras possessing sufficiently many commuting projections or specific commutant structures.
Determining a positive classification of which C*-algebras admit étale groupoid presentations remains open.

Load-bearing premise

The diagonal subalgebra produced by the conditional expectation is an atomic abelian von Neumann algebra whose spectrum determines either a trace or block-sparse sections.

What would settle it

An explicit construction of a locally compact Hausdorff étale groupoid with twist whose reduced C*-algebra is isomorphic to B(H) for infinite-dimensional H would falsify the claim.

read the original abstract

We show that $B(H)$ for an infinite dimensional Hilbert space $H$ cannot be realized as the reduced twisted $C^*$-algebra of any locally compact Hausdorff \'etale groupoid. The proof is based on the canonical conditional expectation $$C_r^*(G,\Sigma)\to C_0(G^{(0)})$$ and a structural analysis of the resulting diagonal subalgebra inside $B(H)$. We show that this diagonal must be an atomic abelian von Neumann algebra, and then exclude both possibilities for its spectrum. If the unit space is finite, one obtains a tracial state on $C_r^*(G,\Sigma)$, which is impossible for $B(H)$. If it is infinite, the groupoid structure forces a block-sparsity phenomenon for compactly supported sections, which is incompatible with $B(H)$. This provides the first examples of $C^*$-algebras that cannot be realized as reduced twisted \'etale groupoid $C^*$-algebras.

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

B(H) for infinite-dimensional H cannot be a reduced twisted étale groupoid C*-algebra, shown cleanly via the conditional expectation and its diagonal.

read the letter

The main result is that B(H) for infinite-dimensional H lies outside the class of reduced twisted C*-algebras coming from locally compact Hausdorff étale groupoids. The argument proceeds by contradiction from the canonical conditional expectation onto C_0(G^{(0)}), whose image generates a diagonal whose weak closure is an atomic abelian von Neumann algebra. In the finite-unit case this produces a normal trace on B(H), which is impossible. In the infinite case the étale structure plus compact support forces the sections to be block-sparse with respect to the atomic decomposition, so their closure cannot reach all of B(H). Both cases are ruled out by standard facts about B(H) and groupoid C*-algebras. The paper does this without circularity or fitted parameters, and the outline matches known properties of conditional expectations onto Cartan-like subalgebras. The block-sparsity step is the part that would benefit from the most scrutiny in the full text, but the stress-test note indicates it follows directly from the groupoid axioms. No other gaps stand out from the given description. This is useful for anyone mapping the boundary of what groupoid models can realize; it supplies the first explicit negative examples rather than reducing to earlier results. A reader working on classification questions or obstructions in operator algebras will find it worth their time. The thinking is clear and engages the literature honestly. I would bring it to a reading group to walk through the infinite-case details. It deserves peer review.

Referee Report

1 major / 2 minor

Summary. The manuscript proves that B(H) for infinite-dimensional Hilbert space H cannot be realized as the reduced twisted C*-algebra of any locally compact Hausdorff étale groupoid. The argument proceeds from the canonical conditional expectation E: C_r^*(G, Σ) → C_0(G^{(0)}), identifies the resulting diagonal subalgebra D inside B(H) as an atomic abelian von Neumann algebra, and derives contradictions in both the finite-unit case (yielding a trace) and the infinite-unit case (forcing block-sparsity incompatible with all of B(H)).

Significance. If the derivation holds, the result is significant: it supplies the first explicit examples of C*-algebras outside the class of reduced twisted étale groupoid C*-algebras. The proof relies on standard, independently verifiable facts about conditional expectations onto Cartan subalgebras and the absence of traces on B(H), giving the claim a clear falsifiability criterion.

major comments (1)

The step establishing that the weak closure of D is atomic abelian (via properties of the conditional expectation onto the diagonal) is only sketched; a self-contained reference to the precise theorem on Cartan subalgebras in étale groupoid C*-algebras (or a short derivation) is needed to make the atomicity claim load-bearing for the subsequent case distinction.

minor comments (2)

Notation: the symbol Σ for the twist is introduced without an explicit reference to the standard definition of a twist over an étale groupoid; a one-sentence reminder would improve readability.
The finite-unit case invokes a trace obtained by summation over atomic projections; explicitly state the normalization (e.g., sum of the projections equals 1) to avoid any ambiguity about the trace being normal or faithful.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We are grateful to the referee for the careful review and the recommendation for minor revision. The suggested clarification will improve the readability and rigor of the proof.

read point-by-point responses

Referee: The step establishing that the weak closure of D is atomic abelian (via properties of the conditional expectation onto the diagonal) is only sketched; a self-contained reference to the precise theorem on Cartan subalgebras in étale groupoid C*-algebras (or a short derivation) is needed to make the atomicity claim load-bearing for the subsequent case distinction.

Authors: We thank the referee for this observation. We agree that the sketch of the atomicity of the weak closure of D can be strengthened for clarity. In the revised manuscript, we will include a brief self-contained derivation: The canonical conditional expectation onto the diagonal subalgebra D = C_0(G^{(0)}) inside C_r^*(G, Σ) makes D a Cartan subalgebra. By the theory of Cartan subalgebras in étale groupoid C*-algebras (see Renault, J. 'Cartan subalgebras in C*-algebras', Illinois J. Math. 2008), the weak closure in any faithful representation is an atomic abelian von Neumann algebra when the spectrum is discrete, which follows from the étale property ensuring that the unit space projections are minimal. We will add this reference and a short paragraph explaining why the weak closure is atomic, thereby supporting the finite/infinite case distinction without relying on a sketch. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation is self-contained using standard C*-algebra facts

full rationale

The paper derives its conclusion from the canonical conditional expectation E: C_r^*(G, Σ) → C_0(G^{(0)}) and the resulting diagonal subalgebra D inside B(H). This expectation is a standard feature of reduced groupoid C*-algebras, not defined in terms of B(H). The weak closure of D is shown to be atomic abelian via general properties of conditional expectations onto Cartan-like subalgebras. The finite-unit case produces a trace (impossible on infinite-dimensional B(H), a known external fact) and the infinite case produces block-sparsity incompatible with B(H) (again using external operator-algebra structure). No parameters are fitted, no self-citations are load-bearing, no uniqueness theorems are imported from the authors' prior work, and no known results are merely renamed. The chain is independent of its target conclusion.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The argument rests entirely on standard background facts from C*-algebra and von Neumann algebra theory; no free parameters are fitted, no new entities are postulated, and no ad-hoc axioms are introduced beyond well-established properties.

axioms (3)

standard math Existence and properties of the canonical conditional expectation from a reduced twisted groupoid C*-algebra onto C_0(G^{(0)})
Invoked at the start of the structural analysis of the diagonal.
standard math B(H) admits no normal tracial state when H is infinite-dimensional
Used to obtain contradiction in the finite unit-space case.
standard math Atomic abelian von Neumann algebras are determined by their spectrum (finite or infinite discrete)
Used to split into the two cases and derive incompatibility.

pith-pipeline@v0.9.0 · 5471 in / 1568 out tokens · 59471 ms · 2026-05-15T00:31:37.493113+00:00 · methodology

B(H) is not a twisted groupoid C*-algebra

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)