🔢 mathematics

Segal's semigroup, Virasoro structure, and Ward identities in Compactified Imaginary Liouville Theory

This paper establishes the quantization of Segal's semigroup for Compactified Imaginary Liouville Theory, overcoming the challenge of non-positivity to recover Virasoro generators and derive Ward identities, thereby providing essential tools for the conformal bootstrap program and the global construction of conformal blocks.

Original authors: Yang Xiao, Yuxiao Xie

Published 2026-10-16

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Yang Xiao, Yuxiao Xie

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of theoretical physics, there exists a realm where the rules of geometry and probability intertwine to describe the fundamental building blocks of our universe. This is the domain of two-dimensional conformal field theories, mathematical frameworks used to model systems that look the same regardless of how much you zoom in or out. Think of a pattern on a piece of fabric that remains perfectly consistent whether viewed from a foot away or from a mile high. Physicists have long used these theories to understand phase transitions in materials and the behavior of subatomic particles. Among the most successful of these models is Liouville theory, which describes a surface that can stretch and warp in complex ways. For decades, researchers have studied a "real" version of this theory, where the mathematical values behave in a predictable, positive manner. However, a more elusive "imaginary" version has remained a mystery, offering a different kind of mathematical structure that is harder to pin down but potentially crucial for understanding loop models and other complex physical systems.

A team of mathematicians has now taken a significant step forward in understanding this imaginary version, specifically a compactified form known as Compactified Imaginary Liouville Theory. In their recent work, they have successfully constructed a rigorous mathematical framework for this theory, moving it from a collection of formal ideas into a solid, calculable structure. The researchers focused on how this theory behaves when the surface it describes is shaped like a ring, or an annulus. In the language of these theories, such a shape represents a specific type of interaction or transition. The team demonstrated that these ring-shaped interactions can be organized into a mathematical system called a semigroup, which acts like a set of instructions for transforming one state of the system into another. By treating these instructions as operators acting on a space of possible configurations, they were able to prove that the system behaves smoothly and predictably, even though the underlying mathematics involves complex, non-positive values that usually cause such systems to break down.

The core achievement of this study is the proof that these imaginary interactions possess a deep symmetry known as Virasoro symmetry. This symmetry is the engine that drives the consistency of the theory, ensuring that the laws governing the system remain the same even as the shape of the space changes. The researchers showed that they could derive the specific generators of this symmetry directly from the way the system evolves over time. This was a difficult task because, unlike the real version of the theory, the imaginary version lacks a property called positivity, which usually makes such proofs straightforward. To overcome this, the team developed new mathematical estimates to control the behavior of the random fluctuations inherent in the theory. They proved that despite these fluctuations, the system remains stable and that the symmetry generators are well-defined.

Furthermore, the team used this new framework to derive a set of fundamental equations known as Ward identities. These identities act as a conservation law for the theory, linking the changes in the system's shape to the behavior of the particles or fields within it. By showing that these identities hold true for the imaginary theory, the researchers have provided a powerful tool for future calculations. This work is not just a theoretical exercise; it lays the essential groundwork for the "conformal bootstrap," a program aimed at solving these theories completely by using their internal symmetries to determine all possible outcomes. The researchers also extended their findings to include boundaries, showing that the same principles apply when the surface has an edge. This opens the door to understanding more complex physical scenarios where the system interacts with a boundary.

The significance of this work lies in its ability to turn a previously opaque mathematical object into a transparent, calculable tool. By establishing the continuity and differentiability of the system's evolution, the authors have shown that the imaginary theory is not just a formal curiosity but a robust mathematical structure. They have identified the precise operators that generate the theory's symmetries and proved that these operators behave consistently under deformation. This provides the necessary foundation for calculating specific quantities, such as the probability of certain configurations occurring, which was previously out of reach. The results confirm that the imaginary theory shares the same deep structural properties as its real counterpart, despite the differences in how the numbers behave.

