18/01/06 19:25:20.09 RWcPbuxj.net
微分Galois理論的なGrothendieck予想を定式化するなら
X,Yを代数閉体上のsmooth幾何的連結固有多様体でそれ上の冪零可積分接続付きベクトル束全体のなす淡中圏の適当なファイバー関手に対する淡中基本群Π_X,Π_Yが遠アーベルになるものとする
このときIsom(X,Y)→Isom(Π_X,Π_Y)は全単射となる
こんな感じか？なんとなく普通に反例ありそうだが？？
18/01/06 19:25:20.09 RWcPbuxj.net
微分Galois理論的なGrothendieck予想を定式化するなら
X,Yを代数閉体上のsmooth幾何的連結固有多様体でそれ上の冪零可積分接続付きベクトル束全体のなす淡中圏の適当なファイバー関手に対する淡中基本群Π_X,Π_Yが遠アーベルになるものとする
このときIsom(X,Y)→Isom(Π_X,Π_Y)は全単射となる
こんな感じか？なんとなく普通に反例ありそうだが？？