Symbol length of classes in Milnor 𝐾-groups

IF 0.7 4区 数学 Q2 MATHEMATICS St Petersburg Mathematical Journal Pub Date : 2022-02-14 DOI:10.1090/spmj/1775
Adam Chapman
{"title":"Symbol length of classes in Milnor 𝐾-groups","authors":"Adam Chapman","doi":"10.1090/spmj/1775","DOIUrl":null,"url":null,"abstract":"<p>Given a field <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper F\">\n <mml:semantics>\n <mml:mi>F</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">F</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, a positive integer <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"m\">\n <mml:semantics>\n <mml:mi>m</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">m</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and an integer <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n greater-than-or-equal-to 2\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>n</mml:mi>\n <mml:mo>≥<!-- ≥ --></mml:mo>\n <mml:mn>2</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">n\\geq 2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, it is proved that the symbol length of classes in Milnor’s <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K\">\n <mml:semantics>\n <mml:mi>K</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">K</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-groups <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K Subscript n Baseline upper F slash 2 Superscript m Baseline upper K Subscript n Baseline upper F\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>K</mml:mi>\n <mml:mi>n</mml:mi>\n </mml:msub>\n <mml:mi>F</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo>/</mml:mo>\n </mml:mrow>\n <mml:msup>\n <mml:mn>2</mml:mn>\n <mml:mi>m</mml:mi>\n </mml:msup>\n <mml:msub>\n <mml:mi>K</mml:mi>\n <mml:mi>n</mml:mi>\n </mml:msub>\n <mml:mi>F</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">K_n F/2^m K_n F</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> that are equivalent to single symbols under the embedding into <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K Subscript n Baseline upper F slash 2 Superscript m plus 1 Baseline upper K Subscript n Baseline upper F\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>K</mml:mi>\n <mml:mi>n</mml:mi>\n </mml:msub>\n <mml:mi>F</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo>/</mml:mo>\n </mml:mrow>\n <mml:msup>\n <mml:mn>2</mml:mn>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>m</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:msub>\n <mml:mi>K</mml:mi>\n <mml:mi>n</mml:mi>\n </mml:msub>\n <mml:mi>F</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">K_n F/2^{m+1} K_n F</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is at most <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"2 Superscript n minus 1\">\n <mml:semantics>\n <mml:msup>\n <mml:mn>2</mml:mn>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>n</mml:mi>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:annotation encoding=\"application/x-tex\">2^{n-1}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> under the assumption that <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper F superset-of-or-equal-to mu Subscript 2 Sub Superscript m plus 1\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>F</mml:mi>\n <mml:mo>⊇<!-- ⊇ --></mml:mo>\n <mml:msub>\n <mml:mi>μ<!-- μ --></mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:msup>\n <mml:mn>2</mml:mn>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>m</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msup>\n </mml:mrow>\n </mml:msub>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">F \\supseteq \\mu _{2^{m+1}}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. Since <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K 2 upper F slash 2 Superscript m Baseline upper K 2 upper F approximately-equals Subscript 2 Sub Superscript m Baseline upper B r left-parenthesis upper F right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>K</mml:mi>\n <mml:mn>2</mml:mn>\n </mml:msub>\n <mml:mi>F</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo>/</mml:mo>\n </mml:mrow>\n <mml:msup>\n <mml:mn>2</mml:mn>\n <mml:mi>m</mml:mi>\n </mml:msup>\n <mml:msub>\n <mml:mi>K</mml:mi>\n <mml:mn>2</mml:mn>\n </mml:msub>\n <mml:mi>F</mml:mi>\n <mml:mo>≅<!-- ≅ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:msub>\n <mml:mi />\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:msup>\n <mml:mn>2</mml:mn>\n <mml:mi>m</mml:mi>\n </mml:msup>\n </mml:mrow>\n </mml:msub>\n <mml:mi>B</mml:mi>\n <mml:mi>r</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>F</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">K_2 F/2^m K_2 F \\cong {_{2^m}Br(F)}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> for <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n equals 2\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>n</mml:mi>\n <mml:mo>=</mml:mo>\n <mml:mn>2</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">n=2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, this coincides with the upper bound of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"2\">\n <mml:semantics>\n <mml:mn>2</mml:mn>\n <mml:annotation encoding=\"application/x-tex\">2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> (proved by Tignol in 1983) for the symbol length of central simple algebras of exponent <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"2 Superscript m\">\n <mml:semantics>\n <mml:msup>\n <mml:mn>2</mml:mn>\n <mml:mi>m</mml:mi>\n </mml:msup>\n <mml:annotation encoding=\"application/x-tex\">2^m</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> that are Brauer equivalent to a single symbol algebra of degree <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"2 Superscript m plus 1\">\n <mml:semantics>\n <mml:msup>\n <mml:mn>2</mml:mn>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>m</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:annotation encoding=\"application/x-tex\">2^{m+1}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. The cases where the embedding into <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K Subscript n Baseline upper F slash 2 Superscript m plus 1 Baseline upper K Subscript n Baseline upper F\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>K</mml:mi>\n <mml:mi>n</mml:mi>\n </mml:msub>\n <mml:mi>F</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo>/</mml:mo>\n </mml:mrow>\n <mml:msup>\n <mml:mn>2</mml:mn>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>m</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:msub>\n <mml:mi>K</mml:mi>\n <mml:mi>n</mml:mi>\n </mml:msub>\n <mml:mi>F</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">K_n F/2^{m+1} K_n F</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is of symbol length <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"2\">\n <mml:semantics>\n <mml:mn>2</mml:mn>\n <mml:annotation encoding=\"application/x-tex\">2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"3\">\n <mml:semantics>\n <mml:mn>3</mml:mn>\n <mml:annotation encoding=\"application/x-tex\">3</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, and <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"4\">\n <mml:semantics>\n <mml:mn>4</mml:mn>\n <mml:annotation encoding=\"application/x-tex\">4</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> (the last when <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"n equals 2\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>n</mml:mi>\n <mml:mo>=</mml:mo>\n <mml:mn>2</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">n=2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>) are also considered. The paper finishes with the study of the symbol length for classes in <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K 3 slash 3 Superscript m Baseline upper K 3 upper F\">\n <mml:sema","PeriodicalId":51162,"journal":{"name":"St Petersburg Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.7000,"publicationDate":"2022-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"St Petersburg Mathematical Journal","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/spmj/1775","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 2

Abstract

Given a field F F , a positive integer m m and an integer n 2 n\geq 2 , it is proved that the symbol length of classes in Milnor’s K K -groups K n F / 2 m K n F K_n F/2^m K_n F that are equivalent to single symbols under the embedding into K n F / 2 m + 1 K n F K_n F/2^{m+1} K_n F is at most 2 n 1 2^{n-1} under the assumption that F μ 2 m + 1 F \supseteq \mu _{2^{m+1}} . Since K 2 F / 2 m K 2 F 2 m B r ( F ) K_2 F/2^m K_2 F \cong {_{2^m}Br(F)} for n = 2 n=2 , this coincides with the upper bound of 2 2 (proved by Tignol in 1983) for the symbol length of central simple algebras of exponent  2 m 2^m that are Brauer equivalent to a single symbol algebra of degree  2 m + 1 2^{m+1} . The cases where the embedding into K n F / 2 m + 1 K n F K_n F/2^{m+1} K_n F is of symbol length 2 2 , 3 3 , and 4 4 (the last when n = 2 n=2 ) are also considered. The paper finishes with the study of the symbol length for classes in

查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
符号长度类在米尔诺𝐾-groups
给定一个域F、一个正整数m和一个整数n≥2n\geq2,证明了Milnor的K-群KnF/2mKnFK_nF/2^mK_nF中等价于嵌入到KnF/2中的单个符号的类的符号长度m+1 K n F K_ n F/2^{m+1}K_ n F在假定Fμ2 m+1 F\supseteqμ_{2^{m+1}}。由于当n=2n=2时,K2 F/2 m K2 FŞ2 m Br(F)K_,这与指数为2m2^m的中心单代数的符号长度的2 2的上界(由Tignol在1983年证明)一致,该中心单代数是Brauer等价于2 m+12^{m+1}度的单符号代数。还考虑了嵌入到K n F/2 m+1 K n F K_n F/2^{m+1}K_n F中的符号长度为2 2、3 3和4 4(最后当n=2 n=2时)的情况。本文最后研究了
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
CiteScore
1.00
自引率
12.50%
发文量
52
审稿时长
>12 weeks
期刊介绍: This journal is a cover-to-cover translation into English of Algebra i Analiz, published six times a year by the mathematics section of the Russian Academy of Sciences.
期刊最新文献
Shape, velocity, and exact controllability for the wave equation on a graph with cycle On Kitaev’s determinant formula Resolvent stochastic processes Complete nonselfadjointness for Schrödinger operators on the semi-axis Behavior of large eigenvalues for the two-photon asymmetric quantum Rabi model
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1