代数曲線の特異点とピカールスキーム

代数曲线的奇异性和皮卡德格式

• 批准号: 21J00489
• 负责人: 長町 一平
• 金额: $ 2.33万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2021
• 资助国家: 日本
• 起止时间: 2021-04-28 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-21J00489/
• 关键词: 正標数の特異点; 代数曲線; 非完全体; ピカールスキーム; 導手; 種数; ヤコビアン数

特異点を持つ代数曲線のピカールスキームとその特異点の不変量に関し, 以下の研究成果(A)(B)(C)を得た. これらは全て高松哲平氏との共同研究成果である.(A) カスプを持つ幾何的整な正則代数曲線について, その係数体Kのpのn乘乘根への底変換の正規化を考えることで得られる特異点解消の列と, ピカールスキームの関係を調べた. より正確には, ピカールスキームの最大アフィン部分のpのn乘ねじれ部分の被約化を用いて特異点解消後のピカールスキームを記述できることを証明した. また, これを示すための補題として, 代数トーラスのWeil制限についての構造定理を得た. より正確には, 係数体Kの純非分離代数拡大Lに対し, L上の1次元トーラスのKへのWeil制限の冪単部分が分解群になる最小の拡大体がLと一致することを証明した. さらに, 必要な別の補題として, 正標数の体上の整域の幾何的正規性の特徴付けを証明した.(B) 特異点の局所環Rに対して, 係数体のp次拡大毎に定まる不変量qをRの付値を用いて定義した. さらにqを用いて, 種数の差と導手を計算した. また, これらの計算から得られる種数の差と導手の関係式が得られるが, この関係式の導出として, 双対加群の理論と局所コホモロジーを用いた異なるものを与えた.(C) (B)で定義したqを用いて, 代数曲線の特異点の不変量であるヤコビアン数を記述した. この証明のために, 代数曲線の特異点の局所環より広いクラスの局所環に対してヤコビアン数を定義した. さらに, この広いクラスの局所環を統一的に扱うために, 連続微分加群の理論を用いた. そこで我々は連続微分加群の抽象論の基礎付けを与えた. またこの証明中に, 正標数体K上の一次元完備正則局所環の関係式による構造定理を, qを用いて証明した.

Specific point を hold つ algebra curve の ピ カ ー ル ス キ ー ム と そ の specific point の - not に masato し, the following の research (A) (B) (C) を た. こ れ ら は full て Gao Songzhe ping's と の joint research で あ る. (A) カ ス プ を hold つ geometry whole な regular algebra curve に つ い て, の body そ の coefficient K p の n take a ride on a root へ の bottom variations in の regularized を exam え る こ と で have ら れ る specific why の と, elimination ピ カ ー ル ス キ ー ム の masato is を adjustable べ た. よ り right に は, ピ カ ー ル ス キ ー ム の biggest ア フ ィ ン の p の n take ね じ れ part の by reduced を い て specific points after dissolution の ピ カ ー ル ス キ ー ム を account で き る こ と を prove し た. ま た, こ れ を shown す た め の yue と し て, algebraic ト ー ラ ス の limitations Weil に つ い て を た. の structure theorem よ り right に は, Coefficient K の body pure algebraic company, the separation of large L に し seaborne, L の 1 dimensional ト ー ラ ス の K へ の limitations Weil の power 単 part が decomposition group に な る minimum の company agreement が L と す る こ と を prove し た. さ ら に, necessary な don't の yue と し て, の is の on standard number の body whole domain geometry of normal sexual の 徴 pay け を prove し た. (B) specific points の bureau ring R に し seaborne て, coefficient of body の big company of p in their に set ま る - not を quantity q R の numerical を pay い て definition し た. さ ら に q を with い て, species poor の と hand を calculate し た. ま た, こ れ ら の computing か ら have ら れ る species poor の と guide hand の masato are type が should ら れ る が, こ の masato is a derived type の と し て, double plus group of seaborne の theory と bureau コ ホ モ ロ ジ ー を with い た different な る も の を and え た. (C) (B) で definition し た q を with い て, Algebraic curve の specific point の - not で あ る ヤ コ ビ ア ン account number を し た. こ の prove の た め に, algebra curve の specific point の bureau ring よ り hiroo い ク ラ ス の bureau ring に し seaborne て ヤ コ ビ ア ン number を definition し た. さ ら に, こ の hiroo い ク ラ ス の bureau ring を unified に Cha う た め に, Even 続 differential group を の theory with い た. そ こ で I 々 は even 続 group の の abstract theory and differential plus pay け を and え た. ま た こ の に proof, is the number of body K の a complete regular bureau ring の masato system type に よ る を structure theorem, q を with い て prove し た.

项目成果

非完全体上の代数多様体の導手, ピカールスキー ム, ヤコビアン数について

关于非完美域上的代数簇的导体、皮卡德方案和雅可比数

• 发表时间: 2022
• 作者: Watanabe Hikaru;Daido Akito;Yanase Youichi;長町一平
• 通讯作者: 長町一平

On behavior of conductors, Picard schemes, and Jacobian numbers of varieties over imperfect fields

关于导体行为、皮卡德方案和不完美域上的雅可比簇数

• 发表时间: 2022
• 作者: Yoshida S;Hatasa M;Ohsugi Y;Tsuchiya Y;Liu A;Niimi H;Morita K;Shimohira T;Sasaki N;Maekawa S;Shiba T;Hirota T;Okano T;Hirose A;Ibi R;Noritake K;Tomiga Y;Nitta H;Suzuki T;Takahashi H;Miyasaka N;Iwata T;Katagiri S;長町一平
• 通讯作者: 長町一平