Large Fundamental Group

A smooth connected projective complex variety has large fundamental group when, for every positive-dimensional closed irreducible subvariety , the image of is infinite. Here is the normalization. This is equivalent to the universal cover containing no positive-dimensional compact complex analytic subvariety. It imposes a condition on all subvarieties, not only on the size of itself.