Showing 1–37 of 37 results for author: Mnev, P

Gluing formulae for heat kernels

Authors: Pavel Mnev, Konstantin Wernli

Abstract: We state and prove two gluing formulae for the heat kernel of the Laplacian on a Riemannian manifold of the form $M_1 \cup_γM_2$. We present several examples. We state and prove two gluing formulae for the heat kernel of the Laplacian on a Riemannian manifold of the form $M_1 \cup_γM_2$. We present several examples. △ Less

Submitted 29 March, 2024; originally announced April 2024.

Combinatorial 2d higher topological quantum field theory from a local cyclic $A_\infty$ algebra

Authors: Justin Beck, Andrey Losev, Pavel Mnev

Abstract: We construct combinatorial analogs of 2d higher topological quantum field theories. We consider triangulations as vertices of a certain CW complex $Ξ$. In the "flip theory," cells of $Ξ_\mathrm{flip}$ correspond to polygonal decompositions obtained by erasing the edges in a triangulation. These theories assign to a cobordism $Σ$ a cochain $Z$ on $Ξ_\mathrm{flip}$ constructed as a contraction of st… ▽ More We construct combinatorial analogs of 2d higher topological quantum field theories. We consider triangulations as vertices of a certain CW complex $Ξ$. In the "flip theory," cells of $Ξ_\mathrm{flip}$ correspond to polygonal decompositions obtained by erasing the edges in a triangulation. These theories assign to a cobordism $Σ$ a cochain $Z$ on $Ξ_\mathrm{flip}$ constructed as a contraction of structure tensors of a cyclic $A_\infty$ algebra $V$ assigned to polygons. The cyclic $A_\infty$ equations imply the closedness equation $(δ+Q)Z=0$. In this context we define combinatorial BV operators and give examples with coefficients in $\mathbb{Z}_2$. In the "secondary polytope theory," $Ξ_\mathrm{sp}$ is the secondary polytope (due to Gelfand-Kapranov-Zelevinsky) and the cyclic $A_\infty$ algebra has to be replaced by an appropriate refinement that we call an $\widehat{A}_\infty$ algebra. We conjecture the existence of a good Pachner CW complex $Ξ$ for any cobordism, whose local combinatorics is descibed by secondary polytopes and the homotopy type is that of Zwiebach's moduli space of complex structures. Depending on this conjecture, one has an "ideal model" of combinatorial 2d HTQFT determined by a local $\widehat{A}_\infty$ algebra. △ Less

Submitted 25 March, 2024; v1 submitted 6 February, 2024; originally announced February 2024.

Comments: Ver.2: small expository changes

Combinatorial QFT on graphs: first quantization formalism

Authors: Ivan Contreras, Santosh Kandel, Pavel Mnev, Konstantin Wernli

Abstract: We study a combinatorial model of the quantum scalar field with polynomial potential on a graph. In the first quantization formalism, the value of a Feynman graph is given by a sum over maps from the Feynman graph to the spacetime graph (map** edges to paths). This picture interacts naturally with Atiyah-Segal-like cutting-gluing of spacetime graphs. In particular, one has combinatorial counterp… ▽ More We study a combinatorial model of the quantum scalar field with polynomial potential on a graph. In the first quantization formalism, the value of a Feynman graph is given by a sum over maps from the Feynman graph to the spacetime graph (map** edges to paths). This picture interacts naturally with Atiyah-Segal-like cutting-gluing of spacetime graphs. In particular, one has combinatorial counterparts of the known gluing formulae for Green's functions and (zeta-regularized) determinants of Laplacians. △ Less

Submitted 15 August, 2023; originally announced August 2023.

Comments: 72 pages, 26 figures

On enumerative problems for maps and quasimaps: freckles and scars

Authors: Olga Chekeres, Santosh Kandel, Andrey Losev, Pavel Mnev, Konstantin Wernli, Donald R. Youmans

Abstract: We address the question of counting maps between projective spaces such that images of cycles on the source intersect cycles on the target. In this paper we do it by embedding maps into quasimaps that form a projective space of their own. When a quasimap is not a map, it contains freckles (studied earlier) and/or scars, appearing when the complex dimension of the source is greater than one. We con… ▽ More We address the question of counting maps between projective spaces such that images of cycles on the source intersect cycles on the target. In this paper we do it by embedding maps into quasimaps that form a projective space of their own. When a quasimap is not a map, it contains freckles (studied earlier) and/or scars, appearing when the complex dimension of the source is greater than one. We consider a lot of examples showing that freckle/scar calculus (using excess intersection theory) works. We also propose the "smooth conjecture" that may lead to computation of the number of maps by an integral over the space of quasimaps. △ Less

Submitted 16 February, 2024; v1 submitted 13 August, 2023; originally announced August 2023.

Comments: 53 pages

BV Quantization

Authors: Alberto S. Cattaneo, Pavel Mnev, Michele Schiavina

Abstract: This note gives an overview of the BV formalism in its various incarnations and applications. This note gives an overview of the BV formalism in its various incarnations and applications. △ Less

Submitted 15 July, 2023; originally announced July 2023.

Comments: 16 pages. Article commissioned by the Encyclopedia of Mathematical Physics

A note on gluing via fiber products in the (classical) BV-BFV formalism

Authors: Alberto S. Cattaneo, Pavel Mnev

