探検

スキームとは一体何なのか教えてくれ

■ このスレッドは過去ログ倉庫に格納されています
2017/10/21(土) 17:43:21.27ID:VtqrS5wP
どうやら非常に上手く出来ている数学的対象のようだがイマイチよくわからん
2017/10/21(土) 20:04:48.68ID:LhgHsq7C
環付き空間の発展系
3１３２人目の素数さん
垢版 |
2017/10/21(土) 22:57:35.71ID:uHbw1t42
スキームは環付き空間の特別なやつなんだが
発展系ではないw
2017/10/21(土) 23:15:14.83ID:LhgHsq7C
「発展」系を含包関係として使ってるのではなく時系列として使ってるつもりなんだが…。
解析系の発展方程式の「発展」も時間的発展のこと指してるよね。

>>3はカタカナのハッテン場でホモの相手してる方が層係数コホモロジー扱うよりお似合いなんじゃないの？。日本語苦手でもホモなら言葉なんて要らないだろうしなw。
2017/10/21(土) 23:49:05.12ID:VtqrS5wP
スキーム論＝可換環論
2017/10/21(土) 23:55:08.98ID:VtqrS5wP
途中で書き込んでしまった
アフィンスキームの圏って可換環の圏と圏同値なんだから
>>5ってことでおｋ？
7名無しさん＠そうだ選挙に行こう！ Go to vote!
垢版 |
2017/10/22(日) 08:53:01.94ID:dcoTa3wk
(位相、可微分etc)多様体論=ユークリッド空間くらいに的はずれ

ユークリッド空間の貼り合わせが多様体ならスキームは(環付き空間として)アフィンスキームを貼り合わせたものだもの
アフィンスキームに限ればそれでいいよ(ただし圏同値ではなく逆圏同値だけども)
2017/10/22(日) 14:04:47.12ID:1uTtN8Lt
>>7
物理やさんだと多様体の抽象論すっ飛ばして高次元に埋め込める局所的にユークリッドな空間？扱いでどんどこ議論進めちゃう教科書があるらしい。
2017/10/22(日) 21:07:07.34ID:hwbjdz4i
アフィンスキームでないスキームを考える利点ってなんなの
2017/10/22(日) 21:31:25.68ID:dcoTa3wk
俺は群スキームしか使わないから上手く説明できないけど、代数多様体に関する定理でも証明にはスキームの圏にまで広げてやることがあるらしいよ
2017/10/23(月) 01:11:54.88ID:CEZGVArP
>>7 >>10
多様体論は勉強したことあるから、マニフォールドを考えずにユークリッド空間だけを考えればいいなんてことは思っていないのだが
俺はスキーム論初心者だから、アフィンスキームより複雑な構造作る必要性がよくわからんし、対象をスキームとして調べたときにどんなよいことがあるのが見当もつかない。
頭の出来が悪いので、ハーツホーンを見てもよくわからん。
その辺の必要性とかを教えてくれると非常にありがたい。
2017/10/23(月) 18:08:25.34ID:2gYkQHkV
代数なんてスキーマ産業だってことじゃないの
2017/10/24(火) 02:23:29.51ID:XpNULiQ8
ハーツホーン読んでるのか
頭いいなあ
2017/10/24(火) 02:47:36.44ID:ivQbe20R
スキーム論の神髄は口頭伝承的なところがあるから
ちゃんと理解している人から教えてもらうのが一番いい

的な話を聞いたことがある

