Regular diagonal subfactors
arXiv:2607.13822
The paper characterizes when a diagonal subfactor of a II₁ factor is regular, showing this occurs exactly when the defining automorphisms form a subgroup of the outer automorphism group with equal multiplicities, and describes the regularity in terms of the principal graph being a complete, regular, balanced bipartite multigraph.
Abstract
We show that a diagonal subfactor arising from a finite family of automorphisms of a -factor is regular precisely when the classes of the defining automorphisms occur with same cardinality and form a subgroup of , a subgroup that happens to be isomorphic to the generalized Weyl group of the subfactor. Moreover, it turns out that the cleanest picture of regularity in diagonal subfactors is graph-theoretic, namely, a diagonal subfactor is regular precisely when its principal graph is a complete, regular, balanced bipartite multigraph, with the generalized Weyl group fixing its size and the common multiplicity of the defining automorphisms determining its regular edge multiplicity. Prior to the characterization of regularity, revisiting Bisch and Popa's observations on the standard invariant and depth of diagonal subfactors, we give an exact criterion for a diagonal subfactor to have any prescribed depth, in terms of a stabilizing sequence of subsets of consisting of non-reduced alternating words in the classes of the defining automorphisms, which proves useful in the characterization of regularity.
48 pages, version 2