[論文レビュー] $\W_n^+$- and $W_n$-module structures on $U(h)$

Haijun Tan, Kaiming Zhao|arXiv (Cornell University)|Jan 6, 2014

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

ひとこと要約

この論文は、それぞれのウィット代数 $\mathcal{W}_n^+$ および $\mathcal{W}_n$ 上で、$U(\mathfrak{h}_n)$-加群としてのランク1の自由加群であるすべての $\Omega(\Lambda_n, a, S)$ および $\Omega(\Lambda_n, a)$ 加群を分類する。このような加群は、ちょうど $\Lambda_n \in (\mathbb{C}^*)^n$、$a \in \mathbb{C}$、および $\{1, \dots, n\}$ の部分集合 $S$（$\mathcal{W}_n^+$ の場合）または $\Lambda_n$ と $a$（$\mathcal{W}_n$ の場合）によってパラメータ化されるものであり、単純性の条件は $a \neq -1$ または $S \neq \varnothing$ で与えられる。分類は $\mathcal{W}_\infty^+$ および $\mathcal{W}_\infty$ を用いて無限ランクの場合へ拡張される。主な貢献は、この自由性の性質を持つ非重み加群の完全な分類である。

ABSTRACT

Let $\h_n$ be the Cartan subalgebra of the Witt algebras $\W_n^+= ext{Der}\C[t_1, t_2, ..., t_n]$ and $\W_n= ext{Der}\C[t_1^{\pm 1},t_2^{\pm 1},\cdots,t_n^{\pm1}]$ where $1\le n\le \infty$. In this paper, we classify the modules over $\W_n^+$ and over $\W_n$ which are free $U(\h_n)$-modules of rank $1$. These are the $\W_n^+$-modules $Ω(Λ_{n},a, S) $ for some $Λ_n=(λ_1,\cdots,λ_n) \in (\C^*)^n, a\in \C$, and $S\subset \{1,2,..., n\}$; and $\W_n$-modules $Ω(Λ_n,a)$ for some $Λ_n\in (\C^*)^n$ and some $a\in \C.$

研究の動機と目的

• ウィット代数 $\mathcal{W}_n^+$ および $\mathcal{W}_n$ 上で、$U(\mathfrak{h}_n)$-加群としてのランク1の自由加群であるすべての非重み加群を分類すること。
• このような加群が単純であるための正確な条件を特定すること。
• 無限ランクの場合、$\mathcal{W}_\infty^+$ および $\mathcal{W}_\infty$ を含めて分類を拡張すること。
• パラメータ $\Lambda_n$、$a$、$S$ を用いたこれらの加群の完全な構造的記述を提供し、単純性の基準を確立すること。

提案手法

• 分類は、ランク1の自由 $U(\mathfrak{h}_n)$-加群を生成する巡回ベクトルへの $\mathcal{W}_n^+$ および $\mathcal{W}_n$ の作用を分析することに基づく。
• $\Omega(\Lambda_n, a, S)$ および $\Omega(\Lambda_n, a)$ は、パラメータ $\Lambda_n$、$a$、$S$ によって定義された特定の作用を持つ $U(\mathfrak{h}_n)$-加群として構成される。
• 証明は、$\mathcal{W}_n^+$ および $\mathcal{W}_n$ が非負の次数と非正の次数を持つ2つの部分代数を同型に含むことを利用し、一貫したパラメータ化を可能にする。
• 生成子 $t^r \partial_i$ の作用は、ライブニッツの法則を用いて定義され、$\lambda_i$ および $a$ によってパラメータ化され、リー代数構造と整合性を持つ。
• 分類は、巡回ベクトルへの作用を分析し、得られる関係式を一致させることにより、任意のこのような加群が同じパラメータ族から生じることを示すことに依存する。
• 無限ランクの場合、$(\mathbb{C}^*)^\infty$ の列を用いて、同様の論理を $\mathcal{W}_\infty^+$ および $\mathcal{W}_\infty$ に拡張する。

実験結果

リサーチクエスチョン

• RQ1 ランク1の自由 $U(\mathfrak{h}_n)$-加群である $\mathcal{W}_n^+$-加群が単純であるための必要十分条件は何か？
• RQ2 $\Lambda_n$、$a$、$S$ のパラメータが $\mathcal{W}_n^+$ 上のこのような加群の構造にどのように寄与するか？
• RQ3 ランク1の自由 $U(\mathfrak{h}_n)$-加群である $\mathcal{W}_n$-加群の完全な分類は何か？
• RQ4 分類は無限ランクのウィット代数 $\mathcal{W}_\infty^+$ および $\mathcal{W}_\infty$ にどのように拡張されるか？
• RQ5 パラメータ $a = -1$ がこれらの加群の単純性を決定する上で果たす役割は何か？

主な発見

• ランク1の自由 $U(\mathfrak{h}_n)$-加群であるすべての $\mathcal{W}_n^+$-加群は、ある $\Lambda_n \in (\mathbb{C}^*)^n$、$a \in \mathbb{C}$、$S \subset \{1, \dots, n\}$ に対して $\Omega(\Lambda_n, a, S)$ に同型である。
• ランク1の自由 $U(\mathfrak{h}_n)$-加群であるすべての $\mathcal{W}_n$-加群は、ある $\Lambda_n \in (\mathbb{C}^*)^n$ および $a \in \mathbb{C}$ に対して $\Omega(\Lambda_n, a)$ に同型である。
• $\mathcal{W}_n^+$-加群 $\Omega(\Lambda_n, a, S)$ は、$S \neq \varnothing$ または $a \neq -1$ である場合に限り単純であり、$a = -1$ かつ $S = \varnothing$ のときは非単純である。
• $\mathcal{W}_n$-加群 $\Omega(\Lambda_n, a)$ は、$a \neq -1$ の場合に限り単純であり、$a = -1$ のときは非単純である。
• 分類は無限ランクの場合へ拡張される：$\mathcal{W}_\infty^+$-加群は $\Lambda_\infty \in (\mathbb{C}^*)^\infty$ に対して $\Omega(\Lambda_\infty, a, S)$ に同型であり、$\mathcal{W}_\infty$-加群は $\Omega(\Lambda_\infty, a)$ に同型であり、単純性の条件は同じである。
• 証明は、$\mathcal{W}_n^+$ および $\mathcal{W}_n$ の巡回ベクトルへの作用を分析し、得られる関係式が加群がパラメータ族のいずれかに同型であることを強制することに依存する。