[論文レビュー] Geometric Complexity Theory VIII: On canonical bases for the nonstandard quantum groups

Ketan Mulmuley|ArXiv.org|Sep 5, 2007

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

ひとこと要約

本稿は、標準的量子群およびヘッケ代数のカジワラ＝ルスティグ基底の一般化である、非標準的量子群における正規基底を構成する推測的に正しいアルゴリズムを提案する。主な貢献は、幾何学的複雑性理論における双対性および再帰的予想に基づいて導かれる、プレティズム定数の推測的な正の#P式である。実験的根拠はあるが、非標準的量子群の小行列式の複雑さのため、形式的証明はまだ存在しない。

ABSTRACT

This article gives conjecturally correct algorithms to construct canonical bases of the irreducible polynomial representations and the matrix coordinate rings of the nonstandard quantum groups in GCT4 and GCT7, and canonical bases of the dually paired nonstandard deformations of the symmetric group algebra therein. These are generalizations of the canonical bases of the irreducible polynomial representations and the matrix coordinate ring of the standard quantum group, as constructed by Kashiwara and Lusztig, and the Kazhdan-Lusztig basis of the Hecke algebra. A positive ($#P$-) formula for the well-known plethysm constants follows from their conjectural properties and the duality and reciprocity conjectures in \cite{GCT7}.

研究の動機と目的

• 標準的量子群およびヘッケ代数の基底を一般化して、非標準的量子群における正規基底を構成するためのアルゴリズムを開発すること。
• リトルウッド＝リチャードソン則に類似した、プレティズム定数の推測的な正の#P式を提供すること。
• 幾何学的複雑性理論（GCT）の枠組みを非標準的量子群およびその双対へと拡張すること。
• これらの基底の複雑性理論的性質を確立し、多重性構造の効率的計算を示唆すること。
• 群準同型の量子群化による、プレティズム多重性を計算する根本的な表現論的問題に取り組むこと。

提案手法

• 非標準的量子群 $G_q^H$ の行列座標環における正規基底を構成する推測的アルゴリズムを提案し、カジワラ＝ルスティグ基底を一般化する。
• 標準的量子群構成の拡張として、表現写像 $ ho: H o G = GL(X)$ の量子化 $ ho_q: H_q o G_q^H$ を用いる。
• クリスタル基底理論およびテンソル積における単項式基底を用いて、最高重量ベクトルを特定し、正規要素を構成する。
• 非標準的量子化 $ ilde{f B}_r^H(q)$ を対称群代数の双対として導入し、推測的な正規基底を提示する。
• GCT7 からの双対性および再帰的予想に依拠して、$G_q^H$ と $ ilde{f B}_r^H(q)$ の構造を結びつけ、多重性公式を導出する。
• MATLAB を用いた実験的計算により、特に $H=GL(V)$ および $X=V^{igotimes 3}$ の場合に、アルゴリズムおよび構造的性質を検証する。

実験結果

リサーチクエスチョン

• RQ1 非標準的量子群 $G_q^H$ に対して、カジワラ＝ルスティグアルゴリズムの一般化によって正規基底を構成できるか？
• RQ2 $G_q^H$ と $ ilde{f B}_r^H(q)$ の間の推測的双対性は、プレティズム定数の正の#P式を示唆するか？
• RQ3 非標準的量子群の小行列式の構造定数は、非負整数または多項式係数を持つ正規基底係数で表現可能か？
• RQ4 正規基底ラベルの複雑性理論的性質は、$G_q^H$ 表現における多重性多重性の効率的計算を示唆するか？
• RQ5 perverse sheaves および有限体上のリーマン予想は、非標準的量子群の小行列式展開を理解する上で果たす役割は何か？

主な発見

• 本稿は、非標準的量子群 $G_q^H$ の行列座標環における正規基底を構成する推測的に正しいアルゴリズムを提示し、カジワラ＝ルスティグ理論を拡張する。
• $G_q^H$ の正規基底要素は、$ ilde{f B}_r^H(q)$ との双対性および再帰的性質に基づき、プレティズム定数の正の#P式を有すると推測される。
• Kroneckerの場合（$H=GL(V) imes GL(W)$, $X=Vigotimes W$）における実験的結果が、提案されたアルゴリズムの正しさを支持する。
• 非標準的設定では、正規基底が単項式の台の大きさが1より大きい要素を含むことが示され、これは標準的状況には存在しない現象である。
• 特定のケースにおいて、$L(bC_q^{3,H}(X))$ の格子内での正規基底要素の係数が明示的に計算され、$q$ の高次多項式（有理数係数）を含む。
• 非標準的量子群の小行列式の複雑さ—そのラプラス展開が極めて非初等的であること—は、形式的証明の主要な障壁をなしており、 perverse sheaf 理論の非標準的拡張が要求される。