pith. sign in

arxiv: 2412.11975 · v3 · submitted 2024-12-16 · 🧮 math.OA

On the Nielsen-Thomsen sequence

Laurent Cantier This is my paper

Pith reviewed 2026-05-23 07:26 UTC · model grok-4.3

classification 🧮 math.OA
keywords Nielsen-Thomsen sequenceHausdorffized K1-groupsunitary Cuntz semigroupAT-algebrasC*-algebra classification*-homomorphismsrotation maps
0
0 comments X

The pith

Nielsen-Thomsen bases and rotation maps enable comparison of *-homomorphisms at the Hausdorffized algebraic K1 level and yield a new proof that two AT-algebras are non-isomorphic.

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

The paper introduces Nielsen-Thomsen bases, rotation maps, and diagonalisable morphisms to describe the unnatural splitting of the Nielsen-Thomsen sequence. These notions support new methods for comparing *-homomorphisms by their actions on Hausdorffized algebraic K1-groups and the Hausdorffized unitary Cuntz group. The methods are then used for classification results via the Hausdorffized unitary Cuntz semigroup, including a fresh demonstration that two AT-algebras constructed by Gong, Jiang and Li are not isomorphic, along with examples of non-unitarily equivalent homomorphisms from C(T). A sympathetic reader would care because the work refines invariants that sit outside the standard Elliott classification program for C*-algebras.

Core claim

The Nielsen-Thomsen sequence admits Nielsen-Thomsen bases and rotation maps that capture its unnatural splitting; these objects induce comparison methods for *-homomorphisms at the level of the Hausdorffized algebraic K1-groups and, downstream, the Hausdorffized unitary Cuntz group, which in turn supply a new proof of the non-isomorphism of two specific AT-algebras.

What carries the argument

Nielsen-Thomsen bases together with rotation maps and diagonalisable morphisms, which formalize the splitting of the sequence and thereby produce the comparison maps on Hausdorffized K-groups.

If this is right

  • Novel comparison methods become available for *-homomorphisms at the level of the Hausdorffized algebraic K1-groups.
  • The same methods extend to comparisons at the Hausdorffized unitary Cuntz group.
  • Classification proceeds via the Hausdorffized unitary Cuntz semigroup.
  • A new proof establishes the non-isomorphism of two AT-algebras constructed by Gong, Jiang and Li.
  • Several pairs of non-unitarily equivalent *-homomorphisms with domain C(T) exist.

Where Pith is reading between the lines

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

  • The comparison technique may be applied to other known pairs of C*-algebras whose isomorphism status remains open under standard invariants.
  • Hausdorffized versions of K-groups could distinguish morphisms in settings where ordinary K-theory does not.
  • The framework might adapt to sequences appearing in other parts of K-theory for operator algebras.

Load-bearing premise

The newly introduced notions of Nielsen-Thomsen bases, rotation maps and diagonalisable morphisms correctly capture the properties of the sequence's unnatural splitting and thereby validate the claimed comparison methods.

What would settle it

An explicit pair of *-homomorphisms from C(T) that the rotation maps declare inequivalent at the Hausdorffized K1 level, yet which can be shown by direct computation to be unitarily equivalent.

read the original abstract

The Nielsen-Thomsen sequence plays a pivotal role in refining invariants for C$^*$-algebras beyond the Elliott classification framework. This paper revisits the sequence, introducing the concepts of Nielsen-Thomsen bases, rotation maps and diagonalisable morphisms, to better understand its unnatural splitting. These insights enable novel comparison methods for *-homomorphisms at the level of the Hausdorffized algebraic K$_1$-groups, and subsequently the Hausdorffized unitary Cuntz group. We apply our methods to classification via the Hausdorffized unitary Cuntz semigroup. In particular, we present a new proof of the non-isomorphism between two A$\mathbb{T}$-algebras constructed by Gong, Jiang and Li. We also exhibit several pairs of non-unitarily equivalent *-homomorphisms with domain C($\mathbb{T}$).

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 / 2 minor

Summary. The paper revisits the Nielsen-Thomsen sequence for C*-algebras, introducing Nielsen-Thomsen bases, rotation maps, and diagonalisable morphisms to analyze its unnatural splitting. These tools yield new comparison methods for *-homomorphisms at the level of Hausdorffized algebraic K1-groups and the Hausdorffized unitary Cuntz group. The methods are applied to classification via the Hausdorffized unitary Cuntz semigroup, including a new proof that two AT-algebras constructed by Gong, Jiang and Li are non-isomorphic, and examples of non-unitarily equivalent *-homomorphisms with domain C(T).

