[论文解读] K-theory of torus manifolds

V. Uma|ArXiv.org|Jul 31, 2006

Advanced Combinatorial Mathematics参考文献 8被引用 3

一句话总结

本文通过生成元与关系式，给出了一个特定类的环面流形——即轨道空间为同调多面体且其神经复形可壳化（shellable）的环面流形——的拓扑K-环的表述。该工作推广了早期关于拟-典型流形（quasi-toric manifolds）的结果，表明K-环同构于一个多项式环的商环，其变量对应于特征子流形，关系式来源于空交集条件与等变陈类条件。

ABSTRACT

The {\it torus manifolds} have been defined and studied by M. Masuda and T. Panov (arXiv:math.AT/0306100) who in particular describe its cohomology ring structure. In this note we shall describe the topological $K$-ring of a class of torus manifolds (those for which the orbit space under the action of the compact torus is a {\it homology polytope} whose {\it nerve} is a {shellable} simplicial complex) in terms of generators and relations. Since these torus manifolds include the class of quasi-toric manifolds this is a generalisation of earlier results due to the author and P. Sankaran (arXiv: math.AG/0504107).

研究动机与目标

• 将先前关于拟-典型流形K-理论的结果推广至更广泛的环面流形类。
• 描述轨道空间为同调多面体且其神经复形可壳化的环面流形的拓扑K-环。
• 通过对应于特征子流形上复线丛的生成元和来自交集与等变拓扑的关系式，提供K-环的显式表述。
• 建立此类流形的K-环与多项式环商环之间的环同构。

提出的方法

• 使用与特征子流形 $M_j$ 关联的复线丛 ${\cal L}_j$，其第一陈类对应于 $M_j$ 的基本类。
• 构造一个多项式环 $\mathbb{Z}[v_{Q_1}, \dots, v_{Q_m}]$，其变量由轨道空间 $Q$ 的面（facets）索引，其中 $v_{Q_j}$ 映射到 $K^0(M)$ 中的 $[\mathcal{L}_j] - 1$。
• 定义一个理想 $I$，其由两类关系生成：(i) 当对应面的交集为空时，乘积 $v_{Q_{j_1}} \cdots v_{Q_{j_k}}$；(ii) 涉及 $t \in H^2(BT)$ 的等变陈类关系 $\langle t, a_j \rangle$。
• 利用神经复形 $K$ 的壳化诱导的 $M$ 的胞腔分解，确保 $K^0(M)$ 是有限秩的自由阿贝尔群。
• 应用K-理论中的 $\gamma^k$ 运算，证明当对应子流形交集为空时，$[\mathcal{L}_j] - 1$ 的某些乘积为零。
• 通过证明映射 $\psi: \mathbb{Z}[v_{Q_1}, \dots, v_{Q_m}]/I \to K^0(M)$ 的满射性，以及利用壳化神经复形与胞腔分解进行秩比较来证明单射性，从而完成同构性证明。

实验结果

研究问题

• RQ1 当轨道空间为同调多面体且其神经复形可壳化时，如何用生成元与关系式描述环面流形的拓扑K-环？
• RQ2 K-理论关系在多大程度上推广了已知的拟-典型流形关系？
• RQ3 轨道空间神经复形的壳化在构造简化K-理论计算的胞腔分解中起什么作用？
• RQ4 特征子流形的等变陈类条件与交集数据如何约束K-环的结构？

主要发现

• 具有同调多面体轨道空间 $Q$ 且神经复形可壳化的环面流形 $M$ 的拓扑K-环 $K^0(M)$ 同构于商环 $\mathbb{Z}[v_{Q_1}, \dots, v_{Q_m}]/I$，其中 $I$ 是由交集关系与等变陈类关系生成的理想。
• 映射 $\psi: \mathbb{Z}[v_{Q_1}, \dots, v_{Q_m}]/I \to K^0(M)$ 将 $v_{Q_j}$ 映射到 $[\mathcal{L}_j] - 1$，构成一个环同构，从而给出了 $K^0(M)$ 的显式表述。
• K-环作为 $\mathbb{Z}$-模由 $d$ 个单项式 $v_{T_i}$ 自由生成，其中 $d$ 是由神经复形的壳化诱导的 $M$ 的完美胞腔分解中的偶数维胞腔数。
• 由神经复形 $K$ 的壳化诱导的 $M$ 的胞腔分解仅包含偶数维胞腔，这表明 $K^0(M)$ 是有限秩的自由阿贝尔群。
• 关系式类型 (i) 源于在空交集子流形上，线丛直和的截面消失，该性质通过K-理论中的 $\gamma^k$ 运算强制实现。
• 关系式类型 (ii) 编码了对所有 $t \in H^2(BT)$，等变线丛 $\mathcal{L}_t = \prod_j \mathcal{L}_j^{\langle t, a_j \rangle}$ 的平凡性，反映了特征同态 $\Lambda$ 的非退化性。