Abstract: In classical field theory, gluing spacetime manifolds along boundary corresponds to taking a fiber product of the corresponding spaces of fields (as differential graded Fréchet manifolds) up to homotopy. We construct this homotopy explicitly in several examples in the setting of BV-BFV formalism (Batalin--Vilkovisky formalism with cutting--gluing). In classical field theory, gluing spacetime manifolds along boundary corresponds to taking a fiber product of the corresponding spaces of fields (as differential graded Fréchet manifolds) up to homotopy. We construct this homotopy explicitly in several examples in the setting of BV-BFV formalism (Batalin--Vilkovisky formalism with cutting--gluing). △ Less

Submitted 23 August, 2022; originally announced August 2022.

Journal ref: J. Geom. Phys. 192, 104956 (2023)

Two field-theoretic viewpoints on the Fukaya-Morse $A_\infty$ category

Authors: Olga Chekeres, Andrey Losev, Pavel Mnev, Donald R. Youmans

Abstract: We study an enhanced version of the Morse degeneration of Fukaya $A_\infty$ category with higher compositions given by counts of gradient flow trees. The enhancement consists in allowing morphisms from an object to itself to be chains on the manifold. Higher compositions correspond to counting Morse trees passing through a given set of chains. We provide two viewpoints on the construction and on t… ▽ More We study an enhanced version of the Morse degeneration of Fukaya $A_\infty$ category with higher compositions given by counts of gradient flow trees. The enhancement consists in allowing morphisms from an object to itself to be chains on the manifold. Higher compositions correspond to counting Morse trees passing through a given set of chains. We provide two viewpoints on the construction and on the proof of the $A_\infty$ relations for the composition maps. One viewpoint is via an effective action for the $BF$ theory computed in a special gauge. The other is via higher topological quantum mechanics. △ Less

Submitted 10 July, 2022; v1 submitted 23 December, 2021; originally announced December 2021.

Comments: ver. 2: expository changes

Theory of holomorphic maps of two-dimensional complex manifolds to toric manifolds and type A multi-string theory

Authors: Olga Chekeres, Andrey S. Losev, Pavel Mnev, Donald R. Youmans

Abstract: We study the field theory localizing to holomorphic maps from a complex manifold of complex dimension 2 to a toric target (a generalization of A model). Fields are realized as maps to $(\mathbb{C}^*)^N$ where one includes special observables supported on (1,1)-dimensional submanifolds to produce maps to the toric compactification. We study the mirror of this model. It turns out to be a free theory… ▽ More We study the field theory localizing to holomorphic maps from a complex manifold of complex dimension 2 to a toric target (a generalization of A model). Fields are realized as maps to $(\mathbb{C}^*)^N$ where one includes special observables supported on (1,1)-dimensional submanifolds to produce maps to the toric compactification. We study the mirror of this model. It turns out to be a free theory interacting with $N_\mathrm{comp}$ topological strings of type A. Here $N_\mathrm{comp}$ is the number of compactifying divisors of the toric target. Before the mirror transformation these strings are vortex (actually, holomortex) strings. △ Less

Submitted 12 November, 2021; originally announced November 2021.

Quantum Chern-Simons theories on cylinders: BV-BFV partition functions

Authors: Alberto S. Cattaneo, Pavel Mnev, Konstantin Wernli

Abstract: We compute partition functions of Chern-Simons type theories for cylindrical spacetimes $I \times Σ$, with $I$ an interval and $\dim Σ= 4l+2$, in the BV-BFV formalism (a refinement of the Batalin-Vilkovisky formalism adapted to manifolds with boundary and cutting-gluing). The case $\dim Σ= 0$ is considered as a toy example. We show that one can identify - for certain choices of residual fields - t… ▽ More We compute partition functions of Chern-Simons type theories for cylindrical spacetimes $I \times Σ$, with $I$ an interval and $\dim Σ= 4l+2$, in the BV-BFV formalism (a refinement of the Batalin-Vilkovisky formalism adapted to manifolds with boundary and cutting-gluing). The case $\dim Σ= 0$ is considered as a toy example. We show that one can identify - for certain choices of residual fields - the "physical part" (restriction to degree zero fields) of the BV-BFV effective action with the Hamilton-Jacobi action computed in the companion paper [arXiv:2012.13270], without any quantum corrections. This Hamilton-Jacobi action is the action functional of a conformal field theory on $Σ$. For $\dim Σ= 2$, this implies a version of the CS-WZW correspondence. For $\dim Σ= 6$, using a particular polarization on one end of the cylinder, the Chern-Simons partition function is related to Kodaira-Spencer gravity (a.k.a. BCOV theory); this provides a BV-BFV quantum perspective on the semiclassical result by Gerasimov and Shatashvili. △ Less

Submitted 3 September, 2022; v1 submitted 27 December, 2020; originally announced December 2020.

Comments: 81 pages, 11 figures. v.2: updated references. v.3: small expository changes

MSC Class: 57R56; 81T70; 70H20; 81T13 (Primary); 81T18; 53D50; 53D22; 81T40; 81T30; 32Q25; 32G05 (Secondary)

Journal ref: Commun. Math. Phys. 398, 133-218 (2023)

Constrained systems, generalized Hamilton-Jacobi actions, and quantization

Authors: Alberto S. Cattaneo, Pavel Mnev, Konstantin Wernli

