arxiv: 2604.07688 · v1 · submitted 2026-04-09 · 🧮 math.OA

Recognition: 2 theorem links

· Lean Theorem

Villadsen algebras are singly generated

Chun Guang Li, Vincent M. Ruzicka, Zhuang Niu

Pith reviewed 2026-05-10 18:17 UTC · model grok-4.3

classification 🧮 math.OA

keywords Villadsen algebrassingly generatedAH algebrasdiagonal mapsC*-algebrasZ-stabilityinductive limitsoperator algebras

0 comments

The pith

Villadsen algebras are singly generated even without Z-stability.

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

The paper establishes that Villadsen algebras, known to lack Z-stability, can each be generated by a single element in the C*-algebra sense. A reader would care because single generation simplifies the algebraic structure of these infinite-dimensional objects and distinguishes them from more complex cases. The argument extends this to every simple unital approximately homogeneous algebra whose connecting maps are diagonal. This links a specific family of non-stable examples to a basic generation property that holds across the larger class.

Core claim

We show that Villadsen algebras, which are not Z-stable, are singly generated. More generally, we show that any simple unital AH algebra with diagonal maps is singly generated.

What carries the argument

Diagonal maps in the inductive limit presentation of AH algebras, which allow a single element to generate the whole algebra through controlled embeddings.

If this is right

Every Villadsen algebra is generated by one element.
Z-stability is not needed for single generation in this setting.
The single-generation property applies uniformly to the full class of simple unital AH algebras with diagonal maps.
These algebras therefore admit a dense singly generated *-subalgebra.

Where Pith is reading between the lines

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

The diagonal condition may be the minimal requirement that forces single generation among AH algebras.
One could check whether the same conclusion holds when the connecting maps are only approximately diagonal.
The result supplies concrete examples for studying how generator number interacts with other invariants such as K-theory.

Load-bearing premise

The algebras are simple and unital, built as inductive limits of finite-dimensional algebras connected by diagonal maps, with no extra conditions blocking the single-generator construction.

What would settle it

An explicit simple unital AH algebra with diagonal maps in which every single element generates a proper subalgebra, shown by direct computation on a concrete inductive system.

read the original abstract

We show that Villadsen algebras, which are not Z-stable, are singly generated. More generally, we show that any simple unital AH algebra with diagonal maps is singly generated.

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

Villadsen algebras are singly generated, and so are all simple unital AH algebras with diagonal maps.

read the letter

The main thing to know is that this paper proves Villadsen algebras are singly generated even though they are not Z-stable, plus a general statement that any simple unital AH algebra with diagonal maps is singly generated. That resolves a specific open question for this family and gives a broader fact for the class of AH algebras where the connecting maps factor through diagonals into matrix algebras over the circle or interval. The proof uses the standard inductive-limit construction to build an explicit single generator, which fits the controlled structure imposed by the diagonal condition. This is new; the abstract and prior literature do not contain this claim for Villadsen algebras or the general case. It is a clean structural result that could be referenced when working with non-Z-stable examples or when simplifying arguments about generation in AH algebras. The central argument holds up on its own terms with no internal contradictions or circularity. The soft spots are minor and proportionate. The result is restricted to the diagonal-maps case, so it does not extend to arbitrary AH algebras or remove the need for separate arguments elsewhere. Without the full manuscript the exact steps cannot be verified line by line, but the stress-test found no load-bearing gaps and the claim is presented as a direct theorem from standard definitions. This paper is for specialists in C*-algebra classification and structure theory who care about concrete examples like Villadsen algebras or general facts about AH algebras. A reader already working in that subfield would get direct value and might cite the general statement. It deserves peer review because the result is new, the statement is clear, and the approach is grounded in the existing literature on these algebras.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that Villadsen algebras, which are known to be non-Z-stable, are singly generated as C*-algebras. It further establishes a general result that any simple unital AH algebra equipped with diagonal maps is singly generated, using the standard inductive-limit construction of AH algebras where connecting maps factor through diagonal embeddings.

Significance. If the result holds, it is significant for providing explicit examples of singly generated C*-algebras outside the Z-stable class, which contrasts with existing literature on generation properties. The general theorem for AH algebras with diagonal maps strengthens the claim by placing it in a broader structural context within classification theory for C*-algebras. The approach relies on standard definitions and constructions without introducing new ad-hoc parameters or entities.

minor comments (2)

The abstract states the main theorems but does not indicate the key technical tool (e.g., the specific form of the diagonal maps or the inductive limit argument) used to establish single generation; adding one sentence would improve accessibility.
In the general statement, the precise definition of 'diagonal maps' should be recalled or referenced to a standard source (e.g., a citation to the literature on AH algebras) to ensure the condition is unambiguous for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from definitions

full rationale

