> It is a very nice idea to consider, for each variety, the fundamental groupoid - possible only as a set, without composition - and the morphisms between them. I would prefer to study this as a first order structure. If I understood correctly, in the Abelian case you would get the group structure definably, but not in
> general. A similar thing happens in the Cherlin-Van den Dries- Macintyre dual Galois sorts. These are in some sense ''regular'' local systems; perhaps
> other local systems should be considered too (or first); e.g. indeed via D-modules.

Ты можешь как-нибудь прокомментировать слова про локальные системы ? Abelian case---это группоид над абелевым многообразием, про длойные сорты я ничего не знаю пока...

(Reply to this) (Parent) (Thread)

Помоему это теоретико-модельный мат.
В общем, вам видней.

(Reply to this) (Parent) (Thread)

локальные системы вроде по русски это:)

(Reply to this) (Parent) (Thread)

ага, "регулярные локальные системы" (когда сечения образуют базис в кокасательном пространстве) тоже есть

(Reply to this) (Parent)