AI 中文总结
本文为环面三维簇上的高阶层提出等变K-理论着色顶点形式，通过磁通编码与DT4约化，实现秩一与高阶理论的统一计数。
AI 中文摘要
我们为光滑射影环面三维簇 $X$ 上的着色、阿贝尔化的高阶扇区发展了一个等变 K-理论顶点形式体系。非零第一陈类被编码为磁通量并吸收进线丛扭曲中，之后虚拟特征标被重新分配为有限的微扰、顶点和边贡献。我们计算了由此产生的（未约化和无迹的）虚拟维数，并分析了与可能约化到秩一相关的相互作用项。我们强调，在紧致环面三维簇上，着色分拆并不能对所有环面固定的稳定高阶层进行分类：因此，除非提供了与完整稳定层模问题相补充的比较定理，否则所得级数仅是一个提议的阿贝尔化/框架化顶点级数。当三维簇的障碍理论不具备所需形式时，我们转向局部卡拉比--丘四维簇 $Y=\operatorname{Tot}(K_X)$ 并构造相应的着色 DT4 顶点。一个 $K_X$-扭曲的万有插入消去了具有非平凡纤维层的固定点，在局部顶点层面将实心分拆约化为平面分拆。在秩一情形，我们给出一个概形论解释：$X$ 的子概形 Hilbert 函子与 $Y$ 中位于固定零截面内的子概形的约束 Hilbert 函子典范同构。在 DT4 K-理论 Lefschetz/虚拟拉回形式体系的假设下，相应的支撑插入将秩一四维理论约化为三维理论。我们将这一全局秩一陈述与高阶着色顶点约化在逻辑上区分开来。
英文摘要
We develop an equivariant K-theoretic vertex formalism for a colored, abelianized higher-rank sector on smooth projective toric threefolds $X$. Nonzero first Chern classes are encoded as magnetic fluxes and absorbed into line-bundle twists, after which the virtual character is redistributed into finite perturbative, vertex, and edge contributions. We compute the resulting (unreduced and trace-free) virtual dimensions and analyze the interaction terms relevant to a possible reduction to rank one. We emphasize that, on a compact toric threefold, colored partitions do not classify all torus-fixed stable higher-rank sheaves: the resulting series is therefore a proposed abelianized/framed vertex series unless an additional comparison theorem with the full stable-sheaf moduli problem is supplied. When the threefold obstruction theory is not available in the desired form, we pass to the local Calabi--Yau fourfold $Y=\operatorname{Tot}(K_X)$ and formulate the corresponding colored DT4 vertex. A $K_X$-twisted tautological insertion removes fixed points with nontrivial fiber layers, reducing solid partitions to plane partitions at the level of the local vertex. In rank one we give a scheme-theoretic explanation: the Hilbert functor of subschemes of $X$ is canonically isomorphic to the constrained Hilbert functor of subschemes of $Y$ lying scheme-theoretically in the fixed zero section. Under the hypotheses of the DT4 K-theoretic Lefschetz/virtual-pullback formalism, the associated support insertion reduces the rank-one fourfold theory to the threefold theory. We keep this global rank-one statement logically distinct from the higher-rank colored-vertex reduction.
Comments18 pages, comments are welcome
