3Q60日目
11/30(月) 晴れ
9時ごろに目覚ましで起きた。授業もバイトもないから目覚ましを切っておくべきだったことを目覚ましがなってから気づいて虚無になった。まあしょうがないので起きて配信とか見ながら数学をやった。
divisorの定義とか基本的な性質とかは昨日やったので今日はそれから誘導される層について取り扱った。1つ目はinvertible fractional idealとかいうやつ。total fractional sheafの部分層として定義している。また、divisorからその表示している元を考えて局所的な一元生成の加群の貼り合わせでイデアル層を得た。これによってdivisorとinvertible fractional idealの間の群同型が得られた。結局total fractional sheafの中の包含関係で考えればよかったので局所的な貼り合わせが明示されているだけで十分だった。次はそれの逆元っぽい感じで層を新たに作った。次の通り
と定義される。特にdivisor をで表示したとすると、と表すことができる。これ使うと何じゃないかと思ってるんだけどどうなんだろう。もしそうだとするとあんまりこれを考えるメリットがないけどまあ記号的な問題なんだろうか。とくにこっちを採用することでからが必要十分になっている。そこらへんをやりつつたまに本を読みつつ一日を過ごしていた。
今日は11月最後の日で明日から12月でもうそろそろ1年が終わってしまう。今読んでいる数学書もちょうど一年前くらいに読み始めたからもうそんなに経ったのかという感じ。他の本だったらページ数的にはもっと読めていたのかもしれないけど細かく丁寧に書いてあるこれだったから逆にここまで進めたのかもしれないと思う。とりあえずまだ飛ばすところはあれど読み進めるつもり。
最後にやろうとしていたところで止まってしまった。effective divisorについて定義からでとくに可逆層だからquasi-compactであること使ってこれに付随するclosed subschemeが手に入る。それもと書くとき、であることが示せない。を使ってやろうとしてもわからない。というかそもそもだから任意のについてだから特にだからよくわからない。
悩んでも仕方がないのでお風呂に入ってきた。この時期の入浴は体が冷えるだけでほとんどメリットがない。かろうじて冷えた体で布団にくるまるときにいつもより温度の変化が大きくてちょっと暖かくなるくらい。
ちょっと考えていたらわからない原因が分かった。の定義を勘違いしていた。supportに引っ張られてをその点におけるの芽が0になるものと思っていたけど、実際はとなる点だった。つまり芽が極大イデアルに入らないことと同値だったからそれとsupportの方の議論をまとめればで可逆元であるかどうかというところで同値性が言える。さらにだからだめなんじゃないかと思ってたのも杞憂だった。つまり、別にだからといってとは限らないというところで、で可逆元であるということはただ0ではないということしか言えていなくてそれは極大イデアルに入っているかという議論に全く関係がなかった。万事解決。
そのままの勢いで完全列も示して終わった。見た目綺麗だったので書いておく。
ただし-moduleとして考えているから実際は上の構造層になっているはそのclosed immersionによる順像を考えないといけない。証明は定義から明らかと言うかただの準同型定理だった。
その次はregularly immersed of codimention 1という条件のsubschemeとこの対応に依ってeffective Cartier divisorとが一対一に対応していることが書いてある。そんでもってちょっと前にやったDedekind scheme上の、とくに上のdivisorから作られる層についての演習問題を解いたときに参考にした命題を示す。多分principalとかの同値性のところだからwell-defined性とかのところで参考にしたっぽい。あのときの例はまさに付値を使って極と零点を数える形の層でいかにもmeromorphic functionだったのでまた見返しておこうとおもう。
寒くなってきたし11月も終わってしまったけどどうせ家からほとんどでないから適度に体に気をつけて過ごしていきたい。3Qも実質終わっていてもう授業もなにもない。クオーター休み的なのが一応出来た。研究室アンケートに一応書き込みだけはしてまだ送信しないでおく。絶対に忘れないようにしたい。今週金曜日までだから木曜日に提出しようと思う。
こんなところで日記は終わりにする。寝る前に本を読んで寝る。