[論文レビュー] Categorification of the polynomial ring

Mikhail Khovanov, Radmila Sazdanović|arXiv (Cornell University)|Dec 31, 2010

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

ひとこと要約

この論文は、『ラーカス』と『サーキュラス』を備えた平面的タングル図の族から構成される非単位的代数 A⁻ を用いて、多項式環 ℤ[x] の図式的カテゴリフィケーションを構築する。同論文では、xⁿ をカテゴリフィケーションする不定加群 Pₙ と (x−1)ⁿ をカテゴリフィケーションする標準的群 Mₘ の間で、Bernstein-Gelfand-Gelfand (BGG) 対応関係を確立し、Grothendieck 環において [Pₙ] = xⁿ および [P₍₋ⁿ₎] = (x−1)ⁿ が成り立つことを示す。

ABSTRACT

We develop a diagrammatic categorification of the polynomial ring $Z[x]$. Our categorification satisfies a version of Bernstein-Gelfand-Gelfand reciprocity property with the indecomposable projective modules corresponding to $x^n$ and standard modules to $(x-1)^n$ in the Grothendieck ring.

研究の動機と目的

• トポロジカル・ジオメトリックなデータを用いた図式的カテゴリフィケーションによって、多項式環 ℤ[x] を構築すること。
• A⁻-モジュールのモノイダル圏において、単項式 xⁿ を不分解的射影的モジュール Pₙ として実現すること。
• 標準的モジュール Mₘ を用いた (x−1)ⁿ のカテゴリフィケーションを実現し、Grothendieck 環において BGG 対応関係を確立すること。
• 今後、エルミートやチェビシェフの直交多項式へのこの枠組みの拡張を試みること。

提案手法

• ラーカス（長距離アーカイブ）とサーキュラス（短距離アーカイブ）を備えた平面的タングル図の同型類からなる基底を持つ k-代数 A⁻ を定義し、浮遊アーキブが現れる場合は合成が 0 になるように規則を課す。
• n ≥ 0 に対して、非単位的代数における単位の代わりに、最小直交イデアル 1ₙ を導入し、1ₙ は n 個のラーカスとゼロ個のサーキュラスからなる図に対応する。
• 射影的モジュール Pₙ = A⁻1ₙ を、B⁻ₙ に属するすべての図で張られる自由モジュールとして構成し、標準的モジュール Mₙ を Pₙ を右側のサーキュラスを含む図の生成する部分モジュールで割った商モジュールとして定義する。
• 図のスタッキングによって誘導される A⁻-pmod 上のモノイダル構造を用い、Pₙ ⊗ Pₘ = Pₙ₊ₘ を満たすことで、射影的モジュールのテンソル積を定義する。
• 符号列 ε に対する追加のイデアル e_ε を定義し、ε に n 個のマイナス記号が含まれる場合、e_ε ≃ e₋ₙ であることを、明示的な図式的インターツインァーを用いて証明する。
• Grothendieck 環 K₀(A⁺-pmod) が ℤ[x] を実現することを示し、[Pₙ] = xⁿ および [P₍₋ⁿ₎] = (x−1)ⁿ を得る。これは、Pₙ が m = 0 から n までの P₍₋ₘ₎ の直和に分解されることに起因する。

実験結果

リサーチクエスチョン

• RQ1 多項式環 ℤ[x] は、図式的でトポロジカル・ジオメトリックな構成によってどのようにカテゴリフィケーション可能か？
• RQ2 非単位的代数上の射影的モジュールという観点から、単項式 xⁿ のカテゴリカルな類似物は何か？
• RQ3 標準的モジュール Mₘ（(x−1)ⁿ を表す）と射影的モジュール Pₙ の間で、BGG 対応関係はどのように成立するか？
• RQ4 有限生成射影的 A⁻-モジュールのカテゴリの Grothendieck 環は、環 ℤ[x] を回復できるか？
• RQ5 イデアル 1ₙ と e_ε は、モジュールカテゴリの構造を整理し、カテゴリフィケーションを可能にする役割を果たすか？

主な発見

• 有限生成射影的 A⁻-モジュールのカテゴリの Grothendieck 環は ℤ[x] に同型であり、[Pₙ] = xⁿ が成り立つ。
• 右側のサーキュラスを含む図の生成する部分モジュールで割った商モジュールとして定義される標準的モジュール Mₘ は、Grothendieck 環において [Mₘ] = (x−1)ⁿ を満たす。
• BGG 対応関係が成立する：Pₙ における Mₘ の重複度 [Pₙ : Mₘ] は、dim(1ₙMₘ) に等しく、一般化された意味で [Mₘ : Lₙ] と解釈される。
• 射影的モジュール Pₙ は、m = 0 から n までの不分解的射影的モジュール P₍₋ₘ₎ の直和に分解され、重複度は (n choose m) である。したがって、[Pₙ] = ∑ₘ₌₀ⁿ (n choose m)(x−1)ᵐ が成り立つ。
• カテゴリ A⁻-pmod は半単純であり、単純対象は P₍₋ₙ₎ である。また、A⁺-pmod の Grothendieck 環は [Pₙ] = xⁿ および [P₍₋ₙ₎] = (x−1)ⁿ を用いて ℤ[x] を実現する。
• カテゴリフィケーションは A⁺-pmod に拡張され、射影的モジュール Pₙ が P₍₋ₘ₎ の和に分解されることにより、Grothendieck 環において恒等式 xⁿ = ∑ₘ₌₀ⁿ (n choose m)(x−1)ᵐ が確認される。