Pith. Sign in

REVIEW

Proof of vanishing cohomology at the tachyon vacuum

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Ian Ellwood, Martin Schnabl

High Energy Physics - Theory · Submitted 15 Jun 2006 · 38 references

Pith's verdict: A short, correct-looking proof of Sen's third conjecture for Schnabl's vacuum, with the new content being the explicit homotopy state A and the exact cancellation Q_ΨA = I.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 11, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 1 major objection · 8 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0606142 (version 2)
Pith IDL6S4I5E3, Pith's permanent record of this paper and its review
CitationIan Ellwood, Martin Schnabl. "Proof of vanishing cohomology at the tachyon vacuum." arXiv:hep-th/0606142 (2006). https://pith.science/paper/L6S4I5E3
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The paper proves Sen's third conjecture: the BRST operator at Schnabl's analytic tachyon vacuum has vanishing cohomology, so no on-shell perturbative open-string states survive.

The reading

The paper aims to prove Sen's third conjecture for Witten's cubic open bosonic string field theory: around the tachyon vacuum there should be no on-shell perturbative open-string states. The authors work with Schnabl's analytic tachyon vacuum $Psi$ and the BRST operator $Q_Psi = Q_B + [Psi,cdot]$ that governs fluctuations around it. Their route is to exhibit a single string field $A$ that acts as a homotopy operator, satisfying $Q_Psi A = I$, where $I$ is the identity of the star algebra. If such an $A$ exists, every $Q_Psi$-closed state is automatically exact, so the cohomology vanishes at every ghost number; this is stronger than the ghost-number-zero statement needed for Sen's conjecture.

What carries the argument

The load-bearing mechanism is the homotopy operator $A$: a string field whose star product with any closed state produces a preimage under $Q_Psi$. Its geometric form is an integral over wedge states $|rrangle$ of width $rpi/2$, with a single left-half $b$-ghost insertion. The proof reduces the cohomology question to two algebraic checks, $Q_B A=I-|0rangle$ and $Psi*A+A*Psi=|0rangle$, both evaluated using derivation properties of $B_1$ and the wedge-state algebra. The regulator $psi_N$ in $Psi$ is not decorative: it supplies the boundary term that makes the second check come out right.

Extended reading notes

Core claim

The central claim is that $Q_Psi$ has empty cohomology. The authors give the explicit state $$A=frac{pi}{2}B^$L_1int_1^{2}$ dr,|rrangle,$$ where $|rrangle$ are wedge states and $B^L_1$ is the left half of the $b$-ghost contour integral in the arctan coordinate. They compute $Q_B A = I-|0rangle$ and $Psi*A + A*Psi = |0rangle$, hence $Q_Psi A=I$. The second identity requires the $psi_N$ term in Schnabl's solution to cancel surface terms; after that cancellation, any closed $Lambda$ is exact because $Q_Psi(A*Lambda)=Lambda$.

Load-bearing premise

The proof depends on the state $Sigma$ in Eq. (4.60) vanishing as $Ntoinfty$; the paper asserts an $O(N^{-3})$ falloff in the level expansion but does not display the calculation.

Editorial extensions

If this is right

  • No perturbative open-string excitation survives at the tachyon vacuum at any ghost number, not only at ghost number zero.
  • In a two-brane system where one brane has decayed, the 11, 12, and 21 sectors have vanishing cohomology, leaving only states on the undecayed brane.
  • The numerical Feynman-Siegel homotopy operator found earlier has an exact analytic counterpart, making the vanishing-cohomology argument independent of level truncation.
  • The $lambda to 1$ limit of the pure-gauge family is singular: the would-be gauge isomorphism fails to map the perturbative cohomology to the tachyon-vacuum cohomology, so the two spectra need not match.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proof suggests a reusable test for other analytic vacua: look for an explicit state $A$ with $Q_{Psi}A=I$ rather than diagonalizing the full fluctuation spectrum.
  • The singular behavior at $lambda=1$ is a concrete case where a continuous family of gauge transformations does not preserve cohomology in the limit, which may constrain how much of the tachyon vacuum can be reached by ordinary gauge orbits.
  • The asserted $O(N^{-3})$ falloff of the regulator state is a finite level-truncation calculation; confirming it numerically would turn the one unshown asymptotic estimate into a checkable ingredient.
Original abstract

We prove Sen's third conjecture that there are no on-shell perturbative excitations of the tachyon vacuum in open bosonic string field theory. The proof relies on the existence of a special state A, which, when acted on by the BRST operator at the tachyon vacuum, gives the identity. While this state was found numerically in Feynman-Siegel gauge, here we give a simple analytic expression.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 2,929 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.10 · states limitation 0.16 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.05 · compares with prior results 0.78 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

