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

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

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

5: １３２人目の素数さん [] 2024/08/30(金) 07:17:56.83 ID:cHgt4Zdk

つづき

https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H18-tamagawa.pdf
数学入門公開講座テキスト(京都大学数理解析研究所，平成18年)
ガロア理論とその発展 玉川安騎男

環の典型的な現れ方として、与えられた空間Xの上の（適当な条件を満たす）関数全体のなす環があります。この場合、関数の値の和、差、積を考えることにより、関数の和、差、積を定義します。（1,0は、それぞれ恒等的に値1,0を取る関数として定義します。）
実は、任意の環はこのようにして得られることが知られています。
より正確に言うと、与えられた環Rに対し、アフィンスキームと呼ばれるある種の空間Spec(R)が定まり、Rは空間Spec(R) 上の正則関数全体のなす環と自然に同一視されます。更に、環を考えることとアフィンスキームを考えることは本質的に同等であることが知られています。一般のスキームは、アフィンスキームをはり合わせることにより定義されます。
１９５０年代後半にグロタンディークによって定義されたこのスキームは、代数多様体（≈多項式で定義される図形）の概念を大きく一般化するもので、現在の代数幾何学・数論幾何学の基礎をなす概念です。

グロタンディークの提唱した形での遠アーベル幾何は、遠アーベルスキームの一般的な定義が見つかっていないなど、理論的にはまだまだ発展途上の状態ですが、既にいくつもの重要な結果が得られています。例えば、ノイキルヒ・内田の定理は、（グロタンディークが遠アーベル幾何を提唱する以前の結果ですが）遠アーベル幾何における一つの基本的な結果となっています。また、近年では、代数曲線やそのモジュライ空間の遠アーベル幾何の研究が、（本研究所を中心に）さまざまな角度から進められ、興味深い結果がいくつも得られています。このように、１９世紀前半に生まれたガロア理論は、現代もなお強い生命力を持って進化しています。

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リー環が現われることを示す.

つづく

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

6: １３２人目の素数さん [] 2024/08/30(金) 07:18:17.71 ID:cHgt4Zdk

つづき

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上のカルティエ因子とする。典型的な消滅定理は、
略
代数幾何学を学んだことのある人なら誰でも、リーマン面（もしくは代数曲線）上でリーマン–ロッホの公式をつかって線形系の性質を調べるという話を勉強したことがあると思う。
我々はその話の単純な高次元化を考えていると言っても良いかもしれない。

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

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

2はじめに
このノートでは、最近得られた対数的標準対に対する非消滅定理を解説する。この非消滅定理は、対数的標準対に対する固定点自由化定理と同値であることが示される。
今回の非消滅定理の一番のポイントは、その定式化である。
数学的な内容は固定点自由化定理と同値であるが、非消滅定理として正しく定式化することにより、極小モデル理論の基本定理たちの証明に劇的な簡略化をもたらした

3おわび
80年代前半から現在にいたるまで、極小モデル理論研究の最も重要でよく使われるテクニックは川又–Viehweg消滅定理である。80年代後半から、乗数イデアル層の考え方が持ち込まれ、Nadel型の消滅定理をつかうことも非常に有効であることが分かって来た。いずれにせよ、すべて川又–Viehweg消滅定理の応用として扱うことが出来る話である。今回の一連の発展は、その川又–Viehweg消滅定理の部分を一般化し、新しい道具で極小モデル理論を考え直した、ということである。
ここ数年いろいろと迷走してしまったが、[F7]で古典的な川又のX-論法と乗数イデアル層の理論をミックスした新しい極小モデル理論の基礎と基本的なテクニックを提供することで、今後数十年間の極小モデル理論の土台は完成したと思う。一言で言うと、極小モデル理論の基礎部分が純ホッジ構造の話から混合ホッジ構造に移り変わった、である。興味を持たれた読者は、[F3]、[F4]、[F6]（いずれも短い）を読むことを勧める

