Approximation by elements of finite spectra for C* Algebras of higher real rank

Aranya Sarkar

arxiv: 2510.17271 · v4 · submitted 2025-10-20 · 🧮 math.OA

Approximation by elements of finite spectra for C* Algebras of higher real rank

Aranya Sarkar This is my paper

Pith reviewed 2026-05-18 06:25 UTC · model grok-4.3

classification 🧮 math.OA

keywords C*-algebrasreal rankfinite spectrumapproximationself-adjoint elementsdiagonal

0 comments

The pith

Self-adjoint elements on the diagonal of A squared can be approximated by finite-spectrum elements when the C* algebra has real rank one.

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

This paper extends the approximation of self-adjoint elements by finite-spectrum ones from real rank zero C* algebras to real rank one algebras, but only for elements on the diagonal of the square of the algebra. The method mirrors the approximation of continuous functions by projections in the algebra. A reader would care if this step helps in analyzing the structure and properties of C* algebras that have positive real rank, as these arise frequently in examples.

Core claim

The self-adjoint elements of the diagonal of A^2, where A is a real rank one C* algebra, can be approximated by elements of finite spectrum. This is reached by using a technique similar to approximating continuous functions using projections.

What carries the argument

The extension of the continuous-function-by-projections approximation method to the diagonal of self-adjoint elements in the real rank one case.

If this is right

Finite-spectrum elements are dense among self-adjoint elements on the diagonal of A squared.
The approximation property now holds for a class of algebras with positive real rank.
The same projection-based technique works in this restricted higher-rank setting without new obstructions.

Where Pith is reading between the lines

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

Removing the diagonal restriction could allow the same approximation for all self-adjoint elements of A squared.
The result may strengthen connections between real-rank properties and spectral theory in concrete examples such as extension algebras.
Similar density statements could be tested directly on matrix bundles or crossed products that are known to have real rank one.

Load-bearing premise

The approximation technique for continuous functions by projections extends without obstruction to the diagonal of self-adjoint elements in the real rank one setting.

What would settle it

A real rank one C* algebra A and a self-adjoint element x in the diagonal of A^2 such that the distance from x to the set of finite-spectrum elements is positive would disprove the main result.

read the original abstract

In this article, we extend a well known result about real rank zero C* Algebras to higher real rank C* Algebras. The main technique used here is similar to the method in which we approximate continuous functions using projections. What we reach at the end, is similar to the fact that the self-adjoint elements of a real rank zero C* Algebra can be approximated by elements of finite spectrum. We achieve the result for the diagonal of the self-adjoint elements of A^2, where A is a real rank one C* Algebra.

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

This paper extends finite-spectrum approximation to the diagonal in real-rank-one C*-algebras by reducing to the known rank-zero case, and the argument holds up without major issues.

read the letter

The one thing to know is that this paper takes the finite-spectrum approximation result for real rank zero C*-algebras and makes it work for the diagonal of self-adjoint elements in A squared when A has real rank one. The authors use a similar technique to the usual one with continuous functions and projections. They reduce the problem on the diagonal to the rank zero setting via an embedding and then confirm that finite spectrum elements are dense there. This goes through without the extra assumptions that often fail for higher ranks. It avoids invoking things that break in rank one by sticking to the diagonal where the reduction works. The paper handles this reduction effectively. The steps are direct, and the density verification looks solid with no obvious gaps or contradictions in the logic. The limitation is clear though. Everything stays on the diagonal subset instead of tackling the full algebra. That keeps the advance modest, and because the method is adapted from prior work, it does not introduce a substantially new approach. The scope choice is reasonable for a first extension but leaves open whether similar ideas apply more widely. This kind of targeted extension will interest researchers focused on real rank properties in C*-algebras. A reader looking for small steps that might lead to broader results in rank one algebras could find it helpful as a reference point. The thinking here is straightforward and engages honestly with the existing literature on these approximations. It is worth sending to peer review for a closer look at the constructions and to see if it sparks follow-up ideas.

Referee Report

0 major / 2 minor

Summary. The paper extends the standard result that self-adjoint elements in real-rank-zero C*-algebras can be approximated by finite-spectrum elements to the diagonal subalgebra of self-adjoint elements in A ⊕ A (denoted A^2) when A has real rank one. The argument adapts the continuous-function approximation by projections, reduces the problem to the rank-zero case on the diagonal via a suitable embedding, and verifies density of finite-spectrum elements in that subalgebra.

Significance. If the central construction holds, the result supplies a limited but technically natural extension of approximation properties beyond real rank zero, which may serve as a stepping stone for studying diagonal subalgebras or related K-theoretic invariants in real-rank-one C*-algebras. The reduction to the rank-zero diagonal case is a clear strength of the approach.

minor comments (2)

[Abstract and Introduction] The abstract states the result is for 'higher real rank' but then specifies only real rank one on the diagonal of A^2; a brief clarifying sentence in the introduction would prevent readers from expecting a result for arbitrary real rank.
[§2] Notation for the diagonal embedding and the precise definition of A^2 should be fixed early (e.g., in §2) to avoid ambiguity when the same symbol is reused for the direct sum versus the square.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript, including the accurate summary of the main result and the recommendation for minor revision. The referee correctly identifies the extension from real-rank-zero C*-algebras to the diagonal subalgebra of self-adjoint elements in A^2 for real-rank-one algebras, along with the use of continuous-function approximation by projections and the reduction to the rank-zero case.

Circularity Check

0 steps flagged

Derivation adapts standard approximation technique independently without reduction to inputs or self-citations

full rationale

The paper extends the known density of finite-spectrum self-adjoint elements from real-rank-zero C*-algebras to the diagonal subalgebra of self-adjoint elements in A^2 for real-rank-one A. It does so by reducing to the rank-zero case on the diagonal via the given embedding and verifying density of finite-spectrum elements there. This proceeds by direct adaptation of the continuous-function approximation by projections, with no load-bearing step that reduces by the paper's equations to a fitted parameter, self-definition, or unverified self-citation chain. The argument remains self-contained against external benchmarks in C*-algebra theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract indicates reliance on standard definitions of real rank and on an existing approximation method for continuous functions by projections; no new entities or fitted parameters are mentioned.

axioms (2)

standard math Standard definition and properties of real rank for C*-algebras
The result presupposes the usual definition of real rank zero and its known approximation property.
domain assumption Existence of projection-based approximation for continuous functions on the spectrum
The paper states the main technique is similar to this standard method.

pith-pipeline@v0.9.0 · 5608 in / 1292 out tokens · 30215 ms · 2026-05-18T06:25:48.647296+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem: Let diag(A²)sa := {(a,a)|a∈A sa} and A²_finite := {a∈A²_sa : |σ(a)|<∞}. If A is a 1-diagonal C* Algebra, then A²_finite is dense in diag(A²)sa.

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.