[论文解读] 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

一句话总结

本文研究了 Rota-Baxter 代数 $A = \mathbf{k}((t))$ 上的有限维表示，其中投影算子 $P$ 将 $A$ 投影到 $\mathbf{k}[[t]]$ 上，表明此类表示的范畴是半单的，且恰好包含三个一维不可约表示。关键结果是：在 $n$ 维 $A$-向量空间的正则-奇异分解集合中，$GL_n(A)$-轨道的数量为 $\frac{(n+2)(n+1)}{2}$，并利用该结构计算了 $GL_n(A)$-轨道在 $\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$.

研究动机与目标

• 对 Rota-Baxter 代数 $(A, P)$ 的有限维表示进行分类，其中 $A = \mathbf{k}((t))$，且 $P$ 是到 $\mathbf{k}[[t]]$ 的投影。
• 理解有限维 $A$-向量空间的正则-奇异分解（RSD）的结构及其在 $GL_A(V)$ 作用下的分类。
• 计算 $GL_n(A)$-轨道在 $A^n$ 的 $\mathbf{k}[[t]]$-子模集合中的数量，即广义类数。
• 将轨道结构与李理论中的仿射格拉斯曼流形和双重陪集空间联系起来。

提出的方法

• 本文在 $(A,P)$-模与 $A$-向量空间的正则-奇异分解之间建立了范畴等价关系，其中每个分解对应于 $A$-子空间的直和 $V = p(V) \oplus \ker(p)$，其中 $p(V)$ 是 $\mathbf{k}[[t]]$-模，$\ker(p)$ 是 $\mathbf{k}[t^{-1}]$-模。
• 利用 Rota-Baxter 算子 $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 Rota-Baxter 代数 $(A, P)$ 的有限维表示范畴的结构是什么，其中 $A = \mathbf{k}((t))$，且 $P$ 是到 $\mathbf{k}[[t]]$ 的投影？
• RQ3 $GL_n(A)$-轨道在 $\mathcal{G}_n(\mathcal{O})$ —— 即 $A^n$ 的 $\mathbf{k}[[t]]$-子模集合 —— 中的数量如何与广义类数相关？
• RQ4 正则-奇异分解的轨道结构与双重陪集空间 $GL_n(A) \backslash (GL_n(A)/GL_n(\mathcal{O}) \times GL_n(A)/GL_n(\mathbf{k}[t^{-1}]))$ 之间存在何种关系？

主要发现

• Rota-Baxter 代数 $(A, P)$ 的有限维表示范畴是半单的，且恰好包含三个同构类的不可约表示，所有不可约表示均为一维。
• $n$ 维 $A$-向量空间的正则-奇异分解集合中，$GL_n(A)$-轨道的数量为 $\frac{(n+2)(n+1)}{2}$，这也是 $GL_n(A)$-轨道在 $\mathcal{G}_n(\mathcal{O})$（即 $A^n$ 的 $\mathbf{k}[[t]]$-子模集合）中的数量。
• 对于任意 $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)$ 空间对应于双重陪集空间 $K \backslash G / H$，其中 $G = GL_n(A)$，$H = GL_n(\mathcal{O})$，$K = GL_n(\mathbf{k}[t^{-1}])$，从而建立了与李理论中轨道结构的联系。