12/30(木) 晴れ 10時前には起きてた気がする。今日は午前から午後にかけて机と棚の整理をした。棚に関しては整理と言ってもいらない紙を少し捨てて、ごちゃごちゃしていたところを揃え直しただけだけど。机の上は結構さっぱりした。去年の授業のノートとかフ…

12/29(水) 晴れ 11時に起きた。とりあえず予定通りTate algebraを使って反例を作っている論文の序文を読んだ。やっぱりこういう序文が面白いとテンション上がる。結構難しくなさそうだったのと、最初のTate algebraに関する準備みたいなところは結構簡単なと…

12/28(火) 晴れ 10時過ぎに起きた。午後のゼミまで昨日まとめたやることをやった。どういうの思いつくかと思ってたけど意外と思いつくことはあった。だけどなんか具体的なのかってなるとちょっと怪しい。結構前に見てたpure性のところを振り返ってこれとつな…

12/27(月) 晴れ 8時過ぎに起きた。午前中に授業があるかと思ったけどどうやらちゃんと無かったらしい。 午後に大学で打ち合わせがあるので大学に行った。色々とてもいい話ができた気がする。先週読んでた論文で得た興味を元に色々相談した。やっぱり目標とし…

12/26(日) 晴れ 12時前に起きた。午後のゼミの前までにちょっと進めた。regularからのcanonical coveringに対していくつか示した。その後はsplinterのfpqcへの類似を考えた。午後はゼミを聞いた。 今日は年末で色々忙しいので終わってからすぐ解散した。 そ…

12/25(土) 晴れ 今日は午後に他の高校同期と会った。午前中は昨日の続きのsplinterについての話をやった。normalであることを示した。そこでわからないところがあったけど一日過ごしてたら解決した。 午後は東京に出た。とても人が多かった。ここまで混むも…

12/24(金) 晴れ 12時前に起きた。ここ一週間で初めて一日なにもない日だったので読みたいところを頑張って読み進めた。最初は例をやって、finite coveringのときにfpqc coveringになるかどうかを判定したくて、そうならないものをやった。normalだとだめで、…

12/23(木) 晴れ 朝に帰ってきた。昨日というか今日まで高校同期と遊んでたから。午後から授業とバイトがあるからそのために始発で帰ってきてそのまま昼まで寝てた。意外となんとかなった気がする。でもやっぱり忙しかった。録画を一つ見るために一つ授業を飛…

12/22(水) 晴れ 高校の同期と久しぶりに会った。昼ごろから次の日の朝までボドゲとかして遊んでた。ボドゲはこういうときじゃないとできないので楽しかった。あとなんかわからんけどいつの間にかクレヨンしんちゃんの映画見てた。 他にも色々遊んだ。たまに…

12/21(火) 晴れ 今日はセミナーがあったので少し早めに起きて大学に行った。本を返したり書類を提出したり振込したりその他諸々の大学でやらないといけないことをすべて終わらせた。気分がいい。 セミナーは急遽発表の予定だったので1時間だけしかできなかっ…

12/20(月) 晴れ 10時頃に起きた。午前中は授業を受けて午後は録画を見た。録画を見てもまた録画が送られてきている。木曜日とかに見るしかない。まだ理解できてるだけマシだと思う。 バイトに行って帰ってきて数学をした。少しづつ進んでいて直和因子予想の…

12/19(日) 晴れ 書く時間がなくて寝る前にスマホで書いてる。午前中は年末年始に向けて運転の練習のために少し外出した。 午後は加群のゼミに参加した。途中突然明日のセミナーの発表者になったのでその準備をゼミのあとにやってた。でも一箇所証明が回って…

12/18(土) 晴れ 午後からのゼミのために午前中に他のことをした。Grothendieck位相の基本的なところをやってた。SGAとか初めて読んでみたけど意外と読むだけならなんとかなった。 ゼミはエタールについてやった。ファイバーがいい性質を持つという不分岐の言…

12/17(金) 晴れ 10時過ぎに起きた。午前中から午後にかけて昨日の続きのalmost mathematicsのところを終わらせようとした。とりあえず基礎の基礎のところはわからないところがありながらも読み終えた。なんか完備性の同値性を示すときにlimitの導来関手を計…

12/16(木) 晴れ 10時に起きた。午後の予定に合わせて午前中は昨日の続きのalmost mathematicsの基礎をやってた。almost elementとの同型とかがなんかわからなかった。 なんか書いてたはずなのに忘れてパソコンを落としたから半分くらい消えてた。悲しい。ま…

