Comparing Poisson Sigma Model with A-model

We discuss the A-model as a gauge fixing of the Poisson Sigma Model with target a symplectic structure. We complete the discussion in [4], where a gauge fixing defined by a compatible complex structure was introduced, by showing how to recover the A-model hierarchy of observables in terms of the AKSZ observables. Moreover, we discuss the off-shell supersymmetry of the A-model as a residual BV symmetry of the gauge fixed PSM action.


JHEP10(2016)133
Let us discuss first observables. Every de Rham cohomology class of the target manifold defines a hierarchy of observables of the A-model, whose mean values compute the Gromov-Witten invariants. In the AKSZ construction, there is a natural class of observables defined starting from cohomology classes of the odd vector field encoding the geometry of the target [10]. In the case of the PSM, this cohomology is the Lichnerowicz-Poisson (LP) cohomology; in the non degenerate case, this is canonically isomorphic to the de Rham cohomology. It is then natural to think that the observables of the PSM should reproduce the hierarchy of observables of the A-model after gauge fixing. We show that this is true but in a non trivial way.
Indeed, for every Poisson structure the contraction with the Poisson tensor defines a map from forms to multivector fields, intertwining de Rham with LP differential. We prove that for observables associated to multivector fields lying in the image of such a map, there is an equivalent form, up to BV operator Q BV and de Rham differential d exact terms, that in the non degenerate case and after gauge fixing reproduces the A-model hierarchy. We call these observables A-model like observables. This fact gives an interpretation of the well known independence of the Gromov-Witten invariants on the choice of the compatible complex structure in terms of independence on the choice of the gauge fixing.
Next, we discuss the residual BV symmetry. This is an odd symmetry of the gauge fixed action, that depends on the choice of a tubular neighbourhood of the gauge fixing Lagrangian. It is not true that a BV observable is closed under the residual symmetry when restricted, yet it is closed modulo equations of motion. Moreover, the residual symmetry squares to zero only on shell. We prove that in the case of the complex gauge fixing of the PSM with symplectic target, under some assumptions, there exists a choice of the tubular neighbourhood such that the residual symmetry squares to zero off shell and reproduces Witten Q supersymmetry with the auxiliary field considered in [14]. In particular, the A-model observables are closed under the residual symmetry.
In [16] it has been discussed an approach to the quantization of symplectic manifolds based on the A-model defined on surfaces with boundary. This is a quantum field theoretic approach to quantization that should be compared to the results of [5] and suggests a non trivial relation between the A-model and the PSM with symplectic target on surfaces with boundary that is worth investigating. This requires a comparison of boundary conditions of the two models that we plan to address in a future paper.

Residual symmetry
In this section we review the general structure of the residual symmetry of the gauge-fixed action in BV theories. This structure is well known (see for example [1,11]), but it is useful to gather here its definition and basic properties in a convenient form for our later computations.
Recall that a classical BV theory consists of the data of a (−1)-symplectic manifold (F, Ω) endowed with a cohomological Hamiltonian vector field Q BV = {S BV , −} with degree 1 , where S BV is the BV action of the theory. Since where ∂ r and ∂ l denote the right and left derivative, respectively. The CME is expressed in these local coordinates as The gauge-fixing is performed by restricting the action to a Lagrangian submanifold L ⊂ F . The idea is that Q BV can be projected to a vector field over L in such a way that the result is a symmetry of the gauge fixed BV action S L := S BV | L . This can be done by choosing a symplectic tubular neighbourhood of the Lagrangian, i.e. a local symplectomorphism F ∼ T * [−1]L restricting to the identity on L . If we denote by ι : L ֒→ F the inclusion map and with π : F → L the projection map, the residual symmetry can be then defined by: More concretely, we can think of this tubular neighbourhood as an atlas of canonical coordinates {x, x † } adapted to L (i.e. L = {x † = 0}) such that the transition functions between (x, x † ) and (y, y † ) are (y = y(x), y † = (∂x/∂y)x † ) so that the projection π(x, x † ) = x is well defined. For every function f on L we have: In particular, it follows that Q π L (S L ) = 0 because of the CME (2.1). The odd version of Weinstein's theorem on the existence of a local symplectomorphism between a neighbourhood of a Lagrangian submanifold and T * [−1]L was proved in [11]. It must be pointed out that such a choice is non canonical and non unique: each symplectomorphism of F into itself which keeps L fixed defines a new symplectic tubular neighbourhood. This ambiguity corresponds to the freedom to combine it with a trivial gauge transformation: Indeed, let's see what happens if we change the tubular neighbourhood by composing the residual symmetry with a canonical transformation that leaves L fixed. Let us consider a fi- Since we want that the new atlas be adapted to L, we have to impose thatx The new residual symmetry Q π F L defined by F is easily found to be:

