Pith. sign in

REVIEW 3 major objections 4 minor 51 references

The Batalin-Vilkovisky formalism in noncommutative effective field theory

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper builds the Batalin-Vilkovisky formalism for noncommutative effective field theories, proves that the renormalization group flow preserves the quantum master equation, and quantizes noncommutative Chern-Simons theory modulo…

desk verdict A serious, mostly careful extension of Costello's BV program to the ribbon-graph setting; the central RG/QME theorem has a real proof, but the paper leans heavily on the companion paper and leaves one quasi-isomorphism unchecked. read the letter →

arxiv 2505.15938 v1 pith:E367HGH5 submitted 2025-05-21 math.QA hep-th

Alastair Hamilton This is my paper · ORCID
classification math.QAhep-th MSC 81T1281T1381T1581T3081T3581T7081T75
keywords noncommutativegeometryBatalin-VilkoviskyformalismeffectivefieldtheoryrenormalizationlargeNlimitChern-SimonsmodulispacesofRiemannsurfaces
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper transplants Kevin Costello's effective-field-theory treatment of the Batalin-Vilkovisky (BV) formalism from commutative geometry into the noncommutative symplectic geometry introduced by Maxim Kontsevich, where interactions are built from cyclically symmetric tensors and Feynman diagrams are ribbon graphs. It formulates a scale-dependent quantum master equation for noncommutative interactions and proves that the renormalization group flow carries solutions at one length scale to solutions at another, making quantization a length-scale-consistent procedure. It then develops the obstruction theory controlling when a classical solution can be deformed to a quantum one, and proves that the space of theories is a Kan fibration over the space of gauge-fixing conditions. As the main application, it shows via a large-N correspondence that a noncommutative Chern-Simons interaction defines a noncommutative theory modulo constants on any compact oriented flat Riemannian three-manifold, with no deformation of the classical action needed.

What carries the argument

