---
title: Dome Algebras in Relative QFT
url: https://www.emergentmind.com/topics/dome-algebras
type: topic
---

# Dome Algebras in Relative QFT

Searching arXiv for recent papers on "dome algebras" and closely related context.
Dome algebras are algebraic structures introduced in the study of relative two-dimensional quantum field theories, especially rational chiral algebras that occur as boundary conditions for three-dimensional topological field theories. In that setting, a dome algebra is defined as the faithful quotient of the tube algebra acting on twisted-sector operators, obtained by modding out those tube configurations that become trivial because bulk lines can be absorbed into the ambient three-dimensional bulk [2606.05279]. The notion therefore belongs to the interface of noninvertible symmetry, fusion-categorical defect theory, and chiral-algebraic constructions in relative QFT. The term does not occur in the classification of two-dimensional algebras by structure constants [1702.08616], nor in diagrammatic algebraic treatments of polyhedral cones and polyhedra [2105.10946]; in those contexts, any apparent similarity in terminology is accidental. By contrast, dome algebras arise specifically as a relative-theory generalization of the Ocneanu tube algebra and are tied to hypergroup symmetry in boundary and chiral settings [2606.05279].

## 1. Definition and conceptual placement

The formal definition appears in a framework where \(V\) is a rational chiral algebra viewed as a boundary condition of a \(3\)D topological field theory \(B(V)\), and \(C\) is a fusion category of boundary topological line operators satisfying
\[
B(V)\subset C.
\]
For each simple object \(X\in C\), there is a twisted-sector Hilbert space \(V_X\), and the direct sum
\[
V_C=\bigoplus_{X\in \mathrm{Irr}(C)} V_X
\]
carries an action of the ordinary tube algebra \(\mathrm{Tube}(C)\) by the usual lasso construction around operators [2606.05279].

In a relative theory, however, this action fails to be faithful. The reason is that some lines in the bulk category \(B(V)\) can be pulled off the boundary into the bulk and collapsed, so certain annular configurations act trivially on genuine boundary observables. The dome algebra is defined precisely to remove that redundancy:
\[
\mathrm{Dome}_{B(V)}(C)=\mathrm{Tube}(C)/\sim
\]
where \(\sim\) identifies tube configurations differing by insertions or motions of bulk lines \(a\in B(V)\) that are bulk-trivial in the relative theory [2606.05279].

This construction makes dome algebras the relative-theory analogue of tube algebras. The paper characterizes the geometric picture behind the name: instead of a full tube surrounding an operator, the relevant topological action is represented by a dome-shaped surface operator anchored to the boundary [2606.05279]. A plausible implication is that the terminology emphasizes the dimensional asymmetry of relative theories: bulk-topological data modifies the familiar annular algebra into a boundary-supported quotient structure.

## 2. Relative QFT origin and twisted-sector action

The central physical setting is a relative \(2\)D QFT living on the boundary of a \(3\)D TQFT. In this framework, boundary operators may interact with bulk topological surfaces, and the algebraic action of symmetry defects must record which topological manipulations are physically nontrivial on the boundary. Dome algebras encode exactly that effective action [2606.05279].

The paper describes a decomposition in which a boundary line \(X\) belonging to a component \(B(V)_{r_i}\) is represented by a surface \(S_{r_i}\) together with a boundary junction \(L_{r_i}\). Acting on a local operator \(O\in V\) is then depicted by collapsing the corresponding dome onto \(O\), producing an operator
\[
r_i:V\to V.
\]
These operators compose according to the hypergroup multiplication law, after normalization, and the dome algebra is the algebraic structure that controls this action on local and twisted-sector data [2606.05279].

The extended Hilbert space carries more refined structure. The paper gives the decomposition
\[
V_X \cong \bigoplus_{p\in \mathrm{Irr}(B(W))} J^p_X \otimes W_p
\]
where \(W=V_C\) is the subalgebra transparent to \(C\). The dome algebra acts on each \(V_X\), hence on each multiplicity space \(J^p_X\), and Claim 2.13 identifies the resulting structure as a Schur–Weyl decomposition:
\[
V_C \text{ is a } (\mathrm{Dome}_{B(V)}(C),\, V_C)\text{-bimodule}.
\]
This places dome algebras squarely in the algebraic control of twisted sectors, multiplicity spaces, and transparent subalgebras [2606.05279].

## 3. Relation to tube algebras, centers, and representation theory

