1: \begin{abstract}

2: 

3: We use tools of mathematical logic to analyse the notion of a path on an complex algebraic variety, 

4: and are led to formulate a ''rigidity'' property of fundamental groups specific to algebraic varieties,

5: as well as to define a bona fide topology closely related to etale topology. These appear as criteria for 

6: $\aleph_1$-categoricity, or rather stability and homogeneity, of the formal countable language we propose to describe 

7: homotopy classes of paths on a variety, or equivalently, its universal covering space. 

8: 

9: 

10: Technically, for a variety $A$ defined over a finite field extension of the field $\Q$ of rational numbers,

11: we introduce a countable language $L(A)$ describing the universal covering space of $\A(\C) $, or,

12: equivalently, homotopy classes of paths in $\pi_1(\A(\C) )$. Under some assumptions 

13: on $A$ we show that the universal covering space of $\A(\C) $ is an analytic Zariski 

14: structure \cite{ZilberBook}, and present an $\Lww(L(A))$-sentence axiomatising the class

15: containing the structure and that is stable and homogeneous over elementary submodels.

16: The ''rigidity'' condition on fundamental groups says that projection of of the fundamental group of a variety

17: is the fundamental group of the projection, up to finite index and under some irreducibility assumptions,

18: and is used to prove that the projection of an irreducible closed set is closed in the analytic Zariski structure.

19: 

20: 

21: In particular, we define an analytic Zariski structure on the universal covering space

22: of an Abelian variety defined over a finite extension of the field $\Q$ of rational numbers.

23: 

24: 

25: %We prove Theorem 2 of [Zilber:AnalyticZariskiStructures]. 

26: %Moreover, we explicitly define an $\Lww$-class containing our model,

27: %and show it is $\aleph_1$-categorical. 

28: %...............

29: 

30: 

31: \end{abstract}

32: