[論文レビュー] Representations of Rota-Baxter algebras and regular singular decompositions

Zongzhu Lin, Li Qiao|arXiv (Cornell University)|Mar 18, 2016

Advanced Topics in Algebra参考文献 19被引用数 7

ひとこと要約

本稿は、$A = \mathbf{k}((t))$ とし、$\mathbf{k}[[t]]$ への射影作用素 $P$ を持つロータ・バーレル代数について、その有限次元表現のカテゴリが、ちょうど3つの1次元非可約表現を持つ半単純であることを示している。主な結果は、$n$次元の $A$-ベクトル空間における正則特異分解の集合における $GL_n(A)$-軌道の数が $\frac{(n+2)(n+1)}{2}$ であることであり、この構造を用いて $\mathbf{k}[[t]]$-部分加群の一般化クラス数を計算している。結果は、表現論におけるアフィングラスマンニアンと二重コセット空間と関連している。

ABSTRACT

There is a Rota-Baxter algebra structure on the field $A=\mathbf{k}((t))$ with $ P$ being the projection map $A=\mathbf{k}[[t]]\oplus t^{-1}\mathbf{k}[t^{-1}]$ onto $ \mathbf{k}[[ t]]$. We study the representation theory and regular-singular decompositions of any finite dimensional $A$-vector space. The main result shows that the category of finite dimensional representations is semisimple and consists of exactly three isomorphism classes of irreducible representations which are all one-dimensional. As a consequence, the number of $GL_A(V)$-orbits in the set of all regular-singular decompositions of an $n$-dimensional $ A$-vector space $V$ is $(n+2)(n+1)/2$. We also use the result to compute the generalized class number, i.e., the number of the $GL_n(A)$-isomorphism classes of finitely generated $\mathbf{k}[[t]]$-submodules of $A^n$.

研究の動機と目的

• ロータ・バーレル代数 $(A, P)$ の有限次元表現を分類すること。ここで $A = \mathbf{k}((t))$ であり、$P$ は $\mathbf{k}[[t]]$ への射影である。
• 有限次元 $A$-ベクトル空間の正則特異分解（RSD）の構造を理解し、$GL_A(V)$ の作用の下での分類を行うこと。
• $A^n$ 内の $\mathbf{k}[[t]]$-部分加群の集合における $GL_n(A)$-軌道の数、いわゆる一般化クラス数を計算すること。
• 軌道構造が、リー理論におけるアフィングラスマンニアンと二重コセット空間とどのように関係するかを明らかにすること。

提案手法

• 本稿は、$(A,P)$-加群と $A$-ベクトル空間の正則特異分解の間でカテゴリカル同値を確立し、各分解が $V = p(V) \oplus \ker(p)$ の形の直和分解に対応することを示している。ここで $p(V)$ は $\mathbf{k}[[t]]$-加群、$\ker(p)$ は $\mathbf{k}[t^{-1}]$-加群である。
• ロータ・バーレル作用素 $P$ を用いて、任意の $A$-加群 $V$ を正則部 $p(V)$ と特異部 $\ker(p)$ に分解し、この分解が $V$ 上のすべての $(A,P)$-加群構造を分類することを示している。
• 各 RSD $(M,N)$ に対する $GL_n(A)$-作用の安定化部分群を、$GL_k(A) \times GL_\ell(A) \times GL_r(\mathbf{k})$ として計算している。ここで $k, \ell, r$ はそれぞれの成分の次元である。
• 写像 $\Phi_n: \operatorname{RSD}(A^n) \to \mathcal{G}_n(\mathcal{O})$ の $M$ におけるファイバーが、特にブロック行列構造を持つ、パラボリック部分群の商 $G_M / \operatorname{Aut}(M,N)$ に同型であることを示している。
• 本稿は、$\mathcal{G}_n(\mathcal{O})$ が $A^n$ 内の $\mathbf{k}[[t]]$-ラティスをパラメトライズすることを活用し、写像 $\Phi_n$ が $GL_n(A)$-等変であることを利用して軌道数を解析している。
• 代数幾何学および表現論の結果を適用し、特にアフィングラスマンニアン $GL_n(A)/GL_n(\mathcal{O})$ と二重コセット $K \backslash G / H$（$K = GL_n(\mathbf{k}[t^{-1}])$, $H = GL_n(\mathcal{O})$）との関連を強調している。

実験結果

リサーチクエスチョン

• RQ1 $n$次元の $A$-ベクトル空間 $V$ における正則特異分解の集合における $GL_n(A)$-軌道は、いくつ存在するか？
• RQ2 ロータ・バーレル代数 $(A, P)$ の有限次元表現のカテゴリの構造は、$A = \mathbf{k}((t))$ かつ $P$ が $\mathbf{k}[[t]]$ への射影である場合、どのように構成されるか？
• RQ3 $A^n$ 内の $\mathbf{k}[[t]]$-部分加群の集合 $\mathcal{G}_n(\mathcal{O})$ における $GL_n(A)$-軌道の数は、一般化クラス数とどのように関係するか？
• RQ4 正則特異分解の軌道構造と二重コセット空間 $GL_n(A) \backslash (GL_n(A)/GL_n(\mathcal{O}) \times GL_n(A)/GL_n(\mathbf{k}[t^{-1}]))$ の間にはどのような関係があるか？

主な発見

• ロータ・バーレル代数 $(A, P)$ の有限次元表現のカテゴリは半単純であり、同型類としてちょうど3つの非可約表現が存在する。これらすべてが1次元である。
• $n$次元の $A$-ベクトル空間における正則特異分解の集合における $GL_n(A)$-軌道の数は $\frac{(n+2)(n+1)}{2}$ であり、これは $\mathcal{G}_n(\mathcal{O})$、すなわち $A^n$ 内の $\mathbf{k}[[t]]$-部分加群の集合における $GL_n(A)$-軌道の数にも等しい。
• 任意の $M \in \mathcal{G}_n(\mathcal{O})$ に対して型 $(k,r)$ であるとき、ファイバー $\Phi_n^{-1}(M)$ は $G_M / \operatorname{Aut}(M,N)$ の商に同型であり、分解 $(M,N)$ の安定化部分群は $GL_k(A) \times GL_\ell(A) \times GL_r(\mathbf{k})$ に等しい。
• 一般化クラス数、すなわち $A^n$ 内の $\mathbf{k}[[t]]$-生成の有限生成部分加群の $GL_n(A)$-同型類の数は、$\frac{(n+2)(n+1)}{2}$ に等しい。
• 写像 $\Phi_n: \operatorname{RSD}(A^n) \to \mathcal{G}_n(\mathcal{O})$ は $GL_n(A)$-等変かつ全射であり、特異部に制限した場合、ファイバーは $GL_r(\mathcal{O}) / GL_r(\mathbf{k})$ に同型である。
• 正則特異分解の空間 $\operatorname{RSD}(A^n)$ は、$G = GL_n(A)$, $H = GL_n(\mathcal{O})$, $K = GL_n(\mathbf{k}[t^{-1}])$ を用いた二重コセット空間 $K \backslash G / H$ に同型であり、リー理論的軌道構造と関連していることが示された。