MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

let Vv be the category of complex algebraic varieties defined over $\bar Q\subset C$, and let $\pi_1^{top}:Vv\longrightarrow Groupoids$ sending a variety V into its (strict) fundamental groupoid $s,t: Paths(V(C))/fixed end point homotopy==>V(C) = Ob \pi_1^{top}(V)$. Let $\pi^{ab}$ be its abelianisation: $pi^{ab}(V)$ is the "largest" "factor" groupoid of $\pi_1^{top}(V)$ with an abelian fundamental group.

Let $\pi:Vv\longrightarrow Groupoids$ be another functor such that $Ob \pi(V) = V(C) = Ob \pi^{ab}(V)$. There is a field automorphism group $Aut(\Bbb C/\Bbb Q):Vv\longrightarrow Vv$ action on Vv. I am interested to know whether for some $\sigma \in Aut(\Bbb C/\Bbb Q)$ $\pi\circ\sigma$ is naturally equivalent to $\pi^{ab}:Vv\longrightarrow Groupoids$ (as functors to strict groupoids [1]). Under what assumptions on \pi is that necessarily true? There are some obvious requirements: $\pi(V)$ is connected for a connected variety V, takes direct product of varieties into the direct product of groupoids, for an etale morphism $V_1\longrightarrow V_2$ the induced morphism $\pi(V_1)\longrightarrow \pi(V_2)$ has the expected lifting property. ( Note these properties should imply that the profinite completion of $\pi(V)$ has the properties of the algebraic fundamental groupoid of V; one may be tempted to say that $\pi^{ab}(V)$ is a choice of a Z-structure on $\pi^{alg}(V)/[\pi^{alg}(V),\pi^{alg}(V)]$...)

I think there is a model theoretic proof (roughly, given in references on the webpage of Martin Bays, in a different language) that such a $\sigma$ necessarily exists if we assume that the restrictions of $\pi$ and $pi^{ab}$ to (homotopy classes of paths between) the algebraic points coincide[2], and that $\pi$ satisfies the conditions above; at least I think we can easily prove that such a sigma exists for every subcategory of Vv finitely generated in an appropriate sense. I am not sure how to state this correctly, but perhaps some model theoretic results ("categoricity over kernel") translate to say it is enough to require that that $\pi$ and $\pi^{ab}$ coincide as functors to groups rather than groupoids....Also, probably one can consider instead of $\pi^{ab}$ something like $\pi^{nil}$ (or any other functor to groupoids with subgroup separable groups).

Is this statement interesting? well-known? expected? easy to prove via algebraic geometry? In short, find "algebraic" conditions on the functor $\pi^{ab}:Vv\longrightarrow Groupoids$ such that for any functor $\pi:Vv\longrightarrow >Groupoids$ satisfying these condions, there exists some $\sigma \in Aut(\Bbb C/\Bbb Q)$ the functor $\pi\circ\sigma$ is naturally equivalent to $\pi^{ab}:Vv\longrightarrow Groupoids$ (as functors to strict groupoids [1]) provided the restrictions of $\pi$ and $pi^{ab}$ to (homotopy classes of paths between) the algebraic points coincide.

Is there a counterexample/theorem saying it cannot possibly be true?

I am only aware of examples Galois conjugated varieties that are topologically different; (Serre's Examples de varietes projectifs conjugees non-homeomorphes. C. R. Acad. Sci Paris @58 (1964), 4194-4196, more recently , ); this, however, does not seem to be directly relevant to this question.

[1] That is, a family of bijections between $ Paths( \pi(V) ) = Mor ( \pi(V)) \Rightarrow Paths(\pi_1^{ab})= Mor(pi_1^{ab})$ and bijections $Ob \pi (V) = V(C) \Rightarrow Ob pi_1^top V(C)=V(C)$

[2] that is, for every V the sets of paths in \pi(V) and pi^ab(V) between points in V(\bar Q) are equal (as sets).

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.