10/30(土) 晴れ 8時に起きた。今日は大学に行って少し人と会う予定があったので大学に向かった。お昼は久しぶりに油そば食べに行った。久しぶりに会う人がたくさんで楽しかった。明日はなんか物を持っていきたい。適当な話をして過ごすの久しぶりにやった気…

10/29(金) 晴れ 9時過ぎに起きた。午後にセミナーがあるのでそのために早めにご飯を食べて大学に行った。そしたら一時間間違えて早めに着いてしまったので先にやっていた先輩のセミナーを聞いていた。大学に行くまでにせっかくだしWeil予想の話についての論…

10/28(木) 晴れ 10時位に起きたはず。午前中はゲームして午後は授業を受けてからバイトに行った。ちょうど昨日perfectoidの論文の読みたいところまで読めてしまって次やることまでの境目に来たのであんまり数学をやらなかった。 かろうじて夜にセミナーの本…

10/27(水) 曇り 11時過ぎに起きた。昨日は配信を3時半くらいまで見てたから朝起きるのが遅くなった。しかももう朝が寒くなってきてて布団から抜け出すのも一苦労だった。お昼ごはんを食べて昨日の続きのalmost purity theoremの証明を読んだ。 途中apexをや…

10/26(火) 晴れ 10時過ぎに起きた。午前中はゲームをやった。この時間は敵が弱い気がするので気軽にできて良い。 午後はalmost finite etaleについての証明のために準備を進めた。まずはbase changeでfinite etaleが保たれることを示した。これを使って簡単…

10/25(月) 曇のち雨 5時に起きてALGSをずっと見てた。布団の中に入ってスマホで見てる至高の時間だった。寝不足になったけど。見終わってからは授業を受けた。寝不足のせいで久しぶりに授業中に寝落ちする感覚を思い出した。図が多かった分なんとか追いつけ…

10/24(日) 晴れ 12時位に起きた。13時からゼミだったので少し焦った。 ゼミではChowの補題の証明について話し合った。Goertz and Wedhornの長い証明を追った。とはいっても途中で時間が来てしまったので持ち越しになったけど。双有理同値とかで良い性質の写…

10/23(土) 晴れ 11時位に起きた。昨日わかってなかった自由加群のところもやっぱりわからないままだったので続きを読んだ。perfectoid体上のalmost purity theoremを示す。perfectoid体上の有限次分離拡大はまたperfectoidであることは一般の場合の関手の存…

10/22(金) 晴れ 書いてるのは10/23なんだけど何やったか忘れた。tiltを取って代数閉体だったらもとも代数閉体っていう定理を示すためにごちゃごちゃやってた。何個か補題を示してtiltが上手く行っているなという感想を得た。tiltをとってもperfectoid体につ…

10/21(木) 晴れ 10時過ぎに起きた。午後の授業まで途中ご飯を食べて昨日の続きをやった。まずは起きてから考えていた写像のテンソル積の核がわかりやすい形になる場合を考えてそれを今やりたいことに適用できないか考えた。ある程度平坦性とかあれば核を使っ…

10/20(水) 晴れ 9時位に目が覚めたけど結局起きたのは10時だった。午前中はまだわかっていないtosrion freeについて考えていたけどなんもわからないままだった。そのまま午後までなんかグダグダ過ごしてしまった。結局torsion freeはわからなくていつかどこ…

10/19(火) 晴れ 12時に起きた。なんかよく寝た。いきなり午後になっててびっくりした。 ご飯を食べてから昨日の続きをやろうとしたけどなんか一箇所矛盾が生じてしまって困っていた。結果として原因がわかって、唯の局所化を忠実平坦だと思っていたのが原因…

10/18(月) 曇り 8時に起きた。午後にセミナーがあって午前中に対面でも受けれる授業があるのでそのために朝から大学に行った。数年ぶりに対面授業を受けた。もしかしたらコロナになってから初めてかもしれない。初めてな気がしてきた。やっぱり黒板に書いて…

10/17(日) 晴れ 12時前に起きた。なんかよく寝た。今日一日なにもないのでゆっくり過ごした。ご飯を食べてから昨日できてなかったところを考えた。almost finite etaleがweakly etaleを示そうとしていたけどなんかすぐ出来る気がしなくて一度almost element…

10/16(土) 晴れ 11時過ぎに起きた。午後のゼミに備えて少し復習した後はyoutube見て過ごした。ご飯の時間の関係で開始を遅らせてしまった。 今日は自分が話したかった分は問題なく話せたように思う。それよりもanalyticという概念がなんでそんな名前なのか分…