This progress is particularly important for the study of loop models, which are used to describe the behavior of polymers and other chain-like structures in physics. The imaginary theory is believed to be the mathematical language that describes these models, and having a rigorous handle on its symmetries allows physicists to make precise predictions about their behavior. The researchers have also outlined how their methods can be applied to boundary versions of the theory, suggesting that the same rigorous approach can be used to solve problems involving edges and interfaces. By proving that the system is differentiable and that its symmetries are well-behaved, the team has removed a major obstacle that had prevented a full understanding of these theories.

The work represents a bridge between abstract mathematical construction and physical application. It takes the formal path integrals, which are essentially sums over all possible configurations of a field, and shows how they can be organized into a coherent system of operators. This organization allows for the calculation of amplitudes, which are the mathematical quantities that determine the likelihood of different physical events. The researchers have shown that these amplitudes satisfy the necessary consistency conditions, such as the ability to glue different surfaces together without creating contradictions. This gluing property is central to the idea that the theory is a complete description of a physical system, capable of describing interactions on surfaces of any shape.

In essence, the paper provides the missing manual for a complex machine that physicists have been trying to use for years. It details how the gears of the imaginary theory turn, how the symmetries hold the structure together, and how to calculate the output of the system. By addressing the technical difficulties posed by the lack of positivity, the authors have demonstrated that the theory is mathematically sound. This paves the way for solving the "bootstrap" equations, which would allow for the complete determination of the theory's properties without needing to rely on approximations. The study confirms that the imaginary theory is a viable and rich mathematical object, ready to be explored further to unlock new insights into the nature of two-dimensional systems.

Technical Summary: Segal's Semigroup, Virasoro Structure, and Ward Identities in Compactified Imaginary Liouville Theory

Problem Statement
The paper addresses the rigorous mathematical construction of the Conformal Field Theory (CFT) known as Compactified Imaginary Liouville Theory (CILT) and its boundary counterpart (BCILT). While CILT is expected to connect to minimal models, Coulomb gas integrals, and loop models, a complete conformal bootstrap program requires a precise understanding of the theory's local conformal structure, specifically the Virasoro symmetry and the behavior of correlation functions under conformal deformations.

The central challenge lies in the "imaginary" nature of the theory. Unlike real Liouville CFT, where the interaction potential is positive, the imaginary Liouville action involves complex parameters and lacks positivity. This absence of positivity prevents the direct application of standard probabilistic tools (such as those relying on the positivity of the Gaussian Multiplicative Chaos potential) used in the construction of real Liouville CFT. Consequently, establishing the quantization of Segal's semigroup, identifying the Virasoro generators, and deriving Ward identities for CILT requires new analytical estimates and a careful treatment of non-self-adjoint operators.

Methodology
The authors employ a probabilistic construction of CFT based on Segal's axiomatic framework, utilizing the tools of Gaussian Free Fields (GFF) and Imaginary Gaussian Multiplicative Chaos (GMC).