12/15(水) 晴れ 10時過ぎに起きた。なんか今日は全体的にやる気が起きなくてとりあえず証明を全部飛ばして命題だけ目を通して何を示そうとしているのかをまとめた。結局何がわかってないのかを考えたけどalmost perfectoidとかuntiltとかノルムを用いた議論…

12/14(火) 曇り 12時前に起きた。本当はセミナーがあるはずだったけど発表者の予定で急遽無くなったので暇になった。その分今読んでいた論文を終わらせて次に読むやつを選定した。今回のやつの最後にあった定理を示しているやつがちょうど良さそうだったので…

12/13(月) 晴れ 10時過ぎに起きて授業を受けた。ほとんどわからん。 授業の後は論文の続きを読んだ。untiltを使って正標数のときの存在性を持ってきててこういう使い方もあるということを知った。バイトを挟んでほとんど読み終わった。最後はいつものtiltに…

12/12(日) 晴れ 10時に起きた。午前中は昨日の次の命題の証明を目で追っていた。あまり難しいところはないように見える。untiltを使ってtiltの方で得たintegral perfectoid big CMを元の方に移そうとしていたとかそんな話だった気がする。剰余体を完全にする…

12/11(土) 晴れ 10時付近で起きた。午前中は昨日やるといっていた長い証明を読み始めた。整閉包をとったあとにはintegral pre-perfectoidになり、そのtiltはseedであるということを示す。前者は何も問題なく昨日出来ていて、問題は後者。Andreの定理を使うた…

12/10(金) 晴れ 11時に起きた。なんかわからんけど長く寝てた。また一日数学してた。今日は二つくらい命題をやった気がする。一つは良いs.o.pを含むintegral pre-perfectoidのtiltはちゃんと形式的冪級数環からの射が生えてること。そこから今度は前のやつで…

12/9(木) 晴れ 10時過ぎに起きた。溜まっていた録画の授業が午後にあるので重い腰を上げて録画を見た。3Qは全然わからなかったけど4Qに入って一度少しリセットされたからか意外と聞けた。ちょうど授業がある日に見たから頭から抜けずにちゃんと続きが頭に入…

12/8(水) 晴れ 11時過ぎに起きた。一日ずっと数学してたのと書いているのが12/9なのもあって特に書くこともない。maximal etale extensionというのを定義してそれについて色々考えていてそれを用いてintegral pre-perfectoidを得る方法を考えた。まあとにか…

12/7(火) 曇り 10時過ぎに起きた。一日かけて論文の続きを読んだ。最初の定義の次にあった命題が全部他の文献に投げられていてどうしようとなったけど概念になれるためにもちゃんと該当箇所を読んで証明を読んだ。参照先の文献のバージョンがどれなのかわか…

12/6(月) 晴れ 10時位に起きて授業を受けた。3Qの続き。 午後の授業はシラバスが出てなくて困ってたけどメールが来てた。月曜日はオンデマンドなので少し安心したけどオンデマンドの数学の授業聞く気にならなくて溜めてる。まずい。 結局授業は見ないで論文…

12/5(日) 晴れ 11時過ぎに起きた。昨日は外出して疲れたのか結構ゆっくり寝た。昨日買った十三機兵防衛圏の本を読んで過ごした。 あと昨日電車の中で考えていた論文の行間についてちゃんと書き出した。もともと関係式一つに対して一つのpartial algebra modi…

12/4(土) 晴れ 8時に起きた。出かける予定があるのででかけた。何も考えずに電車に乗っていたら本来行く方向とは違う方向に乗っていた。そこまで大事にはならなかったのでよかった。 本屋とかに行って書いたかった本とか見てた。後藤渡辺の可換環論がおいて…

12/3(金) 晴れ 10時に起きた。ほんとはもっと早く起きてたけど寒すぎてずっと布団にくるまってた。 結局日記を書いているのは23時だけどそれまでずっと一つの論文と格闘してた。最初の方はまあある程度既知として進めたり他の論文の参照箇所をどうやって使っ…

12/2(木) 晴れ 10時に起きた。午後に長いバイトがあるから午前中にとりあえず読みたかったCohen Macaulay加群の章を読み切った。これで松村の読みたかったところは終わったけどそれ故にまだ可換環論に弱いなあという感じがする。かといって全部読んでいるわ…

12/1(水) 晴れ 9時過ぎに起きた。午前中は松村の続きを読んで極小単射分解においてそれぞれの単射加群を直既約単射加群に分解してその同型な者同士の個数がある次元と一致していることを示した。更にそれを使ってGorenstein環の特徴付けをした。意外と問題な…