多項式環研究のための技法の整備と実用化

多项式环研究技术的发展和实际应用

• 批准号: 22K03273
• 负责人: 黒田 茂
• 金额: $ 2.58万
• 依托单位: Tokyo Metropolitan University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-04-01 至 2026-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K03273/
• 关键词: 多項式環; 自己同型群; 順自己同型・野生自己同型; 正標数; 自己同型写像

（１）正標数の体上の多項式環の自己同型の野生性に関する問題の研究を行った．基礎体の標数が0の場合に多項式環の野生自己同型が存在することは，２００３年にShestakov-Umirbaevによって証明された．しかし，正標数の場合の野生自己同型の存在はまだ証明されていない．Shestakov-Umirbaev理論では，「次数不等式」を基礎に「簡約の理論」が構築され，「簡約の理論」の帰結として自己同型の野生性判定条件が得られる．しかし，「次数不等式」は解析的な手法を基礎とするため，これを正標数の場合に拡張することは，実際にそれが可能かどうかという点も含めて大きな問題であった．今回，研究代表者の従前の研究に，新たなアイディアを取り入れることで，懸案だった「正標数版の次数不等式」を構成することに成功した．また，それを用いて「簡約の理論」の再構築に取り組んだ．現時点で「正標数版の簡約の理論」はまだ完成していないが，「正標数版の次数不等式」を使うことで，多項式環の自己同型のかなり詳細な分析が可能であることが判明している．この方向の研究を完成させることが，次年度の重要な課題である．（２）標数0の体上の多項式環の自己準同型は，ヤコビアンが非零定数ならば順自己同型によって近似できる（Anickの定理）．これは多項式環の自己同型に関する基本的な結果として広く知られているが，同様の主張が正標数の場合に成り立つかどうか不明である．今回，Anick型定理の正標数版の構築に向けた研究に取り組み，「加法的自己準同型」の場合に成果を得た．この結果はまだ拡張の余地があると考えられるため，次年度にさらなる改良を行ったうえで公表する予定である．

(1) The research on the に relation する problem <e:1> of the self-homomorphism <s:1> wildness of the <s:1> polynomial ring <e:1> over a positively marked number <s:1> body is conducted in the を field った. Basic body の standard number が 0 の occasions に polynomial ring の wild type with が existence す る こ と は, 2003 に Shestakov - Umirbaev に よ っ て prove さ れ た. <s:1>, positive label number <s:1> occasion <s:1> wild self-homomorphism <e:1> exists まだ まだ proof されて な な な. Shestakov Umirbaev theory で は, based に "number of inequality" を "contracted の theory" が build さ れ, "contracted の theory" の 帰 knot と し て himself with type の が wild sex determination conditions have ら れ る. し か し, "number of inequality" は based と な technique を す る た め, こ れ を is the number of の occasions に company, zhang す る こ と は, be interstate に そ れ が may か ど う か と い う point も containing め て big き な problem で あ っ た. Before today back, research representatives の 従 に の research, new た な ア イ デ ィ ア を take り れ る こ と で, unsolved だ っ た "is the version number of の inequality" を constitute す る こ と に successful し た. Youdaoplaceholder0, それを, using the また て "minimalist <s:1> theory" また, construct に to take the exponent んだ. Current で "is the version number の contracted の theory" は ま だ complete し て い な い が, "is the version number of の inequality" を make う こ と で, polynomial ring の himself with type の か な が り な detailed analysis may で あ る こ と が.at し て い る. The <s:1> research direction を completed させる とが とが in the following year <s:1> important な projects である. (2) the number 0 の body on の polynomial ring の with quasi は, ヤ コ ビ ア ン が nonzero constant な ら ば shun their same type に よ っ て approximate で き る (Anick の theorem). Type こ れ は polynomial ring の himself with に masato す る basic な results と し て hiroo く know ら れ て い る が, with others in の maintains が standard number に into り の occasions made つ か ど う か unknown で あ る. This time, the Anick type theorem <s:1> positive standard number version <e:1> construction に to けた study に taking the に set み, in the case of "the self of addition is quasi-homomorphic" に the result を is た. こ の results は ま だ company, zhang の room が あ る と exam え ら れ る た め, annual に さ ら な る improved line を っ た う え で す male table る designated で あ る.