Boundary DHR Category Overview

• Boundary DHR category is a structure that encodes superselection sectors of boundary observable algebras using localized and transportable Hilbert bimodules.
• It establishes a rigorous operator-algebraic link between boundary nets and bulk topological order through methods applicable in lattice systems, abstract spin chains, and conformal field theory.
• By extending traditional DHR theories to boundary environments, it enables precise classification of fusion, braiding, and modular properties in various solvable models.

Boundary DHR category denotes an operator-algebraic superselection structure attached to a boundary observable algebra, or more generally to a lower-dimensional net extracted from a bulk system. In the recent lattice literature, the central idea is that a physical boundary can be encoded by a quasi-local algebra or local net in one lower dimension, and that localized, transportable Hilbert bimodules over this algebra form the relevant category of boundary sectors. In abstract spin chains, this category is a braided $C^*$-tensor category of DHR bimodules over the quasi-local boundary algebra; in local topological order, it is the DHR category of the canonically constructed boundary net; in half-infinite symmetric chains, it is a monoidal category of boundary-localized bimodules; and in rational boundary conformal field theory, the analogous boundary sector structure is often expressed instead by module categories over the chiral DHR category rather than by a new modular tensor category (Hataishi et al., 8 Apr 2025, Jones et al., 2023, Ma et al., 17 Jun 2026, Bischoff et al., 2014).

1. Conceptual and operator-algebraic basis

The background notion is the Doplicher–Haag–Roberts superselection formalism, in which sectors are localized and transportable representations or endomorphisms. For lattice systems and quasi-local algebras, several recent works replace localized endomorphisms by localized Hilbert bimodules or correspondences, producing a state-independent version of DHR theory well adapted to boundary observable algebras (Jones, 2023, Hataishi et al., 8 Apr 2025).

For a quasi-local algebra $A$, the bimodule formulation starts from right-finite $A$-$A$ correspondences. In the discrete-net framework, a correspondence $X$ is localizable in a finite region $F$ if it admits a projective basis $\{b_i\}$ such that

$ab_i=b_i a \qquad \forall\, a\in A_{F^c}.$

An object is then called localizable if it is localizable in all sufficiently large balls, and the resulting full $C^*$-tensor subcategory is denoted $DHR(A)$ (Jones, 2023). In the abstract spin-chain formulation, localization is encoded vectorwise: a vector $A$0 is localized in $A$1 if

$A$2

and a DHR bimodule is a dualizable $A$3-$A$4 correspondence having projective bases localized in arbitrarily chosen sufficiently large intervals (Hataishi et al., 8 Apr 2025).

This suggests a general boundary pattern: one first identifies the correct boundary quasi-local algebra or boundary net, and then defines boundary sectors as localized transportable bimodules over that algebra. A plausible implication is that the phrase “boundary DHR category” is best understood as a family of closely related constructions adapted to different boundary geometries and different operator-algebraic frameworks.

2. Boundary nets from local topological order

A systematic construction appears for locally topologically ordered quantum spin systems on $A$5. Starting from a net $A$6 and local ground-state projections $A$7, one defines for suitable bulk regions $A$8 the local boundary algebra

$A$9

and then forms the boundary quasi-local algebra

$A$0

The resulting net on $A$1 is local, and there is a canonical ucp map

$A$2

satisfying

$A$3

for appropriate $A$4 (Jones et al., 2023).

Within this framework, the boundary DHR category is the category $A$5 of localizable right-finite correspondences over the boundary algebra. The paper argues that in $A$6D this braided tensor category characterizes the bulk topological order, and proves this claim in the toric code and Levin–Wen examples (Jones et al., 2023).

The construction was then extended to systems that already possess a microscopic or topological boundary. For a lattice with boundary

$A$7

one imposes boundary versions of the LTO axioms, written $A$8–$A$9, and extracts a physical boundary net with boundary

$A$0

Boundary DHR bimodules are then finitely generated projective $A$1-$A$2 correspondences localized in every sufficiently large boundary-touching region, and the full subcategory is denoted

