A topological $L_{{\omega }_1,\omega }$-invariant

Abstract

We study formal sentences describing complex algebraic varieties together with their universal covers, regarded as topological invariants. We prove that for abelian varieties and Shimura varieties, this is indeed a complete invariant, i.e., it determines the variety up to complex conjugation.