JHEP10(2016)133
where we used the following relations: We see that the tensor µ ab defined in (2.4) is, in this example: with the correct symmetry properties (remember that |F | = −1). Notice that the variation of the residual symmetry depends only on the quadratic terms of the generating function with respect to the antifields. The residual symmetry squares to zero only on-shell, i.e.
where σ ab is the quadratic term in the antifield expansion of the action: This allows, in particular, to define its on-shell cohomology. In fact, due to the CME, the residual symmetry preserves the space of critical points of S L . We call then on-shell cohomology the cohomology of the restriction of the residual symmetry to the critical points. Since a change of the tubular neighbourhood only modifies the residual symmetry by a trivial transformation, we have that the on-shell cohomology does not depend on the choice of tubular neighbourhood. We denote it as H on (Q BV , L) . The restriction of BV observables to the Lagrangian submanifold gives a map in cohomology H(Q BV , F) → H on (Q BV , L) . (2.10) Indeed the condition of being Q BV -closed, once restricted to L , reads: . Therefore f L is Q π L -closed modulo equations of motion. Moreover, if the symmetries of the gauge fixed action are only trivial, this map is an isomorphism (see [7], Thm. 18.5).
We will be interested in the off shell residual symmetry. The freedom of changing the symplectic tubular neighbourhood can be used to look for a residual symmetry squaring to zero on all L, not only on shell. From (2.9), a tubular neighbourhood defines the quadratic part of the BV action σ where the grading is the (opposite) fibre degree. By looking at (2.8), we see that the residual symmetry Q π L squares to zero iff δ S L (σ) = 0 , where δ S L = ι dS L .
When this happens, the off-shell cohomology is also defined, namely the cohomology of the residual symmetry. It is clear from (2.11) that the restriction of a BV observable to the gauge fixing Lagrangian is not in general closed under the residual symmetry.

PSM and A-model and their observables
We review in this section the definition and basic properties of PSM and A-model.

A-model
Let us introduce first the A-model following [14]. It is a sigma model of maps from a Riemann surface Σ , with complex structure ε , to a smooth 2n-dimensional Kähler manifold M , with complex structure J . Let us introduce local coordinates {σ α } on Σ and {u µ } on M . Indices are raised and lowered using the Kähler metric.
The field content of the theory is given by a bosonic map φ : Σ → M with charge 0; a section χ of φ * (T M ) with charge 1 and fermionic statistic; a one-form ρ on Σ with values in φ * (T M ) , with charge −1 and fermionic statistics and a one-form H on Σ with values in φ * (T M ) , with charge 0 and bosonic statistics. Finally, both ρ and H satisfy the self duality property: The action is given by where D α χ µ := ∂ α χ µ + Γ µ νσ χ ν ∂ α u σ denotes the covariant derivative with respect to the Levi Civita connection (with Christoffel symbols Γ µ νσ ) induced by the Kähler metric and R is the corresponding Riemann tensor. The action is invariant under the action of the supersymmetry Q : It can be seen that the odd vector field Q squares to zero. The field H enters quadratically into the action so that it can be integrated out. After this integration, the action is invariant after an odd vector field that squares to zero only on shell. Moreover, the comparison with the PSM model is more natural including this auxiliary field, so that we will keep it without integrating.

