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

This paper establishes a non-unitary version of the Bisognano-Wichmann property and proves Haag duality for nets of smeared Wightman fields by deriving Tomita-Takesaki-like results directly from Wightman axioms, thereby extending these fundamental algebraic quantum field theory concepts to non-unitary theories where traditional Hilbert space functional analysis tools are unavailable.

The Gist

Imagine the universe as a giant, intricate orchestra. For decades, physicists have been trying to write the "sheet music" for this orchestra using two different languages: Algebraic Quantum Field Theory (AQFT) and Vertex Algebras.

• AQFT is like looking at the orchestra from a distance, focusing on the sound waves in specific rooms (regions of space) and how they interact. It's very rigorous and uses powerful mathematical tools (like Hilbert spaces) that work perfectly when the music is "harmonious" (unitary theories).
• Vertex Algebras are like looking at the individual musicians and their specific notes. This approach is great for describing complex, chaotic, or "dissonant" music (non-unitary theories), which are becoming very popular in modern physics but are harder to analyze with the standard tools.

The Problem:
For a long time, the "Algebraic" tools (AQFT) only worked well for the "harmonious" music. When physicists tried to apply these tools to the "dissonant" or non-unitary theories, the instruments broke. The standard mathematical tricks relied on having a perfect, positive energy system (like a perfectly tuned piano), but non-unitary theories are more like a piano with some broken keys.

The Big Idea of This Paper:
James E. Tener, the author, asks: "Can we fix the broken tools so they work for the dissonant music too?"

He focuses on a specific, famous rule in physics called the Bisognano-Wichmann property.

• The Analogy: Imagine you have a magical mirror (the PCT operator) that reflects the universe. The Bisognano-Wichmann property says that if you take a specific slice of time and space, reflect it in this mirror, and then rotate it, you get the exact same result as if you had just taken the "complex conjugate" (the mathematical opposite) of the music.
• In the "harmonious" (unitary) world, we knew this rule worked perfectly.
• In the "dissonant" (non-unitary) world, nobody knew if it worked because the standard tools couldn't handle the broken keys.

What Tener Did (The Solution):
Instead of using the standard "black box" tools that broke, Tener built a new set of tools from scratch ("by hand").

1. The "By Hand" Approach: Think of it like fixing a watch. Usually, you use a specialized machine to take it apart. But if the machine breaks, you have to use tweezers and a magnifying glass to carefully move every single gear yourself. Tener did this with the math. He didn't rely on the usual "functional calculus" (the machine); he used the basic axioms of the theory (the gears) to prove the rule still holds.
2. The Result: He proved that the Bisognano-Wichmann property does work for these non-unitary theories. The "magical mirror" still reflects the universe correctly, even if the music is dissonant.
3. Haag Duality: He also proved a second rule called "Haag Duality."
   • The Analogy: Imagine you are in a room (a region of space). Haag Duality says that the information you can get from inside the room is exactly the same as the information you can get from outside the room, provided you know the right rules.
   • Tener showed that even in these messy, non-unitary theories, the "inside" and "outside" information are perfectly linked.

Why Does This Matter?

• Bridging the Gap: This paper builds a bridge between the two languages of physics (AQFT and Vertex Algebras). It shows that the powerful, rigorous methods of AQFT can now be applied to the messy, interesting world of non-unitary theories (like the Yang-Lee model or log-CFTs).
• New Tools for Old Problems: By proving these rules "by hand," Tener has given physicists a new way to study these complex systems without needing the "perfect piano" (unitary condition).
• The "Separating Vector" Test: In the final section, he gives a simple test for unitary theories. If you can find just one specific note (a vector) that doesn't get "lost" when played through the system, you know the whole system is "local" (behaves correctly). This is a huge simplification for checking if a theory is valid.

In a Nutshell:
James E. Tener took a set of mathematical tools that were too fragile for "messy" quantum theories, rebuilt them from the ground up, and proved that the fundamental laws of symmetry and locality still hold true. He showed that even in a universe where the music sounds "broken," the underlying structure is still perfectly ordered and predictable.

Technical Summary

Here is a detailed technical summary of the paper "The Bisognano-Wichmann property for non-unitary Wightman conformal field theories" by James E. Tener.

1. Problem Statement and Motivation

The paper addresses a fundamental gap in the application of algebraic quantum field theory (AQFT) methods to non-unitary conformal field theories (CFTs).

• Context: In unitary CFTs, the Bisognano-Wichmann (BW) property and Haag duality are well-established. These properties link the analytic continuation of the symmetry group (specifically the one-parameter subgroup of Möbius transformations preserving a half-circle) to the PCT operator and the adjoint operation. They are typically proven using Tomita-Takesaki modular theory, which relies heavily on Hilbert space functional analysis (e.g., spectral theory, functional calculus for unbounded operators).
• The Challenge: Non-unitary CFTs (such as logarithmic CFTs or non-unitary minimal models like the Yang-Lee model) lack a positive-definite inner product. Consequently, the standard tools of Hilbert space functional analysis are unavailable. Specifically, one cannot invoke general Tomita-Takesaki theory or functional calculus to define modular operators or analytic continuations.
• Goal: The author aims to establish the Bisognano-Wichmann property and Haag duality for non-unitary Möbius-covariant Wightman CFTs on the unit circle $S^1$. The goal is to determine if operator algebraic methods can be adapted to this setting without the assumption of unitarity.

2. Methodology

The paper adopts a "by hand" approach, deriving results directly from the Wightman axioms and the structure of vertex algebras, rather than relying on abstract modular theory.

