Symplectic fermions in general domains

This paper provides an accessible review of symplectic fermions, a logarithmic conformal field theory with central charge $-2$, by explicitly constructing its field space and correlation functions while discussing its logarithmic structure within the context of lattice model scaling limits.

The Gist

The Big Picture: Cracking the Code of Randomness

Imagine you are watching a crowd of people at a busy train station. If you zoom in on one person, their movement looks random and chaotic. But if you zoom out and look at the whole crowd, you start to see patterns: they flow like water, they avoid collisions, and they move in waves.

In physics, scientists study "critical models"—systems like magnets, fluids, or random networks right at the tipping point where they change state. They believe that if you zoom out far enough (the "scaling limit"), these messy, random systems become perfectly smooth and follow the rules of Conformal Field Theory (CFT). Think of CFT as the "universal grammar" that describes how these patterns behave, regardless of the specific details of the system.

This paper is about a very special, slightly weird, and fascinating dialect of this universal grammar called Symplectic Fermions.

The Problem: When Math Gets "Logarithmic"

Most standard CFTs are like a well-organized library. Every book (or "field") has a clear, unique place on the shelf. If you mix two books, you get a predictable result.

However, some systems (like percolation, which models how fluid spreads through a porous rock, or the "dimer model" of covering a floor with tiles) are messy. In these systems, the "books" don't just sit on shelves; they are glued together in a way that creates logarithmic singularities.

• The Analogy: Imagine a standard library where if you pull a book, it comes out cleanly. In a "Logarithmic" library, pulling a book might also pull out a sticky note attached to the next book, or the book might be slightly torn. The information is entangled.
• The Paper's Goal: The author, David Adame-Carrillo, wants to build a complete instruction manual for this "sticky" library. He wants to define exactly what the "books" (fields) are, how they interact, and how to calculate the probability of events happening in any shape of room (domain), not just a perfect circle.

The Main Characters: The Symplectic Fermions

The theory focuses on a specific set of characters called Symplectic Fermions.

1. The Ground States (The Foundation):

   • The Identity (1): The "do-nothing" field. It's like the empty space in a room.
   • The Logarithmic Partner (ω): This is the weird one. In normal physics, if you have a particle, it has a specific energy. Here, the "Identity" and "ω" are stuck together. You can't separate them cleanly. If you try to measure the energy of one, you get a mix of both. This "gluing" is what creates the logarithmic behavior (the "sticky notes").
   • The Fermions (ξ and θ): These are the "actors" that move around. They are the ones that create the patterns we see in the random models.

2. The Currents (The Messengers):

   • The paper introduces "currents" (η and χ). Think of these as the hands that reach out and grab the actors (ξ and θ).
   • In the math, these hands are generated by a special operator called the Virasoro algebra. You can think of the Virasoro algebra as the "conductor" of the orchestra. It tells the actors how to move, stretch, and rotate.
   • The paper shows that the currents are essentially the "derivatives" (slopes) of the fermions. If the fermion is a hill, the current is the steepness of the hill.

The "Sticky" Structure (Logarithmic Modules)

In a normal theory, the conductor (Virasoro algebra) organizes the musicians into neat rows. In this theory, the conductor is a bit confused.

• The Analogy: Imagine a dance troupe. In a normal show, dancers stand in perfect lines. In this show, the "Identity" dancer and the "Logarithmic Partner" dancer are holding hands so tightly that if you try to move one, the other moves too. They form a Staggered Module.
• The paper proves that this "staggered" structure is the core building block of the theory. It's the only way to make the math work for these specific random systems.

The Magic Trick: Calculating the Future (Correlation Functions)

The ultimate goal of CFT is to calculate Correlation Functions.

• What is that? It's a formula that tells you: "If I place a marker at point A, what is the chance of finding a specific pattern at point B?"

The paper provides a recipe (a "Bootstrap") to calculate these probabilities for any shape of room (domain), not just simple circles.

The Recipe involves three steps:

1. The Green's Function (The Map):
   The paper uses a mathematical tool called the Green's function. Imagine this as a map of a room that tells you how a ripple spreads from a stone dropped in a pond. It knows about the walls (boundaries) of the room.