Abstract: Mechanical systems (i.e., one-dimensional field theories) with constraints are the focus of this paper. In the classical theory, systems with infinite-dimensional targets are considered as well (this then encompasses also higher-dimensional field theories in the hamiltonian formalism). The properties of the Hamilton-Jacobi (HJ) action are described in details and several examples are explicitly co… ▽ More Mechanical systems (i.e., one-dimensional field theories) with constraints are the focus of this paper. In the classical theory, systems with infinite-dimensional targets are considered as well (this then encompasses also higher-dimensional field theories in the hamiltonian formalism). The properties of the Hamilton-Jacobi (HJ) action are described in details and several examples are explicitly computed (including nonabelian Chern-Simons theory, where the HJ action turns out to be the gauged Wess-Zumino-Witten action). Perturbative quantization, limited in this note to finite-dimensional targets, is performed in the framework of the Batalin-Vilkovisky (BV) formalism in the bulk and of the Batalin-Fradkin-Vilkovisky (BFV) formalism at the endpoints. As a sanity check of the method, it is proved that the semiclassical contribution of the physical part of the evolution operator is still given by the HJ action. Several examples are computed explicitly. In particular, it is shown that the toy model for nonabelian Chern-Simons theory and the toy model for 7D Chern-Simons theory with nonlinear Hitchin polarization do not have quantum corrections in the physical part (the extension of these results to the actual cases is discussed in the companion paper [arXiv:2012.13983]). Background material for both the classical part (symplectic geometry, generalized generating functions, HJ actions, and the extension of these concepts to infinite-dimensional manifolds) and the quantum part (BV-BFV formalism) is provided. △ Less

Submitted 6 December, 2021; v1 submitted 24 December, 2020; originally announced December 2020.

Comments: 96 pages, 9 figures. Updated references; some historical comments added. In v3: Section 4.3 has been rewritten

MSC Class: 81T70; 53D22; 70H20; 53D55; 53D50 (Primary); 81T13; 81S10; 70H15; 57R56; 81T45 (Secondary)

Journal ref: Journal of Geometric Mechanics 14,179-272 (2022)

Two-dimensional perturbative scalar QFT and Atiyah-Segal gluing

Authors: Santosh Kandel, Pavel Mnev, Konstantin Wernli

Abstract: We study the perturbative quantization of 2-dimensional massive scalar field theory with polynomial (or power series) potential on manifolds with boundary. We prove that it fits into the functorial quantum field theory framework of Atiyah-Segal. In particular, we prove that the perturbative partition function defined in terms of integrals over configuration spaces of points on the surface satisfie… ▽ More We study the perturbative quantization of 2-dimensional massive scalar field theory with polynomial (or power series) potential on manifolds with boundary. We prove that it fits into the functorial quantum field theory framework of Atiyah-Segal. In particular, we prove that the perturbative partition function defined in terms of integrals over configuration spaces of points on the surface satisfies an Atiyah-Segal type gluing formula. Tadpoles (short loops) behave nontrivially under gluing and play a crucial role in the result. △ Less

Submitted 13 July, 2022; v1 submitted 23 December, 2019; originally announced December 2019.

Comments: V.2: numerous expository changes; typos corrected. New additions: an analysis of singularities of boundary states induced from Feynman diagrams (sec. 3); a second (perturbative) proof of functoriality (sec. 7); new examples added in Appendix A.2.3, A.3.3 and a new general result on Dirichlet-to-Neumann operators in A.3.3; a new result on trace anomaly in Appendix B. V.3: typos corrected

MSC Class: 81T20 (primary); 81T40; 81T18; 58J52; 35J08; 81T50 (secondary)

Journal ref: Advances in Theoretical and Mathematical Physics 25, no. 7 (2021): 1847-1952

Towards holography in the BV-BFV setting

Authors: Pavel Mnev, Michele Schiavina, Konstantin Wernli

Abstract: We show how the BV-BFV formalism provides natural solutions to descent equations, and discuss how it relates to the emergence of holographic counterparts of given gauge theories. Furthermore, by means of an AKSZ-type construction we reproduce the Chern-Simons to Wess-Zumino-Witten correspondence from infinitesimal local data, and show an analogous correspondence for BF theory. We discuss how holog… ▽ More We show how the BV-BFV formalism provides natural solutions to descent equations, and discuss how it relates to the emergence of holographic counterparts of given gauge theories. Furthermore, by means of an AKSZ-type construction we reproduce the Chern-Simons to Wess-Zumino-Witten correspondence from infinitesimal local data, and show an analogous correspondence for BF theory. We discuss how holographic correspondences relate to choices of polarisation relevant for quantisation, proposing a semi-classical interpretation of the quantum holographic principle. △ Less

Submitted 29 October, 2019; v1 submitted 2 May, 2019; originally announced May 2019.

Comments: 42 pages, Accepted manuscript. A comment on the Poisson Sigma model was added. Few stylistic improvements

MSC Class: 81T70; 81T45; 81T13; 81T40

Two-dimensional non-abelian BF theory in Lorenz gauge as a solvable logarithmic TCFT

Authors: Andrey S. Losev, Pavel Mnev, Donald R. Youmans

