11/28(日) 晴れ 9時半に起きたはず。午後にゼミ的なやつがあるのでそれまで昨日読んでたけど書いてなかったところを改めて書きながら考えた。Gorenstein環を定義するための補題を用意している。単射的次元とExtの関係とか、Extの消失について次数が一つ落ち…

11/27(土) 晴れ 9時過ぎに起きた。今日は一日かけてCM環の章を読み終えた。まあ夕方には読み終わっててその後はダラダラ思い出したり次のGorenstein環のところを読んだりしてたけど。 まず昨日わかってなかった鎖状環の話は帰納的に等式を使えば出来た。今日…

11/26(金) 晴れ 10時位に起きた。午前中から午後にかけて昨日の続きの補題を示した。Noether局所環上の有限生成加群について正則列で割ったときの次元の等式とか素因子の剰余環の次元より深さのほうが小さいとか。そのあとはその結果を使って鎖状環になって…

11/25(木) 晴れ 10時過ぎに起きた。午前中は昨日の続きのところを読んでいこうとしたら素因子の剰余環の次元の下限で深さが抑えられるという不等号が明らかとして扱われていて全然わからなくなった。色々考えてみたけどダメそうでふと思いだして岩波の可換環…

11/24(水) 晴れ 11時位に起きた気がする。 午前中はまたCohen Macaulay加群の続きをやった。その前のところだったかも。Extで得られる長完全列の次数が大きくなる方じゃなくて小さくなる方に勘違いしていて大変なことになった。結果として問題なく修正できた…

11/23(火) 晴れ 10時に起きた。午前中は昨日読んでた漫画の続きを読んで読み切ってしまった。バイオーグ・トリニティを読んでた。面白かった。わけがわからなくて難しいという面白さが舞城王太郎っぽくていい。小説も入ってて久しぶりに舞城王太郎の文章が読…

11/22(月) 晴れ 8時に起きた。午前中から授業を受けるために大学に行った。一ヶ月ぶりくらいらしい。今回はお昼に少し時間があったからそこまで忙しくなかった。 午後はセミナーをやった。自分が発表だったんだけど何故か時間が余ってしまった。ちょっと最初…

11/21(日) 晴れ 10時過ぎに起きた。午前中は明日のセミナーのための復習をした。とくにwoblly位相についても少し復習した。Jacobson環の性質使って構造層が定義できるとかも。あとは昨日の続きのところを読みつつ少し演習問題を解いた。 途中女神転生をやり…

11/20(土) 晴れ 9時半に起きた。なんか最近起きるのがはやい。寝るのが早くなってるわけじゃないから寝不足にならないようにしたい。 とりあえず月曜日のセミナー発表のためのやつを思い出した。まあいける。でもちょっと少ないかもしれないのでwobbly位相の…

11/19(金) 晴れ 9時過ぎに起きた。午前中はまた論文の続きを読んでいた。意外とperfectoidの基礎づけあたりのところなら読める。 途中一つ先の予定が立ってついでにPDFを一つもらった。とてもおもしろそうで一日読んでいた。今欲しい知識と既に持っている知…

11/18(木) 曇り 9時位に起きて布団の中でうだうだして10時位になってた。午前中は昨日読んでた論文の続きを読んでからメガテンをやってた。とりあえず昨日読んでたWitt環への整閉性の持ち上げについては一箇所強ヘンゼル化とかがわかってない影響で読めてな…

11/17(水) 晴れ 9時過ぎに起きた。午後に面談があるのでちょっとメガテンをやったあとどういうこと話すのかとか自分が今やってることとかを少し振り返っていた。 午後は最初に面談をした。とりあえずぼんやりとやっていたdiamondとはちょっと別に読みたいも…

11/16(火) 晴れ 9時位に起きた。午後にセミナーがあるから大学に向かった。少し早めに向かって書類を受け取って偶然会った同期とわからないところについて話し合った。 セミナーはファイバー積をやった。構成がめんどくさくてリジッド幾何のほうのやつはやっ…

11/15(月) 晴れ 10時に起きて午前中は授業を受けた。その直前まで昨日の続きを考えていていいとこまでいった。少し仮定を修正して示した。この場合でも欲しい完全制覇示せるしその仮定もちゃんと満たされるからいい。 授業が終わってからもまた考えて全部う…

