[论文解读] The Green rings of the generalized Taft Hopf algebras

Libin Li, Yinhuo Zhang|arXiv (Cornell University)|Oct 16, 2012

Algebraic structures and combinatorial models被引用 4

一句话总结

本文研究了广义Taft霍普夫代数 $ H_{n,d} $ 的Green环 $ r(H_{n,d}) $，确定了其幂零元与雅可比森根的结构。通过张量积分解及广义斐波那契多项式方程组的解法，证明了雅可比森根是一个秩为 $ n - n/d $ 的主理想，由不可约投影表示的和生成，并对复化Green环 $ R(H_{n,d}) $ 上的所有有限维不可约表示进行了分类。主要贡献在于对 $ r(H_{n,d}) $ 的幂零结构与表示理论的完整描述。

ABSTRACT

In this paper, we investigate the Green ring $r(H_{n,d})$ of the generalized Taft algebra $H_{n,d}$, extending the results of Chen, Van Oystaeyen and Zhang in \cite{Coz}. We shall determine all nilpotent elements of the Green ring $r(H_{n,d})$. It turns out that each nilpotent element in $r(H_{n,d})$ can be written as a sum of indecomposable projective representations. The Jacobson radical $J(r(H_{n,d}))$ of $r(H_{n,d})$ is generated by one element, and its rank is $n-n/d$. Moreover, we will present all the finite dimensional indecomposable representations over the complexified Green ring $R(H_{n,d})$ of $H_{n,d}.$ Our analysis is based on the decomposition of the tensor product of indecomposable representations and the observation of the solutions for the system of equations associated to the generating relations of the Green ring $r(H_{n,d})$.

研究动机与目标

• 确定广义Taft代数 $ H_{n,d} $ 的Green环 $ r(H_{n,d}) $ 的结构，扩展了对标准Taft代数的先前研究。
• 明确识别 $ r(H_{n,d}) $ 中的所有幂零元，表明它们来源于不可约投影表示的和。
• 计算雅可比森根 $ J(r(H_{n,d})) $，证明其为秩 $ n - n/d $ 的主理想。
• 对复化Green环 $ R(H_{n,d}) $ 上的所有有限维不可约表示进行分类，建立不可约与不可约模的完整列表。

提出的方法

• 利用不可约 $ H_{n,d} $-模的张量积分解，推导出 $ r(H_{n,d}) $ 的生成关系，表明其由两个元素与两个关系生成，其中一个关系涉及广义斐波那契多项式。
• 分析广义斐波那契多项式 $ F_n(a,x) $ 的根，证明其具有 $ n-1 $ 个不同的复根，这些根在求解定义模结构的方程组中至关重要。
• 在方程组的解与不可约 $ R(H_{n,d}) $-模的同构类之间建立一一对应，得到 $ nd - n + n/d $ 个一维不可约表示。
• 运用表示论技术对所有有限维不可约 $ R(H_{n,d}) $-模进行分类，根据单位根的条件区分一维与二维块。
• 比较Green环 $ r(H_{n,d}) $ 与投影类环 $ p(H_{n,d}) $，表明它们的幂零元完全一致，并推导出 $ p(H_{n,d}) $ 作为 $ \mathbb{Z} $-代数的结构。
• 研究稳定Green环 $ St(H_{n,d}) $，通过商去投影表示证明其为半单（无非零幂零元）。

实验结果

研究问题

• RQ1 广义Taft代数 $ H_{n,d} $ 的Green环 $ r(H_{n,d}) $ 的结构是什么？如何通过生成元与关系来表示？
• RQ2 哪些元素属于 $ r(H_{n,d}) $ 的幂零元？它们与不可约投影表示有何关联？
• RQ3 雅可比森根 $ J(r(H_{n,d})) $ 的秩与生成元结构是什么？它是否为一个主理想？
• RQ4 如何对复化Green环 $ R(H_{n,d}) $ 的所有有限维不可约表示进行分类？
• RQ5 Green环、投影类环与稳定Green环在幂零元与模结构方面有何关联？

主要发现

• Green环 $ r(H_{n,d}) $ 由两个元素生成，满足两个关系，其中一个涉及广义斐波那契多项式 $ F_n(a,x) $，该多项式具有 $ n-1 $ 个不同的复根。
• 所有 $ r(H_{n,d}) $ 中的幂零元均为不可约投影表示的和，且雅可比森根 $ J(r(H_{n,d})) $ 是一个秩为 $ n - n/d $ 的主理想。
• 复化Green环 $ R(H_{n,d}) $ 具有 $ nd - n + n/d $ 个一维不可约表示和 $ n - n/d $ 个二维不可约表示，构成所有有限维不可约模的完整列表。
• 投影类环 $ p(H_{n,d}) $ 中的幂零元集合与 $ r(H_{n,d}) $ 中的完全一致，意味着 $ J(r(H_{n,d})) = J(p(H_{n,d})) $。
• 稳定Green环 $ St(H_{n,d}) $ 是半单的（无非零幂零元），因为其同构于 $ \mathbb{Z}[y,z]/J $，其中 $ J $ 由 $ y^n - 1 $ 与 $ F_d(y^m, z) $ 生成，且在相关上下文中 $ F_d $ 无重根。
• 对 $ R(H_{n,d}) $-模的分类表明，$ \mathbb{C}_{\lambda,\mu} $ 是投影模当且仅当 $ \mu \neq 1 + \lambda^m $，且对所有 $ d \nmid k $，每个 $ V(k) $ 均为投影模。