[論文レビュー] Quantum Affine Wreath Algebras

Daniele Rosso, Alistair Savage|arXiv (Cornell University)|Feb 1, 2019

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

ひとこと要約

本稿では、量子アフィンヘッケ代数とアフィンワープ代数の両方を一般化する統一的枠組みとして、量子アフィンワープ代数を導入する。対称代数 A とヘッケパラメータ z の両方を変形することで、Iwahori–Hecke代数、Yokonuma–Hecke代数、および非代数的アフィンワープ代数を同時に一般化する代数族 H̃n^aff(A,z) を構成する。主な貢献は、明示的な基底、中心の記述、Jucys–Murphy要素、およびマッケイ定理を含む完全な構造理論であり、最終的に巡回的商が対称代数であり、フロベニウス拡大であることを証明する。

ABSTRACT

To each symmetric algebra we associate a family of algebras that we call quantum affine wreath algebras. These can be viewed both as symmetric algebra deformations of affine Hecke algebras of type $A$ and as quantum deformations of affine wreath algebras. We study the structure theory of these new algebras and their natural cyclotomic quotients.

研究の動機と目的

• アフィンヘッケ代数とアフィンワープ代数の量子類似を統一・一般化すること。
• 対称代数 A とヘッケパラメータ z の両方を変形する新しい代数類型、量子アフィンワープ代数を定義すること。
• これらの代数の完全な構造理論（基底、中心、Jucys–Murphy要素を含む）を確立すること。
• 巡回的商を定義し、それが対称代数であり、フロベニウス拡大であることを証明すること。
• これらの代数の加群カテゴリ上に作用する量子フロベニウスヘイゼンベルクカテゴリの基礎を提供すること。

提案手法

• 生成元 Ti が z に依存するパラメータをもつブレード関係および二次関係を満たすように、A⊗n ⋊ Sn の変形として量子ワープ代数 Hn(A,z) を定義する。
• アフィン設定における計算を容易にするために、デムズキー作用素を導入する。
• 定理 3.10 で、量子アフィンワープ代数 Haff_n(A,z) の明示的基底を証明する。
• 定理 3.16 で、トレースおよびスパーシュトラス条件を用いて、Haaff_n(A,z) の中心を特徴付ける。
• A の中心における多項式関係を課すことにより、巡回的商 Hf_n(A,z) を定義する。
• 定理 4.14 で、誘導と制限の関手を含む自然同型が成り立つマッケイ定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 アフィンヘッケ代数とアフィンワープ代数の両方の統一的量子変形を構成できるか？
• RQ2 量子アフィンワープ代数の構造は、対称超代数 A とパラメータ z の選択にどのように依存するか？
• RQ3 量子アフィンワープ代数の明示的基底と中心は何か？
• RQ4 量子アフィンワープ代数の巡回的商は対称代数であり、フロベニウス拡大であるか？
• RQ5 誘導と制限関手は巡回的商上でどのように振る舞い、そのカテゴリカル構造は何か？

主な発見

• 定理 3.10 で示されたように、量子アフィンワープ代数 Haaff_n(A,z) は明示的基底を有する。これは、ヘッケ代数およびワープ代数の既知の基底を一般化する。
• 定理 3.16 で示されたように、Haaff_n(A,z) の中心は、ある作用に関して不変な元の集合として記述され、アフィンヘッケ代数の中心を一般化する。
• 定理 4.16 で示されたように、巡回的商 Hf_n(A,z) は (4.9) で定義されたトレース写像 trn_f に関して対称代数である。
• 提案 4.18 で示されたように、巡回的商 Hf_n+1(A,z) は Hf_n(A,z) のフロベニウス拡大であり、トレース写像は trf_n+1 である。
• 定理 4.14 で述べられたように、巡回的マッケイ定理が成り立つ：関手 fRes_n+1^n ∘ fInd_n+1^n ≅ id⊕d dim(A0) ⊕ Π⊕d dim(A1) ⊕ fInd_n^n-1 ∘ fRes_n^n-1 が自然同型として成り立つ。
• 量子フロベニウスヘイゼンベルクカテゴリは、量子巡回的ワープ代数の加群カテゴリ上に作用し、量子ヘイゼンベルクカテゴリが巡回的ヘッケ代数の加群に作用するのを一般化する。