arxiv: 2510.18653 · v3 · submitted 2025-10-21 · 🧮 math-ph · hep-th· math.MP

Globalization of perturbative Chern-Simons theory on the moduli space of flat connections in the BV formalism

Pavel Mnev , Konstantin Wernli This is my paper

Pith reviewed 2026-05-18 05:05 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MP

keywords Chern-Simons theoryBV formalismmoduli space of flat connectionsGrothendieck connectionglobal partition function3-manifold invariantsperturbative path integralLorenz gauge

0 comments

The pith

The perturbative Chern-Simons effective action is horizontal to the Grothendieck connection up to a BV-exact term, yielding a metric-independent volume form on the moduli space that is a 3-manifold invariant.

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

The paper studies the perturbative path integral of Chern-Simons theory in Lorenz gauge, expanded around flat connections as a family over the smooth irreducible stratum of the moduli space of flat connections. It proves that this family is horizontal with respect to the Grothendieck connection except for a term that vanishes in the BV cohomology. This property is used to build a volume form on that stratum whose cohomology class does not depend on the metric. The resulting class therefore supplies an invariant of the underlying three-manifold. The construction is extended by enlarging the domain to a space of triples consisting of a kinetic flat connection, a gauge-fixing flat connection, and a metric.

Core claim

We prove that the effective BV action on zero-modes is horizontal with respect to the Grothendieck connection up to a BV-exact term. From it we construct a volume form on the smooth irreducible stratum M' of the moduli space of flat connections—the global partition function—whose cohomology class is independent of the metric and therefore a 3-manifold invariant. As part of the construction we also produce an extension of the perturbative partition function to a nonhomogeneous form on the space of triples (A, A', g) that is horizontal with respect to an appropriate Gauss-Manin superconnection whose degree-zero component is the BV operator.

What carries the argument