Quantization of Segal's Semigroup:
The authors define a semigroup $S$ of holomorphic embeddings $f: D \to D^\circ$ (where $D$ is the unit disk). To each $f \in S$ , they associate an annulus $A_f = D \setminus f(D^\circ)$ . They construct a quantization map $f \mapsto T_f$ , where $T_f$ is a bounded operator acting on the Hilbert space $\mathcal{H} = L^2(D'(T, \mathbb{R}_R))$ . This space consists of functionals of boundary fields $\tilde{\phi}_k = c + \phi + kR\theta$ , where $\phi$ is a mean-zero GFF and $k$ is an integer winding number.
The operator $T_f$ is defined via a path integral expectation involving the harmonic extension of the boundary field, the Dirichlet GFF on the disk, and the imaginary GMC potential. A key technical step involves relating $T_f$ to the CILT amplitude of the annulus $A_f$ equipped with an admissible metric.
Handling Non-Positivity and Non-Self-Adjointness:
Since the Liouville potential is complex, the Hamiltonian and Virasoro generators are not self-adjoint. The authors overcome this by:
- Defining a reference positive quadratic form $\tilde{Q}_0$ associated with the free Hamiltonian.
- Establishing uniform exponential-moment estimates for the regularized imaginary GMC. Unlike the real case, these estimates cannot rely on the positivity of the potential; instead, they utilize specific arc-average regularizations and martingale arguments to control the growth of the GMC exponential moments.
- Proving that the perturbed quadratic forms associated with the Virasoro generators satisfy coercivity conditions relative to $\tilde{Q}_0$ , allowing the application of the Hille-Yosida theorem for non-self-adjoint operators to generate strongly continuous semigroups.
Differentiability and Ward Identities:
The authors prove the differentiability of the map $f \mapsto T_f$ with respect to the vector field generating the flow. By differentiating the amplitude with respect to boundary parametrizations and utilizing the gluing axiom, they derive the Ward identities. This involves extending the definition of Virasoro generators $L_n, \tilde{L}_n$ to all integers $n \in \mathbb{Z}$ via conformal welding arguments for general annuli.

Key Contributions and Results

Quantization of Segal's Semigroup (Theorem 1.1):
The paper proves that the map $f \mapsto T_f$ is a semigroup homomorphism and that $T_f$ coincides (up to a universal constant and a Weyl anomaly factor) with the CILT amplitude of the annulus $A_f$ . Furthermore, a Feynman-Kac formula is established, showing that $T_{f_t} = e^{-tH_v}$ , where $f_t$ is the flow generated by a Markovian holomorphic vector field $v$ , and $H_v$ is the corresponding generator.
Virasoro Generators:
The infinitesimal generators of the semigroup are identified as the Virasoro operators $L_n$ and $\tilde{L}_n$ ( $n \ge 0$ ). Explicit formulas are provided in terms of creation/annihilation operators ( $A_n, \tilde{A}_n$ ) and the boundary GMC. The central charge is confirmed to be $c_L = 1 - 6Q^2$ . The paper notes that the presence of a non-trivial spin term (due to the winding number $k$ ) confirms that CILT is a non-diagonal CFT.
Differentiability and Ward Identities (Theorem 1.2 & 1.3):
The map $f \mapsto T_f$ is proven to be differentiable in the topology of bounded operators from the domain of $\tilde{Q}_0$ to its dual. Using this differentiability and the gluing axiom, the authors derive the full Ward identities for CILT amplitudes on general compact Riemann surfaces with boundary. These identities express the variation of amplitudes under conformal deformations in terms of the action of all Virasoro operators ( $n \in \mathbb{Z}$ ) and the conformal weights of the inserted operators.
Boundary CILT (BCILT):
The theory is extended to the boundary case (BCILT), involving semiannuli and Neumann boundary conditions. The authors define the quantization of Segal's semigroup of semiannuli, identify the corresponding Hamiltonian and Virasoro generators, and derive the boundary Ward identities.

Significance
The paper provides the essential prerequisite theory for the conformal bootstrap program in (B)CILT. Specifically:

It establishes the rigorous link between the probabilistic construction of CILT and the algebraic structure of the Virasoro algebra.
The derived Ward identities are crucial for proving the BPZ (Belavin-Polyakov-Zamolodchikov) equations in (B)CILT, which are necessary for determining the structure constants and conformal blocks.
The results offer a framework for handling the non-self-adjoint nature of imaginary Liouville theories, addressing the technical difficulties posed by the lack of positivity in the GMC potential.
These tools are intended to facilitate the global construction of conformal blocks and the proof of factorization formulas for correlation functions, which are central to solving the theory.

The authors note that while this work lays the foundation, the full solution to the 4-point function on the sphere (involving the analysis of poles in structure constants and conformal blocks) will be addressed in companion works, particularly in cases where algebraic complications (like logarithmic Jordan partners) are avoided or handled separately.

Technical Summary: Segal's Semigroup, Virasoro Structure, and Ward Identities in Compactified Imaginary Liouville Theory

More like this