$A$3

In this setting the general result is a $A$4-tensor category, while a braiding is established only in specific models such as the Walker–Wang enriched boundary net (Jones et al., 24 Jun 2025).

3. Abstract spin chains and the braided boundary DHR category

The most explicit operator-algebraic use of the term occurs for abstract spin chains, which axiomatize the structure of one-dimensional boundary observables of $A$5D topological order. An abstract spin chain is a functor

$A$6

on finite intervals of $A$7, with commuting local algebras on disjoint intervals and quasi-local algebra

$A$8

The boundary DHR category is the full $A$9-tensor subcategory

$X$0

of dualizable correspondences over $X$1 satisfying the basis-localization condition described above (Hataishi et al., 8 Apr 2025).

Its braiding is defined under weak algebraic Haag duality. If $X$2 have projective bases $X$3, $X$4 localized in sufficiently separated intervals $X$5, then

$X$6

The exchange depends on ordered localization along the line rather than planar isotopy. Charge transporters control the passage between different localized bases, and the monodromy is expressed entirely in terms of transporter coefficients (Hataishi et al., 8 Apr 2025).

The structural results are strong. Under rationality, charge-transporter generation, and local alignment, $X$7 is a unitary modular tensor category. Under algebraic Haag duality, it is braided equivalent to the Drinfeld center of the half-line fusion category: $X$8 Here $X$9 is obtained by restricting DHR bimodules to the negative half-line. This realizes a precise bulk–boundary relation: the boundary superselection sectors reconstruct the bulk topological order as a center (Hataishi et al., 8 Apr 2025).

A closely related precursor is the state-independent theory of DHR bimodules for quasi-local algebras. In one-dimensional fusion spin chains with fusion categorical symmetry $F$0, that theory proves

$F$1

again identifying the DHR category of a one-dimensional quasi-local algebra with a Drinfeld center (Jones, 2023).

4. Model realizations and recovered categories

The boundary DHR category is especially explicit in solvable lattice models. In the local-topological-order framework, the boundary nets of Levin–Wen models and the toric code are identified with fusion categorical nets on $F$2, and their DHR categories reproduce the expected bulk modular categories (Jones et al., 2023). In the bulk-boundary extension, Levin–Wen boundaries recover boundary fusion data, while Walker–Wang boundaries recover a braided enriched center (Jones et al., 24 Jun 2025).

Model or framework	Boundary algebra/net	Recovered category
Levin–Wen boundary net	$F$3	$F$4
Toric code boundary net	Fusion categorical net for $F$5	$F$6
Levin–Wen bulk-boundary system	$F$7	$F$8
Walker–Wang bulk-boundary system	$F$9	$\{b_i\}$0

For Levin–Wen, the boundary algebra is identified with a fusion module spin chain

$\{b_i\}$1

and the boundary DHR category is tensor equivalent to $\{b_i\}$2, the expected category of boundary excitations (Jones et al., 24 Jun 2025).

For Walker–Wang, the physical boundary algebra is a braided categorical net with boundary, and the paper proves a unitary braided equivalence

$\{b_i\}$3

The same work constructs a $\{b_i\}$4D braided categorical net from a UBFC and shows that, in the canonical state associated with the standard topological boundary, its cone von Neumann algebras are type I with finite-dimensional centers, in contrast with the type II and III cone algebras found earlier for Levin–Wen models (Jones et al., 24 Jun 2025).

5. Half-infinite chains, boundary symmetry TFT, and boundary conditions

For $\{b_i\}$5D symmetric gapped phases, the boundary DHR category is formulated for half-infinite fusion spin chains. An abstract spin chain with boundary is a functor

$\{b_i\}$6

on finite intervals of $\{b_i\}$7, with quasi-local algebra

$\{b_i\}$8

A boundary DHR bimodule is a semisimple Hilbert $\{b_i\}$9-bimodule admitting a projective basis localized in some boundary interval $ab_i=b_i a \qquad \forall\, a\in A_{F^c}.$0, and the full subcategory is