2. The OPE (The Operator Product Expansion):
   This is the rule for what happens when two actors get close.
   • Normal Physics: If two particles get close, they might bounce off or combine.
   • Logarithmic Physics: If the fermions (ξ and θ) get close, they don't just combine; they create a logarithm (a term that grows slowly like $\log|x-y|$). This is the signature of the "sticky" nature of the theory.
   • The paper writes down exactly how these interactions look, including a mysterious constant $\alpha$.
3. The Ambiguity (The Tuning Knob):
   Here is a fascinating twist. Because of the "sticky" nature of the theory, the answer isn't unique. There is a "tuning knob" (the constant $\alpha$) that you have to turn to get the right answer for a specific physical system.
   • Analogy: Imagine you are tuning a radio. The station is playing, but there's static. The math tells you the song is there, but you need to turn the dial (choose $\alpha$) to hear it clearly. The paper explains that this dial corresponds to how you scale the coordinates of your system.

Why Does This Matter?

This paper is a bridge between abstract math and real-world randomness.

• Real-world connections: The "Symplectic Fermions" theory describes the scaling limits of:
  • Spanning Trees: How electricity flows through a random network of wires.
  • Dimer Models: How you can tile a floor with dominoes.
  • Sandpiles: How sand avalanches when you keep adding grains (the Abelian Sandpile model).
  • Percolation: How coffee filters through a coffee ground.

By building this rigorous mathematical framework, the author allows scientists to take these messy, random physical models and predict their behavior with the precision of a symphony, even in complex, irregular shapes.

Summary in One Sentence

This paper builds a complete mathematical instruction manual for a "sticky," logarithmic version of quantum physics that perfectly describes the hidden patterns in random systems like sandpiles, domino tilings, and spreading fluids, showing how to calculate their behavior in any shape of room.

Technical Summary

1. Problem Statement and Context

The paper addresses the mathematical construction of Symplectic Fermions, a specific Logarithmic Conformal Field Theory (logCFT) with central charge $c = -2$. While the scaling limits of many 2D statistical mechanics models (like the Ising model or dimer models) are well-understood as standard CFTs, certain models (including the fermionic discrete Gaussian free field, spanning trees, and dense polymers) are predicted to converge to logCFTs.

The core challenges addressed are:

• Algebraic Complexity: Unlike standard CFTs, logCFTs possess indecomposable but reducible representations of the Virasoro algebra, where the Virasoro zero-mode ($L_0$) is non-diagonalizable (containing Jordan blocks).
• Non-Chiral Construction: Constructing the full non-chiral (bulk) theory from chiral components is non-trivial in logCFTs because it requires satisfying specific conditions (the Gaberdiel-Kausch condition) to ensure correlation functions are single-valued.
• Ambiguity in Correlation Functions: The presence of logarithmic fields introduces a family of non-trivial automorphisms in the space of fields, leading to an inherent ambiguity in defining correlation functions that must be resolved by fixing an extra parameter.
• Accessibility: The paper aims to provide a rigorous yet accessible construction of these theories for readers with limited background in CFT, bridging the gap between probabilistic lattice models and algebraic field theory.

2. Methodology

The author employs a constructive approach rooted in the bootstrap method and vertex operator algebra (VOA) techniques, adapted for logarithmic structures.

• Algebraic Construction:

  • Chiral Sector: The paper first constructs the chiral logarithmic Fock space ($\mathcal{F}^{(\chi)}$) as a quotient of a universal enveloping algebra of a Lie superalgebra generated by symplectic fermion modes ($\eta_k, \chi_k$).
  • Virasoro Action: The Virasoro algebra is realized via the Sugawara construction, defining Virasoro modes $L_n$ as quadratic sums of the current modes. This establishes the central charge $c = -2$.
  • Staggered Modules: The author identifies a staggered module (an indecomposable module with a specific short exact sequence structure) within the Fock space, generated by the logarithmic partner of the identity field ($\omega$).
  • Non-Chiral Extension: The full non-chiral space $\mathcal{F}$ is constructed by combining holomorphic and antiholomorphic copies. Crucially, the author imposes the Gaberdiel-Kausch condition ($L_0^{(nil)} - \bar{L}_0^{(nil)} = 0$) by identifying the zero modes of the holomorphic and antiholomorphic currents ($\eta_0 = \bar{\eta}_0$, $\chi_0 = \bar{\chi}_0$). This ensures locality.

