Harmonic maps and the Schoen conjecture

We show that every quasisymmetric homeomorphism of the circle ∂H^2 admits a harmonic quasiconformal extension to the hyperbolic plane H^2. This proves the Schoen conjecture.