3Q45日目
11/14(土) 晴れ
9時頃に一回目が覚めた気がするけどいつの間にか11時過ぎになっていた。発表の方は聞けなかった。明日も午前中にバイトが入ってしまっているので聞けない。今日の午後はゼミだけど13時からだったので結構ギリギリだったかもしれない。ご飯は食べ終わった。今日はそこまでたくさんの問題をやらなかった。一つ自分で考えてみたものの全然わからないやつがあって難しかった。抽象的なまま構成を放置してしまっているところがある。
お腹が空いたので早めに抜けた。やはり数学をやるとお腹が空く。
ご飯の前に涼宮ハルヒが読み終わったあとに読もうと思っていたコンビニ人間を読んだ。めちゃくちゃおもしろかった。すごい気持ち悪さを感じた。主人公に対しても少しあったけどそれよりも主人公に対する対応がたった一つ男と同棲したということだけで全く違うものになるのとか結婚しないものとか就職しないものを向こう側と認識してるような人の描写がものすごく怖かった。無条件で自分たちの方を多数派だと思っている人たちが怖すぎる。なんで他人にそこまで興味が持てるんだろうか。これを読んだ他の人がどういう感想を抱くのかめちゃくちゃ気になる。どちらかといえば主人公側の人間のほうが多いと思ったけどもしかして今の環境がそうなだけで実際は少数派なのだろうか。読書感想文を書かせていた国語の先生の気持ちはこういうのも少しあったんだろうか。せっかくなので人間失格の横に保管することにした。短編だし人間失格の現代的なバージョンだと思っても良いのではないだろうか。
ご飯を食べたあとは実況を見ながら数学をやった。昨日示したあとのrelative spectrumの性質についてやった。いつもどおり逆像がbase changeの形になることとかをまず示した。あとrelative spectrumを取る関手が忠実充満であることとか。
その後はこの章のメインであるvector bundleを定義した。定義はschemeとその上のquasi-coherent-moduleについて
と定義される。局所自明性とかは特殊な条件下じゃないとだめそう。例えばlocally freeとか。とりあえずこれが反変関手になっていることとかやっぱり逆像がbase changeになってることとか示した。あとこれはrelative spectrumよりも特殊な感じの表現可能艦首になっている。次の通り。
主張
任意の-schemeについて
が成り立つ。ただし最後の記号は双対。
これはそこまで大変じゃない。今まで出てきた同型を使うだけ。
このときとくに恒等写像を取っての零元に対応する-schemeの射が取れる。affine open上で考えるとこれはでの元はすべて0に飛ばすようなものに対応する射になっている。このことからこれはの構造射に対する切断になっている。これをzero sectionという。
また、特にを取る。このとき双対がはずせることとか考えるととなることも分かる。自明なvector bundleって感じ。ということは局所的にこれになるlocally freeについてはやっぱり局所自明性的なのが成り立っているっぽい気がしてきた。このときのzero sectionはで各変数を0に飛ばすような射になっている。それとか考えると幾何学的にはのzero sectionによる像は構造射におけるfiberに入っている。特にaffine openなところで考えればの零イデアルに対応する。まあつまり構造射のファイバーの中でうまいことになってるらしい。ここらへんはもう少し考えないとよくわからない。次はlocally freeに対してvector bundleを考える。明日本格的にやることとして今日は眺めるだけとする。明日は早いので今日はここまで。