Spec(ℤ)について語るスレ【代数幾何】【数論幾何】

**１３２人目の素数さん** · 2023/08/31(木) 20:13:02.45

有理整数環ℤのスペクトルSpec(ℤ)について語るスレです。

**１３２人目の素数さん** · 2023/09/01(金) 16:40:49.27

Spec はスキームじゃないよって話
http://waheyhey.com/math/Englishtemplete.pdf

**１３２人目の素数さん** · 2023/09/02(土) 13:22:17.85

何で位相絡めたのか謎

**１３２人目の素数さん** · 2023/09/03(日) 03:32:38.95

そんなのは暗黙の了解だから

**１３２人目の素数さん** · 2023/09/03(日) 05:02:33.44

hogehogeとか見るとどうしようもない古臭さを感じる

**１３２人目の素数さん** · 2023/09/03(日) 09:35:18.16

>>2
これってZは環じゃないよ、(Z,+,*)だよ、というのと同じで、
省略してるだけだよな

**１３２人目の素数さん** · 2023/09/03(日) 10:15:18.49

まあネットで定義とか基本的な考え方(図形と関数の双対性)とかを聞き齧っただけの人には混乱するポイントなんだろう
で、多分この著書もその経験をしたと見た

**１３２人目の素数さん** · 2023/09/03(日) 11:03:29.64

>>7
混乱している人をより混乱させる文章
啓蒙に慣れてない科学者がよくやる失敗

**１３２人目の素数さん** · 2023/09/03(日) 21:43:08.84

ちょっとセンセーショナルなタイトルをつけたかっただけでしょ
別に騒ぐほどではない

**１３２人目の素数さん** · 2023/09/04(月) 01:36:50.40

どこが騒ぎなのか

**１３２人目の素数さん** · 2023/09/12(火) 00:44:22.78

Spec(Z)は三次元閉多様体
Spec(F_p)は一次元閉多様体
このアナロジーが数論的結び目理論らしい

**１３２人目の素数さん** · 2023/09/12(火) 03:21:39.96

p,qの相互律は円と円の絡み数と見れるとか書いてるね

**１３２人目の素数さん** · 2023/09/12(火) 05:35:03.33

F_1を1元体とする
Spec(F_1)とは何か

**１３２人目の素数さん** · 2023/09/12(火) 09:21:40.58

>>13
F_1={0=1}、つまり零環なので、Spec(F_1)とは空スキームのこと

**１３２人目の素数さん** · 2023/09/12(火) 13:48:15.98

Specってなんだよ

**１３２人目の素数さん** · 2023/09/13(水) 05:10:06.37

まずは、おまいのスペックから聞こうか

**１３２人目の素数さん** · 2023/09/13(水) 11:20:37.69

なぜか素イデアルが話題にならない

**１３２人目の素数さん** · 2023/09/13(水) 11:41:43.26

Zの素イデアルは(0)、(2)、(3)、(5)、(7)、……
話題あるかな

**１３２人目の素数さん** · 2023/09/13(水) 12:21:50.36

埋め込み方、つまり射が重要

**１３２人目の素数さん** · 2023/09/13(水) 23:11:58.32

**１３２人目の素数さん** · 2023/09/14(木) 05:21:45.88

Spec(ℤ)について語るスレ【代数幾何】【数論幾何】
http://rio2016.5ch.net/test/read.cgi/math/1672828361/

**１３２人目の素数さん** · 2023/09/14(木) 08:59:29.56

結局環論
但し観点が肝心

**１３２人目の素数さん** · 2023/09/14(木) 09:00:03.84

非可換環のスキームってあるの？