Classification of modular-invariant boundary maps

Let GG be a finite group, let ee be its identity element, and let B:G×G\mathdsC×B:G\times G\to\mathds{C}^{\times} be a bivariate map.

Boundary-map classification conjecture. All maps BB satisfying

gGB(g1,g)B(g1,g1g2)=GB(g1,g2),\sum_{g'\in G}B(g_1,g')B(g_1,g'^{-1}g_2)=|G|B(g_1,g_2), B(e,g)=B(g,e)=1,B(g1,g2)=B(g2,g11),B(g1,g2)=B(g1,g1g2)B(e,g)=B(g,e)=1,\qquad B(g_1,g_2)=B(g_2,g_1^{-1}),\qquad B(g_1,g_2)=B(g_1,g_1g_2)

are classified by a pair (HG,ωH2(H,\mathdsC×))(H\subseteq G,\omega\in H^2(H,\mathds{C}^{\times})). This would extend the explicit Abelian classification to non-Abelian subgroups and identify all such boundary terms with subgroup and 2-cohomology data.

Sources & referencesView supporting material

Primary source

Mu Li, Xiao-Han Yang and Xiao-Yu Dong, “Gapped Boundaries of Kitaev's Quantum Double Models: A Lattice Realization of Anyon Condensation from Lagrangian Algebras”, arXiv:2504.19512 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.