arXiv Science⌕ Search

arXiv subjects

David Penneys

Publications and source records attributed to David Penneys.

At least 19 recordsLinked to original sources
arXiv2026

Orthonormal bases for higher Hilbert spaces

In our previous article [arxiv:2410.05120], we introduced the notion of a finite dimensional 3-Hilbert space, categorifying Baez's 2-Hilbert spaces. In this article, by further categorifying Baez's higher linear algebra, we provide useful tools for working with 3-Hilbert spaces, including, generalized scalar multiplication, orthonormal bases, and unitary adjoints for operators. We use these tools to endow the $\mathrm{C}^*$-3-category of 3-Hilbert spaces with a self-enrichment. We prove a Unitary Yoneda Lemma/Riesz Representation Theorem for 3-Hilbert spaces: the Yoneda embedding is an isometric equivalence. Finally, we define a unitary version of the Deligne product on 3-Hilbert spaces and prove that it satisfies an isometric version of the folding trick.

math.QA↗
arXiv2026

The many faces of higher Hilbert spaces

Finite-dimensional operator algebras can be viewed as $\mathrm{C}^*$, $\mathrm{W}^*$, or $\mathrm{H}^*$-algebras, leading to different notions for their categories of modules and correspondence 2-categories. In this article, we show how these differences can be understood systematically using the notion of $G$-dagger category from arXiv:2403.01651 for different subgroups $G\leq O(2)$. To do so, we first introduce $G$-Hermitian $2$-vector spaces using fixed points of a certain $O(2)$-action on $2\mathsf{Vect}$. We then propose criteria for when such pairings are `positive', generalizing the passage from Hermitian vector spaces to Hilbert spaces. Finally, we outline an inductive approach to defining higher Hilbert spaces in arbitrary dimension, suggesting an extension of these ideas beyond the 2-categorical setting.

math.QA↗
arXiv2026

Non-invertible symmetry enriched string net topological orders

We propose a definition of a non-invertible symmetry enriched topological order (NI-SETO), and we implement our definition for string net models. We do so in two ways, using full inclusions of unitary fusion categories (UFCs), as well as anyon condensation. In both cases, the NI-SETO is a relative center of UFCs. All NI-SETOs can be realized in either model, where we can use enriched UFCs to get chiral examples on the boundary of a 3D Walker-Wang model representing the anomaly. We describe several examples of NI-SETOs and compute the qualitative symmetry action on anyons and symmetry defects using tube algebra techniques.

cond-mat.str-el↗
arXiv2026

Local topological order, Haag duality, and reflection positivity

In our previous article [arXiv:2307.12552], we introduced local topological order (LTO) axioms for abstract quantum spin systems which allow one to access topological order via a boundary algebra construction. Using the LTO axioms, we produced a canonical pure state on the quasi-local algebra, which gives a net of von Neumann algebras associated to a poset of cones in $\mathbb{R}^n$. In this article, motivated by [arXiv:2509.23734], we introduce an axiom for LTOs which ensures Haag duality for cone-like regions using Tomita-Takesaki theory. We prove this axiom is satisfied for all known topologically ordered commuting projector models. We thus get an independent proof of Haag duality for the Levin-Wen string net models originally proved in [arXiv:2509.23734]. We also give a reflection positivity axiom for LTOs, connecting to the recent article [arXiv:2510.20662]. We again prove this axiom is satisfied for all known topologically ordered commuting projector models about some $\mathbb{Z}/2$-reflection symmetry.

math-ph↗
arXiv2025

Holography for bulk-boundary local topological order

In our previous article [arXiv:2307.12552], we introduced local topological order (LTO) axioms for quantum spin systems which allowed us to define a physical boundary (associated to a cut of the lattice) manifested by a net of boundary algebras in one dimension lower. This gives a formal setting for topological holography, where the braided tensor category of DHR bimodules of the physical boundary algebra captures the bulk topological order. In this article, we extend the LTO axioms to quantum spin systems equipped with a topological boundary (domain wall with the trivial phase), again producing a physical boundary algebra for the bulk-boundary system, whose category of (topological) boundary DHR bimodules recovers the topological boundary order. We perform this analysis in explicit detail for Levin-Wen and Walker-Wang bulk-boundary systems. Along the way, we introduce a 2D braided categorical net of algebras built from a unitary braided fusion category (UBFC). Such nets arise as boundary algebras of Walker-Wang models. We consider the canonical state on this braided categorical net corresponding to the standard topological boundary for the Walker-Wang model. Interestingly, in this state, the cone von Neumann algebras are type I with finite dimensional centers, in contrast with the type II and III cone von Neumann algebras from the Levin-Wen models studied in [arXiv:2307.12552]. Their superselection sectors recover the underlying unitary category of our UBFC, and we conjecture the superselection category also captures the fusion and braiding.

math-ph↗
arXiv2024

Rigidity of non-negligible objects of moderate growth in braided categories

Let $k$ be a field, and let $\mathcal{C}$ be a Cauchy complete $k$-linear braided category with finite dimensional morphism spaces and ${{\rm End}(\bf 1)}=k$. We call an indecomposable object $X$ of $\mathcal C$ non-negligible if there exists $Y\in \mathcal{C}$ such that $\bf 1$ is a direct summand of $Y\otimes X$. We prove that every non-negligible object $X\in \mathcal{C}$ such that ${\rm dim}{\rm End}(X^{\otimes n})<n!$ for some $n$ is automatically rigid. In particular, if $\mathcal{C}$ is semisimple of moderate growth and weakly rigid, then $\mathcal{C}$ is rigid. As applications, we simplify Huang's proof of rigidity of representation categories of certain vertex operator algebras, and we get that for a finite semisimple monoidal category $\mathcal{C}$, the data of a $\mathcal{C}$-modular functor is equivalent to a modular fusion category structure on $\mathcal{C}$, answering a question of Bakalov and Kirillov. Finally, we show that if $\mathcal{C}$ is rigid and has moderate growth, then the quantum trace of any nilpotent endomorphism in $\mathcal{C}$ is zero. Hence $\mathcal{C}$ admits a semisimplification, which is a semisimple braided tensor category of moderate growth. Finally, we discuss rigidity in braided r-categories which are not semisimple, which arise in logarithmic conformal field theory. These results allow us to simplify a number of arguments of Kazhdan and Lusztig.

math.QA↗
arXiv2024

The Classification of Fusion 2-Categories

We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to monoidal equivalences and a certain 3-groupoid of commuting squares of $\mathrm{B}\mathbb{Z}/2$-equivariant spaces. Rank finiteness and Ocneanu rigidity for fusion 2-categories are immediate corollaries of our classification.

math.CT↗
arXiv2024

Complete W*-categories

We study $\mathrm{W}^*$-categories, and explain the ways in which complete $\mathrm{W}^*$-categories behave like categorified Hilbert spaces. Every $\mathrm{W}^*$-category $C$ admits a canonical categorified inner product $\langle\,\,,\,\rangle_{\mathrm{Hilb}}\,:\,\overline C\times C\,\to\, \mathrm{Hilb}$. Moreover, if $C$ and $D$ are complete $\mathrm{W}^*$-categories there is an antilinear equivalence $$\dagger:\mathrm{Func}(C,D) \leftrightarrow \mathrm{Func}(D,C)$$ characterised by $\langle c,F^\dagger(d)\rangle_{\mathrm{Hilb}} \simeq \langle F(c),d\rangle_{\mathrm{Hilb}}$, for $c\in C$ and $d \in D$.

math.OA↗
arXiv2024

Superselection sectors for posets of von Neumann algebras

We study a commutant-closed collection of von Neumann algebras acting on a common Hilbert space indexed by a poset with an order-reversing involution. We give simple geometric axioms for the poset which allow us to construct a braided tensor category of superselection sectors analogous to the construction of Gabbiani and Fr\"ohlich for conformal nets. For cones in $\mathbb{R}^2$, we weaken our conditions to a bounded spread version of Haag duality and obtain similar results. We show that intertwined nets of algebras have isomorphic braided tensor categories of superselection sectors. Finally, we show that the categories constructed here are equivalent to those constructed by Naaijkens and Ogata for certain 2D quantum spin systems.

math.OA↗
arXiv2024

Manifestly unitary higher Hilbert spaces

Higher idempotent completion gives a formal inductive construction of the $n$-category of finite dimensional $n$-vector spaces starting with the complex numbers. We propose a manifestly unitary construction of low dimensional higher Hilbert spaces, formally constructing the $\mathrm{C}^*$-3-category of 3-Hilbert spaces from Baez's 2-Hilbert spaces, which itself forms a 3-Hilbert space. We prove that the forgetful functor from 3-Hilbert spaces to 3-vector spaces is fully faithful.

math.QA↗
arXiv2024

Dagger $n$-categories

Category theory provides a unified language for organizing composable operations in many disciplines. In disciplines where unitarity is fundamental -- such as functional analysis, quantum field theory, and quantum logic -- this language must also capture adjoints, leading to the notion of dagger categories. Higher category theory, which extends this framework to encode operations between operations, has recently become indispensable in both theoretical physics and pure mathematics. Finding a higher categorical analogue of a dagger category is therefore key to the foundations of quantum field theory. In this work, we present a coherent definition of \emph{dagger $(\infty,n)$-category} in terms of equivariance data trivialized on parts of the category. Our main example is the bordism $(\infty,n)$-category $\mathbf{Bord}_{n}^X$. This allows us to define (fully-local) \emph{reflection-positive topological quantum field theories} to be higher dagger functors out of $\mathbf{Bord}_{n}^X$.

math.CT↗
arXiv2024

Levin-Wen is a gauge theory: entanglement from topology

We show that the Levin-Wen model of a unitary fusion category $\mathcal{C}$ is a gauge theory with gauge symmetry given by the tube algebra $\operatorname{Tube}(\mathcal{C})$. In particular, we define a model corresponding to a $\operatorname{Tube}(\mathcal{C})$ symmetry protected topological phase, and we provide a gauging procedure which results in the corresponding Levin-Wen model. In the case $\mathcal{C}=\mathsf{Hilb}(G,\omega)$, we show how our procedure reduces to the twisted gauging of a trivial $G$-SPT to produce the Twisted Quantum Double. We further provide an example which is outside the bounds of the current literature, the trivial Fibonacci SPT, whose gauge theory results in the doubled Fibonacci string-net. Our formalism has a natural topological interpretation with string diagrams living on a punctured sphere. We provide diagrams to supplement our mathematical proofs and to give the reader an intuitive understanding of the subject matter.

cond-mat.str-el↗
arXiv2023

Boundary algebras of the Kitaev Quantum Double model

The recent article [arXiv:2307.12552] gave local topological order (LTO) axioms for a quantum spin system, showed they held in Kitaev's Toric Code and in Levin-Wen string net models, and gave a bulk boundary correspondence to describe bulk excitations in terms of the boundary net of algebras. In this article, we prove the LTO axioms for Kitaev's Quantum Double model for a finite group $G$. We identify the boundary nets of algebras with fusion categorical nets associated to $(\mathsf{Hilb}(G),\mathbb{C}[G])$ or $(\mathsf{Rep}(G),\mathbb{C}^G)$ depending on whether the boundary cut is rough or smooth respectively. This allows us to make connections to work of Ogata on the type of the cone von Neumann algebras in the algebraic quantum field theory approach to topological superselection sectors. We show that the boundary algebras can also be calculated from a trivial $G$-symmetry protected topological phase ($G$-SPT), and that the gauging map preserves the boundary algebras. Finally, we compute the boundary algebras for the (3+1)D Quantum Double model associated to an abelian group.

cond-mat.str-el↗
arXiv2023

Classification of finite depth objects in bicommutant categories via anchored planar algebras

In our article [arXiv:1511.05226], we studied the commutant $\mathcal{C}'\subset \operatorname{Bim}(R)$ of a unitary fusion category $\mathcal{C}$, where $R$ is a hyperfinite factor of type $\rm II_1$, $\rm II_\infty$, or $\rm III_1$, and showed that it is a bicommutant category. In other recent work [arXiv:1607.06041, arXiv:2301.11114] we introduced the notion of a (unitary) anchored planar algebra in a (unitary) braided pivotal category $\mathcal{D}$, and showed that they classify (unitary) module tensor categories for $\mathcal{D}$ equipped with a distinguished object. Here, we connect these two notions and show that finite depth objects of $\mathcal{C}'$ are classified by connected finite depth unitary anchored planar algebras in $\mathcal{Z}(\mathcal{C})$. This extends the classification of finite depth objects of $\operatorname{Bim}(R)$ by connected finite depth unitary planar algebras.

math.OA↗
arXiv2023

Local topological order and boundary algebras

We introduce a set of axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections, and we show they are satisfied by Kitaev's Toric Code and Levin-Wen type models. For a locally topologically ordered spin system on $\mathbb{Z}^{k}$, we define a local net of boundary algebras on $\mathbb{Z}^{k-1}$, which provides a mathematically precise algebraic description of the holographic dual of the bulk topological order. We construct a canonical quantum channel so that states on the boundary quasi-local algebra parameterize bulk-boundary states without reference to a boundary Hamiltonian. As a corollary, we obtain a new proof of a recent result of Ogata [Ann. H. Poincar\'e 25, 2024] that the bulk cone von Neumann algebra in the Toric Code is of type $\rm{II}$, and we show that Levin-Wen models can have cone algebras of type $\rm{III}$. Finally, we argue that the braided tensor category of DHR bimodules for the net of boundary algebras characterizes the bulk topological order in (2+1)D, and can also be used to characterize the topological order of boundary states.

math-ph↗
arXiv2023

Enriched string-net models and their excitations

Boundaries of Walker-Wang models have been used to construct commuting projector models which realize chiral unitary modular tensor categories (UMTCs) as boundary excitations. Given a UMTC $\mathcal{A}$ representing the Witt class of an anomaly, the article [arXiv:2208.14018] gave a commuting projector model associated to an $\mathcal{A}$-enriched unitary fusion category $\mathcal{X}$ on a 2D boundary of the 3D Walker-Wang model associated to $\mathcal{A}$. That article claimed that the boundary excitations were given by the enriched center/M\"uger centralizer $Z^\mathcal{A}(\mathcal{X})$ of $\mathcal{A}$ in $Z(\mathcal{X})$. In this article, we give a rigorous treatment of this 2D boundary model, and we verify this assertion using topological quantum field theory (TQFT) techniques, including skein modules and a certain semisimple algebra whose representation category describes boundary excitations. We also use TQFT techniques to show the 3D bulk point excitations of the Walker-Wang bulk are given by the M\"uger center $Z_2(\mathcal{A})$, and we construct bulk-to-boundary hopping operators $Z_2(\mathcal{A})\to Z^{\mathcal{A}}(\mathcal{X})$ reflecting how the UMTC of boundary excitations $Z^{\mathcal{A}}(\mathcal{X})$ is symmetric-braided enriched in $Z_2(\mathcal{A})$. This article also includes a self-contained comprehensive review of the Levin-Wen string net model from a unitary tensor category viewpoint, as opposed to the skeletal $6j$ symbol viewpoint.

cond-mat.str-el↗
arXiv2023

A lattice model for condensation in Levin-Wen systems

Levin-Wen string-net models provide a construction of (2+1)D topologically ordered phases of matter with anyonic localized excitations described by the {Drinfeld} center of a unitary fusion category. Anyon condensation is a mechanism for phase transitions between (2+1)D topologically ordered phases. We construct an extension of Levin-Wen models in which tuning a parameter implements anyon condensation. We also describe the classification of anyons in Levin-Wen models via representation theory of the tube algebra, and use a variant of the tube algebra to classify low-energy localized excitations in the condensed phase.

cond-mat.str-el↗
arXiv2023

Unitary anchored planar algebras

In our previous article [arXiv:1607.06041], we established an equivalence between pointed pivotal module tensor categories and anchored planar algebras. This article introduces the notion of unitarity for both module tensor categories and anchored planar algebras, and establishes the unitary analog of the above equivalence. Our constructions use Baez's 2-Hilbert spaces (i.e., semisimple $C^*$-categories equipped with unitary traces), the unitary Yoneda embedding, and the notion of unitary adjunction for dagger functors between 2-Hilbert spaces.

math.QA↗