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

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

ユークリッド空間の貼り合わせが多様体ならスキームは(環付き空間として)アフィンスキームを貼り合わせたものだもの
アフィンスキームに限ればそれでいいよ(ただし圏同値ではなく逆圏同値だけども)
0010１３２人目の素数さん
垢版 |
2017/10/22(日) 21:31:25.68ID:dcoTa3wk
俺は群スキームしか使わないから上手く説明できないけど、代数多様体に関する定理でも証明にはスキームの圏にまで広げてやることがあるらしいよ
0011１３２人目の素数さん
垢版 |
2017/10/23(月) 01:11:54.88ID:CEZGVArP
>>7 >>10
多様体論は勉強したことあるから、マニフォールドを考えずにユークリッド空間だけを考えればいいなんてことは思っていないのだが
俺はスキーム論初心者だから、アフィンスキームより複雑な構造作る必要性がよくわからんし、対象をスキームとして調べたときにどんなよいことがあるのが見当もつかない。
頭の出来が悪いので、ハーツホーンを見てもよくわからん。
その辺の必要性とかを教えてくれると非常にありがたい。
0014１３２人目の素数さん
垢版 |
2017/10/24(火) 02:47:36.44ID:ivQbe20R
スキーム論の神髄は口頭伝承的なところがあるから
ちゃんと理解している人から教えてもらうのが一番いい

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

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

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

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

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

一般に善悪問わず「スキーム」は「手法」の直訳でもある。
0058１３２人目の素数さん
垢版 |
2022/06/26(日) 16:50:38.62ID:66WNt2u4
すべての対象をスキームとする
0060 【吉】
垢版 |
2022/06/27(月) 00:38:44.33ID:iVsMxqf0
ハキームとはアラビア語で賢いを意味する。
アブデルハキームで調べた。
0061１３２人目の素数さん
垢版 |
2022/07/26(火) 14:22:46.86ID:0dyznkYi
このスキームを作ったやつは誰だ〜
■ このスレッドは過去ログ倉庫に格納されています