[論文レビュー] On equivariant versions of higher order orbifold Euler characteristics

S. M. Gusein‐Zade, I. Luengo+1 more|arXiv (Cornell University)|Apr 28, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用数 4

ひとこと要約

本稿は、有限群のバーンサイド環に値をとる等変性の高い順序のオルビフォールドオイラー特性を導入し、2つのアプローチを統合する：群作用不変量としてのバーンサイド環に基づくものと、固定点データに基づくオルビフォールド不変量のもの。これらの不変量およびそのモチビック一般化について、Lefschetz類の有理数乗を含む等変性の高いグロチェンディーク環上のべき構造を用いて、マクドナルド型の生成関数を確立する。これは、可換な群作用を持つ等変性設定に既知の結果を拡張するものである。

ABSTRACT

There are (at least) two different approaches to define equivariant analogue of the Euler charateristic for a space with a finite group action. The first one defines it as an element of the Burnside ring of the group. The second approach emerged from physics and includes the orbifold Euler characteristic and its higher order versions. Here we suggest a way to merge the two approaches together defining (in a certain setting) higher order Euler characteristics with values in the Burnside ring of a group. We give Macdonald type equations for these invariants. We also offer generalized ("motivic") versions of these invariants and formulate Macdonald type equations for them as well.

研究の動機と目的

• 等変性オイラー特性の2つの異なるアプローチを統合すること：1つは有限群のバーンサイド環に基づくもので、もう1つはオルビフォールド理論および高階不変量に基づくものである。
• 2つの可換な有限群作用の下で、バーンサイド環に値をとる高階オルビフォールドオイラー特性を定義すること。
• これらの新しい不変量に対してマクドナルド型の式を定式化し、既知のオルビフォールドおよび等変性オイラー特性の結果を一般化すること。
• Lefschetz類の有理数乗を含む等変性の高いグロチェンディーク環を用いて、一般化された（「モチビック」な）バージョンへの拡張を行うこと。
• べき構造に基づく生成関数を確立し、対称べき不変量を元の不変量で記述するが、2番目の群作用のもとで等変性を保つこと。

提案手法

• 1つの群（オルビフォールド的固定点）からの固定点データと、もう1つの群（バーンサイド環的等変性不変量）からの等変性不変量を組み合わせることで、バーンサイド環に値をとる高階オルビフォールドオイラー特性を定義する。
• 滑らかで準射的である複素数の代数的多様体 $X$ に、2つの可換な有限群 $G_O$ と $G_B$ が作用する。ここで $G_O$ はオルビフォールド的固定点をもたらし、$G_B$ はグローバルな対称性をもたらす。
• ホモモルフィズム $ ho: bZ^k o G_O$ の繰り返し固定点集合を用いて、$k$-次の不変量を再帰的に構成する。重みは有理数シフト $ ho_i$ と年齢不変量 $F^ ho_{ ext{shift}}$ で与えられる。
• 修正されたグロチェンディーク環 $K_0^{G_B}(\mathrm{Var}_{\mathbb{C}})[\mathbb{L}^s]_{s \in \mathbb{Q}}$ 上のべき構造を用いて、群のワーレン積 $(G_O)_n \times G_B$ に関する対称べき $X^n$ の生成関数を表現する。
• 生成関数を、$G_O$ の $k$-重の可換な元の共役類の和として表す指数関数の形に書き直すことで、マクドナルド型の公式を導出する。重みは $ ho_i$ と $X$ の次元 $d$ を含む有理関数である。
• Lefschetz類 $\mathbb{L}$ を有理数乗に拡張することで、オルビフォールド設定における年齢シフトを反映させたモチビック不変量への一般化を実現する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、有限群のバーンサイド環に値をとる高階オルビフォールドオイラー特性を定義し、オルビフォールド的および等変性的アプローチを統合できるか？
• RQ2 2つの可換な有限群作用を持つ多様体の対称べきの生成関数の構造は、バーンサイド環に値をとる不変量のもとでどのように構成されるか？
• RQ3 マクドナルド型の式は、等変性およびモチビック版の高階オルビフォールドオイラー特性へと拡張可能か？
• RQ4 年齢不変量と有理数重みは、可換な群作用の下で生成関数にどのように影響を与えるか？
• RQ5 等変性グロチェンディーク環上のべき構造は、これらの生成関数を定式化する際に果たす役割は何か？

主な発見

• 本稿は、$K_0^{G_B}(\mathrm{Var}_{\mathbb{C}})[\mathbb{L}^s]_{s \in \mathbb{Q}}$ に値をとる新しい不変量 $[X;G_O,G_B]^{k,G_B}_{\underline{\varphi}}$ を構成し、これは等変性オイラー特性および高階オルビフォールドオイラー特性の両方を一般化する。
• マクドナルド型の生成関数が確立された：$\sum_{n \geq 0} [X^n; (G_O)_n, G_B]^{k,G_B}_{\underline{\varphi}} t^n = \left( \prod_{r_1,\dots,r_k \geq 1} (1 - \mathbb{L}^{\Phi_k(\underline{r})d/2} t^{r_1\cdots r_k})^{r_2 r_3^2 \cdots r_k^{k-1}} \right)^{-[X;G_O,G_B]^{k,G_B}_{\underline{\varphi}}}$、ここで $\Phi_k(\underline{r}) = \sum_{i=1}^k \varphi_i r_1 \cdots r_{i-1} (r_i - 1)$ である。
• 生成関数は、有理数乗の $\mathbb{L}$ を含む等変性グロチェンディーク環上のべき構造を用いて表現され、古典的なマクドナルド恒等式を一般化する。
• この構成は $G_B$ の作用と整合的であり、すべての対称べき $X^n$ は自然に $G_B$-作用をもつため、不変量の等変性が保たれる。
• モチビック一般化では、$\mathbb{L}$ の有理数乗を組み込み、オルビフォールド設定における年齢シフト $F^\rho_{\alpha_\rho}$ を反映する。この公式は環 $K_0^{G_B}(\mathrm{Var}_{\mathbb{C}})[\mathbb{L}^s]_{s \in \mathbb{Q}}$ 内で成り立つ。
• 証明は、[17] および [19] の既知の結果を、追加のグローバルな $G_B$-作用を組み込むことで拡張し、べき構造形式的論法が等変性のもとでも有効であることを示している。