anabelian geometry noun1 •A theory which describes the way in which the algebraic fundamental group G of an algebraic variety (or some related geometric object) V determines how V can be mapped into another geometric object W, under the assumption that G is very far from being abelian (commutative).We shall say more about the noncommutative nature of anabelian geometries after we state the main theorem (Theorem 1.17 below) on these geometries. — 1999 formsanabelian geometries