The commutant lifting theorem states that if is a contraction on a Hilbert space, is its minimal unitary dilation acting on some Hilbert space (which can be shown to exist by Sz.-Nagy's dilation theorem), and is an operator on commuting with , then there is an operator on commuting with such that
and
Here, is the projection from onto . In other words, an operator from the commutant of T can be "lifted" to an operator in the commutant of the unitary dilation of T.