arxiv: 2604.25803 · v1 · submitted 2026-04-28 · ✦ hep-th · math-ph· math.MP

Recognition: unknown

Kodaira-Spencer theory for flux backgrounds

Caleb Jonker , Julian Kupka , Ingmar Saberi , Charles Strickland-Constable , Fridrich Valach

Authors on Pith no claims yet

Pith reviewed 2026-05-07 15:37 UTC · model grok-4.3

classification ✦ hep-th math-phmath.MP

keywords Kodaira-Spencer theoryholomorphic theorysupergravity twistCourant algebroidflux backgroundsN=1 supergravityBCOV theorycoisotropic reduction

0 comments

The pith

An explicit holomorphic theory in component fields is constructed for general supersymmetric N=1 supergravity backgrounds in ten dimensions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper gives a component-field description of a holomorphic theory tied to any supersymmetric background of ten-dimensional N=1 supergravity. This is conjectured to realize the supergravity twist in holomorphic form, extending the BCOV theory that is known to work only for Calabi-Yau manifolds. The construction proceeds by unpacking the Courant contact model of a holomorphic Courant algebroid. A coisotropic reduction of the same model recovers an earlier formulation that uses constrained fields. A reader would care because the result offers a concrete way to handle flux backgrounds within the framework of twisted supergravity.

Core claim

We give an explicit description (in component fields) of a holomorphic theory associated to a general supersymmetric background of N=1 supergravity in ten dimensions. Conjecturally, this provides a sought-for holomorphic realisation of the supergravity twist in such backgrounds, generalising the minimal type I BCOV theory for Calabi-Yau manifolds. Our theory unpacks the recently introduced Courant contact model associated to a holomorphic Courant algebroid. We also show that a coisotropic reduction of this model reproduces the recent model of ref [1], which is formulated in terms of constrained fields.

What carries the argument

The Courant contact model associated to a holomorphic Courant algebroid, unpacked into explicit component fields to define the holomorphic theory for the supersymmetric background.

If this is right

The theory generalizes the minimal type I BCOV theory from Calabi-Yau manifolds to arbitrary supersymmetric flux backgrounds.
It supplies a holomorphic version of the supergravity twist for N=1 backgrounds in ten dimensions.
A coisotropic reduction of the model recovers the constrained-field formulation of ref [1].
The explicit component-field description makes concrete computations possible in these more general settings.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The construction could allow computation of holomorphic invariants for string compactifications that include fluxes.
If the conjecture holds, the same Courant-algebroid approach might extend to other supergravity theories or dimensions.
The model may clarify how moduli spaces behave in flux backgrounds compared with the Calabi-Yau case.

Load-bearing premise

The assumption that the constructed theory supplies the holomorphic realisation of the supergravity twist, which the paper presents as a conjecture.

What would settle it

An explicit check in a known Calabi-Yau background showing that the component-field equations fail to reduce to those of the minimal type I BCOV theory.

read the original abstract

We give an explicit description (in component fields) of a holomorphic theory associated to a general supersymmetric background of $\mathcal N=1$ supergravity in ten dimensions. Conjecturally, this provides a sought-for holomorphic realisation of the supergravity twist in such backgrounds, generalising the minimal type I BCOV theory for Calabi-Yau manifolds. Our theory unpacks the recently introduced Courant contact model associated to a holomorphic Courant algebroid. We also show that a coisotropic reduction of this model reproduces the recent model of ref [1], which is formulated in terms of constrained fields.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper unpacks a Courant contact model into explicit component fields for a holomorphic theory on general supersymmetric 10D N=1 backgrounds and verifies its reduction to the constrained model in ref [1], but leaves the supergravity twist identification as a conjecture.

read the letter

The paper gives an explicit component-field version of a holomorphic theory for any supersymmetric N=1 supergravity background in ten dimensions. It works by unpacking the Courant contact model associated to a holomorphic Courant algebroid and then shows that a coisotropic reduction recovers the constrained-field model from reference [1]. This is the concrete advance over earlier holomorphic setups that were restricted to Calabi-Yau cases without fluxes.

Referee Report

1 major / 0 minor

Summary. The manuscript provides an explicit description in component fields of a holomorphic theory associated to a general supersymmetric N=1 supergravity background in ten dimensions. This is obtained by unpacking the Courant contact model associated to a holomorphic Courant algebroid. The paper shows that a coisotropic reduction of the model recovers the constrained-field model of reference [1], and conjectures that the construction supplies the holomorphic realisation of the supergravity twist, thereby generalising the minimal type I BCOV theory from Calabi-Yau manifolds.

