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

I am interested in the action of field automorphism group $Aut(\mathbb{C}/\mathbb{Q})$ on $Ext^1(\mathbb{C}^{\star},\mathbb{Z})$ or $Ext^1(\mathbb{\bar Q}^*,\mathbb{Z})$, and, more generally, on $Ext^1_{EndA}(A(\mathbb{C}),\pi_1(A(\mathbb{C},0))/Aut_{EndA}(\pi_1(A(\mathbb{C},0) )$ for $A$ a commutative algebraic group. I am wondering whether this kind of questions have been considered in algebraic geometry, e.g. in relation to the full algebraic fundamental group of A(C) or $A(\mathbb{\bar Q})$ as a scheme over $\mathbb Q$.

These have been studied in logic (see, , and also this ), and are related to questions of arithmetics, such as Galois action on a Tate module.

The main result of these papers is the following; from the point of view of logic it is a categoricity theorem. First note that $ exp :\mathbb{C}\rightarrow \mathbb{C}^\star$ gives an element of $Ext^1(\mathbb{C}^{\star},\mathbb{Z})$ (and also $Ext^1(\mathbb{\bar Q}^*,\mathbb{Z})$). Then the orbit of this extensions consists of all extensions where the middle is an $\mathbb{Q}$-vector space. A similar result is known about the covers of elliptic curves in char 0. Also, I may mention that there are partial analogues in prime characteristic.

share|cite|improve this question
What exactly do you mean by "algebraic" fundamental group? The etale fundamental group? Or the Schur multiplier (second homology with integer coefficients)? – Konrad Voelkel May 12 '11 at 20:56
the etale fundamental group $\pi_1^{et}(A\tensor C,0)$ where $A$ is my algebraic group. – mmm Jun 14 '11 at 14:28

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.