[論文レビュー] An automaton-theoretic approach to the representation theory of quantum algebras

Jason P. Bell, Stéphane Launois+1 more|ArXiv.org|Jan 29, 2009

semigroups and automata theory参考文献 13被引用数 3

ひとこと要約

本稿では、量子行列におけるトーラス不変原始イデアルを研究するための自動機理論的枠組みを構築し、固定された m に対して、m×n 量子行列におけるこのようなイデアルの数が ℚ 上の線形漸化式に従うことを示している。m=3 の場合、カウオン図とパフィアンを用いて明示的な閉形式の公式を導出し、これらのイデアルの構造に関する予想を確認した。

ABSTRACT

We develop a new approach to the representation theory of quantum algebras supporting a torus action via methods from the theory of finite-state automata and algebraic combinatorics. We show that for a fixed number $m$, the torus-invariant primitive ideals in $m imes n$ quantum matrices can be seen as a regular language in a natural way. Using this description and a semigroup approach to the set of Cauchon diagrams, a combinatorial object that paramaterizes the primes that are torus-invariant, we show that for $m$ fixed, the number of torus-invariant primitive ideals in $m imes n$ quantum matrices satisfies a linear recurrence in $n$ over the rational numbers. In the $3 imes n$ case we give a concrete description of the torus-invariant primitive ideals and use this description to give an explicit formula for the number P(3,n).

研究の動機と目的

• 量子行列代数 O_q(M_{m,n}) におけるトーラス不変原始的イデアルの構造を理解すること。
• 自動機理論と量子代数の表現理論との間の関係を確立すること。
• 固定された m に対して、そのようなイデアルの数が ℚ 上の線形漸化式に従うことを証明すること。
• 3×n 量子行列における原始的 H-素イデアルの数に対する明示的公式を提供すること。

提案手法

• 有限状態オートマトンを用いて、カウオン図を正則言語としてモデル化すること。
• カウオン図の組合せ的性質を分析するため、カウオン図の集合に半群構造を導入すること。
• カウオン図に関連する歪対称行列を用いて、原始的であるかどうかを行列式条件によって決定すること。
• 歪対称行列の正則性が、行列式が 4 のべきであることに等しいことを示し、これにより mod 3 でのテストが可能になること。
• 生成関数と S_4 × {±1} のキャラクター理論を用いて、原始的図の生成関数を計算すること。
• 図から導かれる歪対称行列のパフィアンを用いて、原始的である条件を特徴付け、明示的公式を導出すること。

実験結果

リサーチクエスチョン

• RQ1 固定された m に対して、O_q(M_{m,n}) におけるトーラス不変原始的イデアルの数は、n に関して線形漸化式に従うか？
• RQ2 3×n の場合におけるそのようなイデアルの数に対して、明示的な閉形式の公式を導出できるか？
• RQ3 自然なオートマトンモデル下で、原始的イデアルに対応するカウオン図の集合は正則言語か？
• RQ4 カウオン図における歪対称行列のパフィアンの符号には、代数的にどのような意味があるか？
• RQ5 ある写像によるカウオン図の半群の像は、有限群か？

主な発見

• 任意の固定された m に対して、m×n 量子行列におけるトーラス不変原始的イデアルの数 P(m,n) は、ℚ 上の線形漸化式に従う。
• 3×n の場合、そのようなイデアルの数は次の明示的公式で与えられる：P(3,n) = (1/8)(15·4^n - 18·3^n + 13·2^n - 6·(-1)^n + 3·(-2)^n)。
• 3×n の場合における原始的カウオン図の生成関数は有理関数であり、キャラクター理論を用いて明示的に計算された。
• カウオン図に関連する歪対称行列のパフィアンは常に ±2^k の形をとり、この性質が原始的である条件の特徴付けに用いられている。
• カウオン図の集合は正則言語をなしており、これによりその列挙に対する自動機理論的解析が可能になっている。
• m=3 の場合、カウオン図の半群が ℤ₃[Ex₃]/J_m への写像による像は、位数 384 の群である。