Crossed-Product Gravitational Algebras and Generalized-Entropy Terms
Local QFT algebras are typically Type III and carry no ordinary trace or density matrix. Crossing a von Neumann algebra with its modular automorphism group produces a semifinite algebra with a trace, and recent gravitational constructions relate its entropy to generalized entropy in controlled large-N or semiclassical settings. The mathematical crossed product is established; its choice as the complete algebra of a gravitational region remains representation- and regime-dependent.
Required background. Von Neumann Factors and Type-III Local Algebras supplies the algebra types. Generalized Entropy and UV Renormalization supplies the target gravitational quantity.
Helpful background. Relative Modular Operators and Connes Cocycles supplies weight changes. Gauge Constraints, Centers, and Edge Data explains why centers matter.
First application. Work through a semiclassical wedge model where adjoining modular data produces a semifinite algebra and compare its entropy term with generalized entropy.
The modular crossed product
Section titled “The modular crossed product”Let be a Type-III von Neumann algebra with faithful normal weight and modular automorphisms . Its crossed product is
Concretely, is generated by a representation of together with unitaries obeying
The crossed product is semifinite and admits a faithful trace or trace-like weight, so entropy differences can be defined. Although the presentation uses , the continuous core is canonical up to the appropriate isomorphism; the concrete trace normalization and state interpretation still require choices.
Gravitational interpretation
Section titled “Gravitational interpretation”In large-N black-hole settings, modular time is tied to a boost or boundary time-translation generator. Adjoining its conjugate variable turns the emergent Type-III algebra into a Type-II algebra at the relevant order. Witten showed how this organizes perturbative corrections and gives black-hole entropy up to a state-independent additive constant Witten 2022, §§2–4.
Chandrasekaran, Penington, and Witten constructed a microcanonical large-N algebra whose entropy matches generalized entropy in a specified black-hole setting Chandrasekaran, Penington, and Witten 2023. The geometric term is encoded through the additional generator and constraint rather than appended to an ordinary factorized bulk entropy.
The proposal is not unique without declaring:
- the original algebra and region;
- the faithful weight or reference state;
- which modular or clock generator is adjoined;
- the center and area variables retained;
- the microcanonical or canonical energy window;
- the order in or ;
- the trace normalization and entropy subtraction.
Different choices can produce Type II or Type III algebras for different regions. Recent two-area constructions explicitly show that including an area sum, difference, or neither changes the algebra and entropy relation Cao, Faulkner, and Wang 2025.
A wedge model
Section titled “A wedge model”Start from a wedge algebra in a semiclassical state and adjoin a variable conjugate to its modular Hamiltonian. The resulting crossed product carries a density relative to its semifinite trace. For nearby states, the trace entropy difference can combine a bulk entropy difference with the expectation change of the conjugate geometric charge, reproducing a generalized-entropy difference up to the fixed additive normalization.
This is an algebraic realization of a specified entropy combination. It does not mean that the Type-III algebra had a hidden ordinary density matrix, nor that every gravitational region has a unique Type-II algebra.
As of 10 August 2026, a new linearized-AdS analysis derives a vacuum-subtracted HRT relation for localized coherent excitations in a dressed Type-II algebra, but explicitly assumes an AdS/CFT isometric map, vacuum matching, linearized Einstein dynamics, and AdS–Rindler wedge reconstruction Mondal 2026. Those assumptions set the result’s scope.
Adversarial controls
Section titled “Adversarial controls”Change the weight. A concrete density and entropy can change even when the continuous core is isomorphic. Compare only invariant relative quantities after transforming the weight.
Drop the area mode. The resulting algebra may remain Type III or yield an entropy missing the geometric term. The failure is structural, not a finite counterterm.
Promote a black-hole construction to every subregion. Multiple extremal surfaces, nontrivial centers, and wedge transitions can require different operator-valued weights and algebras.
Evidence ceiling
Section titled “Evidence ceiling”Crossed products rigorously supply semifinite algebras from modular data. In declared large-N and semiclassical gravitational models, their trace entropies can reproduce generalized-entropy differences. This does not establish a unique gravitational algebra for arbitrary regions, an exact finite-N factorization, or a universal derivation of QES without the construction’s holographic inputs.
The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.
For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.
References
Section titled “References”- Cao, Xuchen, Thomas Faulkner, and Zhencheng Wang. “Gravitational Algebras with Two Areas.” arXiv preprint (2025). arXiv:2512.04435.
- Chandrasekaran, Venkatesa, Geoff Penington, and Edward Witten. “Large N Algebras and Generalized Entropy.” arXiv preprint (2022, revised 2023). arXiv:2209.10454.
- Mondal, Avinandan. “Holography in the Linearized Quantum Gravity Regime and Modular Crossed Product.” arXiv preprint (2026). arXiv:2607.27337.
- Witten, Edward. “Gravity and the Crossed Product.” Journal of High Energy Physics 2022, 008 (2022). DOI; arXiv:2112.12828.