Significance. If the conjecture holds, the result would furnish a concrete holomorphic description for flux backgrounds, extending BCOV-type theories beyond Calabi-Yau geometry and offering a potential bridge between twisted supergravity and holomorphic field theories. The explicit component-field unpacking and the verified coisotropic reduction constitute independent, concrete contributions that can be evaluated on their own technical merits.

major comments (1)

[Abstract] Abstract: the identification of the constructed theory as the holomorphic realisation of the supergravity twist is stated only as a conjecture, without an explicit map to the twist, a derivation of the twist differential, or a comparison of observables or cohomology groups; this identification is load-bearing for the central claim of generalising the minimal type I BCOV theory.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address the single major comment below.

read point-by-point responses

Referee: [Abstract] Abstract: the identification of the constructed theory as the holomorphic realisation of the supergravity twist is stated only as a conjecture, without an explicit map to the twist, a derivation of the twist differential, or a comparison of observables or cohomology groups; this identification is load-bearing for the central claim of generalising the minimal type I BCOV theory.

Authors: We agree that the identification of our holomorphic theory with the supergravity twist is presented as a conjecture and that a complete proof would require an explicit map, derivation of the twist differential, and direct comparison of observables or cohomology groups. The manuscript's primary contributions are the explicit component-field unpacking of the Courant contact model for general N=1 flux backgrounds and the rigorous demonstration that its coisotropic reduction recovers the constrained model of reference [1]. These results stand independently of the conjecture. The conjecture itself is motivated by the exact reduction to minimal type I BCOV theory when the flux vanishes (Calabi-Yau case) and by the structural compatibility of holomorphic Courant algebroids with the expected data of the twist. We will revise the abstract and introduction to more prominently flag the conjectural status, to separate the proven results from the conjecture, and to briefly outline the supporting evidence, thereby addressing the concern without overstating the claim. revision: partial

Circularity Check

0 steps flagged

No significant circularity; explicit construction from Courant model with labeled conjecture

full rationale

The paper unpacks the Courant contact model to give an explicit component-field description of the holomorphic theory and shows via coisotropic reduction that it recovers the constrained-field model of ref [1]. The central identification with the supergravity twist is explicitly labeled conjectural and is not derived or claimed as a theorem within the paper. No equations reduce by construction to fitted parameters or self-definitions, no load-bearing uniqueness theorems are imported from the authors' prior work, and the derivation chain remains independent of the target conjecture. This is the normal case of a direct construction plus an open identification.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Review based on abstract only; no specific free parameters, axioms, or invented entities are detailed enough to enumerate beyond standard domain assumptions of supergravity.

axioms (1)

domain assumption N=1 supergravity in ten dimensions admits supersymmetric backgrounds with fluxes
The paper assumes general supersymmetric backgrounds of N=1 supergravity as the starting point.

invented entities (1)

Holomorphic theory associated to flux backgrounds no independent evidence
purpose: To provide explicit component-field description generalizing BCOV
New theory introduced in the paper as the main object of study.

pith-pipeline@v0.9.0 · 5404 in / 1345 out tokens · 38749 ms · 2026-05-07T15:37:33.005487+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

28 extracted references · 16 canonical work pages

[1]

Ashmore, J

A. Ashmore, J. J. M. Ibarra, C. Strickland-Constable, and E. E. Svanes, Holomorphic supergravity in ten dimensions and anomaly cancellation (2025), arXiv:2507.06003 [hep-th]

work page arXiv 2025
[2]

Bergshoeff, M

E. Bergshoeff, M. de Roo, B. de Wit, and P. van Nieuwen- huizen, Nucl. Phys. B195, 97 (1982)

1982
[3]

G. F. Chapline and N. S. Manton, Phys. Lett. B120, 105 (1983)

1983
[4]

M. Dine, R. Rohm, N. Seiberg, and E. Witten, Phys. Lett. B156, 55 (1985)

1985
[5]

Kupka, C

J. Kupka, C. Strickland-Constable, and F. Valach, Phys. Rev. Lett.134, 211602 (2025), arXiv:2501.18008 [hep- th]

work page arXiv 2025
[6]

Kupka, C

J. Kupka, C. Strickland-Constable, and F. Valach, Ge- ometry of supergravity and the Batalin–Vilkovisky for- mulation of theN= 1 theory in ten dimensions (2025), arXiv:2508.06398 [hep-th]

work page arXiv 2025
[7]

Costello and S

K. Costello and S. Li, Twisted supergravity and its quan- tization (2016), arXiv:1606.00365 [hep-th]

work page arXiv 2016
[8]

Bershadsky, S

M. Bershadsky, S. Cecotti, H. Ooguri, and C. Vafa, Commun. Math. Phys.165, 311 (1994), arXiv:hep- th/9309140

work page arXiv 1994
[9]

Kupka, I