The paper proves that Villadsen algebras (and more generally simple unital AH algebras with diagonal maps) are singly generated by working directly from the standard inductive-limit construction of AH algebras and the definition of diagonal connecting maps. The argument relies on established properties of C*-algebras without reducing any central claim to a fitted parameter, self-citation chain, or definitional renaming. No load-bearing step equates a derived result to its own input by construction, and the non-Z-stability contrast is presented as background rather than part of the derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger is based on standard background in C*-algebra theory; no free parameters or invented entities are mentioned.

axioms (1)

domain assumption Standard definitions and properties of Villadsen algebras, AH algebras, diagonal maps, and Z-stability in C*-algebra theory.
The proof relies on these established notions without re-deriving them.

pith-pipeline@v0.9.0 · 5306 in / 1105 out tokens · 83913 ms · 2026-05-10T18:17:45.939205+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/ArithmeticFromLogic.lean LogicNat ≃ Nat (recovery theorem) unclear
Our main theorem (Theorem 3.1) states that any C*-algebra with an AF-action is singly generated.

Reference graph

Works this paper leans on

15 extracted references

[1]

Castillejos, S

J. Castillejos, S. Evington, A. Tikuisis, S. White and W. Winter, Nuclear dimension of simple C*- algebras, Invent. Math.224(2021), no. 1, 245–290; MR4228503

2021
[2]

R. G. Douglas and C. M. Pearcy, Von Neumann algebras with a single generator, Michigan Math. J. 16(1969), 21–26; MR0244775

1969
[3]

G. A. Elliott, G. Gong, H. Lin and Z. Niu, The classification of simple separable unitalZ-stable locally ASH algebras, J. Funct. Anal.272(2017), no. 12, 5307–5359; MR3639530

2017
[4]

G. A. Elliott, G. Gong, H. Lin and Z. Niu, On the classification of simple amenable C*-algebras with finite decomposition rank, II, J. Noncommut. Geom.19(2025), no. 1, 73–104; MR4860189

2025
[5]

G. A. Elliott, Ho Minh Toan and A. S. Toms, A class of simple C*-algebras with stable rank one, J. Funct. Anal.256(2009), no. 2, 307–322; MR2476944

2009
[6]

G. A. Elliott, C. G. Li and Z. Niu, Remarks on Villadsen algebras, J. Funct. Anal.287(2024), no. 7, Paper No. 110547, 55 pp.; MR4758325

2024
[7]

G. A. Elliott and Z. Niu, On the classification of simple amenable C*-algebras with finite decomposition rank, inOperator algebras and their applications, 117–125, Contemp. Math., 671, Amer. Math. Soc., Providence, RI; MR3546681
[8]

K. R. Goodearl, Notes on a class of simple C*-algebras with real rank zero, Publ. Mat.36(1992), no. 2A, 637–654 (1993); MR1209829 VILLADSEN ALGEBRAS ARE SINGLY GENERATED 19

1992
[9]

G. Gong, H. Lin and Z. Niu, A classification of finite simple amenableZ-stable C*-algebras, I: C*- algebras with generalized tracial rank one, C. R. Math. Acad. Sci. Soc. R. Can.42(2020), no. 3, 63–450; MR4215379

2020
[10]

G. Gong, H. Lin and Z. Niu, A classification of finite simple amenableZ-stable C*-algebras, II: C*- algebras with rational generalized tracial rank one, C. R. Math. Acad. Sci. Soc. R. Can.42(2020), no. 4, 451–539; MR4215380

2020
[11]

Jiang and H

X. Jiang and H. Su, On a simple unital projectionless C*-algebra, Amer. J. Math.121(1999), no. 2, 359–413; MR1680321

1999
[12]

C. L. Olsen and W. R. Zame, Some C*-algebras with a single generator, Trans. Amer. Math. Soc.215 (1976), 205–217; MR0388114

1976
[13]

Thiel and W

H. Thiel and W. Winter, The generator problem forZ-stable C*-algebras, Trans. Amer. Math. Soc. 366(2014), no. 5, 2327–2343; MR3165640

2014
[14]

A. P. Tikuisis, S. A. White and W. Winter, Quasidiagonality of nuclear C*-algebras, Ann. of Math. (2) 185(2017), no. 1, 229–284; MR3583354

2017
[15]

Villadsen, Simple C*-algebras with perforation, J

J. Villadsen, Simple C*-algebras with perforation, J. Funct. Anal.154(1998), no. 1, 110–116; MR1616504 School of Mathematics and Statistics, Northeast Normal University, Changchun 130024, P. R. China Email address:licg864@nenu.edu.cn Department of Mathematics and Statistics, University of Wyoming, Laramie, WY 82071, USA Email address:zniu@uwyo.edu Departm...

1998