Showing 1–17 of 17 results for author: Wernli, K

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 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 (mapping 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 (mapping 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

Six lectures on Geometric Quantization

Authors: Konstantin Wernli

Abstract: These are the lecture notes for a short course on geometric quantization given by the author at the XVIII Modave Summer School on Mathematical Physics, Sep 5 - Sep 9. These are the lecture notes for a short course on geometric quantization given by the author at the XVIII Modave Summer School on Mathematical Physics, Sep 5 - Sep 9. △ Less

Submitted 31 May, 2023; originally announced June 2023.

MSC Class: 53D50 (Primary); 53D05; 81S05; 81S10; 81T18; 81T20

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)

Convolution algebras for Relational Groupoids and Reduction

Authors: Ivan Contreras, Nima Moshayedi, Konstantin Wernli

Abstract: We introduce the notions of relational groupoids and relational convolution algebras. We provide various examples arising from the group algebra of a group $G$ and a given normal subgroup $H$. We also give conditions for the existence of a Haar system of measures on a relational groupoid compatible with the convolution, and we prove a reduction theorem that recovers the usual convolution of a Lie… ▽ More We introduce the notions of relational groupoids and relational convolution algebras. We provide various examples arising from the group algebra of a group $G$ and a given normal subgroup $H$. We also give conditions for the existence of a Haar system of measures on a relational groupoid compatible with the convolution, and we prove a reduction theorem that recovers the usual convolution of a Lie groupoid. △ Less

Submitted 7 May, 2021; v1 submitted 12 August, 2020; originally announced August 2020.

Comments: 27 pages, 1 figure. To appear in Pacific Journal of Mathematics

Journal ref: Pacific J. Math. 313 (2021) 75-102

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

Lecture Notes on Spin Geometry

Authors: Konstantin Wernli

Abstract: We review the Atiyah-Singer Index theorem and some applications. Only basic knowledge of differential geometry and Lie groups is required. We review the Atiyah-Singer Index theorem and some applications. Only basic knowledge of differential geometry and Lie groups is required. △ Less

Submitted 21 November, 2019; originally announced November 2019.

Comments: These are the lecture notes for a course on Spin Geometry given at University of Zurich in Spring 2019. Comments are highly appreciated

Lecture Notes on Chern-Simons Perturbation Theory

Authors: Konstantin Wernli

Abstract: The goal of these lectures is to exhibit the framing anomaly in the Batalin-Vilkovisky formulation of perturbative Chern-Simons theory. Concretely, we show that the partition function fails to satisfy the Quantum Master Equation, and show that this can be remedied at the cost of introducing a framing. Along the way, we discuss principal bundles and connections, the Chern-Simons action functional,… ▽ More The goal of these lectures is to exhibit the framing anomaly in the Batalin-Vilkovisky formulation of perturbative Chern-Simons theory. Concretely, we show that the partition function fails to satisfy the Quantum Master Equation, and show that this can be remedied at the cost of introducing a framing. Along the way, we discuss principal bundles and connections, the Chern-Simons action functional, and perturbative quantization of gauge theories in the Batalin-Vilkovisky formalism. △ Less

Submitted 21 November, 2019; originally announced November 2019.

Comments: These are the notes for a lecture series given at KMPG at Humboldt-Universität Berlin in Summer 2019. Comments appreciated

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

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)

Computing Entanglement Polytopes

Authors: Konstantin Wernli

Abstract: In arXiv:1208.0365 entanglement polytopes where introduced as a coarsening of the SLOCC classification of multipartite entanglement. The advantages of classifying entanglement by entanglement polytopes are a finite hierarchy for all dimensions and a number of parameters linear in system size. In arXiv:1208.0365 a method to compute entanglement polytopes using geometric invariant theory is presente… ▽ More In arXiv:1208.0365 entanglement polytopes where introduced as a coarsening of the SLOCC classification of multipartite entanglement. The advantages of classifying entanglement by entanglement polytopes are a finite hierarchy for all dimensions and a number of parameters linear in system size. In arXiv:1208.0365 a method to compute entanglement polytopes using geometric invariant theory is presented. In this thesis we consider alternative methods to compute them. Some geometrical and algebraical tools are presented that can be used to compute inequalities giving an outer approximation of the entanglement polytopes. Furthermore we present a numerical method which, in theory, can compute the entanglement polytope of any given SLOCC class given a representative. Using it we classify the entanglement polytopes of $2 \times 3 \times N$ systems. △ Less

Submitted 9 August, 2018; originally announced August 2018.

Comments: My master thesis from 2013, only now uploaded to arXiv