We prove Sen's third conjecture that there are no on-shell perturbative excitations of the tachyon vacuum in open bosonic string field theory. The proof relies on the existence of a special state A, which, when acted on by the BRST operator at the tachyon vacuum, gives the identity. While this state was found numerically in Feynman-Siegel gauge, here we give a simple analytic expression.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We prove Sen's third conjecture that there are no on-shell perturbative excitations of the tachyon vacuum in open bosonic string field theory. result 0.69 0.94 0.96 asserted 1.00
s1 The proof relies on the existence of a special state A, which, when acted on by the BRST operator at the tachyon vacuum, gives the identity. method 0.94 0.61 0.07 asserted 1.00
s2 While this state was found numerically in Feynman-Siegel gauge, here we give a simple analytic expression. contribution 0.96 0.92 0.04 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. The string field as seen by two coordinate systems. In a) the standard description on upper half plane is illustrated. A vertex operator V generates a state on the unit circle. The right half, left half and midpoint of the string are labeled as viewed from infinity. Diagram b) gives the same state in the ˜z = arctan(z) coordinate. The left and right sides of the figure are identified to give a cylinder. The left/right half of the string now lies along the line ℜ(˜z) = ±π/4. The midpoint of the string is mapped to infinity. Given a solution, Ψ, one can re-expand the action around the…
Figure 2. A pictorial description of the star product. Given two states |V˜ 1i and |V˜ 2i generated by inserting vertex operators V˜ 1 and V˜ 2 in the ˜z coordinate, the star product, |V˜ 1i ∗ |V˜ 2i, is computed by gluing the right side of the |V˜ 1i state to the left side of the |V˜ 2i state. This gives a cylinder of width 3π/2. z → f(z), the upper half plane is mapped to an infinitely tall cylinder as illustrated in figure 1. In this frame, the star product can be described purely geometrically; one simply glues the strips of world-sheet together that correspond to the two string state
Figure 3. The state −∂nψn is given by a strip of width π 2 (n + 1) with two insertions of c(˜z) as well as two contour integrals of T (˜z) and b(˜z) along the curves γ1 and γ2. Now suppose, instead, that we have a state A such that QΨA = I. Suppose we also have some QΨ-closed state Λ such that QΨΛ = 0. Then QΨ(A ∗ Λ) = (QΨA) ∗ Λ = I ∗ Λ = Λ, (4.37) so that Λ is QΨ-exact. Since any QΨ-closed state is also QΨ-exact, it follows that QΨ has no cohomology. Such an operator A is known in the math literature as a homotopy operator. Note that the existence of A proves that the cohomology of QΨ vanish
Figure 4. The state A can be represented as a sum over wedge states |ri. The only operator insertion is a single contour integral of b(˜z) along the curve γ. 4.2 Computation of QΨA The first term in QΨA is just QBA. This is given by QBA = π 2 KL 1 Z 2 1 |ri = − Z 2 1 dr ∂r|ri = I − |0i, (4.49) which reproduces the Feynman-Siegel gauge result, (4.40). Next we must compute the star-products Ψ ∗ A and A ∗ Ψ. Because the tachyon vacuum solution is twist invariant, these two computations are related to each other by a twist. Hence, we need to compute just one of them, Ψ ∗ A. Since Ψ = ψN −

Figures reproduced from arXiv:hep-th/0606142 by the authors.

References
How later papers used it

50 later papers cite it

Evidence: some. 43 of the citing papers share no author with it, and 3 of those carry a confident label from Pith's citation classifier.

Pith read 20 of the 69 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 1 paper
How the literature uses it

45 arXiv papers cite this in 61 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 38 sentences without a confident label

Uses its method or tool 1 paper
Cites it as support 2 papers
Cites it as background 20 papers
  • An unexpected discovery from the “analytic revolution” [ref] in our understanding of string field theory [ref] , is that the tachyon vacuum solution found by Schnabl [ref] can be written formally as a gauge transformation of the perturbative vacuum, [equation] This form is, to say the least, disconcerting, as $Ψ$ is obviously not pure-gauge; it has both a different energy and a different BRST cohomology than the perturbative vacuum.

    Singular gauge transformations in string field theory · Introduction · 0.85

  • Following the breakthrough analytic solution of Schnabl [ref] , our analytic understanding of open string field theory (OSFT) has seen remarkable progress [ref] .

    Marginal Solutions for the Superstring · Introduction · 0.93

  • where $|n⟩$ are the ghost wedge states in the oscillator formalism, which is a crucial ingredient of the analytic solution of SFT found in [ref] (see also [ref] and [ref] for an updating on recent progress).

    Ghost story. II. The midpoint ghost vertex · Introduction · 0.90

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.