[論文レビュー] Geometry of non-commutative orbits related to Hecke symmetries

Dimitri Gurevich, Pavel Saponov|ArXiv.org|Nov 25, 2004

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

ひとこと要約

本稿は、ヘケ対称性に関連する修正反射方程式代数（mREA）に基づく非可換幾何学フレームワークを導入し、非可換軌道と呼ばれる商における射影的加群を構成する。量子 Grothendieck 群 $ K^0(\mathrm{Fl}(\mathbb{C}^n)) $ の類似物を確立し、$ q $-アナログのオイラー乗数を定義するとともに、mREA の中心的要素が量子ニュートン恒等式を満たすことを証明し、非可換な設定において古典的な対称関数の関係を一般化する。

ABSTRACT

To some braiding R of Hecke type (a Hecke symmetry) we put into correspondence an associative algebra called the modified Reflection Equation Algebra (mREA). We construct a series of matrices L_(m), m=1,2,... with entries belonging to mREA such that each of them satisfies a version of the Cayley-Hamilton identity with central coefficients. We also consider some quotients of the mREA which are called the non-commutative orbits. For each of these orbits we construct a large family of projective modules. In this family we introduce an algebraic structure which is close to that of $K^0(\Fl(\C^n))$. The algebraic structure respects an equivalence relation motivated by a "quantum" trace compatible with the initial Hecke symmetry R. For a subclass of non-commutative orbits we compute the spectrum of central elements of the mREA Tr_R(L_(m)^k), k\in {\Bbb N}.

研究の動機と目的

• 修正反射方程式代数（mREA）とヘケ対称性に関連する非可換軌道上の射影的加群の族を構成すること。
• 非可換軌道に対して、$ K^0(\mathrm{Fl}(\mathbb{C}^n)) $ に類似した代数的構造 $ Q(\mathcal{A}) $ を定義すること。
• 量子トレース（ヘケ対称性から導かれる）と整合性を持つ $ Q(\mathcal{A}) $ 上の $ q $-アナログのオイラー乗数を定義すること。
• mREA の中心的要素 $ \mathrm{Tr}_R L_{(m)}^k $ に対して、非可換な設定における古典的ニュートン恒等式の量子アナログを確立すること。

提案手法

• 中心的係数を伴うカーレイ＝ハミルトン恒等式を満たす mREA の元をもつ行列 $ L_{(m)} $ を構成する。
• ヘケ対称性の下で代数的構造を保つように、mREA の商として非可換軌道を定義する。
• ヘケ対称性 $ R $ と整合するカテゴリカルトレース $ \mathrm{Tr}_R $ を導入するが、これは類似変換に関して不変ではない。
• 多重指数 $ \mathbf{k} $ で添字付けられる射影的加群 $ M_{\mathbf{k}} $ の族を構築し、その同値類上で $ M_{\mathbf{k}} \cdot M_{\mathbf{k}'} = M_{\mathbf{k}+\mathbf{k}'} $ という積構造を定義する。
• 射影的加群の類によって生成される $ \mathbb{Z}_q $-代数の商として $ Q(\mathcal{A}) $ を定義し、表現の $ q $-次元に関係する関係を因数分解する。
• $ Q(\mathcal{A}) $ に $ \mathbb{Z}_q $-代数構造を導入し、$ [M_{\mathbf{k}}] \cdot [V] = \dim_q V \cdot [M_{\mathbf{k}}] $ を満たし、線形な $ q $-オイラー乗数 $ \chi_q $ を定義する。

実験結果

リサーチクエスチョン

• RQ1 非可換軌道（mREA から導かれる）上での射影的加群を体系的にどのように構成できるか？
• RQ2 非可換軌道上の射影的加群のグローテンディーク類似群にどのような代数的構造が現れ、フラッグ多様体 $ K $-理論とどのように関係するか？
• RQ3 mREA の中心的要素 $ \mathrm{Tr}_R L_{(m)}^k $ は、非可換な設定においてどのように量子ニュートン恒等式を満たすか？
• RQ4 代数 $ Q(\mathcal{A}) $ 上に $ q $-アナログのオイラー乗数を定義できるか、そして量子トレースと整合性を持つか？
• RQ5 与えられたランク $ p $ のヘケ対称性に対して、$ Q(\mathcal{A}) $ の明示的な生成元と関係式による提示は何か？

主な発見

• 代数 $ Q(\mathcal{L}_{\hbar,q}^{\chi}) $ は単位元 $[1]$ と $ p $ 個の生成元 $ x_i = [M_i] $ によって生成され、関係式 $ \sum_{1 \leq i_1 < \cdots < i_k \leq p} x_{i_1} \cdots x_{i_k} = \frac{p_q!}{k_q!(p-k)_q!} [1] $ を満たす。これは量子対称関数恒等式を一般化する。
• $ p=3 $ の場合、生成元 $ x,y,z $ は $ x+y+z = 3_q $、$ xy+xz+yz = 3_q $、$ xyz = 1 $ を満たし、具体的な量子ニュートン系を示している。
• $ q $-オイラー乗数 $ \chi_q $ は $ Q(\mathcal{A}) $ 上に線形に拡張され、$ \chi_q([1]) = 1 $ を満たし、$ \mathbb{Z}_q $ へのwell-definedな写像を提供する。
• 射影的加群の積構造 $ M_{\mathbf{k}} \cdot M_{\mathbf{k}'} = M_{\mathbf{k}+\mathbf{k}'} $ は、その同値類に群構造を誘導し、フラッグ多様体のピカール群に類似している。
• この構成は、類似変換に関して不変でない量子トレース $ \mathrm{Tr}_R $ を尊重しており、古典的トレースとは区別される。
• $ Q(\mathcal{A}) $ は、$ [V] - \dim_q V \cdot [1] $ の形の類を因数分解することで、仮想表現の $ \mathbb{Z}_q $-代数の商と同型である。