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

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

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

4: １３２人目の素数さん [] 2025/04/17(木) 23:17:10.69 ID:a3KzsPE4

つづき

https://www.jstage.jst.go.jp/article/sugaku1947/34/1/34_1_1/_pdf/-char/en
論説 数学 (1981年9月14日提出)*1981年4月5日京都大学における第9回日本数学会彌永賞受賞講演
ソリトン方程式とKac-Moodyリー環 柏原 正樹*神保 道夫 伊達 悦朗 三輪 哲二
§1.序
代数方程式の研究に,解の変換群の概念を導入し,その有効性を示したのはGaloisである.こ
のGaloisの視点を,微分方程式に適用する試みの中から,リー群,リー環の概念は生まれた.線
型微分方程式を,この立場で研究するものとして,Picard-Vessiot理論があり,そこに現われる群
は,有限次元Lie群である.有限次元半単純リー環の研究における, Cartan行列を基礎におく理
論構成を一般化して,Kac-Moobyリー環と呼ばれる,無限次元リー環の概念が生まれた([IY 38],
[IY 68],[40])1).ほぼ同じ頃,ソリトン理論が,その姿を現わしつつあった.ソリトン理論にあら
われる非線型方程式(以下,ソリトン方程式と呼ぶ)は,線型方程式系の可積分条件として表わされ
るという側面をもつ.本稿では,ソリトン方程式の解の変換群を考察し,ある種のソリトン方程式
の変換群のリー環として,Euclid型リー環と呼ばれるKac-Moodyリー環が現われることを示す.

https://www.math.kyoto-u.ac.jp/~fujino/hokoku.html
https://www.math.kyoto-u.ac.jp/~fujino/non-vani-rims.pdf
消滅定理と非消滅定理
京都大学 藤野修 数理研講究録, 1745,(2011)
このノートでは、対数的標準対に対する消滅定理と非消滅定理を解説する。我々の新しいアプローチは、対数的標準対に対する極小モデル理論の基本定理たちの証明を著しく簡略化する

目次
1消滅定理と非消滅定理ってなに？
2 2はじめに3
3おわび4
4特異点の定義5
5非消滅定理7
以下略

参考文献
[BCHM] C.Birkar, P.Cascini, C.Hacon, J.McKernan, Existence of minimalmodelsforvarietiesofloggeneraltype,preprint(2006).
[藤1]藤野　修,極小モデル理論の新展開,雑誌「数学」61巻2号,162186(2009).

1消滅定理と非消滅定理ってなに？
今ここを読んでいる人は、せめてこの章だけは読んで欲しい。
この章は高次元代数多様体論普及のための解説である。非専門家向けに書いてある。
以下すべて複素数体上で考える。
Xを非特異射影代数多様体とし、DをX上のカルティエ因子とする。典型的な消滅定理は、
略
代数幾何学を学んだことのある人なら誰でも、リーマン面（もしくは代数曲線）上でリーマン–ロッホの公式をつかって線形系の性質を調べるという話を勉強したことがあると思う。
我々はその話の単純な高次元化を考えていると言っても良いかもしれない。

スタックもファンクターも導来圏もあまり目にしない古典的な分野である。

次の章からは通常の解説記事である。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1744899342/4

92: １３２人目の素数さん [] 2025/04/23(水) 07:23:56.69 ID:LnSdWTTF

>>85
(引用開始)
>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
>　　↓
>{} R {{}} R {{{}}} R {{{{}}}} R ・・・
>かように、∈→R と 記号を一般の順序記号Rに置換すればRについての 推移性 は、矛盾なく定義できる
>by 整列可能定理
三行目「かように…」はウソね　置換するだけでは推移性は定義できない
四行目「整列可能定理」もウソね　全然関係ない
(引用終り)

”●●女子大数学科１年”は、数学用語”整列”に無知だね
下記の整列集合 ja.wikipedia を百回音読してねｗ

さて
１）”自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる”とある
　上記”{} R {{}} R {{{}}} R {{{{}}}} R ・・・”は、ツェルメロの順序数の構成>>82 だから、整列であることは 整列原理の通り
　別に、”（選択公理に同値な）整列可能定理”によるとしてもよい
２）”任意の集合が整列順序付け可能であること”は、整列可能定理で保証されている（選択公理を認めれば）
　例えば、50人クラスで、50人を 1学期の全試験の点数で整列可能だね（同点の場合は出席簿順とする）
　別に、数学の点数だけで、整列も可能だし
　担任教師のその日の気分で、整列させることも可能だ。この場合”担任教師のその日の気分”を数学的に厳密に定義する必要は 全くないぞ！ｗ ；ｐ）

”●●女子大数学科１年”は、数学用語”整列”に無知だ
下記の整列集合 ja.wikipedia を百回音読してねｗｗ

(参考)
https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合
整列集合（せいれつしゅうごう、英: wellordered set）、または整列順序付けられた集合（せいれつじゅんじょづけられたしゅうごう）とは、数学における概念の1つで、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (wellorder) とは、S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≤) を慣例に従ってしばしば単純に S で表す。

導入
自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる。

（選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である。

http://rio2016.5ch.net/test/read.cgi/math/1744899342/92

510: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/05/01(木) 16:06:21.69 ID:D1rwPzBB

>>503 >>506
>僕はキモコテハン君が実数の連続性（完備性）について何も述べてないから
>そこの正確な述べ方が身についていないのかもしれないと判断したけど、

巡回ご苦労様です
キモコテハン君です

「正確な述べ方が身についていない」は、全く正しいが （＾＾
検索すれば、すぐ見つかることを書いていると、ここに転写する必要もないし ヒマもないしｗ

おっと 院試を受ける人は、基本的な事項で 口頭試問で ツッコミありそうなことは、正確な述べ方を身につけるべし！

さて 例えば Construction of the real numbers https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
Explicit constructions of models
抜粋
Construction from Cauchy sequences
A standard procedure to force all Cauchy sequences in a metric space to converge is adding new points to the metric space in a process called completion.
R is defined as the completion of the set Q of the rational numbers with respect to the metric |x − y| Normally, metrics are defined with real numbers as values, but this does not make the construction/definition circular, since all numbers that are implied (even implicitly) are rational numbers.[5]
Let R be the set of Cauchy sequences of rational numbers. That is, sequences
(x1, x2, x3,...)
of rational numbers such that for every rational ε > 0, there exists an integer N such that for all natural numbers m, n > N, one has |xm − xn| < ε. Here the vertical bars denote the absolute value.
略す
there exists an integer N such that for all natural numbers n > N, one has |xn − yn| < ε.
略す
The usual decimal notation can be translated to Cauchy sequences in a natural way. For example, the notation π = 3.1415... means that π is the equivalence class of the Cauchy sequence (3, 3.1, 3.14, 3.141, 3.1415, ...). The equation 0.999... = 1 states that the sequences (0, 0.9, 0.99, 0.999,...) and (1, 1, 1, 1,...) are equivalent, i.e., their difference converges to 0.

An advantage of constructing
R as the completion of Q is that this construction can be used for every other metric space.
(引用終り)

>Πが存在しなければ作れないよ

作れるよ
上記の英文の通りで ”π = 3.1415...”は あくまで ”For example”です

http://rio2016.5ch.net/test/read.cgi/math/1744899342/510

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

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

ぬこの手ぬこTOP 0.040s