Pith. Sign in

REVIEW

The heterotic superpotential and the alpha' expansion

High Energy Physics - Theory · Submitted 27 Oct 2026 · 37 references

Pith's verdict: A serious alpha'^2 check and a genuinely new summation trick, with the alpha'^3 match deferred to an unpublished companion—conditional but worth refereeing.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 28, 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 →

· 4 major objections · 5 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2610.36604 (version 1)
Pith IDJNYBORBQ, Pith's permanent record of this paper and its review
CitationJock McOrist. "The heterotic superpotential and the alpha' expansion." arXiv:2610.36604 (2026). https://pith.science/paper/JNYBORBQ
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
The paper

The paper claims

Taken literally, with the three-form $H$ built recursively from the Hull connection's Chern–Simons term, the heterotic superpotential has stationary equations that reproduce the Bergshoeff–de Roo supersymmetry conditions through…

The reading

The paper asks whether the standard heterotic superpotential $W=\int_X (H+i\,d\omega)\wedge\Omega$ can be compared with ten-dimensional supersymmetry beyond leading order in $\alpha'$, given that the three-form $H$ is defined through the Chern–Simons form of the composite Hull connection and so carries an infinite, recursive $\alpha'$ dependence. The author's answer is yes: iterating the recursion and summing it as a geometric series yields stationary equations that agree with the Bergshoeff–de Roo supersymmetry conditions on an $SU(3)$ structure of the six-dimensional internal space through $\alpha'^2$, and through $\alpha'^3$ once the lower-order conformally-balanced and Hermitian–Yang–Mills D-terms are imposed. This matters because it supports the view that the superpotential itself receives no perturbative corrections even though its critical locus is $\alpha'$-corrected, and it yields concrete all-order predictions: the gauge bundle is holomorphic in the corrected complex structure, the corrected volume form is closed, and the Hull–Strominger tensor equations admit an all-order extension. The $\alpha'^3$ comparison leans on a companion reduction that is still in progress, and the all-order statements assume holomorphy of $W$ and decomposability of the corrected three-form, both flagged by the author as open.

What carries the argument

The load-bearing object is the Hull connection $\Theta^H$, the composite torsionful connection whose curvature $R^H$ enters $H$ through a gravitational Chern–Simons term, making $H$ recursive: $\delta H=dB+\frac{\alpha'}{2}\mathrm{tr}(\delta A\wedge F)-\frac{\alpha'}{4}\mathrm{tr}(\delta\Theta^H\wedge R^H)$. Variations of $W$ are computed by iterating this recursion, and the iteration is summed in closed form: the contraction identity $R^H_{pq}\wedge\delta H^{pq}\wedge\eta=\delta H\wedge K(\eta)$ converts the recursion into a geometric series in $\alpha'K/4$, whose sum is the corrected three-form $\widehat\Omega=(1-\alpha'K/4)^{-1}\Omega$. The comparison machinery is the Bergshoeff–de Roo fermionic variation set — gravitino, gaugino and dilatino — at orders $\alpha'^2$ and $\alpha'^3$, organised on an $SU(3)$ structure by the tensors $P_{mnp}$, $C_m$ and the scalar $q_H$, which correspond respectively to the flux–torsion, conformally-balanced and volume-form data. The lower-order D-terms (conformally balanced and Hermitian–Yang–Mills) are imposed after the variation; the differences between the stationary equations of $W$ and the Bergshoeff–de Roo equations are proportional to these D-terms, so the two systems share the same supersymmetry locus.

Extended reading notes

Core claim

