1: \begin{abstract}
2: In the present paper we mix ideas from the fields of anabelian geometry and essential dimension, obtaining results in both.
3:
4: With regards to anabelian geometry, we formulate a dimensional version of Grothendieck's section conjecture. Grothendieck's conjecture implies the dimensional conjecture. We prove that the dimensional version holds for abelian varieties, unconditionally.
5:
6: With regards to essential dimension, we prove two general criteria showing that the essential dimension of pro-finite, non-finite group schemes is almost always infinite. We thus propose a new definition of essential dimension, the fce dimension $\fced G$ of a group scheme $G$, which coincides with the classical one if $G$ is of finite type but has a better behaviour for pro-finite groups. Over any field, we compute $\fced_k TG=\dim G$ where $TG$ is the Tate module of a torus $G$, in particular $\fced_k\hz(1)=1$. Over fields finitely generated over $\Q$, we compute $\fced_k \Z_p=0$ and $\fced TA=\dim A$ where $TA$ is the Tate module of an abelian variety $A$.
7:
8: \end{abstract}
9: