×

同伦Hermitian(K)-对合环理论的Cdh下降。 (英语) Zbl 1483.19003号

本文研究了带对合的Hermistian(K)-格式理论。厄米特(K)理论最初由诺维科夫定义为适用于对合环的理论[S.P.诺维科夫,Izv公司。阿卡德。Nauk SSSR,序列号。材料34、253–288(1970;兹比尔0193.51902)]和Bass[Bass,Hyman,酉代数\(K\)-理论。(英语)Zbl 0299.18005号阿尔盖布。K-Theory III,程序。Conf.Battelle Inst.1972年,Lect。数学笔记。343, 57-265 (1973).], 并从那里得到了广泛的发展:例如,它被扩展到dg范畴上的谱值函子[M.Schlichting先生J.Pure应用。《代数221》,第7期,1729–1844(2017;Zbl 1360.19008号)]. 最近,继这篇开创性的论文之后,赫敏(K)理论在稳定动力同伦理论中变得突出[J.霍恩博斯特尔《拓扑》第44卷第3期,第661–687页(2005年;Zbl 1078.19004号)]. 在通常的稳定动力范畴中,由于兴趣范畴的内在特征,所有方案的对合都是平凡的。
在过去的十年里,等变动力同伦也有了发展,如[J.海勒等人,J.Topol。8,第4期,1202-1236(2015年;Zbl 1331.14027号)] [M.霍尤斯,高级数学。305, 197–279 (2017;Zbl 1400.14065号)]人们可能希望在等变环境中发展出一个代表性的激励厄米理论谱,在这种情况下,环或方案上的对合可以再次出现。事实上,这是可以做到的,这也是本文的主要观点之一。值得一提的是,赫敏(K)理论的等变动力表征在[谢浩(H.Xie)J.Pure应用。代数224,第4号,文章ID 106215,26 p.(2020;Zbl 1462.19002号)]但是,手边的论文确立了表示对象可以被视为一个(E_infty)谱,而不仅仅是一个动力空间。
至于论文本身,有一个引言和两个部分分别介绍了等变动力同伦和厄米形式的一些背景。第4节在很大程度上独立于后面的节,构造了一个(C_2)-等变的“hermitian Grassmannian”,一个表示无限正交群的étale分类空间的(C_2-等变内模。本节是中一些思想的(C_2)等变[M.Schlichting先生G.S.特里帕西,数学。附录362,第3-4期,1143-1167(2015;Zbl 1331.14028号)].
第5节讨论了埃尔米特理论的“周期化”。该术语的定义见[M.霍尤斯,文件。数学。25, 457–482 (2020;Zbl 1453.14068号)],而不是在本文中,因此读者可以参考[M.霍尤斯,文件。数学。25, 457–482 (2020;Zbl 1453.14068号)]首先。本文第5节确实证明了两个主要结果。
首先,在第5节[Schlichting先生J.Pure应用。《代数221》,第7期,1729–1844(2017;Zbl 1360.19008号)],在具有对合的环上产生了一个谱值函子(GW\)。这是一个谱值的“高厄米理论”,但它没有人们想要的局部化性质。在第8.2节中[M.Schlichting先生J.Pure应用。《代数221》,第7期,1729–1844(2017;Zbl 1360.19008号)]通过强制(GW)来满足Zarisk下降,产生了一个理论(mathbb GW)。本文的推论5.12指出,(mathbb GW)是与几何定义的高G rothendieck–Witt函子(GW)相关联的泛同伦不变量、Nisnevich激子和Bott周期函子。定理5.10在逻辑上是先验的,它实际上确定了{G} W公司\)由(C_2)-等变稳定动力同伦理论中的谱表示,至少在具有丰富线团族的noetherian有限维基格式上。事实上,谱是一个E_系数谱,因此厄米理论的交换环结构被适当地推广到这个新的对象。
然后,本文第6节建立了谱值函子(mathbb{G} W公司\)实际上满足等变cdh下降(即Nisnevich下降和等变抽象爆破下降)。正如人们所料,第5节和第6节中的证明借鉴了K理论的相应非等变证明[M.霍尤斯,文件。数学。25, 457–482 (2020;Zbl 1453.14068号)],并借鉴了中对等变厄米特(K)理论的广泛描述[Schlichting先生J.Pure应用。《代数221》,第7期,1729–1844(2017;Zbl 1360.19008号)]. 希望理解本文论点的读者也应该手头有这两篇论文。

MSC公司:

19年38月 厄米特环理论,与环理论的关系
14层42层 动机上同调;动力同伦理论
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 约瑟夫·阿尤布。格罗森迪克的六个行动和形式化的循环消失了。一、 Ast{\'e}淫秽314。社会数学。法国,2007年,zbl 1146.14001,MR2423375·Zbl 1146.14001号
[2] 里卡多·贝扎(Ricardo Baeza)。半局部环上的二次型。施普林格-柏林-海德堡,1978,zbl 0382.10014,MR0491773·Zbl 0382.10014号
[3] 丹尼斯·查尔斯·西辛斯基。在K-th{’e}或不变量par同伦中下降par{’e}子句。数学年鉴。(2) 177(2):425-4482013,DOI 10.4007/annals.2013.177.2.2,zbl 1264.19003,MR3010804,arxiv 1003.1487·Zbl 1264.19003号 ·doi:10.4007/annals.2013.177.2.2
[4] Uriya First和Ben Williams。Azumaya代数的对合。文件。数学。25:527-633, 2020, https://www.elibm.org/article/10102038,DOI 10.25537/dm.2020v25.527-633,zbl 1446.16020,MR4124489·Zbl 1446.16020号 ·doi:10.25537/dm.2020v25.527-633
[5] 亚历山大·格罗森迪克。类de faisceaux et th{\ee}or{\ee}me de Riemann-Roch(油印)。Th{’e}orie des Intersections et Th{‘e}or{’e}me de Riemann-Roch(SGA6),1957,zbl 0229.14008·Zbl 0229.14008号
[6] 菲利普·赫尔曼。等变动力同伦理论,2013,arxiv 1312.0241
[7] Po Hu、Igor Kriz和Kyle M.Ormsby。hermitian K-理论、等变动力同胚理论和动力实同胚的同胚极限问题。高级数学。228(1):434-4802011,DOI 10.1016/j.aim.2011.05.019,zbl 1247.14020,MR2822236·Zbl 1247.14020号 ·doi:10.1016/j.aim.2011年5月19日
[8] Jeremiah Heller、Amalendu Krishna和Paul Arne r.群方案作用的动机同伦理论。J.白杨。8(4):1202-12362015,DOI 10.1112/jtopol/jtv030,zbl 1331.14027,MR3431674,arxiv 1408.2348·Zbl 1331.14027号 ·doi:10.1112/jtopol/jtv030
[9] 延斯·霍恩博斯特尔。埃尔米特K理论和维特群的A1可表示性。拓扑44(3):661-6872005,DOI 10.1016/j.top.2004.10.004,zbl 1078.19004,MR2122220·Zbl 1078.19004号 ·doi:10.1016/j.top.2004.10.004
[10] 马克·霍约伊斯(Marc Hoyois)。等变同伦K理论中的Cdh下降。文件。数学。25:457-482, 2020, https://www.elibm.org/article/1012036,DOI 10.25537/dm.2020v25.457-482,zbl 1453.14068,MR4124487,arxiv 1604.06410·Zbl 1453.14068号 ·doi:10.25537/dm.2020v25.457-482
[11] 马克·霍约伊斯(Marc Hoyois)。等变动力同伦理论中的六种运算。高级数学。305:197-279,2017,DOI 10.1016/j.aim.2016.09.031,zbl 1400.14065,MR3570135,arxiv 1509.02145·兹比尔1400.14065 ·doi:10.1016/j.aim.2016.09.031
[12] J.F.贾丁。叠加和单纯形带轮的同伦理论。同源同伦应用。3:361-3842001,DOI 10.4310/HHA.2001.v3.n2.a5,zbl 0995.18006,MR1856032·Zbl 0995.18006号 ·doi:10.4310/HHA.2001.v3.n2.a5
[13] 马克斯·卡鲁比(Max Karoubi.P{\'e}riodicit{\'e}de la K-th{\'e}orie hermitienne)。Hermitian K-Theory and Geometric Applications编辑H.Bass,301-411,Springer Berlin Heidelberg,1973,zbl 0274.18016,MR0382400·Zbl 0274.18016号
[14] Max-Albert Knus公司。环上的二次型和厄米型。Grundlehren der Mathematischen Wissenschaften数学研究所294。施普林格柏林,1991年,邮编:0756.11008,MR1096299·Zbl 0756.11008号
[15] 莫里茨·科兹(Moritz Kerz)、弗洛里安·斯特伦克(Florian Strunk)和乔治·塔姆(Georg Tamme)。代数K理论和爆炸的下降。发明。数学。211(2):523-5772018,DOI 10.1007/s00222-017-0752-2,zbl 1391.19007,MR3748313,arxiv 1611.08466·Zbl 1391.19007号 ·doi:10.1007/s00222-017-0752-2
[16] 阿莱霍·洛佩兹-阿尔维拉\动机厄米特K理论中的(E_infty)-环结构。学位论文Osnabrück,2018年。https://nbn-resolution.org/urn:nbn:de:gbv:700-2018030216685
[17] 法比安·莫雷尔(Fabien Morel)和弗拉基米尔·沃沃德斯基(Vladimir Voevodsky)。方案的自组织理论。出版物。数学。,Inst.Hautes学院。科学。90(1):45-1431999,DOI 10.1007/BF02698831,zbl 0983.14007,MR1813224·Zbl 0983.14007号 ·doi:10.1007/BF02698831
[18] 马可·施利钦(Marco Schlichting)。埃尔米特K理论,导出的等价物和卡鲁比基本定理。J.纯应用。《代数》221(7):1729-18442017年。Chuck Weibel 60岁生日专刊,DOI 10.1016/j.jpaa.2016.12.026,zbl 1360.19008,MR3614976,arxiv 1209.0848·Zbl 1360.19008号 ·doi:10.1016/j.jpaa.2016.12.026
[19] Marco Schlichting和Girja S.Tripathi。同伦理论中高阶Grothendick-Witt群的几何模型。数学。附录362(3-4):1143-11672015,DOI 10.1007/s00208-014-1154-z,zbl 1331.14028,MR3368095,arxiv 1309.5818·Zbl 1331.14028号 ·doi:10.1007/s00208-014-1154-z
[20] R.W.Thomason和Thomas Trobaugh。《方案和导出范畴的高等代数K-理论》,《格罗森迪克费斯特施里夫》,第三卷,247-435,Progr。数学。88,Birkh{\“a}用户波士顿,马萨诸塞州波士顿,2007,zbl 0731.14001,MR1106918·Zbl 0731.14001号
[21] C.T.C.墙。非简单连接歧管的手术。安。数学。(2) 84(2):217-2761966年,内政部10.2307/1970519,zbl 0149.20602,MR0212827·Zbl 0149.20602号 ·doi:10.2307/1970519
[22] 恩斯特·维特。贝利比根K{“o}rpern.J.Reine Angew.Math.176:31-441937,zbl 62.0106.02,MR1581519
[23] 谢恒彦。对合方案的hermitian K-理论的一个转移态射。J.纯应用。代数224(4):1062152020,DOI 10.1016/j.jpaa.20119.106215,zbl 1462.19002,MR4021929,arxiv 1809.03198·Zbl 1462.19002号 ·doi:10.1016/j.jpaa.2019.106215
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。