10/15(金) 晴れ 10時位に起きて午前中に髪を切りに行くために予約をした。11時位がいいかなと思ったけど予約できたのは12時だったので、それまで明日のゼミのための予習を少しした。最初の方でやっぱりよく分かってないところがあったのでやってよかった。sp…

10/14(木) 曇り 11時過ぎに起きた。疲れてよく寝た。午前中から午後の授業までは昨日の続きをやった。almost finite etaleからfinite etaleを構成できるという命題を示すために準備をする。まずはalmost finitely presentedとかalmost projectiveとかがいい…

10/13(水) 雨のちくもり 9時位に起きた。出かける用事があったので出掛けた。お昼ごはんと夜ご飯を食べた。途中、ほしかったものも買って過ごした。たまにはこういうのもいい。 一日外に出ていたので足も疲れた。帰ってきてからはalmost finite etaleについ…

10/12(火) 雨 10時に起きた。午後にセミナーがあるからそれまで昨日の復習をした。almost finite etaleがやっぱりよくわからないけど結局環論のetaleがわかってないだけっぽい。わかってないというか扱ったことがないというのが正しい。避けてきたと言うかそ…

10/11(月) 晴れ 9時過ぎに起きたような。午前中は授業を受けた。今日はhomotopyとかについてやった。色々種類があって初めて聞くものが多かった。基本群とかはいつの間にか知ってたけど。最初の準備だからか少し速めというか概略を説明する感じだったからち…

10/10(日) 晴れ 11時位に起きた。午前中はなんか少し数学をした。いよいよAlmost purity theoremの証明に入る章まで来た。最初にfinite etale射とかを定義していたけど、そもそも環のほうのfinite etaleをちゃんと確認できていなかったのでそれを確認した。…

10/9(土) 晴れ 11時過ぎに起きた。一回寝落ちしてから寝てたから起きるのが遅くなった。午前中はperfectoid spaceのtiltについてやった。このばあいのtilting correspondenceを証明した。張り合わせの議論が必要っぽくて、最初はわからず共通部分をfiber積と…

10/8(金) 晴れ 10時過ぎくらいに起きた。何やってたっけ。10/9に書いているのでわからん。perfectoid spaceについての命題を示していたはず。tiltが取れてそれが同相だったり剰余体のtiltとかを考えた。とくに知ってよかったことは剰余体の整元環は局所環の…

10/7(木) 晴れ 10時位に起きてたような気がする。11時だったかも。午前中はずっとわからないところを改めて見直して、午後の授業までお昼ごはんを挟んで考えていた。その補題について講演している動画があったのでそれを見たけど英語なのもあって肝心の部分…

10/6(水) 晴れ 11時過ぎに起きた。午前中はなんかぼんやり考えて過ごしてご飯を食べた。午後はちょっとゲームしたけどほかはずっと昨日からわからんところの証明を読んでた。一つどうしてもわからないところは一回飛ばしてその次を読んでた。 ただそこもわか…

10/5(火) 晴れ 今日は後期のセミナー初回があるので9時前に起きて大学に行くための準備をした。大学への道で昨日から考えているapproximation lemmaのところ考えて行った。まあわからなかったんだけど。結局不冪で大きくなったところを添加した元で調整して…

10/4(月) 晴れ 9時くらいに目覚ましで起きた。午前中には後期の授業の一本目を受けた。最初だったのもあって去年の複素解析の話が出てきていた気がする。最初だしまあ問題なく聞けた。対面にも行けるらしいけど月曜日はバイトもあるのでちょっとわからない。…

10/3(日) 晴れ 10時過ぎに起きて午後のゼミに備えてたはず。 ゼミは今回はめちゃくちゃ長い証明があったので大変だった。おそらく聞く側も。continuous valuationの集合が書き換えられることと整元環との一対一対応があることとか。一箇所階数1がわからない…

10/2(土) 晴れのち雨 8時半くらいに何故か目が覚めた。午前中は昨日の続きのところを読んだ。どうやって使っているのか分かっていないところがあったけどそもそも今示したいことにそれは使っていなくて標数pの場合の証明をそのまま使うことができた。そのま…

10/1(金) 雨 10時過ぎに起きた。標数pのときのパーフェクトイド空間についての命題の続きを示した。tiltがちゃんとほしい形になっていることを示した。 午後はリングフィットをやったあと今度は一般の標数に対して同じことを示す。なんか証明も長くてそれで…