• Correlation Function Construction:

  • The paper defines correlation functions as linear maps from the tensor product of the field space to real-analytic functions on the configuration space.
  • Bootstrap Approach: Instead of using a Lagrangian, the correlation functions are uniquely characterized by a set of axioms:
    1. Conformal Covariance: $L_{-1}$ and $\bar{L}_{-1}$ act as holomorphic and antiholomorphic derivatives ($\partial_z, \partial_{\bar{z}}$).
    2. Operator Product Expansions (OPEs): Specifically, the OPEs of the currents with other fields and the logarithmic OPE of the ground fermions.
    3. Parity and Anticommutation: Rules governing the exchange of fermionic and bosonic fields.
  • Resolution of Ambiguity: The construction introduces a complex parameter $\alpha \in \mathbb{C}$ to fix the automorphism freedom, allowing for a unique definition of correlation functions for a given $\alpha$.

3. Key Contributions

• Explicit Construction of the Field Space: The paper provides a rigorous, step-by-step construction of the symplectic fermion Fock space, explicitly detailing the basis, the action of current modes, and the structure of the staggered submodule.
• Proof of the Gaberdiel-Kausch Condition: It demonstrates how the non-chiral module is constructed to satisfy the necessary condition for single-valuedness in logCFTs, a detail often glossed over in physics literature.
• Characterization Theorem (Theorem 3.1): The paper establishes a uniqueness theorem for the correlation functions. It proves that for any fixed parameter $\alpha$, there exists a unique collection of correlation functions satisfying:
  • (FER): Specific determinant-like formulas for ground fermions involving the Green's function.
  • (DER): Derivative properties linking Virasoro modes to spatial derivatives.
  • (CUR): Current OPEs.
  • (LOG): The specific logarithmic singularity in the OPE of ground fermions: $\xi(z)\theta(w) \sim \log|z-w|^{-2} \mathbb{1}(w) - (\omega + \alpha \mathbb{1})(w)$.
• General Domain Applicability: Unlike many previous works restricted to the full plane or specific geometries, this construction is valid for general simply-connected domains $\Omega \subset \mathbb{C}$, utilizing the Dirichlet Green's function $G_\Omega$.

4. Key Results

• Structure of the Theory: The space of fields is shown to be an indecomposable representation of the Virasoro algebra containing a Jordan block of rank 2 for $L_0$. The ground states include the identity $\mathbb{1}$, its logarithmic partner $\omega$, and fermions $\xi, \theta$.
• Correlation Functions:
  • The $2n$-point function of ground fermions is given by a Pfaffian/determinant structure involving the Green's function $G_\Omega$.
  • The one-point function of the logarithmic field $\omega$ is explicitly derived as $\langle \omega(z) \rangle = -(4\pi g_\Omega(z,z) + \alpha)$, where $g_\Omega$ is the regular part of the Green's function.
  • The paper demonstrates how the parameter $\alpha$ relates to coordinate rescalings (conformal radius), showing that changing $\alpha$ corresponds to a specific transformation of the field $\omega$.
• Harmonicity: The correlation functions of the ground fermions are shown to be harmonic with respect to their insertion points, a direct consequence of the $L_{-1}\bar{L}_{-1}$ action.

5. Significance

• Bridging Probability and Physics: The paper serves as a critical link between recent rigorous probabilistic results (e.g., the convergence of the fermionic discrete Gaussian free field to symplectic fermions) and the algebraic framework of CFT. It provides the "dictionary" needed to translate lattice observables into CFT fields.
• Mathematical Rigor: It resolves ambiguities in the definition of logCFT correlation functions by providing a constructive proof of existence and uniqueness based on algebraic axioms, rather than heuristic physical arguments.
• Foundational for LogCFTs: By explicitly handling the non-chiral construction and the automorphism ambiguity, the paper sets a standard for analyzing other logarithmic theories arising in statistical mechanics (e.g., percolation, sandpiles, and polymers).
• Accessibility: The text is structured to be pedagogical, making advanced concepts like staggered modules and Sugawara constructions accessible to mathematicians and physicists who may not be specialists in CFT, thereby fostering further interdisciplinary research.

In summary, Adame-Carrillo provides a complete and rigorous mathematical framework for Symplectic Fermions, defining their algebraic structure and explicitly constructing their correlation functions in arbitrary domains, thereby solidifying the theoretical foundation for the scaling limits of several important 2D statistical models.