Family 296Operator algebrasLeanNot yet digested

The generator problem for finite factors

Proves that every type II1_{1} factor with separable predual is generated by a single operator, equivalently by two self-adjoint operators, resolving the generator problem. More strongly, for every irreducible inclusion P⊂MP\subset M of such factors, the unitaries u with M=W∗(P,u)M=W^*(P,u) form a dense Gδ_{δ} subset in the trace 2-norm topology.

Manuscripts in this family · 1

Relative generation and the generator problem for finite factors

Sep 23, 2026·paper.pdfLean