double commutant theorem

double commutant theorem
Name	Double commutant theorem
Field	Mathematics
Subfield	Functional analysis; Operator algebras
Firstprovedby	John von Neumann
Year	1930s
Related	Von Neumann algebra; C*-algebra; Borel functional calculus

double commutant theorem

The double commutant theorem is a central result in operator algebra theory linking algebraic commutants to weak operator topology closures. It characterizes when a **-subalgebra of bounded operators on a Hilbert space equals its bicommutant, providing an equivalence between algebraic and topological descriptions used in the study of John von Neumann, Israel Gelfand, Hermann Weyl, Franz Rellich and institutions like Institute for Advanced Study and Princeton University through mid‑20th‑century developments. The theorem underpins structures studied in connection with Erwin Schrödinger's early quantum mechanics, Paul Dirac's formalism, and later elaborations by researchers at University of Göttingen and University of Chicago.

Statement of the theorem

Let H be a separable Hilbert space and B(H) the algebra of bounded operators; for a *-subalgebra M ⊂ B(H) containing the identity, the commutant M' is the set of all operators in B(H) that commute with every element of M, and the bicommutant M is (M')'. The double commutant theorem asserts that M is strongly (or weakly) operator topology closed if and only if M = M. The statement was formalized in the work of John von Neumann and features prominently alongside concepts developed by Stefan Banach, Marshall Stone, Richard Kadison, and Irving Segal in the foundations of operator theory.

Historical context and development

The theorem emerged in the 1930s within the program of John von Neumann to axiomatize quantum mechanics, influenced by the spectral theory of David Hilbert and the matrix analysis of Issai Schur. Early expositions connected the result to the spectral theorem used by Erwin Schrödinger and structural studies later pursued at Harvard University and Yale University. Subsequent decades saw systematic expansions by I. E. Segal, Gert K. Pedersen, S. Sakai, and researchers associated with University of California, Berkeley and Massachusetts Institute of Technology, situating the theorem amid classification problems tackled by Alain Connes and applied in contexts including the work of Vaughan Jones on subfactors.

Proofs and variants

Original proofs by John von Neumann used approximation arguments tied to the weak operator topology and the spectral theorem, leveraging techniques from Stefan Banach's functional analysis and methods reminiscent of Erhard Schmidt's singular value theory. Alternative proofs employ the Bicommutant characterization via double commutant approximations introduced by Richard Kadison and John Ringrose, and use tools from Gelfand–Naimark type results attributed to Israel Gelfand and Mark Naimark. Variants include versions for von Neumann algebras, for nonseparable Hilbert spaces considered by Gábor Szegő and extensions using modular theory developed by Tomita and Masamichi Takesaki at institutions such as Kyoto University.

Applications in operator algebras

The theorem is foundational for the theory of von Neumann algebras and informs classification programs by Alain Connes and invariant constructions used by Vaughan Jones in knot theory contexts. It plays a technical role in the proof of the bicommutant characterization of factor types investigated by Murray and von Neumann and in the study of crossed product constructions as in works by George Mackey and Marc Rieffel. Applications also appear in connections to the work of André Weil on representation theory, the use of Fock space in Freeman Dyson's formulations, and in mathematical physics models influenced by Richard Feynman.

Examples and counterexamples

Standard examples include: the full algebra B(H), whose commutant is scalar multiples of the identity as seen in classical results of John von Neumann; abelian von Neumann algebras generated by a single normal operator related to spectral measures studied by John von Neumann and Paul Dirac; and group von Neumann algebras associated to discrete groups studied by I. M. Gelfand collaborators and later by Alain Connes. Counterexamples to naive generalizations arise in the C*-algebra setting: there exist *-subalgebras of B(H) that are norm-closed but not equal to their bicommutant, phenomena examined by Gert K. Pedersen and S. Sakai and highlighted in seminars at University of Cambridge and École Normale Supérieure.

Generalizations and related results

Generalizations include the bicommutant theorem for von Neumann algebras on nonseparable Hilbert spaces, modular theory due to Tomita and Takesaki linking to KMS states studied by Rudolf Haag in algebraic quantum field theory at institutions like CERN, and nonselfadjoint operator algebra analogues developed in work by William Arveson and Douglas Lind. Related results encompass the Gelfand–Naimark theorem of Israel Gelfand and Mark Naimark, the Kaplansky density theorem associated with Irving Kaplansky, and structure theorems employed by Jean-Pierre Serre and Hyman Bass in representation-theoretic contexts.

Category:Operator algebras