Definability, interpretations and étale fundamental groups

2019/06/12 by Abdolahzadi, Romin, Zilber, Boris
#03C65 #14G40 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1906.05052

Abstract

The aim of the paper and of a wider project is to translate main notions of anabelian geometry into the language of model theory. Here we finish with giving the definition of the étale fundamental group π^et₁(X,x) of a non-singular quasiprojective scheme over a field of characteristic 0.

Related

• Anabelian properties of tame fundamental groups of singular curves
• Fundamental groups of proper varieties are finitely presented
• Universal covering spaces and fundamental groups in algebraic geometry as schemes
• On the fundamental group of a variety with quotient singularities
• On the arithmetic fundamental groups