The load-bearing object is the differential graded Lie algebra $(N_{\gamma,\nu}(E,A), Q - d_{DR} + \Delta_K, \{-, -\}_K)$ of noncommutative interactions, where $H(E)$ consists of cyclically invariant tensors (Kontsevich's noncommutative symplectic geometry) and $N_{\gamma,\nu}(E) = \widehat{S}_+(H(E))[[\gamma]]$ carries formal parameters $\gamma$ for genus and $\nu$ for the number of boundary components. The BV Laplacian $\Delta_K = \nabla_K + \gamma\delta_K$ is built from Movshev's involutive Lie bialgebra structure on $H(E)$; the scale-$L$ quantum master equation is $(Q - d_{DR} + \Delta_L)I + \tfrac{1}{2}\{I,I\}_L = 0$. The argument is carried by the renormalization group flow $W(I,P(\varepsilon,L))$ defined as a sum over connected stable ribbon graphs with weight $\gamma^{g(\Gamma)}\nu^{b(\Gamma)}/|\operatorname{Aut}(\Gamma)|$, together with the companion paper's theorem that local interactions correspond one-to-one with pretheories. For the Chern-Simons application, the decisive mechanism is the large-$N$ correspondence: the maps $\sigma_{\gamma,\nu}$ and $M^{M_N(\mathbb{K})}_{\gamma,\nu}$ convert a single noncommutative theory into the family of U(N) gauge theories, with $\gamma \mapsto \hbar^2$ and $\nu \mapsto N\hbar$, so that quantizability of the noncommutative theory is equivalent to quantizability at every rank by the Loday-Quillen-Tsygan theorem.

What would settle it

On a flat three-torus, compute the one-loop renormalized interaction $(I^{\mathrm{NC}})^R[L]$ from the noncommutative Chern-Simons interaction and check that $(Q + \Delta_L)(I^{\mathrm{NC}})^R[L] + \tfrac{1}{2}\{(I^{\mathrm{NC}})^R[L],(I^{\mathrm{NC}})^R[L]\}_L$ is a constant, lying in $\mathbb{C}[[\gamma,\nu]]$. A field-dependent value at any length scale $L$ would refute Theorem 7.8; equivalently, any mismatch between the perturbative Chern-Simons series computed from the substitution $p_{U(N)}(\hbar) = \hbar^{-1}p_{\mathrm{NC}}(\hbar^2, N\hbar)$ and the direct U(N) computation would falsify the large-$N$ reduction.

Watch

Extended reading notes

Core claim

The paper's central claim is that the BV formalism extends to the noncommutative setting in which the space of interactions is the algebra $N_{\gamma,\nu}(E)$ of cyclic coinvariants and the renormalization group flow is summed over stable ribbon graphs. The classical master equation in this setting is $\{S,S\}=0$ for the Kontsevich bracket, and it is slightly stronger than the naive condition that the action be gauge-invariant (Proposition 3.22). The quantum master equation is defined scale-by-scale using the heat kernel, and the main theorem (Theorem 5.16) establishes the formula $$(Q - d_{DR} + \Delta_L)W(I,P(\varepsilon,L)) + \tfrac{1}{2}\{W(I,P(\varepsilon,L)), W(I,P(\varepsilon,L))\}_L = \sum_{(\Gamma,v)} \frac{\$gamma^{{g(\Gamma)}}$\$nu^{{b(\Gamma)}}$}{|\operatorname{Aut}(\Gamma,v)|} w_{(\Gamma,v)}\left(I, (Q - d_{DR} + \Delta_\varepsilon)I + \tfrac{1}{2}\{I,I\}_\varepsilon; P(\varepsilon,L)\right),$$ so the renormalization group flow $W(-,P(\varepsilon,L))$ maps solutions of the scale-$\varepsilon$ quantum master equation to solutions at scale $L$. Combined with the companion paper's theorems on local counterterms and on the correspondence between local interactions and pretheories, this yields a definition of noncommutative BV theories. The obstruction to lifting a level-$p$ theory to a level-$(p+1)$ theory is a cohomology class in $\left(F_{p+1}N^{\mathrm{Loc}+}_{\gamma,\nu}/F_{p+2}N^{\mathrm{Loc}+}_{\gamma,\nu}, Q - d_{DR} + \{I^{\mathrm{Tree}}, -\}\right)$, and the simplicial set of theories forms a Kan fibration over gauge-fixing conditions. Finally, the noncommutative Chern-Simons interaction defines a theory modulo constants on a compact flat Riemannian three-manifold, proven by reducing, through the Loday-Quillen-Tsygan vanishing criterion and the large-$N$ correspondence, to Costello's theorem for U(N) Chern-Simons theory.

Load-bearing premise

The paper assumes the companion paper's renormalization theorems, in particular that every local interaction admits a unique series of local counterterms (Theorem 4.39) and that local interactions correspond one-to-one with pretheories (Theorem 4.50), and these theorems are not proved here; if either fails, the definition of a noncommutative theory and the Chern-Simons quantization claim collapse.

Editorial extensions

If this is right

  • A noncommutative BV theory with a nonnegative gauge-fixing operator yields a solution of the quantum master equation on the finite-dimensional cohomology of the fields as $L \to \infty$, and hence classes in a compactification of the moduli space of Riemann surfaces.
  • Quantization obstructions are cohomology classes in the complexes $(F_{p+1}N^{\mathrm{Loc}+}/F_{p+2}N^{\mathrm{Loc}+}, Q - d_{DR} + \{I^{\mathrm{Tree}}, -\})$; a level-$p$ theory lifts to level-$p+1$ exactly when the associated class vanishes.
  • The simplicial set of noncommutative theories is a Kan fibration over the simplicial set of gauge-fixing operators, so any two theories with the same tree-level interaction are homotopy-equivalent across different gauges.
  • A single noncommutative theory packages the full large-$N$ family of U(N) theories: quantizability of the noncommutative theory is equivalent to quantizability of all the U(N) theories, and the powerseries invariants are related by $p_{U(N)}(\hbar) = \hbar^{-1}p_{NC}(\hbar^2, N\hbar)$.
  • The noncommutative Chern-Simons interaction defines a noncommutative theory modulo constants on any compact oriented flat Riemannian three-manifold, without deforming the classical action.

Reading between the lines

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

  • The obstruction complex $(F_{p+1}N^{\mathrm{Loc}+}/F_{p+2}N^{\mathrm{Loc}+}, Q - d_{DR} + \{I^{\mathrm{Tree}}, -\})$ should control quantizability of any local interaction in this framework; a natural first test is a noncommutative Yang-Mills interaction, which the paper notes should exist and generate U(N) Yang-Mills theories.
  • The powerseries invariant $p_{NC}(\gamma,\nu)$ attached to a theory modulo constants is a candidate for a noncommutative analogue of the Chern-Simons partition function; comparing its coefficients at low genus with known U(N) results would test the large-$N$ substitution rule beyond the flat-metric case.
  • Because the large-$L$ limit produces ribbon-graph classes in the compactified moduli space, the flat-metric quantization of the noncommutative Chern-Simons theory should carry a canonical class in the ribbon graph complex; identifying it explicitly would connect the quantization to known combinatorial models of the moduli space.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. This paper develops a Batalin-Vilkovisky (BV) formalism for noncommutative effective field theories, where Feynman diagrams are stable ribbon graphs. The central theorem (Theorem 5.16) states that the renormalization group flow W(-,P(ε,L)) intertwines the scale-ε quantum master equation with the scale-L quantum master equation, up to a sum over ribbon graphs with distinguished vertices. The paper defines noncommutative theories (Definition 6.1), proves a gauge-independence result via obstruction theory (Theorem 6.21), and uses a large N correspondence to show that the noncommutative Chern-Simons interaction defines a theory modulo constants on any compact oriented flat Riemannian three-manifold (Theorem 7.8).

Significance. If the results are correct, the paper provides a noncommutative analogue of Costello's effective BV framework, with a detailed Feynman-diagram proof of the compatibility of the QME with the RG flow, and a structural explanation of large N phenomena via ribbon graphs and the Loday-Quillen-Tsygan theorem. The paper is ambitious and the main theorems are clearly stated. However, the central quantization claim (Theorem 7.8) and the definition of a theory rest crucially on theorems imported from the companion paper [24] (Theorems 4.39, 4.50, 5.19), which are not proved here; this makes independent verification impossible from the present text alone.

major comments (3)
  1. [§4.3, §5.2.4, §7.3] The manuscript relies for its central constructions on Theorem 4.39 (existence and uniqueness of counterterms), Theorem 4.50 (bijection between local interactions and pretheories), and Theorem 5.19 (Loday-Quillen-Tsygan vanishing criterion), all stated without proof and cited to the companion paper [24]. These results enter the definition of the renormalized interaction (Definition 4.49), the definition of a noncommutative theory (Definition 6.1), and the proof of Theorem 7.8. Since these are load-bearing for the quantization claim, the paper as it stands cannot be fully verified in isolation; the author should either prove these statements or provide a precise, self-contained account of the necessary parts of [24].
  2. [§6.4 (proof of Theorem 6.21)] The proof of Theorem 6.21 contains the assertion 'all the face maps d_i defined on the complex (6.6) are quasi-isomorphisms' without proof or reference. This fact is essential for the inductive lifting step that establishes the Kan fibration property. Please provide a proof or a precise citation to a statement that covers this specific claim.
  3. [§5.2.2 (proof of Theorem 5.16)] The proof of Theorem 5.16 uses Theorem 4.21, which is cited as a special case of Theorem 3.24 of [24], and the counting argument leading from equations (5.10)-(5.12) is only sketched. Since Theorem 5.16 is the paper's main technical result, the reader needs at least a self-contained proof of Theorem 4.21 or a detailed statement that can be checked without consulting [24].
minor comments (4)
  1. [§1.4] There are several typographical issues, e.g., 'theC∞-topology' is missing a space, and 'E := Γ( M,E )' has inconsistent spacing.
  2. [Definition 4.35] The map M^A_{γ,ν} is defined using a non-unique representation (4.12); the text says that the OTFT symmetry properties make it well-defined, but no proof or reference is given at that point. Please add a comment or reference.
  3. [§5.2.1] The sign convention in Definition 5.13 (Δ_L = -Δ_{K_L}) should be stated more explicitly in relation to Proposition 5.6, since an inconsistent sign here would affect all subsequent equations.
  4. [§7.3] The statement 'there is no need to deform the tree-level Chern-Simons action' could be made more precise, since Theorem 7.8 only asserts quantization modulo constants.

Circularity Check

2 steps flagged · score 2.0 of 10

No derivation step reduces to its own input by construction; Theorem 5.16 is proved internally via Feynman-graph calculation. Caveat: load-bearing declared self-citation — Theorem 7.8's noncommutative-specific step is Corollary 5.21, deferred to Corollary 5.3 of the author's companion paper [24] (basis Theorem 5.19 = Theorem 5.2 of [24]), and (INC)R exists only via Theorems 4.39 and 4.50 of [24].

  1. self citation load bearing [§7.3.2, proof of Theorem 7.8; §5.2.4, Corollary 5.21 and Theorem 5.19]
    "We need only show that the interactions (INC)R[L] ∈ Nγ,ν(ENC) satisfy the scale L quantum master equation modulo constants. This follows from the large N correspondence determined by Equation (7.1), as a simple corollary of Theorem 7.7 and Corollary 5.21. ... This follows in a similar manner from Corollary 5.3 of [24]."

    Theorem 7.8 is the paper's central application, yet its noncommutative-specific step is the equivalence 'QME modulo constants for I^NC iff QME modulo constants for every N ≥ 1 matrix theory', which is exactly Corollary 5.21. Corollary 5.21 is not proved here: the paper states 'This follows in a similar manner from Corollary 5.3 of [24]', and its foundation, Theorem 5.19, is only restated as 'Theorem 5.2 of [24]' with no proof or machine check. The quantization claim therefore reduces, at its decisive step, to a chain of results in the author's own companion paper; if Theorem 5.2 of [24] fails, Theorem 7.8 has no foundation.

  2. self citation load bearing [§4.3, Definition 4.49, Theorems 4.39 and 4.50]
    "Given a local interaction I ∈ N LocInt γ,ν (E, A), we define a renormalized interaction I R[L] := lim ε→0 W ( I −I CT(ε),P (ε,L ) ) , L> 0. The following is Theorem 4.35 of [24]. ... (1) There is a one-to-one correspondence between local interactions and pretheories; N LocInt γ,ν (E, A) − →NCPreThy (E, A), I ↦→I R."

    The renormalized interaction (INC)R[L] whose (modulo-constant) QME property Theorem 7.8 asserts is defined in Definition 4.49 via the counterterm series ICT — existence and uniqueness being Theorem 4.39 — and via the map I ↦→ IR whose bijection with pretheories is Theorem 4.50 ('The following is Theorem 4.35 of [24]'); neither is proved in this paper. Hence the statement of Theorem 7.8, and Section 6.3's obstruction theory (which uses Theorem 4.50 to identify pretheories with local interactions), presuppose companion-paper theorems unverified here; if Theorem 4.39 or 4.50 fails, '(INC)R' is not even defined.

full rationale

The internal derivation chain is sound: the scale-L quantum master equation (5.5) is defined independently from the heat kernel via Δ_L and {,}_L (Definition 5.13), while the renormalization group flow (4.13) is defined from stable ribbon graph weights. Theorem 5.16, the paper's principal new theorem, is then proved in full by a Feynman-graph computation — combining the Leibniz rule for (Q−d_DR), Proposition 5.11 for Δ_L, Proposition 5.12 for the bracket, Lemma 2.13 for the propagator identity, and Theorem 4.21 for the category equivalence — so the conclusion that the flow carries scale-ε QME solutions to scale-L solutions is derived, not assumed. Proposition 5.18 and the obstruction theory of Section 6.3 likewise follow from Theorem 5.16, Theorem 4.50, and standard dgla arguments; Theorem 6.20's lift criterion does not presuppose its own conclusion. No fitted-input-called-prediction, ansatz-smuggling, or renaming-known-result pattern occurs: nothing is fitted to data, and the noncommutative flow genuinely differs from the commutative one (ribbon graphs versus ordinary graphs). The only circularity-adjacent feature is self-citation that is formally load-bearing for the application. Theorem 7.8 reduces at its noncommutative-specific step to Corollary 5.21, whose proof is deferred to Corollary 5.3 of [24] and whose basis, Theorem 5.19, is restated as Theorem 5.2 of [24]; likewise the object (INC)R exists only by Theorems 4.39 and 4.50 from [24]. If those companion theorems fail, Theorem 7.8 loses its foundation. However, these are parameter-free theorems with stated assumptions that do not include the target result, so per the review rules they count as real evidence rather than circularity; the paper openly declares the dependency ('recall the significant body of material that we will need from [24]'). The unproved face-map quasi-isomorphism assertion inside the proof of Theorem 6.21 is a completeness gap, not a circular step. On balance the paper merits a low score: no step of the derivation is equivalent to its own input by construction, and the central content is independently anchored by Costello's external Theorem 7.7 and by the internally proved Theorem 5.16, so the finding is minor self-citation, not substantial circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No parameters are fitted to data. The formal variables ℏ, γ, ν, and ζ are bookkeeping devices, not free parameters. The paper's deductions rest on standard functional analysis and heat kernel theory, on Costello's external theorems, and on a substantial body of results from the author's companion paper [24], which are taken as axioms here.

assumptions (6)
  • ad hoc to paper Existence and uniqueness of local counterterms and the bijection between local interactions and pretheories in the noncommutative framework (Theorem 4.39, Theorem 4.50).
    Proved in the author's companion paper [24], not in this paper; invoked in Definition 4.49, Proposition 6.18, and Theorem 7.8.
  • ad hoc to paper The renormalization group flow satisfies W(I,P1+P2) = W(W(I,P1),P2) and is compatible with the maps σ_{γ,ν} and M^A_{γ,ν} (Theorems 4.26, 4.31, 4.36).
    Taken from [24] and used in the proof of Theorem 5.16 and in Section 7.
  • ad hoc to paper The Loday-Quillen-Tsygan vanishing criteria: a functional I in N_{γ,ν}(E) vanishes iff σ_{γ,ν} M^{M_N(K)}_{γ,ν}(I) = 0 for all N >= 1 (Theorem 5.19, Theorem 5.2 of [24]).
    Used to deduce Theorem 7.8 from U(N) Chern-Simons quantization via Corollary 5.21.
  • domain assumption Costello's theorem that U(N) Chern-Simons theory on a compact oriented flat Riemannian three-manifold defines a theory modulo constants (Theorem 15.1.3 of [11], quoted as Theorem 7.7).
    External deep result, not proven in this paper, used as the input for Theorem 7.8.
  • standard math Standard spectral and heat-kernel results: existence and properties of the heat kernel for a generalized Laplacian on a compact manifold, and Hodge decomposition for nonnegative gauge-fixing operators (Section 6.2.2, from [6]).
    Needed for the definition of propagators and for the large-L limit in Theorem 6.11.
  • standard math Functional-analytic facts about nuclear Frechet spaces (Appendix A, from [46]): reflexivity, dual and tensor properties, and Lemma A.3 about strong convergence from weak convergence.
    Used throughout to justify completed tensor products and limits in the renormalization group flow.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Batalin-Vilkovisky formalism in noncommutative effective field theory." pith.science (2026). https://pith.science/paper/E367HGH5

@misc{pith2026250515938,
  author       = {Pith},
  title        = {Pith review of: The Batalin-Vilkovisky formalism in noncommutative effective field theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E367HGH5}},
  note         = {Machine review of arXiv:2505.15938}
}
abstract

We address the treatment of gauge theories within the framework that is formed from combining the machinery of noncommutative symplectic geometry, as introduced by Kontsevich, with Costello's approach to effective gauge field theories within the Batalin-Vilkovisky formalism; discussing the problem of quantization in this context, and identifying the relevant cohomology theory controlling this process. We explain how the resulting noncommutative effective gauge field theories produce classes in a compactification of the moduli space of Riemann surfaces, when we pass to the large length scale limit. Within this setting, the large $N$ correspondence of 't Hooft -- describing a connection between open string theories and gauge theories -- appears as a relation between the noncommutative and commutative geometries. We use this correspondence to investigate and ultimately quantize a noncommutative analogue of Chern-Simons theory.

Figures

Figures reproduced from arXiv: 2505.15938 by the authors.

Figure 1
Figure 1. A correspondence defining an equivalence of categories. Theorem 4.21. The category of connected stable ribbon graphs with a distinguished edge and the category defined by Definition 4.20 are equivalent under the correspondence (Γ, e) 7→ ((Γ/e, v), ι, G(e)). Proof. This is a special instance of Theorem 3.24 of [24]. The two categories above are subcategories of the categories covered by the cited theorem that corresp… view at source ↗
Figure 2
Figure 2. Contracting loops in a ribbon graph defines the cobracket on H (E, A). A similar story applies to the Lie bracket on Nγ,ν (E, A). Suppose that G1 and G2 are two corollas and take half-edges h1 and h2 from G1 and G2 respectively. By contracting the edge e := {h1, h2}, we may form the corolla (G1 ⊔ G2)/e. Given φ1 ∈ HomK(E((G1)), A) and φ2 ∈ HomK(E((G2)), A), we will denote by (φ1 ⊗φ2)[K(e)] the map defined by the fol… view at source ↗
Figure 3
Figure 3. Contracting edges in a ribbon graph defines the bracket on H (E, A). 5.2. Quantum master equation. Having constructed our differential graded Lie alge￾bra from the noncommutative geometry introduced by Kontsevich in [30], we are ready now to introduce the quantum master equation. Following [12], this must be described by an equation at every length scale. We will discover, as in [12], that the renormaliza￾tion group… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 48 canonical work pages

  1. [24]

    Noncommutative effective field theories and the large $N$ correspondence

    A. Hamilton, Noncommutative effective field theories and the large N correspondence. arXiv:2505.13678

    work page Pith review arXiv

  2. [1]

    Aharony, S

    O. Aharony, S. Gubser, J. Maldacena, H. Ooguri, Y. Oz; Large N field theories, string theory and gravity. Phys. Rep. 323 (2000), no.3-4, 183–386

    work page 2000

  3. [2]

    Atiyah, Topological quantum field theories

    M. Atiyah, Topological quantum field theories. Inst. Hautes ´Etudes Sci. Publ. Math. (1988), no.68, 175–186

    work page 1988

  4. [3]

    Auckly, S

    D. Auckly, S. Koshkin; Introduction to the Gopakumar-Vafa large N duality. The interaction of finite-type and Gromov-Witten invariants (BIRS 2003), 195–45 6. Geom. Topol. Monogr., 8 Geometry & Topology Publications, Coventry, 2006

    work page 2003

  5. [4]

    Barannikov, Modular operads and Batalin-Vilkovisky geometry

    S. Barannikov, Modular operads and Batalin-Vilkovisky geometry. Int Math Res Notices (2007) Vol. 2007, article ID rnm075. 69

    work page 2007

  6. [5]

    Batalin, G

    I. Batalin, G. Vilkovisky; Gauge algebra and quantization. Phys. Lett. B 102 (1981), no. 1, 27–31

    work page 1981

  7. [6]

    Berline, E

    N. Berline, E. Getzler, M. Vergne; Heat kernels and Dirac operators. Grundlehren Text Ed., Springer-Verlag, Berlin, 2004

    work page 2004

  8. [7]

    Brini, On the Gopakumar-Ooguri-Vafa correspondence for Clifford- Klein 3-manifolds

    A. Brini, On the Gopakumar-Ooguri-Vafa correspondence for Clifford- Klein 3-manifolds. Topo- logical recursion and its influence in analysis, geometry, and topolog y, 59–81. Proc. Sympos. Pure Math., 100, American Mathematical Society, Providence, RI, 2018

    work page 2018

Show all 51 references
  1. [8]

    Chuang, A

    J. Chuang, A. Lazarev; Dual Feynman transform for modular operads. Commun. Number Theory Phys. 1 (2007), no.4, 605–649

    2007

  2. [9]

    Cieliebak, E

    K. Cieliebak, E. Volkov; Chern-Simons theory and string topology. arXiv:2312.05922

    arXiv

  3. [10]

    Costello, Topological conformal field theories and gauge theories

    K. Costello, Topological conformal field theories and gauge theories. Geom. Topol. 11 (2007), 1539–1579

    2007

  4. [11]

    Costello, Renormalisation and the Batalin-Vilkovisky formalism

    K. Costello, Renormalisation and the Batalin-Vilkovisky formalism. arXiv:0706.1533

    arXiv

  5. [12]

    Costello, Renormalization and effective field theory

    K. Costello, Renormalization and effective field theory. Math. Surveys Monogr. 170, American Mathematical Society, Providence, RI, 2011

    2011

  6. [13]

    Gerstenhaber, The cohomology structure of an associative ring

    M. Gerstenhaber, The cohomology structure of an associative ring. Ann. of Math. (2) Vol. 78, No. 2, 1963, pp. 267–288

    1963

  7. [14]

    Gerstenhaber, On the deformation of rings and algebras

    M. Gerstenhaber, On the deformation of rings and algebras. Ann. of Math. (2) 79 (1964), 59–103

    1964

  8. [15]

    Getzler, J

    E. Getzler, J. Jones; A∞ -algebras and the cyclic bar complex. Illinois J. Math. 34 (1990), no. 2, 256–283

    1990

  9. [16]

    Getzler, M

    E. Getzler, M. Kapranov; Modular operads. Compositio Math. 110 (1998), no.1, 65–126

    1998

  10. [17]

    Ginot, O

    G. Ginot, O. Gwilliam, A. Hamilton, M. Zeinalian; Large N phenomena and quantization of the Loday-Quillen-Tsygan theorem. Adv. Math. 409 (2022)

    2022

  11. [18]

    Ginzburg, Non-commutative symplectic geometry, quiver varieties, a nd operads

    V. Ginzburg, Non-commutative symplectic geometry, quiver varieties, a nd operads. Math. Res. Lett. 8 (2001), no. 3, 377–400

    2001

  12. [19]

    Gopakumar, C

    R. Gopakumar, C. Vafa; On the gauge theory/geometry correspondence. Adv. Theor. Math. Phys. 3 (1999), no.5, 1415–1443

    1999

  13. [20]

    Hamilton, A

    A. Hamilton, A. Lazarev; Homotopy algebras and noncommutative geometry. arXiv:math/0410621

    arXiv

  14. [21]

    Hamilton, Noncommutative geometry and compactifications of the modul i space of curves

    A. Hamilton, Noncommutative geometry and compactifications of the modul i space of curves. J. Noncommut. Geom. 4 (2010), no. 2, 157–188

    2010

  15. [22]

    Hamilton; Classes on compactifications of the moduli space of curves th rough solutions to the quantum master equation

    A. Hamilton; Classes on compactifications of the moduli space of curves th rough solutions to the quantum master equation. Lett. Math. Phys. 89 (2009), no. 2, 115–130

    2009

  16. [23]

    Hamilton, Classes on the moduli space of Riemann surfaces through a non commutative Batalin-Vilkovisky formalism

    A. Hamilton, Classes on the moduli space of Riemann surfaces through a non commutative Batalin-Vilkovisky formalism. Adv. Math. 243 (2013), 67–101

    2013

  17. [25]

    Harer, The virtual cohomological dimension of the mapping class gr oup of an orientable surface

    J. Harer, The virtual cohomological dimension of the mapping class gr oup of an orientable surface. Invent. Math. 84 (1986), no. 1, 157–176

    1986

  18. [26]

    Kadanoff, Scaling laws for ising models near Tc

    L. Kadanoff, Scaling laws for ising models near Tc. Phys. Phys. Fiz. 2 (1966), no. 6, 263–272

    1966

  19. [27]

    Kajiura, Noncommutative homotopy algebras associated with open str ings

    H. Kajiura, Noncommutative homotopy algebras associated with open str ings. Rev. Math. Phys. 19 (2007), no. 1, 1–99

    2007

  20. [28]

    Kontsevich, Intersection theory on the moduli space of curves and the mat rix Airy function

    M. Kontsevich, Intersection theory on the moduli space of curves and the mat rix Airy function. Comm. Math. Phys. 147 (1992), no. 1, 1–23

    1992

  21. [29]

    Kontsevich, Vassiliev’s knot invariants

    M. Kontsevich, Vassiliev’s knot invariants. I. M. Gelfand Seminar, 137–150. Adv. Soviet Math., 16, Part 2, American Mathematical Society, Providence, RI, 1993

    1993

  22. [30]

    Kontsevich, Formal noncommutative symplectic geometry

    M. Kontsevich, Formal noncommutative symplectic geometry. The Gelfand Mathematical Sem- inars, 1990-1992, pp. 173–187, Birkh¨ auser Boston, Boston, M A, 1993

    1990

  23. [31]

    Kontsevich, Feynman Diagrams and Low-Dimensional Topology

    M. Kontsevich, Feynman Diagrams and Low-Dimensional Topology. First European Congress of Mathematics, Vol. 2 (Paris, 1992), pp. 97–121, Progr. Math., V ol. 120, Birkh¨ auser Basel, 1994

    1992

  24. [32]

    Loday, D

    J-L. Loday, D. Quillen; Cyclic homology and the Lie algebra homology of matrices. Comment. Math. Helv. 59, 565–591 (1984)

    1984

  25. [33]

    Looijenga, Cellular decompositions of compactified moduli spaces of po inted curves

    E. Looijenga, Cellular decompositions of compactified moduli spaces of po inted curves. The moduli space of curves (Texel Island, 1994), 369–400, Progr. M ath., 129, Birkh¨ auser Boston, Boston, MA, 1995. 70

    1994

  26. [34]

    Markl, S

    M. Markl, S. Shnider, J. Stasheff; Operads in algebra, topology and physics. Mathematical Surveys and Monographs, 96. American Mathematical Society, Pr ovidence, RI, 2002

    2002

  27. [35]

    May, Simplicial objects in algebraic topology

    P. May, Simplicial objects in algebraic topology. Chicago Lectures in Math. University of Chicago Press, Chicago, IL, 1992

    1992

  28. [36]

    Mondello, Combinatorial classes on Mg,n are tautological

    G. Mondello, Combinatorial classes on Mg,n are tautological. Int. Math. Res. Not. 2004, no. 44, 2329–2390

    2004

  29. [37]

    Movshev, Fukaya category with curves of higher genus

    M. Movshev, Fukaya category with curves of higher genus. arXiv:math.SG/9911123

  30. [38]

    Nijenhuis, R

    A. Nijenhuis, R. Richardson; Cohomology and deformations in graded Lie algebras. Bull. Amer. Math. Soc. 72 (1966), 1–29

    1966

  31. [39]

    R. C. Penner, The decorated Teichm¨ uller space of punctured surfaces.Comm. Math. Phys. 113 (1987), no. 2, 299–339

    1987

  32. [40]

    Polchinski, Renormalization and effective lagrangians

    J. Polchinski, Renormalization and effective lagrangians. Nuclear Physics B, Volume 231, Issue 2, 1984, 269–295

    1984

  33. [41]

    Schwarz, Geometry of Batalin-Vilkovisky quantization

    A. Schwarz, Geometry of Batalin-Vilkovisky quantization. Comm. Math. Phys. 155 (1993), no. 2, 249–260

    1993

  34. [42]

    Sheikh-Jabbari, A note on noncommutative Chern-Simons theories

    M. Sheikh-Jabbari, A note on noncommutative Chern-Simons theories. Phys. Lett. B 510 (2001), no. 1-4, 247–254

    2001

  35. [43]

    Stasheff, The intrinsic Bracket on the Deformation Complex of an Assoc iative Algebra

    J. Stasheff, The intrinsic Bracket on the Deformation Complex of an Assoc iative Algebra. J. Pure Appl. Algebra Vol. 89, 1993, No. 1–2, pp. 231–235

    1993

  36. [44]

    Susskind, The quantum Hall fluid and non-commutative Chern Simons theo ry

    L. Susskind, The quantum Hall fluid and non-commutative Chern Simons theo ry. hep-th/0101029, 2001

    2001 arXiv

  37. [45]

    ’t Hooft, A planar diagram theory for strong interactions

    G. ’t Hooft, A planar diagram theory for strong interactions. Nuclear Phys. B, Volume 72, Issue 3, 1974, 461–473

    1974

  38. [46]

    Tr` eves, Topological vector spaces, distributions and kernels

    F. Tr` eves, Topological vector spaces, distributions and kernels. Dover Publications, Inc., Mine- ola, NY, 2006

    2006

  39. [47]

    Tsygan, Homology of matrix Lie algebras over rings and the Hochschil d homology

    B. Tsygan, Homology of matrix Lie algebras over rings and the Hochschil d homology. Uspekhi Mat. Nauk 38 (1983), no. 2(230), 217–218

    1983

  40. [48]

    Wilson, Renormalization group and critical phenomena, I

    K. Wilson, Renormalization group and critical phenomena, I. Physical Review B 4 (1971), no. 9, 3174–3183

    1971

  41. [49]

    Wilson, Renormalization of a scalar field theory in strong coupling

    K. Wilson, Renormalization of a scalar field theory in strong coupling. Physical Review D 6 (1972), no. 2, 419–426

    1972

  42. [50]

    Witten, Chern-Simons gauge theory as a string theory

    E. Witten, Chern-Simons gauge theory as a string theory. The Floer memorial volume, 637–678. Progr. Math., 133 Birkh¨ auser Verlag, Basel, 1995

    1995

  43. [51]

    Zwiebach, Closed string field theory: quantum action and the Batalin-V ilkovisky master equation

    B. Zwiebach, Closed string field theory: quantum action and the Batalin-V ilkovisky master equation. Nuclear Phys. B 390 (1993), no. 1, 33–152. Department of Mathematics and Statistics, Texas Tech Unive rsity, Lubbock, TX 79409-1042. USA. Email address : alastair.hamilton@ttu.edu 71

    1993

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.