When left and right disagree: Entropy and von Neumann algebras in quantum gravity with general AlAdS boundary conditions (2402.09691v2)

Abstract: Euclidean path integrals for UV-completions of $d$-dimensional bulk quantum gravity were studied in [1] by assuming that they satisfy axioms of finiteness, reality, continuity, reflection-positivity, and factorization. Sectors ${\cal H}{\cal B}$ of the resulting Hilbert space were defined for any $(d-2)$-dimensional surface ${\cal B}$, where ${\cal B}$ may be thought of as the boundary $\partial\Sigma$ of a bulk Cauchy surface in a corresponding Lorentzian description, and where ${\cal B}$ includes the specification of boundary conditions for bulk fields. Cases where ${\cal B}$ was the disjoint union $B\sqcup B$ of two identical $(d-2)$-dimensional surfaces were studied in detail and, after the inclusion of finite-dimensional `hidden sectors,' were shown to provide a Hilbert space interpretation of the associated Ryu-Takayanagi entropy. The analysis was performed by constructing type-I von Neumann algebras $\mathcal A_L^B,\mathcal A_R^B$ that act respectively at the left and right copy of $B$ in $B\sqcup B$. Below, we consider the case of general ${\cal B} = B_L\sqcup B_R$ with $B_L,B_R$ distinct. For any $B_R$, we find that the von Neumann algebra at $B_L$ acting on ${\cal H}{B_L\sqcup B_R}$ is a central projection of the corresponding type-I von Neumann algebra on the `diagonal' Hilbert space ${\cal H}{B_L\sqcup B_L}$. As a result, the von Neumann algebras $\mathcal A_L^{B_L},\mathcal A_R^{B_L}$ defined in [1] using the diagonal Hilbert space coincide precisely with those defined using the full Hilbert space of the theory. A second implication is that, for any ${\cal H}{B_L\sqcup B_R}$, including the same hidden sectors as in the diagonal case again provides a Hilbert space interpretation of the Ryu-Takayanagi entropy. We also show the above central projections to satisfy consistency conditions that lead to a universal central algebra relevant to all choices of $B_L,B_R$.