[論文レビュー] On the $K$-theory of smooth toric DM stacks

Lev Borisov, R. Paul Horja|ArXiv.org|Mar 14, 2005

Algebraic Geometry and Number Theory参考文献 7被引用数 31

ひとこと要約

本論文は、滑らかなトーリックDeligne-MumfordスタックのグロテンディークK理論環の明示的計算を提供し、それがファン構造から導かれる関係によって商とされたローレンス多項式環に同型であることを示している。また、古典的チェーン写像の一般化である組合せ的チェーン写像を定義し、重み付きブLOWUPにおけるK理論のプッシュフォワードとプルバックを計算することで、ホモロジカルミラー双対性やGKZ系への応用のための枠組みを確立している。

ABSTRACT

We explicitly calculate the Grothendieck $K$-theory ring of a smooth toric Deligne-Mumford stack and define an analog of the Chern character. In addition, we calculate $K$-theory pushforwards and pullbacks for weighted blowups of reduced smooth toric DM stacks.

研究の動機と目的

• 滑らかなトーリックDeligne-MumfordスタックのグロテンディークK理論環を計算し、トーリック多様体の結果を一般化すること。
• これらのスタックに対して、組合せ的チェーン写像のアナログを定義し、特徴づけること。
• 重み付きブLOWUPにおけるK理論のプルバックおよびプッシュフォワードを計算し、特にcodimension 1およびそれ以上の次元において行うこと。
• 還元された場合の結果を、一般（おそらく非還元）の場合にまで拡張すること。
• ホモロジカルミラー双対性およびGKZ超幾何系の研究への応用のためのツールを提供すること。

提案手法

• 文献[E]のホモジーナイズド・トリックを用いて、局所自由層の直和による連接層の分解を行う。
• 格子N上の線形関数から生じる関係と、ファンΣの任意の錐に含まれないベクトルの集合から生じる関係の二種類の関係によって、ローレンス多項式環ℤ[x₁, x₁⁻¹, ..., xₙ, xₙ⁻¹]の商としてK理論環を構成する。
• K理論と複素係数をとったものと、組合せ的に定義されたSRコホモロジー環との間のベクトル空間同型写像として、組合せ的チェーン写像を定義する。
• プルプッシュ公式を用い、固定点層による有限群作用の解析を通じて、重み付きブLOWUPにおけるプッシュフォワードを計算する。
• 形式的べき級数における生成関数を用いて、幾何的に定義された層のプッシュフォワードを計算する。
• 群作用の核およびイデアル層の記述を用いて、codimension 1およびそれ以上の次元における重み付きブLOWUPのプッシュフォワードを明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなトーリックDeligne-MumfordスタックのグロテンディークK理論環の構造は何か？
• RQ2 このようなスタックに対して、一般化されたチェーン写像をどのように定義できるか。また、古典的および等置換チェーン写像とどう関係するか？
• RQ3 滑らかなトーリックDMスタックの重み付きブLOWUPにおけるK理論のプルバックおよびプッシュフォワードは何か？
• RQ4 スタック的ファンの文脈において、K理論作用素は双有理的写像の下でどのように振る舞うか？
• RQ5 複素係数をとったK理論と、組合せ的SRコホモロジー環の関係は何か？

主な発見

• グロテンディークK理論環K₀(ℙ_Σ)は、ローレンス多項式環ℤ[x₁, ..., xₙ]の、すべてのf:N→ℤに対して∏xᵢ^{f(vᵢ)} = 1 および、Σの任意の錐に含まれない{vᵢ}ᵢ∈Iの集合に対して∏(1−xᵢ) = 0 となる関係によって生成されるイデアルによる商Bに同型である。
• 複素係数をとったK理論は、半局所的アートン代数であり、組合せ的チェーン写像は、このK理論とSRコホモロジー環との間のベクトル空間同型写像を提供する。
• codimension d > 1の重み付きブLOWUPにおいて、プッシュフォワードμ_*R^{-l}は生成関数を用いて計算され、(1−Rᵢ^{-1})および(1−Rᵢ^{-1}t^{hᵢ})の積を含む有理式として得られる。
• codimension 1の重み付きブLOWUPにおいて、プッシュフォワードμ_*((1−R^{-1}t)^{-1})は、(1−t)^{-1} − (t/(1−t)) · (1−R₁^{-1})/(1−R₁^{-1}t^k) の式で与えられ、ここでkは重みである。
• 1 ≤ m ≤ k に対して、R′₁^{-m}のプッシュフォワードがR₁^{-1}に等しいことが示され、これは標準的ラインバンドルの逆元が元のものに重み付きで戻ることを示している。
• プルバック公式μ^*R₁ = R₁^kおよびプッシュフォワード公式を用いることで、K理論作用素は完全に計算可能であり、任意のK理論的クラスがこのような写像の下で計算可能である。