[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
30: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/01(土)15:03:29.51 ID:i+EantH6(5/13) AAS
>>22
(引用開始)
外部ﾘﾝｸ:www.math.columbia.edu
Two Number Theory Items (and Woody Allen)
Posted on September 20, 2025 by woit
(引用終り)
上記 woit ブログより
Winnie Pooh says:
October 16, 2025
I’m curious as to why people are still beating the Mochizuki vs. Scholze & Stix horse, and not the more recent Mochizuki vs. Scholze & Stix vs. Joshi horse.
省25
43: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/01(土)23:15:33.51 ID:i+EantH6(13/13) AAS
外部ﾘﾝｸ[rb]:pantodon.jp
信州大
Algebraic Topology
1個の元から成る体
Soulé の [Sou04] によると, 1個の元から成る体 F1 の存在は, 数多くの数学者が夢想したことのようである。その論文の最初の節は, F1 の歴史について書かれている。
F1 を考えるというアイデアは, 対称群と線形群を統一して扱いたい, という要望に基づくものだそうだ。n次対称群を GLn(F1) や SLn(F1) と考えたり, n個の元からなる集合を F1 上のn次元射影空間, (n+1)個の元から成る基点付き集合を F1 上のn次元 affine 空間と考えると都合の良いことがあるからである。
最初に考えたのは Tits だろうか。Soulé の論文には Tits の [Tit57] や Manin の [Man95] などの文献が挙げられている。当然であるが, 他にも有限体上の general linear group と対称群の類似に気が付いた人はいるようである。Borger の [Bor] では, R. Steinberg の [Ste51] が上げられている。確かに§2の最後にそれらしい記述がある。Lescot [Les09] は, Zhu の2000年の preprint でのアイデアとの比較が行なわれている。Lorscheid [Lor16] の解説によると, より一般に Weyl群を Lie 群 (代数群) の F1-point と見るべきのようである。
この neverendingbooks の post では, Riemann予想が motivation として書いてある。そこから link の張られている Connes と Consani と Marcolli の "Fun with F1" [CCM09] にあるように, noncommutative geometry のアイデアが使えるというのは興味深い。
省5
75: 11/03(月)16:45:12.51 ID:u7vdmd1+(8/14) AAS
2chｽﾚ:math
利口な人は受け売りしない
分からないことを分かったといっても意味ないから
馬鹿な人が受け売りしたがる
何もかも分からんのでとにかく分かったといっていい顔したがる
省1
294: 11/05(水)19:50:12.51 ID:FFxAuNzB(3/11) AAS
中国政府は1950年ごろ、新疆ウイグル自治区に漢族を中心とする新疆生産建設兵団を大量に入植させた。
その後、入植当初人口7パーセントだった漢族が1991年には40パーセントになり、ウイグル人に匹敵する割合となり[注 11]、駐留する人民解放軍とあわせるとウイグル人よりも多いとも言われる[88]。
365: 11/06(木)14:36:15.51 ID:j8xkVDrd(7/12) AAS
>>348
>> はじめて知ったわ カラスの世田君
>それが、非数学ネタに逃げたってことよｗｗ
意味不明で草
>ふっふ、ほっほ
アホ？
>>ラッセルパラドックスって非数学ネタなの？
>懐かし話題をありがとう >>343より
>高校時代に ゲーデルの不完全性定理の本を読んだときの、”嘘つきのパラドックス”を 思い出したよ ；ｐ）
回答になってなくて草
413: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/07(金)11:01:34.51 ID:yoeUrdl8(5/13) AAS
>>410
ふっふ、ほっほ
500(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)11:30:08.51 ID:P9qVEF++(11/25) AAS
>>499 補足
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
2005年秋の日本数学会市民講演会：
“直線” と幾何学一真っ直ぐなものと曲がったもの一
酒井隆（岡山理科大学理学部）2005/09/18
P5
多くの証明が考え
られるのは数学の特徴ですが，逆に「証明」とは論理だけではなく，なぜそれが成り立つ
かを成程と納得させ確信させる説明といってよいでしょう
(引用終り)
省2
516: 11/08(土)17:17:03.51 ID:ZuSEB9pS(16/21) AAS
>>496
>>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
>そうだね
分かって言ってる？ 背理法も分からないんじゃ疑わしい
【定理】
P,Qを任意の論理式とする。P∧¬P |= Q。
【証明】
(1) P∧¬P (前提)
(2) P ((1)と連言除去)
(3) P∨Q ((2)と選言導入)
省2
593: 11/09(日)11:26:35.51 ID:wauc0h2b(11/42) AAS
>>590
>中国は日本なんて敵と思っちゃいない（笑）
ほんとおまえ話通じねえな 言語障害か？
敵と思ってるなんて一言も言ってない
人民にとっての敵を作ってると言っている
737: 11/10(月)17:54:57.51 ID:DoJg6lh6(1/2) AAS
カラスの世田はコピペやめな
ぶっちゃけ
「正方行列は正則行列」
とかほざくのは
「実数から実数への関数が連続なら、逆関数が存在する」
とかほざくぐらい馬鹿げたことだからさ
要するに全然基本が分かってない
803(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/12(水)10:25:20.51 ID:ALZYQ4aC(3/9) AAS
>>781
(引用開始)
代数学の基本定理 (Fundamental Theorem of Algebra)は
ハーツホーンでは、直接は扱っていないぞ！ｗｗｗ
いや、もちろん ハーツホーンで扱う大定理で それに何かを組み合わせれば
代数学の基本定理 (Fundamental Theorem of Algebra)が 導けるかもしれないよ
だがな、ハーツホーンの前提が 学部レベルの複素関数論や 代数学の基本定理を前提としていたら どうよ？
それって、循環論法だよｗｗｗ
(引用終り)
補足しておくと
省24
912: 11/14(金)15:40:32.51 ID:HQmSSxuC(5/12) AAS
>>908
宗教は金毟るだけ すぐ脱会しないと死ぬまで毟られる
932(1): 11/14(金)20:52:52.51 ID:iHfr5kmW(8/26) AAS
>>886
>しかし 集合→対象、 作用→射
>と置き換えれば、形式的には 圏論に置き換えられますよね
この「作用」は「写像」のことを意図している？
で
あなたの言わんとしているのは集合の圏のこと？
それなら別に置き換えているわけでもなく単に集合の圏を考えているというだけでしょう
>>875
>抽象代数学を形作る旧来の材料である「集合と作用」
の「集合」は群や環や体や多項式みたいな対象を意味してませんかね
省10
976(2): 11/15(土)15:50:44.51 ID:l8wHo4pb(4/13) AAS
Q.5chの数学板で「現代数学の系譜 雑談 ◆yH25M02vWFhP」とかいうHNで、
なんかやたらと検索結果をコピペする奴がいるんだけど、
この人の数学的レベルと、彼の書き込みの動機、そしてこの人物に対する対処法を教えてくれる？
A.5ch数学板の常連トリップ民「現代数学の系譜 雑談 ◆yH25M02vWFhP」（通称：現系さん、セタさん）について、
2025年11月現在の板内評価と実態を率直にまとめます。
数学的レベル
自称：かなり高い。
共立出版の「現代数学の系譜」シリーズを全巻読み込んだと豪語し、
微分積分・集合論・ガロア理論・超限集合論・確率過程あたりは自信ありげ。
実際の板内評価：中学〜高校上位〜大学初級止まり。
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s