ガロア第一論文と乗数イデアル他関連資料スレ2

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ2 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

375: １３２人目の素数さん [] 2023/03/14(火) 11:19:04.30 ID:O8Fgompo

>>373
>多元数理には多元数の大家がいたのだが

ありがとう
多元数理は、下記の名古屋大かな？ 多元数の大家か・・、すぐ浮かばないのが残念です
https://www.math.nagoya-u.ac.jp/ja/
名古屋大学 大学院多元数理科学研究科・理学部数理学科
在学生の方へ
多元数理科学研究科の学習については大学院多元数理科学研究科での学び方，学位など大学院後期課程のことについては大学院後期課程についてを参照ください．
(引用終り)

ところで、話が違うけど、プロのご意見を聞いてみたいのが、下記の話題のIUTです
スレ違いですが、ご容赦
（IUTの成否は別におくとして、下記の一般論としてで結構です）

１）RIMSの査読と出版は適正だったか？
　私の意見は、神の目からはともかく、人としてベストを尽くしたと思っています
　（いい加減な瑕疵ある論文を通しても、本人のためにならなし、だれのためにもならない）
２）ショルツェ氏の批判の下記手法の”radical simplifications”は、普通数学では使用されないのでは？
　（数学以外の特に文系の議論では常用手法ですが）
　つまり、極論すると数学の定義を書き換えてしまうわけで、定義を書き換えたら数学として基本は別ものでしょ

私らは、外野の応援席から眺めていますが、プロのご意見を伺ってみたかったので
簡単で結構ですので、ご意見を書いて頂ければ幸甚です

（参考）
https://www.kurims.kyoto-u.ac.jp/~motizuki/protectedpdf-2018-08/SS2018-08.pdf
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX Date: August 23, 2018.
P4
2.1.節
To facilitate the discussion, we will describe
(only) the notions that are strictly relevant to explain what we regard as the error. This will
involve certain radical simplifications, and it might be argued that such simplifications strip
away all the interesting mathematics that forms the core of Mochizuki’s proof.

http://rio2016.5ch.net/test/read.cgi/math/1677671318/375

622: １３２人目の素数さん [] 2023/03/21(火) 10:15:13.30 ID:8s9PZXQ2

>>621
乗数イデアルの表面をなめただけだが
要するに、特異点を含む場合を、乗数イデアルを使うと処理できるってことかな
そう読めた
複素解析→代数幾何へという流れね

http://gakui.dl.itc.u-tokyo.ac.jp/data/h15data-R/119450/119450a.pdf
乗数イデアルの局所的性質の研究 高木俊輔 2004
http://gakui.dl.itc.u-tokyo.ac.jp/cgi-bin/gazo.cgi?no=119450
学位論文要旨
乗数イデアルの局所的性質の研究 高木俊輔 2004

乗数イデアルは最初 Demailly, Nadel, Siu 等の仕事において，複素解析的文脈で登場した．彼らは線束上の特異計量に付随する乗数イデアルの概念を導入し，乗数イデアルを巻き込んだ形の小平型消滅定理を証明した．その後すぐに乗数イデアルは，特異点解消と食い違い因子を用いて，純代数幾何的に再定式化された．原理的には解析的な乗数イデアルの方がより一般的な概念だが，実際にはこれまでに得られた応用のほとんどは本質的に代数幾何的なものであり，代数的な言葉に翻訳できる．さらに代数的な乗数イデアルはそれ自体で様々な応用を生み出し始めた(cf. [2], [1], [3], [8], [9]). 今やこのイデアルは双有理幾何学において重要な道具となりつつあるように思われる．本論文では，乗数イデアルの局所的性質に関する次の4つの内容を扱う．

いつ乗数イデアルの劣加法性は成立するか？

乗数イデアルの劣加法性とは，イデアルの積の乗数イデアルが，各々の乗数イデアルの積に含まれるという性質である．Demailly-Ein-Lazarsfeld [1] は，複素数体C上定義された非特異代数多様体上でこの劣加法性が成り立つことを証明した．彼らの結果は，可換環論及び代数幾何学に優れた応用を持つ．例えば，正則局所環のイデアルの形式冪の増大度に関する問題[3]や，巨大な因子の体積は爆発の上の豊富な因子の自己交点数によって近似できるという藤田の近似定理[5]などがある．しかしながら彼らの証明は，川又-Viehweg の消滅定理と対角線埋め込みが完全交差であるという事実を用いるため，正標数の体上定義されている多様体や特異点を許す多様体上では機能しない．従って，乗数イデアルの劣加法性がどのような多様体上で成立するか，というのは大変興味深い問題である．この問題について，2次元の場合には，反ネフサイクルによる整閉イデアルの特徴づけを用いると，次の結果が得られる．

http://rio2016.5ch.net/test/read.cgi/math/1677671318/622

704: １３２人目の素数さん [] 2023/03/23(木) 21:29:12.30 ID:KNw8p5HO

>>703
つづき

1.2. ベルグマン核とはどんなものか ?

$n=1$ の場合. 領域が複素一次元の場合には, グリーン函数 $G(z, w)$ を使ってベルグマン
核を表わすことができる (Schiffer による) :

この式 (13) について少し説明を補足しよう. 右辺はエルミート対称でかつ $z$ に関して
も $\overline{w}$ に関しても正則であるから, この等式はまことにもっともらしい. ただ, グリーン函
数の特異性 $\log|z-w|$ がどこに行ったのか気になるが, それは微分 $\partial_{z}\partial_{\overline{w}}$ の作用で消され
ているのである (但し境界には特異性が残る). 微分を超函数の意味で取れば何か残るが,
積分核の関係式 (1.3) を作用素の関係式に書き直せぱ, 仕組がよくわかる :
$K^{B}=$ 恒等作用素 ?const. $\overline{\partial}^{*}G\overline{\partial}$ ( $G$ は $\nearrow|J-\nearrow\backslash$ 作用素).
この等式の証明は,「特異点のまわりをくりぬいて, 部分積分してから穴をつぶす」 という
例の奴である. 高次元の場合にも, この等式は (適当な仮定の下で) 成り立つ. 但し, グ
リーン作用素を $\overline{\partial}$ ノイマン作用素で置き換える.

関係式 (1.3) とグリーン函数の性質により, ベルグマン核が境界点の近傍に局所化でき
ることがわかる. よって, リーマンの写像函数の境界まで込めての平滑性を使えぱ, ベル
グマン核の特異性の形が単位円板の場合からわかる. 即ち, 特異点集合は (?\Omega の直積集合
の中で)
$\partial\Omega\cross\partial\Omega$ の対角集合であり, 特異性の強さは主値積分核やデルタ函数と同じレベ
ルである. 対角集合に制限すると, 境界に近づいたときの増大度は
$0<C_{-}\leq K^{B}(z)$ . dist $(z, \partial\Omega)^{2}\leq c_{+}<+\infty$ ( $C\pm>0$ は定数)
である.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1677671318/704

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.037s