The dome algebra is best understood by comparison with the ordinary tube algebra. In an absolute \(2\)D QFT, the tube algebra acts faithfully on the full extended Hilbert space of twisted sectors, and its representation category recovers the Drinfeld center:
\[
\mathrm{Rep}(\mathrm{Tube}(C))\cong Z(C).
\]
In the relative setting, bulk-trivial configurations generate a kernel, so one passes to the quotient \(\mathrm{Dome}_{B(V)}(C)\) [2606.05279].

The fundamental representation-theoretic statement is Claim 2.12:
\[
\mathrm{Rep}(\mathrm{Dome}_{B(V)}(C)) = B(V_C)\cong Z_{B(V)}(C).
\]
Here \(Z_{B(V)}(C)\) is the centralizer of \(B(V)\) in the center of \(C\). The paper also compares this directly with the unquotiented tube algebra:
\[
\mathrm{Rep}(\mathrm{Tube}(C))=Z(C)=B(V_C)\boxtimes B(V).
\]
Thus the dome algebra removes the extra bulk factor \(B(V)\), leaving precisely the algebra that governs the “non-bulk” part of the defect action [2606.05279].

This comparison is the cleanest categorical characterization of dome algebras. They are not merely smaller tube algebras in an ad hoc sense; they are quotient algebras whose representation category captures the centralizer of bulk degrees of freedom. This suggests that dome algebras are the natural algebraic object for relative theories in the same way that tube algebras are natural for absolute theories.

## 4. Hypergroup symmetry and dome-algebra multiplication

A major reason dome algebras matter is that the effective symmetry acting on local boundary operators is often a hypergroup rather than a group or fusion ring. The paper defines a hypergroup \(K=\{r_i\}\) with multiplication
\[
r_i r_j=\sum_k P_{ij}^{k}\,r_k, \qquad \sum_k P_{ij}^{k}=1,
\]
where the structure constants are nonnegative real numbers rather than necessarily integers [2606.05279].

For a boundary line category \(C\), the effective symmetry is obtained as a double-coset hypergroup quotient
\[
K = K_C // K_{B(V)},
\]
and this hypergroup acts faithfully on genuine local operators:
\[
K \curvearrowright V.
\]
The dome algebra is the algebraic mechanism underlying this action [2606.05279].

The multiplication law is represented by normalized dome operators satisfying
\[
r_i r_j=\sum_k P_{ij}^{k} r_k
\]
with
\[
P_{ij}^{k}=\frac{d(r_k)}{d(r_i)d(r_j)}\,\tilde P_{ij}^{k}, \qquad \sum_k P_{ij}^{k}=1.
\]
The coefficients \(\tilde P_{ij}^{k}\) arise from point operators on the relevant surface junctions, and the \(d(r_i)\) are normalization factors. In this way, hypergroup symmetry is encoded both geometrically, through composition of dome-shaped surface defects, and algebraically, through the quotient structure of the dome algebra [2606.05279].

The paper further states that any boundary line category \(C\supset B(V)\) is a hypergroup-graded extension of \(B(V)\):
\[
C=\bigoplus_{r_i\in K} B(V)_{r_i}, \qquad B(V)_{r_0}=B(V).
\]
This identifies hypergroup grading as an organizing principle for the relative symmetry structure and situates dome algebras as the operator-algebraic realization of that grading [2606.05279].

## 5. Examples and model cases

The paper develops several examples illustrating how dome algebras behave across finite, noninvertible, and even infinite settings [2606.05279].

| Example | Structural feature | Reported conclusion |
|---|---|---|
| Finite-group action \(G\) on \(V\) | Effective hypergroup is \(G\) | Dome algebra reduces to a quotient of the twisted quantum double algebra |
| Ising \(\mathbb Z_2\)-even sector | Six simple objects in boundary-line category | Effective hypergroup is \(\mathbb Z_2\) |
| \(G_2{}_1 / SU(2)_{28}\) | \(E_6\) fusion-category realization | Hypergroup has non-integerizable structure constants |
| \(u(1)\) Kac-Moody / Heisenberg VOA | Infinite symmetry category | Effective hypergroup is \(SO(3)/SO(2)=[-1,1]\) |

In the finite-group case, the paper conjectures in the pointed setting that
\[
\mathrm{Dome}_{B(V)}(\mathrm{Ver}(V/V^G)) = D^\omega(T,D)
\]
and notes the expected representation category
\[
\mathrm{Rep}(D^\omega(T,D)) = B(V^G).
\]
This situates dome algebras close to twisted quantum double constructions in familiar orbifold-type settings [2606.05279].

