[論文レビュー] Polynomial functors and categorifications of Fock space

Jiuzu Hong, Antoine Touzé+1 more|arXiv (Cornell University)|Nov 22, 2011

Algebraic structures and combinatorial models参考文献 14被引用数 4

ひとこと要約

この論文は、無限体の特徴類 $p$ における厳密な多項式函手の圏 $π$ に $χ$-作用を構成し、Kac-Moody代数 $χ$（$p=0$ のとき $χ⁡_{ ext{∞}}$ に同型であり、$p>0$ のとき $ ext{ŝl}_p$ に同型）の Fock空間表現をカテゴリファイケーションする。カテゴリファイケーションはChuang-Rouquier函手を用いて実現され、同じ $p$-重みをもつブロック間の導来同値を確立し、単純対象上の余核函手を用いたKashiwara作用素によりMisra-Miwaクリスタルを回復する。

ABSTRACT

Fix an infinite field $k$ of characteristic $p$, and let $\g$ be the Kac-Moody algebra $\mathfrak{sl}_{\infty}$ if $p=0$ and $\hat{\mathfrak{sl}}_p$ otherwise. Let $\PP$ denote the category of strict polynomial functors defined over $k$. We describe a $\g$-action on $\PP$ (in the sense of Chuang and Rouquier) categorifying the Fock space representation of $\g$.

研究の動機と目的

• Fock空間表現の $χ$-カテゴリファイケーションを、厳密な多項式函手の圏 $π$ を用いて確立すること。
• 一般線形群表現の逆極限に依存する従来の構成と比較して、より標準的かつ内的な設定を提供すること。
• 同じ $p$-重みをもつ $π$ のブロックが、$χ$-カテゴリファイケーションの仕組みを通じて導来同値であることを示すこと。
• 単純対象の集合上でのKashiwara作用素を余核函手によって定義し、$π$ におけるMisra-Miwaクリスタル構造を回復すること。

提案手法

• ChuangとRouquierの定義に従い、$χ$ のChevalley生成子に対応する $π$ 上の完全函手 $E_i, F_i$ を定義し、Grothendieck群上での $χ$-作用を誘導する。
• $χ$-作用を、多項式函手上の自然変換およびテンソル積構造を用いて、$E_i, F_i$ がSerre関係を満たすように構成する。
• 特に $|i-j|=1$ のときの $[E_i, E_j]$ に関するSerre関係を、函手レベルでの交換関係を直接検証することで、$χ$-作用の定義関係を検証する。
• 余核函手を用いて、$π$ の単純対象の集合上にKashiwara作用素 $\tilde{e}_i, \tilde{f}_i$ を定義し、クリスタル構造を回復する。
• $χ$-カテゴリファイケーションを活用し、$χ⁡_2$-カテゴリファイケーションのChuang-Rouquier技法を用いて、同じ $p$-重みをもつ $π$ のブロック間の導来同値を導出する。
• 理論を適用して、$π$ の圏が以前の構成に依存せず、$[HY]$ における以前の結果を単純化・明確化する $χ$-カテゴリファイケーションを有することが示される。

実験結果

リサーチクエスチョン

• RQ1 Kac-Moody代数 $χ$ のFock空間表現は、厳密な多項式函手の圏 $π$ を用いてカテゴリファイケーション可能か？
• RQ2 $π$ における $χ$-カテゴリファイケーションは、同じ $p$-重みをもつブロック間の導来同値をもたらすか？
• RQ3 Fock空間上のMisra-Miwaクリスタル構造は、$π$ における $χ$-カテゴリファイケーションから再構成可能か？
• RQ4 $π$ における $χ$-カテゴリファイケーションは、一般線形群表現の逆極限に基づく従来の構成とどのように比較されるか？
• RQ5 余核函手は、$π$ の単純対象の集合上でのKashiwara作用素の実現において、どのように機能するか？

主な発見

• 厳密な多項式函手の圏 $π$ は、ChuangとRouquierの意味で $χ$-作用をもつ。これは、$χ$ のFock空間表現をカテゴリファイケーションする。
• 同じ $p$-重みをもつ $π$ のブロックは、$χ$-カテゴリファイケーションおよびChuang-Rouquier技法のおかげで導来同値である。
• Fock空間上のMisra-Miwaクリスタル構造は、単純対象上でのChevalley函手と余核函手の合成として定義されるKashiwara作用素を通じて、$χ$-カテゴリファイケーションから回復される。
• $π$ における $χ$-カテゴリファイケーションは、一般線形群表現の逆極限に基づく従来の構成よりも、より標準的かつ内的な枠組みを提供する。
• $χ$ が $π$ に作用することは、Serre関係を満たす函手 $E_i, F_i$ を明示的に構成することで実現され、ベクトル空間のテンソル積上で直接計算により検証される。
• この構成は $p \neq 2$ に対して有効である。$p=2$ の場合を除いているのは、説明の簡潔さのためであるが、結果は $p=2$ に対しても拡張可能である。