24/01/01 13:16:05.31 TD2kDzWu.net
>>886
>ネクラソフ予想って中島、吉岡も解決してなかったか？
不勉強でしたが、そうみたいです
詳しくないので、下記の立川裕二氏 ”Supersymmetry: an idea connecting Physics and Mathematics”
などからの抜粋を貼っておきます
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Nikita Nekrasov
Honours and awards
In 2008 together with Davesh Maulik, Andrei Okounkov and Rahul Pandharipande he formulated a set of conjectures relating Gromov–Witten theory and Donaldson–Thomas theory, for which the four authors were awarded the Compositio Prize in 2009.
URLﾘﾝｸ(en.wikipedia.org)
Hiraku Nakajima
He proved Nekrasov's conjecture.
URLﾘﾝｸ(member.ipmu.jp)
立川裕二 OHPフィルムとビデオ録画
URLﾘﾝｸ(member.ipmu.jp)
Supersymmetry: an idea connecting Physics and Mathematics
Biennial meeting of Kavli Institutes, NYC, June, 2016
Aimed at scientists who are not physicists. I am not sure how successful I was. The version really used at the meeting was more abbreviated.
Supersymmetry Yuji Tachikawa 2016
An idea connecting Physics and Mathematics
（最後の方のページより
932:） 1988 (Witten) Supersymmetric Yang-Mills ↓ 1994(Seiberg-Witten) Supersymmetric Maxwell 2002 Nekrasov (a physicist) reformulated this derivation in a way understandable to mathematicians 2003 That reformulation was then proved by mathematicians Nakajima, Yoshioka; Braverman, Etingof; Nekrasov, Okounkov 2009 Based on these results, Alday, Gaiotto and I thought more about physics and found a mathematical conjecture 2012 The conjecture was proven by mathematicians, Shiffman and Vasserot; Maulik and Okounkov （最後のページに面白い図解があるよ） 蛇足 https://member.ipmu.jp/yuji.tachikawa/lectures/2016-encounter/ 場の量子論の数学と2次元4次元対応 中央大の「数学との遭遇」シリーズ第67回(2016年10月28日/29日)の講演のひとつとして、に数学者むけにいい加減な話をしました。 https://www.math.chuo-u.ac.jp/ENCwMATH/ewm67.pdf 第67回 AGT 対応の数学と物理 2016年10月28日(金)，10月29日(土) 場の量子論の数学と二次元四次元対応：立川裕二氏(東大・Kavli IPMU) インスタントンのモジュライ空間のコホモロジーと表現論：中島啓氏(京大・数理研)
933:１３２人目の素数さん
24/01/01 13:40:26.95 bzFgegFJ.net
>>887
＞不勉強でした
そもそも、大阪君は生まれてから一度も「勉強」したことないだろ
934:１３２人目の素数さん
24/01/01 13:45:50.66 G0t6JG2O.net
代数幾何で有名な二人のMを知っているくらいには
勉強したが
リーマン面で有名なSを知らないとすると
ポテンシャル論で有名なAも知らないだろうね。
935:１３２人目の素数さん
24/01/01 15:16:33.03 TD2kDzWu.net
>>889
>代数幾何で有名な二人のMを知っているくらいには
>勉強したが
>リーマン面で有名なSを知らないとすると
>ポテンシャル論で有名なAも知らないだろうね。
すんません、不勉強です
代数幾何は、森さんと宮西正宜さん？
リーマン面：現代数学の源流(下) 抽象的曲面とリーマン面 佐武一郎さん？
ポテンシャル論：
複雑領域上のディリクレ問題 ポテンシャル論の観点から 岩波数学叢書 相川弘明さん？
or
Singular elliptic operator の調和解析と不変ポテンシャル論(ポテンシャル論とその関連分野)1997 新井仁之？
森さんは、フィールズ賞で有名。宮西正宜も類似
佐武一郎さんは、学部の教科書で使った記憶がある（テキストの出版が多かったと思ったが）
あんまり当たってない気がする
ということで、結論は「不勉強で、詳しいことは不明」です
(参考)
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
Singular elliptic operator の調和解析と不変ポテンシャル論(ポテンシャル論とその関連分野)1997 新井仁之？
936:１３２人目の素数さん
24/01/01 16:29:35.28 vrRsFZWj.net
共著論文があるとヒントを出したのに…
相川は当たり
937:１３２人目の素数さん
24/01/01 17:53:29.00 TD2kDzWu.net
>>891
>共著論文があるとヒントを出したのに…
>相川は当たり
なるほど
下記のS Mukai＝向井 茂先生か
Fourier-Mukai変換だけ覚えています
余録で、対談：森理論について 藤野 修, 森 重文 貼っておきます
(参考)
URLﾘﾝｸ(researchmap.jp)
森 重文
URLﾘﾝｸ(researchmap.jp)
森 重文 論文1
Classification of Fano 3-folds with B-2 >= 2 (vol 36, pg 147, 1981)
S Mori, S Mukai
MANUSCRIPTA MATHEMATICA 110(3) 407-407 2003年3月
URLﾘﾝｸ(researchmap.jp)
森 重文 論文2
Classification of Fano 3-folds with B_2 >= 2, I
S. Mori, S. Mukai
Algebraic and Topological Theories - to the memory of Dr. Takehiko MIYATA 496-545 1985年
URLﾘﾝｸ(ja.wikipedia.org)
向井 茂（むかい しげる、1953年12月8日 - ）は、日本の数学者。専門は代数幾何学。学位は、理学博士（京都大学・1982年）。京都大学数理解析研究所教授、元同所長。
業績
業績として、アーベル多様体上のベクトル束に対するフーリエ変換（Fourier-Mukai変換）。3次元ファノ多様体の分類に関する貢献。K3曲面上のShafarevich予想の解決。モジュライ理論への貢献。非可換Brill-Noether理論研究。K3曲面のベクトル束のシンプレクティック多様体への応用。永田雅宜の研究を継ぎ、不変式環の研究によりヒルベルト第14問題の新しい反例の構成。
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
Fourier-Mukai変換
向井茂述
浜中真志記1998年12月9日
（余録）
URLﾘﾝｸ(www.jstage.jst.go.jp)
対談：森理論について
藤野 修, 森 重文
数学 69(3) 294-319 2017年
938:１３２人目の素数さん
24/01/01 18:03:26.41 bzFgegFJ.net
大阪君、なんもしらん高卒ド素人として玩具にされて嬉しい？
939:１３２人目の素数さん
24/01/01 19:50:13.10 TD2kDzWu.net
>>893
後出しだよ
先に”向井 茂”を出せたら良かったろうに
話が分からないなら、家で寝てなよｗ！
940:１３２人目の素数さん
24/01/01 22:47:29.78 2ihvVUs0.net
名前だけだせてもダメやろ
そもそもAbel多様体とそのPicard群っていわれて意味わからなけりゃ意味ない
ぐぐって文書コピペできてもなに書いてあるのか意味わからなけりゃ意味ない
941:１３２人目の素数さん
24/01/02 05:25:33.20 /8ka5FH/.net
よせよせ 大阪西成はAbel多様体もPicard群も知らん
だいたい、三角関数の加法公式も理解できず覚えられんで
大学入試に落ちた底抜けの馬鹿だぞ
本人はなんか大学に入ったと妄想してるが哀れだな
942:１３２人目の素数さん
24/01/02 10:43:00.94 BbI64VzN.net
必死に知っている数学用語を羅列するバカがいる
ご苦労さまです
943:１３２人目の素数さん
24/01/02 11:28:28.34 BbI64VzN.net
>>892
>（余録）
>URLﾘﾝｸ(www.jstage.jst.go.jp)
>対談：森理論について
>藤野 修, 森 重文
>数学 69(3) 294-319 2017年
これ面白い
・P298 微分幾何の人としてY.T.Siuさんとかはやっぱり気に入らなかっただろう と出てくる
Y.T.Siuさんは、あのSiuさんね
・P299 ハーバードに居て Mumford さんに出来たてのフリップの話をもっていくと
彼は、見た途端に一般の錐定理がみえちゃったんじゃないですか という話が出てくる
彼には全体像が見えて、これは正しいよという感じで言われて とある
大天才ですね
・P303 1982年ころ日本に帰ってきてNECのPC98使ってフリップの計算をした話
これも、面白いと思った
944:１３２人目の素数さん
24/01/02 12:20:59.25 K4ELKHJk.net
代数的な方法では全く進歩がなかった藤田予想と多重種数の変形普遍性に対して
L^2評価の方法で初めて実質的な進展がなされたことを
Siuは先月の研究集会で大いに強調していた
945:１３２人目の素数さん
24/01/02 14:15:18.46 jfYdFAdW.net
Fourier-Mukai変換の話でPicard群が関係ないとか完全に頭いかれてるわ
946:１３２人目の素数さん
24/01/02 15:32:02.87 /8ka5FH/.net
>>897 必死に検索結果をコピペする大●●野郎は貴様だ 西成エ太郎
947:１３２人目の素数さん
24/01/02 15:32:53.56 /8ka5FH/.net
>>898 エ太郎は 訳も分からず 「尾も白い」
948:１３２人目の素数さん
24/01/02
949:22:51:47.40 ID:wRqHJMzZ.net
950:１３２人目の素数さん
24/01/03 04:35:48.26 M3HFf1K3.net
そうか、尾も白いのは頭が白い、つまり「正白」だったからか
951:１３２人目の素数さん
24/01/03 08:40:40.77 wh3vRxPV.net
論理的には
頭が白くなくても尾が白いことはありうる
952:１３２人目の素数さん
24/01/03 12:49:35.85 N/Ba1Ddx.net
宇宙をとりかえれば白でも黒でもどっちでもいいんだろ
953:１３２人目の素数さん
24/01/03 13:34:26.91 1lYQ6I+X.net
その点については4月以降の連続講義で
明快に解説されることを期待している
954:１３２人目の素数さん
24/01/03 14:34:14.69 M3HFf1K3.net
>>907
いままで解説できなかったことが
突如として明快に解説されるとは
期待できない
955:１３２人目の素数さん
24/01/03 15:42:59.63 1lYQ6I+X.net
王座を離れて外交官としてふるまってみようというのかもしれない
956:１３２人目の素数さん
24/01/03 15:56:13.65 M3HFf1K3.net
もともと王ではないけどな
957:１３２人目の素数さん
24/01/03 18:05:36.74 1lYQ6I+X.net
人の傲慢さをなじるのに
「王のようにふるまう」という言い方をすることがある。
958:１３２人目の素数さん
24/01/03 20:38:15.09 M3HFf1K3.net
>>911 馬鹿？
959:１３２人目の素数さん
24/01/03 21:21:59.35 wh3vRxPV.net
馬鹿のようにふるまう王もいた
960:１３２人目の素数さん
24/01/04 07:09:57.90 0HIOMEQo.net
それは馬鹿
961:一読者
24/01/07 08:37:47.37 KH1eo24X.net
スレ読者です
（参考）で始まる『長文』コピペおよび連投の禁止を要望します
長文コピペと連投のせいで非常にスレが読み辛いです
相応の節度と常識を持って書き込むようお願いします
962:１３２人目の素数さん
24/01/08 08:54:23.39 i6iW0rL4.net
織田信長は馬鹿を装ったことがある
963:１３２人目の素数さん
24/01/08 08:57:20.80 Sm2py/c1.net
皆様へのお願い
1が長文コピペ”荒らし”をしたときは、必ずこの一文でレス願います
「何か書けるまで、ROMでお願いします」
964:１３２人目の素数さん
24/01/08 09:00:33.23 Sm2py/c1.net
ID:i6iW0rL4様へ
もし可能であれば、次はあなたがスレッドを立てていただけますか？
なお、その際、スレッドの名称から「ガロア第一論文と」は除外願います
荒らし避けのためです ご協力願います
965:１３２人目の素数さん
24/01/08 09:23:04.82 Sm2py/c1.net
ID:i6iW0rL4様へ
１が愚かにもスレを立てたようですが、
乗数イデアルについて「何か書ける」人がスレッドを立てるのが望ましいので
もし可能であれば、次はあなたがスレッドを立てていただけますか？
なお、その際、スレッドの名称から「ガロア第一論文と」は除外願います
荒らし避けのためです ご協力願います
966:１３２人目の素数さん
24/01/08 10:20:26.00 OXe7qSh4.net
次スレ立てました
ｽﾚﾘﾝｸ(math板)
ガロア第一論文と乗数イデアル他関連資料スレ6
967:１３２人目の素数さん
24/01/08 10:41:25.04 OXe7qSh4.net
>>917-919
スレ主です
・なんか、愚かな書込みをしているな
・5chは、めいめいが書き込むことで成り立っている、この原理原則を認めようね
・そうすると、他人の書込みに文句だけつけて 自分は意義ある書込み無しとか、そういう人はサイテーでしょう？
・”長文コピペと連投のせいで非常にスレが読み辛い”とかさ、「5chではスルーしろ」っていうことよ。昔からのおきてですよ！ｗ
968:１３２人目の素数さん
24/01/08 17:26:56.76 Sm2py/c1.net
>>921
＞なんか、愚かな書込みをしているな
何か書けるまで、ROMでお願いします
969:１３２人目の素数さん
24/01/08 17:28:00.91 Sm2py/c1.net
>>921
＞5chは、めいめいが書き込むことで成り立っている
他人の文章の剽窃は、書き込みのうちに入りません
剽窃でない何か書けるまで、ROMでお願いします
970:１３２人目の素数さん
24/01/08 17:29:52.59 Sm2py/c1.net
>>921
＞他人の書込みに文句だけつけて 自分は意義ある書込み無しとか、
＞そういう人はサイテーでしょう？
他人の文章の剽窃を大量に行うのは、
全く意義のない最低最悪の荒らし行為です
971: 自分が考えた、数学として意義のある何か書けるまで、ROMでお願いします
972:１３２人目の素数さん
24/01/08 17:32:41.97 Sm2py/c1.net
>>921
＞”長文コピペと連投のせいで非常にスレが読み辛い”とかさ、
＞「5chではスルーしろ」っていうことよ。昔からのおきてですよ！
「スルーしろ」は犯罪者の身勝手な言い分です
殺人もスルーしろ？強姦もスルーしろ？窃盗もスルーしろ？
そんなの誰も受け入れませんよ
あなたがいってることは自分の犯罪行為を黙認しろ、という最低最悪の放言
良識にかなう何か書けるまで、ROMでお願いします
973:１３２人目の素数さん
24/01/08 17:39:49.46 Sm2py/c1.net
長文コピペ荒らし氏の「書き込み」の内容の割合
１．他人の文章の剽窃（９割）
２．数学者に対する露骨な媚びへつらい（３分）
３．自己流の初歩的に間違った考え（３分）
４．自分の発言に対する見苦しい言い訳（３分）
５．数学とは無関係な話（１分）
数学板として書き込める範囲は３と４だけですね
それにしても数学のセンスのあるものは皆無です
自分でもわかっているから大量の剽窃でごまかすのでしょう
しかしながら他人にとっては迷惑なだけです
皆、あなたのような只の人に全く関心がありません
只の人らしい何か書けるまで、ROMでお願いします
974:１３２人目の素数さん
24/01/09 08:51:13.85 mBZCubyo.net
>>926
>皆、あなたのような只の人に全く関心がありません
厳密には違うだろう
975:１３２人目の素数さん
24/01/09 09:37:52.68 2HQ0IlBm.net
>>927 特に違わん 馬鹿には興味ない
976:１３２人目の素数さん
24/01/09 10:12:06.23 mBZCubyo.net
馬鹿はここでは全体の何割くらい？
977:１３２人目の素数さん
24/01/09 11:11:53.20 X4E9szv4.net
>>929 知らんな 一匹いるのは知ってる
コピペしか能が無い馬鹿が
978:１３２人目の素数さん
24/01/09 11:20:12.63 mBZCubyo.net
一意性の証明が抜けている
979:１３２人目の素数さん
24/01/09 12:44:10.25 X4E9szv4.net
>>931
一人しかいないとはいってないから一意性はいらない
君、馬鹿？
980:１３２人目の素数さん
24/01/09 14:05:32.76 TwJ5TYhR.net
>>926
>皆、あなたのような只の人に全く関心がありません
よこだが
"皆"(記号∀ "関心がありません")の部分に、反例があると言っているのでは？
981:１３２人目の素数さん
24/01/09 16:39:44.09 X0PahPvR.net
そぅだょ(小便乗)
982:１３２人目の素数さん
24/01/10 17:01:23.20 F8u+YwnL.net
311 名前：１３２人目の素数さん[] 投稿日：2024/01/10(水) 16:21:35.26 ID:YXUPXSng
この”不明与教授”のスレが
日本のお家芸となった
多変数複素関数論及び
それから派生した層理論、複素幾何学、代数幾何、各種消滅定理の次世代への伝承になれば
（英語版 ”Nakano vanishing theorem”あるな）
よろしいんじゃないでしょうか
がんばれ、不明与教授
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
複素幾何学
URLﾘﾝｸ(ja.wikipedia.org)
代数幾何学
概論
大別して、「多変数代数函数体に関する幾何学論」「射影空間上での複素多様体論」とに分けられる。前者は代数学の中の可換環論と関係が深く、後者は幾何学の中の多様体論と関係が深い。20世紀に入って外観を一新し、大きく発展した数学の分野といわれる。
当然、次元が上がると更に複雑化し、4次元以上の代数多様体についてはあまり研究は進んでいない。
他分野との関係
代数幾何学はそもそも、多項式の零点のなすような図形を代数多様体として研究する学問であったが、現代では数理物理学[3][4]・可積分系[5][6][7][8][9]との関係や、機械学習への応用が研究されている[10][11]
URLﾘﾝｸ(ja.wikipedia.org)
消滅定理（しょうめつていり，英: vanishing theorem）は連接コホモロジー群が消えるための条件を与える．
Andreotti–Grauert の定理（英語版）
Grauert–Riemenschneider の消滅定理（英語版）
川又–Viehweg の消滅定理（英語版）
Kollár の消滅定理
小平の消滅定理
宮岡の消滅定理
Mumford の消滅定理（英語版）
Ramanujam の消滅定理（英語版）
URLﾘﾝｸ(en.wikipedia.org)
Vanishing theorem
・Nakano vanishing theorem
URLﾘﾝｸ(en.wikipedia.org)
Nakano vanishing theorem
983:１３２人目の素数さん
24/01/10 17:28:52.54 F8u+YwnL.net
UPLIFT買ってるんだｗ
984:１３２人目の素数さん
24/01/10 17:32:31.75 F8u+YwnL.net
ガロア理論のマーキング、犬のションベンｗ
985:１３２人目の素数さん
24/01/10 18:14:58.40 F8u+YwnL.net
ガロア理論の家業とは？
986:１３２人目の素数さん
24/01/11 06:02:32.32 b6kSf205.net
>>938 ネトウヨ 政治板で日本バンザイ天皇バンザイと絶叫する真性の●チガイ
987:１３２人目の素数さん
24/01/11 06:03:22.68 b6kSf205.net
どこであれ国家とか君主とかを絶賛するのは、知性が欠如した正真正銘の🐎🦌
988:１３２人目の素数さん
24/01/11 06:59:34.13 1SR0Rq8E.net
数学板公安員会ｗ
989:１３２人目の素数さん
24/01/11 07:05:38.05 1SR0Rq8E.net
ショパン「英雄ポロネーズ」ホロビッツ
URLﾘﾝｸ(www.youtube.com)
990:１３２人目の素数さん
24/01/11 07:19:53.23 GWyUET7U.net
URLﾘﾝｸ(www.bing.com)
991:１３２人目の素数さん
24/01/11 10:27:42.81 1SR0Rq8E.net
うましか婆はガロ理論のストーカー、ゲロゲロ
992:１３２人目の素数さん
24/01/11 10:38:19.00 1SR0Rq8E.net
>girbau vanishing theorem
中身を見てないが、メモ貼りますね
おお K Takegoshi 著 · 1981がヒット
URLﾘﾝｸ(www.jstage.jst.go.jp)
A Vanishing Theorem for on Weakly 1 -Complete Manifolds
J-Stage
K Takegoshi 著 · 1981 · 被引用数: 8 — Girbau's work [4], O. Abdelkader [1] proved the following. Theorem 1. Let X be a weakly \-complete Kahler manifold and let B be a semi-positive
2023か、新しい文献を見ておくことは大事だね
URLﾘﾝｸ(academic.oup.com)
Vanishing Theorems for Sheaves of Logarithmic Differential ...
Oxford Academic
C Huang 著 · 2023 · 被引用数: 2 — ... theorems, including Norimatsu's vanishing theorem, Girbau's vanishing theorem, Le Potier's vanishing theorem, and a version of the Kawamata–
これは、ご当人のJ Girbau 氏
URLﾘﾝｸ(link.springer.com)
Vanishing cohomology theorems and stability of complex ...
Springer
J Girbau 著 · 1981 · 被引用数: 1 — Girbau,Sur le théorème de stabilité de feuilletages de Hamilton, Epstein et Rosenberg, C. R. Acad. Sci. Paris291 (1980), A-41-44. J. Girbau and M.
993:１３２人目の素数さん
24/01/11 12:17:49.24 1SR0Rq8E.net
中身を見てないが、メモ貼りますね
おお S Nakano 著 · 1974 "Kobayashi, S. and Ochiai, T"
Kobayashi, S 小林 昭七
Ochiai, T 落合卓四郎 かな
（”Kobayashi-Ochiai vanishing theorem”にヒットしているか不明ですが）
URLﾘﾝｸ(ja.wikipedia.org)
URLﾘﾝｸ(www.jstage.jst.go.jp)
Vanishing Theorems for Weakly 1-Complete Manifolds II
J-Stage
S Nakano 著 · 1974 · 被引用数: 73 — [4] Kobayashi, S. and Ochiai, T., On complex manifolds with positive tangent bundles, J. of Math. Soc. Japan, 22 (1970) pp. 499–525.
URLﾘﾝｸ(wiki.ma.noda.tus.ac.jp)
seminar:2014:004 [(旧)理工学部 数学科] - 東京理科大学
第04回
講演者：渡邉 究 氏（埼玉大学）
題目：完全旗多様体の特徴付けとCampana-Peternell予想
日時：平成26年5月23日（金）16:30–17:30
70年代前後，射影空間の特徴付けは複素幾何、代数幾何両分野に股がる大問題 であった． 小林昭七，落合卓四郎，満渕俊樹，S. T. Yau，Y. T. Siuをはじ めとする多くの幾何 学者により 研究され， 森重文によるHartshorne予想の 解決により一段落を迎えた． 今回の講演では森の結果の一般化である Campana-Peternell予想 「ネフな接束をもつファノ多様体は等質多様体であ る．」について考える， 特に，部分解決として完全旗多様体G/Bの特徴付けを 与える．
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Iitaka's conjecture based on Severi's theorem. ness if $X$
RIMS, Kyoto University
K MAEHARA 著 · 1993 — Socond, Kobayashi-Ochiai ([KO])proved finiteness of the set of the generically ... Iitaka's conjecture based on Severi's theorem. Is the set fnite2. Thanks to ...
URLﾘﾝｸ(www.mathsoc.jp)
DIFFERENTIAL GEOMETRY OF COMPLEX VECTOR ...
日本数学会
2011/03/04 — In retrospect, we need mostly vanishing theorems for holomorphic sections f
994:１３２人目の素数さん
24/01/11 13:05:53.49 1SR0Rq8E.net
885 名前：１３２人目の素数さん[sage] 投稿日：2023/12/31(日) 15:50:49.09 ID:xhhv+g7J [1/2]
m/n=log(π) m、nは互いに素な正の整数
↔ e^{m/n}=π ↔ e^m=π^n
e<π＜e^2 から e<n<2e
∴∃i=1,…,m-1 m=n+i
∴e^i=(π/e)^n<(1+(π-e)/e)^n
<(1+(3.2-2.7)/(2.7))^n=(1+(32-27)/(27))^n=(1+1/(27/5))^n
<(1+1/5)^n
<(1+1/π)^π
<lim_{x→+∞}(1+1/x)^x＝e
∴矛盾
∴log(π) は無理数
886 名前：１３２人目の素数さん[sage] 投稿日：2023/12/31(日) 15:58:44.87 ID:xhhv+g7J [2/2]
e<π＜e^2 から 不要
995:１３２人目の素数さん
24/01/11 14:10:01.06 1SR0Rq8E.net
Malgrange (6 July 1928 – 5 January 2024) ”Malgrange died on 5 January 2024, at the age of 95.[2]”
知らなかったな。”His advisor was Laurent Schwartz”か。そうでしたね
”Malgrange vanishing”は、中身見てないが貼ります
996:(参考) https://en.wikipedia.org/wiki/Bernard_Malgrange Bernard Malgrange (6 July 1928 – 5 January 2024) was a French mathematician who worked on differential equations and singularity theory. He proved the Ehrenpreis–Malgrange theorem and the Malgrange preparation theorem, essential for the classification theorem of the elementary catastrophes of René Thom. He received his Ph.D. from Université Henri Poincaré (Nancy 1) in 1955. His advisor was Laurent Schwartz. He was elected to the Académie des sciences in 1988. In 2012 he gave the Łojasiewicz Lecture (on "Differential algebraic groups") at the Jagiellonian University in Kraków.[1] Malgrange died on 5 January 2024, at the age of 95.[2] https://www-fourier.ujf-grenoble.fr/sites/default/files/ref_404.pdf the malgrange vanishing theorem with support conditions Institut Fourier THE MALGRANGE VANISHING. THEOREM WITH SUPPORT CONDITIONS. C. Laurent-Thibebaut and J. Leiterer. 0 . Introduction. Let X be a complex manifold of dimension n ... https://www.cambridge.org/core/journals/nagoya-mathematical-journal/article/malgranges-vanishing-theorem-in-1concave-cr-manifolds/18CAEE1E99E7956EAFCAF15218364EFE Malgrange's vanishing theorem in 1-concave CR manifolds Cambridge University Press & Assessment C Laurent-Thiébaut 著 · 2000 · 被引用数: 12 — We prove a vanishing theorem for the -cohomology in top degree on 1-concave CR generic manifolds. https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/25395/1/1367-16.pdf Vanishing Theorems in Hyperasymptotic Kyoto University Research Information Repository PDF H Majima 著 · 2004 — Malgrange proved also the
997:１３２人目の素数さん
24/01/11 17:44:52.76 1SR0Rq8E.net
888 名前：１３２人目の素数さん[sage] 投稿日：2024/01/01(月) 15:20:00.11 ID:kD74UmIv [1/2]
>>887
[第１段]：log(π)が有理数であるとする。
A＝(π-e)/e とおく。4＞π＞3＞e＞2 だから、
e＜π＜e^2 から 1＜log(π)＜2 であって、
或る互いに素な両方共に正の整数m、nが存在して log(π)＝m/n だから、
1＜m/n＜2 から n＜m＜2n。
m、nはどちらも正の整数だから、
mに対して或る i＝1,…,m-1 が存在して m＝n+i。
また、π＝e^{m/n}。よって、π＝e^{(n+i)/n} とAの定義から
e^i＝(π/e)^n＝(1＋A)^n。
[第２段]:4e＝4Σ_{k=0,1,…,+∞}1/k!
＞4(1+1+1/2!)
＝4×5/2
＝10、
また、3π＜3×3.2＝9.6、
よって、4e＞3π であって、π＞e＞1 から Aの定義に注意すれば 1/A＜1/3。
[第３段]：7/2＞π＞3＞e＞5/2 からAの定義に注意すれば A＜1/e＜1 だから、A＜1/A。
よって、(1＋A)^n＜(1＋1/A)^n であって e^i＜(1＋1/A)^n。
998:１３２人目の素数さん
24/01/11 18:14:29.35 b6kSf205.net
>>948 コピペじゃない何か書けるまで、ROMでお願いします
999:１３２人目の素数さん
24/01/11 21:40:22.43 1SR0Rq8E.net
324 名前：１３２人目の素数さん[] 投稿日：2024/01/11(木) 21:20:35.64 ID:gSBOSNgp
>>232
>Malgrange先生もGrenobleで声をかけてもらったり
>頼まれてプレプリントをお送りしたこともあったので
>忘れがたい。
ああ、そうだったのですね
Malgrange先生の御逝去は、私もさきほどの検索でしりました
Malgrange先生�
1000:ﾍ、偏微分方程式論の大家で 佐藤超関数に対してSchwartz超関数でもって先行して結果を出していた そんな話を思い出しました（というか、それしか知りませんが） ところで、youtubeで”The Nakano vanishing theorem for positive line bundles”という動画があったので 下記を貼っておきますね。なんで、”The Nakano vanishing theorem”を？ がずいぶん不思議に感じます ” Reference: Demailly agbook sections VI.5, VII.1-3.”が挙っているので、ここにネタがあるのでしょうか？ https://www.youtube.com/watch?v=2gAwkK1-QWc The Nakano vanishing theorem for positive line bundles Manifolds in Maryland チャンネル登録者数 1420人 2021/03/29 I present the Akizuki-Nakano formula for the Laplacian of a Hermitian line bundle. Then I discuss cases for the positivity of the right hand side. As an application I prove the Nakano vanishing theorem for positive line bundles. Reference: Demailly agbook sections VI.5, VII.1-3.
1001:１３２人目の素数さん
24/01/11 22:25:21.51 1SR0Rq8E.net
889 名前：１３２人目の素数さん[sage] 投稿日：2024/01/01(月) 15:22:46.75 ID:kD74UmIv [2/2]
>>887
(>>888の続き)
[第４段]：Case1)、n＜A のとき。このとき 1/A＜1/n だから、
e^i＜(1＋1/n)^n＜lim_{x→+∞}(1＋1/x)^x＝e
であって、矛盾する。
Case2)、n＞A のとき。
eの定義から e＜2.72 だから 8e＜8×2.72＝21.76。
また、πの定義から π＞3,14 だから 7π＞7×3.14＝21.98。
よって、 8e＜7π であって、π＞e＞1 から Aの定義に注意すれば 1/A＞1/7。
故に、3＜A＜7 であって、正の整数nについて n≧7。1/7＜1/A＜1/3 だから、
e^i＜(1＋1/A)^n＜(1＋1/3)^n＝(1＋1/3)^3×(1＋1/3)^{n-3}＜e×(1＋1/3)^{n-3}、
よって、e^{i+3}＜e×(1＋1/3)^n、
kを正の整数とする。
e^{i+3k)}＜(1＋1/3)^n＝(1＋1/3)^3×(1＋1/3)^{n-3k})＜e×(1＋1/3)^{n-3k}
とすれば、e^{i+6k}＜e×(1＋1/3)^n＜e×(1＋1/3)^{n-3k}＜(1＋1/3)^n。
故に、kについて小さい方から帰納的に同様な評価を有限回繰り返せば、
或る正の整数kが存在して、j≧k のとき e^{i+3j}＜(1＋1/3)^n。
しかし、これは、或る j≧k なる整数jが存在して e^{i+3j}＞(1＋1/3)^n なることに反し矛盾する。
Case3)、n＝A のとき。このときCase2)の議論に n＝A を適用して同様に考えれば、
e^i＜(1＋1/n)^n＜lim_{x→+∞}(1＋1/x)^x＝e
であって、矛盾が生じる。
[第５段]：Case1)、Case2)、Case3)から起こり得るすべての場合で矛盾する。
故に、背理法によりlog(π)は無理数である。
1002:１３２人目の素数さん
24/01/11 22:26:29.49 1SR0Rq8E.net
おっちゃんすげー
1003:１３２人目の素数さん
24/01/13 08:34:22.85 PytsAYdN.net
Bogomolov-Sommese vanishing
1004:１３２人目の素数さん
24/01/13 08:57:43.63 d5SAamBZ.net
>>954
朝早くから巡回ご苦労さまです
下記ですね
おや？ ”related to the Kodaira–Itaka dimension”とあって
リンクを辿ると、”Shigeru Iitaka”に
Itaka→Iitakaなのですね（漢字 飯高が分からない人たちには）
Iitaka dimensionは、別にあるみたい（下記）
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Bogomolov–Sommese vanishing theorem
Not to be confused with Le Potier's vanishing theorem.
In algebraic geometry, the Bogomolov–Sommese vanishing theorem is a result related to the Kodaira–Itaka dimension. It is named after Fedor Bogomolov and Andrew Sommese. Its statement has differing versions:
Bogomolov–Sommese vanishing theorem for snc pair:[1][2][3][4]
略
Bogomolov–Sommese vanishing theorem for lc pair:[6][7]
略
See also
・Bogomolov–Miyaoka–Yau inequality
・Vanishing theorem (disambiguation)
URLﾘﾝｸ(en.wikipedia.org)
Kodaira dimension
(Redirected from Kodaira–Itaka dimension)
In algebraic geometry, the Kodaira dimension κ(X) measures the size of the canonical model of a projective variety X.
Igor Shafarevich in a seminar introduced an important numerical invariant of surfaces with the notation κ.[1] Shigeru Iitaka extended it and de
1005:fined the Kodaira dimension for higher dimensional varieties (under the name of canonical dimension),[2] and later named it after Kunihiko Kodaira.[3] https://en.wikipedia.org/wiki/Shigeru_Iitaka Shigeru Iitaka (飯高 茂 Iitaka Shigeru, born May 29, 1942, Chiba) is a Japanese mathematician at Gakushuin University working in algebraic geometry who introduced the Kodaira dimension and Iitaka dimension. He was a worldly leader in the field of Algebraic geometry. https://en.wikipedia.org/wiki/Iitaka_dimension Iitaka dimension
1006:１３２人目の素数さん
24/01/13 17:54:52.13 knSdCJ7q.net
>>954 コピペと、数学と無関係の人名の話じゃない何か書けるまで、ROMでお願いします
1007:１３２人目の素数さん
24/01/14 01:36:53.69 WT7Agqld.net
固有値aに属する
1008:１３２人目の素数さん
24/01/14 01:37:40.03 WT7Agqld.net
n次ジョルダン細胞
1009:１３２人目の素数さん
24/01/14 01:39:14.71 WT7Agqld.net
Jna
1010:１３２人目の素数さん
24/01/14 01:39:50.98 WT7Agqld.net
対角成分a
1011:１３２人目の素数さん
24/01/14 01:40:09.84 WT7Agqld.net
右上1
1012:１３２人目の素数さん
24/01/14 01:40:43.47 WT7Agqld.net
他は0
1013:１３２人目の素数さん
24/01/14 01:43:53.11 WT7Agqld.net
ジョルダン行列
1014:１３２人目の素数さん
24/01/14 01:44:38.83 WT7Agqld.net
ジョルダン標準形
1015:１３２人目の素数さん
24/01/14 01:46:45.71 WT7Agqld.net
冪零線型変換
1016:１３２人目の素数さん
24/01/14 02:13:43.06 WT7Agqld.net
正則
1017:１３２人目の素数さん
24/01/14 02:14:06.19 WT7Agqld.net
可逆
1018:１３２人目の素数さん
24/01/14 02:15:51.03 WT7Agqld.net
多項式空間
1019:１３２人目の素数さん
24/01/14 02:22:29.61 WT7Agqld.net
固有空間
1020:１３２人目の素数さん
24/01/14 02:23:54.90 WT7Agqld.net
特性多項式
1021:１３２人目の素数さん
24/01/14 02:24:21.99 WT7Agqld.net
特性方程式
1022:１３２人目の素数さん
24/01/14 02:24:43.91 WT7Agqld.net
特性根
1023:１３２人目の素数さん
24/01/14 02:25:04.79 WT7Agqld.net
固有値
1024:１３２人目の素数さん
24/01/14 02:25:28.91 WT7Agqld.net
固有方程式
1025:１３２人目の素数さん
24/01/14 02:25:38.37 WT7Agqld.net
固有方程式
1026:１３２人目の素数さん
24/01/14 02:26:10.63 WT7Agqld.net
固有多項式
1027:１３２人目の素数さん
24/01/14 02:26:33.18 WT7Agqld.net
固有ベクトル
1028:１３２人目の素数さん
24/01/14 02:28:18.57 WT7Agqld.net
ImT
1029:１３２人目の素数さん
24/01/14 02:28:50.96 WT7Agqld.net
T(V)
1030:１３２人目の素数さん
24/01/14 02:29:08.03 WT7Agqld.net
像
1031:１３２人目の素数さん
24/01/14 02:32:00.21 WT7Agqld.net
不変
1032:１３２人目の素数さん
24/01/14 02:32:34.97 WT7Agqld.net
外に出ない
1033:１３２人目の素数さん
24/01/14 02:32:59.59 WT7Agqld.net
制限
1034:１３２人目の素数さん
24/01/14 02:35:02.48 WT7Agqld.net
Ker
1035:１３２人目の素数さん
24/01/14 02:35:29.01 WT7Agqld.net
核
1036:１３２人目の素数さん
24/01/14 02:36:04.84 WT7Agqld.net
f(-1)(0)
1037:１３２人目の素数さん
24/01/14 02:36:33.51 WT7Agqld.net
逆像
1038:１３２人目の素数さん
24/01/14 02:37:05.90 WT7Agqld.net
f(全体)
1039:１３２人目の素数さん
24/01/14 02:37:45.25 WT7Agqld.net
g(0だけ)
1040:１３２人目の素数さん
24/01/14 02:38:00.90 WT7Agqld.net
Im
1041:１３２人目の素数さん
24/01/14 02:38:21.82 WT7Agqld.net
Kerf
1042:１３２人目の素数さん
24/01/14 02:39:31.27 WT7Agqld.net
内積が
1043:１３２人目の素数さん
24/01/14 02:40:08.95 WT7Agqld.net
定義された
1044:１３２人目の素数さん
24/01/14 02:40:38.60 WT7Agqld.net
線型空間
1045:１３２人目の素数さん
24/01/14 02:41:31.63 WT7Agqld.net
計量線型空間
1046:１３２人目の素数さん
24/01/14 02:43:00.10 WT7Agqld.net
正規
1047:１３２人目の素数さん
24/01/14 02:43:19.90 WT7Agqld.net
直交
1048:１３２人目の素数さん
24/01/14 02:43:34.83 WT7Agqld.net
基底
1049:１３２人目の素数さん
24/01/14 02:45:00.64 WT7Agqld.net
P(-1)AP
1050:１３２人目の素数さん
24/01/14 02:45:20.39 WT7Agqld.net
相似
1051:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 201日 6時間 24分 25秒
1052:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています