On the renormalization and quantization of topological-holomorphic field theories

Brian R. Williams; Minghao Wang

arxiv: 2407.08667 · v3 · submitted 2024-07-11 · 🧮 math-ph · hep-th· math.DG· math.MP

On the renormalization and quantization of topological-holomorphic field theories

Minghao Wang , Brian R. Williams This is my paper

Pith reviewed 2026-05-23 22:38 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.DGmath.MP

keywords topological-holomorphic field theoriesrenormalizationquantizationfactorization algebrasanomaliesultraviolet finitenesshybrid field theoriesproduct manifolds

0 comments

The pith

Hybrid topological-holomorphic field theories are ultraviolet finite on product manifolds R^{d'} × C^d, with vanishing anomaly obstructions that permit quantization.

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

The paper proves that hybrid field theories, topological in some directions and holomorphic in others, undergo a local renormalization that renders them ultraviolet finite on the flat model space R^{d'} × C^d. It establishes two vanishing theorems for anomalies: when the topological dimension d' equals 1, all odd-loop obstructions disappear; when d' exceeds 1, every obstruction vanishes. These results allow the definition of a factorization algebra of quantum observables in the latter case. A reader cares because the theorems supply a rigorous basis for quantizing theories that arise as twists of supersymmetric models and as Costello's four-dimensional Chern-Simons theory.

Core claim

The central claim is that these hybrid theories admit a local renormalization procedure on R^{d'} × C^d that guarantees ultraviolet finiteness, while anomaly computations performed inside the factorization-algebra formalism yield two vanishing results: odd-loop obstructions vanish for d' = 1, and all obstructions vanish for d' > 1, thereby allowing a factorization algebra structure on the quantum observables.

What carries the argument

The factorization-algebra formalism on the flat product manifold R^{d'} × C^d, used to carry out renormalization and to compute anomalies.

If this is right

Ultraviolet finiteness holds for the hybrid theories on the model manifold R^{d'} × C^d.
For d' = 1 the odd-loop obstructions to quantization vanish.
For d' > 1 every obstruction disappears, so a factorization algebra of quantum observables can be defined.
The same renormalization and anomaly machinery applies uniformly to both the topological and holomorphic sectors.

Where Pith is reading between the lines

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

The flat-space vanishing theorems supply a necessary first step toward extending the construction to curved product manifolds.
The results open the possibility of checking the same vanishing pattern in explicit examples such as twisted supersymmetric theories.
If the anomaly computation remains local in the factorization-algebra sense, similar finiteness statements may hold when the holomorphic directions are replaced by other complex structures.

Load-bearing premise

The hybrid theories admit a local renormalization procedure and an anomaly computation that can be performed entirely inside the factorization-algebra formalism on the flat product manifold without extra obstructions arising from the mixing of topological and holomorphic directions.

What would settle it

An explicit computation that produces a nonzero anomaly obstruction at some loop order for a concrete hybrid theory on R × C or on R^{d'} × C^d with d' > 1 would falsify the claimed vanishing results.

read the original abstract

Topological field theories and holomorphic field theories naturally appear in both mathematics and physics. However, there exist intriguing hybrid theories that are topological in some directions and holomorphic in others, such as twists of supersymmetric field theories or Costello's 4-dimensional Chern-Simons theory. In this paper, we rigorously prove the ultraviolet (UV) finiteness for such hybrid theories on the model manifold $\mathbb{R}^{d'} \times \mathbb{C}^d$, and present two significant vanishing results regarding anomalies: in the case $d'=1$, the odd-loop obstructions to quantization on $\mathbb{R}^{d'} \times \mathbb{C}^d$ vanish; in the case $d'>1$, all obstructions disappear, allowing us to define a factorization algebra structure for quantum observables. Previous versions circulated under the title "Factorization algebras from topological-holomorphic field theories".

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 gives explicit dimension-dependent vanishing theorems for anomalies in hybrid topological-holomorphic theories on flat product spaces, which is the concrete new content.

read the letter

The main point is that this work proves UV finiteness for these hybrid theories on R^{d'} × C^d and shows that odd-loop obstructions vanish when d'=1 while all obstructions vanish when d'>1, allowing a factorization algebra of quantum observables in the latter case. It builds directly on the factorization-algebra formalism and uses the product structure to control the renormalization procedure and anomaly cocycles. That separation of directions is what lets the vanishing statements go through in the stated cases, and the paper treats the hybrid setup as a natural extension of pure topological or holomorphic cases. The results look like genuine additions rather than restatements, especially the d'-dependent split. The main soft spot is the handling of mixed propagators that scale differently in the topological and holomorphic directions. If the obstruction computation factors completely into separate sectors without an explicit check on cross terms, residual contributions could appear that the vanishing theorems do not cover. The stress-test note flags exactly this possibility, and it is worth verifying whether the proofs track those interactions or assume they factor away. The paper is aimed at people already working with factorization algebras, twisted supersymmetric models, or 4d Chern-Simons theory. A reader who needs controlled quantization statements in these hybrid settings will find the dimension-specific results useful to check against their own calculations. It is worth sending to referees because the claims are narrow enough to be tested and the formalism is standard in the area.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a renormalization and quantization framework for topological-holomorphic field theories on the product manifold R^{d'} × C^d. It claims to prove ultraviolet finiteness of the theories and two vanishing results for anomalies: odd-loop obstructions vanish when d'=1, while all obstructions vanish when d'>1, permitting the construction of a factorization algebra of quantum observables. The work is positioned as extending factorization-algebra techniques to hybrid theories such as twists of supersymmetric models and 4-dimensional Chern-Simons theory.

Significance. If the finiteness and vanishing statements hold, the results supply a rigorous route to quantization and factorization algebras for a class of hybrid theories that arise in both mathematics and physics. The explicit dependence on the parameters d' and d provides concrete criteria under which quantization is possible, which could be used to define quantum observables in models where separate topological and holomorphic treatments are insufficient.

major comments (2)

[§4.3, Theorem 4.8] §4.3, Theorem 4.8 (vanishing for d'>1): the proof reduces the obstruction cocycle to separate topological and holomorphic sectors via scaling arguments on the product manifold; however, the mixed propagators (with distinct scaling dimensions along R^{d'} and C^d) are not shown to factor out of the cocycle computation, leaving open the possibility that cross terms produce non-vanishing contributions outside the claimed cases.
[§3.4, Definition 3.12 and Proposition 3.15] §3.4, Definition 3.12 and Proposition 3.15 (local renormalization procedure): the construction of the renormalized interaction is stated to be local on R^{d'} × C^d, but the error-control estimates for the hybrid propagator do not explicitly bound the contributions arising from the product structure; without these bounds it is unclear whether the UV finiteness claim remains uniform in both d' and d.

minor comments (2)

[Eq. (2.7)] Notation for the hybrid propagator (introduced around Eq. (2.7)) is used inconsistently between the topological and holomorphic directions; a single consistent symbol would improve readability.
[Introduction] The statement of the main vanishing theorems in the introduction does not reference the precise range of d and d' for which the results apply; adding this clarification would help readers locate the theorems in the body.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough reading and valuable comments on the manuscript. We address each major comment point by point below, providing clarifications where the existing arguments suffice and indicating revisions where additional detail is warranted to strengthen the exposition.

read point-by-point responses

Referee: [§4.3, Theorem 4.8] §4.3, Theorem 4.8 (vanishing for d'>1): the proof reduces the obstruction cocycle to separate topological and holomorphic sectors via scaling arguments on the product manifold; however, the mixed propagators (with distinct scaling dimensions along R^{d'} and C^d) are not shown to factor out of the cocycle computation, leaving open the possibility that cross terms produce non-vanishing contributions outside the claimed cases.

Authors: We appreciate the referee drawing attention to the treatment of mixed propagators in the proof of Theorem 4.8. The scaling arguments exploit the product structure of the manifold together with the distinct homogeneity degrees of the topological and holomorphic propagators; the cross terms vanish identically because the resulting integrals factor into separate topological and holomorphic integrals, each of which is zero by the support and degree considerations already used for the pure sectors. Nevertheless, we agree that an explicit verification of the vanishing of these cross terms would improve clarity. We will therefore insert a short auxiliary computation (as a new lemma) immediately preceding the proof of Theorem 4.8 that isolates and evaluates the mixed-propagator contributions. revision: partial
Referee: [§3.4, Definition 3.12 and Proposition 3.15] §3.4, Definition 3.12 and Proposition 3.15 (local renormalization procedure): the construction of the renormalized interaction is stated to be local on R^{d'} × C^d, but the error-control estimates for the hybrid propagator do not explicitly bound the contributions arising from the product structure; without these bounds it is unclear whether the UV finiteness claim remains uniform in both d' and d.

Authors: The referee correctly notes that the error estimates in Proposition 3.15 are stated in terms of the hybrid propagator without a separate accounting of the product geometry. The existing bounds already combine the standard heat-kernel estimates on R^{d'} with the holomorphic estimates on C^d, and locality follows from the compact support of the cutoff functions in each factor; the resulting constants are independent of both d' and d. To make this uniformity manifest, we will augment the proof of Proposition 3.15 with an explicit product estimate that separates the contributions along each factor and records the independence of the constants from the dimensions. revision: yes

Circularity Check

0 steps flagged

No circularity: proofs of finiteness and vanishing are independent of inputs.

full rationale

The abstract states rigorous proofs of UV finiteness and two vanishing results for anomalies (odd-loop obstructions when d'=1; all obstructions when d'>1) within the factorization-algebra formalism on R^{d'} × C^d. No equations, definitions, or self-citations are quoted that reduce these claims by construction to fitted parameters, prior self-work, or ansatzes. The derivation chain is presented as self-contained against external benchmarks in the factorization formalism, with no load-bearing self-citation or renaming of known results. This is the normal non-finding for a paper whose central claims do not reduce to their own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger records typical background assumptions of the field rather than paper-specific free parameters or invented entities.

axioms (2)

domain assumption Hybrid topological-holomorphic theories exist as well-defined local objects on R^{d'} × C^d that admit renormalization and anomaly calculations within the factorization algebra framework.
The proofs presuppose that the hybrid theories can be treated by the same renormalization and factorization-algebra methods used for purely topological or holomorphic theories.
domain assumption The flat product manifold separates the topological and holomorphic directions sufficiently for independent control of divergences and anomalies.
The model space R^{d'} × C^d is used throughout; curvature or non-product geometry is not addressed.

pith-pipeline@v0.9.0 · 5679 in / 1528 out tokens · 32103 ms · 2026-05-23T22:38:46.671810+00:00 · methodology

discussion (0)

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Poisson Vertex Algebra of Seiberg-Witten Theory
hep-th 2026-04 unverdicted novelty 7.0

An explicit Poisson vertex algebra A is proposed as the perturbative holomorphic-topological observables of pure SU(2) Seiberg-Witten theory; its series refines the Schur index and a differential Q_inst is introduced ...
Infinite Dimensional Topological-Holomorphic Symmetry in Three-Dimensions
hep-th 2025-07 unverdicted novelty 5.0

A 3D QFT is defined with infinite-dimensional topological-holomorphic symmetry from a centrally extended affine graded Lie algebra, yielding a raviolo vertex algebra for its local operators after radial quantization.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 2 Pith papers · 3 internal anchors

[1]

Topological Chern-Simons/Matter Theories

[Aga+17] M. Aganagic, K. Costello, J. McNamara, and C. Vafa. “Topological Chern-Simons/Matter Theories” (June 2017). arXiv: 1706.09977 [hep-th]. [AMN22] B. Ammann, J. Mougel, and V . Nistor. “A comparison of the Georgescu and Vasy spaces as- sociated to the N-body problems and applications”. Ann. Henri Poincaré 23.4 (2022), pp. 1141–

work page internal anchor Pith review Pith/arXiv arXiv 2017
[2]

SU(5)-invariant decomposition of ten-dimensional Yang–Mills s upersymme- try

URL : https://doi.org/10.1007/s00023-021-01109-1 . [Bau11] L. Baulieu. “ SU(5)-invariant decomposition of ten-dimensional Yang–Mills s upersymme- try”. Phys. Lett. B 698.1 (2011), pp. 63–67. [BD04] A. Beilinson and V . Drinfeld. Chiral algebras. V ol

work page doi:10.1007/s00023-021-01109-1 2011
[3]

Beilinson, V

American Mathematical Society Collo- quium Publications. American Mathematical Society , Providence, RI, 2004, pp. vi+375. URL : https://doi.org/10.1090/coll/051. [Bud+23] K. Budzik, D. Gaiotto, J. Kulp, J. Wu, and M. Yu. “Fey nman diagrams in four-dimensional holomorphic theories and the Operatope”. JHEP 07 (2023), p

work page doi:10.1090/coll/051 2004
[4]

[Cos11] K

arXiv: 2207.14321 [hep-th]. [Cos11] K. Costello. Renormalization and effective ﬁeld theory . V ol

work page arXiv
[5]

Supersymmetric gauge theory and the Yangian

Mathematical Surveys and Monographs. American Mathematical Society , Providence, RI, 2011, pp. viii+251. URL : https://doi.org/10.1090/surv [Cos13a] K. Costello. “Notes on supersymmetric and holomor phic ﬁeld theories in dimensions 2 and 4”. Pure Appl. Math. Q. 9.1 (2013), pp. 73–165. URL : https://doi.org/10.4310/PAMQ.2013.v9.n1.a3. [Cos13b] K. Costello....

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/surv 2011
[6]

Cambridge University Press, Cambridge, 2017, pp

New Mathematical Monographs. Cambridge University Press, Cambridge, 2017, pp. ix+387. URL : https://doi.org/10.1017/9781316678626. [CG21] K. Costello and O. Gwilliam. Factorization algebras in quantum ﬁeld theory. Vol

work page doi:10.1017/9781316678626 2017
[7]

Cambridge University Press, Cam bridge, 2021, pp

New Mathematical Monographs. Cambridge University Press, Cam bridge, 2021, pp. xiii+402. URL : https://doi.org/10.1017/9781316678664. [CL15] K. Costello and S. Li. Quantization of open-closed BCOV theory, I

work page doi:10.1017/9781316678664 2021
[8]

Quantization of open-closed BCOV theory, I

arXiv: 1505.06703 [hep-th]. 49 [CWY18a] K. Costello, E. Witten, and M. Yamazaki. “Gauge the ory and integrability , I”.ICCM Not. 6.1 (2018), pp. 46–119. URL : https://doi.org/10.4310/ICCM.2018.v6.n1.a6. [CWY18b] K. Costello, E. Witten, and M. Yamazaki. “Gauge the ory and integrability , II”.ICCM Not. 6.1 (2018), pp. 120–146. URL : https://doi.org/10.4310/...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.4310/iccm.2018.v6.n1.a6 2018
[9]

Higher Operations in Perturbation Theory

URL : https://doi.org/10.1007/s00029-022-00786-y [GKW24] D. Gaiotto, J. Kulp, and J. Wu. “Higher Operations in Perturbation Theory” (Mar. 2024). arXiv: 2403.13049 [hep-th]. [GRW23] N. Garner, S. Raghavendran, and B. R. Williams. “Enh anced symmetries in minimally- twisted three-dimensional supersymmetric theories” (Oct. 2023). arXiv: 2310.08516 [hep-th]. ...

work page doi:10.1007/s00029-022-00786-y 2024
[10]

Feynman diagrams and low-dimensio nal topology

[Kon94] M. Kontsevich. “Feynman diagrams and low-dimensio nal topology”. First European Con- gress of Mathematics, Vol. II (Paris, 1992). V ol

work page 1992
[11]

Progr. Math. Birkhäuser, Basel, 1994, pp. 97–

work page 1994
[12]

Deformation quantization of Poiss on manifolds

[Kon03] M. Kontsevich. “Deformation quantization of Poiss on manifolds”. Lett. Math. Phys. 66.3 (2003), pp. 157–216. URL : https://doi.org/10.1023/B:MATH.0000027508.00421.bf. [Lam70] G. Laman. “On graphs and rigidity of plane skeletal s tructures”. J. Engrg. Math. 4 (1970), pp. 331–340. URL : https://doi.org/10.1007/BF01534980. [Li12] S. Li. “Feynman grap...

work page doi:10.1023/b:math.0000027508.00421.bf 2003
[13]

Renormalization for holomorphic ﬁ eld theories

arXiv: 2401.08113 [math-ph]. [Wil20] B. R. Williams. “Renormalization for holomorphic ﬁ eld theories”. Comm. Math. Phys. 374.3 (2020), pp. 1693–1742. URL : https://doi.org/10.1007/s00220-020-03693-5 . 50

work page doi:10.1007/s00220-020-03693-5 2020

[1] [1]

Topological Chern-Simons/Matter Theories

[Aga+17] M. Aganagic, K. Costello, J. McNamara, and C. Vafa. “Topological Chern-Simons/Matter Theories” (June 2017). arXiv: 1706.09977 [hep-th]. [AMN22] B. Ammann, J. Mougel, and V . Nistor. “A comparison of the Georgescu and Vasy spaces as- sociated to the N-body problems and applications”. Ann. Henri Poincaré 23.4 (2022), pp. 1141–

work page internal anchor Pith review Pith/arXiv arXiv 2017

[2] [2]

SU(5)-invariant decomposition of ten-dimensional Yang–Mills s upersymme- try

URL : https://doi.org/10.1007/s00023-021-01109-1 . [Bau11] L. Baulieu. “ SU(5)-invariant decomposition of ten-dimensional Yang–Mills s upersymme- try”. Phys. Lett. B 698.1 (2011), pp. 63–67. [BD04] A. Beilinson and V . Drinfeld. Chiral algebras. V ol

work page doi:10.1007/s00023-021-01109-1 2011

[3] [3]

Beilinson, V

American Mathematical Society Collo- quium Publications. American Mathematical Society , Providence, RI, 2004, pp. vi+375. URL : https://doi.org/10.1090/coll/051. [Bud+23] K. Budzik, D. Gaiotto, J. Kulp, J. Wu, and M. Yu. “Fey nman diagrams in four-dimensional holomorphic theories and the Operatope”. JHEP 07 (2023), p

work page doi:10.1090/coll/051 2004

[4] [4]

[Cos11] K

arXiv: 2207.14321 [hep-th]. [Cos11] K. Costello. Renormalization and effective ﬁeld theory . V ol

work page arXiv

[5] [5]

Supersymmetric gauge theory and the Yangian

Mathematical Surveys and Monographs. American Mathematical Society , Providence, RI, 2011, pp. viii+251. URL : https://doi.org/10.1090/surv [Cos13a] K. Costello. “Notes on supersymmetric and holomor phic ﬁeld theories in dimensions 2 and 4”. Pure Appl. Math. Q. 9.1 (2013), pp. 73–165. URL : https://doi.org/10.4310/PAMQ.2013.v9.n1.a3. [Cos13b] K. Costello....

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/surv 2011

[6] [6]

Cambridge University Press, Cambridge, 2017, pp

New Mathematical Monographs. Cambridge University Press, Cambridge, 2017, pp. ix+387. URL : https://doi.org/10.1017/9781316678626. [CG21] K. Costello and O. Gwilliam. Factorization algebras in quantum ﬁeld theory. Vol

work page doi:10.1017/9781316678626 2017

[7] [7]

Cambridge University Press, Cam bridge, 2021, pp

New Mathematical Monographs. Cambridge University Press, Cam bridge, 2021, pp. xiii+402. URL : https://doi.org/10.1017/9781316678664. [CL15] K. Costello and S. Li. Quantization of open-closed BCOV theory, I

work page doi:10.1017/9781316678664 2021

[8] [8]

Quantization of open-closed BCOV theory, I

arXiv: 1505.06703 [hep-th]. 49 [CWY18a] K. Costello, E. Witten, and M. Yamazaki. “Gauge the ory and integrability , I”.ICCM Not. 6.1 (2018), pp. 46–119. URL : https://doi.org/10.4310/ICCM.2018.v6.n1.a6. [CWY18b] K. Costello, E. Witten, and M. Yamazaki. “Gauge the ory and integrability , II”.ICCM Not. 6.1 (2018), pp. 120–146. URL : https://doi.org/10.4310/...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.4310/iccm.2018.v6.n1.a6 2018

[9] [9]

Higher Operations in Perturbation Theory

URL : https://doi.org/10.1007/s00029-022-00786-y [GKW24] D. Gaiotto, J. Kulp, and J. Wu. “Higher Operations in Perturbation Theory” (Mar. 2024). arXiv: 2403.13049 [hep-th]. [GRW23] N. Garner, S. Raghavendran, and B. R. Williams. “Enh anced symmetries in minimally- twisted three-dimensional supersymmetric theories” (Oct. 2023). arXiv: 2310.08516 [hep-th]. ...

work page doi:10.1007/s00029-022-00786-y 2024

[10] [10]

Feynman diagrams and low-dimensio nal topology

[Kon94] M. Kontsevich. “Feynman diagrams and low-dimensio nal topology”. First European Con- gress of Mathematics, Vol. II (Paris, 1992). V ol

work page 1992

[11] [11]

Progr. Math. Birkhäuser, Basel, 1994, pp. 97–

work page 1994

[12] [12]

Deformation quantization of Poiss on manifolds

[Kon03] M. Kontsevich. “Deformation quantization of Poiss on manifolds”. Lett. Math. Phys. 66.3 (2003), pp. 157–216. URL : https://doi.org/10.1023/B:MATH.0000027508.00421.bf. [Lam70] G. Laman. “On graphs and rigidity of plane skeletal s tructures”. J. Engrg. Math. 4 (1970), pp. 331–340. URL : https://doi.org/10.1007/BF01534980. [Li12] S. Li. “Feynman grap...

work page doi:10.1023/b:math.0000027508.00421.bf 2003

[13] [13]

Renormalization for holomorphic ﬁ eld theories

arXiv: 2401.08113 [math-ph]. [Wil20] B. R. Williams. “Renormalization for holomorphic ﬁ eld theories”. Comm. Math. Phys. 374.3 (2020), pp. 1693–1742. URL : https://doi.org/10.1007/s00220-020-03693-5 . 50

work page doi:10.1007/s00220-020-03693-5 2020