ということで、スキーム論の神髄を誰か教えてｴﾛい人！
2017/10/25(水) 18:14:47.70ID:ukfe3xZK
∧＿∧
( ´･ω･) 強い人の降臨をお茶飲みながら待ちますか。
( つ旦O
と＿)＿) 旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦
2017/10/25(水) 21:27:10.32ID:a/Q1xdU7
教えて言うんじゃなくて、自分から色々話題提供しろよ。
スキーム導入のモチベーションが知りたいなら歴史的に文献遡る必要があるだろ。ハーツホーンのリファレンスを参考にして内容を知っておくべき論文を収集することからはじめろ。
2017/10/26(木) 13:10:24.61ID:Ou+fjlCc
環準同型で
極大イデアルの逆像は極大イデアルとは限らないが
素イデアルの逆像は素イデアルである
これが基礎
2017/10/27(金) 16:20:24.27ID:OiKXHOru
極大イデアルだけでなく素イデアルも考えることの利点って
素イデアルの逆像が素イデアルになるから対象間の射が適切に定義できる点
既約部分多様体も1点と見ることができる点
の他にもある？
2017/10/27(金) 18:50:49.05ID:6TzkpfXg
数論との親和性
20１３２人目の素数さん
垢版 |
2017/10/27(金) 19:54:28.83ID:iTgfjbq2
ご参考までに
https://burttotaro.wordpress.com/2010/12/16/how-to-like-schemes-in-the-right-way/
2017/10/27(金) 21:03:07.44ID:OiKXHOru
なるほどなるほど
一般の体上の有理点をシステマチックに扱えるんですね
確かに数論との親和性が高そう
2017/10/27(金) 21:23:10.81ID:OiKXHOru
可換環や多項式の零点なんかはもちろんスキームだけど
すべての閉リーマン面を含むある種の複素多様体も実はスキームらしい
そういう広範囲の対象をスキームという一つの概念として扱えるのもメリットなんかな？
そもそも複素多様体のような連続っぽい多様体と多項式の零点のような数論っぽい多様体との共通の枠組みを作るってのがスキームを作ったモチベっぽい？
2017/10/29(日) 05:07:35.67ID:tjCF6voy
多項式系の零点集合上で
ファイバー束とか交叉理論とか分岐理論とかとか
本格的な幾何学をやろうとしたら
何重根なのかとかの詳しい情報が対象上に乗っかててほしい
スキームとして考えると関数環にそういう情報が詰め込まれてる
だからスキームとして考えると理論がうまくいく
こんな感じか？
2017/10/31(火) 07:49:58.52ID:yRKxpE8Y
￥
2017/10/31(火) 07:50:16.51ID:yRKxpE8Y
￥
2017/10/31(火) 07:50:33.33ID:yRKxpE8Y
￥
2017/10/31(火) 07:50:51.14ID:yRKxpE8Y
￥
2017/10/31(火) 07:51:09.23ID:yRKxpE8Y
￥
2017/10/31(火) 07:51:26.27ID:yRKxpE8Y
￥
2017/10/31(火) 07:51:49.42ID:yRKxpE8Y
￥
2017/10/31(火) 07:52:06.48ID:yRKxpE8Y
￥
2017/10/31(火) 07:52:24.04ID:yRKxpE8Y
￥
2017/10/31(火) 07:52:41.04ID:yRKxpE8Y
￥
34１３２人目の素数さん
垢版 |
2018/01/22(月) 13:32:13.85ID:Df2n+TON
耳栓をしたら世界が変わってワロタ
2018/03/31(土) 23:03:33.72ID:vKWKnFLC
>>22
ハーツホーンの序文を読もう
2018/04/06(金) 07:24:40.09ID:I+Mybrk/
￥
2018/04/06(金) 07:24:57.43ID:I+Mybrk/
￥
2018/04/06(金) 07:25:14.91ID:I+Mybrk/
￥
2018/04/06(金) 07:25:29.34ID:I+Mybrk/
￥
2018/04/06(金) 07:25:49.54ID:I+Mybrk/
￥
2018/04/06(金) 07:26:11.86ID:I+Mybrk/
￥
2018/04/06(金) 07:26:34.74ID:I+Mybrk/
￥
2018/04/06(金) 07:26:56.65ID:I+Mybrk/
￥
2018/04/06(金) 07:27:16.76ID:I+Mybrk/
￥
2018/04/06(金) 07:27:37.57ID:I+Mybrk/
￥
2018/07/23(月) 10:54:36.54ID:hHm6swKX
>>11
非数学家なんで不正確だろうけど
代数幾何学の主要な考え方として双有理同値（有理写像という双方向の変数変換）による図形の分類がある

１．射影空間のスキームはアフィンスキームの張り合わせで作ることが出来る
２．射影空間を取り扱うのは特異点を解消するのに必須
３．特異点の解消は双有理変換であるので解消後の図形とは双有理同値である

以上より、特異点を含まない？穏やかな図形の性質を見ることが出来る
”特異点を含まない？”の？は代数曲線では含まないでいいらしいけど、より高次元では
穏やかな特異点は許容するらしいから
47１３２人目の素数さん
垢版 |
2018/08/05(日) 12:26:26.32ID:txWpcULJ
モチーフはモッチーの麩
2018/08/07(火) 15:41:05.41ID:8woJxtKJ
>>9
例えば射影空間、Projとかはアフィンの張り合わせで、
アフィンスキームではないけど重要
2020/03/01(日) 01:09:35.38ID:WtUlMEXK
暇だから釣りをする
朝日新聞　自作自演のフリ　エロいmp4動画
50１３２人目の素数さん
垢版 |
2020/09/09(水) 22:37:29.95ID:IR7822fG
可換代数の構造射の貼り合わせ
普遍構成は局所的にはテンソル積
51１３２人目の素数さん
垢版 |
2020/09/15(火) 21:48:35.12ID:oug42vb/
表現可能関手
2020/10/27(火) 07:48:41.38ID:Qpi1JQGL
スキームの直観的な説明はプリンストン数学大全が
結構分かり易かった印象
2021/07/14(水) 23:37:47.25ID:1Xy1rN2+
私をスキームに連れてって
54１３２人目の素数さん
垢版 |
2022/06/07(火) 06:33:10.11ID:Czqb+IbV
スキームって悪い意味もあるみたいね
「田舎から出てきた生娘をシャブ漬けにする」戦略もスキーム
55１３２人目の素数さん
垢版 |
2022/06/07(火) 08:18:36.27ID:dHBVQ9f3
スキームとは犯罪的思考法なのですか？
2022/06/08(水) 02:45:58.13ID:GNmGIKYw
>>54-55
詐欺とか犯罪の手法も日本語の方寒横文字でスキームとよく呼ぶ。

一般に善悪問わず「スキーム」は「手法」の直訳でもある。
2022/06/08(水) 02:46:41.83ID:GNmGIKYw
>>54-55
詐欺とか犯罪の手法も日本語のカタカナ横文字でスキームとよく呼ぶ。

一般に善悪問わず「スキーム」は「手法」の直訳でもある。
58１３２人目の素数さん
垢版 |
2022/06/26(日) 16:50:38.62ID:66WNt2u4
すべての対象をスキームとする
2022/06/26(日) 19:42:11.91ID:ECW7PHAC
短距離走が速い人。
2022/06/27(月) 00:38:44.33ID:iVsMxqf0
ハキームとはアラビア語で賢いを意味する。
アブデルハキームで調べた。
61１３２人目の素数さん
垢版 |
2022/07/26(火) 14:22:46.86ID:0dyznkYi
このスキームを作ったやつは誰だ〜
2022/07/31(日) 03:22:53.94ID:SaTR9VXD
スアキムはONEに出てる。
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況