Abstract: We study two-dimensional non-abelian BF theory in Lorenz gauge and prove that it is a topological conformal field theory. This opens the possibility to compute topological string amplitudes (Gromov-Witten invariants). We found that the theory is exactly solvable in the sense that all correlators are given by finite-dimensional convergent integrals. Surprisingly, this theory turns out to be logarit… ▽ More We study two-dimensional non-abelian BF theory in Lorenz gauge and prove that it is a topological conformal field theory. This opens the possibility to compute topological string amplitudes (Gromov-Witten invariants). We found that the theory is exactly solvable in the sense that all correlators are given by finite-dimensional convergent integrals. Surprisingly, this theory turns out to be logarithmic in the sense that there are correlators given by polylogarithms and powers of logarithms. Furthermore, we found fields with "logarithmic conformal dimension" (elements of a Jordan cell for $L_0$). We also found certain vertex operators with anomalous dimensions that depend on the non-abelian coupling constant. The shift of dimension of composite fields may be understood as arising from the dependence of subtracted singular terms on local coordinates. This generalizes the well-known explanation of anomalous dimensions of vertex operators in the free scalar field theory. △ Less

Submitted 2 May, 2020; v1 submitted 7 February, 2019; originally announced February 2019.

Comments: Ver. 2: Section 6.3 ("A remark on logarithmic phenomena") expanded. An expository tweak: switched to the index-free notations throughout the text

Theta Invariants of lens spaces via the BV-BFV formalism

Authors: Alberto S. Cattaneo, Pavel Mnev, Konstantin Wernli

Abstract: The goal of this paper is to investigate the Theta invariant --- an invariant of framed 3-manifolds associated with the lowest order contribution to the Chern-Simons partition function --- in the context of the quantum BV-BFV formalism. Namely, we compute the state on the solid torus to low degree in $\hbar$, and apply the gluing procedure to compute the Theta invariant of lens spaces. We use a di… ▽ More The goal of this paper is to investigate the Theta invariant --- an invariant of framed 3-manifolds associated with the lowest order contribution to the Chern-Simons partition function --- in the context of the quantum BV-BFV formalism. Namely, we compute the state on the solid torus to low degree in $\hbar$, and apply the gluing procedure to compute the Theta invariant of lens spaces. We use a distributional propagator which does not extend to a compactified configuration space, so to compute loop diagrams we have to define a regularization of the product of the distributional propagators, which is done in an \emph{ad hoc} fashion. Also, a polarization has to be chosen for the quantization process. Our results agree with results in the literature for one type of polarization, but for another type of polarization there are extra terms. △ Less

Submitted 26 March, 2019; v1 submitted 15 October, 2018; originally announced October 2018.

Comments: 25 pages, 16 figures, comments are welcome

Journal ref: Progress in Math. 340, 71-110 (2021)

Two-Dimensional Yang-Mills Theory on Surfaces With Corners in Batalin-Vilkovisky Formalism

Authors: Riccardo Iraso, Pavel Mnev

