×

驯服群方案的行为:积分和切片。 (英语) 兹伯利0907.14021

设\(S=\text{Spec}(R)\)是仿射方案,\(G=\text}(A)\)为仿射群方案,\。如果存在一个(a)-余模映射(alpha:a到B),使得(alpha(1_a)=1_B),即,在(X)上对应于相互作用(B到B\otimes_R a)的作用((X,G)是温和的Y.Doi(多伊)【公共代数13,2137-2159(1985;Zbl 0576.16004号)]. 这篇开创性论文的主要部分致力于三个结果。
1.设(I)是(A^D)的积分模、(A)的对偶模和(B^A)的(co)不变量环。如果\(A\)和\(B\)在\(R\)上是局部自由的,则作用\(X,G)是tame iff \(IB=B^A\),也就是说,\(B \)是tame\(A^D\)-模代数L.N.儿童S.赫尔利[美国数学会杂志,298763-778(1986;Zbl 0609.16005号)]. 因此,对于具有Galois群\(\Gamma\)和\(a=R\Gamma^D\)的数域的Galois扩张\(L/K\)的整数的\(B,R\)环,\(G,X)是驯服的,如果跟踪映射\(B\to R\)是上射的,则iff\(L/K)是驯分枝的。因此,作者的驯服行为概念大大扩展了经典数论中的驯服概念。
2.一个驯服的作用((X,G))总是允许方案范畴中的一个泛商,并且该商是仿射的。如示例所示,有限群的作用商并不总是通用的。
3.如果\(R)是Noetherian,\(G)是可交换的、有限的和平坦的,那么一个驯服的动作\(X,G)允许平坦切片。也就是说,在每个(y\in\text{Spec}(X/G)处,都有一个平面态射(y'到y\),在它的像中包含(y\),还有一个(G\)的闭子群(H\),稳定(X\)在(y\上的某个点(X\),以及一个带(H\((X_{(y')},G_{)\)由\((Z,H_{(Y')})\导出。事实上,在(R)和(G)的假设相同的情况下,驯服的动作可以被描述为具有普适商的动作,这样,在忠实的平底变化后,动作是从可对角化群的动作中导出的。这个结果推广了的étale切片定理D.卢纳[《公牛社会数学》(Bull.Soc.Math.Fr.),增刊,MéM.33,81-105(1973;Zbl 0286.14014号)],并将作者的驯服概念与A.格罗森迪克J.P.穆雷[“方案上具有正规交叉的除数形式邻域的驯服基本群”,Lect.Notes Math.208(1971;Zbl 0216.33001号)]:局部而言,一个驯服的动作看起来就像一个覆盖物,相对于具有正常交叉点的除数来说,它是驯服的。
本文的结论是,通过有限平面群获得了具有缓和作用的带轮的等变Euler特征同态,并通过T.钦伯格[数学年鉴,第二辑第139期,第2期,第443-490页(1994年;兹伯利0828.14007)]和依据T.钦伯格B.埃雷斯[阿斯特里斯克209179-194(1992年;兹伯利0796.11051)]并应用该欧拉特征映射重新解释椭圆曲线(E)的(K\)-有理点群到(A^D\)的类群的类不变同态:这里(K\-(E)的Néron模型上的扭点。有关此地图的早期描述,请参见P.Cassou-Noguès先生M.J.泰勒[J.Théor.Nombres Bordx.7,307-331(1995;Zbl 0852.11066号)],M.J.泰勒in:组环和类组,Notes Talks DMV-Semin。,Günzburg 1990年,DMV Semin。18, 153-210 (1992;Zbl 0811.11068号)]和A.阿格拉【J.Théor,Nombres Bordx.6,No.2,273-280(1994;Zbl 0833.11055号)]. 这些结果是一般程序中第一个研究附加在群方案驯服作用上的不变量的结果。

MSC公司:

14层30 关于品种或方案的小组行动(商)
14L24型 几何不变量理论
19层47 等变\(K\)理论
17年11月14日 齐次空间与推广
14G05年 理性点
14H52型 椭圆曲线
11克05 全局场上的椭圆曲线
55S91型 代数拓扑中的等变运算和障碍
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] E.Abe,Hopf代数,《剑桥数学丛书》,第74卷,剑桥大学出版社,剑桥,1980年·Zbl 0476.16008号
[2] A.Agboola,类内变同态的几何描述·Zbl 0833.11055号 ·doi:10.5802/jtnb.115
[3] S.Anantharaman,Schémas en groupes,espaces homogènes et espaces algébriques sur une base de dimension 1,sur les groupes algèbrique,Soc.Math。法国巴黎,1973年,5-79。牛市。社会数学。法国,梅姆。33. ·Zbl 0286.14001号
[4] M.F.Atiyah和I.G.Macdonald,交换代数导论,Addison-Wesley Publishing Co.,Reading,Mass.-London-Don-Mills,Ont.,1969年·Zbl 0175.03601号
[5] P.Bardsley和R.W.Richardson,特征代数变换群的Etale切片,Proc。伦敦数学。Soc.(3)51(1985),第2期,295-317·Zbl 0604.14037号 ·doi:10.1112/plms/s3-51.2.295
[6] A.D.Barnard,带算子的交换环(伽罗瓦理论及其衍生物),Proc。伦敦数学。Soc.(3)28(1974),274-290·Zbl 0279.13005号 ·doi:10.1112/plms/s3-28.2.274
[7] H.Bass,仿射空间上的代数群作用,环上的群作用(Brunswick,Maine,1984),Contemp。数学。,第43卷,美国。数学。Soc.,普罗维登斯,RI,1985年,第1-23页·Zbl 0587.14031号
[8] P.Berthelot等人,《十字路口与黎曼路之路》,施普林格-弗拉格,柏林,1971年·Zbl 0218.14001号
[9] N.Bourbaki,交换代数。第1-7章,《数学要素》,施普林格-弗拉格出版社,柏林,1989年·Zbl 0666.13001号
[10] P.Cassou-Noguès和M.J.Taylor,《结构-几何与课程-省略》,发表于J.Théor。Nombres Bordeaux 7(1995),Numéro Spécial,Journées Arithmetiques 1993·Zbl 0852.11066号 ·doi:10.5802/jtnb.145
[11] L.N.Childs,用Hopf代数驯服野生扩张,Trans。阿默尔。数学。Soc.304(1987),第1期,111-140。JSTOR公司:·Zbl 0632.12013号 ·doi:10.2307/200707
[12] L.N.Childs和S.Hurley,有限Hopf代数对象的Tameness和局部正规基,Trans。阿默尔。数学。Soc.298(1986),编号2763-778·Zbl 0609.16005号 ·doi:10.2307/200648
[13] T.Chinburg,《方案驯服覆盖的de-Rham上同调的Galois结构》,《数学年鉴》。(2) 139(1994),第2号,443-490。JSTOR公司:·Zbl 0828.14007号 ·doi:10.2307/2946586
[14] T.Chinburg和B.Erez,等变Euler-Poincaré特征和驯服性,阿斯特里斯克(1992),第209、13、179-194号·Zbl 0796.11051号
[15] E.Cline、B.Parshall和L.Scott,诱导模和仿射商,数学。《Ann.230》(1977年),第1期,第1-14页·Zbl 0378.20033号 ·doi:10.1007/BF01420572
[16] E.Cline、B.Parshall和L.Scott,代数群的Mackey不纯正性理论,数学。Z.182(1983),第4期,447-471·兹伯利0537.14029 ·doi:10.1007/BF01215476
[17] M.Demazure和P.Gabriel,Groupes algébriques。Tome I:巴黎,1970年,巴黎,巴黎,梅森和西耶,G'ométrie algébrique,Généralités,groupes communifs·Zbl 0203.23401号
[18] Y.Doi,《全积分代数》,《通信代数》13(1985),第10期,2137-2159·Zbl 0576.16004号
[19] Y.Doi,代数的Hopf扩张和Maschke型定理,以色列数学杂志。72(1990),第1-2期,99-108·Zbl 0731.16025号 ·doi:10.1007/BF02764613
[20] Y.Doi和M.Takeuchi,代数的Hopf-Galois扩张,Miyashita-Ulbrich作用和Azumaya代数,J.Algebra 121(1989),第2期,488-516·Zbl 0675.16004号 ·doi:10.1016/0021-8693(89)90079-3
[21] A.Fröhlich,《局部域,代数数论》(Proc.Instructional Conf.,Brighton,1965),汤普森,华盛顿特区,1967年,第1-41页。
[22] 1 A.Grothendieck、M.Artin和J.L.Verdier,《地形与上同调故事》。Tome 1:Théorie des topos,施普林格-弗拉格,柏林,1972年·Zbl 0234.00007号 ·doi:10.1007/BFb0081551
[23] 2 A.Grothendieck、M.Artin和J.L.Verdier,《地形与上同调故事》。1972年,柏林,施普林格·弗拉格,托姆2号·Zbl 0237.00012号 ·doi:10.1007/BFb0061319
[24] 3 A.Grothendieck、M.Artin和J.L.Verdier,《地形与上同调故事》。Tome 3,施普林格出版社,柏林,1973年·Zbl 0245.00002号 ·doi:10.1007/BFb0070714
[25] 1 A.Grothendieck和M.Demazure,Schémas en groupes。I: Propriétés générales des schémas en groupes,《数学讲义》,第151卷,施普林格出版社,柏林,1970年·Zbl 0207.51401号 ·doi:10.1007/BFb0058993
[26] 2 A.Grothendieck和M.Demazure,Schémas en groupes。二: Groupes de type multiplatif,et structure des schémas en Groupes généraux,数学讲义,第152卷,施普林格出版社,柏林,1962/1964年·Zbl 0209.24201号 ·doi:10.1007/BFb0059005
[27] 3 A.Grothendieck和M.Demazure,Schémas en groupes。三: Structure des schémas en groupes réductilfs,数学课堂讲稿,第153卷,斯普林格·弗拉格,柏林,1962/1964年·Zbl 0212.52810号 ·doi:10.1007/BFb0059027
[28] 1 A.Grothendieck和J.Dieudonné,《阿尔及利亚共和国宪法》。三、 公平上同调。本人,高等科学研究院。出版物。数学。(1961),第11、167号·Zbl 0118.36206号 ·doi:10.1007/BF02684778
[29] 2 A.Grothendieck和J.Dieudonné,《意大利政府公报》。三、 公平上同调。II,高等科学研究院。出版物。数学。(1963),第17、91号·Zbl 0122.16102号
[30] A.Grothendieck和J.P.Murre,方案上具有正常交叉的除数的正规邻域的驯服基本群,Springer-Verlag,柏林,1971年·Zbl 0216.33001号
[31] Haboush,齐次向量丛和约化代数群的约化子群,Amer。数学杂志。100(1978),第6期,1123-1137。JSTOR公司:·Zbl 0432.14029号 ·doi:10.2307/2373966
[32] R.Hartshorne,代数几何,Springer-Verlag,纽约,1977年·Zbl 0367.14001号
[33] R.Hartshorne,残留物和二元性,关于a.Grothendieck工作研讨会的讲稿,1963/64年在哈佛大学发表。附有P.Deligne的附录。数学课堂讲稿,第20期,施普林格-弗拉格,柏林,1966年·Zbl 0212.26101号 ·doi:10.1007/BFb0080482
[34] G.Hochschild,《李群的结构》,Holden Day公司,旧金山,1965年·Zbl 0131.02702号
[35] K.Jänich,Differenzierbare \(G\)-Mannigfaltigkeiten,数学课堂讲稿,第59期,施普林格-弗拉格出版社,柏林,1968年·Zbl 0159.53701号
[36] M.Knus和M.Ojanguren,Théorie de la descente et algèbres d‘Azumaya,施普林格出版社,柏林,1974年·Zbl 0284.13002号 ·doi:10.1007/BFb0057799
[37] S.Lang,代数,Addison-Wesley Publishing Company Advanced Book Program,Reading,MA,1984年·Zbl 0712.00001号
[38] R.G.Larson,可分Hopf代数,J.Pure Appl。《代数3》(1973),261-267·Zbl 0276.18014号 ·doi:10.1016/0022-4049(73)90013-3
[39] R.G.Larson和M.E.Sweedler,Hopf代数的结合正交双线性形式,Amer。数学杂志。91 (1969), 75-94. JSTOR公司:·兹标0179.05803 ·数字对象标识代码:10.2307/2373270
[40] D.Luna,Slicesétales,Sur les groupes algébriques,社会数学。法国巴黎,1973年,81-105。牛市。社会数学。法国,巴黎,梅莫尔33·Zbl 0286.14014号
[41] H.Matsumura,交换代数,W.A.Benjamin,Inc.,纽约,1970年·Zbl 0211.06501号
[42] D.Mumford,几何不变量理论,Ergebnisse der Mathematik und ihrer Grenzgebiete,Neue Folge,Band 34,Springer-Verlag,柏林,1965年·Zbl 0147.39304号
[43] U.Oberst,Affine Quotientenschemata nach affinen,algebraischen Gruppen und industierte Darstellungen,《代数》44(1977),第2期,第503-538页·Zbl 0345.14016号 ·doi:10.1016/0021-8693(77)90198-3
[44] M.Raynaud,Anneaux locaux henséliens,数学课堂讲稿,第169卷,施普林格-弗拉格,柏林,1970年·Zbl 0203.05102号
[45] 雷诺德(M.Raynaud),通过商参数关系等效板,Proc。Conf.Local Fields(Driebergen,1966),柏林施普林格出版社,1967年,第78-85页·Zbl 0165.24003号
[46] M.Raynaud,Schémas en groupes de type((p,dots,p)),公牛。社会数学。法国102(1974),241-280·Zbl 0325.14020号
[47] H.-J.Schneider,Endliche Algebraische Gruppen,Algebra-Berichte,第19卷,Verlag Uni-Druck,慕尼黑,1974年·Zbl 0334.14023号
[48] H.-J.Schneider,任意Hopf代数的主齐次空间,以色列数学杂志。72(1990),第1-2期,167-195·Zbl 0731.16027号 ·doi:10.1007/BF02764619
[49] J.-P.Sere,《最终群体的代表》,赫尔曼,巴黎,1978年·Zbl 0407.20003号
[50] S.S.Shatz,群方案、形式群和可除群,算术几何(Stors,Conn.,1984),Springer,纽约,1986年,第29-78页·Zbl 0603.14033号
[51] P.Slodowy,Der Scheibensatz für algebraische Transformationsgruppen,Algebraissche Transformation ruppen und Invariantheorie,DMV Sem.,第13卷,Birkhäuser,巴塞尔,1989年,第89-113页·Zbl 0722.14031号
[52] T.A.Springer,Aktionen reduktiver-Gruppen auf Varientäten,代数变换ruppen und Invariantentheorie,DMV Sem.,第13卷,Birkhäuser,巴塞尔,1989年,第3-39页·Zbl 0706.14029号
[53] M.E.Sweedler,Hopf代数,数学讲义系列,W.A.Benjamin,Inc.,纽约,1969年·Zbl 0194.32901号
[54] M.J.Taylor和N.P.Byott,Hopf orders and Galois module structure,Group ring and class groups,DMV Sem.,第18卷,Birkhäuser,巴塞尔,1992年,第153-210页·Zbl 0811.11068号
[55] R.W.Thomason,《代数-群方案作用理论、代数拓扑和代数-理论》(新泽西州普林斯顿,1983年),《数学年鉴》。《研究》,第113卷,普林斯顿大学出版社,新泽西州普林斯顿,1987年,第539-563页·Zbl 0701.19002号
[56] R.W.Thomason,等变代数和拓扑理论的比较,杜克数学。J.53(1986),第3期,795-825·Zbl 0614.14002号 ·doi:10.1215/S0012-7094-86-05344-5
[57] R.W.Thomason,等变分辨率,线性化,以及Hilbert关于任意基格式的第十四个问题,数学高级。65(1987),第1期,第16-34页·Zbl 0624.14025号 ·doi:10.1016/0001-8708(87)90016-8
[58] R.W.Thomason和T.F.Trobaugh,高等代数-图式理论和派生范畴理论,《格罗森迪克费斯切里夫》,第三卷,Progr。数学。,第88卷,Birkhäuser Boston,马萨诸塞州波士顿,1990年,第247-435页·Zbl 0731.14001号
[59] W.Waterhouse,仿射群方案简介,数学研究生教材,第66卷,Springer-Verlag,纽约,1979年·Zbl 0442.14017号
[60] Waterhouse,主齐次空间和群方案扩展,Trans。阿默尔。数学。Soc.153(1971),181-189。JSTOR公司:·Zbl 0208.48401号 ·doi:10.2307/1995554
[61] W.Waterhouse,有限交换Hopf代数的Tame对象,Proc。阿默尔。数学。Soc.103(1988),第2期,354-356。JSTOR公司:·Zbl 0654.16004号 ·doi:10.2307/2047139
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。