10/13(水) 雨のちくもり
9時位に起きた。出かける用事があったので出掛けた。お昼ごはんと夜ご飯を食べた。途中、ほしかったものも買って過ごした。たまにはこういうのもいい。
一日外に出ていたので足も疲れた。帰ってきてからはalmost finite etaleについて考えた。traceが今大事な冪等元についてうまく作用していることを示した。テンソル上のtraceを分解する方法がわからなかったけどお風呂に入っているときに気づいた。結局自由加群に書き換えてテンソルでうまくやればできた。
それで眠くなって寝たので書いたのは10/14。
