Graviton vertex operators in the de Donder gauge and BRST descent

Technical Summary: Graviton Vertex Operators in the de Donder Gauge and BRST Descent

Problem Statement
In covariant string theory, physical closed-string states are typically characterized by BRST cohomology. At the massless level, the graviton is conventionally described by a polarization tensor that is both transverse and traceless. While the traceless condition is valid for eliminating the trace component via residual gauge transformations for nonzero momentum, this argument fails at zero momentum. Previous analyses (e.g., Liu and Polchinski) have indicated that the trace sector of the graviton contributes to amplitude factorization, particularly in vacuum amplitudes and at zero momentum, suggesting that discarding the trace sector in covariant amplitudes may be inappropriate. Furthermore, zero-momentum closed-string states exhibit subtleties in BRST cohomology not present at generic momentum. The authors aim to revisit the role of the graviton's trace sector by constructing a vertex operator that imposes only the de Donder gauge condition ($k_\mu \varepsilon_{\mu\nu} - \frac{1}{2}k_\nu \varepsilon_{\mu\mu} = 0$) without requiring tracelessness, thereby retaining the trace sector explicitly.

Methodology
The authors employ the BRST descent formalism to construct graviton vertex operators with unconventional ghost numbers, specifically focusing on the ghost-number-three operator.

1. Decomposition and Gauge Choice: Starting from the integrated graviton vertex operator (a two-form) in the de Donder gauge, the authors avoid decomposing the polarization tensor into traceless and trace parts for the general construction. Instead, they solve the BRST descent equations directly for an arbitrary symmetric tensor satisfying the de Donder condition.
2. BRST Descent Chain: They derive the complete BRST sequence ($\omega_2^0 \to \omega_1^1 \to \omega_0^2 \to \omega_0^3$) for the graviton. For nonzero momentum, they utilize an auxiliary null vector $\bar{k}_\mu$ to decompose the operators into traceless ($\varepsilon'_{\mu\nu}$) and trace-dependent ($\Delta\varepsilon_{\mu\nu}$) parts.
3. Ghost-Number-Three Construction: Following their previous work on the dilaton, they construct the ghost-number-three vertex operator ($\omega_0^3$) by fixing the position of a single closed-string vertex on the disk via the Faddeev-Popov procedure. This introduces a specific ghost insertion factor. Crucially, they identify that a simple multiplication by this factor is insufficient for BRST invariance; an additional term involving string coordinate functions ($C(h), \tilde{C}(h), e(h)$) and a specific function $h(x)$ is required to ensure $\delta_B \omega_0^3 = 0$.
4. Zero-Momentum Analysis: The authors explicitly examine the behavior of these operators at zero momentum, where the auxiliary vector decomposition becomes ill-defined. They demonstrate that the trace-dependent sector of the descent chain forms a trivial BRST chain (BRST exact or total derivatives) for nonzero momentum but remains non-trivial and well-defined at zero momentum.
5. Amplitude Evaluation: To test the physical relevance of the trace-dependent sector, they evaluate the disk one-point function in the presence of a D$p$-brane. They impose Neumann boundary conditions for world-volume directions and Dirichlet conditions for transverse directions.

Key Contributions and Results

• Construction of a Well-Defined Operator: The paper presents a ghost-number-three graviton vertex operator that is well-defined even at zero momentum without imposing the traceless condition.
• Triviality at Nonzero Momentum: For nonzero momentum, the authors show that the trace-dependent sector of the descent chain forms a trivial BRST descent chain. Specifically, the trace-dependent parts of the two-form and one-form operators are BRST exact modulo total derivatives, and the zero-form operator is BRST exact. This is consistent with the fact that the trace can be gauged away in this regime.
• Essential Role at Zero Momentum: The construction reveals that the trace-dependent term cannot be simply discarded when evaluating zero-momentum amplitudes.
• D-brane Coupling Verification: In the calculation of the disk one-point amplitude for a D$p$-brane:
  • The conventional matter part of the vertex yields a result proportional to the difference between the traces in Neumann ($\varepsilon_{aa}$) and Dirichlet ($\varepsilon_{ii}$) directions ($\varepsilon_{aa} - \varepsilon_{ii}$).
  • The trace-dependent term yields a result proportional to their sum ($\varepsilon_{aa} + \varepsilon_{ii}$).
  • The sum of these contributions results in the cancellation of the Dirichlet components ($\varepsilon_{ii}$), leaving precisely the expected coupling to the world-volume components ($\varepsilon_{aa}$).
  • The final amplitude, including overall normalization, matches the standard D$p$-brane coupling derived from effective action.

Significance
The paper demonstrates that while the trace-dependent sector of the graviton is BRST trivial at nonzero momentum, retaining this sector is essential for obtaining the correct physical coupling in zero-momentum amplitudes within a covariant framework. The results highlight a subtlety in BRST cohomology where a sector that appears trivial in one kinematic regime (nonzero momentum) is necessary for consistency in another (zero momentum). The authors conclude that this representation provides a consistent description of the graviton-brane coupling without relying on the conventional traceless condition, which is ill-suited for zero-momentum analysis. The work suggests further investigation into the relationship between this trace-dependent sector, the zero-momentum dilaton sector, and closed string field theory.