つづく

http://rio2016.5ch.net/test/read.cgi/math/1724969804/6

7: １３２人目の素数さん [] 2024/08/30(金) 07:19:50.34 ID:cHgt4Zdk

つづき

4特異点の定義
ここでは特異点の定義について最低限のことだけを述べておく。詳しくは、[K森,§2.3]を見ていただきたい。極小モデル理論の専門家以外には頭の痛くなる話題であろう。

5非消滅定理
以下の定理がこの章の主定理である。対数的標準対に対する非消滅定理である。

7証明のアイデア
ここでは非消滅定理の証明のアイデアについて説明する。

8今後の課題
今回の仕事で、[K森]の2章の後半と3章が完全に一般化されたことになる。
道具である消滅定理が[K森]よりも格段に進歩しているからである。

9勉強の仕方
消滅定理は[F3]がお勧めである。[K森]の消滅定理の証明と全く同じ書き方で書いてある。次に[F6]を読めば極小モデル理論の基本定理（非消滅定理、固定点自由化定理、有理性定理、錐定理）が簡単に学べる。ある意味[K森]の3章より簡単である。消滅定理が強力になったので、川又によるX-論法（広中の特異点解消定理をつかって係数を揺するという有名なテクニック）は不要になったのである。基本定理の証明の途中では広中の特異点解消定理すら必要としなくなったのである。Ambro氏のquasi-logvarietiesの理論に興味がある人には、[F4]をお勧めする。理論の本質的な部分は[F4]で全部理解出来るはずである。技術的な細部まで理解しようとすると、[F5]を読まないと仕方ないであろう。著者の私が言うのもなんだが、[F5]を読むのは大変だと思う。技術的細部に拘りまくったからである。

10おまけ：個人的な考え
ここでは、80年代から現在にいたるまで極小モデル理論で重要な位置を占めているX-論法と、最近の新しい議論について個人的な意見を少し書いてみたい。通常の論文などには書かない個人的な印象である。あくまで私の考えである。X-論法の最もすばらしい点は、その強力さにあると思う。広中の特異点解消定理と係数を揺するという小細工をつかうことにより、様々な結果を川又–Viehweg消滅定理の応用として示すことが出来るのである。

最後に少しネタをばらしておく。[F1]と[F2]で対数的標準対に対する評価付きの固定点自由性の問題を扱った。これらは川又対数的末端対に対する結果の完全な焼き直しである。数学的には大した結果ではないと思う。[F1]と[F2]はKoll´ar氏やAngehrn氏とSiu氏の議論の手直しに過ぎない。ただし、[F1]と[F2]での試行錯誤が今回の[F6]につながったので、そういう意味では[F1]と[F2]は私にとっては非常に価値があった。結局のところ、やっぱりいろいろやってみないとダメだな、と改めて思った。以上。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1724969804/7

8: １３２人目の素数さん [] 2024/08/30(金) 07:20:11.37 ID:cHgt4Zdk

つづき

藤野修先生は、令和５年 大阪科学賞を受賞されています
おめでとうございます

(参考)
//osaka-prize.ostec.or.jp/41-1
第４１回（令和５年度）
大阪科学賞（OSAKA SCIENCE PRIZE）受賞者の横顔
藤野　 修　４９歳

