Virtual Two-Step Nilpotency of the Fundamental Groups of Special Quasi-Projective Varieties

We prove that the fundamental group of every smooth connected complex quasi-projective variety that is special in the sense of Campana is virtually nilpotent of class at most two. This establishes the two-step nilpotency conjecture of Cao--Deng--Hacon--Păun, a quasi-projective analogue of Campana's almost abelian conjecture for special compact Kähler manifolds. Examples of Cadorel--Deng--Yamanoi show that the step bound is sharp. On a suitable finite etale cover, we construct a canonical second Albanese map to a torus torsor over an abelian variety. The proof reduces to showing that the kernel of the induced map on fundamental groups is finite. Using good minimal models and meridian groups of projective pairs, we show that an infinite kernel would yield a saturated rank-one subsheaf of logarithmic differentials whose Iitaka dimension contradicts specialness.