[論文レビュー] Special modules over positively based algebras

Tobias Kildetoft, Volodymyr Mazorchuk|arXiv (Cornell University)|Jan 26, 2016

Rings, Modules, and Algebras被引用数 18

ひとこと要約

この論文は、Perron-Frobenius定理を用いて、有限次元の正基底を持つ代数上の「特別な加群」を導入し、分類する。正基底における正の係数を持つ元の作用を分析することで、二面的細胞内の基底元や左細胞の選択に依存しない一意な単純な商加群（「特別な」加群）を定義する。主な結果は、特別な加群の同型類と代数のイデムポテン型二面的細胞との間の一対一対応である。

ABSTRACT

We use the Perron-Frobenius Theorem to define, study and, in some sense, classify special simple modules over arbitrary finite dimensional positively based algebras. For group algebras of finite Weyl groups with respect to the Kazhdan-Lusztig basis, this agrees with Lusztig's notion of a special module introduced in [Lu1].

研究の動機と目的

• Weyl群代数のLusztigの特別な加群の概念を、任意の有限次元正基底を持つ代数へ一般化すること。
• 正基底における正の係数を持つ元にPerron-Frobenius定理を適用することで、特別な加群を定義すること。
• 特別な加群の定義が、そのような元の選択や、二面的細胞内の左細胞の選択に依存しないことの確立。
• 特別な加群を、代数のイデムポテン型二面的細胞との一対一対応によって完全に分類すること。
• 二面的細胞内の左細胞同士の非比較可能性の概念的説明を提供し、[CM]における意味ですべての二面的細胞が「よい」ことの証明。

提案手法

• 正基底代数を、複素数の部分体上の有限次元代数とし、すべての構造定数が非負実数である基底を持つものとして定義する。
• Green や Kazhdan-Lusztig理論に類似した、基底元上の順序関係を用いて左細胞、右細胞、二面的細胞を導入する。
• 与えられた左細胞 ℒ に対して、正基底の部分集合と同一視できる基底を持つ左細胞加群 Cℒ を構成する。
• すべての基底元の正の線形結合であるような元 a ∈ A を選ぶ；Cℒ の基底におけるその行列はすべての成分が正である。
• a にPerron-Frobenius定理を適用し、Perron-Frobenius固有値に対応する一意な単純な1次元固有空間を特定する。
• この固有空間から生じるCℒの唯一の単純な商加群として特別な加群を定義し、それがa や二面的細胞内の左細胞の選択に依存しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 LusztigのKazhdan-Lusztig基底を備えたWeyl群代数における特別な加群の概念を、任意の有限次元正基底代数へ一般化できるか？
• RQ2 Perron-Frobenius定理を用いて定義された特別な加群は、代数内の正の元 a の選択に依存しないか？
• RQ3 特別な加群は、固定された二面的細胞内の左細胞 ℒ の選択に依存するか？
• RQ4 与えられた正基底代数上のすべての特別な加群の完全な分類は何か？
• RQ5 すべての二面的細胞は[CM]における意味で「よい」ものか？そしてこれは特別な加群の構成によって説明可能か？

主な発見

• Perron-Frobenius定理を用いて定義された特別な加群は、代数内の正の元 a の選択に依存しない。
• 特別な加群は、固定された二面的細胞内の左細胞 ℒ の選択に対しても依存しない。
• 特別な加群の同型類と代数のイデムポテン型二面的細胞との間には一対一対応が存在する。
• 有限Weyl群の群代数にKazhdan-Lusztig基底を備えた場合、特別な加群はLusztigの元々の定義と一致する。
• すべての二面的細胞は[CM]における意味で「よい」ものであることが、a² = a を満たす適切な正の線形結合 a の構成によって示された。
• 推移的 A-加群に関連する特別な加群は、基底ベクトルの選択に依存せず、頂点となる二面的細胞のみに依存する。