On the Globalization of the Poisson Sigma Model in the BV-BFV Formalism

Authors: Alberto S. Cattaneo, Nima Moshayedi, Konstantin Wernli

Abstract: We construct a formal global quantization of the Poisson Sigma Model in the BV-BFV formalism using the perturbative quantization of AKSZ theories on manifolds with boundary and analyze the properties of the boundary BFV operator. Moreover, we consider mixed boundary conditions and show that they lead to quantum anomalies, i.e. to a failure of the (modified differential) Quantum Master Equation. We… ▽ More We construct a formal global quantization of the Poisson Sigma Model in the BV-BFV formalism using the perturbative quantization of AKSZ theories on manifolds with boundary and analyze the properties of the boundary BFV operator. Moreover, we consider mixed boundary conditions and show that they lead to quantum anomalies, i.e. to a failure of the (modified differential) Quantum Master Equation. We show that it can be restored by adding boundary terms to the action, at the price of introducing corner terms in the boundary operator. We also show that the quantum GBFV operator on the total space of states is a differential, i.e. squares to zero, which is necessary for a well-defined BV cohomology. △ Less

Submitted 11 October, 2019; v1 submitted 6 August, 2018; originally announced August 2018.

Comments: 56 pages, 22 figures, glossary added, presentation improved for non experts. Section 2 is very similar to Section 2 of our companion paper arXiv:1807.11782. Also Appendix A.1-3, on the compactification of configuration spaces of manifolds with boundary, are taken from there but Section A.4, on the case of manifolds with corners, is added. To appear in Commun. Math. Phys

Journal ref: Commun. Math. Phys. 375, 41-103 (2020)

Globalization for Perturbative Quantization of Nonlinear Split AKSZ Sigma Models on Manifolds with Boundary

Authors: Alberto S. Cattaneo, Nima Moshayedi, Konstantin Wernli

Abstract: We describe a covariant framework to construct a globalized version for the perturbative quantization of nonlinear split AKSZ Sigma Models on manifolds with and without boundary, and show that it captures the change of the quantum state as one changes the constant map around which one perturbs. This is done by using concepts of formal geometry. Moreover, we show that the globalized quantum state c… ▽ More We describe a covariant framework to construct a globalized version for the perturbative quantization of nonlinear split AKSZ Sigma Models on manifolds with and without boundary, and show that it captures the change of the quantum state as one changes the constant map around which one perturbs. This is done by using concepts of formal geometry. Moreover, we show that the globalized quantum state can be interpreted as a closed section with respect to an operator that squares to zero. This condition is a generalization of the modified Quantum Master Equation as in the BV-BFV formalism, which we call the modified "differential" Quantum Master Equation. △ Less

Submitted 11 October, 2019; v1 submitted 31 July, 2018; originally announced July 2018.

Comments: 41 pages, 9 figures, typos fixed, presentation improved for non experts, to appear in Commun. Math. Phys

Journal ref: Commun. Math. Phys. 372.1 pp 213-260 (2019)

Relational Symplectic Groupoid Quantization for Constant Poisson Structures

Authors: Alberto S. Cattaneo, Nima Moshayedi, Konstantin Wernli

Abstract: As a detailed application of the BV-BFV formalism for the quantization of field theories on manifolds with boundary, this note describes a quantization of the relational symplectic groupoid for a constant Poisson structure. The presence of mixed boundary conditions and the globalization of results is also addressed. In particular, the paper includes an extension to space-times with boundary of som… ▽ More As a detailed application of the BV-BFV formalism for the quantization of field theories on manifolds with boundary, this note describes a quantization of the relational symplectic groupoid for a constant Poisson structure. The presence of mixed boundary conditions and the globalization of results is also addressed. In particular, the paper includes an extension to space-times with boundary of some formal geometry considerations in the BV-BFV formalism, and specifically introduces into the BV-BFV framework a "differential" version of the classical and quantum master equations. The quantization constructed in this paper induces Kontsevich's deformation quantization on the underlying Poisson manifold, i.e., the Moyal product, which is known in full details. This allows focussing on the BV-BFV technology and testing it. For the unexperienced reader, this is also a practical and reasonably simple way to learn it. △ Less

Submitted 3 April, 2017; v1 submitted 17 November, 2016; originally announced November 2016.

Comments: 32 pages, 15 figures, some changes (including the correction of a minor mistake) included; new appendix with the explicit computations added; to appear in Lett. Math. Phys

MSC Class: 53D55 (Primary); 53D17; 57R56; 81T70 (Secondary)

Journal ref: Lett. Math. Phys. 107.9 pp 1649-1688 (2017)

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)