夏休み17日目
8/23(日) 曇りまたは雨のち晴れ
朝から涼しい。寝苦しさで起きたのではなく寒さのための腹痛で目が覚めた。健全な寝起きを保証してほしい。なんか通知が来てると思ったらtkmrさんがスターとやらを連打していたらしい。酔っ払っていたに一票。このスターとかいうやつ自分で他のブログに押す方法がわからない。その欄が見つからないのが原因なんだけど設定で消せるのかもしれない。今の所実害を被っていないので消す気はない。
どうも世間(というか中学校高校と理科大)は今日で夏休みが終わるらしい。もう終わっているところもあるのだとか。とするとこの夏休みの日記の日数が増えていくにつれてそういう人たちに刺される可能性が高くなってしまうのかもしれない。まあうちの大学も夏休みに授業がある人も居て結果的に全員が休みではないということなのでまあ許されるだろう。授業といえば3Qの集中講義にちょっと興味を持って調べていたことをちょうど専門にしている人が来るらしいのでなんとかして潜りたい。zoomだとこれが面倒なのが厳しい。日程とかの詳細が出次第直接メールを送ろうかと思う。今日はゼミなのでそれまで昨日のやつの続きを進める。Abel圏であることは分かったのでその後の加群の層の共通部分とか和とかだったはず。
ゼミをやった。結果的に8時くらいまでやっていた。演習ですごい写像がでてきて楽しかったしそのあと相談したら悩んでた完全列のやつが解けたのでとても充実していた。せっかくなので構成だけ書く。
設定
が完全なので任意の開集合でが-加群として完全。順番にととおく。このとき合成によって誘導される写像を考えてそれを
とおく。このときを示す。まずを取る。このときからの像はに入っている。しかもは単射であることが分かっている。次のようにをつくる。に対してからあるでとなるものが取れる。と定める。が単射よりこのは唯一つ定まる。またこれはで移して考えれば制限写像と可換であることがわかるのでが取れる。
に対しては全射から切断が局所的に全射である。またを合成をする写像
に対して をとると、となることからである。これから写像になることも制限写像と可換であることもわかる。
コマンドの使いすぎで読み込みが微妙になった。改行が変なところで行われている。やはりこういうところで書くことではなかったのかもしれない。次は層のテンソル積。普遍性が加群と同じように出来るというふうに書いてあったけど茎で考えれば良いのかわからない。切断でもまあ層化するまえを考えれば一意性からうまくいきそう。ひとまず考えていたことが解決されたので今日の日記はここまで。
追記
コマンドの方法とか別行立て数式の方法があるということを教えてもらったのでそれで一部練習がてら書き直した。ちょっと手間だったけど見やすくはなったから長い式とかのときは使うかもしれない。