  We transfer a large part of the circle of theorems characterizing the
generalization of classical $H^\infty$ known as `weak* Dirichlet algebras', to
Arveson's noncommutative setting of subalgebras of finite von Neumann algebras.
