×

素特征中有限群的本质维数。(集团基本尺寸为正值。) (英语。法语摘要) Zbl 1409.14080号

设(G)是域(F)上的代数群。设\(K/F\)是字段扩展,\(tau:T\to\mathrm{Spec}(K)\)是(G\)-torsor。基本维度\(\mathrm{ed}_F(τ)是字段扩展(K_0/F)的超越度的最小值,使得(τ。基本维度\(\mathrm{ed}_F(G) \)是\(\mathrm的最大值{ed}_F(tau)as(K\)的范围覆盖所有包含\(F\)和\(tau \)的字段,覆盖所有\(G\)torsors(T\ to mathrm{Spec}(K)\)。
特征域(p>0)上有限群的本质维数大多是未知的。对于固定素数(p),可以考虑本质维数(mathrm{编辑}_ F(G;p)\)的\(G\)at \(p\),在这种情况下,我们只考虑定义中\(p\)-闭的域\(K\)。本文的主要定理是,对于特征为(p>0)和(G)的域(F),一个光滑的有限代数群(mathrm{ed}_F如果\(P\)除\(|G|\)和\(0\),则(G;P)=1\)。另一方面,这是由A.小册子[发展数学.11159-172(2004;Zbl 1062.12003年)]那个\(\mathrm{ed}_F(\mathbb{Z}/p^r\mathbb}Z})=r\)。
该证明包括若干简化。设(G)是光滑有限代数群。已知如果(G'\子集G\)是\(p\),\(mathrm)的指数素子群{ed}_F(G;p)=\mathrm{ed}_F(G',p)\)。如果\(p\)不除法\(|G|\),则\(G'=\{1\}\)产生\(\mathrm{ed}_F(G;p)=0\)。众所周知,\(\mathrm{ed}_F如果(p\)除法\(|G|\),则为(G;p)\geq 1\)。因此,作者必须显示{ed}_F(G;p)\leq 1\)。如果\(G\)是光滑有限代数群,\(G={}^{tau}\Gamma\)其中\(Gamma\。然后\(\mathrm{ed}_F(G;p)\leq\mathrm{ed}_F(Gamma times A;p),因此主要定理被简化为(G)是一个常数有限群的情况。
基本维度\(\mathrm{ed}_F(G;p)由一个具有光滑(G)-固定(F)-点的可靠几何不可约簇(X)的维数(dim(X))从上方限定。主要定理是引理3的一个结果,它断言对于每个常数(p)-群,都存在一条定义在(mathbb)上的忠实(G)-曲线{F} _磅\)带有平滑\(G\)-固定\(\mathbb{F} (p)\)-点。
作为应用程序,作者讨论了以下内容。如果(G)是(F)上的连通约化群,则存在一个(F)-子群(S子集G),使得对于包含(F)的每个域(K),(H^1(K,S)到H^1。根据主要定理,如果(F)是特征(p>0)的代数闭的,并且(p)是(G)的扭转素数,则(S)不可能是光滑的。

MSC公司:

14升15 分组方案
20世纪15年代 任意域上的线性代数群
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 布莱赫,F.M。;钦堡,T。;Poonen,B。;Symonds,P.,Harbater-Katz-Gabber曲线的自同构,数学。附录,368,1-2,811-836(2017),MR3651589·Zbl 1372.14022号
[2] Borel,A。;Springer,T.A.,线性代数群的有理性。二、 东北数学。J.(2),20,443-497(1968),MR0244259·Zbl 0211.53302号
[3] Camina,R.,诺丁汉群的子群,J.代数,196,1,101-113(1997),MR1474165·Zbl 0883.20015号
[4] 切尔诺索夫,V。;Gille,P。;Reichstein,Z.,通过阿贝尔基扩展求解(G\)-torsors,J.Algebra,296,2,561-581(2006),MR2201056·Zbl 1157.14311号
[5] 切尔诺索夫,V。;Gille,P。;Reichstein,Z.,半局部环上扭转结构的简化,Manuscr。数学。,126,4,465-480(2008年),MR2425436·Zbl 1157.14028号
[6] 邓肯,A。;Reichstein,Z.,代数群作用和扭变元上有理点的通用性,J.代数几何。,24、3、499-530(2015),MR3344763·Zbl 1327.14210号
[7] 佛罗伦萨,M。;Reichstein,Z.,正亏格稳定标记曲线模空间形式的合理性问题·Zbl 1476.14034号
[8] Grothendieck,A.,《扭转同源性和部分理性》,(Anneaux de Chow et Applications.Anneaux-de Chow et-Applications,Séminaire Claude-Chevalley,第3卷(1958)),1-29,第5期·Zbl 0098.13101号
[9] Harbater,D.,曲线覆盖的模量,公制。代数,8,12,1095-1122(1980),MR0579791·Zbl 0471.14011号
[10] 北卡罗来纳州卡彭科。;Merkurjev,A.S.,有限(p)-群的本质维数,发明。数学。,172、3、491-508(2008),MR2393078·Zbl 1200.12002号
[11] Katz,N.M.,基本群表示的局部到全局扩展,《傅里叶研究所年鉴》(格勒诺布尔),36,4,69-106(1986),MR0867916·Zbl 0564.14013号
[12] Ledet,A.,关于\(p\)-群的本质维度,(伽罗瓦理论和模块形式。伽罗瓦理论和模块形式,Dev.Math.,第11卷(2004年),Kluwer学术出版社:Kluwer学术出版社,美国马萨诸塞州波士顿),159-172,MR2059762·Zbl 1062.12003年
[13] Ledet,A.,本质维1的有限群,J.代数,311,1,31-37(2007),MR2309876·Zbl 1117.12003年
[14] Lötscher,R。;麦克唐纳,M。;梅耶,A。;Reichstein,Z.,连通分量为环面的代数群的本质维,代数数论,7,8,1817-1840(2013),MR3134035·Zbl 1288.20061号
[15] Merkurjev,A.S.,《基本维度》,(二次型——代数、算术和几何。二次型:代数、算术与几何,当代数学,第493卷(2009年),美国数学学会:美国数学学会普罗维登斯,RI,USA),299-325,MR2537108·邮编:1188.14006
[16] Merkurjev,A.S.,《基本维度:调查》,《变革》。组,18,2,415-481(2013)·Zbl 1278.14066号
[17] 梅耶,A。;Reichstein,Z.,射影线性群中最大环面正规化子的本质维数,代数数论,3,4,467-487(2009)·Zbl 1222.11056号
[18] 迈耶,A。;Reichstein,Z.,《Karpenko Merkurjev定理的一些后果》,附加卷:Andrei A.Suslin的60岁生日。附加卷:安德烈·苏斯林六十岁生日,博士。数学。,445-457(2010),MR2804261·Zbl 1277.20059号
[19] Reichstein,Z.,Essential dimension,(国际数学家大会会议记录,第二卷(2010),印度斯坦图书局:新德里印度斯坦图书社),162-188·Zbl 1232.14030号
[20] Robinson,D.J.S.,《群体理论课程》,数学研究生教材,第80卷(1996年),Springer-Verlag:Springer-Verlag纽约,MR1357169
[21] Serre,J.-P.,Galois Cohomology(1997年),Springer-Verlag:Springer-Verlag Berlin,MR1466966·Zbl 0902.12004号
[22] Serre,J.-P.,Sous-groupes finis des groupes de Lie,Astérisque,266415-430(2000),Exp.No.864,5。MR1772682型·Zbl 0968.20025号
[23] Serre,J.-P.,上同调不变量、Witt不变量和迹形式,(Galois上同调中的上同调恒变量。Galois下同调中中的上同调恒变量,大学讲座,第28卷(2003),美国数学学会:美国数学学会普罗维登斯,RI,USA),1-100,Skip Garibaldi注释·Zbl 1159.12311号
[24] 斯坦伯格,R.,《半单代数群的正则元》,高等科学研究院。出版物。数学。,25、49-80(1965年),MR0180554·Zbl 0136.30002号
[25] 托西奇,D。;Vistoli,A.,关于无穷小群格式的本质维,Amer。数学杂志。,135、1、103-114(2013),MR3022958·兹比尔1283.14018
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。