Class field towers and minimal models

It is shown that the real class field towers are always finite. The proof is based on Castelnuovos theory of the algebraic surfaces and a functor from such surfaces to the Etesi C*-algebras.