×

一般量子多项式:不可约模和Morita等价。 (英语。俄文原件) Zbl 0974.16019号

伊兹夫。数学。 63,第5期,847-880(1999); Izv的翻译。罗斯。阿卡德。Nauk,爵士。材料63,第4号,3-36(1999年)。
设(A)是(n)变量中的量子-极光多项式环和(Lambda)只有第一个变量有逆变量的子环。作者的目的是描述循环模的子模的格。如果(B)表示由第一个(n-1)变量生成的(A)的子环,则(A)具有偏黄多项式环的形式(B[X_n,X_n^{-1};alpha_n]\)。他证明了有限生成为(B)模的任何(A)模(M)都是射影(B)模块。任何有限生成的无扭模都可以通过变量的变化被视为射影模。设\(H\)是\(B\)和\(R=H[X_n,X_n^{-1};\alpha_n]\)的分数域。然后,嵌入(M\到R\otimes_AM\)(如前所述(M\))在子模格(L_a(M)\leftrightarrow L_R(R\otimes_AM)\)之间诱导了一个自然同构。因此,当且仅当(_R(R\otimes M))不可约时,(_AM)才是不可约的。在一些例子之后,作者研究了多项式上的不可约模以及分数的斜域的扩张。通过研究射影理想的自同态环,他能够证明以下定理。设(Lambda),(Lambda')是一般量子多项式的环(每个环在至少两个变量中,其中至少一个变量是可逆的);如果\(\Lambda\),\(\Lambda'\)是Morita等价的,那么它们是同构的;此外,(\text{Pic}(\Lambda))是微不足道的。最后一个结果与Zarisk的猜想有关。这表明,如果\(R\)是\(S=k[X_1,\dots,X_n]\)的子环(\(k\)是一个字段),使得\(S=R[y]\)对于某些\(S\中的y\),则\(R=k[X_1,\ dots,X{n-1}]\)。这仍然是开放的,但作者证明,对于量子多项式环,它有一个肯定的答案。

MSC公司:

16立方厘米 分组环
2016年40月 结合代数中的自由、射影和平坦模和理想
16D70型 模、双模和理想的结构和分类(16Gxx除外),结合代数中的直接和分解和对消
16瓦35 量子群的环理论方面(MSC2000)
16日90分 结合代数中的模范畴
PDF格式BibTeX公司 XML格式引用
全文: 内政部