11/14(日) 晴れ 11時過ぎに起きた。午前中には真・女神転生Vを買うために初めてpaypayとかを導入してみた。ちょうどいいタイミングでできたっぽい。 午後はまた数日前からの続きをやった。表現可能関手が層になることを示したい。まず問題が構造層から定まる…

11/13(土) 晴れ 10時位に起きた。午前中は午後のゼミで話すことを復習して、あとはpro-etale siteで表現可能関手が層になっていることを示そうとしていた。結局この日記を書いている11/14になってもわからないままなので詳細はそっちで書く。 午後のゼミはひ…

11/12(金) 晴れ 9時半に起きた。午前中はまたゲームしてた。最近このルーティンになってる気がする。 午後は昨日の続きをやった。spectral spaceに関する命題を示すためにいくつか補題を示した。spectral spaceのpro-constructible subsetはconstructible to…

11/11(木) 晴れ 10時ごろ起きた。午前中はゲームしてから午後は授業を受けた。もう何も分からんになってる。たまに知ってる単語が出てくるだけ。加群という名前がついているのに写像だけが突然出てきてびっくりしたくらい。 授業が終わってからバイトの時間…

11/10(水) 曇り 10時に起きた。午前中は今日やるところを読んでゲームしてた。untiltingを考える。前に示したaffinoidにおけるuntiltinの構成をperfectoid space全体でやりたい。そのために層を定義したり忠実充満性を示したりした。 午後はまたその続きをや…

11/9(火) 晴れ 10時に起きた。午前中はゲームした。ぼんやりとpro objectについて考えていたけど結局の所やっぱりちゃんと定義を考えないといけないことがわかった。 ちゃんと読んでみるとそれはそうという感じがしてきた。もともとの圏で逆極限が取れるかわ…

11/8(月) 晴れ 何やってたか覚えてない。午前中は授業を受けて午後はゲームをした後数学してバイトに行った。pro-etaleの合成がまたpro-etaleになることを示したいんだけどそのためにpro-systemというかpro-objectを考えないといけなくてそういう圏の言葉知…

11/7(日) 晴れ 10時に起きた。午前中は駅伝を横目で見ながら昨日の続きのaffinoidになることを示した。disjointになってるからperfectoid fieldの有理集合における切断だから可逆元足しても全体は変わらず内側の付値環が変わるだけということを使ってやった…

11/6(土) 晴れ 10時位に起きた。午後にとても久しぶりにテニスをやる予定があるので午前中は昨日やろうと思ってやれてなかった例をちゃんと構成した。 まずは各点の剰余体についてそこから得られる射がちゃんと単射になっていることを示した。これはそのadic…

11/5(金) 晴れ 9時に起きた。朝一で動物病院行ってきた。帰ってきてからちょっとゲームしてから昨日の続きのところを読んだ。totally disconnectedの同値性を考えるんだけどなんかcoequalizerがよくわからなくてだめ。colimitで定義されてるからそれを使いた…

11/4(木) 晴れ 10時に起きた。9時だったかも。昨日の分の疲れは解消できた気がする。午前中はなんか新しく始まっているらしいapexのシーズンを遊んだ。新しいマップが出ていた。 午後はperfectivoidの続きをやろうかと思ったけどなんか普通に楽しくなくなっ…

11/3(水) 晴れ 8時位に起きた。今日は外出する用事があった。かねてから行きたいと思っていたところに行けた。色々見るところもあったし結局一日をそこで過ごすことが出来てとても楽しかった。 行きの電車で一箇所わかってなかった蛇の補題を使うところが解…

11/2(火) 晴れ 書いているのが11/4だから一昨日の話でもう何も覚えていない。火曜日だし何も予定はないはずでそれゆえ数学をしていた気がする。多分論文の途中まで読んでてPicard群の計算の途中までやってたんじゃないだろうか。でもそれにしては何も進んで…

11/1(月) 晴れ 9時に起きた。今日は授業は無いけどその分その授業の演習問題を解く会をやった。解くというか少し確認という形かもしれないけど。結構問題数あって何もやってなかったから午後少しゲームを挟んでバイトの時まで解いていた。出来ると思っていた…

10/31(日) 曇り 8時位に起きた。大学に行った。書けることと書けないことがありそうなのと半分寝落ちしそうなときに書いているので大学でやった諸々のことはあとで少し付け加えるだけにしておく。まあ工大祭がうまく行ってくれてよかった。 帰ってきてからと…