[論文レビュー] Parabolic Hilbert schemes via the Dunkl-Opdam subalgebra

Eugene Gorsky|arXiv (Cornell University)|Jun 25, 2020

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

ひとこと要約

本稿は、Dunkl-Opdam部分代数を用いて、互いに素な $ m,n $ に対して平面曲線特異点 $ \{x^m = y^n\} $ に関連する放物型ヒルベルト scheme の $ \mathbb{C}^* $-等配ホモロジー上に有理的チャレルニク代数および量子化されたギーゼカー代数の作用を構成する。主な貢献は、$ t=0 $ におけるチャレルニク代数の表現論を用いた、非還元的曲線および特異平面曲線上でのこれらの対称性の組み合わせ的実現である。

ABSTRACT

In this note we explicitly construct an action of the rational Cherednik algebra $H_{1,m/n}(S_n,\\mathbb{C}^n)$ corresponding to the permutation representation of $S_n$ on the $\\mathbb{C}^{*}$-equivariant homology of parabolic Hilbert schemes of points on the plane curve singularity $\\{x^{m} = y^{n}\\}$ for coprime $m$ and $n$. We use this to construct actions of quantized Gieseker algebras on parabolic Hilbert schemes on the same plane curve singularity, and actions of the Cherednik algebra at $t = 0$ on the equivariant homology of parabolic Hilbert schemes on the non-reduced curve $\\{y^{n} = 0\\}.$ Our main tool is the study of the combinatorial representation theory of the rational Cherednik algebra via the subalgebra generated by Dunkl-Opdam elements.

研究の動機と目的

• 互いに素な $ m,n $ に対して、平面曲線特異点 $ \{x^m = y^n\} $ 上の放物型ヒルベルト scheme の $ \mathbb{C}^* $-等配ホモロジー上に有理的チャレルニク代数作用の幾何的実現を確立すること。
• 同じ特異曲線幾何における量子化されたギーゼカー代数へその作用を拡張すること。
• 非還元的曲線 $ \{y^n = 0\} $ 上の放物型ヒルベルト scheme の等配ホモロジー上に、チャレルニク代数の $ t=0 $ における作用を構成すること。
• Dunkl-Opdam部分代数を介した、有理的チャレルニク代数表現論の組み合わせ的枠組みを構築すること。
• 表現論的道具を用いて、ヒルベルト scheme の特異曲線における幾何的・代数的構造を統一すること。

提案手法

• 有理的チャレルニク代数 $ H_{1,m/n}(S_n,\mathbb{C}^n) $ のDunkl-Opdam部分代数を、中心的な代数的道具として用いる。
• Dunkl-Opdam要素の組み合わせ論を介して、放物型ヒルベルト scheme の $ \mathbb{C}^* $-等配ホモロジー上に有理的チャレルニク代数の明示的作用を構成する。
• 有理的チャレルニク代数の表現論を、特異曲線 $ \{x^m = y^n\} $ 上の幾何的対象—放物型ヒルベルト scheme—に適用する。
• 同じ代数的枠組みと幾何的設定を用いて、構成を量子化されたギーゼカー代数へ拡張する。
• チャレルニク代数における $ t=0 $ の場合を分析し、非還元的曲線 $ \{y^n = 0\} $ 上の放物型ヒルベルト scheme の等配ホモロジー上に作用を定義する。
• $ S_n $ が $ \mathbb{C}^n $ 上に持つ置換表現の構造を、代数的作用の構成を導くために用いる。

実験結果

リサーチクエスチョン

• RQ1 有理的チャレルニク代数 $ H_{1,m/n}(S_n,\mathbb{C}^n) $ は、$ \{x^m = y^n\} $ 上の放物型ヒルベルト scheme の $ \mathbb{C}^* $-等配ホモロジー上でどのように幾何的に実現可能か？
• RQ2 Dunkl-Opdam部分代数は、これらの作用を構成し、量子化されたギーゼカー代数への移行を可能にする上で果たす役割は何か？
• RQ3 チャレルニク代数の $ t=0 $ は、非還元的曲線 $ \{y^n = 0\} $ 上の放物型ヒルベルト scheme の等配ホモロジー上で実現可能か？
• RQ4 Dunkl-Opdam部分代数を介したチャレルニク代数の組み合わせ的表現論は、特異曲線特異点上の幾何的構成をどのように促進するか？
• RQ5 滑らかでない非還元的曲線設定に拡張する際、どのような代数的構造が生じるか？

主な発見

• 本稿は、互いに素な $ m,n $ に対して、平面曲線特異点 $ \{x^m = y^n\} $ の放物型ヒルベルト scheme の $ \mathbb{C}^* $-等配ホモロジー上に、有理的チャレルニク代数 $ H_{1,m/n}(S_n,\mathbb{C}^n) $ の作用を明示的に構成する。
• この構成により、同じ代数的枠組みを用いて、同じ幾何的対象上に量子化されたギーゼカー代数の作用が定義される。
• 著者らは、非還元的曲線 $ \{y^n = 0\} $ 上の放物型ヒルベルト scheme の等配ホモロジー上に、チャレルニク代数の $ t=0 $ における作用を実現し、特異的かつ非還元的設定への幾何的図像の拡張を達成する。
• Dunkl-Opdam部分代数は、本稿全体を通じて組み合わせ的および幾何的構成を可能にする主要な代数的構造である。
• Dunkl-Opdam要素に基づく表現論的枠組みは、特異曲線のヒルベルト scheme 上での対称性の実現を統合的に可能にする。
• 結果として、有理的チャレルニク代数の組み合わせ論と、特異的および非還元的曲線上のヒルベルト scheme の幾何学の間の橋渡しが確立される。