Correlator-Level Verification of Mass and Current Maps in Abelian Chern-Simons Dualities

1. Problem Statement

The paper addresses the verification of Abelian Chern–Simons (CS) fermion-boson dualities in three spacetime dimensions. While the existence of these dualities is widely conjectured based on:

• Phase structure analysis.
• Anomaly matching.
• Large-$N$ limits.
• Indirect evidence from integrating out matter fields to derive effective actions.

There has been a lack of direct, quantitative verification at the level of correlation functions for finite $N$ (specifically $N=1$). The central problem is to explicitly construct a local operator realization that reproduces Dirac fermion correlation functions within a bosonic Abelian CS framework and use it to verify two specific conjectured maps:

1. Mass Deformation Map: The relationship between bosonic scalar mass ($m^2$) and fermionic mass ($m'$), including the crucial relative sign.
2. Current Map: The identification of the fermionic $U(1)$ current ($\bar{\psi}\gamma^\mu\psi$) with the topological gauge current ($\frac{1}{2\pi}\epsilon^{\mu\nu\rho}\partial_\nu a_\rho$).

2. Methodology

The author employs a constructive approach using an explicit local operator realization within a Gaussian (free) Abelian Chern–Simons framework.

• Framework: The calculation is performed in $2+1$ dimensions with metric $\eta_{\mu\nu} = \text{diag}(+, -, -)$. The theory involves two decoupled Abelian CS gauge fields, $A_\mu$ and $B_\mu$, both at level $k$.
• Operator Realization: The Dirac fermion field $\psi$ is constructed as a linear combination of the gauge fields $A_\mu$ and $B_\mu$ acting on an auxiliary algebra.
  • The fermion components are defined as:
    $$\psi_L(x) = (-iA_2(x) - A_-(x))\hat{P}_A + \sqrt{2}iB_2(x)\hat{P}_B$$
    $$\psi_R(x) = (-A_2(x) + iA_+(x))\hat{P}_A + \sqrt{2}iB_1(x)\hat{P}_B$$
  • Here, $\hat{P}_A$ and $\hat{P}_B$ are fixed, non-dynamical algebraic elements (analogous to Grassmann coordinates in superspace) that ensure the correct statistics and orthogonality without being operators on a Hilbert space.
• Propagator Matching: The author calculates the two-point correlation functions of the constructed bosonic fields using the CS propagators:
  $$\langle A_\mu(p) A^*_\nu(p) \rangle = \frac{2\pi}{k} \frac{\epsilon_{\mu\nu\rho}p^\rho}{p^2}$$
  These are shown to match the standard Dirac fermion propagator $G(p) \propto \frac{\gamma^\mu p_\mu}{p^2}$ up to a positive constant factor.
• Deformation Analysis: The paper introduces a scalar mass deformation ($-m^2|\phi|^2$) into the bosonic side. Using the operator dictionary, this is mapped to the fermionic side. The author performs a perturbative expansion of the path integral, integrating out the scalar field to generate an effective fermion mass term.

3. Key Contributions

1. Explicit Local Realization: The paper provides the first explicit construction of a local operator map that reproduces Dirac fermion correlators entirely within an Abelian CS framework, bypassing the need for large-$N$ approximations.
2. Universality of the Map: It demonstrates that the mapping is independent of the specific representation of the spinor indices, as any valid realization is related by unitary rotations that leave the mass operator $\bar{\psi}\psi$ invariant.
3. Direct Correlator-Level Verification: Instead of relying on indirect arguments (like effective actions derived from integrating out fields), the verification is done by directly comparing correlation functions and Ward identities.

4. Key Results

• Mass Deformation Sign and Magnitude:

  • The paper confirms that a positive scalar mass deformation $m^2$ on the bosonic side induces a fermion mass term on the dual side.
  • Quantitative Result: The induced fermion mass is $m' = -\frac{mc}{8\pi}$ (where $c$ is a positive constant).
  • Sign Verification: This confirms the conjectured relative sign ($m^2 \leftrightarrow -m'$) predicted by duality. The calculation explicitly shows that the bosonic mass term generates a fermion mass term with the opposite sign in the standard action convention.
  • Relevance: Higher-order terms generated in the expansion (e.g., $(\bar{\psi}\psi)^2$) are shown to be irrelevant operators at the infrared (IR) fixed point, making the fermion mass the unique relevant deformation.

• Current Identification:

  • The constructed fermionic current $J_{A,\mu}$ (derived from the bosonic fields) is shown to satisfy the same Ward identities ($\partial_\mu J^\mu = 0$) and scaling dimensions as the standard fermionic current $\bar{\psi}\gamma^\mu\psi$.
  • Result: Inside correlation functions, the topological current of the gauge field, $\frac{1}{2\pi}\epsilon^{\mu\nu\rho}\partial_\nu a_\rho$, coincides with the fermionic $U(1)$ current $\bar{\psi}\gamma^\mu\psi$. This validates the operator map:
    $$j^\mu_{top} \longleftrightarrow j^\mu_{fermion}$$

5. Significance

• Beyond Qualitative Arguments: This work moves the field beyond qualitative conjectures based on phase diagrams or large-$N$ limits. It provides a concrete, calculable framework for verifying duality maps in finite-$N$ Abelian theories.
• Quantitative Precision: By calculating the exact coefficient and sign of the induced mass term, the paper resolves ambiguities regarding the deformation map that were previously only supported by indirect evidence.
• Methodological Framework: The approach of using auxiliary algebraic elements to construct fermionic operators from bosonic gauge fields offers a new tool for analyzing operator maps and deformations in 3D Chern–Simons dualities.
• Validation of IR Physics: The results confirm that the bosonic and fermionic theories define the same Infrared Conformal Field Theory (CFT) with matching operator spectra and correlation functions, solidifying the theoretical foundation of the "web of dualities" in 3D.

In summary, Wasnik's paper provides a rigorous, first-principles verification that the bosonic mass deformation maps to a fermionic mass deformation with the correct sign, and that the topological current maps to the fermionic current, thereby establishing these dualities at the level of explicit correlation functions.