迹上的严格比较是否迫使单C*-代数成为纯的？

迹上的严格比较迫使纯性

论文的核心答案是：对于含单位元的单非初等C*-代数，是——迹上的严格比较蕴含该代数是纯的。纯性意味着Cuntz半群Cu(A)既几乎不可穿孔又几乎可除。迹上的严格比较已经给出几乎不可穿孔性，因此真正的工作在于产生几乎可除性。

其机制是一个关于算子秩的新的均匀稠密性结果。对于稳定化A⊗K中的正元a，它在下半连续迹τ处的秩为dτ(a) = lim τ(a^(1/n))。定理A表明，对迹态空间T1(A)上任意严格正连续仿射函数f和任意ε > 0，存在m ≥ 1和Mm(A)+中的e，使得对每个τ ∈ T1(A)都有|f(τ) − dτ(e)| ≤ ε。换言之，算子的秩在迹态空间上的严格正仿射函数中是均匀稠密的。

正是这种稠密性把比较假设转化为可除性。该证明不需要可分性、正合性、稳定秩一或极端边界的正则性，因此结论并非这些额外假设的产物。

秩是稠密的，而非精确实现

读者很容易混淆两个不同的问题。精确秩实现问的是某个给定函数是否恰好是某个元素的秩。均匀稠密性只问秩是否在所有迹上一致地任意接近。定理A解决的是第二个、更弱的问题，而这已足以用于纯性应用。

这一区别很重要，因为此前的精确实现结果需要额外的正则性，例如对迹边界或对代数中已有秩的假设。当前的逼近定理去掉了稳定秩假设，但处理的是普通迹而非2-拟迹。论文明确区分了普通迹上的严格比较与2-拟迹上的严格比较，后者是通常不加限定的比较性质。

两个引理支撑了这一逼近。引理2.1把一个正元压缩进满元b的遗传子代数Her(b)中，同时对所有迹态保持τ(c) = τ(a)。引理2.2把一次求值转化为秩函数：对于A+中的c和整数m ≥ max{1, ‖c‖}，元素e = ⊕_{j=1}^m (c − j)+ ∈ Mm(A)+满足对每个下半连续迹τ都有dτ(e) ≤ τ(c) ≤ dτ(e) + dτ(c)。误差由c的秩界定，与其范数无关。

Toms–Winter猜想对近似次齐次代数成立

把推论B与已知的吸收定理和维数定理结合，可得到对具有局部有限核维数的可分、含单位元、单、非初等C*-代数的等价性：有限核维数、Z-稳定性、严格比较和纯性全都等价，且此时dim_nuc(A) ≤ 1。

由于近似次齐次C*-代数具有局部有限分解秩，从而具有局部有限核维数，Toms–Winter猜想对可分、含单位元、单、非初等ASH代数成立。这是纯性定理的一个应用，而非独立的逼近论证。

该等价性是对具有局部有限核维数的代数陈述的。它并未对任意单非初等C*-代数断言，在那里纯性结论在迹上的严格比较下仍然成立，但Z-稳定性和有限核维数的等价性并非本定理所声称。

全局Glimm性质使秩稠密且可除

一般结果建立在全局Glimm性质之上。论文首先抽象地处理Cu-半群的秩问题：对于Cu-半群S和紧集K ⊆ F(S)，K上秩的稠密性等价于K上秩的几乎可除性。一个充分判据以(2, ω)-可除性的弱形式连同光滑性质给出。

专门化到Cuntz半群，论文表明Cu(A)总是相对于下半连续迹的锥T(A)满足所需的光滑性质。因此，三个条件等价：秩在迹上稠密、秩在迹上几乎可除、以及A具有迹的全局Glimm性质。

推论4.3随后指出，若A具有全局Glimm性质，则秩在迹上稠密且几乎可除。全局Glimm性质等价于Cu(A)的(2, ω)-可除性，也等价于对每个n ≥ 2的(n, ω)-可除性，并且它传递到稳定化。

纯正合代数恰是同时具备两个性质者

定理4.4指出，每个同时具有全局Glimm性质和迹上严格比较的C*-代数都是纯的。迹上的严格比较给出几乎不可穿孔性；全局Glimm性质连同推论4.3给出迹上秩的几乎可除性，而严格比较把它提升为Cuntz半群中的几乎可除性。

推论4.5把它转化为对正合代数的刻画：一个正合C*-代数是纯的，当且仅当它具有严格比较和全局Glimm性质。正向在一般情况下成立，因为每个纯C*-代数都具有严格比较和全局Glimm性质。反向则利用对正合代数每个下半连续2-拟迹都是迹，因此严格比较与迹上的严格比较一致。

这是论文最尖锐的一般性陈述。它把单向蕴含替换为双向判据，但仅在正合性之下，而正合性正是使两种比较概念一致的原因。

结论适用到哪里，又止于哪里

推论B的纯性结论是对具有迹上严格比较的含单位元、单、非初等C*-代数陈述的。定理A的证明只用到单性和非初等性来获得在T1(A)上一致地任意小秩的满元；论文指出因此该结论对每个具有此性质的含单位元C*-代数都成立。

Toms–Winter等价性更窄：它要求可分性、含单位元性、单性、非初等性和局部有限核维数。正合代数刻画要求正合性。这些是不同的适用范围，论文把它们分开处理，而非把其中一个呈现为一般定理。

论文还自始至终区分迹上的严格比较与2-拟迹上的严格比较。对正合代数两者一致，这正是正合情形容许当且仅当刻画而一般情形不容许的原因。

决定性变量是哪种比较与哪种性质

阅读这篇论文最有用的方式，是把它看作一张关于哪种假设组合产生纯性的地图。对于含单位元、单、非初等C*-代数，仅迹上的严格比较就足够。对于一般C*-代数，全局Glimm性质加上迹上的严格比较就足够。对于正合C*-代数，这两个条件也是必要的，从而给出精确刻画。

秩稠密性定理是引擎，其力量在于对所有迹的均匀性且无需稳定秩假设。代价是它给出的是逼近而非精确实现，并且处理的是普通迹而非2-拟迹。把它与此前精确实现结果相比较的读者应追踪这一差异，而非把结果视为可互换。

论文自身的优先重点是等价性结构：在局部有限核维数下，迹上的严格比较、纯性、Z-稳定性和有限核维数彼此重合，且Toms–Winter猜想对近似次齐次C*-代数随之成立。因此对任何给定代数，决定性问题不是抽象地是否具有严格比较，而是它具有哪种比较性质，以及全局Glimm性质或正合性是否可用。

本文引用的文献