  We complete the $L^p$ boundedness theory of commutators of Hilbert transforms
along monomial curves by providing the previously missing lower bounds. This
optimal result now covers all monomial curves while previous results had
significant geometric restrictions. We also, for the first time, develop the
corresponding necessity theory for curves with non-vanishing torsion.
