REVIEW 3 major objections 5 minor 1 cited by
On coefficients of operator product expansions for quantum field theories with ordinary, holomorphic, and topological spacetime dimensions
T0 review · 3 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read The paper proposes that OPE coefficients in translation-invariant theories on $\mathbb{R}^m\times\mathbb{C}^n\times\mathbb{R}^p$ are the sheaf cohomology classes of functions constant along topological and holomorphic along holomorphic…
desk verdict A clean sheaf-cohomology computation plus an honest physical conjecture; the main gap is the uncomputed projective limit for non-conformal theories. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the sheaf $\mathcal{O}$ on $\mathbb{R}^m\times\mathbb{C}^n\times\mathbb{R}^p$ of complex-valued smooth functions that are locally constant along the $m$ topological coordinates and holomorphic along the $n$ complex coordinates, equipped with the ordinary analytic topology. The computation of its cohomology on the punctured spacetime is carried by a two-open cover of $(\mathbb{R}^m\times\mathbb{C}^n\times\mathbb{R}^p)\setminus\{0\}$, so the Čech-to-derived spectral sequence reduces to a Mayer–Vietoris long exact sequence; a Künneth formula for Fréchet nuclear sheaves separates the contributions. The shift $[-m-n]$ or $[1-m-n]$ in the formula is what places the singular-part quotient in nonzero ghost number, and the vanishing conditions $m+n=0$ or $mn=0$ are what keep ordinary and one-dimensional holomorphic theories free of derived coefficients.
What would settle it
If a two-point OPE in any theory with a declared topological direction produces a coefficient that depends on the separation along that direction, or a coefficient with nonzero anti-holomorphic dependence along a declared holomorphic direction, that coefficient lies outside the sheaf cohomology (9) and would falsify the physical hypothesis.
Extended reading notes
Core claim
The main theorem states that for $p\ge 1$, $$H^\bullet((\mathbb{R}^m\times\mathbb{C}^n\times\mathbb{R}^p)\setminus\{0\},\mathcal{O})=Z_{n,p}\oplus(\tilde Y_{n,p}/Y_{n,p})[-m-n],$$ while for $mn>0$ and $p=0$ it is $Z_{n,p}\oplus Y_{n,p}[1-m-n]$; all other cases are zero. Here $Z_{n,p}$ is the space of functions holomorphic on $\mathbb{C}^n$ and smooth on $\mathbb{R}^p$, $\tilde Y_{n,p}$ allows singularities at the origin in the ordinary directions, and $Y_{n,p}$ is the corresponding space without the deleted point. The paper then makes the physical hypothesis that the possible OPE coefficients in a theory on this spacetime are exactly the elements of this cohomology. Under that hypothesis, nonzero ghost number appears precisely when the spacetime contains at least one topological or holomorphic direction together with an ordinary direction, or when it contains more than one such mixed direction with no ordinary directions. This reproduces the ordinary OPE for $(0,0,p)$, the $\mathbb{C}\oplus\mathbb{C}[1-m]$ binary operations of a topological theory, the Hartogs-forced higher cohomology of holomorphic theories in dimension $n\ge 2$, and the raviolo and smooth raviolo cases.
Load-bearing premise
The load-bearing premise is that actual OPE coefficients are literally captured by the sheaf cohomology of the punctured flat spacetime, with non-conformal corrections represented by the projective limit in equation (10); if renormalization, additional symmetries, or nontrivial spacetime topology changes the local analytic behavior, the predicted ghost-number content need not transfer to physics.
Editorial extensions
If this is right
- Ordinary quantum field theories, $(m,n,p)=(0,0,p)$, have only ordinary smooth functions as OPE coefficients, so no ghost-number structure appears.
- Pure topological theories, $(m,0,0)$, have binary coefficient space $\mathbb{C}\oplus\mathbb{C}[1-m]$, matching the two operations (multiplication and degree-$1-m$ Poisson bracket) of an $E_m$-algebra.
- Holomorphic theories on $\mathbb{C}^n$ with $n\ge 2$ acquire derived coefficients in degree $n-1$, as required by Hartogs' theorem, and the paper identifies those classes explicitly via the space $\mathcal{O}((\mathbb{C}^\times)^n)/X_n$.
- The raviolo case $(1,1,0)$ and the new smooth raviolo case $(1,0,p)$ both acquire a degree $-1$ derived part, so the smooth raviolo provides a non-supersymmetric analogue in one topological plus several ordinary dimensions.
- If the hypothesis is correct, the presence of derived functions is governed entirely by the counts $(m,n,p)$: $m+n>0$ with $p>0$, or $m+n>1$ with $p=0$.
Reading between the lines
- The same two-open-cover computation should extend to multipoint configuration spaces, and would then organize the higher operations entering generalized Borcherds identities; the paper only gestures at this direction.
- The physical hypothesis fixes the space of possible coefficients but not which classes a given dynamics realizes; a natural open problem is a selection rule from renormalization or from the specific operator content that determines which sheaf cohomology classes actually appear.
- The projective limit in equation (10) is where non-conformal corrections enter; if this limit is replaced by a genuine local germ computation, the ghost-number conditions could vary from point to point on a curved spacetime, a regime the paper explicitly excludes.
- The smooth raviolo construction suggests that topological reduction, rather than a full cohomological twist, can produce derived OPE coefficients in non-supersymmetric settings; testing this in a simple topologically reduced free theory would be a direct check of the hypothesis.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the sheaf cohomology H^•((R^m × C^n × R^p) \ {0}, O), where O is the sheaf of complex-valued smooth functions that are constant along R^m and holomorphic along C^n. Theorem 1 claims to compute this cohomology, and the authors conjecture that these cohomology groups give the coefficients of operator product expansions in quantum field theories on spacetimes with m topological, n holomorphic, and p ordinary directions. They derive necessary and sufficient conditions for the appearance of nonzero-ghost-number (“derived”) OPE coefficients and discuss examples: holomorphic field theory, ordinary QFT, topological field theory, the holomorphic raviolo, and a new smooth raviolo on R^p with a doubled origin. The appendix provides a Mayer–Vietoris proof of the main theorem, and Section 4 sketches constructions of theories with mixed spacetime directions.
Significance. If the physical identification is accepted, the paper gives a clean and useful classification: sheaf cohomology of the punctured flat spacetime is explicitly computed in terms of function spaces, and the smooth raviolo is a natural smooth analogue of the holomorphic raviolo. The proof of Theorem 1 is a concrete, checkable computation using standard technology, and the paper is honest that the passage from cohomology to OPE coefficients is a hypothesis rather than a theorem. The main value is therefore as a organizing conjecture with worked examples; the load-bearing gaps identified below are concentrated in the step from the global flat-space computation to the local/asymptotic setting in which OPEs actually apply.
major comments (3)
- [Theorem 1, §2, Eq. (9); §3.1 and §3.3] Theorem 1 as stated covers only p ≥ 1 and mn > 0 with p = 0, plus the trivial case m = n = p = 0. However, Section 3.1 and especially Eq. (17) in Section 3.3 use the pure branches (m = 0, n > 0, p = 0) and (m > 0, n = 0, p = 0), and the abstract promises an analysis for an arbitrary number of topological, holomorphic, and ordinary dimensions. The proof of Lemma 3 already indicates how these cases follow (the n = 0 case is singular cohomology of R^m \ {0} and the m = 0 case is cohomology of C^n \ {0}), so the omission appears repairable, but the formal statement of the central theorem does not currently deliver the claimed scope. Please state the unified formula or add the two missing cases explicitly.
- [§2, Eq. (10)] The physical identification of OPE coefficients with Eq. (9) is only supported for globally flat spacetime. For non-conformal theories, the paper itself retreats to the limit G_{m,n,p} = lim_{←} H(U \ {x}, O), but this limit is never computed, and as written it is not the germ construction used later in §3.5: a projective limit over all open neighbourhoods U of x with the usual restriction maps produces global functions on R^p \ {x}, whereas a germ at x is a direct limit over shrinking neighbourhoods. This distinction is consequential, because OPEs are local/asymptotic data, and the exact coefficient spaces claimed in the abstract are not established unless Eq. (10) is defined and computed (or the conjecture is explicitly restricted to settings where global flat-space cohomology applies). This is a load-bearing gap in the central claim.
- [§4.2, Eqs. (29)–(33)] The topological-reduction examples start from a supercharge with {Q,Q} = P_x and then impose the zero-mode condition ∂_x Φ = 0 to make Q nilpotent. This discards x-dependent field modes, so the resulting theory is not a cohomological twist of the original theory in the sense used elsewhere in the paper; the authors acknowledge this (“does not provide full-fledged cohomological twists”). As presented, these examples therefore do not demonstrate that a genuinely mixed topological/ordinary theory with the coefficient spaces of Eq. (9) exists, unless the reduced theory is given a more careful QFT definition. I would ask the authors to either supply such a construction or explicitly mark these as heuristic toy models.
minor comments (5)
- [§2, physical hypothesis paragraph] The sentence “a quantum field theory on R^m × C^n × C^p” should read “R^m × C^n × R^p”; the holomorphic factor is already C^n.
- [§3.5, Eqs. (22) and (24), Fig. 2] Several displayed expressions are corrupted by replacement glyphs (“∝⊑⌉⌋𝑦”), apparently intended to be “ordinary y”; these should be fixed before publication.
- [A, proof of Lemma 3, Eq. (44)] In a lemma with p = 0, Eq. (44) writes H^0((R^m × C^n × R^p) \ {0}, O); the factor R^p should be absent.
- [§3.3, paragraph on E_m-algebras] The phrase “the m-point correlators of this theory are given by the little m-discs operad” is imprecise: the E_m operad controls all k-point operations, not only the m-point ones; please rephrase.
- [§2, Eq. (10)] The notation “Blim” is unexplained; if it denotes a pro-object limit or a different limiting construction, it should be defined, and the difference from an ordinary projective limit should be stated.
Circularity Check
No significant circularity: the sheaf-cohomology computation is independent, the physical bridge is explicitly labelled a hypothesis, and the only self-citations are illustrative rather than load-bearing.
full rationale
The paper's central mathematical result, Theorem 1, is a direct sheaf-cohomology computation using the Mayer–Vietoris sequence and the Künneth formula for nuclear Fréchet sheaves; it does not assume the physical OPE conclusion. The paper then explicitly states the physical interpretation as a hypothesis — 'we make the following physical hypothesis' — rather than as a derivation from OPE axioms, so no fitted parameter or input quantity is being renamed as a prediction. The examples in Section 3 compare the computed cohomology with known physical expectations (holomorphic OPEs, ordinary QFT, TQFT, raviolo theories) but do not use those expectations to prove the theorem. The only self-citation is to the authors' own raviolo paper [AKY25], and it appears in illustrative contexts alongside the independent references [GW23, GRW23]; the existence of a smooth analogue is not forced by that citation. The paper also explicitly acknowledges that the global computation (9) is not local and 'will not be applicable to spacetimes with nontrivial topology', and it flags the projective-limit issue for non-conformal theories, which is a scope caveat rather than evidence of circularity. Thus the derivation chain is self-contained: the theorem is proven from standard mathematics, and the physical claim is openly conjectural.
Assumptions & free parameters
assumptions (5)
- standard math Mayer-Vietoris long exact sequence and Künneth formula hold for sheaves of Fréchet nuclear spaces.
- standard math Cartan's theorem B and Hartogs extension theorem describe cohomology of Stein covers of C^n\ {0}.
- domain assumption The physical OPE coefficients are exactly elements of the sheaf cohomology in (9).
- domain assumption Spacetime is globally R^m x C^n x R^p and translation invariant.
- ad hoc to paper A supercharge Q with {Q,Q}=P_x exists and zero-mode truncation makes Q nilpotent for the topological reduction examples.
invented entities (1)
-
smooth raviolo: R^p with a doubled origin, a non-Hausdorff smooth manifold
independent evidence
Cite this review
Pith. "Pith review of On coefficients of operator product expansions for quantum field theories with ordinary, holomorphic, and topological spacetime dimensions." pith.science (2026). https://pith.science/paper/54RCHV4Y
@misc{pith2026250205077,
author = {Pith},
title = {Pith review of: On coefficients of operator product expansions for quantum field theories with ordinary, holomorphic, and topological spacetime dimensions},
year = {2026},
howpublished = {\url{https://pith.science/paper/54RCHV4Y}},
note = {Machine review of arXiv:2502.05077}
}
read the original abstract
In many quantum field theories (such as higher-dimensional holomorphic field theories or raviolo theories), operator product expansions of local operators can have as coefficients not only ordinary functions but also 'derived' functions with nonzero ghost number, which are certain elements of sheaf cohomology. We analyse the 'derived' functions that should appear in operator product expansions for a quantum field theory with an arbitrary number of topological, holomorphic and/or ordinary spacetime dimensions and identify necessary and sufficient conditions for such 'derived' functions to appear. In particular, theories with one topological spacetime dimension and multiple ordinary spacetime dimensions provide a smooth analogue of the (holomorphic) raviolo.
Figures
Forward citations
Cited by 1 Pith paper
-
Factorization Algebras and Quantum Groups from Generalized Poisson Sigma Models
Generalized Poisson sigma models realize deformation quantizations of holomorphic-topological factorization algebras and produce quantum groups as Koszul duals of their boundary algebras.
Reference graph
Works this paper leans on
-
[1]
Raviolo vertex algebras, cochains and conformal blocks
Luigi Alfonsi, Hyungrok Kim ( CJK* UTF8 bsmi 金炯錄 CJK* ) , and Charles Alastair Stephen Young. Raviolo vertex algebras, cochains and conformal blocks . International Mathematics Research Notices , 2025. To be published. https://arxiv.org/abs/2401.11917 arXiv:2401.11917
work page Pith review arXiv 2025
-
[2]
Notes on Factorization Algebras and TQFTs
Araminta Amabel. Notes on factorization algebras and TQFT s, July 2023. https://arxiv.org/abs/2307.01306 arXiv:2307.01306
work page Pith review arXiv 2023
-
[3]
Lakshya Bhardwaj, Lea E. Bottini, Ludovic Fraser-Taliente, Liam Gladden, Dewi Sid William Gould, Arthur Platschorre, and Hannah Tillim. Lectures on generalized symmetries. Physics Reports , 1051:1--87, February 2024. https://arxiv.org/abs/2307.07547 arXiv:2307.07547 , https://doi.org/10.1016/j.physrep.2023.11.002 doi:10.1016/j.physrep.2023.11.002
arXiv 2024
-
[4]
Chiral Algebras , volume 51 of Colloquium Publications
Alexander Alexandrovich Beilinson ( Александр Александрович Бейлинсон ) and Vladimir Gershonovich Drinfeld ( Володимир Гершонович Дрінфельд ) . Chiral Algebras , volume 51 of Colloquium Publications . American Mathematical Society, Providence, Rhode Island, U.S., 2004. https://doi.org/10.1090/coll/051 doi:10.1090/coll/051
doi:10.1090/coll/051 2004
-
[5]
Unravelling the Holomorphic Twist: Central Charges
Pieter Marc Bomans and Jingxiang Wu ( CJK* UTF8 gbsn 吴敬祥 CJK* ) . Unravelling the holomorphic twist: Central charges. Communications in Mathematical Physics , 405:290, November 2024. https://arxiv.org/abs/2311.04304 arXiv:2311.04304 , https://doi.org/10.1007/s00220-024-05167-4 doi:10.1007/s00220-024-05167-4
work page Pith review arXiv 2024
-
[6]
Kevin Joseph Costello and Owen Gwilliam. Factorization algebra. In Richard Joseph Szabo and Martin Bojowald, editors, Encyclopedia of Mathematical Physics. Volume 5 , pages 569--583. Academic Press, second edition, 2025. https://arxiv.org/abs/2310.06137 arXiv:2310.06137 , https://doi.org/10.1016/B978-0-323-95703-8.00093-8 doi:10.1016/B978-0-323-95703-8.00093-8
arXiv 2025
-
[7]
Notes on supersymmetric and holomorphic field theories in dimensions 2 and 4
Kevin Joseph Costello. Notes on supersymmetric and holomorphic field theories in dimensions 2 and 4. Pure and Applied Mathematics Quarterly , 9(1):73--165, 2013. https://arxiv.org/abs/1111.4234 arXiv:1111.4234 , https://doi.org/10.4310/PAMQ.2013.v9.n1.a3 doi:10.4310/PAMQ.2013.v9.n1.a3
arXiv 2013
-
[8]
Elliott, Pavel Safronov ( Павел Сафронов ) , and Brian R
Christopher J. Elliott, Pavel Safronov ( Павел Сафронов ) , and Brian R. Williams. A taxonomy of twists of supersymmetric Y ang-- M ills theory. latin Selecta Mathematica , 28(4):73, 2022. https://arxiv.org/abs/2002.10517 arXiv:2002.10517 , https://doi.org/10.1007/s00029-022-00786-y doi:10.1007/s00029-022-00786-y
arXiv 2022
Show all 27 references
-
[9]
Notes on \(2d\) conformal field theory and string theory
Dennis Gaitsgory. Notes on \(2d\) conformal field theory and string theory. In Pierre Deligne, David Kazhdan, Pavel Ilyich Etingof ( Павел Ильич Этингоф ) , John Willard Morgan, Daniel Stuart Freed, David Robert Morrison, Lisa Claire Jeffrey, and Edward Witten, editors, Quantu...
1999 arXiv
-
[10]
Generalized global symmetries
Davide Silvano Achille Gaiotto, Anton Nikolaevich Kapustin ( Антон Николаевич Капустин ) , Nathan Seiberg, and Brian Willett. Generalized global symmetries. Journal of High Energy Physics , 2015(02):172, February 2015. https://arxiv.org/abs/1412.5148 arXiv:1412.5148 , https://...
2015 arXiv
-
[11]
Higher operations in perturbation theory
Davide Silvano Achille Gaiotto, Justin Kulp, and Jingxiang Wu ( CJK* UTF8 gbsn 吴敬祥 CJK* ) . Higher operations in perturbation theory. March 2024. https://arxiv.org/abs/2403.13049 arXiv:2403.13049
2024 arXiv
-
[12]
Cohomological vertex algebras , January 2025
Colton Griffin. Cohomological vertex algebras , January 2025. https://arxiv.org/abs/2501.18720 arXiv:2501.18720 , https://doi.org/10.48550/arXiv.2501.18720 doi:10.48550/arXiv.2501.18720
2025 doi
-
[13]
french Technique de descente et théorèmes d'existence en géométrie algébriques
Alexander Grothendieck. french Technique de descente et théorèmes d'existence en géométrie algébriques. II. Le théorème d'existence en théorie formelle des modules . In french Séminaire Bourbaki : années 1958/59 - 1959/60, exposés 169 - 204 , number 5 in french Séminaire Bourb...
1958
-
[14]
Williams
Niklas Garner, Surya Raghavendran, and Brian R. Williams. Higgs and C oulomb branches from superconformal raviolo vertex algebras. 10 2023. https://arxiv.org/abs/2310.08524 arXiv:2310.08524
2023 arXiv
-
[15]
Williams
Niklas Garner and Brian R. Williams. Raviolo vertex algebras. August 2023. https://arxiv.org/abs/2308.04414 arXiv:2308.04414
2023 arXiv
-
[16]
german Einige Folgerungen aus der Cauchyschen Integralformel bei Funktionen mehrerer Veränderlichen
Fritz Hartogs. german Einige Folgerungen aus der Cauchyschen Integralformel bei Funktionen mehrerer Veränderlichen . german Sitzungsberichte der Königlich Bayerischen Akademie der Wissenschaften zu München, Mathematisch-Physikalische Klasse , 36:223--242, 1906. URL: https://ar...
1906
-
[17]
german Eine K ünnethformel für F réchetgarben
Ludger Kaup. german Eine K ünnethformel für F réchetgarben . german Mathematische Zeitschrift , 97(2):158--168, April 1967. https://doi.org/10.1007/BF01111357 doi:10.1007/BF01111357
1967 doi
-
[18]
Operads and motives in deformation quantization
Maxim Lvovich Kontsevich ( Максим Львович Концевич ) . Operads and motives in deformation quantization. Letters in Mathematical Physics , 48(1):35--72, April 1999. https://arxiv.org/abs/math/9904055 arXiv:math/9904055 , https://doi.org/10.1023/A:1007555725247 doi:10.1023/A:100...
1999 arXiv
-
[19]
Categories and Sheaves , volume 332 of german Grundlehren der mathematischen Wissenschaften
Masaki Kashiwara ( CJK* UTF8 bsmi 柏原正樹 CJK* ) and Pierre Schapira. Categories and Sheaves , volume 332 of german Grundlehren der mathematischen Wissenschaften . Springer-Verlag, Berlin, Heidelberg, October 2005. https://doi.org/10.1007/3-540-27950-4 doi:10.1007/3-540-27950-4
2005 doi
-
[20]
On the classification of topological field theories
Jacob Alexander Lurie. On the classification of topological field theories. Current Developments in Mathematics , 2008(1):129--280, 2008. https://arxiv.org/abs/0905.0465 arXiv:0905.0465 , https://doi.org/10.4310/CDM.2008.v2008.n1.a3 doi:10.4310/CDM.2008.v2008.n1.a3
2008 arXiv
-
[21]
Formality of the little \( N \)-disks operad
Pascal Lambrechts and Ismar Volić. Formality of the little \( N \)-disks operad. Memoirs of the American Mathematical Society , 230(1079):1--116, November 2014. https://arxiv.org/abs/0808.0457 arXiv:0808.0457 , https://doi.org/10.1090/memo/1079 doi:10.1090/memo/1079
2014 arXiv
-
[22]
Schechtman ( Вадим В
Fyodor Georgievich Malikov ( Федор Георгиевич Маликов ) and Vadim V. Schechtman ( Вадим В. Шехтман ) . Homotopy chiral algebras , August 2024. https://arxiv.org/abs/2408.16787 arXiv:2408.16787 , https://doi.org/10.48550/arXiv.2408.16787 doi:10.48550/arXiv.2408.16787
-
[23]
Factorization Homology as a Fully Extended Topological Field Theory
Claudia Isabella Scheimbauer. Factorization Homology as a Fully Extended Topological Field Theory . PhD thesis, german Eidgenössische Technische Hochschule Zürich , 2014. https://doi.org/10.3929/ethz-a-010399715 doi:10.3929/ethz-a-010399715
2014 doi
-
[24]
Williams
Ingmar Akira Saberi and Brian R. Williams. Superconformal algebras and holomorphic field theories. french Annales Henri Poincaré , 24(2):541--604, 2023. https://arxiv.org/abs/1910.04120 arXiv:1910.04120 , https://doi.org/10.1007/s00023-022-01224-7 doi:10.1007/s00023-022-01224-7
2023 arXiv
-
[25]
Lectures on Factorization Homology, \( \)-Categories, and Topological Field Theories , volume 39 of SpringerBriefs in Mathematical Physics
Hiro Lee Tanaka, Araminta Amabel, Artem Kalmykov ( Артём Калмыков ) , and Lukas Müller. Lectures on Factorization Homology, \( \)-Categories, and Topological Field Theories , volume 39 of SpringerBriefs in Mathematical Physics . Springer-Verlag, Cham, Switzerland, December 202...
2020 arXiv
-
[26]
Chiral homology of elliptic curves and the Zhu algebra
Jethro van Ekeren and Reimundo Heluani. Chiral homology of elliptic curves and the Zhu algebra. Communications in Mathematical Physics , 386(1):495--550, 2021. https://arxiv.org/abs/1804.00017 arXiv:1804.00017 , https://doi.org/10.1007/s00220-021-04026-w doi:10.1007/s00220-021-04026-w
2021 arXiv
-
[27]
Williams
Brian R. Williams. The Holomorphic \( \)-Model and its Symmetries . PhD thesis, Northwestern University, June 2008. https://doi.org/10.21985/N2P77S doi:10.21985/N2P77S
2008 doi
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.