[論文レビュー] On a zeta-function of a dg-category

Sergey Galkin, Evgeny Shinder|arXiv (Cornell University)|Jun 18, 2015

Algebraic structures and combinatorial models参考文献 2被引用数 3

ひとこと要約

本稿は、前三角的微分付きカテゴリ（dgカテゴリ）に対するゼータ関数を導入し、カプラノフのモチーフ的ゼータ関数のカテゴリカルな類似を確立する。滑らかで射影的な多様体が特定の幾何的性質を満たす場合、カテゴリカルなゼータ関数がモチーフ的測度を介してモチーフ的ゼータ関数と積の公式を満たすことを証明し、導来カテゴリとグロチェンディック環における対称べき作用の間に接続を確立する。

ABSTRACT

We define a zeta-function of a pre-triangulated dg-category and investigate its relationship with the motivic zeta-function in the geometric case.

研究の動機と目的

• dgカテゴリのグロチェンディック環における対称べき作用を用いて、前三角的dgカテゴリのゼータ関数を定義すること。
• このカテゴリカルなゼータ関数と滑らかで射影的な多様体のカプラノフのモチーフ的ゼータ関数との関係を調査すること。
• 有理型または低次元といった幾何的仮定の下で、両者のゼータ関数を結ぶ明確な公式を確立すること。
• この関係が、半直交分解および多様体の導来カテゴリに与える影響を検討すること。
• モチーフ的測度 μ_dg が λ-作用を保存しないという事実を明確にし、新たなカテゴリカルな枠組みの必要性を示すこと。

提案手法

• pretriangulated dgカテゴリ $ \mathcal{C} $ に対して、$ K_0(\mathrm{dg\text{-}cat}/k)[[t]] $ 内で $ Z_{cat}(Χ,t) = \sum_{n \geq 0} [\mathrm{Sym}^n(\mathcal{C})] \, t^n $ としてカテゴリカルなゼータ関数を定義する。
• ガント・カプラノフの対称べき作用を用いて、$ K_0(\mathrm{dg\text{-}cat}/k) $ 上に λ-作用を定義し、ゼータ関数の構成を可能にする。
• 多様体 $ X $ をその dg強化 $ I(X) $ に写すモチーフ的測度 $ \mu_{dg}: K_0(\mathrm{Var}/k) \to K_0(\mathrm{dg\text{-}cat}/k) $ を用いて、幾何的およびカテゴリカルなゼータ関数を関係づける。
• 滑らかで射影的で、$ [X] \in K_0(\mathrm{Var}/k) $ が $ [\mathbb{A}^1] $ の多項式である、または $ \dim X \leq 2 $ であるような $ X $ に対して、恒等式 $ Z_{mot}(\mu_{dg}(X),t) = \prod_{k \geq 1} \mu_{dg}(Z_{mot}(X,t^k)) $ が成り立つことを証明する。
• ゲッツェ、ブリッジランド＝キング＝ライド、ハイマンの既知の結果を用いて、表面の場合にこの公式を検証し、$ Z_{cat} $ の乗法的性質と帰納法を用いて拡張する。
• 変換 $ f(t) \mapsto \prod_{k \geq 1} f(t^k) $ に対してモビウス反転を適用し、モビウス関数 $ \mu(k) $ を用いてその可逆性を示し、ゼータ関数間の逆関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 前三角的dgカテゴリに対して、カプラノフの多様体のモチーフ的ゼータ関数を一般化するようなゼータ関数をどのように定義できるか？
• RQ2 滑らかで射影的な多様体のモチーフ的ゼータ関数と、その導来カテゴリのカテゴリカルなゼータ関数との正確な関係は何か？
• RQ3 環準同型であるモチーフ的測度 $ \mu_{dg} $ は、対称べき作用の下でゼータ関数の構造を保存するか？
• RQ4 カテゴリカルなゼータ関数を用いて、ゲッツェやハイマンの組合せ的幾何における既知の結果を導来カテゴリの文脈で再解釈または回復できるか？
• RQ5 多項式クラス $ [X] \in K_0(\mathrm{Var}/k) $ を持たない多様体へは、恒等式 $ Z_{mot}(\mu_{dg}(X),t) = \prod_{k \geq 1} \mu_{dg}(Z_{mot}(X,t^k)) $ はどの程度まで拡張可能か？

主な発見

• カテゴリカルなゼータ関数 $ Z_{cat} $ は、半直交分解に関して乗法的であり、$ Z_{cat}(\langle \mathcal{A}, \mathcal{B} \rangle, t) = Z_{cat}(\mathcal{A}, t) \cdot Z_{cat}(\mathcal{B}, t) $ を満たす。
• 点 $ \mathrm{Spec}(k) $ に対して、カテゴリカルなゼータ関数は $ \prod_{k \geq 1} \frac{1}{1 - t^k} $ であり、これは整数分割の母関数に一致する。
• 滑らかで射影的で、$ [X] $ が $ [\mathbb{A}^1] $ の多項式である、または $ \dim X \leq 2 $ であるような多様体 $ X $ に対して、恒等式 $ Z_{mot}(\mu_{dg}(X), t) = \prod_{k \geq 1} \mu_{dg}(Z_{mot}(X, t^k)) $ が成り立つ。
• 表面の場合の公式は、マケイ対応（BKR99）、ゲッツェの点付きヒルベルトスケールの公式、ハイマンの曲線の対称べきに関する研究を用いて確立される。
• 変換 $ f(t) \mapsto \prod_{k \geq 1} f(t^k) $ はモビウス反転により可逆であり、逆は $ g(t) \mapsto \prod_{k \geq 1} g(t^k)^{\mu(k)} $ で与えられる。これにより、ゼータ関数をその反復から再構成可能である。
• この結果は、弱い意味での導来カテゴリの同型を示唆する：$ [I_{S_n}(C^n)] = \sum_\alpha [I(C^{(\alpha)})] $ が $ K_0(\mathrm{dg\text{-}cat}/k)[1/2] $ 内で成り立つ。ここで $ C $ は滑らかで射影的な曲線であり、$ \alpha $ は $ n $ の分割を走る。