Intertwiners for D=3 Gauge Theories

Technical Summary: Intertwiners for D=3 Gauge Theories

Problem Statement
The paper addresses the construction of intertwiner operators ($\Omega$) that map between a simplified "asymptotic" BRST charge ($Q_0$) and the full BRST charge ($Q$) in three-dimensional gauge theories. While previous work (Ref. [2]) established this framework for Yang-Mills theory and gravity in specific background geometries using canonical quantization, a general framework accommodating different quantization schemes (specifically comparing canonical and holomorphic approaches) was lacking. The authors aim to apply the intertwiner method to topological field theories—specifically BF theory, Chern-Simons theory, and 3D gravity—to understand how the construction behaves in models with limited degrees of freedom and to handle cases where the BRST charge contains components with negative $S$-charge (where $S$ is a counting operator).

Methodology
The authors employ the operator method introduced in Ref. [2], which relies on a filtration of the BRST charge based on a counting operator $S$.

1. General Construction: The BRST charge is decomposed as $Q = Q_0 + Q_I$. An operator $R$ is constructed such that $[Q_0, R]_+ = iS$. If the BRST charge admits a finite decomposition into terms with non-negative $S$-charge, the intertwiner $\Omega$ can be constructed via a similarity transformation.
2. Handling Negative Charges: A key technical challenge arises when the BRST charge contains components with negative $S$-charge (e.g., $Q_{-N}$). In such cases, the cohomology of the positive sector ($Q_{\ge 0}$) is assumed to be trivial. The authors utilize a recursive procedure involving similarity transformations generated by operators $\Sigma$ to reabsorb negative-charge terms into the intertwiner, effectively rewriting $Q$ as $e^{-\Sigma} Q_{\ge 0} e^{\Sigma}$.
3. Quantization Schemes: The paper applies this method to three distinct models using two different quantization frameworks:
   • Canonical Quantization: Standard Hamiltonian analysis with gauge fixing, introducing Nakanishi-Lautrup fields and ghosts.
   • Holomorphic Quantization: Utilizing complex coordinates on the Cauchy surface, which simplifies the structure of the BRST charge and the resulting intertwiner.

Key Contributions and Results

• 3D Scalar-Maxwell Theory: The authors first review 3D Maxwell theory coupled to a complex scalar field. They construct the BRST charge and the intertwiner $\Omega$. The result parallels the Dirac dressing operator, where the gauge-invariant field is obtained by exponentiating a non-local field $\Phi$ coupled to the charge density. This serves as a warm-up for the topological models.

• Chern-Simons Theory:

  • Canonical Quantization: The analysis reveals a complication: the longitudinal and transverse modes of the gauge field carry opposite $S$-charges, leading to a BRST charge with mixed positive and negative charge components ($Q_1, Q_{-1}, Q_3$). The authors demonstrate that the non-linear part of the BRST charge ($Q_{nl}$) is $Q_0$-exact but requires a modified generator $\hat{\Gamma}$ to ensure the similarity transformation truncates correctly. This involves constructing non-local fields and handling the cohomology of $Q_0$, which is trivial for local fields but non-trivial for specific non-local distributions (related to puncture operators).
  • Holomorphic Quantization: In this framework, the decomposition of the BRST charge is cleaner, separating into pieces with charges 0, +1, and +2. The intertwiner is constructed more straightforwardly by exponentiating a generator $\Gamma$ derived from the non-linear terms.
  • Wilson Loops: As an application, the authors derive the path ordering of non-Abelian Wilson loops. They introduce auxiliary fermionic fields $Z, \bar{Z}$ coupled to the gauge field on a contour. The intertwiner is modified to include a term $\Gamma_Z$ that shifts the action to produce the coupling between the gauge field and these fermions, reproducing the Wilson loop path integral.

• BF Theory:

  • The intertwiner for pure BF theory is constructed, showing similarities to the Chern-Simons case.
  • Cosmological Term: When a cosmological term ($\sim B \wedge B \wedge B$) is added, the BRST charge acquires a component with negative charge ($Q_{-3}$). The authors show that this requires a "two-step procedure": first, handling the positive charge sector, and then using the recursive method to absorb the negative charge term. Alternatively, for specific gauge groups (like $GL(3)$), the theory can be reinterpreted as a sum of two Chern-Simons theories, allowing the use of holomorphic quantization techniques directly.

• 3D Gravity:

  • Canonical Quantization (Time Gauge): The authors analyze 2+1 gravity in the time gauge. They derive the first-class constraints and the corresponding BRST charge. The construction parallels the BF theory case but involves the dreibein and spin connection.
  • With Cosmological Constant:
    • Negative Cosmological Constant (AdS): The gauge group $SO(2,2)$ splits into two independent $SL(2, \mathbb{R})$ sectors. The theory is treated as two independent Chern-Simons theories, and the intertwiner is the product of the intertwiners for each sector ($\Omega = e^{i(-\Gamma_L + \Gamma_R)}$).
    • Positive Cosmological Constant: The gauge group is $SO(3,1) \cong SL(2, \mathbb{C})$. The reality condition ($A = A^\dagger$) couples the sectors. The authors treat the connections as independent initially and impose the reality condition at the end. The BRST charge contains a negative-charge piece ($Q_{-3}$) due to the cosmological constant term.
  • Two-Step Construction: For the case with a cosmological constant in the canonical framework, the authors explicitly detail the recursive procedure required to construct the intertwiner. They define a series of operators $\Gamma^{(l)}$ to reabsorb the negative charge terms, resulting in a full intertwiner $\Omega = e^{-P_\Lambda} e^{-\Gamma} Q_0 e^{\Gamma} e^{P_\Lambda}$. They note that this expression is significantly more complex than in the holomorphic case and cannot be easily combined into a single exponential using the Baker-Campbell-Hausdorff formula due to non-trivial commutation relations.

Significance and Outlook
The paper claims to provide a general technical toolkit for constructing intertwiner operators in topological field theories, highlighting the differences between canonical and holomorphic quantization.

• Methodological Insight: It demonstrates that while holomorphic quantization often simplifies the construction of $\Omega$ by naturally filtering the BRST charge, canonical quantization requires more intricate handling of negative $S$-charge components and non-local fields.
• Cohomology: The work emphasizes the role of the triviality of local BRST cohomology in topological theories, which allows the recursive absorption of negative charge terms.
• Future Work: The authors state that the study of observables (beyond the Wilson loop derivation in CS theory) is left for future work. They intend to use these tools to extend the framework to higher-dimensional models, such as 4D gravity and supergravity, and to further investigate the observables of the models presented here.

The paper does not propose new experimental applications but focuses on the rigorous mathematical construction of gauge-invariant operators within the BRST formalism for 3D topological models.