研究業績：小平消滅定理の一般化と代数幾何学への応用
代数多様体とは、大雑把に言うと、有限個の多項式の共通零点集合のことです。高校の教科書に出てくる円、楕円、放物線などは代数多様体です。
もっと簡単な平面上の直線も代数多様体です。高校では主にxy平面上で幾何学図形を考えます。これは二次元の空間内で一次元の代数多様体を考えることに対応します。xyz空間の中の球面も代数多様体です。これは三次元空間内の二次元の代数多様体です。
このように代数多様体は素朴な幾何学的対象です。ここで変数の数を増やしてみましょう。幾何学的には高次元の空間を考えることになります。高次元の空間内で複数の代数多様体の交わりを考えます。私たちはこのような幾何学図形を日々研究しています。
日本人フィールズ賞受賞者３名の仕事も高次元代数多様体に関するものです。
残念ながら高次元の代数多様体は絵に描くことができません。
そこで私たちは抽象的な数学理論を展開します。高次元代数多様体論の究極目標の一つは双有理分類という大雑把な分類を完成させることです。
現在の標準理論は、森重文によって1980年代に創められた森理論や極小モデル理論と呼ばれるものです。
私は小平の消滅定理と呼ばれるコホモロジーの消滅定理の一般化を確立し、広中の特異点解消と小平消滅定理の一般化を駆使して森理論の適用範囲を究極的に拡張するという仕事をしました。
ホッジ理論的な観点からは理論の混合化を実行したことになります。
これにより、従来不可能であったぐちゃぐちゃに潰れた高次元代数多様体の研究も可能になり、代数多様体の退化や特異点の研究などに応用されています。
このような基礎研究が実社会で応用される日が来ることを夢見ています。

代数多様体とは？

代数多様体の双有理分類
すでに述べましたが、代数多様体論の究極目標の一つは、代数多様体を双有理的に分類することです。

数学者の日常

小平の消滅定理の一般化

ホッジ構造
非特異射影多様体のコホモロジーにはホッジ構造と呼ばれる構造が入ります。これは純ホッジ構造と呼ばれるものになっています。一般の代数多様体のコホモロジーには純ホッジ構造は入らないのですが、混合ホッジ構造と呼ばれる純ホッジ構造を拡張したものが入ります。
(引用終り)
以上

つづく

http://rio2016.5ch.net/test/read.cgi/math/1724969804/8

9: １３２人目の素数さん [] 2024/08/30(金) 07:20:31.69 ID:cHgt4Zdk

つづき

なお、
おサル＝サイコパス＊のピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
＜＊）サイコパスの特徴＞
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（＊＊）注；https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面 ：https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png

おサルさんの正体判明！（＾＾）
スレ12 https://rio2016.5ch.net/test/read.cgi/math/1671460269/923 より
”「ガロア理論 昭和で分からず 令和でわかる
　＃平成どうしたｗ」
昭和の末期に、どこかの大学の数学科
多分、代数学の講義もあったんだ
でも、さっぱりで、落ちこぼれ卒業して
平成の間だけでも30年、前後を加えて35年か”
”(修士の)ボクの専攻は情報科学ですね”とも

可哀想に、数学科のオチコボレで、鳥無き里のコウモリ***）そのもので、威張り散らし、誰彼無く噛みつくアホ
本来お断り対象だが、他のスレでの迷惑が減るように、このスレで放し飼いとするｗ（＾＾

注***）鳥無き里のコウモリ：自分より優れた数学DRやプロ数学者が居ないところで、たかが数学科のオチコボレが、威張り散らす姿は、哀れなり〜！（＾＾；

なお
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
は、お断りです

小学生がいますので、18金（禁）よろしくね！（＾＾

つづく

http://rio2016.5ch.net/test/read.cgi/math/1724969804/9

10: １３２人目の素数さん [] 2024/08/30(金) 07:27:27.93 ID:cHgt4Zdk

つづき

再録します。おサルの傷口に塩ですｗ
https://rio2016.5ch.net/test/read.cgi/math/1683585829/508
2023/06/11(日)
下記だねｗ(>>63再録)
スレ主です
数学科オチコボレのサルさんｗ https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
線形代数が分かっていないのは、あ な た！ ｗｗｗ
前スレより
https://rio2016.5ch.net/test/read.cgi/math/1680684665/557
傷口に塩を塗って欲しいらしいなｗ
　>>406-407より以下再録
棚から牡丹餅というかｗ

つまり
・私「正方行列の逆行列」（数年前）
　↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
　↓
・私「零因子行列のことだろ？知っているよ」
　↓
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』

