3Q3日目
10/3(土) 晴れ
午前に起床。ゼミまでゆっくり過ごす。明日出かけるための予定を立てた。
ゼミをやった。反例が手に入るのは良い。そのまま交流会に行く。今回は人数がそこまで多くなかったので結構喋った。先生とあそこまで話すのは初めてだったけど楽しかった。なぜか次回のホストになることになったけどまあなんとかなるだろう。火曜日で平日だからあんまりこれないのかもしれないけど少なかったら少なかったで話せるのがわかったので良しとする。
そのあとちょっと数学やって対応があることがわかった。ただし で は に対応する次元 の の部分空間。ここで の元 は定義からある ]-valued pointであって上に移すとに一致するようなものに対応する) ]の元である。つまり ]の部分自由加群であって階数がになり、} k = U_x ]となるようなもの。この対応がわかったけどとくにこれが線形同型になってるとのこと。そのためにはtangent spaceの演算がどうなってるか考えないといけない。多分線形空間の和でいいんだけどそこはしっかりと確かめないといけない気がした。だけど演算の定め方がけっこう大変だったのでまた保留。明日は一日出かける。大学に2月中旬以来行くので楽しみ。タイミングがあれば数学図書室に言って研究室配属の本を読んでも良いかもしれないけどとりあえず本を返却してちょっと見るだけになりそう。明日の朝が起きられないフラグがもう立っているけど気にしない。今日はここまで。