A Galois connection between subalgebras and tensor subcategories

Abstract: Let $\mathcal{B}$ be a braided finite tensor category and let $A$ be a simple commutative algebra in $\mathcal{B}$. We construct an order-reversing Galois connection between subalgebras of $A$ and tensor subcategories of $\mathcal{B}<em>A$. Let $\mathcal{B}&#39;$ denote the Müger center and set $A&#39;:=A\cap\mathcal{B}&#39;$. The closure operators are $B\mapsto\langle B,A&#39;\rangle</em>{\mathrm{alg}}$ and $$\mathcal{E}\mapsto\langle\mathcal{E},\mathcal{B}<em>A^{{\mathrm{loc}}\rangle}</em>{\otimes}$$. Thus the closed subalgebras are those containing $A&#39;$, while the closed tensor subcategories are those containing $\mathcal{B}<em>A<sup>{\mathrm{loc}}$; equivalently, the fixed-point intervals $[A&#39;,A]</em>{\mathrm{alg}}$ and $$[\mathcal{B}<em>A^{{\mathrm{loc}},\mathcal{B}_A]}</em>{\otimes}$$ are anti-isomorphic as lattices. For a finite tensor category $\mathcal{C}$, the canonical algebra in $\mathcal{Z}(\mathcal{C})$ yields an anti-isomorphism between its subalgebras and tensor subcategories of $\mathcal{C}$. When $\mathcal{B}$ is nondegenerate, Frobenius extensions correspond to unimodular tensor subcategories. For a Hopf algebra in $\mathcal{B}$, the correspondence specializes to an order-preserving bijection between Hopf ideals and normal left coideal subalgebras.