J. Kupka, I. Saberi, C. Strickland-Constable, and F. Valach, Kodaira-Spencer theory for Courant alge- broids (2026), arXiv:2602.04658 [math-ph]

work page arXiv 2026
[10]

Costello and S

K. Costello and S. Li, Adv. Theor. Math. Phys.24, 1723 (2020), arXiv:1905.09269 [hep-th]

work page arXiv 2020
[11]

Raghavendran, I

S. Raghavendran, I. Saberi, and B. R. Williams, Com- mun. Math. Phys.402, 1103 (2023), arXiv:2111.03049 5 [math-ph]

work page arXiv 2023
[12]

Costello and O

K. Costello and O. Gwilliam,Factorization algebras in quantum field theory II, New Mathematical Monographs No. 41 (Cambridge University Press, 2021)

2021
[13]

Note that the low-energy effective description of type I string theory contains an additional R2 term, necessary for the anomaly cancellation

We have absorbed the usual coefficient on the RHS into the quadratic form Tr. Note that the low-energy effective description of type I string theory contains an additional R2 term, necessary for the anomaly cancellation
[14]

Coimbra, R

A. Coimbra, R. Minasian, H. Triendl, and D. Waldram, JHEP11, 160, arXiv:1407.7542 [hep-th]

work page arXiv
[15]

Kupka, C

J. Kupka, C. Strickland-Constable, and F. Valach, JHEP 07, 114, arXiv:2410.16046 [hep-th]

work page arXiv
[16]

Z.-J. Liu, A. Weinstein, and P. Xu, Journal of Differential Geometry45, 547 (1997), dg-ga/9508013

work page Pith review arXiv 1997
[17]

Letters to Alan Weinstein about Courant algebroids

P. ˇSevera, Letters to Alan Weinstein about Courant al- gebroids (1998-2000), arXiv:1707.00265 [math.DG]

work page Pith review arXiv 1998
[18]

Kupka, C

J. Kupka, C. Strickland-Constable, and F. Valach, Phys. Rev. Lett.134, 111601 (2025), arXiv:2412.04968 [hep- th]

work page arXiv 2025
[19]

Gualtieri, Communications in Mathematical Physics 331, 297 (2014)

M. Gualtieri, Communications in Mathematical Physics 331, 297 (2014)

2014
[20]

SinceL ∼= T 0,1Mthis is equivalent to a Dolbeault oper- ator on Ω 0,•(L⊥/L), which we have denoted ¯∂E

The bracket with sections ofLdescends to a flatL- connection on the complex smooth vector bundleL ⊥/L. SinceL ∼= T 0,1Mthis is equivalent to a Dolbeault oper- ator on Ω 0,•(L⊥/L), which we have denoted ¯∂E
[21]

Note that due to the lack of R-symmetry which could be used for regrading, the twist of theN= 1 theory in ten dimensions is expected to only carry aZ 2-grading (instead of a fullZ-grading)
[22]

This (still regarded as a smooth object) inherits a connection, de- noted∇ C

More explicitly, the natural mapG→G C allows us to constructP C as the associated bundleP× GGC. This (still regarded as a smooth object) inherits a connection, de- noted∇ C. In particular the tangent space at each point inP C can be identified with the direct sum of a tangent space on the base with the Lie algebrag C. Since both of these spaces carry a co...
[23]

Garcia-Fernandez, R

M. Garcia-Fernandez, R. Rubio, and C. Tipler, J. Diff. Geom.128, 77 (2024), arXiv:2004.11399 [math.DG]

work page arXiv 2024
[24]

Here Calabi–Yau manifold is understood as a complex manifold with a holomorphic volume form
[25]

the wedge-and-integrate pairing

Using the explicit expressions forE • and the identi- fication Ω 0,•(T 1,0M) ∼= Ω4,• provided by the volume form, the equality (ker(div Ω))⊥ = imDreduces to [ker(∂: Ω 4,• →Ω 5,•)]⊥ =∂Ω 0,•, where⊥on the LHS is taken w.r.t. the wedge-and-integrate pairing. Choosing now any auxiliary Hermitian metric, the LHS becomes [ker(∂† : Ω1,• →Ω 0,•)]⊥, with⊥taken w.r...
[26]

ˇSevera, Letters in Mathematical Physics68, 31 (2004)

P. ˇSevera, Letters in Mathematical Physics68, 31 (2004)

2004
[27]

A. S. Cattaneo, P. Mnev, and N. Reshetikhin, Commun. Math. Phys.357, 631 (2018), arXiv:1507.01221 [math- ph]

work page arXiv 2018
[28]

Costello and S

K. Costello and S. Li, Quantization of open-closed BCOV theory, I (2015), arXiv:1505.06703 [hep-th]

work page arXiv 2015