For the \(\mathbb Z_2\)-even sector \(A\) of the Ising CFT, the boundary-line category has
\[
\mathrm{Irr}(C)=\{1,e,m,f,N_+,N_-\},
\]
while the effective hypergroup is only \(\mathbb Z_2\). The example is used to show that the boundary line content can be noninvertible even when the effective action on local operators simplifies considerably; \(N_+\) is interpreted as a dome of the electric-magnetic duality surface in the toric code bulk [2606.05279].

The \(G_2{}_1 / SU(2)_{28}\) example is singled out because the associated hypergroup has non-integerizable structure constants. This demonstrates that dome algebras naturally encode symmetries beyond ordinary finite-group or integral fusion data [2606.05279].

The \(u(1)\) Kac-Moody / Heisenberg VOA example extends the framework beyond finite settings. The symmetry category has simple lines
\[
Irr(\mathrm{Sym}(u(1)))=\{L_a\}_{|a|<1}\cup \{M_x\}_{x\in\mathbb R}
\]
and the effective hypergroup is
\[
SO(3)/SO(2)=[-1,1].
\]
This shows that the dome-algebra formalism is not intrinsically finite and can accommodate continuous hypergroup symmetry [2606.05279].

## 6. Mathematical significance and relation to neighboring usages of “algebra”

Within the paper that introduces them, dome algebras are central because they provide a faithful algebraic handle on symmetries of relative \(2\)D QFTs, especially when ordinary tube algebras retain bulk-trivial information and therefore overcount physically effective operators [2606.05279]. Their significance is distributed across several closely related tasks: classifying symmetries, organizing twisted sectors, relating chiral data to boundary conditions, and encoding noninvertible symmetry through hypergroups rather than groups.

The paper also connects dome-algebra data to a generalized Galois-type picture in which intermediate conformal subalgebras correspond to subhypergroups. This suggests a structural role for dome algebras analogous to the role of group actions in classical fixed-point theory, but in a genuinely noninvertible and relative setting [2606.05279].

The term should not be conflated with unrelated algebraic classifications. The paper “Complete Classification of Two-Dimensional Algebras” classifies non-trivial two-dimensional algebras over algebraically closed fields up to \(GL(2,F)\)-equivalence using matrices of structure constants and trace vectors \(\operatorname{Tr}_1(A)\) and \(\operatorname{Tr}_2(A)\), but it does not define or mention dome algebras [1702.08616]. Likewise, “Diagrammatic Polyhedral Algebra” develops complete ordered-prop axiomatizations for polyhedral cones and polyhedra via \(\IHP_{\mathsf k}\) and \(\AIHP_{\mathsf k}\), yet it also does not introduce any class called dome algebra [2105.10946]. These distinctions matter because the word “algebra” in these works refers to very different objects: coordinate algebras classified by structure constants in one case, ordered props for polyhedral geometry in another, and quotient algebras of defect-tube operators in relative QFT for dome algebras [1702.08616; 2105.10946; 2606.05279].

A further potential confusion arises with “algebras of generalized dihedral type,” which are symmetric tame indecomposable algebras classified via triangulated surfaces and quivers with relations [1706.00688]. Despite the superficial phonetic resemblance between “dome” and “dihedral,” these are unrelated notions. Generalized dihedral type concerns finite-dimensional representation theory, stable Auslander–Reiten structure, and biserial weighted surface algebras, not the defect-algebraic apparatus of relative quantum field theory [1706.00688].

## 7. Scope, limitations, and current status

At present, dome algebras are a specialized notion tied to the formalism of relative \(2\)D QFTs and rational chiral algebras developed in “Hypergroup Symmetry in Relative Quantum Field Theories and Chiral Algebras” [2606.05279]. The available arXiv record indicates that this work is the source in which dome algebras are explicitly introduced and motivated. The concept is not part of the standard nomenclature of low-dimensional algebra classification [1702.08616], polyhedral diagrammatics [2105.10946], or generalized dihedral representation theory [1706.00688].

The core definition is stable and precise: a dome algebra is the quotient
\[
\mathrm{Dome}_{B(V)}(C)=\mathrm{Tube}(C)/\sim
\]
that acts faithfully on twisted sectors after modding out bulk-trivial relations. Its irreducible representations are identified with
\[
B(V_C)\cong Z_{B(V)}(C),
\]
and its operator product realizes hypergroup multiplication on local boundary observables [2606.05279].

This suggests that dome algebras should be regarded as the boundary-effective, bulk-reduced operator algebras of relative noninvertible symmetry. Their novelty lies not in providing another finite-dimensional algebra classification, but in isolating the correct algebraic object for the defect and symmetry structure seen by observables on the boundary of a higher-dimensional topological phase [2606.05279].

Source: https://www.emergentmind.com/topics/dome-algebras