こないだ知った基本的な事実 (1)アフィン群スキームの圏と可換Hopf代数の圏は反変同値(Hopf代数は、アフィン代数群上の正則関数環) (2)formal group law(FGL)のformal group ringは、余可換Hopf代数 SL_q(n)のような"量子群"は何度も見ていたけど、具体的に…

体重の増減は、摂取カロリーと消費カロリーのバランスで決まると考えられている。これは単に質量保存則の帰結なので、あまり疑うこともない。一方で、マウスやラットの動物実験では、肥満を誘導するために、高脂肪食を与えるのが常套手段となっている。人間…

Possible Bubbles of Spacetime Curvature in the South Pacific http://arxiv.org/abs/1210.8144 『この世でもっとも慈悲深いことは、人間が脳裏にあるものすべてを関連づけられずにいることだろう。われわれは無限に広がる暗黒の海のただなか、無知という…

5年ほど前、CoqはConCat見て挫折する程度で、type theoryもロクに知らず、共形場理論は全く理解できてなかったけど、最近はhomotopy type theoryについて偉そうに書いたり、共形場理論も多少理解できるようになった。以前から、CFTの代数的定式化が欲しいと…