[论文解读] Prime ideals in certain quantum determinantal rings

K. R. Goodearl, T. H. Lenagan|ArXiv.org|Mar 24, 1999

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

一句话总结

本文通过分析量子坐标代数 O_q(M_{m,n}(k)) 中由 2×2 量子子式生成的理想 I，研究了量子行列式环的素谱。利用经典不变量理论定理的类比，证明了 I 是完全素理想，表明 A/I 同构于 k[x,x⁻¹]-余作用下张量积的量子仿射空间的余不变量环，且识别出 A/I 上自然的环面作用下的不变素理想。

ABSTRACT

The ideal I generated by the 2x2 quantum minors in the algebra A = O_q(M_{m,n}(k)) (the quantized coordinate algebra of mxn matrices) is investigated. Analogues of the First and Second Fundamental Theorems of Invariant Theory are proved. In particular, it is shown that I is a completely prime ideal, that is, A/I is an integral domain, and that A/I is the ring of coinvariants of a coaction of k[x,x^{-1}] on O_q(k^m) tensor O_q(k^n), a tensor product of two quantum affine spaces. (That the ideal of A generated by the txt quantum minors, for any t, is completely prime is proved in the authors' paper `Quantum determinantal ideals'.) There is a natural torus action on A/I induced by an (m+n)-torus action on A. We identify the invariant prime ideals for this action and deduce consequences for the prime spectrum of A/I.

研究动机与目标

• 理解量子行列式环中素理想的结构，特别是由 2×2 量子子式生成的素理想。
• 在量子设定下建立不变量理论第一与第二基本定理的类比。
• 证明 O_q(M_{m,n}(k)) 中由 2×2 量子子式生成的理想 I 是完全素理想，从而表明 A/I 是整环。
• 将 A/I 描述为 k[x,x⁻¹] 在 O_q(k^m) ⊗ O_q(k^n) 上的余作用下的余不变量环。
• 识别 A/I 中在诱导的 (m+n)-环面作用下不变的素理想。

提出的方法

• 利用余作用理论，将 A/I 实现为 k[x,x⁻¹]-余作用下两个量子仿射空间张量积的余不变量环。
• 应用经典不变量理论定理的量子类比，分析理想 I 的结构。
• 利用 A/I 上自然的 (m+n)-环面作用研究不变素理想。
• 通过环面不变性与余作用结构分析 A/I 的素谱。
• 利用先前工作中已确立的 t×t 量子子式生成的理想是完全素理想这一事实，支持 2×2 情况的结论。

实验结果

研究问题

• RQ1 O_q(M_{m,n}(k)) 中由 2×2 量子子式生成的理想是否完全素，即商环是否为整环？
• RQ2 能否在量子设定下为量子行列式环建立不变量理论第一与第二基本定理的类比？
• RQ3 如何通过霍普夫代数余作用下的余不变量来描述商环 A/I？
• RQ4 A/I 中哪些素理想在诱导的 (m+n)-环面作用下不变？
• RQ5 在环面不变性下，A/I 的素谱结构如何？

主要发现

• O_q(M_{m,n}(k)) 中由 2×2 量子子式生成的理想 I 是完全素理想，因此 A/I 是整环。
• A/I 同构于 k[x,x⁻¹]-余作用下 O_q(k^m) ⊗ O_q(k^n) 的余不变量环。
• 商环 A/I 从 A 继承了自然的 (m+n)-环面作用。
• A/I 中的不变素理想通过环面作用被完全刻画。
• A/I 的素谱结构由这些不变素理想的分类推导得出。