An official website of the United States government
Abstract Our work is motivated by obtaining solutions to the quantum reflection equation (qRE) by categorical methods. To start, given a braided monoidal category$${\mathcal {C}}$$and$${\mathcal {C}}$$-module category$${\mathcal {M}}$$, we introduce a version of the Drinfeld center$${\mathcal {Z}}({\mathcal {C}})$$of$${\mathcal {C}}$$adapted for$${\mathcal {M}}$$; we refer to this category as thereflective center$${\mathcal {E}}_{\mathcal {C}}({\mathcal {M}})$$of$${\mathcal {M}}$$. Just like$${\mathcal {Z}}({\mathcal {C}})$$is a canonical braided monoidal category attached to$${\mathcal {C}}$$, we show that$${\mathcal {E}}_{\mathcal {C}}({\mathcal {M}})$$is a canonical braided module category attached to$${\mathcal {M}}$$; its properties are investigated in detail. Our second goal pertains to when$${\mathcal {C}}$$is the category of modules over a quasitriangular Hopf algebraH, and$${\mathcal {M}}$$is the category of modules over anH-comodule algebraA. We show that the reflective center$${\mathcal {E}}_{\mathcal {C}}({\mathcal {M}})$$here is equivalent to a category of modules over an explicit algebra, denoted by$$R_H(A)$$, which we call thereflective algebraofA. This result is akin to$${\mathcal {Z}}({\mathcal {C}})$$being represented by the Drinfeld double$${\operatorname {Drin}}(H)$$ofH. We also study the properties of reflective algebras. Our third set of results is also in the Hopf setting above. We show that reflective algebras are quasitriangularH-comodule algebras, and we examine their corresponding quantumK-matrices; this yields solutions to the qRE. We also establish that the reflective algebra$$R_H(\mathbb {k})$$is an initial object in the category of quasitriangularH-comodule algebras, where$$\mathbb {k}$$is the ground field. The case whenHis the Drinfeld double of a finite group is illustrated.
more »
« less
This content will become publicly available on January 1, 2026
Local topological order and boundary algebras
Abstract 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 [Oga24] that the bulk cone von Neumann algebra in the Toric Code is of type$$\mathrm {II}$$, and we show that Levin-Wen models can have cone algebras of type$$\mathrm {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.
more »
« less
- Award ID(s):
- 2154389
- PAR ID:
- 10629194
- Publisher / Repository:
- Cambridge University Press
- Date Published:
- Journal Name:
- Forum of Mathematics, Sigma
- Volume:
- 13
- ISSN:
- 2050-5094
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract We prove novel asymptotic freeness results in tracial ultraproduct von Neumann algebras. In particular, we show that whenever$$M = M_1 \ast M_2$$is a tracial free product von Neumann algebra and$$u_1 \in \mathscr U(M_1)$$,$$u_2 \in \mathscr U(M_2)$$are Haar unitaries, the relative commutants$$\{u_1\}' \cap M^{\mathcal U}$$and$$\{u_2\}' \cap M^{\mathcal U}$$are freely independent in the ultraproduct$$M^{\mathcal U}$$. Our proof relies on Mei–Ricard’s results [MR16] regarding$$\operatorname {L}^p$$-boundedness (for all$$1 < p < +\infty $$) of certain Fourier multipliers in tracial amalgamated free products von Neumann algebras. We derive two applications. Firstly, we obtain a general absorption result in tracial amalgamated free products that recovers several previous maximal amenability/Gamma absorption results. Secondly, we prove a new lifting theorem which we combine with our asymptotic freeness results and Chifan–Ioana–Kunnawalkam Elayavalli’s recent construction [CIKE22] to provide the first example of a$$\mathrm {II_1}$$factor that does not have property Gamma and is not elementary equivalent to any free product of diffuse tracial von Neumann algebras.more » « less
-
Abstract Letfbe an$$L^2$$-normalized holomorphic newform of weightkon$$\Gamma _0(N) \backslash \mathbb {H}$$withNsquarefree or, more generally, on any hyperbolic surface$$\Gamma \backslash \mathbb {H}$$attached to an Eichler order of squarefree level in an indefinite quaternion algebra over$$\mathbb {Q}$$. Denote byVthe hyperbolic volume of said surface. We prove the sup-norm estimate$$\begin{align*}\| \Im(\cdot)^{\frac{k}{2}} f \|_{\infty} \ll_{\varepsilon} (k V)^{\frac{1}{4}+\varepsilon} \end{align*}$$ with absolute implied constant. For a cuspidal Maaß newform$$\varphi $$of eigenvalue$$\lambda $$on such a surface, we prove that$$\begin{align*}\|\varphi \|_{\infty} \ll_{\lambda,\varepsilon} V^{\frac{1}{4}+\varepsilon}. \end{align*}$$ We establish analogous estimates in the setting of definite quaternion algebras.more » « less
-
Abstract For$$E \subset \mathbb {N}$$, a subset$$R \subset \mathbb {N}$$isE-intersectiveif for every$$A \subset E$$having positive relative density,$$R \cap (A - A) \neq \varnothing $$. We say thatRischromatically E-intersectiveif for every finite partition$$E=\bigcup _{i=1}^k E_i$$, there existsisuch that$$R\cap (E_i-E_i)\neq \varnothing $$. When$$E=\mathbb {N}$$, we recover the usual notions of intersectivity and chromatic intersectivity. We investigate to what extent the known intersectivity results hold in the relative setting when$$E = \mathbb {P}$$, the set of primes, or other sparse subsets of$$\mathbb {N}$$. Among other things, we prove the following: (1) the set of shifted Chen primes$$\mathbb {P}_{\mathrm {Chen}} + 1$$is both intersective and$$\mathbb {P}$$-intersective; (2) there exists an intersective set that is not$$\mathbb {P}$$-intersective; (3) every$$\mathbb {P}$$-intersective set is intersective; (4) there exists a chromatically$$\mathbb {P}$$-intersective set which is not intersective (and therefore not$$\mathbb {P}$$-intersective).more » « less
-
Abstract Dirac rings are commutative algebras in the symmetric monoidal category of$$\mathbb {Z}$$-graded abelian groups with the Koszul sign in the symmetry isomorphism. In the prequel to this paper, we developed the commutative algebra of Dirac rings and defined the category of Dirac schemes. Here, we embed this category in the larger$$\infty $$-category of Dirac stacks, which also contains formal Dirac schemes, and develop the coherent cohomology of Dirac stacks. We apply the general theory to stable homotopy theory and use Quillen’s theorem on complex cobordism and Milnor’s theorem on the dual Steenrod algebra to identify the Dirac stacks corresponding to$$\operatorname {MU}$$and$$\mathbb {F}_p$$in terms of their functors of points. Finally, in an appendix, we develop a rudimentary theory of accessible presheaves.more » « less