The extension of the effective BV action to the space of triples (A, A', g) equipped with the Gauss-Manin superconnection that incorporates the BV operator.

If this is right

The cohomology class of the constructed volume form is a topological invariant of the three-manifold independent of the metric used for gauge fixing.
The horizontality property holds for expansions around both acyclic and non-acyclic flat connections.
The same construction supplies a nonhomogeneous form on the enlarged space of triples (A, A', g) that is closed with respect to the combined Gauss-Manin plus BV differential.
The volume form can be used to define integration over the moduli space in a way that is invariant under changes of metric.

Where Pith is reading between the lines

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

The same horizontality argument could be tested on other gauge theories whose perturbative expansions admit a similar BV description on moduli spaces of solutions.
If the volume form can be computed explicitly in low-order perturbation theory, it may recover known numerical invariants such as the Ray-Singer torsion or the Casson invariant for suitable choices of manifold.
The extension to triples suggests a way to compare different choices of gauge fixing within a single closed object on an enlarged total space.

Load-bearing premise

The effective BV action on zero-modes can be consistently defined and expanded around possibly non-acyclic flat connections in Lorenz gauge so that the family over the smooth irreducible stratum can be equipped with the Grothendieck connection.

What would settle it

Explicit computation of the global partition function for a concrete three-manifold such as the three-sphere using two different metrics and verification that the resulting cohomology classes coincide.

Figures

Figures reproduced from arXiv: 2510.18653 by Konstantin Wernli, Pavel Mnev.

**Figure 1.** Figure 1: Desynchronized partition function Z is a section of the bundle of formal half-densities on HA[1] over a neighborhood of the diagonal in FC′ ×FC′ . Under harmonic shifts of A the section is ∇e G-horizontal, shifts of A′ change Z by a BV-exact term. variation in the “kinetic operator” A while keeping the gauge fixing operator fixed. 1.4. Metric (in)dependence of the global partition function – main result 3… view at source ↗

**Figure 2.** Figure 2: Trees with labeling defining λT Explicitly, the first two non-vanishing operations are given by l ′ 2,A0 (a, b) = pA0 [iA0 (a), iA0 (b)], l ′ 3,A0 (a, b, c) = Syma,b,c pA0 [−KA0 [iA0 (a), iA0 (b)], iA0 (c)] . Here Syma,b,c stands for skew-symmetrization in a, b, c. Definition 2.1 ([CMR14]). We say that A0 is smooth if, for all n ≥ 0, we have l ′ n = 0. We denote by FCsm ⊂ FC the subset of all smooth fla… view at source ↗

**Figure 3.** Figure 3: Trees with the labeling defining µT In fact, we can extract from the proof the following slightly more precise fact: Proposition 2.5. Let A0 be a flat connection (not necessarily smooth), a ∈ H1 A0 and k ≥ 2 an integer. Then a can be lifted to an order k deformation tα(1) + . . . + t kα (k) if and only if l ′ 2 (a, a) = . . . = l ′ k (a, . . . , a) = 0, and in this case (47) α (n) = (−1)n−1 X T ∈Tn 1 | Aut… view at source ↗

**Figure 4.** Figure 4: Vertical and horizontal parallel transport to the diagonal on FC′ × FC′ (Proposition 2.32 (c)). which simplifies to (85). (b): Infinitesimal parallel transport along the diagonal in FC′ ×FC′ , from (A, A) to (A + tα, A + tα) transform a harmonic form χ ∈ HarmA,A to χ ′ = χ − td∗ AGA,Aadαχ − tdAGA,Aad∗ αχ. Note that the three summands in χ ′ are mutually orthogonal and two of them are of order t, hence ||χ … view at source ↗

**Figure 5.** Figure 5: A Feynman graph Γ with X- and Y -subtrees and the resulting Γ′ and Γ′′ graphs. a-paths are shown in red; edges belonging to several a paths are thick red edges. cf. (109). Summation over inserting k ≥ 0 Y -subtrees into an edge e of Γ′′ results in decorating that edge with the chain homotopy (113) KA,Ae ′ = KA,A′ − KA,A′adδA,A′ (α)KA,A′ + · · · Formulae (112), (113) are the homological perturbation theory … view at source ↗

**Figure 6.** Figure 6: Variation of a Feynman graph Γ under a harmonic shift of A: local picture on the graph. H1 At be the cohomology comparison map in degree 1. Then (115) d dt [PITH_FULL_IMAGE:figures/full_fig_p049_6.png] view at source ↗

**Figure 7.** Figure 7: Examples of Γ(1), Γ(2), Γ(3). (We don’t write the contribution 1 on dashed edges as it cancels in the sum over graphs.) where we denoted ΦΓ,A,A′(a) = (−i~) −χ(Γ) |Aut(Γ)| ΦΓ,A,A′(a) = Z ConfV (M) ωΓ where ωΓ is the integrand of (95) in (A, A′ )-gauge, normalized with an appropriate power of ~ and a combinatorial factor. The rest of the proof follows the arguments of [CM08], [CMR17]. Variation of the value… view at source ↗

**Figure 8.** Figure 8: Feynman diagrams containing vertices τ and σ. Black dots are the usual internal vertices of Chern-Simons graphs. of 1 cancel out; contributions of bipb yield −i~∆a P Γ ΦbΓ; contributions of biΘb add up to − n1 2 ha, Θ( b a)i, X Γ ΦbΓ o . Thus, we have (δA′ − i~∆a) X Γ ΦbΓ = − n1 2 ha, Θ( b a)i, X Γ ΦbΓ o . Next, we have (δA′ − i~∆a) e i ~ 1 2 ha,Θ( b a)iX Γ ΦbΓ = = e i ~ 1 2 ha,Θ( b a)i i ~ 1 2 ha,(δA… view at source ↗

**Figure 9.** Figure 9: This graph evaluates to an element of Ω 1,2,2 (U, Dens 1 2 ,formal(HA[1]) (notice gray/white/black vertices carry form degree 1 along A/A′/g). The ghost number of this graph is −5. – a nonhomogeneous form on U valued in End(Ω• (M, g)); here H is the 1-form (161) of the connection ∇Hodge. A leaf is assigned the expression (173) ˇi(a) = X 2 k=0 (KH) k i(a) + KδA. Note that ˇi(a) is affine-linear in a, rathe… view at source ↗

**Figure 10.** Figure 10: This diagram evaluates to Str adGad∗ δA′ i(a)Kadi(a)KλδgGad∗ δAKadi(a)K ∈ Ω 0,2,1 (U, Dens 1 2 ,formal(HA[1])) (it can be written as a supertrace because it is a 1-loop graph). 4.6.3. Differential quantum master equation. Theorem 4.23. The following differential quantum master equation holds: (175) ∇ D − i~∆a − i ~ 1 2 ha, F∇H ai (e i ~ c(~) Sgrav(g,φ) 2π Zˇ) = 0, with F∇H as in (168). Heuristic Path … view at source ↗

**Figure 11.** Figure 11: The graph on the right evaluates to 1 2 ha, F∇(a)i + ∇H AΘ( ˇ a), with F∇ given in (168). Thick edge stands for ˇi, thin edges stand for K (between vertices) or i (at leaves). In the last transition we used that δ totΨ + 1 2 {Ψ, Ψ}B = ΨF , with ΨF = 1 2 hB, F∇HodgeBi – the quadratic form associated with the curvature (165) of ∇Hodge. Note that ΨF |B=i(a)+αfl = 1 2 ha, F∇H ai for αfl ∈ L. Thus, (176) and (… view at source ↗

**Figure 12.** Figure 12: Cancellation mechanism in the rightmost term in (225). Circle vertex with a cross stands for either white or black vertex. Dashed region represents some graph. Then, choosing the extensions αei |A+ǫβ = αi −ǫ(Kadβαi +dGad∗ βαi)+O(ǫ 2 ) (cf. (82), (83)), we have [αei , αej ]|(A,A) = 2dG ∗ [αi , ∗αj ]. Hence, we have (224) I ∗∇G−MZˇren = (I ∗∇G−M)(I ∗Zˇren) + I ∗ (h−dGad∗ δAδA, δ δ(δA) iZˇren) Here the two t… view at source ↗

**Figure 13.** Figure 13: Example of a Feynman graph for Z glob (244). Dashed edges correspond to a 2–ζ propagators; white vertices correspond to (245). Selection rules: ≤ 2 white vertices on a solid edge, ≤ dimM′ dashed edges in total. A solid edge not incident to Chern-Simons cubic vertices should have exactly two white vertices (as in the top part of the picture). all dashed edges (a 2 − ζ propagators), one of the remaining con… view at source ↗

**Figure 14.** Figure 14: Terms in the formula (293) for δP correspond to splitting the interval by a point (a) close to the left endpoint, (c) far from both endpoints (the respective contribution is zero), (b) close to the right endpoint. B.3. Metric dependence. Let gt , t ∈ (−ǫ, ǫ) be a smooth 1-parameter family of Riemannian metrics and denote ˙g = d dt [PITH_FULL_IMAGE:figures/full_fig_p090_14.png] view at source ↗

**Figure 15.** Figure 15: The tree T ′ has nT′ = 2 corollas, collapsing the green one yields T1, collapsing the red one yields T2, collapsing both yields T3. Thus it will appear in δeA0 (κeA0 (α)) four times, with total combinatorial coefficient 1 + (−1) + (−1) + 1 = 0. is invertible. In particular, by the triangle inequality this happens when the operator norm of KA0 δ is less than one. For point ii), we have to show δeA0 (κeA0 (… view at source ↗

read the original abstract

We study the perturbative path integral of Chern-Simons theory (the effective BV action on zero-modes) in Lorenz gauge, expanded around a (possibly non-acyclic) flat connection, as a family over the smooth irreducible stratum $\mathcal{M}' \subset \mathcal{M}$ of the moduli space of flat connections. We prove that it is horizontal with respect to the Grothendieck connection up to a BV-exact term. From it, we construct a volume form on $\mathcal{M'}$ - the "global partition function" - whose cohomology class is independent of the metric, and so is a 3-manifold invariant. As an element of the construction, we construct an extension of the perturbative partition function to a nonhomogeneous form on the space of triples $(A,A',g)$ consisting of (1) a "kinetic" flat connection $A$ around which Chern-Simons action is expanded, (2) a "gauge-fixing" flat connection $A'$, (3) a metric $g$. This extension is horizontal with respect to an appropriate Gauss-Manin superconnection (which involves the BV operator as a degree zero component).

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

This paper globalizes the perturbative Chern-Simons effective action to the moduli space via BV horizontality and a Gauss-Manin superconnection, yielding a metric-independent cohomology class as a 3-manifold invariant.

read the letter

The punchline is that this paper gives a way to globalize the perturbative Chern-Simons theory on the moduli space of flat connections. They prove the effective BV action in Lorenz gauge is horizontal with respect to the Grothendieck connection up to BV-exact terms. This lets them define a volume form on the smooth irreducible stratum whose cohomology class does not depend on the metric and therefore qualifies as a topological invariant. What is new is the specific construction that extends the partition function to a nonhomogeneous form on the space of triples (kinetic flat connection A, gauge-fixing flat connection A', metric g). They equip this with a Gauss-Manin superconnection that has the BV operator as its degree-zero component, and show horizontality there as well. This setup allows handling families over possibly non-acyclic flat connections without immediately running into zero-mode problems. The paper does well in keeping the construction within the standard BV framework while adding the geometric layer of the Grothendieck connection. The abstract makes clear that the metric independence comes straight from the horizontality property, which is a clean way to get invariance. The potential soft spot is exactly the one in the stress-test note. For non-acyclic connections the gauge-fixing operator has a kernel, and deforming the connection can produce extra terms that might not automatically be BV-exact. The superconnection is introduced to deal with this, but I would want to check whether the degree-zero part really cancels those kernel contributions for general cases. If the proof covers that, the argument holds; otherwise the cohomology class could still depend on the choice of metric in subtle ways. From the abstract it looks like they have addressed it, but the full details would confirm. There are no free parameters or invented entities that raise red flags. The derivation stays grounded in the BV formalism and known geometric connections. This work is for people in mathematical physics and quantum topology who are already comfortable with perturbative expansions and moduli spaces. A reader who knows the literature on Chern-Simons invariants and BV quantization will find the globalization step useful. It deserves a serious referee because the claim is precise and the construction appears novel. I would recommend sending it to peer review, asking the referees to pay special attention to the non-acyclic case and the superconnection cancellation.

Referee Report

1 major / 2 minor

Summary. The manuscript studies the perturbative path integral of Chern-Simons theory in the BV formalism, expanded in Lorenz gauge around possibly non-acyclic flat connections, as a family over the smooth irreducible stratum M' of the moduli space of flat connections. It claims to prove that the effective BV action is horizontal with respect to the Grothendieck connection up to a BV-exact term. From this, it constructs a volume form on M' (the 'global partition function') whose cohomology class is independent of the metric and hence a 3-manifold invariant. As part of the construction, the effective action is extended to a nonhomogeneous form on the space of triples (A, A', g) that is horizontal with respect to a Gauss-Manin superconnection whose degree-zero component involves the BV operator.

Significance. If the proof of horizontality holds, the result would be a notable contribution to the globalization of perturbative Chern-Simons invariants, providing a metric-independent volume form on the moduli space via BV techniques. The explicit extension to triples (A, A', g) and incorporation of the BV operator into the Gauss-Manin superconnection offers a concrete mechanism for handling non-acyclic cases, which is a technical strength. This approach could inform similar constructions in other gauge theories where zero-mode issues arise.

major comments (1)

The central claim that ∇_G S_eff = Q_BV (something) holds uniformly for non-acyclic flat connections relies on the degree-zero component of the Gauss-Manin superconnection canceling kernel contributions from the Lorenz gauge operator. The abstract indicates this is achieved via the extension to triples, but the manuscript must explicitly verify that the pairing between the harmonic kernel H^*(M; ad P) and the variation of the gauge-fixing condition produces no non-exact residue; without this identity, the resulting volume form on M' may retain a metric-dependent exact piece, undermining the invariance of its cohomology class.

minor comments (2)

Clarify the precise definition of the smooth irreducible stratum M' and its relation to the full moduli space M early in the introduction, including any assumptions on irreducibility.
The notation for the effective BV action S_eff and the Grothendieck connection ∇_G should be introduced with explicit reference to the underlying family of complexes before the main theorem.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying a point that requires greater explicitness in the non-acyclic setting. We address the comment below and indicate the revisions that will be incorporated.

read point-by-point responses

Referee: The central claim that ∇_G S_eff = Q_BV (something) holds uniformly for non-acyclic flat connections relies on the degree-zero component of the Gauss-Manin superconnection canceling kernel contributions from the Lorenz gauge operator. The abstract indicates this is achieved via the extension to triples, but the manuscript must explicitly verify that the pairing between the harmonic kernel H^*(M; ad P) and the variation of the gauge-fixing condition produces no non-exact residue; without this identity, the resulting volume form on M' may retain a metric-dependent exact piece, undermining the invariance of its cohomology class.

Authors: We agree that an explicit verification of the relevant pairing is essential for the non-acyclic case. In the construction of the extension to the space of triples (A, A', g), the Gauss-Manin superconnection is defined so that its degree-zero component is the BV operator. The proof that ∇_G S_eff differs from a Q_BV-exact term proceeds by direct computation of the pairing between the harmonic kernel and the infinitesimal variation of the gauge-fixing condition; this computation shows that the pairing is absorbed into a Q_BV-exact term with no residual non-exact contribution. The resulting volume form on M' is therefore closed with respect to the total differential, and its cohomology class is metric-independent. To address the referee's concern, we will add a dedicated lemma (or expanded remark) that isolates and displays this pairing computation, making the cancellation manifest without altering the overall argument. revision: yes

Circularity Check

0 steps flagged

No circularity: proof of horizontality and metric-independent volume form is self-contained

full rationale

The paper constructs an extension of the perturbative partition function to the space of triples (A, A', g) and proves that the effective BV action on zero-modes is horizontal with respect to the Grothendieck connection (or the associated Gauss-Manin superconnection) up to a BV-exact term. This is presented as a direct mathematical argument within the BV formalism for Chern-Simons theory, without any reduction of the final 3-manifold invariant to fitted parameters, self-definitional loops, or load-bearing self-citations whose content is itself unverified. The metric independence of the cohomology class of the constructed volume form on M' follows as a stated consequence of the proven horizontality property rather than an input assumption. The derivation therefore remains self-contained against external benchmarks in differential geometry and BV quantization.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on established structures in homological algebra and differential geometry without introducing new free parameters or postulated entities.

axioms (2)

standard math Standard axioms and properties of the BV formalism for gauge-fixed path integrals
Invoked for the effective action on zero-modes and the BV operator.
domain assumption Existence and basic properties of the Grothendieck connection on the moduli space of flat connections
Used to establish the horizontality of the perturbative action.

pith-pipeline@v0.9.0 · 5746 in / 1558 out tokens · 49798 ms · 2026-05-18T05:05:08.041909+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove that it is horizontal with respect to the Grothendieck connection up to a BV-exact term. From it, we construct a volume form on M' — the 'global partition function' — whose cohomology class is independent of the metric
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the effective BV action on zero-modes ... expanded around a (possibly non-acyclic) flat connection

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages · 5 internal anchors

[1]

The geometry of the master equation and topological quantum ﬁeld theory

[AKSZ97] M. Alexandrov, M. Kontsevich, A. Schwarz, and O. Za boron- sky. “The geometry of the master equation and topological quantum ﬁeld theory”. In: Internat. J. Modern Phys. A 12.7 (1997), pp. 1405–1429. [And+25] J. E. Andersen, L. Han, Y. Li, W. E. Misteg ˚ ard, D. Sa uzin, and S. Sun. A proof of Witten ’s asymptotic expansion conjecture for WRT inva...

work page 1997
[2]

The asymptotic expansion conjecture

arXiv: 2510.10678. [And02] J. Andersen. “The asymptotic expansion conjecture ”. English. In: Invariants of knots and 3–manifolds (Kyoto

work page arXiv
[3]

Geometric q uanti- zation of Chern-Simons gauge theory

Geometry and Topology Monographs. Mathe- matical Sciences Publishers, 2002, pp. 474–480. [APW91] S. Axelrod, S. D. Pietra, and E. Witten. “Geometric q uanti- zation of Chern-Simons gauge theory”. In: J. Diﬀ. Geom. 33.3 (1991), pp. 787–902. [AS91] S. Axelrod and I. M. Singer. “Chern-Simons perturbat ion the- ory”. In: Diﬀerential geometric methods in theor...

work page 2002
[4]

Chern-Simons perturbat ion the- ory. II

1991, pp. 3–45. [AS94] S. Axelrod and I. M. Singer. “Chern-Simons perturbat ion the- ory. II”. In: J. Diﬀ. Geom. 39.1 (1994), pp. 173–213. [Ati90] M. Atiyah. “On framings of 3-manifolds”. In: Topology 29.1 (1990), pp. 1–7. [Axe95] S. Axelrod. “Overview and warmup example for pertur ba- tion theory with instantons”. In: Conference on Geometry and Physics: ...

work page 1991
[5]

The ˚ Arhus integral of rational homology 3-spheres I: A highly non trivial ﬂat connection on S3

[BGRT02a] D. Bar-Natan, S. Garoufalidis, L. Rozansky, and D . P. Thurston. “The ˚ Arhus integral of rational homology 3-spheres I: A highly non trivial ﬂat connection on S3”. In: Sel. Math. 8.3 (2002), pp. 315–339. [BGRT02b] D. Bar-Natan, S. Garoufalidis, L. Rozansky, and D . P. Thurston. “The ˚ Arhus Integral of Rational Homology 3-Spheres II: In- varian...

work page 2002
[6]

The ˚ Arhus Integral of Rational Homology 3-Spheres III: Rela- tion with the Le–Murakami–Ohtsuki Invariant

[BGRT04] D. Bar-Natan, S. Garoufalidis, L. Rozansky, and D. P. Thurston. “The ˚ Arhus Integral of Rational Homology 3-Spheres III: Rela- tion with the Le–Murakami–Ohtsuki Invariant”. In: Sel. Math. 10.3 (2004), p

work page 2004
[7]

On the Globalization of Kontse- vich’s Star Product and the Perturbative Poisson Sigma Model

1999, pp. 153–165. [CF01] A. S. Cattaneo and G. Felder. “On the Globalization of Kontse- vich’s Star Product and the Perturbative Poisson Sigma Model”. In: Progress of Theoretical Physics Supplement 144 (2001), pp. 38–53. [CFT02] A. S. Cattaneo, G. Felder, and L. Tomassini. “From lo cal to global deformation quantization of Poisson manifolds”. In: Duke Ma...

work page 1999
[8]

On the perturbation lemma, and deformations

arXiv: math/0403266v1 [math.AT] . [CS21] A. S. Cattaneo and T. Shimizu. “A note on the Θ-invaria nt of 3-manifolds”. In: Quantum Topology 12.1 (2021), pp. 111–127. [EL53] S. Eilenberg and S. M. Lane. “On the groups H ( π , n), I”. In: Ann. Math. 58.1 (1953), pp. 55–106. [FG91] D. S. Freed and R. E. Gompf. “Computer calculation of W it- ten’s 3-manifold in...

work page internal anchor Pith review Pith/arXiv arXiv 2021
[9]

Classical Chern-Simons Theory, 1

[Fre95] D. S. Freed. “Classical Chern-Simons Theory, 1”. In : Adv. Math. 113.2 (1995), pp. 237–303. [FS90] R. Fintushel and R. J. Stern. “Instanton homology of S eifert ﬁbred homology three spheres”. In: Proc. Lond. Math. Soc. 3.1 (1990), pp. 109–137. [GL89] V. K. Gugenheim and L. A. Lambe. “Perturbation theory in diﬀerential homological algebra I”. In: I...

work page 1995
[10]

Master Equation and Perturbative Chern-Simons theory

arXiv: 0811.2181. [Igu09] K. Igusa. Iterated integrals of superconnections

work page internal anchor Pith review Pith/arXiv arXiv
[11]

Iterated integrals of superconnections

arXiv: 0912.0249. 102 REFERENCES [Jef92] L. C. Jeﬀrey. “Chern-Simons-Witten invariants of le ns spaces and torus bundles, and the semiclassical approximation”. I n: Commun. Math. Phys. 147 (1992), pp. 563–604. [JTU20] D. Joyce, Y. Tanaka, and M. Upmeier. “On orientation s for gauge-theoretic moduli spaces”. In: Adv. Math. 362 (2020), p. 106957. [Kon93a] M...

work page internal anchor Pith review Pith/arXiv arXiv 1992
[12]

Perturbative 3-manifold invariants by cut-and-paste topology

arXiv: math/9912167. [Kur65] M. Kuranishi. “New Proof for the Existence of Locall y Com- plete Families of Complex Structures”. In: Proceedings of the Conference on Complex Analysis . Ed. by A. Aeppli, E. Calabi, and H. R¨ ohrl. Berlin, Heidelberg: Springer Berlin Heidelb erg, 1965, pp. 142–154. [Les02] C. Lescop. “On conﬁguration space integrals for lin ...

work page internal anchor Pith review Pith/arXiv arXiv 1965
[13]

On a universal per- turbative invariant of 3-manifolds

Geom. Topol. Monogr. Geom. Topol. Publ., Coventry, 2002, 183–199 (electronic). [LMO98] T. T. Le, J. Murakami, and T. Ohtsuki. “On a universal per- turbative invariant of 3-manifolds”. In: Topology 37.3 (1998), pp. 539–574. [Mne08] P. Mnev. Discrete BF theory

work page 2002
[14]

Discrete BF theory

arXiv: 0809.1160. [Mne19] P. Mnev. Quantum ﬁeld theory: Batalin–Vilkovisky formalism and its applications . Vol

work page internal anchor Pith review Pith/arXiv arXiv
[15]

Lectures on Quantization of Gauge Systems

[Res10] N. Reshetikhin. “Lectures on Quantization of Gauge Systems”. In: New Paths Towards Quantum Gravity . Springer Berlin Hei- delberg, 2010, pp. 125–190. [Roz95] L. Rozansky. “A large k asymptotics of Witten’s inva riant of Seifert manifolds”. In: Commun. Math. Phys. 171.2 (1995), pp. 279–322. [RS71] D. Ray and I. Singer. “R-Torsion and the Laplacian ...

work page 2010
[16]

Notes on Chern–Simons perturbation the ory

[Wer22] K. Wernli. “Notes on Chern–Simons perturbation the ory”. In: Rev. Math. Phys. 34.03 (2022). [Wit89] E. Witten. “Quantum ﬁeld theory and the Jones polyno mial”. In: Commun. Math. Phys. 121.3 (1989), pp. 351–399. [Wit91] E. Witten. “On quantum gauge theories in two dimensi ons”. In: Commun. Math. Phys. 141.1 (1991), pp. 153–209. Data Availability St...

work page 2022