24/01/11 06:02:32.32 b6kSf205.net
>>938 ネトウヨ 政治板で日本バンザイ天皇バンザイと絶叫する真性の●チガイ
1000:１３２人目の素数さん
24/01/11 06:03:22.68 b6kSf205.net
どこであれ国家とか君主とかを絶賛するのは、知性が欠如した正真正銘の🐎🦌
1001:１３２人目の素数さん
24/01/11 06:59:34.13 1SR0Rq8E.net
数学板公安員会ｗ
1002:１３２人目の素数さん
24/01/11 07:05:38.05 1SR0Rq8E.net
ショパン「英雄ポロネーズ」ホロビッツ
URLﾘﾝｸ(www.youtube.com)
1003:１３２人目の素数さん
24/01/11 07:19:53.23 GWyUET7U.net
URLﾘﾝｸ(www.bing.com)
1004:１３２人目の素数さん
24/01/11 10:27:42.81 1SR0Rq8E.net
うましか婆はガロ理論のストーカー、ゲロゲロ
1005:１３２人目の素数さん
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.
1006:１３２人目の素数さん
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
1007:１３２人目の素数さん
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 から 不要
1008:１３２人目の素数さん
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”は、中身見てないが貼ります
1009:(参考) 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
1010:１３２人目の素数さん
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。
1011:１３２人目の素数さん
24/01/11 18:14:29.35 b6kSf205.net
>>948 コピペじゃない何か書けるまで、ROMでお願いします
1012:１３２人目の素数さん
24/01/11 21:40:22.43 1SR0Rq8E.net
324 名前：１３２人目の素数さん[] 投稿日：2024/01/11(木) 21:20:35.64 ID:gSBOSNgp
>>232
>Malgrange先生もGrenobleで声をかけてもらったり
>頼まれてプレプリントをお送りしたこともあったので
>忘れがたい。
ああ、そうだったのですね
Malgrange先生の御逝去は、私もさきほどの検索でしりました
Malgrange先生は、偏微分方程式論の大家で 佐藤超関数に対してSchwartz超関数でもって先行して結果を出していた
そんな話を思い出しました（というか、それしか知りませんが）
ところで、youtubeで”The Nakano vanishing theorem for positive line bundles”という動画があったので
下記を貼っておきますね。なんで、”The Nakano vanishing theorem”を？
がずいぶん不思議に感じます
” Reference: Demailly agbook sections VI.5, VII.1-3.”が挙っているので、ここにネタがあるのでしょうか？
URLﾘﾝｸ(www.youtube.com)
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.
1013:１３２人目の素数さん
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(π)は無理数である。
1014:１３２人目の素数さん
24/01/11 22:26:29.49 1SR0Rq8E.net
おっちゃんすげー
1015:１３２人目の素数さん
24/01/13 08:34:22.85 PytsAYdN.net
Bogomolov-Sommese vanishing
1016:１３２人目の素数さん
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
1017: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
1018:１３２人目の素数さん
24/01/13 17:54:52.13 knSdCJ7q.net
>>954 コピペと、数学と無関係の人名の話じゃない何か書けるまで、ROMでお願いします
1019:１３２人目の素数さん
24/01/14 01:36:53.69 WT7Agqld.net
固有値aに属する
1020:１３２人目の素数さん
24/01/14 01:37:40.03 WT7Agqld.net
n次ジョルダン細胞
1021:１３２人目の素数さん
24/01/14 01:39:14.71 WT7Agqld.net
Jna
1022:１３２人目の素数さん
24/01/14 01:39:50.98 WT7Agqld.net
対角成分a
1023:１３２人目の素数さん
24/01/14 01:40:09.84 WT7Agqld.net
右上1
1024:１３２人目の素数さん
24/01/14 01:40:43.47 WT7Agqld.net
他は0
1025:１３２人目の素数さん
24/01/14 01:43:53.11 WT7Agqld.net
ジョルダン行列
1026:１３２人目の素数さん
24/01/14 01:44:38.83 WT7Agqld.net
ジョルダン標準形
1027:１３２人目の素数さん
24/01/14 01:46:45.71 WT7Agqld.net
冪零線型変換
1028:１３２人目の素数さん
24/01/14 02:13:43.06 WT7Agqld.net
正則
1029:１３２人目の素数さん
24/01/14 02:14:06.19 WT7Agqld.net
可逆
1030:１３２人目の素数さん
24/01/14 02:15:51.03 WT7Agqld.net
多項式空間
1031:１３２人目の素数さん
24/01/14 02:22:29.61 WT7Agqld.net
固有空間
1032:１３２人目の素数さん
24/01/14 02:23:54.90 WT7Agqld.net
特性多項式
1033:１３２人目の素数さん
24/01/14 02:24:21.99 WT7Agqld.net
特性方程式
1034:１３２人目の素数さん
24/01/14 02:24:43.91 WT7Agqld.net
特性根
1035:１３２人目の素数さん
24/01/14 02:25:04.79 WT7Agqld.net
固有値
1036:１３２人目の素数さん
24/01/14 02:25:28.91 WT7Agqld.net
固有方程式
1037:１３２人目の素数さん
24/01/14 02:25:38.37 WT7Agqld.net
固有方程式
1038:１３２人目の素数さん
24/01/14 02:26:10.63 WT7Agqld.net
固有多項式
1039:１３２人目の素数さん
24/01/14 02:26:33.18 WT7Agqld.net
固有ベクトル
1040:１３２人目の素数さん
24/01/14 02:28:18.57 WT7Agqld.net
ImT
1041:１３２人目の素数さん
24/01/14 02:28:50.96 WT7Agqld.net
T(V)
1042:１３２人目の素数さん
24/01/14 02:29:08.03 WT7Agqld.net
像
1043:１３２人目の素数さん
24/01/14 02:32:00.21 WT7Agqld.net
不変
1044:１３２人目の素数さん
24/01/14 02:32:34.97 WT7Agqld.net
外に出ない
1045:１３２人目の素数さん
24/01/14 02:32:59.59 WT7Agqld.net
制限
1046:１３２人目の素数さん
24/01/14 02:35:02.48 WT7Agqld.net
Ker
1047:１３２人目の素数さん
24/01/14 02:35:29.01 WT7Agqld.net
核
1048:１３２人目の素数さん
24/01/14 02:36:04.84 WT7Agqld.net
f(-1)(0)
1049:１３２人目の素数さん
24/01/14 02:36:33.51 WT7Agqld.net
逆像
1050:１３２人目の素数さん
24/01/14 02:37:05.90 WT7Agqld.net
f(全体)
1051:１３２人目の素数さん
24/01/14 02:37:45.25 WT7Agqld.net
g(0だけ)
1052:１３２人目の素数さん
24/01/14 02:38:00.90 WT7Agqld.net
Im
1053:１３２人目の素数さん
24/01/14 02:38:21.82 WT7Agqld.net
Kerf
1054:１３２人目の素数さん
24/01/14 02:39:31.27 WT7Agqld.net
内積が
1055:１３２人目の素数さん
24/01/14 02:40:08.95 WT7Agqld.net
定義された
1056:１３２人目の素数さん
24/01/14 02:40:38.60 WT7Agqld.net
線型空間
1057:１３２人目の素数さん
24/01/14 02:41:31.63 WT7Agqld.net
計量線型空間
1058:１３２人目の素数さん
24/01/14 02:43:00.10 WT7Agqld.net
正規
1059:１３２人目の素数さん
24/01/14 02:43:19.90 WT7Agqld.net
直交
1060:１３２人目の素数さん
24/01/14 02:43:34.83 WT7Agqld.net
基底
1061:１３２人目の素数さん
24/01/14 02:45:00.64 WT7Agqld.net
P(-1)AP
1062:１３２人目の素数さん
24/01/14 02:45:20.39 WT7Agqld.net
相似
1063:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 201日 6時間 24分 25秒
1064:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています