[Paper Review] Weak Hopf algebra symmetries of C^*-algebra inclusions

Kornél Szlachányi|ArXiv.org|Dec 31, 2000

Advanced Operator Algebra Research7 references3 citations

TL;DR

This paper introduces C*-weak Hopf algebras as a generalization of semisimple Hopf algebras to resolve the issue of non-integer dimensions in fusion rules of superselection sectors in 2D conformal field theory and 1D quantum lattice systems. It proves a reconstruction theorem showing that any finite-index, depth-2 inclusion of C*-algebras arises from a regular action of a C*-weak Hopf algebra, with the invariant subalgebra being the fixed point algebra under this action.

ABSTRACT

After a summary on module algebra actions of C^*-weak Hopf algebras we outline the proof of a reconstruction theorem stating that every finite index depth 2 inclusion N < M of unital C^*-algebras with finite dimensional centers is isomorphic to the invariant subalgebra inclusion M^A < M with respect to a regular weak Hopf algebra action. The proof uses the language of C^*-2-categories.

Motivation & Objective

• Address the problem that semisimple Hopf algebras cannot realize fusion rules with non-integer multiplicities in superselection sectors of 2D CFT and 1D quantum systems.
• Overcome the obstruction that the dimension equation ∑Npq^r dr = dp dq has no integer solution for dimensions dr when fusion coefficients Npq^r are non-negative integers.
• Propose C*-weak Hopf algebras—where comultiplication is coassociative but not unit-preserving—as a framework allowing dim(D⊗D′) ≤ dim D · dim D′, enabling consistent representation theory for such fusion rules.
• Establish a reconstruction theorem: any finite-index, depth-2 inclusion N ⊂ M of C*-algebras with finite-dimensional centers arises from a regular action of a C*-weak Hopf algebra A with N = M^A.
• Characterize the structure of C*-weak Hopf algebras and their duality, showing that they generalize earlier constructions and are finite-dimensional versions of Hopf algebroids.

Proposed method

• Define weak bialgebras and weak Hopf algebras over a field K, with axioms including coassociative comultiplication Δ, counit ε, and compatibility between algebra and coalgebra structures.
• Introduce C*-weak Hopf algebras by adding a C*-norm, involution *, and Haar integral, ensuring positivity and compatibility with the comultiplication and antipode.
• Define source and target maps s: B^op → A and t: B → A, leading to subalgebras A^L and A^R as images, which are not part of the initial data but emerge from Δ.
• Use the depth-2 condition: if ι×ῑ×ι is a direct summand of a finite multiple of ι, then there exists a quasibasis {v_i} such that ∑(v_i × ι)∘U_{23}∘(v_i^* × ι) = ι×ῑ×ι.
• Construct the coproduct Δ_A on A via a pairing with a dual algebra B, using a Hermitean invertible element z ∈ End(ι) satisfying tr_a(z^{-2}) = d_a for all sectors a in ι.
• Prove that multiplicativity of Δ_A is equivalent to the fork rule (3.27) and to the quasibasis condition ∑_i u_i^* z_1^{-2} U_{23} u_i = 1 in End(ι×ῑ×ι), where {u_i} is an orthonormal basis for the trace tr_M∘Ψ_12.

Experimental results

Research questions

• RQ1 Can fusion rules with non-integer dimensions be realized in a categorical framework when semisimple Hopf algebras fail due to dimension mismatch?
• RQ2 What algebraic structure generalizes semisimple Hopf algebras to allow dim(D⊗D′) < dim D · dim D′, enabling consistent representation theory for such fusion rules?
• RQ3 Is every finite-index, depth-2 inclusion of C*-algebras N ⊂ M with finite-dimensional centers equivalent to a regular action of a C*-weak Hopf algebra A with N = M^A?
• RQ4 What conditions on the pairing element z ensure that the coproduct Δ_A is multiplicative, and how does this relate to the quasibasis condition?
• RQ5 Why does the freedom in S²|_{A^L} (i.e., non-triviality of S² on A^L) not appear in physical applications to depth-2 inclusions, and what is its mathematical significance?

Key findings

• C*-weak Hopf algebras resolve the obstruction in realizing fusion rules with non-integer dimensions by allowing dim(D⊗D′) ≤ dim D · dim D′, thus enabling consistent representation theory.
• The reconstruction theorem establishes a one-to-one correspondence between finite-index, depth-2 inclusions N ⊂ M of C*-algebras with finite-dimensional centers and regular actions of C*-weak Hopf algebras A with N = M^A.
• The coproduct Δ_A is multiplicative if and only if the quasibasis condition ∑_i u_i^* z_1^{-2} U_{23} u_i = 1 holds in End(ι×ῑ×ι), linking algebraic structure to categorical depth-2 properties.
• The element z ∈ End(ι) must satisfy tr_a(z^{-2}) = d_a for all sectors a in ι, and choosing z central up to sign ensures consistency; non-central z cannot be made central via rigidity data.
• The canonical grouplike element g′_L of the resulting WHA satisfies z² = g′_L, linking the pairing element to the algebraic structure of the weak Hopf algebra.
• The freedom in S²|_{A^L} (i.e., non-triviality of the square of the antipode on A^L) is not realized in physical depth-2 inclusions, suggesting that only those C*-weak Hopf algebras with S²|_{A^L} = id are physically relevant.