Abstract: In this paper we recover the non-perturbative partition function of 2D~Yang-Mills theory from the perturbative path integral. To achieve this goal, we study the perturbative path integral quantization for 2D~Yang-Mills theory on surfaces with boundaries and corners in the Batalin-Vilkovisky formalism (or, more precisely, in its adaptation to the setting with boundaries, compatible with gluing and… ▽ More In this paper we recover the non-perturbative partition function of 2D~Yang-Mills theory from the perturbative path integral. To achieve this goal, we study the perturbative path integral quantization for 2D~Yang-Mills theory on surfaces with boundaries and corners in the Batalin-Vilkovisky formalism (or, more precisely, in its adaptation to the setting with boundaries, compatible with gluing and cutting -- the BV-BFV formalism). We prove that cutting a surface (e.g. a closed one) into simple enough pieces -- building blocks -- and choosing a convenient gauge-fixing on the pieces, and assembling back the partition function on the surface, one recovers the known non-perturbative answers for 2D~Yang-Mills theory. △ Less

Submitted 12 March, 2019; v1 submitted 11 June, 2018; originally announced June 2018.

Comments: 70 pages; small expository changes, citations added

Poisson sigma model and semiclassical quantization of integrable systems

Authors: Alberto S. Cattaneo, Pavel Mnev, Nicolai Reshetikhin

Abstract: In this paper we outline the construction of semiclassical eigenfunctions of integrable models in terms of the semiclassical path integral for the Poisson sigma model with the target space being the phase space of the integrable system. The semiclassical path integral is defined as a formal power series with coefficients being Feynman diagrams. We also argue that in a similar way one can obtain ir… ▽ More In this paper we outline the construction of semiclassical eigenfunctions of integrable models in terms of the semiclassical path integral for the Poisson sigma model with the target space being the phase space of the integrable system. The semiclassical path integral is defined as a formal power series with coefficients being Feynman diagrams. We also argue that in a similar way one can obtain irreducible semiclassical representations of Kontsevich's star product. △ Less

Submitted 20 March, 2018; originally announced March 2018.

Comments: 22 pages, 12 figures

MSC Class: 57R56;

Journal ref: Reviews in Mathematical Physics 30, 93-118 (2018)

Two-dimensional abelian BF theory in Lorenz gauge as a twisted N=(2,2) superconformal field theory

Authors: Andrey S. Losev, Pavel Mnev, Donald R. Youmans

Abstract: We study the two-dimensional topological abelian BF theory in the Lorenz gauge and, surprisingly, we find that the gauged-fixed theory is a free type B twisted N=(2,2) superconformal theory with odd linear target space, with the ghost field c being the pullback of the linear holomorphic coordinate on the target. The BRST operator of the gauge-fixed theory equals the total Q of type B twisted theor… ▽ More We study the two-dimensional topological abelian BF theory in the Lorenz gauge and, surprisingly, we find that the gauged-fixed theory is a free type B twisted N=(2,2) superconformal theory with odd linear target space, with the ghost field c being the pullback of the linear holomorphic coordinate on the target. The BRST operator of the gauge-fixed theory equals the total Q of type B twisted theory. This unexpected identification of two different theories opens a way for nontrivial deformations of both of these theories. △ Less

Submitted 8 May, 2019; v1 submitted 4 December, 2017; originally announced December 2017.

Comments: Ver. 2: a discussion of the relation of descent to AKSZ construction added. Ver. 3: section 2.5.2 (a toy example of Gromov-Witten invariant) corrected; section 2.5.1 expanded with comments on the BV generating function for the action of a vector field

MSC Class: 81T40; 81T45; 81T70

Lectures on Batalin-Vilkovisky formalism and its applications in topological quantum field theory

Authors: Pavel Mnev

Abstract: Lecture notes for the course "Batalin-Vilkovisky formalism and applications in topological quantum field theory" given at the University of Notre Dame in the Fall 2016 for a mathematical audience. In these lectures we give a slow introduction to the perturbative path integral for gauge theories in Batalin-Vilkovisky formalism and the associated mathematical concepts. Lecture notes for the course "Batalin-Vilkovisky formalism and applications in topological quantum field theory" given at the University of Notre Dame in the Fall 2016 for a mathematical audience. In these lectures we give a slow introduction to the perturbative path integral for gauge theories in Batalin-Vilkovisky formalism and the associated mathematical concepts. △ Less

Submitted 25 July, 2017; originally announced July 2017.

A cellular topological field theory

Authors: Alberto S. Cattaneo, Pavel Mnev, Nicolai Reshetikhin

Abstract: We present a construction of cellular BF theory (in both abelian and non-abelian variants) on cobordisms equipped with cellular decompositions. Partition functions of this theory are invariant under subdivisions, satisfy a version of the quantum master equation, and satisfy Atiyah-Segal-type gluing formula with respect to composition of cobordisms. We present a construction of cellular BF theory (in both abelian and non-abelian variants) on cobordisms equipped with cellular decompositions. Partition functions of this theory are invariant under subdivisions, satisfy a version of the quantum master equation, and satisfy Atiyah-Segal-type gluing formula with respect to composition of cobordisms. △ Less

Submitted 4 January, 2020; v1 submitted 20 January, 2017; originally announced January 2017.

Comments: Ver. 2: numerous expository improvements

Journal ref: Commun. Math. Phys. 374, 1229-1320 (2020)

Perturbative BV theories with Segal-like gluing

Authors: Alberto S. Cattaneo, Pavel Mnev, Nicolai Reshetikhin

Abstract: This is a survey of our program of perturbative quantization of gauge theories on manifolds with boundary compatible with cutting/pasting and with gauge symmetry treated by means of a cohomological resolution (Batalin-Vilkovisky) formalism. We also give two explicit quantum examples -- abelian BF theory and the Poisson sigma model. This exposition is based on a talk by P.M. at the ICMP 2015 in San… ▽ More This is a survey of our program of perturbative quantization of gauge theories on manifolds with boundary compatible with cutting/pasting and with gauge symmetry treated by means of a cohomological resolution (Batalin-Vilkovisky) formalism. We also give two explicit quantum examples -- abelian BF theory and the Poisson sigma model. This exposition is based on a talk by P.M. at the ICMP 2015 in Santiago de Chile. △ Less

Submitted 6 February, 2016; v1 submitted 1 February, 2016; originally announced February 2016.

Comments: 8 pages, 1 figure. (Ver. 2 has a figure added and some typos corrected.)

Split Chern-Simons theory in the BV-BFV formalism

Authors: Alberto S. Cattaneo, Pavel Mnev, Konstantin Wernli

Abstract: The goal of this note is to give a brief overview of the BV-BFV formalism developed by the first two authors and Reshetikhin in [arXiv:1201.0290], [arXiv:1507.01221] in order to perform perturbative quantisation of Lagrangian field theories on manifolds with boundary, and present a special case of Chern-Simons theory as a new example. The goal of this note is to give a brief overview of the BV-BFV formalism developed by the first two authors and Reshetikhin in [arXiv:1201.0290], [arXiv:1507.01221] in order to perform perturbative quantisation of Lagrangian field theories on manifolds with boundary, and present a special case of Chern-Simons theory as a new example. △ Less

Submitted 4 December, 2015; v1 submitted 2 December, 2015; originally announced December 2015.

Comments: 19 pages, 2 figures. Based on the contribution presented at "Geometric, Algebraic and Topological Methods for Quantum Field Theory", July 20-31, Villa de Leyva, Colombia v2: First author's name changed to include middle name

Journal ref: In: Cardona A., Morales P., Ocampo H., Paycha S., Reyes Lega A. (eds) Quantization, Geometry and Noncommutative Structures in Mathematics and Physics. Mathematical Physics Studies. Springer, Cham (2017)

Wilson surface observables from equivariant cohomology

Authors: Anton Alekseev, Olga Chekeres, Pavel Mnev

Abstract: Wilson lines in gauge theories admit several path integral descriptions. The first one (due to Alekseev-Faddeev-Shatashvili) uses path integrals over coadjoint orbits. The second one (due to Diakonov-Petrov) replaces a 1-dimensional path integral with a 2-dimensional topological $σ$-model. We show that this $σ$-model is defined by the equivariant extension of the Kirillov symplectic form on the co… ▽ More Wilson lines in gauge theories admit several path integral descriptions. The first one (due to Alekseev-Faddeev-Shatashvili) uses path integrals over coadjoint orbits. The second one (due to Diakonov-Petrov) replaces a 1-dimensional path integral with a 2-dimensional topological $σ$-model. We show that this $σ$-model is defined by the equivariant extension of the Kirillov symplectic form on the coadjoint orbit. This allows to define the corresponding observable on arbitrary 2-dimensional surfaces, including closed surfaces. We give a new path integral presentation of Wilson lines in terms of Poisson $σ$-models, and we test this presentation in the framework of the 2-dimensional Yang-Mills theory. On a closed surface, our Wilson surface observable turns out to be nontrivial for $G$ non-simply connected (and trivial for $G$ simply connected), in particular we study in detail the cases $G=U(1)$ and $G=SO(3)$. △ Less

Submitted 23 September, 2015; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: 22 pages

Journal ref: JHEP11(2015)093

Perturbative quantum gauge theories on manifolds with boundary

Authors: Alberto S. Cattaneo, Pavel Mnev, Nicolai Reshetikhin

Abstract: This paper introduces a general perturbative quantization scheme for gauge theories on manifolds with boundary, compatible with cutting and gluing, in the cohomological symplectic (BV-BFV) formalism. Explicit examples, like abelian BF theory and its perturbations, including nontopological ones, are presented. This paper introduces a general perturbative quantization scheme for gauge theories on manifolds with boundary, compatible with cutting and gluing, in the cohomological symplectic (BV-BFV) formalism. Explicit examples, like abelian BF theory and its perturbations, including nontopological ones, are presented. △ Less

Submitted 30 May, 2016; v1 submitted 5 July, 2015; originally announced July 2015.

Comments: Ver. 2: Improved presentation, especially we added a detailed discussion of the space of states. To appear in Commun. Math. Phys

MSC Class: 81T70 (Primary) 81T45; 81T13; 81T20; 53D55; 53D50; 57R56; 58A50; 58T52; 81Q30 (Secondary)

Journal ref: Commun. Math. Phys. 357, 631-730 (2018)

Lecture notes on torsions

Authors: Pavel Mnev

Abstract: These are the lecture notes for the introductory course on Whitehead, Reidemeister and Ray-Singer torsions, given by the author at the University of Zurich in Spring semester 2014. These are the lecture notes for the introductory course on Whitehead, Reidemeister and Ray-Singer torsions, given by the author at the University of Zurich in Spring semester 2014. △ Less

Submitted 14 June, 2014; originally announced June 2014.

Comments: 62 pages

MSC Class: 57Q10; 58J52; 19J10

Semiclassical quantization of classical field theories

Authors: Alberto S. Cattaneo, Pavel Mnev, Nicolai Reshetikhin

Abstract: These lectures are an introduction to formal semiclassical quantization of classical field theory. First we develop the Hamiltonian formalism for classical field theories on space time with boundary. It does not have to be a cylinder as in the usual Hamiltonian framework. Then we outline formal semiclassical quantization in the finite dimensional case. Towards the end we give an example of such a… ▽ More These lectures are an introduction to formal semiclassical quantization of classical field theory. First we develop the Hamiltonian formalism for classical field theories on space time with boundary. It does not have to be a cylinder as in the usual Hamiltonian framework. Then we outline formal semiclassical quantization in the finite dimensional case. Towards the end we give an example of such a quantization in the case of Abelian Chern-Simons theory. △ Less

Submitted 11 November, 2013; originally announced November 2013.

Comments: Based on the Les Houches lectures given by authors in February 2012

Journal ref: Mathematical Aspects of Quantum Field Theories, Mathematical Physics Studies (Springer), 275-324 (2015)

Wave relations

Authors: Alberto S. Cattaneo, Pavel Mnev

Abstract: The wave equation (free boson) problem is studied from the viewpoint of the relations on the symplectic manifolds associated to the boundary induced by solutions. Unexpectedly there is still something to say on this simple, well-studied problem. In particular, boundaries which do not allow for a meaningful Hamiltonian evolution are not problematic from the viewpoint of relations. In the two-dimens… ▽ More The wave equation (free boson) problem is studied from the viewpoint of the relations on the symplectic manifolds associated to the boundary induced by solutions. Unexpectedly there is still something to say on this simple, well-studied problem. In particular, boundaries which do not allow for a meaningful Hamiltonian evolution are not problematic from the viewpoint of relations. In the two-dimensional Minkowski case, these relations are shown to be Lagrangian. This result is then extended to a wide class of metrics and is conjectured to be true also in higher dimensions for nice enough metrics. A counterexample where the relation is not Lagrangian is provided by the Misner space. △ Less

Submitted 11 May, 2014; v1 submitted 26 August, 2013; originally announced August 2013.

Comments: 27 pages; minor clarifying changes added; to appear in CMP

Journal ref: Communications in Mathematical Physics 332, 1083-1111 (2014)

Chern-Simons Theory with Wilson Lines and Boundary in the BV-BFV Formalism

Authors: Anton Alekseev, Yves Barmaz, Pavel Mnev

Abstract: We consider the Chern-Simons theory with Wilson lines in 3D and in 1D in the BV-BFV formalism of Cattaneo-Mnev-Reshetikhin. In particular, we allow for Wilson lines to end on the boundary of the space-time manifold. In the toy model of 1D Chern-Simons theory, the quantized BFV boundary action coincides with the Kostant cubic Dirac operator which plays an important role in representation theory. In… ▽ More We consider the Chern-Simons theory with Wilson lines in 3D and in 1D in the BV-BFV formalism of Cattaneo-Mnev-Reshetikhin. In particular, we allow for Wilson lines to end on the boundary of the space-time manifold. In the toy model of 1D Chern-Simons theory, the quantized BFV boundary action coincides with the Kostant cubic Dirac operator which plays an important role in representation theory. In the case of 3D Chern-Simons theory, the boundary action turns out to be the odd (degree 1) version of the BF model with source terms for the B field at the points where the Wilson lines meet the boundary. The boundary space of states arising as the cohomology of the quantized BFV action coincides with the space of conformal blocks of the corresponding WZW model. △ Less

Submitted 26 December, 2012; originally announced December 2012.

Comments: 25 pages

A construction of observables for AKSZ sigma models

Authors: Pavel Mnev

Abstract: A construction of gauge-invariant observables is suggested for a class of topological field theories, the AKSZ sigma-models. The observables are associated to extensions of the target Q-manifold of the sigma model to a Q-bundle over it with additional Hamiltonian structure in fibers. A construction of gauge-invariant observables is suggested for a class of topological field theories, the AKSZ sigma-models. The observables are associated to extensions of the target Q-manifold of the sigma model to a Q-bundle over it with additional Hamiltonian structure in fibers. △ Less

Submitted 22 December, 2012; originally announced December 2012.

Comments: 36 pages

Classical and quantum Lagrangian field theories with boundary

Authors: Alberto S. Cattaneo, Pavel Mnev, Nicolai Reshetikhin

Abstract: This note gives an introduction to Lagrangian field theories in the presence of boundaries. After an overview of the classical aspects, the cohomological formalisms to resolve singularities in the bulk and in the boundary theories (the BV and the BFV formalisms, respectively) are recalled. One of the goals here (and in [arXiv:1201.0290]) is to show how the latter two formalisms can be put together… ▽ More This note gives an introduction to Lagrangian field theories in the presence of boundaries. After an overview of the classical aspects, the cohomological formalisms to resolve singularities in the bulk and in the boundary theories (the BV and the BFV formalisms, respectively) are recalled. One of the goals here (and in [arXiv:1201.0290]) is to show how the latter two formalisms can be put together in a consistent way, also in view of perturbative quantization. △ Less

Submitted 1 July, 2012; originally announced July 2012.

Comments: 24 pages

Classical BV theories on manifolds with boundary

Authors: Aberto S. Cattaneo, Pavel Mnev, Nicolai Reshetikhin

Abstract: In this paper we extend the classical BV framework to gauge theories on spacetime manifolds with boundary. In particular, we connect the BV construction in the bulk with the BFV construction on the boundary and we develop its extension to strata of higher codimension in the case of manifolds with corners. We present several examples including electrodynamics, Yang-Mills theory and topological fiel… ▽ More In this paper we extend the classical BV framework to gauge theories on spacetime manifolds with boundary. In particular, we connect the BV construction in the bulk with the BFV construction on the boundary and we develop its extension to strata of higher codimension in the case of manifolds with corners. We present several examples including electrodynamics, Yang-Mills theory and topological field theories coming from the AKSZ construction, in particular, the Chern-Simons theory, the $BF$ theory, and the Poisson sigma model. This paper is the first step towards develo** the perturbative quantization of such theories on manifolds with boundary in a way consistent with gluing. △ Less

Submitted 28 June, 2012; v1 submitted 31 December, 2011; originally announced January 2012.

Comments: The second version has many typos corrected, references added. Some typos are probably still there, in particular, signs in examples. In the third version more typoes are corrected and the exposition is slightly changed

Journal ref: Commun. Math. Phys. 332, 535-603 (2014)

The Poisson sigma model on closed surfaces

Authors: Francesco Bonechi, Alberto S. Cattaneo, Pavel Mnev

Abstract: Using methods of formal geometry, the Poisson sigma model on a closed surface is studied in perturbation theory. The effective action, as a function on vacua, is shown to have no quantum corrections if the surface is a torus or if the Poisson structure is regular and unimodular (e.g., symplectic). In the case of a Kahler structure or of a trivial Poisson structure, the partition function on the to… ▽ More Using methods of formal geometry, the Poisson sigma model on a closed surface is studied in perturbation theory. The effective action, as a function on vacua, is shown to have no quantum corrections if the surface is a torus or if the Poisson structure is regular and unimodular (e.g., symplectic). In the case of a Kahler structure or of a trivial Poisson structure, the partition function on the torus is shown to be the Euler characteristic of the target; some evidence is given for this to happen more generally. The methods of formal geometry introduced in this paper might be applicable to other sigma models, at least of the AKSZ type. △ Less

Submitted 20 January, 2012; v1 submitted 21 October, 2011; originally announced October 2011.

Comments: 32 pages; references added

Journal ref: J. High Energ. Phys. 2012, 99 (2012)

One-dimensional Chern-Simons theory

Authors: Anton Alekseev, Pavel Mnev

Abstract: We study a one-dimensional toy version of the Chern-Simons theory. We construct its simplicial version which comprises features of a low-energy effective gauge theory and of a topological quantum field theory in the sense of Atiyah. We study a one-dimensional toy version of the Chern-Simons theory. We construct its simplicial version which comprises features of a low-energy effective gauge theory and of a topological quantum field theory in the sense of Atiyah. △ Less

Submitted 12 May, 2010; originally announced May 2010.

Comments: 37 pages

Journal ref: Commun.Math.Phys.307:185-227,2011

Finite dimensional AKSZ-BV theories

Authors: Francesco Bonechi, Pavel Mnev, Maxim Zabzine

Abstract: We describe a canonical reduction of AKSZ-BV theories to the cohomology of the source manifold. We get a finite dimensional BV theory that describes the contribution of the zero modes to the full QFT. Integration can be defined and correlators can be computed. As an illustration of the general construction we consider two dimensional Poisson sigma model and three dimensional Courant sigma model.… ▽ More We describe a canonical reduction of AKSZ-BV theories to the cohomology of the source manifold. We get a finite dimensional BV theory that describes the contribution of the zero modes to the full QFT. Integration can be defined and correlators can be computed. As an illustration of the general construction we consider two dimensional Poisson sigma model and three dimensional Courant sigma model. When the source manifold is compact, the reduced theory is a generalization of the AKSZ construction where we take as source the cohomology ring. We present the possible generalizations of the AKSZ theory. △ Less

Submitted 5 March, 2009; originally announced March 2009.

Comments: 33 pages

Journal ref: Lett.Math.Phys.94:197-228,2010

Remarks on Chern-Simons invariants

Authors: Alberto S. Cattaneo, Pavel Mnev

Abstract: The perturbative Chern-Simons theory is studied in a finite-dimensional version or assuming that the propagator satisfies certain properties (as is the case, e.g., with the propagator defined by Axelrod and Singer). It turns out that the effective BV action is a function on cohomology (with shifted degrees) that solves the quantum master equation and is defined modulo certain canonical transform… ▽ More The perturbative Chern-Simons theory is studied in a finite-dimensional version or assuming that the propagator satisfies certain properties (as is the case, e.g., with the propagator defined by Axelrod and Singer). It turns out that the effective BV action is a function on cohomology (with shifted degrees) that solves the quantum master equation and is defined modulo certain canonical transformations that can be characterized completely. Out of it one obtains invariants. △ Less

Submitted 14 September, 2009; v1 submitted 13 November, 2008; originally announced November 2008.

Comments: 33 pages; minor corrections, new appendices with technical details, new references, new example; to appear in Commun. Math. Phys.

MSC Class: 81T45 (Primary) 16E45; 57M99; 57R56; 81Q30; 81T70 (Secondary)

Journal ref: Commun.Math.Phys.293:803-836,2010

Discrete BF theory

Authors: Pavel Mnev

Abstract: In this work we discuss the simplicial program for topological field theories for the case of non-abelian BF theory. Discrete BF theory with finite-dimensional space of fields is constructed for a triangulated manifold (or for a manifold equipped with cubical cell decomposition), that is in a sense equivalent to the topological BF theory on manifold. This discrete version allows one to calculate… ▽ More In this work we discuss the simplicial program for topological field theories for the case of non-abelian BF theory. Discrete BF theory with finite-dimensional space of fields is constructed for a triangulated manifold (or for a manifold equipped with cubical cell decomposition), that is in a sense equivalent to the topological BF theory on manifold. This discrete version allows one to calculate interesting quantities from the BF theory, like the effective action on cohomology, in terms of finite-dimensional integrals instead of functional integrals, as demonstrated in a series of explicit examples. We also discuss the interpretation of discrete BF action as the generating function for $qL_\infty$ structure (certain "one-loop version" of ordinary $L_\infty$ algebra) on the cell cochains of triangulation, related to the de Rham algebra of the underlying manifold by homotopy transfer procedure. This work is a refinement of older text hep-th/0610326. △ Less

Submitted 9 September, 2008; v1 submitted 6 September, 2008; originally announced September 2008.

Comments: 204 pages

Notes on simplicial BF theory

Authors: Pavel Mnev

Abstract: In this work we discuss the construction of "simplicial BF theory", the field theory with finite-dimensional space of fields, associated to a triangulated manifold, that is in a sense equivalent to topological BF theory on the manifold (with infinite-dimensional space of fields). This is done in framework of simplicial program - program of constructing discrete topological field theories. We als… ▽ More In this work we discuss the construction of "simplicial BF theory", the field theory with finite-dimensional space of fields, associated to a triangulated manifold, that is in a sense equivalent to topological BF theory on the manifold (with infinite-dimensional space of fields). This is done in framework of simplicial program - program of constructing discrete topological field theories. We also discuss the relation of these constructions to homotopy algebra. △ Less

Submitted 10 May, 2007; v1 submitted 31 October, 2006; originally announced October 2006.

Discrete path integral approach to the trace formula for regular graphs

Authors: Pavel Mnev

Abstract: We give a new proof of the trace formula for regular graphs. Our approach is inspired by path integral approach in quantum mechanics, and calculations are mostly combinatorial. We give a new proof of the trace formula for regular graphs. Our approach is inspired by path integral approach in quantum mechanics, and calculations are mostly combinatorial. △ Less

Submitted 9 September, 2006; originally announced September 2006.

Comments: 8 pages, no figures