Significance. If the new notions are rigorously defined and the comparison methods are shown to be valid, the work supplies additional invariants and comparison techniques that can distinguish C*-algebras and morphisms in situations where the Elliott invariant is insufficient. The concrete non-isomorphism result for the Gong-Jiang-Li algebras and the explicit pairs of non-equivalent maps from C(T) constitute falsifiable applications that strengthen the case for the utility of the Hausdorffized unitary Cuntz semigroup.

minor comments (2)
  1. The abstract states that the new notions 'correctly capture the properties of the sequence's unnatural splitting' but does not indicate where the verification of this modeling occurs; a short paragraph in the introduction summarizing the key properties verified for each new object would improve readability.
  2. The claim of a 'new proof' of non-isomorphism for the Gong-Jiang-Li AT-algebras would be strengthened by an explicit statement of which existing invariants fail to distinguish them and which new comparison succeeds.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of the significance of our work on the Nielsen-Thomsen sequence and its applications to classification. The recommendation is listed as uncertain, yet the report contains no specific major comments or requests for clarification. We address this below and provide a point-by-point response structure (empty in the absence of enumerated comments).

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper introduces Nielsen-Thomsen bases, rotation maps and diagonalisable morphisms as new tools built on standard C*-algebra and K-theory frameworks to analyze the sequence's splitting; these are then applied to comparison methods at Hausdorffized K1 and unitary Cuntz levels and to a new non-isomorphism proof. No equation, definition or claim in the abstract reduces by construction to its own inputs, no fitted parameter is relabeled as a prediction, and no load-bearing step relies on a self-citation chain or uniqueness theorem imported from the same authors. The derivation chain is therefore self-contained against external operator-algebra benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Pure mathematics paper operating inside established C*-algebra and K-theory; no empirical parameters or new physical entities are introduced.

axioms (1)
  • standard math Standard axioms and definitions of C*-algebras, K-theory and the Nielsen-Thomsen sequence as previously established in the literature.
    The paper works within the existing mathematical framework of operator algebras.

