The Bisognano-Wichmann property for non-unitary Wightman conformal field theories

James E. Tener

arxiv: 2506.10625 · v2 · submitted 2025-06-12 · 🧮 math-ph · math.MP· math.OA· math.QA

The Bisognano-Wichmann property for non-unitary Wightman conformal field theories

James E. Tener This is my paper

Pith reviewed 2026-05-19 10:07 UTC · model grok-4.3

classification 🧮 math-ph math.MPmath.OAmath.QA

keywords Bisognano-Wichmann propertyWightman fieldsnon-unitary theoriesHaag dualityMöbius vertex algebrasmodular theoryconformal field theoryalgebraic quantum field theory

0 comments

The pith

Non-unitary conformal field theories satisfy the Bisognano-Wichmann property for smeared Wightman fields.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a broadly applicable non-unitary version of the Bisognano-Wichmann property for nets of algebras generated by smeared Wightman fields. It achieves this by deriving analogous results to Tomita-Takesaki theory directly from the Wightman axioms, without relying on Hilbert space functional analysis. This approach becomes possible due to recent constructions of Wightman field theories from non-unitary Möbius vertex algebras. The result also yields Haag duality for these nets. This matters because it extends fundamental properties of quantum field theories to non-unitary settings where conventional tools do not apply.

Core claim

In this setting, the Bisognano-Wichmann property asserts that the modular operator associated with the vacuum state for a wedge region implements the corresponding Lorentz boost, and the modular conjugation implements the reflection, all derived by hand from the Wightman axioms for the non-unitary case.

What carries the argument

The explicit derivation of modular theory results from the Wightman axioms applied to nets generated by smeared fields.

If this is right

The Bisognano-Wichmann property holds in non-unitary theories constructed from Möbius vertex algebras.
Haag duality is established for the corresponding nets of smeared Wightman fields.
Geometric symmetries can be recovered from algebraic data in non-unitary Wightman theories.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This method of deriving modular properties directly from axioms may apply to other non-unitary or indefinite-metric theories.
Such results could help analyze information-theoretic aspects like entanglement entropy in non-unitary conformal field theories.

Load-bearing premise

The nets of algebras are those supplied by the recent construction of Wightman field theories for non-unitary Möbius vertex algebras.

What would settle it

Finding a non-unitary Wightman theory from a Möbius vertex algebra where the modular operator does not implement the geometric boost would disprove the property.

read the original abstract

The Bisognano-Wichmann and Haag duality properties for algebraic quantum field theories are often studied using the powerful tools of Tomita-Takesaki modular theory for nets of operator algebras. In this article, we study analogous properties of nets of algebras generated by smeared Wightman fields, for potentially non-unitary theories. In light of recent work constructing Wightman field theories for (non-unitary) M\"obius vertex algebras, we obtain a broadly applicable non-unitary version of the Bisognano-Wichmann property. In this setting we do not have access to the traditional tools of Hilbert space functional analysis, like functional calculus. Instead, results analogous to those of Tomita-Takesaki theory are derived `by hand' from the Wightman axioms. As an application, we demonstrate Haag duality for nets of smeared Wightman fields.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Tener gives a direct derivation of the Bisognano-Wichmann property from Wightman axioms that works for non-unitary Möbius vertex algebra constructions.

read the letter

The main takeaway is that this paper shows how to obtain the Bisognano-Wichmann property and Haag duality for nets of smeared Wightman fields without unitarity or Tomita-Takesaki theory. It does so by working straight from the axioms in the setting supplied by recent non-unitary vertex algebra constructions. That fills a concrete gap for algebraic approaches to these models. The derivation stays explicit and sidesteps functional calculus, which is the right move when positivity is absent. The application to duality comes out cleanly as a result. On the soft spots, the stress-test concern about the vacuum being cyclic and separating for the wedge algebra is worth checking. Without a positive inner product the usual arguments can slip, so the paper needs to confirm that the axioms alone still deliver this property. If section 3 supplies a short lemma for the non-unitary case, the claim holds up; if it just reuses the unitary steps, that part would need tightening. Nothing else looks load-bearing. The citations track the relevant prior work on vertex algebra constructions without circularity. This is a specialized piece aimed at people who already work with Wightman fields, conformal nets, or non-unitary vertex algebras. A reader in that niche gets a usable extension of the algebraic toolkit. It is solid enough on its own terms to merit referee time, even if the audience stays narrow. I would send it for peer review with referees who know both the Wightman axioms and the non-unitary constructions.

Referee Report

2 major / 2 minor

Summary. The paper derives a non-unitary version of the Bisognano-Wichmann property for nets of algebras generated by smeared Wightman fields in Möbius-invariant conformal field theories. Building on recent constructions of Wightman fields from non-unitary vertex algebras, it adapts arguments directly from the Wightman axioms to obtain modular-operator-like results without Hilbert-space functional analysis or positivity, and applies this to establish Haag duality for the resulting nets.

