Related papers: Local topological order, Haag duality, and reflect…
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…
We establish a framework with reflection positivity as the first principle for establishing the boundary theory of topologically ordered quantum spin systems. For any reflection positive frustration-free Hamiltonian, We proved that the…
We prove Haag duality for conelike regions in the ground state representation corresponding to the translational invariant ground state of Kitaev's quantum double model for finite abelian groups. This property says that if an observable…
The first goal of this paper is to provide an abstract framework in which to formulate and study local duality in various algebraic and topological contexts. For any stable $\infty$-category $\mathcal{C}$ together with a collection of…
Haag duality is a remarkable property in QFT stating that the commutant of the algebra of observables localized in some region of spacetime is exactly the algebra associated to the causally disconnected region. It is a strong condition on…
In this article, we pursue two main objectives. The first is to show that the fundamental results of Green-Lazarsfeld (1987, 1991) on generic vanishing theorems, and works of Budur-Wang (2015, 2020) on cohomology jumping loci, can be…
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 manifested by a net of boundary algebras in one dimension lower. This…
Using the completed inductive, projective and injective tensor products of Grothendieck for locally convex topological vector spaces, we develop a systematic theory of locally convex Hopf algebras with an emphasis on Pontryagin-type…
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…
We investigate a new property of nets of local algebras over 4-dimensional globally hyperbolic spacetimes, called punctured Haag duality. This property consists in the usual Haag duality for the restriction of the net to the causal…
We prove that Haag duality holds for cones in the toric code model. That is, for a cone Lambda, the algebra R_Lambda of observables localized in Lambda and the algebra R_{Lambda^c} of observables localized in the complement Lambda^c…
We study algebraic locality principles on a 2+1D closed lattice in the presence of a Gauss law for a non-invertible symmetry. Prior work in arXiv:2509.03589 showed that when enforcing the Gauss law of an invertible symmetry, the principle…
In this expository article, we outline a basic theory of group (co)homology and prove a cohomological formulation of the Local Reciprocity Law: $${\rm Gal}(L/K)^{\rm ab} \cong H_T^{-2}({\rm Gal}(L/K),\mathbb{Z}) \cong H_T^{0}({\rm…
We study the additivity and Haag duality of the von Neumann algebra of a quantum field theory $\mathcal{T}_\mathcal{F}$ with 0-form (and the dual $(d-2)$-form) (non)-invertible global symmetry $\mathcal{F}$. We analyze the symmetric…
Under natural conditions (such as split property and geometric modular action of wedge algebras) it is shown that the unitary equivalence class of the net of local (von Neumann) algebras in the vacuum sector associated to double cones with…
Haag duality is a fundamental locality property introduced in the pioneering formulation of algebraic quantum field theory by Haag and Kastler in the 1960s. Since then, it has played a central role, most notably in the classification of…
Arithmetic duality theorems over a local field $k$ are delicate to prove if $\mathrm{char} k > 0$. In this case, the proofs often exploit topologies carried by the cohomology groups $H^n(k, G)$ for commutative finite type $k$-group schemes…
If k is an arbitrary field, we construct a category of k-1-motives in which every commutative algebraic k-group G has a dual object $G^{\vee}$. When k is a local field of arbitrary characteristic, we establish Pontryagin duality theorems…
The Haag-Kastler net of local von Neumann algebras is constructed in the ultraviolet finite regime of the sine-Gordon model, and its equivalence with the massive Thirring model is proved. In contrast to other authors, we do not add an…
We adapt the bialgebra and Hopf relations to expose internal structure in the ground state of a Hamiltonian with $Z_2$ topological order. Its tensor network description allows for exact contraction through simple diagrammatic rewrite rules.…