The central claim is that the heterotic superpotential in its original form, with no modification to the integrand, is already the correct functional for the F-term supersymmetry conditions once the composite nature of the tangent-bundle connection is taken seriously. Because $H$ is defined through the gravitational Chern–Simons form of the Hull connection, variations of $W$ obey a recursion in $\alpha'$; the recursion is rearranged into a geometric series using the contraction identity $R^H_{pq}\wedge\delta H^{pq}\wedge\eta=\delta H\wedge K(\eta)$, and the series sums to a corrected three-form $\widehat\Omega=(1-\alpha'K/4)^{-1}\Omega$. The stationary equations of $W$ are then expanded order by order and compared with the ten-dimensional supersymmetry transformations of Bergshoeff–de Roo reduced to an $SU(3)$ structure: agreement is found at $\alpha'^2$ with the reduction of [9], and at $\alpha'^3$ with the spinor transformations of [2] as reduced in the forthcoming [10], after imposing the lower-order D-terms. In the process the paper obtains the renormalised volume form $\widehat\Omega$, shows $d\widehat\Omega=O(\alpha'^4)$ on the stationary locus, matches $\widehat\Omega$ with the holomorphic volume form of [9] through $\alpha'^2$, and proposes an all-order system in which $H^{0,3}_J=0$ and $F^{0,2}_{\widehat J}=0$, with $\widehat J$ the almost complex structure of $\widehat\Omega$, together with $d\widehat\Omega=0$.

Load-bearing premise

The $\alpha'^3$ match is measured against an $SU(3)$ reduction of the Bergshoeff–de Roo equations that is still in progress, and the all-order predictions assume the superpotential is holomorphic and the corrected three-form stays decomposable — both points the author leaves to future work.

Editorial extensions

If this is right

  • The unmodified superpotential reproduces the $\alpha'^2$ and $\alpha'^3$ supersymmetry corrections of the Chern–Simons sector, so perturbative non-renormalisation of $W$ is consistent through those orders even though its critical locus shifts.
  • The holomorphic volume form of the compactification is renormalised: $\widehat\Omega$ agrees with the volume form of [9] through $\alpha'^2$, satisfies $d\widehat\Omega=O(\alpha'^4)$ on the stationary locus, and is closed to all orders under the holomorphy assumption.
  • Holomorphy of the gauge bundle is stated in the corrected complex structure: the all-order equation $F^{0,2}_{\widehat J}=0$ follows from the gauge variation and reproduces the Bergshoeff–de Roo gaugino equation order by order.
  • The system (6.4) — $H^{0,3}_J=0$, $F^{0,2}_{\widehat J}=0$, $d\widehat\Omega=0$, with the two flux–torsion equations — is proposed as the all-order extension of the Hull–Strominger tensor equations.
  • Differentiating the shifted flux–torsion equation gives a resolved Bianchi identity (7.1) that is manifestly of type $(2,2)$ through $\alpha'^3$, even though the original Hull-connection Bianchi identity is not.

Reading between the lines

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

  • If the $\alpha'^3$ agreement survives the completion of the companion reduction, the superpotential plus the D-terms becomes a compact generator of higher-order corrections: varying one six-dimensional integral would replace a full ten-dimensional fermionic analysis at each order.
  • The corrected complex structure $\widehat J$ defined by $\widehat\Omega$ is the paper's most consequential all-order object; a concrete test is to compute $F^{0,2}_{\widehat J}$ in an explicit non-Kähler heterotic solution and verify its vanishing at order $\alpha'^3$.
  • The $\alpha'^3$ corrections to the D-terms are left undetermined; demanding that the all-order system together with a closed $\widehat\Omega$ and a holomorphic bundle describe a genuine supersymmetry locus should fix them, turning (6.4) into a closed set of equations.
  • The gravitational $\alpha'^3\zeta(3)$ multiplet lies outside the sector compared here, and the author explicitly asks what it does to $W$; if it contributes, the non-renormalisation picture would need refinement, since that multiplet is already known to enter the Kähler potential.
Original abstract

We study the role of the Hull connection in the heterotic superpotential for N=1 d=4 vacua. The integrand is defined in terms of H, which is in turn defined in terms of a gravitational Chern--Simons coupling involving H. We show this recursive structure is key to W reproducing some of the ten--dimensional supersymmetry conditions written down by Bergshoeff--de Roo through \alpha'^3. With this evidence in hand we make some observations about extending some of the tensor equations of Hull and Strominger to all orders in \alpha'.

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.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-28: 1 request, 3,614 input tokens.

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

The abstract, sentence by sentence

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

We study the role of the Hull connection in the heterotic superpotential for N=1 d=4 vacua. The integrand is defined in terms of H, which is in turn defined in terms of a gravitational Chern--Simons coupling involving H. We show this recursive structure is key to W reproducing some of the ten--dimensional supersymmetry conditions written down by Bergshoeff--de Roo through \alpha'^3. With this evidence in hand we make some observations about extending some of the tensor equations of Hull and Strominger to all orders in \alpha'.

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 study the role of the Hull connection in the heterotic superpotential for N=1 d=4 vacua. contribution 0.93 0.87 0.06 unclear 0.59
s1 The integrand is defined in terms of H, which is in turn defined in terms of a gravitational Chern--Simons coupling involving H. method 0.72 0.40 0.05 asserted 1.00
s2 We show this recursive structure is key to W reproducing some of the ten--dimensional supersymmetry conditions written down by Bergshoeff--de Roo through \alpha'^3. result 0.97 0.94 0.62 asserted 1.00
s3 With this evidence in hand we make some observations about extending some of the tensor equations of Hull and Strominger to all orders in \alpha'. future work 0.57 0.74 0.19 speculative 0.36

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

What was examined, and what was not

sources read
  • arXiv listing abstract v1
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

References

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.