[論文レビュー] K-theory of torus manifolds

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

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

ひとこと要約

本稿は、被覆空間がシェーリング可能な神経を持つホモロジー多面体であるクラスのトーラス多様体の位相的K環について、生成子と関係式による記述を提供する。これは、以前の擬トーリック多様体に関する結果を一般化したものであり、特徴的部分多様体に対応する変数をもつ多項式環の商として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$ の基本類に対応する。
• 被覆空間 $Q$ の facet に添え字が付く変数をもつ多項式環 $\mathbb{Z}[v_{Q_1}, \dots, v_{Q_m}]$ の構成。ここで $v_{Q_j}$ は $K^0(M)$ 内の $[\mathcal{L}_j] - 1$ に写像される。
• 2種類の関係式から生成されるイデアル $I$ の定義：(i) に対応する facet が空集合の交わりを持つときの積 $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)$ は、交わりと等変チャーン類の関係式によって生成されるイデアル $I$ を用いた、多項式環の商 $\mathbb{Z}[v_{Q_1}, \dots, v_{Q_m}]/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環は、神経のシェーリングによって誘導される $M$ の完全なセル複体における偶数次元セルの数 $d$ に等しい数のモノミアル $v_{T_i}$ によって、$\mathbb{Z}$-加群として自由に生成される。
• 神経 $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$ の非特異性を反映している。