--- title: Perturbatively Local Poisson Sigma-Model url: https://www.emergentmind.com/topics/perturbatively-local-poisson-sigma-model type: topic --- # Perturbatively Local Poisson Sigma-Model Searching arXiv for the cited Poisson sigma-model papers to ground the article. arXiv search: "1110.4850 Poisson sigma model on closed surfaces" A perturbatively local Poisson sigma-model is a two-dimensional AKSZ/BV topological field theory whose perturbative expansion is organized so that the dependence on the target Poisson geometry is expressed locally, either through the jets of the Poisson tensor at a constant map or through local differential polynomials on the worldsheet. In the closed-surface setting, the perturbative construction around vacua uses formal geometry to reduce all target-space data to formal Taylor series at a point \(x_0\in M\), yielding Feynman rules in which propagators live solely on the source surface \(\Sigma\) while vertices are labeled by derivatives of the Poisson tensor \(\partial^k\pi(x_0)\) [1110.4850]. In a later higher-spin realization with an infinite-dimensional target, “perturbatively local” is used more explicitly to mean that the expansion of the Poisson bivector produces only genuine local differential polynomials on \(\Sigma\), with no non-local kernels in worldsheet coordinates [2509.19964]. ## 1. AKSZ formulation and target-space Poisson data The underlying target datum is a smooth manifold \(M\) of dimension \(m\) equipped with a Poisson tensor \[ \pi=\tfrac12\,\pi^{ij}(x)\,\partial_i\wedge\partial_j, \qquad \{\pi,\pi\}_{\rm SN}=0. \] The source is a connected closed oriented surface \(\Sigma\). In AKSZ language the space of fields is \[ \mathrm{Fields}=\mathrm{Map}\bigl(T[1]\Sigma,\;T^*[1]M\bigr), \] whose points are described by superfields \[ X^i\in\Omega^0(\Sigma)[0]\oplus\Omega^1(\Sigma)[-1]\oplus\Omega^2(\Sigma)[-2], \] \[ \eta_i\in\Omega^0(\Sigma)[1]\oplus\Omega^1(\Sigma)[0]\oplus\Omega^2(\Sigma)[-1], \] with the usual total form-plus-ghost grading [1110.4850]. In local coordinates \((x^i,\eta_i)\) on \(T^*[1]M\), the BV action splits into an unperturbed term and a Poisson interaction, \[ S_0[X,\eta]=\int_\Sigma \eta_i\wedge dX^i, \qquad S_\pi[X,\eta]=\tfrac12\int_\Sigma \pi^{ij}(X)\,\eta_i\wedge\eta_j, \] so that \[ S[X,\eta]=S_0+S_\pi. \] This action satisfies the classical master equation \((S,S)=0\), and if \(\Sigma\) has \(\chi(\Sigma)=0\) or if \(\pi\) is unimodular, it also satisfies the quantum master equation [1110.4850]. This AKSZ presentation is the canonical local starting point for the perturbative theory. A central feature is that the nonlinear structure is entirely encoded by the Poisson tensor, so perturbative locality becomes a question of how \(\pi\) is expanded and how the resulting interaction vertices are organized. ## 2. Formal geometry and expansion around constant maps The perturbative analysis on closed surfaces is carried out around a constant map \(X(z)\equiv x_0\in M\). To do so, one chooses an affine connection \(\nabla\) on \(M\) with exponential map \[ \exp_{x_0}:U\subset T_{x_0}M\to M, \qquad \exp_{x_0}(0)=x_0, \qquad (d\,\exp_{x_0})_0=\mathrm{Id}, \] introduces formal fiber coordinates \(y^i\) on \(T_{x_0}M\), and writes \[ X^i(z)=\exp_{x_0}^i\!\bigl(y(z)\bigr). \] The Poisson tensor is then pulled back and Taylor-expanded: \[ \pi^{ij}\!\bigl(\exp_{x_0}(y)\bigr) = \sum_{k=0}^\infty \frac1{k!}\; \partial_{l_1}\cdots\partial_{l_k}\pi^{ij}(x_0)\; y^{l_1}\cdots y^{l_k}. \] All target-space information is thus converted into a formal power series in the fiber variables \(y\) [1110.4850]. The fields are split into zero modes, interpreted as vacua, and fluctuations: \[ X(z)=\exp_{x_0}(y(z)), \qquad \eta(z)=\bigl(d\,\exp_{x_0}(y(z))\bigr)^{-T}\,\xi(z), \] where \(y(z)\) and \(\xi(z)\) vanish on cohomology and \(x_0\) labels the constant map. This produces a perturbation theory in which the local model near each vacuum depends only on the formal neighborhood of \(x_0\) [1110.4850]. This construction is the precise sense in which locality in the target emerges in the closed-surface theory. No non-local feature of \(M\) enters the Feynman rules at a given vacuum: the propagator belongs entirely to \(\Sigma\), while the target contributes only through the jet data of \(\pi\) at \(x_0\). ## 3. Gauge fixing, propagators, and graph expansion A Hodge-type decomposition \[ \Omega^*(\Sigma)=H^*(\Sigma)\oplus dK\oplus Kd \] is chosen with homotopy operator \(K\) satisfying \[ dK+Kd=\mathrm{Id}-P_H, \qquad K^2=0, \qquad P_HK=KP_H=0. \] The integral kernel \(\omega(z,w)\) of \(K\) is the propagator, and in this gauge the only nonzero two-point function is \[ \langle y^i(z)\,\xi_j(w)\rangle = i\hbar\,\delta^i{}_j\,\omega(z,w). \] Interaction vertices come from the Taylor coefficients of the Poisson tensor. The \(k\)-th Taylor term produces a vertex with two \(\xi\)-legs and \(k\) \(y\)-legs, \[ \frac1{2\,k!}\; \bigl(\partial_{l_1}\cdots\partial_{l_k}\pi^{ij}(x_0)\bigr)\; y^{l_1}\cdots y^{l_k}\; \xi_i\,\xi_j. \] Hence each vertex is weighted by derivatives of \(\pi\) evaluated at the vacuum \(x_0\) [1110.4850]. The effective action on vacua \(W(x_0)\) is expressed as a sum over connected oriented graphs \(\Gamma\) with leaves decorated by \(H^*(\Sigma)\), \[ W(x_0)=\sum_\Gamma \hbar^{\ell(\Gamma)} \frac1{|\mathrm{Aut}\,\Gamma|} \int_{C_\Gamma(\Sigma)} \Bigl(\wedge_{e\,{\rm edge}}\omega(\cdots)\Bigr)\, \Bigl(\prod_v \frac1{2\,k_v!}\,\partial^{k_v}\pi^{i_vj_v}(x_0)\Bigr)\, \prod_{\ell\,{\rm leaf}}\alpha_\ell. \] Here \(\ell(\Gamma)=E-V+1\) is the number of loops, \(|\mathrm{Aut}\,\Gamma|\) is the graph automorphism factor, and \(C_\Gamma(\Sigma)\) is the Fulton–MacPherson compactified configuration space of vertices in \(\Sigma\) [1110.4850]. The same pattern reappears in boundary and BV formulations. For Poisson sigma-models on surfaces with boundary, the propagator is constructed as a smooth one-form \(P^{an}(p,q)\in\Omega^1(\overline{\mathrm{Conf}}(2,\Sigma))\) satisfying \[ d\,P^{an}=\Xi, \qquad P^{an}(p,q)\big|_{q\in\partial\Sigma}=0, \qquad P^{an}(p,q)=-P^{an}(q,p), \] and Feynman weights are again configuration-space integrals built from propagators and local multilinear vertices [2004.00774]. This suggests that perturbative locality is compatible with compactified configuration-space technology: locality is retained in the integrands even though amplitudes are organized by global configuration spaces. ## 4. Vanishing theorems, quantum corrections, and the torus partition function A central perturbative result for closed surfaces is the vanishing of quantum corrections in two important situations. First, for \(\Sigma=T^2\) in the axial gauge, every graph with at least one loop or with more than one vertex vanishes. Second, for arbitrary \(\Sigma\), if the Poisson structure is regular, meaning constant rank, and unimodular, one can choose a formal Darboux exponential such that higher vertices vanish by homotopy identities. In both cases all quantum corrections \(W_k(x_0)\) with \(k\ge 1\) vanish, and the full effective action reduces to the tree-level term \[ W_0(x_0)=S_\pi|_{\rm vacua} \] [1110.4850]. On the torus, one must still integrate over the remaining zero modes. In the nondegenerate symplectic unimodular case, after choosing a compatible Kähler polarization, the partition function is shown to satisfy \[ Z_{T^2}(M,\pi) = \int_{H^*(T^2)\times M} e^{\,\tfrac i\hbar W_0}\;{\rm Ber} = \int_M e(\nabla) = \chi(M). \] Thus the torus partition function equals the Euler characteristic of the target manifold in this case [1110.4850]. The same work states that in the case of a Kähler structure or of a trivial Poisson structure, the partition function on the torus is the Euler characteristic of the target, and gives evidence that this may hold more generally [1110.4850]. These results sharply delimit the role of perturbative locality. Locality at the level of vertices and propagators does not automatically imply nontrivial loop corrections; in the torus and regular unimodular settings, the perturbative expansion collapses to the classical sector. A common misconception is that a nontrivial Poisson interaction necessarily yields nontrivial quantum contributions. In the cases above, the homotopy structure and gauge choice eliminate them. ## 5. Differential Poisson algebras and local deformation quantization A distinct but closely related perturbative framework is provided by the two-dimensional topological sigma model whose target carries a differential Poisson algebra on differential forms. The target data are a Poisson bivector \[ \Pi=\tfrac12\,\Pi^{\alpha\beta}(\phi)\,\partial_\alpha\wedge\partial_\beta, \] a connection one-form \(\Gamma^\alpha_{\beta}(\phi)=d\phi^\gamma\,\Gamma^\alpha_{\gamma\beta}\) respecting \(\Pi\), and the de Rham differential \(d\), subject to graded skew-symmetry, graded Leibniz, compatibility with \(d\), and the graded Jacobi identity. In local coordinates, with the choice \(S=0\), the unique covariant bracket is \[ \{\omega,\eta\} = \Pi^{\alpha\beta}\,\nabla_\alpha\omega\wedge\nabla_\beta\eta + (-1)^{\deg\omega}\,\widetilde R^{\alpha\beta}\wedge(i_\alpha\omega)(i_\beta\eta), \] with graded Jacobi equivalent to the conditions \[ \Pi^{\delta[\alpha}\partial_\delta\Pi^{\beta\gamma]}=0, \qquad \Pi^{\rho\sigma}R_{\rho\sigma,}{}^{\alpha\beta}=0, \qquad \nabla_{[\alpha}R_{\beta\gamma]}{}^{\delta\varepsilon}=0 \] [1503.05625]. On a closed two-manifold \(\Sigma\), the worldsheet fields are \(\phi^\alpha\), \(\eta_\alpha\), \(\theta^\alpha\), and \(\chi_\alpha\), and the manifestly target-space covariant Hamiltonian action is \[ S[\phi,\eta,\theta,\chi] = \int_\Sigma \Bigl( \eta_\alpha\wedge d\phi^\alpha +\tfrac12\,\Pi^{\alpha\beta}(\phi)\,\eta_\alpha\wedge\eta_\beta +\chi_\alpha\wedge\nabla\theta^\alpha +\tfrac14\,\widetilde R_{\alpha\beta}{}^{\gamma\delta}(\phi)\,\chi_\gamma\wedge\chi_\delta\,\theta^\alpha\theta^\beta \Bigr). \] After Lorenz-type gauge fixing \(d^*\eta=0\), \(d^*\chi=0\) and expansion around a constant background \(\phi^\alpha\equiv x_0^\alpha\), \(\theta^\alpha=0\), the free action \[ S_2=\int_\Sigma (\eta_\alpha\wedge d\phi^\alpha+\chi_\alpha\wedge d\theta^\alpha) \] yields propagators \[ \langle\phi^\alpha(\sigma)\eta_\beta(\tau)\rangle_0=\hbar\,\delta^\alpha_\beta\,G(\sigma,\tau), \qquad \langle\theta^\alpha(\sigma)\chi_\beta(\tau)\rangle_0=\hbar\,\delta^\alpha_\beta\,G(\sigma,\tau), \] where \(G\) is the scalar Green’s function on \(\Sigma\) [1503.05625]. The path integral is expanded in \(\hbar\) around this Gaussian theory, and each Feynman graph is a worldsheet integral of a product of propagators and local interaction vertices. The work states explicitly that, since both propagators and vertices are supported on small neighborhoods on \(\Sigma\), locality is manifest and preserved order by order in \(\hbar\) [1503.05625]. Boundary insertions of differential-form observables then define a graded star product \[ \omega*\eta=\omega\wedge\eta+\hbar\,C_1(\omega,\eta)+\hbar^2\,C_2(\omega,\eta)+\cdots, \] with \[ C_1(\omega,\eta)=\Pi^{\alpha\beta}\,\nabla_\alpha\omega\wedge\nabla_\beta\eta, \] and a second-order term containing iterated covariant derivatives, \(\partial\Pi\), and \(\widetilde R^{\alpha\beta}\) [1503.05625]. On zero-forms this reduces to the usual Kontsevich star product, while the \(\theta\)-\(\chi\) sector extends the construction to arbitrary form degrees [1503.05625]. ## 6. Boundaries, \(L_\infty\) structures, and higher-spin perturbative locality For surfaces with boundary, the BV master action can be written in terms of a curved \(L_\infty\)-algebra \[ \mathfrak g=\Omega_M\otimes\bigl(T_M[-1]\oplus T_M^*\bigr) \] with multilinear operations \(l_n'\) and pairing \(\langle-,-\rangle_1\), and BV fields \[ \mathcal E=\Omega_\Sigma\widehat\otimes_{\mathbb R}\mathfrak g[1] \cong \bigl(\Omega_\Sigma\otimes\mathfrak h[1]\bigr)\oplus\bigl(\Omega_\Sigma\otimes\mathfrak h^\vee\bigr). \] Writing \(\Phi=X+\eta\), the classical BV action takes the AKSZ/Chern–Simons-type form \[ S^{BV}[X,\eta] = \int_\Sigma \Bigl\langle X+\eta,\; \tfrac12\,d(X+\eta) + \sum_{n\ge 0}\frac{1}{(n+1)!}\,l_n'(X+\eta)^{\otimes n} \Bigr\rangle_1, \] and satisfies the classical master equation \(\{S^{BV},S^{BV}\}_0=0\) [2004.00774]. This framework recovers deformation quantization through boundary observables. For two boundary insertions \(f,g\in C^\infty(M)\), the resulting associative product is \[ f\star g = \sum_{\Gamma\in G(2)} \hbar^{|\Gamma|}\, W_\Gamma\,B_\Gamma(f,g), \] and for the upper half-plane with the standard angular propagator it reduces exactly to Kontsevich’s universal formula [2004.00774]. The same construction yields bulk \(E_2\)-operations, boundary \(E_1\)-operations, and a Swiss–Cheese algebra \((C^*(\mathfrak g),C^*(\mathfrak h))\) of local observables [2004.00774]. The higher-spin realization pushes perturbative locality into an infinite-dimensional target setting. There the classical action is again of Poisson sigma-model form, \[ S[X,A] = \int_\Sigma \Bigl( A_I\wedge dX^I +\tfrac12\,P^{IJ}(X)\,A_I\wedge A_J \Bigr), \] with target coordinates \(X^I\) indexed by generators \(T_I\) of the associative algebra \[ A=\mathrm{Mat}\bigl[\tfrac12\bigr]\otimes\mathrm{Mat}_2 \cong A_1^{\mathrm{even}}\otimes\mathrm{Mat}_2, \] where \(A_1\) is the Weyl algebra generated by \(y_A\) with \([y_A,y_B]_\star=-2\,\epsilon_{AB}\) [2509.19964]. The coordinates arise by expanding a zero-form \(C\) as \[ C(y)=\sum_I X^I\,T_I. \] In this model, \[ P^{IJ}(X) = P^{(1)IJ}{}_K\,X^K +\tfrac12\,P^{(2)IJ}{}_{KL}\,X^KX^L+\cdots, \] with \(P^{(1)IJ}{}_K=f^{IJ}{}_K\) given by the structure constants of the commutator Lie algebra \(\mathfrak g=\mathrm{Lie}(A)\), and the higher tensors obtained from higher \(A_\infty\)-vertices such as \(m_3,m_4,\dots\) [2509.19964]. The paper defines “perturbatively local” by requiring that, in this expansion, all vertices remain integrals of genuine local differential polynomials on \(\Sigma\), with no non-local kernels. The quadratic correction, \[ P^{(2)IJ}(X) = \tfrac12\int_{0