$ab_i=b_i a \qquad \forall\, a\in A_{F^c}.$1

This category is monoidal under relative tensor product, but its defining localization is one-sided, reflecting the fixed physical boundary at the endpoint (Ma et al., 17 Jun 2026).

The main identification is

$ab_i=b_i a \qquad \forall\, a\in A_{F^c}.$2

for a half-infinite fusion spin chain built from a unitary fusion category $ab_i=b_i a \qquad \forall\, a\in A_{F^c}.$3 and an indecomposable semisimple right $ab_i=b_i a \qquad \forall\, a\in A_{F^c}.$4-module category $ab_i=b_i a \qquad \forall\, a\in A_{F^c}.$5. The bulk DHR category is

$ab_i=b_i a \qquad \forall\, a\in A_{F^c}.$6

and the canonical action of the bulk DHR category on the boundary DHR category agrees with the categorical action of $ab_i=b_i a \qquad \forall\, a\in A_{F^c}.$7 on $ab_i=b_i a \qquad \forall\, a\in A_{F^c}.$8 (Ma et al., 17 Jun 2026).

The same framework classifies boundary conditions by right $ab_i=b_i a \qquad \forall\, a\in A_{F^c}.$9-modules. If $C^*$0 is a simple Q-system specifying the bulk phase, then the realization functor

$C^*$1

is an equivalence, so simple boundary conditions are classified by simple objects of $C^*$2 and general boundary conditions by finite direct sums (Ma et al., 17 Jun 2026). This makes the boundary DHR category the operator-algebraic realization of boundary SymTFT, while the action on boundary conditions provides the categorical boundary module structure.

6. Relation to bulk sectors, boundary CFT, and scope of the notion

The boundary DHR category is not a single invariant with identical formal properties in every setting. A recurrent distinction is between genuine tensor categories of boundary-localized sectors and module-category descriptions of boundaries. In rational $C^*$3D conformal nets, the categorical structure associated with a boundary is not introduced as a standalone “boundary DHR category”; instead, for a completely rational chiral net $C^*$4, maximal $C^*$5D bulk extensions are classified by Morita equivalence classes of Q-systems in

$C^*$6

and boundary conditions are encoded by Q-systems in that Morita class or, equivalently, by simple objects of the module category $C^*$7 modulo invertible dual-category symmetries (Bischoff et al., 2014). This suggests that, in conformal boundary theory, the natural boundary categorical object is often a module category over the chiral DHR UMTC rather than a new modular category.

Bulk operator-algebraic constructions provide the comparison point. For the non-abelian quantum double model, the finite cone-localized DHR category is braided $C^*$8-tensor equivalent to

$C^*$9

showing how bulk anyon braiding arises from cone localization, transportability, and left/right separation in the plane (Bols et al., 19 Mar 2025). A plausible implication is that boundary theories alter precisely this geometry: cones are replaced by boundary-adapted regions, and one may obtain a tensor category, a half-braiding, or a module action rather than the full planar braiding of the bulk.

A further caution comes from $DHR(A)$0-dimensional AQFT with stringlike Buchholz–Fredenhagen sectors. There the compactly localized DHR sectors form a transparent symmetric subcategory inside the braided BF category, so nontrivial DHR sectors obstruct modularity. Passing to the Doplicher–Roberts field net removes that DHR obstruction, but does not automatically guarantee full modularity (Naaijkens, 2010). This clarifies that “boundary DHR category” should not be assumed modular without additional hypotheses.

In current operator-algebraic usage, therefore, the term refers to a boundary-adapted superselection category constructed from a boundary algebra or boundary net, usually via localized bimodules. In $DHR(A)$1D topological lattice systems it can recover the bulk modular category or the boundary fusion/braided category; in half-infinite symmetric chains it yields the boundary SymTFT; and in rational boundary conformal field theory the comparable role is played by module categories and Q-systems over the chiral DHR category (Jones et al., 2023, Jones et al., 24 Jun 2025, Ma et al., 17 Jun 2026, Bischoff et al., 2014).