ある意味それはそれでよかった

　結局徹夜でＴＥＸを打って、発表資料を作成した私。なんだかとってもナチュナルハイ。しかし、ゼミ開始時刻を３０分早めたという事実を失念していた。こいつはミスった。だがラッキーだったのは自分の発表中に師匠が会議でちょうどいなかった事。かなりひどい有様だった。なんてったって、sAlgのmodel structureが定義したつもりでぜんぜんわかっていなかった始末。そんなとこどうでもいいと思っていたのに。
　そして悲劇は次に襲ってきた。昨日、必死こいて作った同型が致命的なところでミス。おーえー。もう無理。

　今日の発表を修正しＴＥＸで打ち直して提出しろと栗さんからのお達し。ぐっさんからfrobenius ring上のmodel structureについての過去のノートは貸してもらったので理解するしかあるまい。そして私の本題はQuillen homologyのApprication。この３つが宿題。 

それはそれとして、明日はやばい

　なんだか時間がたつのが早い。秋だからか。いや、「そんなの関係ねぇ」とは思うのだが。

　昨日の話の続きだが同型を示すのは大変だが、equivalence of categoryを示すのはもっと大変。単純な計算で行くと、同型×３ぐらいの証明量を要するわけで。しかもどっか致命的に間違っていると他にも影響してくるという厄介さ。
　本日はAをR-algebraとしたとき、A上のR-algebraのcatgeoryのabelian objectの成すcategoryとA-moduleのcatgeoryがequivalenceである事の証明を一日中考えていた。２回ほど対応を考えてみて、どうにもうまくいかなくて、３回目でようやくビンゴ。このビンゴになって証明終了したときの幸福感はなんともいえない。というか、力を傾けるところはそこじゃなくて良いような気がするんだけど。もっとやるべきところがあるだろうに。というわけで明日はこの証明を主体に。
　Module on Frobenius ringのmodel structureについては友人に教えを請おうと思う。

ふん、どうりで老人は愚痴っぽくなるわけだ

　年配の方を敬う心を忘れてはならない。なぜなら君は決して、年配の方より多くの時間を過ごしてはいないのだから。word by 俺

　今日が祝日で本当に良かった。ゼミは明後日。この２日間のインターバルは大きい。来週も月曜が祝日だからそうなるだろう。問題はその後通常の日程に戻ったときのしわ寄せを考えるとぞっとせんな。
　同型を示すのにどれだけ苦労したことか。まずwell definedが立ちはだかり、全射、単射と示す初歩的な事なんですがとりあえず単射がくそむずい。なんか経験上、全射よりも単射の方が圧倒的に難しい記憶があるんですが。まぁ、全射はなんか元を見つければ言い訳ですから、自然に見つかる場合が多いからかな。すごいこじゃれた元とかだともう他の人の結果とかに頼らざるを得ないわけですが。とりあえずGoerss and Shemerhornは面倒部分を一切省いてあるので、その解釈を同つけるかが問題。Ander Qilenn homologyのAdditive、exactに関わる事もやりたいと思う。

電気を大切にね

　部屋を模様替えした。もう本や論文でごっちゃだったのがすっきりする爽快感は癖になる。ただ配線が困った。パソコン本体、モニター、プリンター、スピーカー、モデム、テレビとこれだけで６足タップを完全占領。その他コンポやノートパソコンの電源はどこから取るべきか。
　
　R-moduleのstable moduleというのはRがFrobenius ringのとき、あるmodel structureを考えた場合のhomotopy categoryである。ゲリ・マニではより一般的なFrobenius categoryのstable categoryというものを考えて、これがtriangulated categoryになるらしい。つまるところ、Frobenius ring上のmoduleはstable model categoryである事がわかる。こんな身近なstable model categoryがあるとは思わなんだ。

カレーは食べます

　最近少し凝っているのが圧力なべを使った料理。圧力２．４４気圧。通常の圧力鍋と比べると２倍近いパワーです。煮物やシチューなんかが、手早く、光熱費を抑え、しかも素材のうまみを十分に引き出して調理できる優れもの。今日は鳥の手羽元を使ったカレーを作ってみました。レシピは材料を全て放り込んで煮るだけ。しかしうまい。ブイヨンも使っていないのに、舌の上で待ったりと広がるコク。ほっくりとした鶏肉のジューシーな旨み……って、そんなことしてる場合じゃねぇだろ。
　昨日に引き続き、現実逃避がはなはだしいぞ。今日はもう数学関係ねぇし。
　Andre Quillen homologyについては、バイトの合間を縫って流れの証明のおよそ半分を示した。いや、野球で言うなら４回３分２ぐらい。勝利投手の権利も与えられていません。