＜解説＞
１）何度か、アホが気づくチャンスあった
　最初に”零因子”の意味を検索して知れば、「関係ない話だ！」と絶叫することもない
　（というか、”零因子”を知らないのは、ちょっと代数あやしいよねｗ）
２）『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　に、私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」と指摘された時点で
　”零因子”の意味を調べて理解すべきだったのだ
３）恥の上塗り『「０以外の体の元は乗法逆元を持たない」のつもりで
　「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
　は、あまりにも幼稚。「ケアレスミス」の一言では片づけられないアホさ加減ｗｗｗｗｗｗ
4）確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが
　アホさるの自爆を誘ったとすれば、怪我の功名というか、誘の隙(さそいのすき)というべきかｗｗ
　ゆかいゆかい！ｗｗ
以上

あと
＜乗数イデアル関連（含む層）＞の話や
文学論、囲碁の話もあります
これも、5ｃｈらしくて良いと思いますｗ

テンプレは、以上です

http://rio2016.5ch.net/test/read.cgi/math/1724969804/10

14: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2024/08/30(金) 07:54:05.63 ID:cHgt4Zdk

ふっふ、ほっほ
前スレより再録
itest.5ch.net/rio2016/test/read.cgi/math/1721183883/811
戻るが >>556より
固有値問題の数値解法
ja.wikipedia.org/wiki/%E5%9B%BA%E6%9C%89%E5%80%A4%E5%95%8F%E9%A1%8C%E3%81%AE%E6%95%B0%E5%80%A4%E8%A7%A3%E6%B3%95
数値解法の必要性
5次以上の一般の（実数あるいは複素数の）行列において
有限回の代数的操作（四則及び冪根を開く）によって
固有値を厳密に表わす計算手順は存在しない
そのため固有値問題の数値解法には必ず反復法を用いることになる
もしも有限回の代数的操作で厳密な固有値を求める方法があったとすれば
係数が一般のn次代数方程式の解がその方程式の多項式に対する同伴行列の固有値として
有限回の代数的操作で求められることになるが
これは代数方程式に関するガロア理論のよく知られた結論とは矛盾するので
不可能であることを考えればただちにわかる
(引用終り)

ここ >>747より再録
dora.bk.tsukuba.ac.jp/~takeuchi/?%E9%87%8F%E5%AD%90%E5%8A%9B%E5%AD%A6%E2%85%A0%2F%E5%9B%BA%E6%9C%89%E5%80%A4%E3%81%A8%E6%9C%9F%E5%BE%85%E5%80%A4
量子力学Ｉ 固有値と期待値 武内修＠筑波大 2024-05-17
目次
線形代数IIで学んだ関数空間の考え方 が量子力学でどのように生かされるかを学ぶ
・関数ベクトル・線形演算子
・シュレーディンガー方程式・線形演算子の固有値
・固有関数の物理量は固有値そのものである
(引用終り)

1）量子力学の無限次の固有値を考えると
　固有方程式 ja.wikipedia.org/wiki/%E5%9B%BA%E6%9C%89%E5%A4%9A%E9%A0%85%E5%BC%8F
　を経由することを考える人はいない
　すなわち、無限次の代数方程式を経由することになるが
　そんなバカを考える人はいない
2）無限次の行列式の展開が大変(有限の手間ですまない？)
　もし実行出来たとして、無限次の代数方程式をどうやって解くのか
3）上記で ”固有値問題の数値解法”の必要性の理由付けに
　代数方程式に関するガロア理論を持ち出すのは、ド素人の勘違い

上記ja.wikipediaの記述を、何の疑問も持たずに 引用する おサルだった>>9
量子力学と線形代数の関係も分らないんだろう
そんなレベルで、シッタカされてもねぇｗ

http://rio2016.5ch.net/test/read.cgi/math/1724969804/14

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

あと 980 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.012s