anabelian geometry

higher geometry / derived geometry Ingredients Concepts geometric little (∞,1)-toposes geometric big (∞,1)-toposes Constructions Examples derived smooth geometry Theorems In anabelian geometry one studies how much information about a space (specifically: an algebraic variety) is contained already in its first étale homotopy group (specifically: the algebraic fundamental group). The term “anabelian” is supposed to be alluding to the fact that “the less abelian is, the more information it carries.