[論文レビュー] COHOMOLOGY REPRESENTATIONS OF EXTERNAL AND SYMMETRIC PRODUCTS OF VARIETIES

Laurenţiu Maxim, Joerg Schuermann|arXiv (Cornell University)|Jan 1, 2016

Advanced Algebra and Geometry被引用数 1

ひとこと要約

本稿は、複素準射影的多様体の外部積および対称積の、可解層または混合Hodgeモジュールを係数とする仮想コhomology表現の生成関数の精密化を確立する。問題を対称モノイダル圏における抽象的特徴関数恒等式に還元するための等変K"unneth公式を用いることで、従来の対称および交代冪に関する結果を一般化し、シュール関手や有限群作用や自己同型による等変設定へ自然に拡張する。

ABSTRACT

We prove refined generating series formulae for characters of (virtual) cohomology representations of external products of suitable coefficients on (possibly singular) complex quasi-projective varieties, e.g., (complexes of) constructible or coherent sheaves, or (complexes of) mixed Hodge modules. These formulae generalize our previous results for symmetric and alternating powers of such coefficients, and apply also to other Schur functors. The proofs of these results are reduced via an equivariant K\unneth formula to a more general generating series identity for abstract characters of tensor powers $\cV^{\otimes n}$ of an element $\cV$ in a suitable symmetric monoidal category. This abstract approach applies directly also in the equivariant context for varieties with additional symmetries (e.g., finite group actions, finite order automorphisms, resp., endomorphisms).

研究の動機と目的

• コホモロジー表現の対称および交代冪に関する先行研究を、より広い係数類および関手類に一般化すること。
• 複素準射影的多様体の外部および対称積の仮想コホモロジー表現を計算するための統一的枠組みを構築すること。
• 有限群作用、有限位数の自己同型、あるいは自己準同型を含む等変設定へこれらの結果を拡張すること。
• 対称モノイダル圏におけるテンソル冪の特徴関数の生成関数恒等式を基礎的道具として確立すること。
• シュール関手（対称冪や外冪を越えて）に適用可能な体系的かつ一貫した手法を提供すること。

提案手法

• 等変K"unneth公式を用いて、コホモロジー表現問題を対称モノイダル圏における特徴関数論に還元する。
• 適切な有限性および双対性条件を満たす対称モノイダル圏の要素 $\cV$ のテンソル冪 $\cV^{\otimes n}$ の抽象的特徴関数を扱う。
• これらの特徴関数の一般生成関数恒等式を導出し、核心的な代数的道具とする。
• この恒等式を、複素準射影的多様体上の可解層、俉層、混合Hodgeモジュールなどの幾何的係数に適用する。
• 有限群作用や有限位数の自己同型などの対称性を組み込むことで、等変文脈への拡張を図る。
• シュール関手を用いて、対称冪や交代冪を超える、より複雑な表現論的構造を捉える。

実験結果

リサーチクエスチョン

• RQ1 可解層や俉層などの一般係数に対して、多様体の対称積および外部積のコホモロジー表現の生成関数をどのように精密化できるか。
• RQ2 異なる種類の係数や関手に対して一様に扱える抽象的圏的枠組みは何か。
• RQ3 有限群作用や有限位数の自己同型などの追加の対称性を持つ多様体へ、結果はどのように拡張されるか。
• RQ4 シュール関手の生成関数は、対称モノイダル圏における一様な恒等式から導出可能か。
• RQ5 等変K"unneth公式は、幾何的コホモロジー問題を特徴関数論的恒等式に還元する役割を果たすか。

主な発見

• 双対性および有限性条件を満たす対称モノイダル圏において、テンソル冪 $\cV^{\otimes n}$ の特徴関数の普遍的生成関数恒等式が確立された。
• 外部および対称積のコホモロジー表現の生成関数は、この抽象的特徴関数恒等式で表される。
• 結果は、対称冪および交代冪の既存の公式を任意のシュール関手へ一般化する。
• この枠組みは、特異な複素準射影的多様体上の混合Hodgeモジュール、可解層、俉層に直接適用可能である。
• 有限群作用や有限位数の自己同型を含む等変設定へも自然に拡張可能である。
• 抽象的かつ体系的な手法により、多様な幾何的および表現論的文脈において仮想コホモロジー表現を一貫して計算可能となる。