[論文レビュー] The Euler characteristics of categories and the barycentric subdivision

Kazunori Noguchi|arXiv (Cornell University)|Apr 19, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 10

ひとこと要約

本稿では、有限非巡回圏における$L^2$-オイラー特徴量がバリセントリック分割に関して不変であることを確立し、より広いクラスの有限圏へこの不変性を一般化する拡張$L^2$-オイラー特徴量を導入する。この拡張は、$L^2$-ベッチ数から得られる母関数の解析接続を用い、主な結果として、有限圏のバリセントリック分割の反対圏の拡張$L^2$-オイラー特徴量が、元の圏の系列オイラー特徴量に等しいことを示している。

ABSTRACT

We prove the $L^2$-Euler characteristic has the invariance under the barycentric subdivision only for finite acyclic categories. And we extend the definition of $L^2$-Euler characteristic and prove the extended $L^2$-Euler characteristic has the invariance under the barycentric subdivision for more wide class of finite categories.

研究の動機と目的

• 小さな圏におけるバリセントリック分割に関するオイラー特徴量の不変性を調査すること。
• 標準$L^2$-オイラー特徴量が非巡回圏ではバリセントリック分割に関して不変でないという制限を扱うこと。
• 生成関数の解析接続を用いて、$L^2$-オイラー特徴量をより広いクラスの有限圏へ拡張すること。
• 有限圏の系列オイラー特徴量とそのバリセントリック分割の拡張$L^2$-オイラー特徴量との間の対応を確立すること。

提案手法

• 生成関数$f^{(2)}_{\text{op}}(z) = \sum_{n=0}^\infty h_n^{(2)}(\mathcal{J}) z^n$のべき級数の解析接続により、拡張$L^2$-オイラー特徴量を定義する。ここで$h_n^{(2)}(\mathcal{J})$は$L^2$-ベッチ数である。
• 有限圏のバリセントリック分割の反対圏に対して、$f^{(2)}_{\text{op}}(z)$の収束半径が正であることを示す。
• 行列$E - (Z_{\mathcal{I}} - E)z$の余因子と行列式を用いて、$f^{(2)}_{\text{op}}(z)$が有理関数表現を持つことを証明し、有限個の極を持つことを保証する。
• 拡張$L^2$-オイラー特徴量を、$f^{(2)}_{\text{op}}(z)$を$z = -1$の近傍へメロモルフィックに接続した関数$g$に対して$\chi^{(2)}_{\text{ex}}(\mathcal{J}) = g(-1)$と定義する。
• $\chi^{(2)}_{\text{ex}}(\text{Sd}(\mathcal{I})^{\text{op}})$が存在するための必要十分条件が、元の圏の系列オイラー特徴量$\chi_{\Sigma}(\mathcal{I})$が存在することであることを確立する。
• 生成関数$f^{(2)}_{\text{op}}(z)$の有理関数表現を用いて、$\chi^{(2)}_{\text{ex}}(\text{Sd}(\mathcal{I})^{\text{op}})$が$\chi_{\Sigma}(\mathcal{I})$に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての有限圏において$L^2$-オイラー特徴量はバリセントリック分割に関して不変であるか、それとも非巡回圏に限るのか？
• RQ2 標準定義が失敗する状況、特にバリセントリック分割の文脈において、$L^2$-オイラー特徴量を拡張することは可能か？
• RQ3 有限圏のバリセントリック分割の拡張$L^2$-オイラー特徴量が存在するための条件は何か？
• RQ4 拡張$L^2$-オイラー特徴量は、元の圏の系列オイラー特徴量とどのように関係しているか？
• RQ5 $L^2$-ベッチ数の母関数の解析接続は、分割に関して一意的かつ不変なオイラー特徴量をもたらすか？

主な発見

• 有限かつ非巡回である場合に限り、$L^2$-オイラー特徴量はバリセントリック分割に関して不変である。
• 有限圏の反対圏のバリセントリック分割の拡張$L^2$-オイラー特徴量が定義可能であるための必要十分条件は、元の圏の系列オイラー特徴量が存在することである。
• 両者が定義されるとき、$\text{Sd}(\mathcal{I})^{\text{op}}$の拡張$L^2$-オイラー特徴量は、系列オイラー特徴量$\chi_{\Sigma}(\mathcal{I})$に等しい。
• 生成関数$f^{(2)}_{\text{op}}(z)$は、行列$E - (Z_{\mathcal{I}} - E)z$の余因子と行列式を用いた有理関数表現を持ち、これによりメロモルフィック接続が保証される。
• 拡張$L^2$-オイラー特徴量は圏同値に関して不変ではない。系列オイラー特徴量が同値に関して不変でないのと同様であるが、直接的有限圏では$L^2$-オイラー特徴量自体は不変である。