JHEP10(2016)133
with associated A-model observables: where γ k is a k-cycle on Σ . They satisfy

Poisson Sigma Model
Let us introduce now the Poisson Sigma Model (PSM). Let (M, α) be a Poisson manifold with Poisson tensor field α and let Σ be a two dimensional closed surface. The PSM in the AKSZ formalism is a two dimensional topological sigma model whose field content is the space of maps between graded manifolds F Σ = Map(T [1]Σ, T * [1]M ) . If we introduce local coordinates x µ on M and u α on Σ , a point of F Σ is given by the superfields where θ α denotes the degree 1 coordinate of T [1]Σ . If we change coordinates on M as y a = y a (x), the superfields transform as: The space of fields F Σ is a degree −1 symplectic manifold with symplectic structure given by where dudθ is the canonical Berezinian on T [1]Σ . The action is given by The BV vector field Q BV = {S BV , −} reads where d is the de Rham differential on Σ . We will be interested in the hierarchy of observables defined by Lichnerowicz-Poisson cohomology. We recall that the LP differential on multivector fields of M is defined as v in form degree and assume d α (v) = 0 ; let γ k a k-cycle in Σ and let O

Thus we have a hierarchy of BV observables [O
. Let us discuss now a subclass of these observables. The map ♯ α : intertwines de Rham and LP differential ♯ α • d = d α • ♯ α (see [13]) so that it descends to ♯ α : . If the Poisson structure is non degenerate, it is an isomorphism between differential forms and multivector fields and induces an isomorphism between LP and de Rham cohomologies.
When the LP cohomology class is in the image of this map (which is always the case when α is non degenerate), there is an alternative expression for the corresponding PSM observable, that we are going to discuss next. A long but straightforward computation shows that the PSM observable O ♯α(ω) = ev * (♯ α (ω)) for a closed ω ∈ Ω • (M ) can be written in the following form where we have defined 14)

Complex gauge fixing
We discuss in this section how the A-model is recovered from the PSM with Kähler target. Let us consider now the PSM with target the inverse of the Kähler form. In [4] a gauge fixing has been introduced such that the gauge fixed PSM action, after a partial integration, coincides with the action of the A-twist of the Supersymmetric sigma model. Let us introduce complex coordinates z on Σ and x i on M . Let us consider the Lagrangian submanifold L εJ ⊂ F Σ defined by The coordinates on L εJ are collectively called X = {xī, η zī , η +ī z , bī + c.c.} . Let us consider the Christoffel symbols Γ k ij of the Levi-Civita connection for the Kähler metric α i = ig i and introduce the coordinates that transform tensorially: In these coordinates the gauge fixed action reads + g kr R l ki η +ī z η + z b l br + g i pz i p z .
By using the transformation rules (3.8), one can check that under an holomorphic change of coordinates y I (x i ) of M , the corresponding transformation of fields on L εJ does not depend on momenta X † . The atlas {X, X † } of adapted Darboux coordinates then fixes a symplectic tubular neighbourhood of L εJ that determines the residual symmetry as where b i := α i b . This residual BV transformation does not square to zero off shell, as one can check by a direct computation. Let us consider a different tubular neighbourhood and look for conditions under which the corresponding residual symmetry squares to zero also off shell. We look for a new Darboux atlas of the space of fields adapted to the Lagrangian L εJ . If X and X † collectively denote the new fields on L εJ and their coordinate momenta respectively, then a canonical transformation can be generated by a functional G[X, X † ] : This G must have degree −1 (because |X| + |X † | = −1), must be real and local. Moreover, we want that X † (X, 0) = 0 and we can also ask without loss of generality that the canonical