Significance. If the derivation is complete, the result supplies a broadly applicable algebraic QFT tool for non-unitary CFTs, where standard Tomita-Takesaki theory is unavailable. This strengthens the link between Wightman fields and modular theory in settings relevant to logarithmic CFT and related models.

major comments (2)

[§3] §3 (core derivation of the BW property): the argument that the vacuum is cyclic and separating for the wedge algebra must be supplied explicitly for the non-unitary case. The standard unitary proof relies on positivity to guarantee this property before defining the Tomita operator; without a separate non-unitary lemma, the subsequent 'by hand' steps risk circularity or incompleteness.
[§2, §4] §2 and §4: the precise interface between the external vertex-algebra construction of the Wightman fields and the axioms used in the BW derivation is not fully spelled out. It is unclear whether the separating property or the boost implementation follows from the Wightman axioms alone or tacitly imports additional structure from the VA construction.

minor comments (2)

[§1] Notation for smeared fields and wedge algebras should be introduced with a short table or explicit list of symbols to aid readability.
[Abstract] The abstract states the result is 'broadly applicable'; a sentence clarifying the precise class of non-unitary Möbius vertex algebras covered would strengthen the claim.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address the two major comments point by point below. In both cases we agree that additional explicit material is warranted and have revised the manuscript accordingly.

read point-by-point responses

Referee: [§3] §3 (core derivation of the BW property): the argument that the vacuum is cyclic and separating for the wedge algebra must be supplied explicitly for the non-unitary case. The standard unitary proof relies on positivity to guarantee this property before defining the Tomita operator; without a separate non-unitary lemma, the subsequent 'by hand' steps risk circularity or incompleteness.

Authors: We agree that an explicit, self-contained argument for cyclicity and the separating property is required in the non-unitary setting. The original manuscript invoked these properties as part of the general Wightman net but did not isolate a dedicated proof. In the revised version we have inserted a new Lemma 3.1 at the beginning of §3. The lemma establishes that the vacuum vector is cyclic for the wedge algebra and separating for its commutant by using only Möbius covariance of the fields, locality, and the fact that the vacuum is cyclic for the full net (which follows directly from the vertex-algebra construction). The argument proceeds by contradiction: any vector orthogonal to all wedge-smeared fields can be mapped by a suitable Möbius transformation into the complementary wedge, where locality forces it to be orthogonal to the whole algebra, hence zero. This lemma is proved before any modular-operator analogs are introduced, removing the risk of circularity. We have also added a short remark explaining why positivity is not needed. revision: yes
Referee: [§2, §4] §2 and §4: the precise interface between the external vertex-algebra construction of the Wightman fields and the axioms used in the BW derivation is not fully spelled out. It is unclear whether the separating property or the boost implementation follows from the Wightman axioms alone or tacitly imports additional structure from the VA construction.

Authors: We appreciate the request for greater clarity on the logical dependencies. In the revised manuscript we have expanded the opening paragraphs of §2 and added a clarifying remark at the end of §4. We now state explicitly that the external construction (cited in the introduction) produces a net of smeared Wightman fields satisfying the standard axioms: translation covariance, locality, and the existence of a vacuum vector that is cyclic for the algebra generated by all test-function smearing. The separating property for the wedge algebra is then derived in §3 from these axioms together with Möbius covariance; no further structure from the vertex algebra is used beyond what is already encoded in the resulting Wightman net. The implementation of boosts is likewise supplied by the algebraic action of the Möbius group on test functions and fields, which is part of the covariance axiom. We have added a short table in §2 that lists, for each ingredient of the BW proof, whether it comes from the general Wightman axioms or from the specific VA construction. revision: yes

Circularity Check

0 steps flagged

Derivation from Wightman axioms is self-contained with no reduction to inputs

full rationale

The paper supplies nets of algebras via an external recent construction of Wightman fields from non-unitary Möbius vertex algebras, then derives the Bisognano-Wichmann property directly from the Wightman axioms by hand without functional calculus. No equations or steps reduce a claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain. The central argument adapts modular theory analogs explicitly from the axioms and remains independent of the specific construction details beyond providing the input nets.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the Wightman axioms plus the external existence theorem for non-unitary Möbius vertex algebra fields; no free parameters or new postulated entities appear in the abstract.

axioms (2)

domain assumption Wightman axioms for smeared fields and their correlation functions
Invoked throughout as the starting point for the hand derivation of modular objects.
domain assumption Existence of Wightman field theories associated to non-unitary Möbius vertex algebras
Cited as the source of the nets to which the new property applies.

pith-pipeline@v0.9.0 · 5677 in / 1279 out tokens · 30022 ms · 2026-05-19T10:07:03.848265+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem A. … eViπ φ1(f1)⋯φk(fk)Ω = (−1)^d φk(fk∘z^{−1})⋯φ1(f1∘z^{−1})Ω (analytic continuation of Vt on S_{iπ})
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We do not have access to the traditional tools of Hilbert space functional analysis… results analogous to those of Tomita-Takesaki theory are derived ‘by hand’ from the Wightman axioms

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.