18/12/23 01:37:01.17 FcIZ21LW.net
格子では剛性と謎の関手とラベルを使って頑張ってるんだけども、どうもな
未だに大域的な整数の幾何学が殆ど謎なままなのは、構造的に一般性が高すぎるからなんだけど
そこを上手く二つの圏で挟み撃ちしながら剛性も使って精妙に攻めたはずなんだが
圏論は矢印の使い方を誤ると機能しないから注意が必要だ
ともあれ非常に一般性の高い構造を上手く分けてはりあわせて新しい情報を得たい、というのは数論幾何学の
共通する夢である
18/12/23 01:37:01.17 FcIZ21LW.net
格子では剛性と謎の関手とラベルを使って頑張ってるんだけども、どうもな
未だに大域的な整数の幾何学が殆ど謎なままなのは、構造的に一般性が高すぎるからなんだけど
そこを上手く二つの圏で挟み撃ちしながら剛性も使って精妙に攻めたはずなんだが
圏論は矢印の使い方を誤ると機能しないから注意が必要だ
ともあれ非常に一般性の高い構造を上手く分けてはりあわせて新しい情報を得たい、というのは数論幾何学の
共通する夢である