探検

連接層

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

ニューススポーツなんでも実況