{"title":"论加藤和久住明关于 p-adic 曲线函数场的米尔诺 K2 的性质","authors":"Diego Izquierdo, Giancarlo Lucchini Arteche","doi":"10.2140/ant.2024.18.815","DOIUrl":null,"url":null,"abstract":"<p>Let <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>K</mi></math> be the function field of a curve <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>C</mi></math> over a <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>p</mi></math>-adic field <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>k</mi></math>. We prove that, for each <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>n</mi><mo>,</mo><mi>d</mi>\n<mo>≥</mo> <mn>1</mn></math> and for each hypersurface <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>Z</mi></math> in <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msubsup><mrow><mi>ℙ</mi></mrow><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msubsup></math> of degree <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>d</mi></math> with <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msup><mrow><mi>d</mi></mrow><mrow><mn>2</mn></mrow></msup>\n<mo>≤</mo>\n<mi>n</mi></math>, the second Milnor <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>K</mi></math>-theory group of <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>K</mi></math> is spanned by the images of the norms coming from finite extensions <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>L</mi></math> of <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>K</mi></math> over which <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>Z</mi></math> has a rational point. When the curve <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>C</mi></math> has a point in the maximal unramified extension of <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>k</mi></math>, we generalize this result to hypersurfaces <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>Z</mi></math> in <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><msubsup><mrow><mi>ℙ</mi></mrow><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msubsup></math> of degree <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>d</mi></math> with <math display=\"inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi>d</mi>\n<mo>≤</mo>\n<mi>n</mi></math>. </p>","PeriodicalId":50828,"journal":{"name":"Algebra & Number Theory","volume":"135 1","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2024-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On Kato and Kuzumaki’s properties for the Milnor K2 of function fields of p-adic curves\",\"authors\":\"Diego Izquierdo, Giancarlo Lucchini Arteche\",\"doi\":\"10.2140/ant.2024.18.815\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>K</mi></math> be the function field of a curve <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>C</mi></math> over a <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>p</mi></math>-adic field <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>k</mi></math>. We prove that, for each <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>n</mi><mo>,</mo><mi>d</mi>\\n<mo>≥</mo> <mn>1</mn></math> and for each hypersurface <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>Z</mi></math> in <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><msubsup><mrow><mi>ℙ</mi></mrow><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msubsup></math> of degree <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>d</mi></math> with <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><msup><mrow><mi>d</mi></mrow><mrow><mn>2</mn></mrow></msup>\\n<mo>≤</mo>\\n<mi>n</mi></math>, the second Milnor <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>K</mi></math>-theory group of <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>K</mi></math> is spanned by the images of the norms coming from finite extensions <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>L</mi></math> of <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>K</mi></math> over which <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>Z</mi></math> has a rational point. When the curve <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>C</mi></math> has a point in the maximal unramified extension of <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>k</mi></math>, we generalize this result to hypersurfaces <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>Z</mi></math> in <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><msubsup><mrow><mi>ℙ</mi></mrow><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msubsup></math> of degree <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>d</mi></math> with <math display=\\\"inline\\\" xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi>d</mi>\\n<mo>≤</mo>\\n<mi>n</mi></math>. </p>\",\"PeriodicalId\":50828,\"journal\":{\"name\":\"Algebra & Number Theory\",\"volume\":\"135 1\",\"pages\":\"\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-02-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Algebra & Number Theory\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.2140/ant.2024.18.815\",\"RegionNum\":1,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algebra & Number Theory","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.2140/ant.2024.18.815","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
摘要
我们证明,对于每个 n,d≥ 1 以及度数为 d、d2≤n 的ℙKn 中的每个超曲面 Z,K 的第二个米尔诺 K 理论群由来自 K 的有限延伸 L 的规范的图像所跨,而 Z 在 L 上有一个有理点。当曲线 C 在 k 的最大无ramified 展延中有一个点时,我们将这一结果推广到 d≤n 的 𡆙Kn 中的超曲面 Z。
On Kato and Kuzumaki’s properties for the Milnor K2 of function fields of p-adic curves
Let be the function field of a curve over a -adic field . We prove that, for each and for each hypersurface in of degree with , the second Milnor -theory group of is spanned by the images of the norms coming from finite extensions of over which has a rational point. When the curve has a point in the maximal unramified extension of , we generalize this result to hypersurfaces in of degree with .
期刊介绍:
ANT’s inclusive definition of algebra and number theory allows it to print research covering a wide range of subtopics, including algebraic and arithmetic geometry. ANT publishes high-quality articles of interest to a broad readership, at a level surpassing all but the top four or five mathematics journals. It exists in both print and electronic forms.
The policies of ANT are set by the editorial board — a group of working mathematicians — rather than by a profit-oriented company, so they will remain friendly to mathematicians'' interests. In particular, they will promote broad dissemination, easy electronic access, and permissive use of content to the greatest extent compatible with survival of the journal. All electronic content becomes free and open access 5 years after publication.