pith-pipeline@v0.9.0 · 5654 in / 1207 out tokens · 32809 ms · 2026-05-23T07:26:16.776540+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Tracially reflexive C*-algebras

    math.OA 2026-05 unverdicted novelty 7.0

    Introduces tracially reflexive C*-algebras, proves the property for all commutative C*-algebras and all separable dimension-zero ones, and shows it is preserved under inductive limits via Cuntz semigroup and weak Schr...

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [1]

    Antoine, F

    R. Antoine, F. Perera, L. Robert, and H. Thiel. C ∗-algebras of stable rank one and their Cuntz semigroups. Duke Math. J. , 171(1):33–99, 2022

    work page 2022

  2. [2]

    Antoine, F

    R. Antoine, F. Perera, and H. Thiel. Tensor products and r egularity properties of Cuntz semigroups. Mem. Amer. Math. Soc. , 251(1199):viii+191, 2018

    work page 2018

  3. [3]

    L. Cantier. A unitary Cuntz semigroup for C ∗-algebras of stable rank one. J. Funct. Anal. , 281(9):109175, 2021

    work page 2021

  4. [4]

    L. Cantier. Uniformly based Cuntz semigroups and approx imate intertwinings. Int. J. Math. , 33(9):Paper No. 2250062, 36, 2022

    work page 2022

  5. [5]

    L. Cantier. The unitary Cuntz semigroup on the classifica tion of non-simple C ∗-algebras. J. Math. Anal. Appl. , 522(2):127003, 2023

    work page 2023

  6. [6]

    L. Cantier. Towards a classification of unitary elements of C ∗-algebras. Preprint. arXiv:2304.01761, 2023

    work page arXiv 2023

  7. [7]

    L. Cantier. A systematic approach for invariants of C ∗-algebras. Studia Math. , 273, pp. 63-99. 2023

    work page 2023

  8. [8]

    Cantier and E.Vilalta

    L. Cantier and E.Vilalta. Fraiss´ e theory for Cuntz semi groups. J. Algebra 658, pp. 319-364, 2024

    work page 2024

  9. [9]

    J. R. Carri´ on, J. Gabe, C. Schafhauser, A. Tikuisis and S . White Classifying *-homomorphisms I: Unital simple nuclear C ∗-algebras Preprint. arXiv:2307.06480, 2023

    work page arXiv 2023

  10. [10]

    Ciuperca and G

    A. Ciuperca and G. A. Elliott. A remark on invariants for C∗-algebras of stable rank one. Int. Math. Res. Not. IMRN, (5):Art. ID rnm 158, 33, 2008. 26 LAURENT CANTIER

    work page 2008

  11. [11]

    K. T. Coward, G. A. Elliott, and C. Ivanescu. The Cuntz se migroup as an invariant for C ∗-algebras. J. Reine Angew. Math. , 623:161–193, 2008

    work page 2008

  12. [12]

    J. Cuntz. Dimension functions on simple C ∗-algebras. Math. Ann. , 233(2):145–153, 1978

    work page 1978

  13. [13]

    de la Harpe and G

    P. de la Harpe and G. Skandalis. Determinant associe a un e trace sur une alg` ebre de Banach. Ann. Inst. Fourier (Grenoble) 34, no. 1, pp. 241-260 (French, with English summ ary), 1984

    work page 1984

  14. [14]

    G. A. Elliott, G. Gong, H. Lin and Z. Niu. On the classifica tion of simple amenable C*-algebras with finite decomposition rank, II. J. Noncommut. Geom. . In press. 10.4171/JNCG/560, 2024

    work page doi:10.4171/jncg/560 2024

  15. [15]

    G. A. Elliott. On the classification of C ∗-algebras of real rank zero. J. Reine Angew. Math. , 443, pp. 179-219, 1993

    work page 1993

  16. [16]

    G. A. Elliott and G. Gong. On the classification of C ∗-algebras of real rank zero, II. Ann. of Math. , 144, no. 3., pp. 497-610, 1996

    work page 1996

  17. [17]

    G. A. Elliott, L. Robert, and L. Santiago. The cone of low er semicontinuous traces on a C ∗-algebra. Amer. J. Math., 133(4):969–1005, 2011

    work page 2011

  18. [18]

    Gardella and F

    E. Gardella and F. Perera. The modern theory of Cuntz sem igroups of C ∗-algebras. Preprint. arXiv:2212.02290, 2022

    work page arXiv 2022

  19. [19]

    G. Gong, C. Jiang and L. Li. Hausdorffified algebraic K1-group and invariants for C*- algebras with the ideal property. Ann. K-Theory, vol. 5 no. 1, pp. 43-78, 2020

    work page 2020

  20. [20]

    G. Gong, H. Lin, and Z. Niu. A classification of finite simp le amenable Z-stable C*-algebras. I: C*-algebras with generalized tracial rank one. C. R. Math. Acad. Sci. Soc. R. Canada , 42, pp. 63-450, 2020

    work page 2020

  21. [21]

    G. Gong, H. Lin and Z. Niu. A classification of finite simpl e amenable Z-stable C*-algebras, II: C*-algebras with rational generalized tracial rank one. C. R. Math. Acad. Sci. Soc. R. Canada , 42, pp. 451-539, 2020

    work page 2020

  22. [22]

    K. E. Nielsen and K. Thomsen. Limits of circle algebras. Expo. Math. , 14, pp. 17-56, 1996

    work page 1996

  23. [23]

    L. Robert. Classification of inductive limits of 1-dime nsional NCCW complexes. Adv. Math. , 231(5):2802–2836, 2012

    work page 2012

  24. [24]

    Robert and L

    L. Robert and L. Santiago. Classification of C∗-homomorphisms from C0(0, 1] to a C ∗-algebra. J. Funct. Anal. , 258(3):869–892, 2010

    work page 2010

  25. [25]

    Rordam and W

    M. Rordam and W. Winter. The Jiang-Su algebra revisited . J. Reine Angew. Math. 642, 129-155, 2010

    work page 2010

  26. [26]

    Thomsen Traces, unitary characters and crossed prod ucts by Z

    K. Thomsen Traces, unitary characters and crossed prod ucts by Z. Publ. Res. Inst. Math. Sci. , 31(6), pp. 1011-1029, 1995

    work page 1995

  27. [27]

    W. Winter. Structure of nuclear C ∗-algebras: from quasidiagonality to classification and bac k again. Proceedings of the International Congress of Mathematicians-Rio de Jan eiro, Vol. III. Invited lectures, pp 1801-1823, 2018. Laurent Cantier, Departament de Matem `atiques, Universitat Aut `onoma de Barcelona, 08193 Bellaterra, Spain Email address : laure...

    work page 2018