Geometric consequences of effective algebraic homotopy