Schubert Calculus and uniform property $Γ$
Schubert 演算与一致性质 $\Gamma$
Andrew S. Toms
AI总结 基于 Thom-Porteous 退化轨迹理论构造了一个无一致性质 Γ 的简单可分单核 C*-代数,通过二次 Schubert 演算阻碍迹比较。
详情
- Comments
- 38 pages
我们构造了一个简单、可分、单的核 C$^*$-代数,它不具有一致性质 $\Gamma$。该构造基于由 Thom-Porteous 退化轨迹理论产生的一个新的拓扑障碍。过去 30 年中,病态核 C$^*$-代数的构造使用了 Villadsen 引入的 Chern 类计算来阻碍大平凡子丛的存在。相比之下,我们使用行列式 Schur 类迫使某些等秩向量丛之间的每个丛映射在底空间某处消失。二次 Schubert 演算表明,该障碍可以在归纳系统中持续存在,并最终阻碍均匀迹完备化中迹对投影的比较。相关的 Thom-Porteous 类位于与强制秩损失平方成比例的度数中,这反过来导致我们例子中构成齐次 C$^*$-代数的相同阶的维数增长。这确定了核 C$^*$-代数结构理论中的一个新几何阈值,将一致性质 $\Gamma$ 的存在与否与二次维数增长联系起来。
We construct a simple, separable, unital, nuclear C$^*$-algebra without uniform property $\Gamma$. The construction is based on a new topological obstruction arising from the Thom-Porteous theory of degeneracy loci. Constructions of pathological nuclear C$^*$-algebras over the past 30 years have used Chern class calculations introduced by Villadsen to obstruct the existence of large trivial subbundles. Here, by contrast, we use determinantal Schur classes to force every bundle map between certain equal-rank vector bundles to vanish somewhere on the base space. A quadratic Schubert calculus computation shows that this obstruction can persist across an inductive system and ultimately obstructs the comparison of projections by traces in the uniform tracial completion. The relevant Thom-Porteous classes live in degree proportional to the square of the forced rank loss, which in turn forces dimension growth of the same order in the constituent homogeneous C$^*$-algebras of our example. This identifies a new geometric threshold in the structure theory of nuclear C$^*$-algebras, linking the presence or absence of uniform property $\Gamma$ to quadratic dimension growth.