25/12/16 01:34:35.79 vVEM8kui.net
構造層O_XがO_X加群として連接なのは自明だと思うんだけど何でこれが大定理なんだ？
3:１３２人目の素数さん
25/12/16 01:45:40.55 osLHX6v/.net
Xを環付き空間
任意の点xに対して、xの近傍Uと、有限生成O_X(U)-加群Mが存在して、F|U ～ M∼
4:１３２人目の素数さん
25/12/16 01:47:37.49 AqyrK3OP.net
各Uはアファインね
5:１３２人目の素数さん
25/12/16 08:38:25.46 RYmpkiEx.net
局所ネータースキームに対して同値になる特徴付けを定義にしているから
6:１３２人目の素数さん
25/12/16 09:01:44.28 u/iMHUiO.net
解析空間での定理
自明なら証明してくれ
7:１３２人目の素数さん
25/12/16 10:34:16.93 eJkKRNlK.net
>>6
自明じゃないならどう自明じゃないのか言えよ
8:１３２人目の素数さん
25/12/16 10:54:06.18 P6/7suL7.net
>>6
>>3でMとしてO_X(U)を取ればよい。□
9:１３２人目の素数さん
25/12/16 11:08:33.62 u/iMHUiO.net
解析空間での岡の定理
自明ですか？
10:１３２人目の素数さん
25/12/16 11:28:58.49 do+P8AXa.net
岡の定理って何ですか？
11:１３２人目の素数さん
25/12/16 11:51:51.01 T3rYFec4.net
関係式の層が局所有限生成
12:１３２人目の素数さん
25/12/16 12:20:36.45 R+8ajRif.net
>>9
知らんわ
お前が話題に出したんだからお前が説明しろ
独り言呟いて上手いこと言ったつもりになってるのいかにも陰キャっぽいぞ
13:１３２人目の素数さん
25/12/16 12:21:39.78 u/iMHUiO.net
あとは専門家にお任せ
14:１３２人目の素数さん
25/12/16 14:14:25.96 do+P8AXa.net
説明できないので逃亡
15:１３２人目の素数さん
25/12/16 14:21:55.64 GeLOkZc0.net
ネーター性とどう違うの
16:１３２人目の素数さん
25/12/16 20:24:36.49 QR6bYE2p.net
閉多重円板上の正則関数環の
ネーター性」はN先生の修論
17:１３２人目の素数さん
25/12/18 16:33:37.29 DX1hqZXh.net
有限生成加群層がアーベル圏をなす
18:１３２人目の素数さん
25/12/18 19:31:22.55 1UYiTh6r.net
ネーター加群と連接加群はどっちが強いんだ
19:１３２人目の素数さん
25/12/18 20:06:46.25 +01QaTD1.net
連接加群？
20:１３２人目の素数さん
25/12/19 07:48:13.34 OiLIRM+5.net
連接加群を知らんとか
21:１３２人目の素数さん
25/12/19 08:30:05.78 0eFbxpYx.net
連接加群ではなく
22:１３２人目の素数さん
25/12/24 06:09:30.26 ArDCoxFr.net
L²評価で進んだ