  We extend Ueda's peak set theorem for subdiagonal subalgebras of tracial
finite von Neumann algebras, to sigma-finite von Neumann algebras (that is, von
Neumann algebras with a faithful state; which includes those on a separable
Hilbert space, or with separable predual.) To achieve this extension completely
new strategies had to be invented at certain key points, ultimately resulting
in a more operator algebraic proof of the result. Ueda showed in the case of
finite von Neumann algebras that his peak set theorem is the fountainhead of
many other very elegant results, like the uniqueness of the predual of such
subalgebras, a highly refined F and M Riesz type theorem, and a Gleason-Whitney
theorem. The same is true in our more general setting, and indeed we obtain a
quite strong variant of the last mentioned theorem. We also show that set
theoretic issues dash hopes for extending the theorem to some other large
general classes of von Neumann algebras, for example finite or semi-finite
ones. Indeed certain cases of Ueda's peak set theorem, for a von Neumann
algebra M, may be seen as `set theoretic statements' about M that require the
sets to not be `too large'.
