Dilation and Model Theory for Pairs of Commuting Contraction Operators

Exactly a decade after the publication of the Sz.-Nagy Dilation Theorem, Tsuyoshi Andô proved that, just like for a single contractive operator, every commuting pair of Hilbert-space contractions can be lifted to a commuting isometric pair.

Although the inspiration for Andô's proof comes from the elegant construction o