[論文レビュー] The Full Orbifold $K$-theory of Abelian Symplectic Quotients

Rebecca Goldin, Megumi Harada+2 more|ArXiv.org|Dec 29, 2008

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

ひとこと要約

本稿では、インertシャルK理論と整数的K理論的Kirwan全射性を用いて、アーベルなシンプレクティック商として得られる全オーロラビルドK理論を明示的に計算するアルゴリズムを開発する。重み付き射影空間として得られるシンプレクティック商の全オーロラビルドK理論が torsion-free であることを証明し、固定点データとセクター寄与からの生成子と関係式を用いた明示的表現によって、整数上での完全な記述が得られる。

ABSTRACT

In their 2007 paper, Jarvis, Kaufmann, and Kimura defined the full orbifold $K$-theory of an orbifold ${\mathfrak X}$, analogous to the Chen-Ruan orbifold cohomology of ${\mathfrak X}$ in that it uses the obstruction bundle as a quantum correction to the multiplicative structure. We give an explicit algorithm for the computation of this orbifold invariant in the case when ${\mathfrak X}$ arises as an abelian symplectic quotient. Our methods are integral $K$-theoretic analogues of those used in the orbifold cohomology case by Goldin, Holm, and Knutson in 2005. We rely on the $K$-theoretic Kirwan surjectivity methods developed by Harada and Landweber. As a worked class of examples, we compute the full orbifold $K$-theory of weighted projective spaces that occur as a symplectic quotient of a complex affine space by a circle. Our computations hold over the integers, and in the particular case of weighted projective spaces, we show that the associated invariant is torsion-free.

研究の動機と目的

• アーベルなシンプレクティック商として得られるオーロラビルド多様体の全オーロラビルドK理論を、整数上に明示的に計算するための体系的かつ包括的な手法を開発すること。
• ストリングィK理論の先行研究を拡張し、非局所自由作用へのインテリシャルK理論の一般化を試みること。
• シンプレクティック商に対して、整数的K理論的Kirwan全射性の類似を確立すること。
• 重み付き射影空間の全オーロラビルドK理論環の明示的表現を提供すること。
• このような重み付き射影空間の全オーロラビルドK理論が、ℤ 上で torsion-free であることを証明すること。

提案手法

• ストリングィK理論を、安定複素多様体上の非局所自由作用へ一般化したインテリシャルK理論 $NK^\bullet_T(M)$ を導入する。
• T-固定点集合とその正規束を用いて、オーロラビルドコhomologyに類似した $\natural$-積を用いてストリングィ積を再定式化する。
• 整数的K理論的Kirwan全射性定理を適用し、全空間のインテリシャルK理論と商のオーロラビルドK理論を関連付ける。
• 多項式環 $\mathbb{Z}[u,u^{-1}]$ を基にした商環として全オーロラビルドK理論環を構成し、理想 $\mathcal{I}$（積関係）と $\mathcal{J}$（Kirwan写像の核）を用いる。
• 等置不変K理論における局所化技術を活用し、固定点部分多様体のK理論と、それらがオーロラビルド環に与える寄与を計算する。
• $\mathbb{P}^2_{(1,2,4)}$ における明示的計算を通じて、一般枠組みの妥当性を検証し、torsion-free 性を確認する。

実験結果

リサーチクエスチョン

• RQ1 アーベルなシンプレクティック商として得られるオーロラビルド多様体の全オーロラビルドK理論を、整数上に明示的にどのように計算できるか？
• RQ2 シンプレクティック商として得られる重み付き射影空間の全オーロラビルドK理論環の構造は何か？
• RQ3 このような重み付き射影空間の全オーロラビルドK理論に torsion 要素は含まれるか？
• RQ4 非局所自由の場合におけるインテリシャルK理論は、ストリングィK理論をどのように一般化するか？
• RQ5 整数的K理論的Kirwan全射性は、非グローバル商スタックに対してもオーロラビルドK理論の計算に応用可能か？

主な発見

• 重み付き射影空間 $\mathbb{P}^n_b$ の全オーロラビルドK理論は、$\mathbb{Z}[u,u^{-1},\alpha_0,\ldots,\alpha_\ell]/(\mathcal{I} + \mathcal{J})$ に同型であり、ここで $\mathcal{I}$ は積関係を、$\mathcal{J}$ はKirワン写像の核を符号化する。
• 環構造は、円作用の固定点データと、単位根からのセクター寄与によって完全に決定される。
• 具体的な例 $\mathbb{P}^2_{(1,2,4)}$ に対して、全オーロラビルドK理論が $\mathbb{Z}[u,u^{-1},\alpha_0,\alpha_1,\alpha_2,\alpha_3]/(\mathcal{I} + \langle\alpha_0 - 1\rangle + \mathcal{J})$ として明示的に計算され、$\mathcal{I}$ と $\mathcal{J}$ は乗法表と核の計算から導出される。
• 重み付き射影空間の全オーロラビルドK理論は、分解における各和成分の構造を分析することで、$\mathbb{Z}$ 上で torsion-free であることが示された。
• T作用が局所自由でない場合、インテリシャルK理論環 $NK^\diamond_T(M)$ は新たな不変量となり、商の全オーロラビルドK理論へ全射する。
• 計算により、グローバル商の場合には全オーロラビルドK理論がストリングィK理論のG不変部分環に同型であることが確認されたが、非グローバル商スタックに対してはより一般化されたものであることが示された。