×

关于一类特征(p)-群的Hilbert理想。 (英语) Zbl 1479.13008号

设(k)是场,(V)是有限维向量空间。设(G\subset\mathrm{GL}(V)为有限群。然后,(G)对(V)的作用诱导了对(V^*)的对偶空间的作用。也就是说,如果\(\{v_1,\dots,v_n\}\)是\(v\)的基,其中\(\{x_1,\dots,x_n\}\子集v^*\)是它的对偶基,那么对于g\中的每个\(g\),一个集\(gx_i(v)=x_i(g^{-1}v)\)对于所有(v中的v)和所有(i=1,点,n)。这个作用扩展到了(S:=mathrm{Sym}V^*=k[x_1,\dots,x_n]\)的分次代数自同构。希尔伯特理想\(h{G,S}\)是由所有正次不变量生成的\(S)-理想。如果存在有序基(B\子集V^*)和正整数序列(1\leqi_0<i_1<cdots<i_r\leqn(r<n)),则群\(G)是广义Nakajima群,这样,对于所有\(G\ in G\)和所有\(i=1,dots,n)都存在(gx_i-x_i\ in k\ langlex_1,dotes,x_{i-1}\rangle\)。(b) (G\)由集合\(P_1\cup P_2\cup\cdots\cup P_r \)生成,作为一个组,其中,对于\(k=1,\dots,r \),\(G \)的子组\(P_k \)由\(G|\中的\{G\)生成。现在让(p)是质数,(G)是有限(p)-群。设(V)是(G)over(k)的有限维线性表示。对于广义Nakajima群,作者证明了以下性质:(a)Hilbert理想是一个完全交集。因此,对于广义Nakajima群的情况,他们证明了Shank和Wehlau的一个猜想(由Broer重新表述),该猜想断言,如果不变子环(S^G)是(S\)As \(S^G\)-模的直接和,则(S^G-)是多项式环希尔伯特理想有一个最多包含度元素的生成集。这个界限是由德克森和坎佩尔推测的。

MSC公司:

13A50型 群在交换环上的作用;不变理论
14L24型 几何不变量理论
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Abraham Broer,模不变理论中的直接和性质,变换。组,10,1,5-27(2005)·Zbl 1106.13004号 ·doi:10.1007/s00031-005-1001-0
[2] Abraham Broer,《阿贝尔变换群的不变理论》,加拿大。数学。公牛。,53, 3, 404-411 (2010) ·Zbl 1223.13005号 ·doi:10.4153/CBM-2010-044-6
[3] 坎贝尔,H.E.A.埃迪;Wehlau,David L.,模不变量理论,《数学科学百科全书》139,xiv+233 pp.(2011),柏林斯普林格-Verlag·Zbl 1216.14001号 ·doi:10.1007/978-3642-17404-9
[4] Derksen,危害;Gregor Kemper,计算不变量理论,《数学科学百科全书》130,xxii+366 pp.(2015),海德堡施普林格·Zbl 1332.13001号 ·doi:10.1007/978-3-662-48422-7
[5] 乔纳森·埃尔默;塞泽尔,M\“{u} 配合,《局部有限导数与模共变式》,Q.J.Math。,69, 3, 1053-1062 (2018) ·Zbl 1397.13011号 ·doi:10.1093/qmath/hay013
[6] D.R.公司。格雷森和M.E。Stillman,Macaulay 2,代数几何研究软件系统,2006年。http://www.math.uiuc.edu/Macaulay2/。
[7] Sage Developers,SageMath,Sage数学软件系统(8.6版),2019年。https://www.sagemath.org。
[8] W.Decker、G.-M.Greuel、G.Pfister和H.Sch“onemann,奇异4-1-1-多项式计算的计算机代数系统,2008年http://www.singular.uni-kl.de。 ·Zbl 1344.13002号
[9] R.James Shank;Wehlau,David L.,模不变理论中的转移,J.Pure Appl。代数,142,1,63-77(1999)·Zbl 0942.13008号 ·doi:10.1016/S0022-4049(98)00036-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。