>>125
つづき

K の殆んどの bad, multiplicative reduction の素点 pK においては、その素点における局所理論から生じる ‘乗法的な部分群スキ?ム’ と ?致しない?この問題を克服するためには、視点を抜本的に変えてみる必要がある? 結論からいぅと、
‘正しい視点’ は次の内容からなっている:
(i) 大域的な乗法的部分群スキ?ムを、元々の作業の場としていた集合論的な ‘宇宙’ において構成することをひとまず諦め、全く別の、独立な宇宙における、元の対象たち E, F, K 等の ?ピ? Ec, Fc, Kc に対する乗法的部分群スキ?ムの構成を目指す?
(ii) 元々の宇宙の K の、 pF の上の素点たち pK を、新しい宇宙の Kc の base-point を parametrize するものと見る?つまり、?言でいぅと、 K の basepoint を動かすことが、肝心である?動かすことによって、元の宇宙における LK と新しい宇宙の (LK)c の間の、相対的な位置が移動することとなり、旨くその対応する移動を設定することによって、?pK が表している Kc の basepoint から、 LK に対応する (LK)c を眺めてみると、その (LK)c は、?∀ pK に対して) 常に乗法的になる?」といぅ?見??古典的な理論の常識からして)不思議ながらも、
実は、ある意味では?同義反復的」な状況を実現することができる?§2. anabelioid と core以上の議論は哲学的な要素も含んでいるが、これを厳密な数学として処理するためには、新しい技術の導入が必要となる?この場合、中心となる新技術は、 ‘anabelioid’の理論である?‘anabelioid’ とは、§1 の議論を行なぅ際に用いなければならない幾何的な対象のことである?この幾何的対象は、スキ?ムと違い、 topos、即ち　圏　であるため、 an-abelioid 全体の ‘圏’ といぅものは、 2-category になってしまぅ?連結なときは、 anabe-lioid は [SGA1] に登場する ‘Galois category’ といぅ、今では40年以上の歴史を持つ馴染み深いものと同じである?つまり、連結な anabelioid は、∃副有限群 G に対してB(G)def= {G の連続な作用付きの有限集合たちがなす圏と同値な圏のことである?
(引用終り)
以上