Standard conjectures in model theory, and categoricity of comparison isomorphisms: A model theory perspective

摘要

We formulate two conjectures about etale cohomology and fundamental groups motivated by categoricity conjectures in model theory. One conjecture says that there is a unique -form of the etale cohomology of complex algebraic varieties, up to -action on the source category; put differently, each comparison isomorphism between Betti and etale cohomology comes from a choice of a topology on Another conjecture says that each functor to groupoids from the category of complex algebraic varieties which is similar to the topological fundamental groupoid functor in fact factors through up to a field automorphism of the complex numbers acting on the category of complex algebraic varieties. We also try to present some evidence towards these conjectures, and show that some special cases seem related to Grothendieck standard conjectures and conjectures about motivic Galois group.