• Framework: The study focuses on Wightman CFTs defined by a family of operator-valued distributions $\mathcal{F}$ acting on a common domain $\mathcal{D}$, with a vacuum vector $\Omega$ and a representation $U$ of the Möbius group. This is shown to be equivalent to Möbius vertex algebras generated by quasiprimary vectors.
• Analytic Continuation without Functional Calculus:
  • Instead of using spectral theory to define the analytic continuation of the unitary group $V_t = U(v_t)$ to complex times, the author defines operators $\tilde{V}_\tau$ (and later $V_\tau$) via analytic continuation of matrix elements.
  • A vector $\Phi$ is in the domain of $\tilde{V}_\tau$ if the function $t \mapsto \lambda(V_t \Phi)$ extends to a holomorphic function on a complex strip for all compatible linear functionals $\lambda$.
  • The author constructs a dense subspace of "good" vectors (using functions from a specific space $\mathcal{X}$ of holomorphic functions on the exterior of the unit disk) and proves the analytic continuation properties explicitly using estimates on the growth of smeared fields.
• Invariant Hermitian Forms: For the main results regarding duality, the paper assumes the existence of an invariant non-degenerate Hermitian form $\langle \cdot, \cdot \rangle$ and an antiunitary PCT operator $\theta$. This allows the definition of adjoints and the construction of $\ast$-algebras, even if the form is not positive definite.
• Standard Subspaces: The paper utilizes the theory of standard subspaces (real subspaces $K$ such that $K+iK$ is dense and $K \cap iK = \{0\}$) in locally convex spaces. This approach, pioneered by Longo, is adapted to the non-unitary setting to bypass the need for von Neumann algebras initially, focusing instead on the geometry of the domain $\mathcal{D}$.

3. Key Contributions and Results

A. Analytic Continuation of Symmetry Groups (Theorem 3.10)

The author explicitly computes the action of the analytically continued group operators $\tilde{V}_{\pm i\pi}$ on the vacuum sector.

• Result: For a non-unitary Wightman CFT, if $x = \phi_1(f_1)\cdots\phi_k(f_k)$ is a smeared field operator with support in the upper half-circle $I_+$, then:
  $$\tilde{V}_{i\pi} x \Omega = (-1)^{\sum d_j} \phi_k(f_k \circ z^{-1}) \cdots \phi_1(f_1 \circ z^{-1}) \Omega$$
  where $d_j$ are the conformal dimensions. This formula holds without assuming unitarity or the existence of a PCT operator initially.

B. The Bisognano-Wichmann Property (Theorem 4.2)

When an invariant Hermitian form and PCT operator $\theta$ are present:

• Result: The analytic continuation $V_{\pm i\pi}$ is related to the PCT operator and the adjoint operation by:
  $$V_{\pm i\pi} x \Omega = \theta x^* \Omega$$
  for $x$ in the polynomial algebra generated by fields supported in $I_\pm$.
• Significance: This establishes the BW property in the non-unitary setting, linking the geometric symmetry (rotation by $i\pi$) to the algebraic structure (PCT and adjoint).

C. The KMS Condition (Corollary 4.3)

The paper proves that the vacuum state satisfies the KMS condition with respect to the modular automorphism group generated by $V_t$, confirming the thermal nature of the vacuum restricted to a half-circle even in non-unitary theories.

D. Self-Adjointness of Modular Operators (Theorem 4.6)

• Result: The operators $V_{\pm i\pi}$ are shown to be self-adjoint (in the sense of partially defined operators on $\mathcal{D}$) with respect to the invariant Hermitian form.
• Technical Note: The proof carefully handles the domain issues arising from the lack of a Hilbert space structure, showing that $V_{\pm i\pi}^* = V_{\pm i\pi}$.

E. Haag Duality for Polynomial Nets (Theorem 5.18)

The paper defines a net of algebras $Q(I) = P(I)^{\prime\prime}$ (the double commutant in the space of continuous endomorphisms with continuous adjoints).

• Result: The net $Q(I)$ satisfies Haag duality:
  $$Q(I)' = Q(I')$$
  where $I'$ is the complementary interval.
• Method: This is proven by constructing a net of standard subspaces $K(I)$ and showing that the "dual net" $L(I) = K(I')'$ coincides with $K(I)$ under specific conditions, effectively generalizing the Longo approach to non-unitary theories.

F. Application to Unitary Vertex Algebras (Theorem 6.6)

The results are applied back to unitary Möbius vertex algebras to address the question of AQFT-locality.

• Result: A unitary Möbius vertex algebra is AQFT-local (meaning the von Neumann algebras generated by disjoint intervals commute) if and only if the vacuum vector $\Omega$ is a separating vector for the algebra associated with a single interval.
• Significance: This provides a concrete, verifiable criterion for locality that avoids the difficult task of checking commutativity for all pairs of disjoint intervals.

4. Significance

• Bridging Algebraic and Vertex Algebraic Approaches: The paper successfully extends the powerful machinery of algebraic QFT (specifically BW and Haag duality) to the realm of non-unitary theories, which are increasingly important in statistical mechanics and logarithmic CFTs.
• Overcoming Non-Unitarity: It demonstrates that the reliance on Hilbert space functional calculus is not absolute; the core structural results of AQFT can be derived "by hand" from the axioms of Wightman fields and vertex algebras.
• New Tools for Representation Theory: By establishing Haag duality for non-unitary nets, the paper opens the door to applying representation theory techniques (which often depend on duality) to non-unitary models.
• Dedication to Huzihiro Araki: The work is framed as a generalization of Araki's foundational work on Haag-Araki duality for free fields, extending it to interacting (non-free) and non-unitary models.

In summary, James E. Tener provides a rigorous mathematical framework that validates the use of algebraic QFT tools for non-unitary CFTs, proving that the deep structural connections between geometry, symmetry, and operator algebras persist even in the absence of unitarity.