[論文レビュー] Kashiwara and Zelevinsky involutions in affine type A

Nicolas Jacon, Cédric Lecouvey|ArXiv.org|Jan 5, 2009

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

ひとこと要約

この論文は、非周期的マルチセグメントの組合せ論を用いて、アフィン型AにおけるクリスタルBₑ(∞)上で、カシワラ対合∗とゼレヴィンスキー対合τが一致することを確立する。両対合を計算する明示的でクリスタルに依存しないアルゴリズムを提供し、アフィンおよび巡回的ヘッケ代数の単純加群のギンツブルクとアリキのパラメトライゼーションを明示的に一致させる。

ABSTRACT

We first describe how the Kashiwara involution on crystals of affine type $A$ is encoded by the combinatorics of aperiodic multisegments. This yields a simple relation between this involution and the Zelevinsky involution on the set of simple modules for the affine Hecke algebras. We then give efficient procedures for computing these involutions. Remarkably, these procedures do not use the underlying crystal structure. They also permit to match explicitly the Ginzburg and Ariki parametrizations of the simple modules associated to affine and cyclotomic Hecke algebras, respectively .

研究の動機と目的

• アフィン型AにおけるクリスタルBₑ(∞)上で、カシワラ対合∗とゼレヴィンスキー対合τの等価性を確立すること。
• クリスタルパス分解やi-誘導／制限操作に依存せずに、∗とτを効率的かつ基本的な手順で計算する方法を提供すること。
• 非周期的マルチセグメントを用いたギンツブルクによる単純加群のパラメトライゼーションと、クラスケフマルチパーティションを用いたアリキによるパラメトライゼーションを明示的に一致させること。
• モエリンとヴァルトシュブルガーのτ対合のアルゴリズムを有限eに一般化し、バジラーニの研究を拡張すること。
• 対合∗ = τを用いて、アフィンA型クリスタルのテンソル積のクリスタル共通化子を計算すること。

提案手法

• クリスタルBₑ(∞)の実現として、非周期的マルチセグメントの組合せ論を用い、クリスタルグラフ構造への依存を回避する。
• 合成代数と自己同型基底から生じるマルチセグメント上の2つのクリスタル構造が、カシワラ対合∗による共役まで一致することを確立する。
• 恒等式∗ = τ = ρ ∘ ♯を適用する。ここでρはfᵢとf₋ᵢを入れ替える写像であり、♯はクリスタルグラフ上の符号反転対称性である。
• 第6節のアルゴリズムを用いてマルチセグメント上での♯対合（符号反転）を計算し、これにρを合成することで∗を導出する。
• ∗ = τの関係を用いて、Kamnitzer-Tingleyのクリスタル共通化子を、最高重み頂点上でσᵥ,ᵥ′(∅⊗λ) = ∅⊗λ∗と定義される写像により計算する。
• 直接的にマルチセグメントおよびマルチパーティションのデータを操作することで、i-誘導やi-制限の計算を回避する。

実験結果

リサーチクエスチョン

• RQ1 アフィン型AにおけるクリスタルBₑ(∞)上で、カシワラ対合とゼレヴィンスキー対合は一致するか？
• RQ2 クリスタルグラフ上のパス分解に依存せずに、カシワラ対合∗を効率的に計算できるか？
• RQ3 非周期的マルチセグメントを用いたギンツブルクによる単純加群のパラメトライゼーションと、クラスケフマルチパーティションを用いたアリキによるパラメトライゼーションを、どのように明示的に一致させられるか？
• RQ4 有限ランクeにおけるゼレヴィンスキー対合τを、e = ∞の場合に一般化した直接的で組合せ論的なアルゴリズムは存在するか？
• RQ5 アフィンA型クリスタルのテンソル積のクリスタル共通化子は、対合∗ = τを用いて計算可能か？

主な発見

• 非周期的マルチセグメントの組合せ論を用いて、アフィン型AにおけるクリスタルBₑ(∞)上で、カシワラ対合∗とゼレヴィンスキー対合τが同一であることが示された。
• 対合∗は、クリスタルグラフ上の符号反転対称性♯と、fᵢとf₋ᵢを入れ替える写像ρの合成∗ = ρ ∘ ♯として計算可能である。
• クリスタルグラフ上のパスの特定やi-誘導／i-制限の計算を必要としない、∗とτを計算する明示的アルゴリズムが提供された。
• ギンツブルクとアリキによるアフィンおよび巡回的ヘッケ代数の単純加群のパラメトライゼーションが、対合∗を介して明示的に一致した。
• モエリン＝ヴァルトシュブルガーのτ対合のアルゴリズムが有限eに一般化され、特定のアリキ＝クイケ加群がどのギンツブルク加群に対応するかを特定する問題が解決された。
• Bₑ(𝐯) ⊗ Bₑ(𝐯′)のKamnitzer-Tingleyクリスタル共通化子は、写像σᵥ,ᵥ′(∅⊗λ) = ∅⊗λ∗により計算され、ここでλ∗ = ρ(fᵥ′(λ))である。