Is string field theory background independent?

This paper critically examines the claim that string field theory is background independent, concluding that the answer depends sensitively on specific definitions of both background independence and string field theory itself, ultimately offering a mixed verdict while advocating for greater rigor in the debate.

The Gist

The Big Question: Is the Stage Part of the Play?

Imagine you are watching a play.

• Background Dependent: The actors perform on a specific, unchangeable stage. The stage is painted blue, has a fixed floor, and the lighting is set. The actors can move around and change costumes, but they can never change the stage itself. If you want to see a play on a red stage, you have to build a whole new theater.
• Background Independent: The actors are the stage. They can build the set, paint the walls, and change the floor as they act. There is no pre-existing "stage" that exists before the play begins; the stage emerges from the performance itself.

In physics, General Relativity (Einstein's theory of gravity) is like the second type. Space and time are flexible; they bend and warp based on where the stars and planets are. Special Relativity (the theory of light and speed) is like the first type; it assumes a rigid, unchangeable "Minkowski" stage.

String Field Theory (SFT) is a candidate for a "Theory of Everything" that tries to unite quantum mechanics and gravity. For decades, physicists have claimed that SFT is "background independent"—that it doesn't need a pre-built stage. This paper asks: Is that claim actually true?

The authors (Bhanu Narra, James Read, and Matěj Krátký) say: "It depends on how you look at it."

---

The Three Ways to Answer

The paper breaks the answer down into three different "lenses" or ways of looking at the theory.

1. The "Naïve" View: The Theory Needs a Stage

If you look at the standard equations of String Field Theory, it looks like it does need a background.

• The Analogy: Imagine a video game. To run the game, you need a specific computer with a specific operating system (the background). The game characters (the strings) move around, but they can't change the computer they are running on.
• The Verdict: In this view, SFT is Background Dependent. You have to pick a specific "vacuum" (a starting point) to write down the equations. If you want to describe a different universe, you have to write a whole new set of equations.

2. The "Hidden" View: The Stage is Just a Costume

The authors explain that physicists have found a clever trick. They proved that if you start with a theory built on a "Blue Stage" and another theory built on a "Red Stage," they are actually mathematically equivalent.

• The Analogy: Imagine two actors playing the same character. One is wearing a blue suit, the other a red suit. At first, they look like they are in different worlds. But if you realize the "blue suit" is just a costume change and the "red suit" is just another costume, you realize they are the same person in the same play.
• The Verdict: If you can translate the "Blue Stage" theory perfectly into the "Red Stage" theory without losing any physics, then the choice of the stage (the background) doesn't matter. It's just a matter of perspective. In this sense, the theory is Background Independent.

3. The "Manifest" View: Building the Stage from Scratch

The paper also looks at newer, more advanced versions of the theory (like Witten's BSFT and the cZ action). These are formulated in a way that doesn't mention a stage at all.

• The Analogy: Instead of starting with a theater, imagine a group of actors who start with a pile of bricks and a blueprint. They build the theater while they act. The theory is written in terms of "how to build a theater," not "how to act on a theater."
• The Verdict: These specific formulations are truly Background Independent. They don't assume a stage exists beforehand; the stage is a result of the theory's own rules.

---

The Catch: The "Spin-2" Toy Model

To make this clearer, the authors use a simple example involving gravity (called "Spin-2 gravity").

• Imagine you describe gravity by saying, "There is a fixed floor (background), and a wobbly carpet (gravity waves) moves on top of it."
• This looks like the floor is fixed (Background Dependent).
• BUT, if you add the wobbly carpet to the floor, you get a new, total floor. If you change the floor, you just change how the carpet wobbles.
• The math shows that "Fixed Floor + Wobbly Carpet" is exactly the same as "Total Wobbly Floor."
• Conclusion: The "Fixed Floor" was just an illusion. The real physics is the total floor.

The authors argue that String Field Theory is similar. The "background" you start with is just a coordinate system. The real physics is the combination of the background plus the string fluctuations.

The Final Verdict

The paper concludes that the answer is "Mixed."

1. If you look at the standard formulas: It looks like the theory needs a fixed background.
2. If you look at the deep mathematical structure: The background is just a choice of perspective. You can switch backgrounds freely, so the theory is effectively background independent.
3. If you look at the newest formulations: The theory is explicitly built to be background independent, though these versions are very hard to work with and only work for specific types of strings (like open strings or classical closed strings).

Why Does This Matter?

In the quest for Quantum Gravity (a theory that explains how the universe works at the tiniest scales), being "background independent" is considered a holy grail. It means the theory describes the universe on its own terms, without needing a pre-existing stage.

This paper tells us: String Field Theory is likely background independent, but it's hiding it very well. It's like a magician who makes the stage disappear, but you have to look very closely at the math to see that the stage was never really there to begin with.

In short: The theory can stand on its own, but you have to know the right tricks to see it.

Technical Summary

1. Problem Statement

The central problem addressed is the status of background independence (BI) in String Field Theory (SFT). While perturbative string theory is widely understood to be formulated on a fixed background spacetime (a specific Conformal Field Theory or CFT), SFT has long been claimed to offer a "background independent" formulation of string theory. The authors interrogate this claim, noting that the verdict depends heavily on two factors:

1. How one defines "background independence" (philosophical/technical definitions).
2. How one understands the specific formulation of SFT (e.g., standard SFT vs. manifestly BI formulations like BSFT or the $cZ$ action).

The paper seeks to determine whether SFT truly liberates string theory from fixed spatiotemporal commitments or if it merely hides them behind complex mathematical structures.

2. Methodology

The authors employ a hybrid methodology combining technical physics analysis with philosophical conceptual analysis:

• Technical Physics Review: They provide a rigorous review of the mathematical structures of SFT, including:
  • Worldsheet String Theory: The Polyakov action, BRST quantization, and the role of background fields (metric, Kalb-Ramond, dilaton) as solutions to beta-function equations.
  • SFT Formulations: The construction of Bosonic and Superstring Field Theories using $L_\infty$ algebras, BV (Batalin-Vilkovisky) quantization, and the 1PI (One-Particle Irreducible) effective action.
  • Equivalence Proofs: Detailed analysis of the Sen-Zwiebach proofs (for closed strings) and Erler-Maccaferri solutions (for open strings) which claim to demonstrate equivalence between SFTs formulated around different backgrounds.
• Philosophical Framework: They apply specific definitions of background independence from the literature (specifically Read, 2023), including:
  • Absolute Objects (AO): Fixed geometric objects present in all models.
  • Variational Principles (VP): Whether all fields are subject to Hamilton's principle.
  • Belot's Proposal: Distinguishing between "geometrical" and "physical" degrees of freedom and assessing if they coincide.
• Comparative Analysis: They use a "toy model" of spin-2 gravity (a reformulation of General Relativity on a fixed background) to illustrate how different definitions of BI yield different verdicts, then apply this logic to SFT.

3. Key Contributions

A. Technical Clarification of SFT Equivalence

The paper clarifies the mechanism behind the "background independence" proofs. It establishes a schema for equivalence between two SFTs ($SFT_1$ and $SFT_2$) formulated around different backgrounds ($\hat{B}_1$ and $\hat{B}_2$). This equivalence is established via an isomorphism $f = F \circ G \circ T$:

• $T$ (Translation): Shifting the dynamical string field $\Psi$ to expand around a new solution representing the second background.
• $G$ (Field Redefinition): A non-linear redefinition ensuring the action forms match.
• $F$ (Hilbert Space Isomorphism): A map between the underlying CFT Hilbert spaces.
  The authors demonstrate that for open strings (Erler-Maccaferri), this isomorphism is explicit and non-perturbative. For closed strings (Sen-Zwiebach), it is proven for "infinitesimal" shifts in background and argued to extend to finite shifts, though with potential divergences.

B. Identification of "Invariant Structure"

The authors argue that if two SFTs are equivalent, the physical content must be the invariant structure preserved under the isomorphism. They identify two candidates for this structure:

1. Spacetime Field Sum: The sum of the background field and the fluctuation (e.g., $g_{\mu\nu} = \hat{g}_{\mu\nu} + \Psi_{\mu\nu}$). This suggests SFT is effectively an extended, UV-complete version of (super)gravity.
2. Worldsheet Theory Space: Formulations like Boundary String Field Theory (BSFT) for open strings and the $cZ$ action for closed strings, where the dynamical variables are the couplings of the worldsheet theory itself, rather than spacetime fields.

C. Systematic Application of BI Definitions

The paper systematically applies the AO, VP, and Belot definitions to various SFT formulations, revealing that the verdict is highly sensitive to the formulation chosen.

4. Results

The authors present a "mixed verdict" on the background independence of SFT, summarized in their Table 1:

Theory Formulation	Naïve View	Inferred BI Structure	Manifestly BI Theory	Verdict on BI
Individual SFT	Background Dependent (Fixed $\hat{B}$)	$g_{\mu\nu} = \hat{B} + \Psi$	N/A	Dependent (Violates AO/VP definitions due to fixed $\hat{B}$).
Open SFT (Standard)	Dependent	$A_\mu = \hat{A}_\mu + \Psi$	BSFT	Dependent (Standard); Independent (BSFT, though still relies on fixed closed background).
Closed SFT (Standard)	Dependent	$g_{\mu\nu} = \hat{g}_{\mu\nu} + \Psi$	$cZ$ Action	Dependent (Standard); Independent ($cZ$ action, but only classical/tree-level).

Specific Findings:

• Standard SFT: When viewed as a theory with a fixed background CFT, it is background dependent under almost all definitions (it contains absolute objects/fields and violates variational principles for the background).
• Invariant Structure: If one identifies the physical variables as the sum of background and fluctuation (analogous to $g_{\mu\nu}$ in GR), the theory becomes background independent under Belot's definition (geometrical and physical degrees of freedom coincide). However, this relies on the existence of the isomorphism proofs.
• Manifestly BI Formulations:
  • BSFT (Open): Removes the need for a specific D-brane background, formulating the theory on the space of boundary conditions. It is largely BI but still requires a fixed closed string background.
  • $cZ$ Action (Closed): A recent formulation (Ahmadain et al., 2024) defines an action on the space of 2D QFTs. This formulation is manifestly background independent as it references no fixed spacetime or background fields. However, it is currently limited to the classical (tree-level) regime; a quantum version remains elusive.

5. Significance

• Philosophical Rigor: The paper elevates the discussion of background independence in quantum gravity from vague claims to a systematic, definition-sensitive analysis. It demonstrates that "background independence" is not a binary property but a spectrum dependent on the theoretical formulation and the chosen definition of the term.
• Clarification of SFT's Role: It clarifies that SFT does not automatically solve the background problem of string theory. Instead, it provides a framework where different backgrounds are gauge-equivalent, provided one accepts the specific mathematical isomorphisms (Sen-Zwiebach, Erler-Maccaferri).
• Future Directions: The paper highlights the gap between classical and quantum background independence. While classical formulations (BSFT, $cZ$) can be made manifestly background independent, the quantum closed string field theory remains the most critical unsolved case. The inability to construct a manifestly BI quantum action for closed strings suggests that the full background independence of string theory is still an open problem.
• Conceptual Insight: The analogy with spin-2 gravity serves as a powerful pedagogical tool, showing that a theory can be "background dependent" in its formulation but "background independent" in its physical content (invariant structure), mirroring the relationship between General Relativity and its perturbative spin-2 reformulation.

In conclusion, the authors argue that while SFT offers powerful tools to relate different backgrounds, it is not inherently background independent in its standard formulations. True background independence is only achieved in specific, often classical, reformulations or by reinterpreting the physical variables as the invariant sum of background and fluctuation.